Professional Documents
Culture Documents
Yan-Bin Jia
Nov 13, 2014
d
Fy (x, y, y )
The variational derivative of a functional J[y] can be defined as J/y = Fy (x, y, y ) dx
[1, pp. 2729]. Eulers equation essentially states that the variational derivative of the functional
must vanish at an extremum. This is analogous to the well-known result from calculus that the
derivative of a function must vanish at an extremum.
In this section, we consider a simple case of the variable end point problem, which is stated as
follows: Among all curves whose end points lie on two vertical lines x = a and x = b, find the curve
for which the functional
Z
b
F (x, y, y ) dx
J[y] =
(1)
has an extremum.
We determine the variation of the functional (1), which is the linear component of the increment
Z b
F (x, y + h, y + h ) F (x, y, y ) dx,
J = J[y + h] J[y] =
a
Unlike the fixed end point problem, the function h(x) no longer vanishes at the points x = a and
x = b. Integration by parts now yields
Z b
d
J =
Fy
Fy dx + Fy h(x)|x=b
x=a
dx
a
Z b
d
Fy dx + Fy |x=b h(b) Fy |x=a h(a).
(2)
=
Fy
dx
a
Consider all functions h(x) with h(a) = h(b) = 0 first. The condition J = 0 implies that
Fy
d
Fy = 0.
dx
The material is adapted from the book Calculus of Variations by I. M. Gelfand and S. V. Fomin, Prentice Hall
Inc., 1963; Dover, 2000.
This means that the solution y of the end point problem must be a solution of Eulers equation.
Suppose y is a solution. The integral in (2) must therefore vanish, reducing J = 0 to
Fy |x=b h(b) Fy |x=a h(a) = 0.
Since h is arbitrary, it follows from the above equation that
Fy |x=a = 0
and
Fy |x=b = 0.
(3)
In summary, to solve the variable end point problem, we first find a general solution to Eulers
equation (2), and then use the conditions (3) to determine the constants in the general solution.
Example 1. Starting at the origin, a particle slides down a curve in the vertical plane. Find the curve such
that the particle reaches the vertical line
x = b, where b 6= 0, in the shortest time.
The velocity v of motion equals 2gy from the conservation of the total energy, where g < 0 is the
gravitational acceleration. Meanwhile, it is also determined along the curve as
v=
from which we immediately have
dx
ds p
= 1 + y 2
,
dt
dt
1 + y 2
1 + y2
dt =
dx =
dx.
v
2gy
The above gives us the transit time as a functional
J=
b
0
p
1 + y 2
dx.
2gy
The integrand F = 1 + y 2 / 2gy does not depend on x. So this is Case 2 where Eulers equation can be
reduced to
(4)
F y Fy = C.
Since
1
y
,
Fy =
p
2gy
1 + y 2
ay
,
y
y =
,
y
which leads to
dx =
Next, make the substitution y = a sin2
y
dy.
ay
dy
= 2a sin cos = a sin cos .
d
2
2 2
2
2
2
a cos2 2
a sin2
a sin
cos d
2
2
= a sin2 d
2
1 cos
= a
d
2
= r(1 cos ) d,
where a constant r = a/2 is introduced in the last step. The solution to Eulers equation (4) is a family of
cycloids
x = r( sin ) + c,
y = r(1 cos ).
Since the curve passes through the origin, the constant c = 0. The first boundary condition Fy |x=0 = 0
in (3), which is essentially y (0) = 0, is thus satisfied. To determine the value of r, we apply the second
boundary condition Fy |x=b = 0, which reduces to y = 0 at x = b, i.e.,
0=
dy/d
r sin
sin
dy
=
=
=
.
dx
dx/d
r r cos
1 cos
The above condition states that the tangent to the curve at its right end point must be horizontal. Hence
= . Substituting this value into r( sin ) = b, we obtain r = b . Hence the curve trajectory is
(x, y) =
b
( sin , cos 1).
Figure 1 shows the optimal trajectory of the sliding particle to reach the line x = 2, represented by the
cycloid 2( sin , cos 1) over [0, ].
2
Figure 1: The cycloid 2( sin , cos 1) with 0 is the minimum time trajectory along which a
particle starting at the origin slides pass the vertical line x = 2 under gravity.
Many problems involve functionals that depend on functions of several independent variables, for
example, surfaces in 3D depending on two parameters. Here we only look at how the solution to the
3
case of single-variable variational problems would carry over to the case of functionals depending
on surfaces. We focus on the case of two independent variables but refer to [1] for the case of more
than two variables.
Let F (x, y, z, p, q) be twice continuously differentiable with respect to all five variables, and
consider
ZZ
F (x, y, z, zx , zy ) dx dy,
(5)
J[z] =
R
where R is some closed region, and zx and zy are the partial derivatives of z(x, y) with respect to
x and y. We are looking for a function z(x, y) that
1. twice continuously differentiable with respect to x and y in R;
2. assumes given values on the boundary of R;
3. yields an extremum of the functional (5).
Theorem 1 in the notes Calculus of Variations does not depend on the form of the functional J.
Therefore, a necessary condition for the functional (5) to have an extremum is that its variation
vanishes. We must first calculate the variation J. Let h(x, y) be an arbitrary function with
continuous first and second derivatives in the region R and vanishes on it boundary . Then, if
the surface z(x, y) satisfies conditions 13, so does z(x, y) + h(x, y). We apply the Taylor series to
the change in the functional as follows:
J
= J[z + h] J[z]
ZZ
F (x, y, z + h, zx + hx , zy + hy ) F (x, y, z, zx , zy ) dx dy
=
Z ZR
(Fz h + Fzx hx + Fzy hy ) dx dy + .
=
(6)
(Fzx h) +
(Fzy h) dx dy
Fzx +
Fz
h dx dy
=
y
y y
R x
R x
ZZ
Z
(7)
dx dy = (P dx + Q dy).
x
y
In (7), the integral along is zero since h vanishes on the boundary. Substituting (7) into (6), we
obtain
ZZ
J =
Fz
Fzx
Fzy h(x, y) dx dy.
(8)
x
y
R
Thus, the condition J = 0 implies that the double integral above vanishes for any h(x, y) with
continuous derivatives up to the second order and vanishing on the boundary . This leads to the
second-order partial differential equation below 1 , also known as Eulers equation:
Fz
Fzx
Fz = 0.
x
y y
Next, we generalize the functional (5) to allow second order partial derivatives of z to appear in
the integrand function F . More specifically, let F (x, y, z, p, q, r, s, t) be a function with continuous
first and second partial derivatives with respective to all arguments. The function z = z(x, y) has
continuous derivatives up to the fourth order, and has given values on the boundary of R. The
functional
ZZ
F (x, y, z, zx , zy , zxx , zxy , zyy ) dx dy
J[z] =
R
has an extremum at z = z(x, y) only if the following version of Eulers equation holds:
Fz
2
2
2
Fzx
Fzy + 2 Fzxx +
Fzxy + 2 Fzyy = 0.
x
y
x
xy
y
(9)
Example 2. Surface z = z(x, y) of least area spanned by a given contour. The problem reduces to finding
the minimum of the functional
ZZ q
J[z] =
1 + zx2 + zy2 dx dy,
R
(10)
To understand the geometric meaning of equation (10), we note that the mean curvature of the surface
is given as
EN 2F M + GL
,
H=
2(EG F 2 )
where E, F, G are the coefficients of the first fundamental form of the surface, and L, M, N are the coefficients
of its second fundamental form. We obtain that
E = 1 + zx2 ,
zxx
,
2 +z 2
1+zx
y
L=
F = zx zy ,
zxy
,
2 +z 2
1+zx
y
M=
G = 1 + zy2 ,
zyy
,
2 +z 2
1+zx
y
N=
and hence,
H=
Thus, Eulers equation (10) implies that the mean curvature of the solution surface is zero everywhere.
A surface with zero mean curvature everywhere is thus called a minimal surface. Figure 2 plots
a minimal surface a catenoid (2 cos u cosh(v/2), 2 sin u cosh(v/2), v) for 0 u 2, 4 v 4.
1
To be rigorous, a simple proof can be derived from (8) and that h is arbitrary under stipulated conditions.
Figure 2: Catenoid (2 cos u cosh(v/2), 2 sin u cosh(v/2), v) over [0, 2] [4, 4].
Let F (x, y1 , . . . , yn , z1 , . . . , zn ) be a function with continuous first and second derivatives with respect to all its arguments. We now derive necessary conditions for an extremum of the functional
J[y1 , . . . , yn ] =
F (x, y1 , . . . , yn , y1 , . . . , yn ) dx,
a
where y1 (x), . . . , yn (x) are continuously differentiable and satisfy the boundary conditions
yi (a) = ai ,
yi (b) = bi ,
for i = 1, . . . , n.
Namely, we are looking for an extremum of J defined on the set of smooth curves joining two points
(a, a1 , . . . , an ) and (b, b1 , . . . , bn ) in the (n + 1)-dimensional space Rn+1 .
Similar to the derivation of Eulers equations for the variational problems studied before, we
add a continuously differentiable function hi (x) to each yi (x) such that the resulting yi (x) + hi (x)
still satisfy the boundary conditions. Therefore, hi (a) = hi (b) = 0, for i = 1, . . . , n. The variation
of J[y1 , . . . , yn ] is found to be
Z bX
n
(Fyi hi + Fyi hi ) dx.
J =
a i=1
At each step, setting all but one of the hi to zero, we obtain the following system of Eulers equations
that must be satisfied at an extremum:
Fyi
d
F = 0,
dx yi
6
i = 1, . . . , n.
(11)
where E, F, G are the coefficients of the first fundamental form of the surface given as
E = u u ,
F = u v ,
G = v v .
dt
2 E u 2 + 2F u v + Gv 2
E u 2 + 2F u v + Gv 2
d
Ev u 2 + 2Fv u v + Gv v 2
F u + Gv
dt
2 E u 2 + 2F u v + Gv 2
E u 2 + 2F u v + Gv 2
0,
(13)
0.
(14)
Since the parametrization does not change the total length of the curve, we may use the arc length
parametrization. From surface geometry, we know that this means
E u 2 + 2F u v + Gv 2 = 1.
Then equations (13) and (14) reduce to
d
(E u + F v)
=
dt
d
(F u + Gv)
=
dt
1
(Eu u 2 + 2Fu u v + Gv v 2 ),
2
1
(Ev u 2 + 2Fv u v + Gv v 2 ).
2
They are essentially the geodesic equations. This proves what we have learned before that the shortest curve
on connecting two surface points p and q is a geodesic between the two points.
Sometimes, it is more convenient to use one of the surface parameters to parametrize the geodesic. In
such a case, we still need to fall back on equations (13) and (14).
To illustrate, we now find the geodesics of the circular cylinder
= (a cos , a sin , z).
First, we obtain the coefficients of the first fundamental form:
E = a2 ,
F = 0,
d
a2
q
dt
2
2
2
a + z
z
d
q
dt
2
2
2
a + z
G = 1.
= 0,
= 0,
= C1 ,
= C2 .
3
2
on a cylinder
We have considered functionals of curves given by equations of the form y = y(x). Often, it is more
convenient to consider functionals of curves in parametric form, say, (x(t), y(t)). Given a functional
8
of such a curve
x1
F (x, y, y ) dx,
(15)
x0
(x, y, x,
y)
dt.
F x(t), y(t),
x dt =
x(t)
t0
t0
Here the overdot denotes differentiation with respect to t. This becomes a functional depending on
two unknown functions x(t) and y(t). The function does not have t as an explicit argument. It
is positive-homogeneous of degree 1 in x and y:
(x, y, cx,
cy)
c(x, y, x,
y),
t1
(x, y, x,
y)
dt
t0
=
d
d
t0
Z t1
(x, y, x,
y)
dt.
=
t0
Now, suppose the curve y = y(x) has a parameterization in t that reduces the functional (15)
to the form
Z t1
(x, y, x,
y)
dt.
t0
(16)
References
[1] I. M. Gelfand and S. V. Fomin. Calculus of Variations Prentice-Hall, Inc., 1963; Dover Publications, Inc., 2000.
[2] R. Weinstock. Calculus of Variations: With Applications to Physics and Engineering. Dover
Publications, Inc., 1974.
10