Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
MaKarenKo
A.I. Kiseliov
;
CALCULO
VARIACIONAL
(ejemplos y problemas)
Editorial MIR
M. L. Krasnov, G. I. Makarenko,
A. l. Kiseliov
CLCULO
VARIACIONAL
(ejemplos y problemas)
~
\~
Editorial
MI R
I.S.B.N.: 84-604-1605-4
D.L: M-$299-1992
@Editorial MIR- 1992
Impresin: Grficas Zenit - Madrid
Prefacio
a la edicin
Observaciones
espaola
preliminares
. . . . .
. . . . .
.
7
9
Captulo
11
Hl
26
50
68
77
80
D1
106
121
134
143
15B
160
167
180
BIBLIOGRAFJA
l. Courant R. y D. Hilbert, Methoden der Mathernatischen Physik
(Mtodos de la Fsica Matemtica), vol. 11, Spr inger, Berl n, 1937.
2. L. Elsgoltz, Ecuaciones diferenciales y clculo vartacional, Editoral MIR, Mosc, 1969.
3. 11. M. FellbfjJal.() u C. B. f/JOAIUH., BapH8l(HOHHOe JtC'IHCJleHHe,
<l>l:I3M3TfH3, 1961 (/. M. Guelland y S. V. Fomin, Clculo variacional).
4. E. Goursat, Cours d'analyse
mathrnat lque (Curso de Anlisis
Matemtico),
vol. !JI, 58 ed., Gauth er-Villars. Pars. 1942.
5. M. A. Jlaepenmuee u Jl . A. Jliocmepnux, Kypc aap aauaonaoro
HC'IHCJH'RHSI,rOcTexH3J(3T, 1950 (M. A. Laurientieo y L. A. Lusternik, Curso de clculo v artacional).
6. J. Rey Pastor, P. Pi caun, y A. C. Treio, Anlisis matemtico,
vol. UI, 211 ed., Kapelusz, Buenos Aires, 1961.
7. L. C. Young, Lectures on the calculus of varratrons and optimal
control tneory (Lecciones sobre el clculo var laconal y la teora
de control ptimo), Ph il adelph ia, London, Toronto, 1969.
PREFACIO
A LA EDICiN
ESPANOLA
PREFACIO
30 de Octubre de 1974.
OBSERVACIONES PRELIMINARES
l. Si A es un conjunto cualquiera de elementos, la proposrcron
el elemento a pertenece al conjunto A, se representa simblicamente as:
a E A.
Si se escribe a E A (o bien a E A). ello significa que el elemento a
no pertenece al conjunto A.
Siendo A y 8 dos conjuntos. la proposicin A es un subconjunto
del conjunto B (A c: B, simblicamente) significa que todo elemento x
del conjunto A tambin pertenece al conjunto B.
2. La unin y la interseccin de dos conjuntos A ':1 8 se definen
del modo siguiente:
la unin A U B = {x I x E A o x E 8} es la totalidad de los
elementos x que pertenecen por lo menos a uno de los conjuntos A o B:
la interseccin A n B = {x I x E A. x E 8} es la totalidad de los
elementos x que pertenecen tanto a A como a 8.
3. Si A es un conjunto Formado por nmeros reales, se denomina
cota superior (cota superior exacta) de A el menor nmero real M tal
que a ~ M para todo a E A. En otras palabras, M es la cota superior
de A si para todo a E A es a ~ M Y si para cualquier e > 0, por pequeo que sea. existe como minimo un elemento b E A tal que M - e < b.
Si no existe tal nmero. convendremos en decir Que la cola superior
de A es
En ambos casos designaremos la cota superior del conjunto A
por sup A.
Anlogamente se define la cota inferior del conjunto A que se represen la por inf A.
4. Se denomina espacio lineat todo conjunto R de elementos
x, y, z... de naturaleza arbitrarla para los cuales estn definidas dos
operaciones. de adicin y de multiplicacin por nmeros. que cumplen
los axiomas siguientes:
l~ x
y = !I
x;
2 (x
y)
z = x + (y
z) i
8 existe un elemento O (elemento nulo) tal que x
O = x para
todo x E R:
4) para todo x E R existe un elemento -x (elemento opuesto)
tal que x
(-x) = O;
5) lJt = x;
+00.
++ + +
+
6) a (Jlx)
(a~) x;
+ ~)x = ax + ~x;
+ ti) = + ay.
7) (ex.
8) ex. (x
(X.X
10
OI3SEI~VACJONES
PRELlMINARP.S
a s);
110 =
mx
Il~x::::b
y (x
l.
el
El espacio
[a, b] es el espacio formado por todas las funciones
y (x) Que, a parte de ser continuas, tienen derivada primera continua
en {a.
bl donde
11
IICl
rnx
a~;;<b
I y (x)
+ a~x<b
mx
I y'
(x)
en
El espacio
la, b] es el espacio formado por todas las unclones
y (x) Que, a parte de ser continuas, tienen en la, bl derivadas continuas
hasta de orden n-simo inclusive (fl es un nmero natural fijo) donde
7\
11 y /len
=~
mx I 11(Ir.) (x)
l.
k=O a~x~b
A veces
Capitulo
l. Extremo incendicionado
Sea f {Xl' X2, Xn). o brevemente f (x), una Iuncin definida
en un recinto D del espacio eucldeo En de n dimensiones.
Diremos que la funcin f (x) alcanza su valor mximo (mnimo)
en el punto Xo E D si
f (x) ~ f (xo) (1 (x) ~ f (xo)
cualquiera
que
SE.'3
el punto
x E D.
b) (XI> xz)=
e) f (XI'
x +xi
si
si
.\'"2) = xi
en el recinto D {x:
- x~
x~ ~ I}.
Xi+X~*
0,
xr+ x~=O;
CAP. 1, EXT~f;MO
12
DE FUNCIONES
TEOREMAI (condicin
necesaria de extremo). Sea
(x), x =
, Xn). Una funcin definida en una vecinda
del punto
x,o> = (xr, xg, ... , xg). Si este punto es un punto de extremo de la
=
funcin
;~f
vXj
al
(xIO
i)Xj
=o
(J'='
. I
(i = 1, '2...
, n),
todas
2, .. n.)
= XZ + y2.
(i
1, 2, ...
, n) es igual a cero
X2
Pero
:'
Vx
las derivadas ::
DEFINICIN
y:;
no
Los puntos en los que se cumple la condicin necesade la [uncin f (x) se denominan puntos crticos de la
3.
ria de extremo
misma.
Los puntos x(o) en los que dI (X,Ol) = O se denominan puntos estacionarios de la funcin f (x).
La condicin dI (x(O = O es equivalente a la condicin
al (.~IO)
aX
(i=I.2,
... ,n).
EXTREMO
13
INCONDICIONADO
A (x)
_;
aj;
i,
oJxXj;
;-t
i = 1, 2, ... ,
TI;
(x)
una
= (xY, x],
x(O)
funcin
...
definida
en
una
vecindad
del
punto
X,Ol
(x).
Si
la forma cuadrtica
( 1)
CRITERIO
DE snVESTER
POSITIVAS.
Condicin necesaria
DE FORMAS CUADRATICAS
DEFINIDAS
para que la forma cuadrtica
y suiiaente
(2)
CAr
14
eOIl aH
1. ux IIH::MO
aJj; i, ; =- 1, 2, ...
u > O.
DE FUNCIONL':>
a121>
021 a22
aH
aH 012 a13
O.
>0,
...
... a'
all 012
a21 (122
211
.. ~,
>0 .
tll\<'O.
(2)
(llzl>o.
(12.\ D22
< 0, ...
au
al:!
a21
azz ...
Dln
..
a2n
(-w>o.
f~ (xo, Uo) =
Entonces, si en el punto (:eo. Yo)
I'!c:r.f~y -
(xo. Yo)
(f;'v)~
=.
O.
> O.
(%0, Yo)
<O
n, > O
';ex
< O)
(!yy > O).
(f~1J
<
t;xfll - (f~y)"
O,
no hay extremo en E.'Ipunto (xo. Yo). Por ltimo, si en el punto (:eo. Yo)
f';.:.:lvy - (f';,1I)2 = O,
15
EXTREMO INCONDICIONADO
+ +
:~ =2x-y+ I=0, )~
i)f
oy =2y-x= 0,
af
oz
Xo=
resolvindolo, encontramos
Consideremos
--t, 1).
JI
=2z-2=O;
2
-3' Yo = - 3'
(1)
y' Zo =: l.
en el punto
Tenemos
2,
)';;;0:=
flx=-I,
t;x=
O,
En el punto Po encontramos
an = 2,
an = -1,
a81 = 0,
de modo que
au
> 0,
';,,=-1,
au
2 -1
-1
-1,
a" = 2,
aa, = 0,
1_1
012
al1
G21 a22
f;z=O,
tv" = 2, ~rl.= O,
;"= o. f;z =2.
O
O 2
1-
2 - I
3 -.., O
l
2 - ~. ,
2 O =6::>0.
O
0,
= O,
a~3 = 2,
a13
a23
Po ( _. ~ ,
16
G,\P.
1. EXTREMO
DE FUNCIONES
=-"3'
EJEMPLO 5. Hallar
el extremo
de la funcin
de dos variables
z= X'Jy2 (6-x-y).1
Determinamos
SOl.UCION.
los puntos
z~:-.'
J8X2y2
Zy'=
12x'ly -
4xay2 _
2~y
estacionarios;
3X2y3
3x3y2
O, }
O,
de donde XI -=. O, Y1
O y X2 = 3, yz = 2. Hemos obtenido dos puntos
estacionarlos Pi (O, O) Y P, (3, 2).
Calculemos las segundas dertvadas de la funcin:
-r :
z!J
=
=
Z;y
z~x
>
f = (x - 1)2 - 2y2.
3. f = X4 + y4 - 2Xll + 4xy - 2y'l.
4. f = (x2 + !f2) e-(x2+y~}.
2.
5.
I+x-y
VI +x2+y2.
y2
Z2
6. f=x+--x+y-+-z(x>O,
7.
f
f
x1. -
xy
+ y2 -
2x
(Xl>
0,
X2>
y>O, z>O}.
+ y.
+ y)
(O ~ x ..::;;;n, O ~ y ~
Xl -
2X2 -
O, ... ,
XII
. . . -
> O).
nxn)
;1)
EXTREMO
1.
INCONDICIONADO
J7
b) z = XS -
4Xll
<x<+
00, -00
<y <+
00;
2xy _ y2,
D {-5 ~ x ~ 5; -1 ~
y ~
1}.
13. Sea f (x) una funcin peridica con perodo 2:rt. Entre
todos los polinomios trigonomtricos de grado n
n
a;
+~
(ah COS kx
+ ~hsen kx)
h=1
a"
!=
2~
re
-n
k=1
1 [f(x)- i -~(akcoskx+~ltsenkx)ydx.
1, 2, ...
m),
18
GAP. 1. EXTREMO
DE FUNCIONES
t (~..1)*O,
ponemos
(xn-l), eJt)
(k = 1, 2, .. , m; hn > O).
As obtenemos, si se cumplen determinadas condiciones, una su-
gr ad f (xO} = 2xOI = 21
O.
Por eso, ponemos
xl- = xO - h 2 = 1 - 211. donde h
Tenemos ahora
grad f (Xl) = 2 (1 - 211) l.
* !'
Si h
es grad
x?
Continuando
f (Xl)
O.
y ponemos
2h (1 -
Xl -
>
2h)
(1 -
2h)2.
(1 _ 2h)n.
h < 1, se tiene
= x:A
XO
+ y2.
grad
(1, 1) = 21
+ 2j.
yl
Tenemos
= xO _
= !l -
ponemos
1 - 2h,
2!lh
J - 2h.
2xo"
=
=
(h
>
O)
EXTREMO
2.
19
COND1CIONADO
Continuando
;:: x~ +
U2
Empleando
de la Iuncln
el mtodo de gradiente,
z
= x2 + y'J. _
2x
+ 4y + 5.
2. Extremo condicionado
Sea z = 1(Xl' X2
Xn) una [uncin de n variables definida de
un recinto D del espacio En.
Supongamos. adems, que las variables Xl. X2> , '"'71 estn
ligadas por (m < n) condiciones complementarias
(1)
que se denominan
ecuaciones de enlace.
Sea %(0) = (xi, x~... , x~) un punto interior del recinto D.
Se dice que f (Xl. Xs, , xn) tiene mximo condicionado (mnimo
condicionado, respectivamente)
en el pun to (x~, ~ ... , x~) si la desigualdad
(Xl. X2.
Xn) ~
xi\.)
desigualdad f (Xl. Xa, ... , Xn) ~ f .(xY. X~, ' . X~), respectvarnense cumple en una vecindad del punto (.x~, x~, ' . _, x~) siempre que
puntos (Xl' X2
, Xn) y (X~. X~
, xV.) verifiquen las ecuaciones
enlace (l).
EJEMPLO 1. La funcin z = X2
yo, tiene mnimo incondicionado,
igual a cero. en el punto (O, O). Agreguemos la ecuacin de enlace
x + !I - 1 = O; se trata entonces de determinar el rnnirno de las
Z-coordenadas de los puntos de la superficie z = x~ + y'J. considerando
s6lo aquellos valores de x y de y que satisfacen la ecuacin x
!I - l =
= O. Este mnimo condicionado no se puede alcanzar en el punto
(O. O) pues este ltimo no satisface la ecuacin de enlace. Resolviendo
la ecuacin de enlace x
U - I = O respecto a y e introduciendo la
expresin obtenida y = \ - x en la ecuacin de la superficie, encontramos z = x2.
(I - x)2.. o sea, obtenemos una funcin de una
{la
te)
los
de
variable.
Extremndola,
encontramos xer = ~ y
Zmlll
= ~. A partir
~*
20
Ycr = ;. El punto ( ;,
;,
~ )
2)
< n, srendo
el rango de la matriz
(~:;)
(i
J, 2, ...
, m;
111
-"':1
k.J
"'[<rio
1.-1
vXn
determinamos los valores de los parmetros "lo 1..2 , Am y las coordenadas (Xl. X20 . , xn) de los posibles puntos de extremo.
Las condiciones (2) son condiciones necesarias de extremo tanto
para la funcin de Lagrange como para la [uncin inicial z =
= f (Xl' X2, . , xn)
Si el punto (4 X~, ..
x~) es un punto de extremo condiconado
de la [uncin l {Xl' XZo'
., xn l. ser a la vez un pun lo estacionario
de
0
diJ ~
'<i
O (i
1, 2, ...
XYI) en tanto
2.
EXTR.EMO
CONDICIO"lA.DO
21
(1)(Xi' X2, ..
xl1)
la Iorma cuadrtica
n,.. tn
B(dxt.
dX2...
oq>'
+T
X2
v
dx,~
(3)
".
<D
(x, y)
xy
+ '"(y -
los posibles
puntos
x)
y el sistema correspondiente
'j
las coordenadas de
~~ =Y-'k=O,}
ay =x+1..=O,
y-x=O.
O<D
x+y= O, }
y-x=O,
de donde x = y = O y. adems, A = O. Por lo tanto. la (uncin correspondiente de Lagrange es <D (x, y) = xy. La funcin <D (x, y) no tene
extremo Incondicionado en el punto (O. O).
CAP. l.
22
EXT"REMO DE PUNCIONES
f (x, y, z) = xyz
con las condiciones
<PI
(x, !I,
z)=x+y-z-3=O,
(4)
8)
y Aa
=YZ+/..I+~=O, )
: ~-"+'I-"~O,
(5)
T=XY-Ai-~=O'I
x+y-?-3=0,
x-y-z-8=O
..
Al ='"32 ,
231
11
~=-32'
d2<.D
=--
i}.x'Z
y=-y
x=-;-,
i}zlD
dxz+ --dg2
ayZ
)za.
+-- iJz2
(!>
oz2
iJ2(D
(x, y, z) es ig\lal a
+
~$
+2-ax vy
;, dxd!l+2~dxdz+2-a
<i!l oz
En nuestro caso,
tl2cD = 2z dx dy
2y dx dz
2x dy dz.
Oc las ecuaciones de enlace (4) encontramos
dx+dy-dz=O,
dx-d!l-dz=O,
de donde
obtenemos
dx = dz, dy
= O.
Introduciendo
8 (dx)
~$
'" dydz.
y oz
(6)
2y dx2.
- 5 dx2 <O, o sea, en el punto
.
605
11
z=-4'
5
11 )
-'2'
-T
hay mximo, Siendo / mAx= 32.
2.
EXTREMO
EJEMPLO 4. Hallar
CONDICIONADO
de 13 funcin z
el extremo
('(>:;2 X
-1- cos2 !I
con la condicin
y-x=T'
SOLt:C1N. Formamos
de Lagr ange
la funcin
(y-x-:)
tD(x. y)=cos2..-.;+cos2y+]"
i)y
-v-:
,<
y-x--=O,
es decir,
sen 2x= -A,
sen 2y=A.
(7)
(8)
y-x=T'
(9)
sen (x
Resolviendo
+ y) = 0, es
x + y ~ kn,
las ecuaciones
x)
= }~~=fo
y,
JOf
eso, de (10)
decir,
k = O, 1, 2,
ox = - 2 cos 2x,
i.J2tD
ay2
En los puntos
=-
kn
n
PIi. ( 2-'8'
t)2q)
-;--;;-
ox cJy =O,
2 ces 2y.
krr.
n )
'2+8
se tiene
(11)
CAP. J. EXTPEMO
24
k1f. -
DE FUNCIONES
) ces ( kn
+ ~)=
= 2 cos 2kn = 2>
O.
aiJx2Cl>2
y.
pOC I!SO,
P2n
-V2<O
..'"max-_1+V2.
-2para x= 2n+ 1 es
a2Cl>
7fT
X
J)zn+l
siendo
= V-2>0,
V2
zmln= 1--2-,
19.
= x -
2.11 + 2z siendo
X2
+ +
n~
1,
y2
+ yz + zx
= 8.
1.
ZZ
= 9.
+ y + z = ~, x>
x~O
e y~O.
O,
2.
E XTR,EMO
CONDICIONADO
25
Captulo JI
EXTREMO DE FUNCIONALES
ry
j y(x}dx >.
J ly(x}1=
(1)
o
Entonces J Iy (x)} es una funcional de y (x): a toda [uncin y (x) E
E [0, 1]le corresponde un valor determinado JIu (x)]. Tomando en
(l) funciones concretas en lugar de y (x), obtendremos los valores correspondientes de J r"l. Por ejemplo, si y (x) = 1, tenemos
J[l)=) ldx=!;
O
si y (x) = e, tenemos
J (eX)
=)
eXd.x=e-l
si
tenernos
1
J(cosnx)=
Jo
cosnxdx=O.
S.
FUNCIONAL.
VA~JACJON
DE
UNA
FUNCIONAL
27
para IJ (x) =
+1
X2
+ x)
tendremos J
Sea M = e
tinuas en el segmento [-l.
continua para todos los -1
de y. Entonces.
In (1
EJEMPLO 3.
+ 11 = 4
J {xZ
encontramos
I
l+.x
Y para
I x-Z='3'
Y (.~)
{In (1 + x) =
[-l. l] la clase de funciones y (x) con1)Ysea cp (x, y) una funcin definida y
::;;;;
x::;;;; 1 Y para todos los valores reales
1
J [y (x)) =
j cp (.~,
y) dx
-1
definida
ejemplo, si cp (x, y)
1 ~yz'
para
Por
J!x]=
Ji
x dx
=0 y para y(x)=I+x
l+x2
-1
tendremos
I
1[I+x)=
x dx
1+{I+x)2
In
V5-
arctg 2.
-1
EJEMPLO".
Sea M =
derivadas continua
yl (x)
el
en el segmento
{a.
bl. Entonces
Jfy(x)]=
VI+y'2dx
(2)
de
kl Se denomina
la funcional
28
C!\P.
11. EXTREl>lO
DE FUNCIONALES
ay (x)
Para la clase de funciones
= y (x) k
M de funciones:
Yo (x) 1).
(<'3y)(II)
senn2 x
rt
~n'
o sea, el valor absoluto de esta diferencia es pequeo en todo el segmento [0, ni si n es sucenternente grande.
No hay proximidad de primer orden ya que
!~
=. 11,
1) Para abreviar,
en Jugar de By (x).
simplemente
, 3.
FUNCIONAL.
VARIACiN
DE
UNA
29
FUNCIONAL
como
28. y(x)=
cos nx
n2+1
sen x
11
29. U(x)=sen-
x
11
en [O, 2nl.
Uf (x)
Y. (x) = O en
Ut (x) =0
55!
[O, nI.
en [O, 1J.
x~
M (l. 1)
b:
O::;x~ I
P=
mx
)(
r-x
Fg. I
(x - x'). La Iun-
O::>':I<~l
te,
l}.
Tenemos
y' = 1-
2x e
v' = O
para x = "'2
de modo que
p= mx Y = <X-X2)1
O~x~t
:1;-
'2
=+.
30
CAP.
30. !J (x)
11. EXTRF.MO
DE FUNCIONAI,F.!;
== O en
Yt (x)
32. y (x) = x
e !J1
xe:"
(x)
[O, 2].
en
In x en
[o, ~ l
rrl, ej.
Pn
rnx
O~/:'.f.n
mx
a~x:'.f.b
fig. 2
Igualando
esta derivada
a
:t'~-
=..i..
27
(x) :
y el valor
.tl
a cero, encontramos
los puntos
estacio-
de la derecha
es
a.
FUNCIONAL.
Ya (1)
= O.
VARIACiN
UNA
31
fUNCIONAL
Por eso,
DE
= 2x e
Yi
(x)
= 3xs:
Po = mx I Y3 (x)
O~%~t
Po
1= mx I 2.x-3x2 1O~x~i
mx (Po, po)
l.
re-
Se llama
(a ~ x:S:;;; b) el
n-strno orden
d.e la
curva
!I
= IJ (x)
condiciones
!lo (x)1
J Iyo (xH I
< 1).
y~n)
(x)
< e siempre
< 1'].
que
32
De FUNCIONALES
/j("')
donde
<X
+ <xw(k)
(x)
(k = O, 1, 2, ...
, n),
M, podemos persuadirnos
Im
ylh}
(x)
a;... 0.l
y~k}
(x)
(k
.. , n)
O. 1,2,
a...O
EJEMPLO 9.
t
l'
Jly(x)l= ~ (1I+2y')dx
o
considerada en el espacio CI 10, 1( es continua en la funcian Yo (x) = x
en el sentido de proximidad de primer orden.
SOLUCIN. Tomemos un nmero cualquiera e > O y demostremos
que existe un nmero r> O tal que I J Iy (x)) - J [x) < e siempre
que I IJ (x) - x I < '1 Y 1 y' (x) - I 1 < 'l. Tenemos
1
IJ[I/(X))-J(X]I=I
~ (Y+2yl-X-2)dx
l<
t
~ Jo
e
Tomemos r=3'
J Iy'-lldx.
Jy-xJdx+2
tales que
Iy
tendremos
1< 3
(x)-x
I.!I'
I J [y (x) - J [x]
8> O existe
(x)- 1 1< 3
< 8.
un nmero
1')
>
O (por ejemplo,
< 8 siempre
I 8.
FUNCIONAL.
VARIACIN
DE
UNA
FUNCIONAL
= y'
I [g (x)}
(xo).
el
>
I J (y (x)] - J
Queda claro
(Yo (x)
que tomando 11 =
I J [O (x)J - J Yo (x) I
<e
J 1.1>' (x)]
Jo
y''J. dx
= ---.n
::= -
n de modo que Po ~
O cuando
II ~
co,
34
DE FUNCIONALES
J\
cos2nx d
n
n
x=2"
-4- si y (x) == 0,
1 si U(x)~O
e y(x)90,
I I
o
tienen primera derivada continua en el segmento [O, 11:
a) en el sentido de proximidad de orden nulo;
b) en el sentido de proximidad de primer orden.
n
== O,
o
donde y (x) E CI [0, tt):
a) en el sentido de proximidad de orden nulo;
b) en el sentido de proximidad de primer orden
40.
J(
4 t. J fy (x)l =
j (1 +2y'2) dx en la funcin
o
Yo (x)
c;:;,s
0,
s.
FUNCIONAL.
VARIACiN
DE
UNA
12. Demostrar
FUNCIONAL
35
de proximidad de
que la funcional
1
Jo
J(y{x)]=
Vl+y dx
x3
J [11 (x)]
= J [x2 +
a:f) (x}J =
+(x2+ a:1l)2dx =
xli VI
O
1
x3Vl+x4+2a:x2r+a.2rt2dx
el -+
lm lJy(x)J=
a:..
lo que equivale
Yo (x) = xa
r x3V
1+~dx=J[x2}
JO
a la continuIdad
de la funcional
en la funcin
funciones
L {ey (x))
en el espacio
el: (y (x)J,
y
cualquiera
L 1111 (x)J
M se denomina
+ v (x)) =
L [Yt (x)J
+ L (Y:a (x)l,
L [y (x))
W+y)dx
definida en el espacio Cl
la,
b] es, obviamente,
lineal.
AP.
TI. EXTREMO
DE FUNCIONALES
L [Yl ():)
cualquiera
(x)]
E M.
(6y
= y'(x)
se denomina
s:
al
de la funcional
[y
(x}) "'"
J y!!' dx
o
bJ
si 11 (x)
M=J(x2}-J[x]=
=x
e !h (x) = x'.
x22XdX-)
x.l'dX=)
(2xS-x)dx=O.
llJ = J [y
se puede representar
(x)
J [y (x)]
de la funcional
+ 6yl -
J [y
(x)]
en la forma
Al = L [y (x), ay)
+ ~(y (x),
ay)
11
8y 11,
donde L {y (x), ayJ es una funcional lineal res pedo a ay y ~ (y (x), 6y)- o cuando !l 6y 11 - O, entonces la parte del incremento lineal respecto a ay, o sea, L [y (x), yJ. se llama variacin de la [uncional y se
FUNCIONAL.
VARIACION
DE
UNA
37
FUNCIONAL
14.
J [y (x)]
!I d:z
definida en el espacio e
de este espacio.
SOLUCION. Tenemos
la,
b] es dierenclable
(y+~y) d:r -
ydx=
J aV
ax
Es decir, l1J
J ay x,
J 6y
es ! =
dx.
es siempre dierenciable.
EJEMPI.O
15.
Demostrar
que la funcional
b
J tu (x)l = ) y2dx
a
6J=
J
o
(y+ay)2dx-)
b
y2dx.=
J
a
2yOydx+
) {Oy)2dx.
(3)
En el ltlmo miembro de (3) la primera integral representa la Iunclonal lineal respecto a 611 cualquiera que sea-la funci6n fija y (x). Estl
38
DE FUNCIONALES
) (y)2 dx=
I y 12 dx
a
a
e
b
~(mx
Jagl)2
Q~x~b
Si
11
ay
r dX=(b-a)lIIIIIZ=((b-a)1I6YIIJlffSYII.
Ja
O, la magnitud
(b - a) 11 ay n -1- O.
hemos logrado representar el incremento llJ de la funcional
suma de L 111(x), y! y de una magnitud infinitsima de
orden con respecto a 110,,11. Segun nuestra definicin, la
considerada es dilerenciable en el punto 11 (x) Ysu variacin es
11 -
Es decir,
como la
segundo
funcional
6J = 2 )
y oydx.
a
t
J y'l.dx
CtXZ;
o
Ct
tomar y = 2x
= 1; -0,1 Y 0,01.
J x!ldx
tomar y = s: y
o
comparar tlJ y 6J para Ct = 1; 0,1 Y 0,01.
50. Analizar si son o no diferenciables las funcionales
siguientes:
1) J fu (x)] = y (a) en el espacio e la, bl.
2) J IU (x)J = y (a) en el espacio el fa, el,
3) J [y (x)] = VI + y'z (a) en el espacio el fa, bl.
4) J fy (x)l = I y (a) I en el espacio e la, bJ.
51. Demostrar que la funcional J'A [y (x)] es diferenciable
si lo es J fy (x)1. Hallar la variacin de J2 [(y (x)L
52. Sea F (x, y) una funcin continua de sus argumentos
con derivadas parciales continuas hasta de segundo orden
inclusive en el recinto a ::::;;;
x ~ b, -00 <y < + oo. Demostrar que la funcional
ay
CtX;
J !y (x)] = ) F (x, y) dx
o
3.
FUNCIONAL
VARIACION
DE
UNA
FUNCIONAL
39
<'J =
EJEMPLO
~
a
iJF~, y) oydx.
y
16. Consideramos
la funciona!
b
J fu (x)J =
F (x, y, y') dx
a ~ x ~ b,
al
IlJ (y (x =
(F(x, y+ay,
y'+6y')-F(x,
y, y')Jdx.
(4)
(5)
F (x, y, y') =:
= ~: oy+
Al (y (x}1=
j (~~
hy+ ::'
oy')
dx+ ) R (x,
y, y',
~!I,
hy') dx,
lineal respecto a
parciales de la
absoluto, de una
e !I'. Tendremos
J R (x,
(6)
de la lrrnula
J IJ 6yll2
a
40
CAP.
donde
11
8y
11
11, EXTREMO
1_!l!, (1 6y
a..~x.~b
DE FUNCJONALES
el segundo
~J =
EJEMPLO
(7)
dx
J [y (x)]
=J
dx,
(y'ell+xyZ)
-1
53. En la funcional
J [y (x)J =
j (y' y + xy''l.) dx
t
k(x-l)
54. En la funcional
1
J [y (x)] = ) (XZy'2_!I)
dx
o
tomar y = x'J. y 6y = kX3; comparar I1J y tU para k
0,1 y 0,01.
== 1;
55. En la funcional J
ry (x}1 = 5 s"
o
sen x dx tomar
0,3'
0,03.
p.
FUNCIONAL.
VARIACION
DE
UNA
FUNCIONAL
41
56. Las derivadas parciales de segundo orden de la funcin F (x, Zl. Z2, . , zm+t) respecto a todos los argumentos
son continuas en el recinto a =::;;;; x =::;;;; b Y - 00 <lit < + 00
(k = 1, 2, ... , m + 1). Demostrar que la funcional
b
J {U (x)]
es diferenciable
6J =
J~ [ ::
6y
variacin de la [unctonai
6J = OIZ J [y (x)+a6yll~_o.
Si existe la variacin de la funcional en tanto que parte principal
lineal de su incremento (o sea, si existe la variacin en el sentido de
la primera definicin), tambin existe la variacin en tanto que valor
en a = O de. la derivada respecto al parmetro a y ambas variaciones
coinciden.
J [y (.~)] =
J JI"
dx,
a
SOLUCiN. La variacin de esta luncional en el sentido de la prmera definicin es
b
6J = 2
116y dx
Jlv(x)+a6y}=
j (y+aBy)2dx.
o
CAP.
JI.
EXTREMO
DE FUNCIONALES
Por eso,
b
iJ~ JIY(X)-!-MY)=2)
(y+<xy)gdx
(1
de modo que
= iJ~
J fu (x)
+ <x~u] Ia.... o = 2
yy dx,
(l
57. J
lY (x)} =
J (x+
y) dx.
a
b
58. J{y(x)J=
J (yZ_y'2)dx.
a
11:
o
b
6t.
.. , U~)dx,
OBSERVACION. La segunda deflnlctn de la variaci6n de una funcional es en cierto sentido ms amplia que la primera pues existen
funcionales que tienen variacin en el sentido de la segunda definicin
aun cuando no se pueda despejar la parte principal lineal en el incremento de las mismas. Para explicarlo recurrlremos a las funciones;
3.
FUNCIONAL.
VARIACIN
DE
UNA
43
FUNCIONAL
f (x, y)
donde p y q> son las coordenadas polares del punto (x, y). Las derivadas
pardales :~ y
!~
existen
el,
~iO) en cualquier
direccin tambin
dI
(O, O)
di
="2sen
2
q>
J
J
= al)
(alX]
a2xS' U]
(x. ~1l(1
~2!1!al =
ljJ
[Xl, y]
[x. YtJ
+ aaJ
gl,
[X2'
Ix, !/]=
fija. representa
una funcional
bilineal en el espacio
e la. b] mientras
que la expresin
A (l) Xi (t) dt
(l
>
CAP.
u.
EXTREMO DE FUNCIONALES
2) Ji' expresin
b
J (x, xl
(A (/)
1'2
(t)
(t)
x'2 (/)]
dt
J(X,Yl=l
) K(s,t)x(s)y(t)dsdt,
a
donde K (s.t) es una funcin fija de dos variables, representa una runclona] blnea en CIa. b).
DEFINrerON. Sea J fy (x) ) una funcional definida en un espacio
lineal normado. Diremos que la funcional J [y (x)} tiene segunda
variacin si su incremento 6J = J Iy (x) + 8y1 - J [y (x)) puede
ser representado en la forma
s:
=L,
donde LI (6y) es una funcional lineal, L2 [6y] es una funcional cuadrtica y ~ -+ O cuando 1I 6y \1 -- O.
La funcional cuadrtica L2 [ay) se denomina segunda variacU5n
(o segunda diferencial) de la luncona J [y (x)] y se desIgna por 6"J.
La segunda variacin de una funcional se determina unvocamente
(S es que existe).
EJEMPLO 19. Hallar la segunda variacin de la funcional
1
J [y (x)
=)
(xy2+y'9)
dx
[x (y+6y)'2+(y' +Oy')3_xy'2_y'3]
dx=
O
1
J
O
(2xy6y+3y'26y')
dx
J
O
(x (6y)2+3y'
+ (6y')3Jdx=
t
(611')'21 dx+ ) (011')3dx,
O
(8)
FUNCIONAL.
VARIACIN
DE
UNA
45
FUNCIONAL
I ) (6y')Sdx I~
J 6y' I dx ~ (
Jo
16y' I
dX)
116y 112
(la norma se toma en el sentido del espacio t (0, 1)), o sea, podr ser
representado en la orma ~ 11 6y II~. donde ~ -+ O cuando 11 6y 11 -+ O.
Por definicin, para nuestra funcional existe la segunda variacin
fJ'J igual a
I
62J =2
(x{liy)2+3y'
(6y')2.) dx,
62.
tica.
63.
siendo
64.
Hallar
Hallar
la segunda variacin
la segunda
variacin de la funcional
dos veces dferenciable.
Demostrar que las funcionales de tipo
eF(IIJ
J [y(x)] =
J F (x, y. !/) dx
(1
a21D (al
da'J
I~-o'
Hallar
la segunda variacin.
r
b
65.
J [y (x)J =
el
F (x, y,
en nuestras
Jf
DE PUNCIONALES
P (x. !J, z,
zx, z/I) dx
dy.
G
11
... ,
J [y (x)) -
J (Yo(x)} ~ O.
>
(y (x)l
=)
+ (2) dx
(x2
= J (y (x)]
- J [O] = ) (x2
l'
+ (2)
dx - )
X2
dx =
J y2 dx #- O;
O
J (y (x)J
para todas las curvas admisibles y = y (x) pertenecientes a una s-veclndad de orden nulo de la curva y = Yo (x). Anlogamente se define el
mnimo relativo fuerte de una funcional.
Diremos que la funcional J [y (x)l alcanza su mximo relativo dbil
en la curva Y = Yo (x) si
J [y (x) ~
J [Yo (x)1
FUNCIONAL.
VARIACIN
DE
llNA
FUNC.IONAl
47
En este caso
n
J Iy (x) =
~ J sen2nx
o
(1 -n
=1.n J
sen2nxdx-..!....
sen22nxdx,.,,~-~
4 J
2n
8'
O
O
O sea, J < O en estas curvas si n es suficientemente
grande. Por otra
parte, siendo tl suficientemente grande, todas estas curvas se encuentran en una vecindad tan pequea como se quiera de orden nulo de la
curva JI = O. Por consiguiente, no se alcanza mnimo fuerte en y = O.
EJEMPLO 22. (Weierstrass).
Consideremos
la funcional
1
J[y{x)=
x'2y'2dx;
y(-I)=-I.
y!I)=1.
-1
el
>
48
DI! PUNCIONALES
x
~
arcfg-
Ya. (x)=
J'
arctg-
~>
O.
n
Todas ellas satisfacen las condiciones de frontera: Ya. (-1) = -1 e
Ya. (1) = 1. Pasando al lmite para a -- O. obtenemos la luncln
-1, si -1 ~;c:<O,
y(x) =
O, si
x=O,
{
-+ 1 ,si
O <x
1.
es decir,
(x) = sg x (Hg. 3). Esta funcin pertenece a la clase de
funciones dferenclables a trozos en el segmento [-l.
1).
<
y ""Yo(x)
FIg. 3
Tenemos
t
J (Ya. (x)J
(=
-t (a2+x2)
arctg2-
2a
arctg2 -a o
2a 1 (I-a
arctg2~
arctg ~ ) .
3.
PUNCIONAL.
VARIACIN
DE
UNA
49
FUNCIONAl.
estacionarias.
Hallar las ecuaciones funcionales para las funciones estacionarias de las funcionales que siguen, empleando la condicin necesaria de extremo (9) y los lemas fundamentales del
Clculo variacional.
b b
J J K (8,
(l
+ J rp2(s)ds-2
q(s)f(s)ds,
b}
a -c s <.
el recinto D { a ~ t _~ b
.!
en
69. J [q (x)] =
+ 2rp (x + 1) X
-00
4-01387
J [q (x)J =
[p (x)
50
DEiPUNCIONALES
donde p (x) tiene derivada continua, q (x) y f (x) son continuas y el argumento funcional <:p (x) tiene dos derivadas
continuas.
4 Problema elemental del Clculo variacional.
Ecuac.in de EuJer
Supongamos que la funcin F (x, y. 11') tiene derivadas parciales
continuas hasta de segundo orden inclusive respecto a todos sus argumentes.
El problema elemental del Clculo variacional
es el siguiente:
entre todas las funciones y (x) que tienen derivada continua y que
satisfacen las condiciones de frontera
y (a)
hallar
y (b)
(1)
dbil a la unconal
J 111(x)1 =
j F (x,
Y. y/) dx,
(2)
En otras palabras.
el problema elemental
del Clculo var iaconal
consiste en hallar el extremo dbil de la funcional de tipo (2) en el
conjunto de todas las curvas suaves que unen dos puntos fiJOS PI (a, A)
y p.. (b. B).
TEOREMA l. Condicin necesaria 1) para que la funcional (2), defi
nida en el coniunto de todas las funciones 11= {I (x) que tienen derivada
continua IJ que satisfacen las condiciones de frontera (1), alcance su valor
extremo en la functn y (x) es que esta funcin verifique la ecuacin
de Euler
d
F,,--F
1=0.
Y
dx 11
Las curvas integrales de la ecuacin de Euler se denominan
de Lagrnnge).
En forma desarrollada
la ecuacin de Euler da
males (o curvas
(3)
exire-
PROBLEMA
4.
El problema
no siempre
ELEMENTAL
51
de contorno
EJEMPLO
J[y(x))=
(y'2-2xy)dx;
y(I)=O,
y{2) -'.-11
y=
Utilizando
seguiente
F (x, y, y')
= y''}. -
+ x = O. Su solucin
de Euler da y'
la ecuacin
xl
-6 +C1x+C:.
Ct+C2= ~,}
="6'
2C1+Cz
C,=!
De aqu resulta
alcanzarse
y C2=O.
puede
slo en la curva
x
Y='6{I-.x:2).
Hallar
EJEMPLO 2.
las extremales
de la funcional
J [U (x))
=j
que satisfagan
las condiciones
SOLUCIN.
La extremal
nuestro
IJ
La ecuacin
= ~x
de frontera
de Euler es 3x -
no satisface
y (1)
1 e U (3)
2y=O, de donde y
la condicin
4- ~.
= ;
X.
problema
variacional
no tiene solucin.
EJEMPLO 3. Hallar
las extrernales de la funcional
21"(
Jly(x)]=
~ (U/~_y2)dx
O
que satisfagan
las condiciones
de frontera
y (O) = 1 e !J (2n)
l.
4*
52
CAP.
+ g = O; su
y
donde
e es una
ces
+ e sen x,
constante arbitraria.
de las funcionales
siguientes.
71. J(y(x)1=)
(12xy-y'2)dx;
y(-1)=I,
y(O)=O.
-1
2
72. Jly(x)1=)
(y'2
+ 2yy' +y2)
x; y(I)=
1, y(2)=0.
73. J [y (x)1 =
J y y (1 + y'Z) dx;
y (O) = y (1) =
;2.
74. J[y(x)l=
~ yy'2dx;
y(O)= 1, y(I)=:;4.
o
n
J (4ycoSX+y"2_y2)dx
75. Jly(x)l=
o
y (O) = 0,
y (n) = O.
76. J{y(x)=
J (y'2_y2_y)ezrdxj
y(O)=O,
y(I)=e-t
O
1
77. J[y(x)l=
J (y'2-2xy)dx;
y(-I)=
-1, y(I)=1.
-1
78. J Iy (x)] =
= O,
Y (O) = 2.
-1
pnOHLEMA
ELEMENThL
53
(2) es una ecuacin
J {y (x)}
a
EJEMPLO.j.
J Iy Ix)) =
y2 (1- y')2 dx
-1
de frontera
y (-1) = O
e y (1) = 1
alcanza su valor mnimo. igual a cero, en la funcin
si x ~
v x - x si x>O.
( ) _ {O
O,
(2v2(I-v')]=0.
(4)
11
"
F y - "'(fX F 11' = O.
*0.
y.
=f
(x, y, y')
54
DE FUNCIONALES
las funciones f. 11/ y f ' son continuas en lodo punto finito (x, y) para
cualquier valor finito de !J' !J supongamos que existe una constante k > O
y unas funciones
~ = a (x, y) ~ O y ~ = ~ (x. y) ~ O.
acotadas en cualquier porcin [inita del plano, tales que
tv (x, y, g') > k
Y I f (x, y, y') 1 ~ a.y'2
(6)
Entonces, por dos cualesquiera puntos del plano (a, A) y (b, B) de abscisas
distintas (a =1= b) pasa una curva integral y = 'l' (x) de la ecuacin (6),
y slo una.
EJEMPl.O 5. Demostrar que por dos cualesquiera puntos del plano
de abscisas distintas pasa una extremal nica de la funcional
+ ~.
J{y(x\]"""
\ c-211%(y'2_1)<I,1:
yn = 2y (1
considerada
es
-1- y',
(x, y, y')
Adems,
+ y'Z)
y, !J')
EJEMPLO6. Demostrar
fy = 2
I = I 2y (1
~ = 2 I y I > O.
I f (x,
o sea, a. =
2y 11
+ y''}.)
(1
+ y(2)
I~ 2Iy I
y'2
J Iy (x)j =
J (y2+
~ 2
k.
+ 2 I y 1,
de la funcional
VI + y'2) dx
que pase por dos cualesquiera puntos del plano de abscisas distintas.
SOLUCION. La ecuacin de Euler tiene la forma
3
yn=2b'{1+.!I'2)2
(7)
y el teorema 3 no se puede aplicar ya que no se cumple la segunda de
las condiciones (6) (debido a que f (x, y, y') crece, respecto a y', ms
rpido que la segunda potencia de y'). Las condiciones del teorema 3
son de carcter suficiente. O sea, si estas condiciones no se cumplen. de
ello no se puede deducir que no hay extrema) que pase por dos puntos
cualesquiera de abscisas diferentes. Demostremos que por los puntos
A (O, O) Y B (~ ,
2)
siderada.
Tomando en la ecuacin (7)
y'=p
=p
dp
d!l '
4.
PROBLEMA
obtenemos
dp
P -=2y
dy
ELEtv\ENTAL
55
.~
(1 +p)Z 2. o sea,
pdp
~2fJdy.
(1 +p2.)2
Integrando, encontramos
I
-~-==!2-C,
lfi"+P"2
(C-y2)
de modo que
VI +y'2=
o sea,
I
ri
C-y2
VI _(C_yZ)2
(8)
dl/.
YB(~,
2).
7.
(9)
2) Hallar
cuyas extrernales
SOLUCION. Busquemos
y = C1x
C2
la funcional cuya ecuacin de Euler
fy-E"'x-f
y,,,y' -f"'I/'Y" =0
56
x, y e y'
Fy-F"'x-FY'IIY'
Derivando respecto a
{J',
-F,v'!
en
(x, y, y');; O.
obtenemos
au
+'
r)x y
(Ju
iJy
+f iJy'
ou
+f 1/'
u=
(10)
j::_+
ax
,2!:..-o .
(11)
y ay -
tiene la forma
dx
dg
dy'
-1-=7=--0
Integrando
este sistema,
y'
encontramos
Cl
clx
+ C2
diferenciable
de sus argumentos.
z
F(x, y, z)=a(x,
Y)+z~(x,
y)+
(z-/)I1>(t,
y-tx)dt,
o
donde a (x, y) y ~ (x, y) son funciones arbitrarias
oa
de sus argumentos
o~
ay = a;: .
Se puede ver de la sol ucin que existe una cantidad infinita de problemas variacionales que tienen la ecuacin (9) como ecuacin de Euler.
4.
PROBLEMA
ELEMENTAL
DE J.A ECUACiN
DE EULER.
= F (x, y).
En este caso la ecuacin de Euler tiene la forma
1, F no depende de y', o sea, F
Fy (x, y) = O.
(12)
La solucin de esta ecuacin finita (no dllerencial) no contiene elementos arbitrarios y, por eso, no satisface, hablando en trminos generales. las condiciones de frontera y (a) = A e y (b) = B,
Slo en casos excepcionales, cuando la curva (12) pase por los
puntos de frontera (a, A) y (h, B), existir una curva en la que podr
alcanzarse
el ex tremo.
EJEMPLO 8. Hallar las extrernales de la funcional
2"'
J (U (x)!
= S y (2x -
y (O) = 0,
U) rlx;
y ( ; )
= ~.
o
y
SOLUCION.
X.
,SI
'2
Y (2x -
y) dx puede
o
otras condiciones
la extrema! y
(~)=
1,
1)
de frontera,
Oe y
oM
eN
Ty--ax=o.
Igual que en el caso 1, la ecuacin obtenida es fillib:l y no diferencial.
En general, la curva determinada por la ecuacin O..M - laN = O
uy
x
no satisface
las condiciones
de frontera y, por consiguiente, el
problema variacional no tiene, como regla, solucin en la clase de
funciones con tinuas.
Por otra parte, si en un recinto D del
oM - a;
iJN = O . I a cxpreston
"F
(x, y. y ') =
p 1ano x Oy se ulene Ty
"'" M (x. y) dl(
total exacta
y la
58
funcional
(b. B)
(M dx+N dy)
(a, A)
no depende del camino seguido en la integracin: el valor de la Iuncional J ry (x)] es el mismo en todas las curvas admisibles. El problema
varlaconal carece de sen ti do.
EJEMPLO9. Anallzar el extremo de la funcional
b
J(y(x)=
) (y2+2xyy')dx;
y(a)=A,
y (b)=B.
SOLUCiN.
aA1
Jy =2y,
aN
iJx. =2y
oM _ aN = O
ay
ax - ,
J [U (x) 1 =
(ti, B
(y? dx
+ 2xy dy) = Jr
d (xy2)
= Xy21X~b
= bB2 - aA2
x=-a
(a, Al
para cualquier curva de integracin y (x) que pase por los puntos (a, A)
y (b, B). El problema variacional carece de sentido.
30 F depende slo de y', o sea, F = F (y').
La ecuacin de Euler tiene la forma
Fy,yY =
Q.
donde Cl
y = C.x
C~,
son constantes arbilrarias.
10 Hallar las extremales de la funcional
y e,
EJEMPLO
J Iy (x)} =
J VI +y':l
ds,
y (a) = A, y (b) =8.
a
Esta funcional determina la longitud de la curva que une los plintos
(a, A) y (o, 8). Desde el punto de vista geomtrico. el problema consiste en hallar la curva de longitud mnima que une dos puntos fijos.
SOLUCIN. La ecuacin de Euler tiene la forma y" = O.Su solucin
general es
PROBLEMA
eLEM~NTAL
59
B-A
b
-a
(x-a)+A.
(x. y').
EJEMPLO 11.
Iy (x)l='~ )
y' (1
+ x~y')
dx,
SOLUCl<)N. Puesto
tiene Ia forma
1 +2x2y' =C,.
En t onces, y ,C
=1-1 2x2
l-e
l
2
de
do que
010
. Por consiguiente,
q
Y=T"
'C
2,
donce
d
C1*-
una familia
Cr = -
4 Y
e2. = 7.
La ex trema 1 buscada es y =
=7-~.
5. F no depende explcitamente
de x, o sea, F
En este caso Ia ecuacin de. Euler tiene Ia forma
F (y, y').
60
o sea,
la
siendo
del fluido
x
do gas
Fig.
dF=2pt/}'sen2 e [2ny (1
+ y'2}2
sen O dx,
PROBLEMA
La fuerza resultante
es igual a
ELEMENTAL
61
positiva
del eje Ox
el problema,
que
F= 4n:pU2
y'3y dx.
(15)
.ti (/)
(16)
R,.
:z
.11'3-3
(17)
(.11.11'2)=0.
= q,
de donde resulta
y'
C1
=-r=yy
y=(C.x+C2).
R,3
Ct=-de modo que
Ca=O
62
la extremal
lb' (x)J:.-
1..
de grado
4
de la funcional
b,_
V 1 +y'2.
!I
dx
el
que pasa por dos puntos fijos (o, A) y (b. B) pertenecientes al semiplano
su penar.
SOLUCION. Puesto que la funcin integrando no contiene explcitamente x, la ecuacin de Euler, segn (14), da
ViT?2
11
Despus de simplificar,
encontramos y
= Gr.
el =
+ Ci)t. + !I' =
X'V~
Iy (x)) = S ()(x,
y)
dx,
Xo
PROBLEMA
4.
63
ELEMENTAL
Fig.5
por dos puntos del semplano se puede trazar slo una semicircunferencia con centro en el eje Ox)_ Dos rectas se consideran paralelas si
tienen un punto infinito comn (o sea, si las dos semicircunferencias
y
Fig. 6
son tangen tes en un punlo B perteneciente al eje Ox). En tortees, por
todo punto A que no se halle en la recia q se pueden trazar dos rectas ql
y q2 paralelas a q. Las rectas que pasan por el punto A v que se encuentran en los ngulos vertlcates 1 y IIl, cortan la recta q nientras que las
rectas que se encuentran en los ngulos II y IV no la cortan.
Hemos obtenido el modelo de Poincar de la Geometra plana de
Lobachevski (Iig. 6).
64
DE FUNCIONALES
SI. J[y(x)J=
l2xy+
(x2
+ eV)y'Jdx;
y (a) = A.
y(b)=8.
t
82. J(y(x)1=
y(O)=O,
(eY+xy')dx;
y(l)=~.
83. J [y (x)j
= l'tJ (y'2_
= 1,
(T). ="""2'
112
l(y'2-y2)dx;
1\
84. J[y(xH=
y{n)=-l.
y(O)=l,
O
1
J (x+y'2)dx
(x)J= J (y2+y'2)dx;
y(1)=2.
g(O)=I,
86. J[y
y(O)=O,
g(1)=
1.
O
i
87. J [y (x)l ==
= 1-
O
1
J
(x)] = J
88. J[y(x)]=
y(O)=l,
(2ell-y2)dx;
y(l)=e.
O
b
89. J [y
(xy'
+ y'2) dx,
(t
90. J [y(x)] =
J[y(x)=
J [p{x)y'+q(x)y+r(x)]dx,
el
donde p (x)
E el la.
bl, q (x)
E e [a,
b)
PROBLEMA
ELEMENTAL
65
J [y (x)1 =
J F(x,
Y, y')dx
con las condiciones de frontera y (a) = A e y (b) = B. Demostrar que la ecuacin de Euler subsiste al agregar al integrando
F (x, y, y/) dx la diferencial total de cualquier funcin u =
= u (x, y).
J fy (x)l =
93.
94. J (y(x)}
J (y2_
x) dx;
y'z-8ych
1)
y (O) = 2,
Y ( ~ ) = 2 eh ;.
J (y (x)l = ) xny,Z dx
el
VARIACIONALBS
EN
FORMA
x= <p (1),
(~~)
Consideremos la funcional
Jc=
donde
dx
Je FU,
+ ( ~~) 2 ;f= O.
ti
x, YI;'
y)dt=
~
dy
x =- e y= di'
~-01367
t ~ IJ
to~
Y=\Il (r),
En muchos
emplear la representa-
PARAMETRICA.
F(t,
x, !J, .;,
y)dt,
(19)
bE I1tJNCIONALES
y:
x, y),
k> O.
Je
x dy -!I dx
F(x, Y. ;, y)=xfi-Y~
y es obvio que
F(x, Y. k~.
Si la curva
kit) =kF{x,
y,
X. y).
(Fil=O'}
(20)
FV-(j[(F.) =0.
11
FI (;2+y2)'2
P,.
F ..
F.,
f 4.
PROBLMA
EJEMPLO14. Hallar
LEMENtAL
las extrernales
de la funcional
(Xl. 11'1)
Je =
1/2y'Z ds,
(O, O)
SOLUCIONo Puesto que puede haber extremales que se cortan con las
rectas paralelas al eje Oyen ms de un punto, consideraremos el problema en forma paramtrica.
Poniendo x == % (t) e !I = Y (t), encontramos
que la funcin
ya
. .
homognea
x2
(20) da
_dtd ( l/2-y%)
=0 ,
X2
de donde
yl (
Integrando
:!)
= q.
Ca
de frontera
da Cl
i;"
o sea, en definitiva,
EJEMPl.O 15.
[e=
di.
to
SOLUCIN.
Poniendo
F(x, !J. ;.
y)= Y;D+V2+a'J.(xY-l/;),
respecto a ~ e
y.
68
Weierstrass.
DE PUNCIONALE~
Tenemos
F
%%
F I =---;---= ------,,3l/x
y2
(~Z+g2)2
Por eso. la ecuacin (21) tiene en nuestro caso la forma
1
-=202
r
F
.::0:
-02
yZ_yzx'l.
te. O)
y2_3e1J1Xx2
(XI. 1/1)
96. Je =
(1, 2)
97. J e
dt.
'.
(o. O)
di.
(1. O)
98. J c=
(K
V~2+y2 -~y)
di,
(-1. O)
J [y (x)l=
S F {x,
q
(1)
Yb
GENERALIZ
"ClONES
OEL
PROBLEMA
ELEMENTAl.
69
Las extremales de la funcional (1) con las condiciones (2) son las
curvas integrales de la ecuacin de Euler - Poissaa
d
d2
dn
Fv--; Fv'+ dx2 Fw- +(_I)n dxn F(n)=0.
la extrema! de la funcional
EJEMPLO 1. Hallar
fy (x-
(360x2y-y"Z)
dx;
!I (O)
O.
y' (O)
SOLUCIN. La ecuacin
Y (1)
1,
O,
y' (1)
2,5.
tP
o sea, ;v = 180x2,
y su solucin general es
Ca="2'
La extrernal
C2=--3.
CJ=1
C,.
encontramos
y
C,.--O.
pedida es
l
J (U (x)J
= -}
y''I. dx
(3)
y (b) ,= O.
= o.
(4)
70
Su solucin general
ti
CI
(5)
contiene cuatro constan tes arbitrarias C (i = 1. 2. 3 y 4) Y las condiciones de frontera (4) no bastan para determinarlas. Por eso, como
hemos explicado, calculamos la variacin de la funcional (3). Tenemos
b
6J =
yW{jyW ax.
(6)
Integrando
BJ
= g"
1:- J U"'6U'
dx
~
= y" (x)
(Xli: -
6y'
y" (x) By
(7)
!I'" (x}
6y
(X)ll:
que 6y (a) =
y" (b)
= O.
(8)
F (x,
y"
JI'/-, , !I'th
El.
y;, ....
U~)
IJk (xt) =
vi
(k = 1, 2! ... , m)
ax
s.
GENERALIZACIONES
71
las extremales se determinan del siguiente sistema de ecuaciones diferenciales de segundo orden
F
l/k
d
dx
- -F
,=0
Vil
1.91
J[y(x),
j (y'2.+Z2+Z'2)dx
z(x)=
t
con las condiciones de frontera
y (1) = 1, y (2) = 2,
(1)
= O,
z (2) = 1.
y'=O, }
z-z"=O.
Resolviendo
este sistema.
encontramos
y = Clx
C2
y
Z = Cse"
C~e-:c.
En virtud de las condiciones de frontera. tenemos
1
e2.
Ct=l,
C2,=O, e3=e2=I
y
e"=-e2=I
de modo que la extrema) pedida
y=x,
}
sh (x-I)
z=
sh 1
1
n
fy (x), z (x)J =
(2yz - 2y2
+ y'2 _Z'2)
dx
si
1,
z (O) = O
y
z (n) = -1.
de ecuaciones (9) tiene la Iorrna
y' +2y-z=O,
}
z'+g=O,
.
de donde, eliminando la funcin z, obtenemos
ylV
2y
y = O.
La solucin general de esta ecuacin tiene la forma
fI = el tOS1:
el sen x
X (Ca tOS"
C" sen z},
y (O)
O,
!I (n)
SOLUC10N. El sistema
u.
CAP.
72
1, tenemos
1t
La funcin
1t
La familia
de extremales
y = C2sen
es
x- _x_cos x,
+
11:
Z = C2 sen x+
(2 sen x-x cos x),
donde Cz es una constante arbitrarla.
SO. Funcionales que dependen de funciones de varias
independientes. Consideremos la funcional
J [z(x, 1/))=
j ~F (X
1/,
2, :~,
~~)
dxay,
variables
(10)
donde F es una funcin dierenciable tres veces respecto a sus argumentos, y supongamos que se pide hallar Ia funcin z = 2 (x, 1/) que sea
continua conjuntamente
con sus derivadas hasta de segundo orden
inclusive en el recinto D, que tome valores fijos en la frontera r del
recinto D y que realice el extremo de la Iuncicnal (10).
Si el extremo de la funcional (10) se alcanza en la superficie
z = z (x, y), la funcin z = z (x, y) satisface la ecuacin de Euler Oslrogradski
o
iJ
F:z.~ aX. {Fp}ay {Fq} =0,
(11)
fj
donde OX {Fp}
ay {Fq}
son
las derivadas
parciales
respecto a x e y, respectivamente:
a
-ax{Fp}
()
ag-{Fq}
az
= Fpx+ FpzTx
=
Fqy+Fq'Z.
OZ
ay
+ Fpp
op
oq
ax +Fpq OX '
op
+Fqp Ty+Fqq
az
Pi" =p
iJz
aq
ay ~
aV =q,.
completas
GENE~ALIZACIONES
DEL
P~OBLEMA
73
ELEMENTAL
la Iunconal
11%(x, y)] =
J J [( ~: )2_( ~~)2]dXdY.
D
tramos -
a (2p)- oya
ax
Para la funcional
J[2'(X.,
02z
fJ2z
OX2 -
iJy?
JI J
= O.
F(Xh
Xa
, "'n.
Z,
Pi,
donde
iJz
Pk=;---
VXIl
iJ~t {Fpi}=O,
Fz- ~
...
1
0,
en forma desarrollada,
n
FT.- ~
iJ
10
(FXPi+F:ZPiPt
+~
1....
1
,... 1
FpPj
a:: )
=0.
(12)
=)j
...J
~ ( ::, )
i=1
dxn
en la Irontera
74
DE FUNCIONALES
n
::i.)
o sea, F no depende
2,
{...j
explcltamente de
, Xn
Xt. X2.
z. Por lo tanto,
Fz=Fr-Pi =FxiP=O,
F ..
={
2 si 1 =
O si i =1=
Ptp)
1,
,... a2z
.4J ox! =0
;=-1
!.1z=O
(ecuacin n-dimensional
de Laplace),
OBSERVACION. Si bajo el signo de la integral figuran las derivadas
de la funcin z (x, y) hasta de orden n, la ecuacin de Euler - Ostrogradski tiene la forma
a
a
)'l..
a'J.
Fz- ox {Fzx}- iJy {FzlI}+ ax'J. {Fz:lCx}+2 oxoy {Fr-XII}+
0
+ ay2
2
{FZIIII}-'"
--
an
+(-1)1'\
(13)
EJEMPLO7. Escribir
funcional
J [z (x, y)] =
la ecuacin de Euler -
Ostrogradski
para la
J ) [( g;~) + ( :~ r+
2
+2 (
SOLUCIN.
F=
Tenemos
iJ2z ) 2 + ((j2Z)
( oxll
ay2
02z
ox ay
((jZZ)
Jx ay
+2
)2 -
2zf (x, y)
] dx dy.
-2t (x,
y)
a2
+ ox2
a2z) + ay2
iJz
2 ox2
i)2Z)
2 ay2
+
02
+2 ox oy
1)
sea,
( 2 oxfJ2Z)ay
=0,
p.
GENERALIZACIONES
La ltima
15
as:
99. J [U (x})
U (O) = 0,
!I (1) =
o,
y' (O) = 1
e y' (1) = - sh 1.
J (240Y-UI'I2)dx;
100. J[y(x)l=
-1
y(-l)= 1,
y(O}=O,
y(O)=O,
y"(-1)=16,
b
10t. J [U (x)] - } (U
u' (-
1) = - 4,5,
y" (O) = O.
+y") dx;
Y (a) = v:
y' (b)=y;.
102. J [U (x)} =
J (y2 +
Uy") dx;
cJ
U(a) =A,.
y(b)
= B..
103. J {g (x)) =
o
g(O)=O, U(l)=shl,
y'(O)=l,
104. Hallar la extrernal de la fundonal
y'(l)=chl.
J (U (x)} = -} } y"2 dx
o
con las condiciones
y (O) = O,
y' (O) = O.
y' (1) = 1.
'11/"
105. J[y(x),
z(x)) =
J (2z-4y2+y'2_Z'2)dx;
o
V (O)= O,
!I ( ~ )
= 1~ z (O)= 0, z ( ~ ) = l.
76
CAP
11. EXTREMO
DE FUNCIONALES
106. J[y{x),
z(x)]=
Z;3 )
(2XY_Y'Z+
dx;
-1
y(I)=O,
107. J[y(x),
y(-I)=2,
z(I)=I,
z(X)J=
z(-I)=
-1.
2(y'2+Z'2_2yz)dx;
y (O) = 0,
= 1, z (O) = 0,
9( ~)
z ( ; ) = 1.
t08. J[y(x),
J (y'2+Z'2+2y)dx
z(x)]=
o
g(O)=l,
y(I)=2'
z(I)=1.
2(0)=0,
J[y(x),
z(x)] =
y)] =
para las
J ~ [( ~:)4-1-
r+
S J ( ~:~ + ~:~r
D
+( ~;
It 1. J [t (x, g)] =
12zf(x,
y)JdxdY,
dx d!J.
=)J
.-C(X"
X2 ...
xn)J =
n
". J r~
D
aJ
j....
1
xn)z2+2zf(XI'
(X"
XZ
, Xn)
:;J V-
.. dxn
ti.
ce
NVARiNCA
LA
ECUACION
DE
11
EULER
J [z (x, y)] =
Io 1o
etll
sen 211 dx dy
2
(X, 1) = 1.
de la ecuacin de Euler
Si la funcional
b
J [y (x)1
F (x, y, g') as
se transforma
Entonces
Xu
Xl)
l/u
Yo
=F
o.
!lu+Yllv~
+x"vu'
Xu
X (xu +XDt1~) du =
(JI
(u,
(J,
v~) du
d
>1)-<Il ,=0.
du
11
EJEMPLO 1.
[r(<p)]=
"'o
y,2.+r'2d<p.
18
La sustitucin
o.
y,2+r'Z
V,2+r'2 -~
es
de variables x=rcosep
y lleva a la funcional
b
fJl (x)]
J -v +
1
11'2 dx
+ Cs
11 = C1x
Por consiguiente,
por la ecuacin
las extremales
r sen
<p
de la funcional
CI,'cos
c:P
+ C.,
J [y (x)} =
Jo
(e-~1I'2-e"yZ) dx,
la forma
yW _ y'
Realicemos
la sustitucin
de variables
inicial se transforma
2
J do (u)J=
tiene
+ et'XlI = O.
x= lnu,
!I =o.
La funcional
la funcional considerada
}
entonces en
2
(v'2_ v2)du
+ ti = O se ntegra fcilmente:
= el cos u + C, sen u.
Y su ecuacin de Euler v
ti
JC
e 11. obtenemos
+ e~sen eX.
la ecuacin
s,
NViANCIA
DE
DE. eUtER
LA ECUACIN
J r sen
J (r(<p)) =
qi
Vr2+r,2,d<p.
11'0
116. Probar
J [r (q1
J Vx2+y2Vl+y':ldx.
J(y(x)l=
Igual que en el caso de una variable, la ecuacin de Euler Ostrogradski es invariante respecto a las transformaciones de coordenadas.
EJBMPLO 3. Escribir la ecuacin de Laplace
iJ2z
02Z .
. ox:&
ay2, =0
(1)
en coordenadas
SOLUCIONo
polares.
Consideremos
la funcional
y)]
D(z(x,
1~
(z~+z~)dxdy.
La ecuacin de Euler - Ostrogradski para esta funcional es precisamente la ecuacin (1). Pasemos en la funcional de las coordenadas
cartesianas (x, y) a las coordenadas polares (p, Ip): .t = P cos Ip, !I =
p sen IJ). Tenemos
op
op
alp
sen Ip
o<p cos IJ)
ax=COSCJI.
Olj=senlp,
Tx=--p-'
ay=-p-
Y. por eso,
D (z (p, CJI)}=
J J [(
zp :~
+ zq
~~
+(zp ~~ +zcp
::
)2]PdPd<P=J
J (pz~++Z~)dPd<p.
G
p. +
CAP, n. ~XTREM
DE I'IvNClNALRS
Fig.
7J
p (x, y)
= Ce= = y.
7.
CAMPO DB EXTREMALES
81
Fig. 8
forman campo (propio o central) en los recintos indicados las siguientes familias de curvas?
t18. y=Ctgx;
119. y=C
cos x:
a) Ixl<~;
b)
Ji
2<x~n;
x2
e)
y2
--+9::;;;;1.
120. y=(X-C)3j
121. y=C(x2-2x);
a) O::;;;;x<lj
122. Y =
a)
7t
b) -1::;;;;x~3;
e sen (x - : ) ;
4~x~2;
1t
123. Y = ex+c;
b)
X2
3~x~n;
+ y2~
e)
8~x~
1t.
1.
extrema les.
6-01387
82
Consideremos
DE FUNCIONALES
la funcional
i
fu (x)) =
J
o
11'2 dx,
J [y (x) 1 =
Jo
(y'2
+ ya) dx
J Jy(x)J =
dx.
(y'2-y2+x2+4)
=y
(x) es la extremal
de la funcional
XI
J fy (x)
J (y (x)]
F (x, y. y') ox
xo
que pasa por los puntos A (xo. Yo) Y 8 (x~, !ll)'
Se dice que la extrernal y = y (x) est incluida en un campo propio
( extrema/es si existe una familia de extremales y = y (x. C) que forma
un campo y que comprende la extremal !I = y (x) para cierto valor
C = Ca Ysi, adems, esta extremal y = IJ (x) no pertenece a la frontera
del recinto D en el que la familia y = y (x, C) forma campo.
Si existe un haz de extremales, con centro en el punto (xo. Yo),
que forma un campo en una vecindad de la extremal y = y (x) que
pasa por dicho punto. se dice que se ha encontrado un campo central
que incluye la extremal considerada y = y (x), Como parmetro de la
familia y = y (x, C) se toma el coeficiente angular de la tangente a
las curvas del haz en el punto (xo. Yo).
EJEMPLO 5. Consideremos el problema variacional elemental para
la funcional
2
(y'3+sen2 x) dx.
i.
tAMPO bE EXTREMALES
J(
Fig,9
EJEMPLO 6. Consideremos
el problema variacional
elemental
J (1/ (x))
!J'
(2X- -}
!J' ) dx;
-1
y(-l)=O,
I
Y (1)="2'
+ ~-! se puede
U=x2+ ~+Cz (rig. 9).
y=x2
incluir
84
DE FUNCINALES
J (y'2-2xy)dx
126. J(y(x)]=
y(O)=y(l)=O.
o
1
127. J[y{x)l=
1o
J
y(O)=l,
(2eXy+y'2)dXj
y(l)=e.
128. J[y(x)]
(y2-y'2)dx
(a:;z!:kn);
y(O)=O,
y(a)=O
2.
129. JIy(x)]=
J (y'2+x2)dx
y (O) = 1,
y(2)=3.
O
DEFINICI()N. Sea I> (x, 11, C)=0 una familia de curvas planas. Se
llama Cvdtscrtmtnante de esta familia el lugar geomtrico de Jos puntos
determinado por el sistema de ecuaciones
ac
-.
}
(1)
p.
CAMPO DE EXTREMALES
85
x=O,
2Jr
rlg.
J(
10
<x <
86
n,
CAP.
EXTREMO
DE FUNCIONALES
J (g (x))
=)
(g'2_9y2+eXl_l)
dx;
ti (O) = 0,
ti (a) = O.
Analizar la posibilidad de incluir la extremal y = O en un campo
central de extremales con centro en el punto O (0, O).
SOLUCiN. La ecuacin de Euler para la funcional considerada tiene
la forma y. + 9y = O y su solucin general esg = Cl sen 3x
Ca cos 3x.
Si a =1=
k; , donde k es un nmero
entero, la extremal
que satis-
(k; O),
< i-,
en la extremal !I = O no
habr punto conjugado del punto O (O, O) y entonces esta extremal se
es un nmero entero; por eso, si a
podr, obviamente.
centro en
de extremales
con
.n;
11 ~
'3' en la extremal
variaclonal
elemental
:le I
J(y(x)]=
F(x, y, y')dx;
y (xo)=Vo,
Y (X)=-=Yt-
:ce
(FIIII-*
u- :x
FIITI')
'II'u/)=O
(FJI
(2)
7.
CAMPO DE EXTREMALBS
87
r
a
J (y (x)]
(y'2+xZ)
dx
en
de extremales y = e,x.
EJEMPLO J1. Se cumple la condicin de Jacobl para la extrema]
de la funcional
el campo central
J[y(x)]=
(a-4= (n+})
(y'2_4y2+e-:x )dx
n)
u (O)
O encontramos
Ca = O de modo que u
>~
<
Cl sen 2-". Si a
<~
la solucin u
la extremal
dada.
88
CAP.
IJ.
DE FUNCIONALES
EXTREMO
1
J (12xy+y'2+x )dx;
135. J Iy(x)]=
-1
y(-l)=
-2,
y(I)=O.
J (y'2+9y2-3x)dx;
136. J[y{x)=
y(O)=O,
y(a)=O.
J (1 +y(2)dx;
137. J ly(x)] =
y(O)=y(l)=O.
O
n
=)
ly (x)]
J38. J
y (O) = 1,
y (a) = b.
o
2n
J 39.
Iy (x)]
140. Demostrar
cional
Io
y (2n) = 1.
y (O) = O,
de la fun-
Jfy(x}J=
J F(x,
y')dx
Ir
J[y(x)J=.\
(y'4+I)dx;
y(O)=g(a)=O;
T1t
Jlv(x)l=
<V2-V'Z)dxi
'1(0)=0,
!I(:
n)-o;
7.
CAMPO
no alcanza
!Jt)
(O,
DE
en la ex trernal y
extremo
89
EXTREMALES
==
O porque
en el intervalo
que se anula en x = O es u =
sen x y u se anula tambin en el punto x = tt E (O,
n) ) .
J= J
1. lt
4
sen
J[
5TlX
n2.
O e
y~ (x) = 5~ cos n ~ x,
Entonces
= O y
J [O)
tenemos
sen2
i;-x)
dx-
n4
T"
_ Jr (_4_)2
cos2 (~x)
tlx= 8n2
5n (_l__ ~)
<O
5/t
5
25
112
== O en el
sentido de proximidad
T7t
IUn
(x)]
= J
de orden cualquiera.
5
J
~
sen2~.I:
5
.n2.
T.!t
16
2.
J 252C'OS"5
dx -
xdx=
9tt
40n2
> O.
141. Supongamos
!::!!I
que en la funcional
b
J fy(x)] =
J F (x, y, y') dx
a
90
CAP.
11. EXTREMO
DE FUNCIONALBS
:x (FlIlI'T]+FII'v'T]')=O
FIIII'YI+FIIII,T]'-
salvo una infinitsima de orden superior respecto a la distancia de primer orden entre estas extremales.
2. Condiciones suficientes de l.egendre. Condicin sucente para
que la extrema} de la funcional
XI
J [y (x)l ~
y (xQ) = Yo,
xo
se pueda incluir en un campo de extremales es que se cumpla la condicin reforzada de Legendre, Esta consiste en que la desigualdad
FII,y'
>O
se
(o
sea, para
J(y(x)]=
y(O)=I, y(2)=5.
(y"+y'2)dx;
Sus extremales son las rectas y = C1x Ca. La extremal buscada que
satisface las condiciones de frontera es la recta y = 2x
1.
En este caso F 11'11' = 12y'i
2 Y en todos los puntos de la extremal y = 2x
1 tenemos F IJ'IJ' = 50 > O. Se cumple la condicin
reforzada de Legendre y, por consgulente, la extremal 11 = 2x
I
se puede incluir en un campo de extremales.
Esto se ve tambin directamente. La extremal 11 = 2x
1 queda
comprendida en la Iarnllia monoparamtrica de extremales 11 =o:
;:: 2x
a. (o: es el parmetro) que lorma un campo propio.
EJEMPl.OH. Consideremos la funcional
J (y (x)] =
(xlly'lI
-1
y(-I)=-I,
+ 12y2)
dx;
y(l)=I.
+ 2:ty'
Y su solucin general es
11= C1x:'
12y = O
+ Cax ....
58.
CONDICIONES
SUFICrENTES
DE EXTREMO
91
= :x8.
142. J (y(x)l=
y(O)=O,
~ (y'Z_yy'3)dx;
o
y(l)=O.
143. J[y(x)J=
J y'3dx;
y(O)=O,
y(a)=b>O.
XI
144. J[y(x)1=)
n(y)Vl+y'Zdx;
y (xo) = Yo,
y (Xi) = Yt,
n (y)
> O.
145.
y (a) =b,
b>O.
:1:,
J [y (x))
F (x, 'l.
!I'l dx
(1)
(2)
IJ (Xl) = 111'
l0. Condiciones suficientes de Welerstrass. Se denomina funcin
de Weierstrass E (x, y, p, y') la funcin definida mediante la igualdad
E (x, y, p, y') = F (x, y, y') - F (x, y, p) - (!I' - p) Fp (x, y. p)
variaclonal
(1) y (2).
CAP.
92
[1.
EXTREMO DE FUNCIONALES
Jlu{x)j=
{y'3+U')dx;
U(I)=2.
y (O)=0,
O
SOLUCIN.
::::::~G.l~+ C,.
con dlcin de Jacobi. La ecuacin de J acobi es en este caso - :,. (6y' u')=
= O, donde,
~ (XI y, p, {)
= y'3
e~
+ y'
_ p3 _ P _ (!J' _
+ 1) =
= (t - p}3 (V' + 2p).
p) (3p2
p.
CONDlIONE.S
SUFICIENTES
93
DE EXTREMO
mo de la funcional
1
Jlg (x)] =
Jo (X+2Y+!
y(O)=O,
2) dx;
y(I)=O.
SOLUCIN.
La ecuacin de
Euler para esta funcional tiene la ---'o*--"""'7'--_''--~>-:--~'''/(
forma y~ = 2. Las extrernales son
las parbolas y = X2
elx e2
La extrernal
que satisface
las
condiciones de frontera es y =
= X2 -)C. Formamos la ecuacin
de J acob -
:x u'
=- O.
u' = O. Su solucin
sea,
general
es
u = ex + e2
La condicin
u (O) = O da e2 = O Y la con dicln J acobi se cumple ya que
u
= e1x
con
el '=1= o
no se anula
Fig.. 11
= ~ (y'
- p)2
la funcional
> O para
considerada
p)2.
Se puede
cualesquiera
ver
de aqu
alcanza en la ex trernal y x] ~
~ .
que E =
X2 -
x mnimo
DE FUNCloNLt:S
5 ~(y2+
146. J[y(x)l=
; y'2)dx;
u(l)=e.
y(O)=l,
147. J IY(x)] =
Ja
e'IIU'2dx; g(O)
=0, u(I)=ln4.
x3
148. J[y\x) = Jr y'Z
dx; g(I)= 1, g(2)=4.
i
el
149. J[U(x)=
Jo :~ ;
150. J(U(x)=
J (1+x)y'2dx;
U(O)=O,
g(a)=b,
b>O.
y(O)=O,
y(I)=1.
y(O)=I,
o
n/2
151. J[y(x)l=
J (lI'-!j2)dx;
(~)=1.
152. Jly(x)1=
y(2)=4.
-1
t
153. J fu (x)) =
J (y'3+
y(l) = 3.
-1
2. Condldones
suficientes
de legendre.
Supongamos
que la
8,
el extremo
9$
de la funcional
J(Y(X}l=
~ (y'3-o.y')dx;
y (0)=0, y(I)=-2
o
(a. es un nmero real cualquiera).
SOLUCIONo Puesto que la [uncin integrando depende
las extrernales son las rectas y
CIl:
Cs. La extrernal
slo de !J',
que satis-
(J/ -
p)2. (JI'
+ 2p)
J Iv
(x)] =
y (O)=0,
(eY' +3) dx
V (2)
= I.
o
SOLUCIONo Las exlremales
La extre-
Vr
EJEMPLO 5. Analizar
J(y(x)}=
Jo
SOLUCION. La funcin
el extremo de la funcional
dx
y (0)=0,
y (a)=Yi'
integrando
no depende explcitamente
caso,
el o, en nuestro
de
DE FUNCIONALES
de donde
J
~-=-~==-=CI
VyYl+y'2
donde CI = (~I )2 . Pongamos
= ~1 (I-cos/),
t
clg"2
y'
= ctg
y {lry'2)....eh
2t . Tendremos
I
y = ej sen'2.2" =
= el sen t dt el sen2..!.. dt
t
2ctg"2
encontramos
_e r
x- I J
Tenemos pues
Adems.
dx =.......!!.J!_
e, integrando,
(1 - cos t) dt
2
(c = ~
el
=T(t+se.nt)
+ C2
)
x =C (t - sen t) + C2,
y= e (l-cos t),
de una lamilia
de cicloides.
De la
J(
Fig.
condicin
12
C2 = O. El haz de icJoides
x= C (t -sen r), }
(O) = O encontramos
g=C (l-cos
forma un campo central con centro en
la extremal
x=R (t -sen
y ~.R (1 -cos
1)
el punto
t), }
t),
S.
CONDICIONES
Empleamos
SUFICIENTES
la condicin
DE EXTREMO
de Legendre.
FU'lI'=
97
Tenemos
>0
Yv (1 +y'2)2
para cualesquiera valores de y'. Es decir, para a
considerada tiene mnimo fuerte en la cicloide
< 2nR
la funcional
x=R(t-sent),
}
g=R (l-cos t).
Empleando la condicin de Legendre, analizar el extremo
J54. J[y(x)]=
S (y'2+x2)dx;
y(I)=l.
y(O}=-I,
o
3
155. J (y (x)] =
x~s dx;
y (2) = 4,
y (3) = 9.
2 Y
2
156. J{y(x))=
5 (xy''''-2yy'8)dx;
y(I)=O,
y(2)=
1.
1
a
157. JIY(x))=
5
J yy'
(l-e-II'S)dx;
y(O)=o,
y(a)=b.
158. J(y(x)]=
2dx;
y(O)=p>O,
y(l)=q>O.
J lY(x)} = ) (ey,z+y2+x2)dx;
y(O)=O,
o
para distintos valores del parmetro ~"
y(t)=];
CAP. Il.
9B
La energa
frmula
EXT~EMO
potencial
DE FUNCIONALES
de la flexin
se determina
mediante
la
Ut="2 El
f dS
J V'
o
O" =
cp) as,
(I-cos
en
Uz= Pa=Pl-P
~ coscpdS.
O
Si antes de la deformacin
U=U,-U:l=
J (~
El p~ +P~oscp)dS-Pl.
dS
Puesto que p = dcp Y (para pequeos valores
de q
cos q>:=:::: 1-
cpu
T'
se tiene
I
fI
j [E
f ( ~~ ) 2_ P!p2] d,
O
En el caso de equilibrio, la energa. potencial toma su valor mini
mo. Por eso. el problema se reduce a la determinacin del mnimo de
la integral
U=
[El
( ~; ) 2- P<pll] dS:=::::~
En este caso
F=EI
Y la ecuacin
(!~) _Pcp~
2
+a.'aq>=O,
donde
a.2 =
:1 .
a.x.
58.
99
ex
(JzF
= 2EI > O.
oq>'1!
La ecuacin de J acob
tiene la forma
E l z" + Pz = O z" + a.'z = O
con la particularidad
de que z (O) = O. Por eso, la solucin
ecuacin de J acob i ser
z = A sen ax.
Xli
=.!!!:..
(k =
a
de J acobi se cumplir
si
de la
l,;;:a.!!...
a.
De aqu
n3
P>--El.
El valor mntrno de la fuerza critica de Euler ser
ni
Prnfn=--EI
y la ecuacin
3. Figuratrl2.
= F (x,
100
CAP.
Jly(x)=
~ y''Iodx.;
y (0)=0,
y(a)=b,
b>O.
Fig. 13
en un campo central de extremales, La figuratriz es la parbola
y = y'~ (f1g. 13). Es fcil ver que toda 1a figura triz est por encl ma
CONDICIONES SUFICIENTES
8.
de la tangente
101
DE EXTREMO
s: cualesquiera
a
= ~ x_
el extremo de la funcional
Jlu(x)l=
g'Sdx;
y(O)=O,
y(a}=b,
b>O.
O
b
Fig. 14
punto O (0, O). La fuguratriz.
prximos al valor p =
!!..
la
a
rigu-
= !...
a
=-
102
(.AP.
de la tangente.
b
=-x.
a
JI. ~XTRf.MO
Por' lo tanto.
DE PUNCIONALl,S
hay
mnimo
dbil
en la extremal
=)
JIY(Xil
(y't-yy'3)dx;
y(O)=y(I)=O;
1/1'-"'0
-.: 2 > O.
y'
Fig. 15
>
en el punto y' =
> O. prximos
_!_.
Es decir, para los puntos (x, y),
y
O. la funcin de
8.
CONDICIONES
!'UP(CJENT~S
103
DE FXTl~F.MO
2...
160. J [y (x)] =
Jo
161. Jly(x)l=
J y (l+x y')dx;
(1+x)y'Zdx;
y(O)=O,
y(l)=-2.
y(-1)=y(2)=1.
-1
162. J[y(x))=
J (1-e-II'4)dx
O
y(0)=0,
y(a)=b,
(b>O).
y(a)=b
(10).
163. J(y(x)J=
J (6y'2_y'''+yy')dx;
O
y(O)=o,
OBSERVACIN. La 110 negatividad
dicin necesaria, pero no suficiente,
de la segunda variacin
para que la funcional
es con[y (x)
1[y (x)1=
J y' (x-y)
dx
o
en el espacio e [0, l], La ecuacin de Euler tiene la forma FII = O
y = O. Para O ~ x ~ 1 la segunda variacin de la funcional en la
extremal y = O
1
{Ji! (O,
6Y1 =
X (<'Iy)3 dx
o
es positiva para todo ay ::6 O. SIn embargo, en cual quier vecindad del
cero la funcional J [9 (x)l toma tambin valores negativos; basta fijar
lO4
8
>- O Y considerar
la funcin
!J~ (x) = {
-x+s,
O,
8'
x:;;;"e.
< O para
cualquier e> O.
= consto k
4, Supongamos
donde k
> O.
%1
J [lIit
j F (x.
{In.
!ll,
(3)
:1:0
= YkG.
(k
1, 2 .
o. n).
F~.",
1 n
FI/'II'
In
FII''''
.
n1 F~.",
ni
o o
>0
(4)
F",,,,
nn
CONDICIONES
f 8.
SUFICIENTES
105
DE EXTREMO
J fu (x), z (x)]
y (O) = 0,
y(l)=t,
z(I)=2.
(5)
(y'B+2'2) dx;
o
z (O) = o,
(6)
y- = o,
(5) son
z = O.
de modo que
y=Cj +C2x, }
z=Cd C/ox,
Empleando
las condiciones
CI
La ex tremal
= O.
(7)
(6), obtenemos
C. = l.
Cs
=O
C, = 2.
buscada
y=x, }
z=2x
(8)
La condicin
Fy'z'
reforzada
FY'y,=2>0.
= 0,
FZ'II' =
y
de Legendre se cumple:
IFr.'Y' FY'~'1=12
FY'I/'
Fz'z'
FZ'%'
2.
1=4>0.
10 2
106
164. J[y(x).
z(x)=
J 'Vl+y'2+z'2dx;
o
z(O)=O,
z(1)=4.
+ 4z) dx;
o
y(O)=O,
y(I)= 1, z(O)=O,
z(I}=O.
9. Extremo condicionado
Sean F (x, Y. [1') y G (x, y, y') dos
[y (x)]
JG
(x, y, !J') dx
xo
t iene
un valor fijo!
J [y (xli
=)
F (x., y, y'l dx
xo
J !y (x)l-=
Xo
F (X, y, y') dx
p.
EXTREMO CONDICIONADO
107
G(x, y, y')dx=l,
K[y(x)l=)
Y (Xo) =Yo.
Y (Xt}=Yt.
xo
y si U = Y (x) no es extremal de ta funcional K existe una constante A
tal que la curva y
L (11 (x)) =
Fig. 16
(Iig. 16) tal que, al reflejar en elJa la parte BCD de la lrontera, obtendramos un recinto de rea mayor que el inicial siendo la longitud
de la frontera la misma que antes.
Observemos tambin que toda recta que div ide por la mitad la
cerrada que comprende el rea mxima ha de dividir por la mitad la
propia rea. Efectivamente, supongamos lo contrario y sea L1 una recta
que no cumple esta propiedad. ReUejando en L1 la parte de la figura
de rea mayor, obtendremos una curva de idntica longitud pero que
comprende un rea mayor.
Tomemos como eje Ox cualquiera de las rectas que dividen por
la mitad la curva; llegamos entonces al problema siguiente.
Hallar la lnea y = y (x), Ij (-a) = y (a) = 0, de longitud fija
1 > 2a que conjuntamente con el segmento -a ~ x ~ a del eje Ox
encierre el rea mxima. Por lo tanto. el problema se reduce a hallar
el extremo de la funcional
el
J[y(x))=
-a
ydx;
y(-a)=y(a)=O;
108
DE Pl:1NCIONALES
de que
K(y(x))=
VI+y'3dX=1
(/>2a).
(1)
-4
H=F+AG=y
y consideremos
la Iuncicnal
(X)+A 'Vl+y'2
(x)
auxlllar
a
L ty (x)) =
JH
(x, y, y')
dx,
(2)
-a
dx
AY'
VI +y'a
) -1
de donde
Ay'
VI +y'"
Resolvrendo la ltima ecuacin respecto a y', encontramos
dy
x+e
-= 'V),II_(x+e)i
(3)
Y=V~-V~
~xt~eM
109
CNDICINAD
1 ')..
_dx
l=
=~arcsenT
V),2.-XZ
!x-a
x--01
=2J..arcsenT
el
-a
o sea,
--=sen
2~ .
Efectivamente,
reducida a sen t
tomando
La ncllnacln
es :
de que la ecuacin ~
t en el punto t
=O
consgulente, los grficos de estas funciones tienen un punto de nterseccin como minimo, a parte del punto O (O, O).
PRiNCIPIO DE RECIPROCIDAD EN EL PROBLEMA ISOPERIMETRICO.
de la funcional
%1
J
Con la condicin
19 (x)I=
F (x, y, y') dx
complementaria
%t
to~
si se recurre
t '"
tit
8,
la
110
f (~2+y2/
con la condicin
dt
J (xy-yx)dx=C.
Introduciendo la funcin
1
F={X2+y2)2+
~(x'-y~),
de la curva que
.!.=A.
r
Por consiguiente, la extremal buscada es una circunferencia.
Utilizando el principio de reciprocidad. se pueden resol ver, sin
realizar clculos, algunos problemas cvarlacionales de la Geometra
elemental.
EJEMPLO 2. Demostrar que: 1) entre todos los tringulos de base
y permetro fijos. el de rea mxima es el tringulo issceles; 2) siendo
fijas el rea y la base, el tringulo issceles es el 'tringulo de permetro mlnimo.
SOLUCION. 1) Tomemos una elipse cuyos focos son los extremos
de la base de los tringulos considerados (fig. 17). De la propiedad
y
CO(o,b)
Fig. 17
de 1a elipse deducimos que todos los tringulos A CB tienen el mismo
permetro. Es evidente que el rea mxima corresponder al tringulo
n.
EXTREMO
CONDrcrON\DO
111
de altura maxirna lo que signHica que el ver tice del tringulo debe
coincidir con el vrtice
o de la elipse. El tringulo ACoB es Issceles.
2) Segn el pr incip io de reciprocidad, siendo fijas el rea y la
base. el permetro mnimo corresponde al tringulo issceles.
EJEMPLO 3. Hallar el mnimo de la integral
J [y (x))
"
y'2dx
l)
It
y2dx= 1, y(O)=y
ln),=O.
SOLUCiN.
L [y (x)
(y'2+Ay2) dx
f consideremos
su ecuacin
2A.y-
:x
de EuJer
o sea. y"-ly=O.
(2y'}=O.
(4)
Vl.
Su ecuacin caracterstica
es ,2 - 1.. := O, de donde '1,2 =
Est claro que A debe ser menor que cero: si aceptamos que A > O,
la solucin general de la ecuacin (4) tendr la forma y = ele V~x +
Cae- V;:x, las condiciones de frontera y (O) = y (n) = O se cumplirn slo para Cl = 0, C2 = O, o sea, resultar y == O Y no se cumplir
J" f
dx
1f
nado
an. Utilizando
la condicin
y2 dx
O
1'1
J Qscn kxdx=
2
1,
1, obtenemos
11.2
de donde
el =
males y =
V !.o
V!
sea, IJ ==
sen kx pasan
y=
=J
Ji !
sen x, se cumple
V!
la condicin
se tiene
y'2 dx =
2 cos2
J -;t
X dx= J.
la Irrnul a de Green,
J J l.ttx,
tenernos
j J ~~ dXdy=fVdYt
y)dxdy=
x=x (/), }
11= Y (t),
tendremos
lo ~ I ~ th
entonces
J J !1(x,
tI
y)dxdy=
V (x, y)Ydi+K.
t~
Ir,=
JV
t2
(x, 1/)
y dt
reducido a la determi-
EXTREMO CONDICIONADO
9.
con la condicin
113
de que
tl
~ Y;Z+y2dt=1.
av
F = iJx'
F.
xv
yx
F, =
= O.
-==- = --__" 2
A
yZ
(x2+y2)
(:l>
av
7='1'
iJx
7=
~t (x, y)
A.
" Un,
(5)
:reo
..~ G (x,
Ul' !lz....
Yn.
y~)dx=ll
l6)
:>:0
(i=I.2,
... , m),
114
IY,
Y2, ... ,
Unl
J (F + ,
,G ) dx ,
.=1
xo
!JII (.to)
!111o.
YII (Xl)
= YII1
= 1, 2, ... ,
(k
n)
y de las condiciones
XI
IOidx='t
... , m).
(1=1,2,
X(I
EJEMPLO 5. H aliar
sobre el extremo
la ex tremal
de la lunctonal
en el problema
isoper imtrico
IY (x). z (X)
(y'2
+ Z'2_
II
y(O)=O,
z(O)=O.
y(I)=I,
2(1)=1;
con la condicin
1
SOLUCION. Formamos
1
a>IY(x),
z(x)j=
J [y'2+Z'Z-4xz'-42+)"
(y'2-xy'_z'2)
(1
y escribimos
d~ (2y'
+ 2)..y' -
).x)
.esolviendolo,
encontrarnos
= O.
=0'
'
dx
S 9.
EXTREMO
115
CONDICIONADO
Ct
_ 3J..+4.
2
C3=2 {J -A}
C2=O,
de modo que
y=
J..x2+(31..+4) x }
4 (1 +J..)
,
z=x.
Para determinar 1.. recurrimos a la condicin Isopertmtrica (7). Puesto
2)..x+3A+4
que y = 4 (1 +i..)
y l = 1, obtenemos
I
r [(2).X.+3A+4)2
,] dx=2.
(2A.x+3A.+4)x
4(1+/..)
16(1+).)2
(23).2 +46"-+24)
- :~ y
obte-
1..2 = -
!~.
"2= - ~~ no satisface
y= 7X-;_5X2
la condicin
;so-
z=x.
Hallar las extrernales en los siguientes problemas isoperirntr icos.
166. Entre todas las curvas planas de longitud 1 con
extremos en los puntos fijos Mo (xo Yo) y MI (xh Yl) hallar
la curva con ordenada mnima del centro de gravedad (problema sobre fa forma de equilibrio que toma un cable pesado
homogneo por accin de la gravedad).
J67. J{Y(X)l=.l
y'2dx;
o
1
condicin
J' y dx = 3.
o
y(O)= 1,
y(I)=6;
con
la
rt.
CAP.
116
EXTREMO
DE FUNCIONALES
168.
J [y (X) I=
J (X2+y'2)dx;
y(O)=O,
con
y(l)=Oj
o
1
la condicin
io
y2 dx = 2_
I
169. J [y (x)) =
Iy''l.
Y (O) = 0,
dx;
o
t
condicin ~ (y - y'2) dx = l~ ,
71
20. Tambin es un problema vartactonal de extremo condicionado
el problema de Lagrange en el Que se pide hallar el extremo de la
funcional J [YI' Y'i" ... , Yn] con la particularidad
de que se imponen
ciertas condiciones de enlace a las funciones de las cuales depende
la luncional J,
El problema se plantea as. Hallar el extremo de la luncional
XI
J F(x.
(8)
xo
YJ(XO)=Yio,
(j=1,2
yj(x1)=YJI
.....
rt);
=O
1,2, ... , m; m
< n)
Y2.
(9)
independientes,
In
1[ + ~
Xi
J. =
>'"0
"j<Pi
J x
' ... 1
In
Para abreviar
pondremos F+
2: X<p=ct>(x,
Yt.
y'}., ,. -,
Yn' Y,
i-1
y. . .. , y~). Entonces
las funciones
de
EXTREMO
9.
CONDIC10NAUO
117
(j=I,2,
... ,n)
Xi
1=
J 'Vi
+y'2.+z'2.dx,
"O
donde y = y (x). %
Z (x),
Se pide. pues, hallar el mnimo de 1 con la condicin q> (x, Y. z) =
= O. En nuestro caso,
.lO
Formamos
1,
X:!
2.
la funcional
q> (x, y, z)
= 15x - 7y
+z -
22.
auxiliar
J. =
j lVI +y'2+z'2+),,(x)
(15x-7y+z-22)1
dx
d (
A.(X}.l--d-x
Z'
VI+y'2+z'Z
=0.
(lO)
( 11)
_:!_ (
dx
VI+-
118
DE FUNCIONALES
de donde
y'+7z'
( 14)
De (12) tenemos
(15)
Introduciendo este valor de 2' en (14) y resolviendo la ecuacin diferencial obtenida, encontramos 11 = C1X
Cz Las condiciones de
frontera (13) dan
1 = 2 Y C~ = -3
de modo que
(16)
y = 2x - 3.
Teniendo en cuenta (16), de (15) resulta
z= 1 - x
(17)
(es obv io que la funcin (17) satisface las condiciones de frontera).
De (lO) o de (11) obtenemos /,. == O. La distancia buscada es
1=
J lfl+y'2+2:'Zdx=V6.
1
inmediatamente
de considera-
(18)
r (u, v)
J[u(l),
v(t)[=
VEU'2+2Fu'v'-I-Gv'2dt,
(19)
!(l
(orou' Tu'
a, )
((Ir
au'
Qr )
Tu '
G=
(.El:...
ou' ~).av
9.
t::XTREMO
CONDICIONADO
1I9
de Euler tiene
Evu'LJ2Fvu'r./+Gvu'll
VEu''J.+2Fu'u'.+Gv'2
_~
=0
'
2(Fu'JGv')
dt VEu'?.+2Fu'v'+Gl.'2
=0.
EJEMT'LO 7. Entre todas las curvas que estn sobre una superficie
esfrica de rado R y que unen dos puntos fijos de la misma. hallar la
curva de longitud mnima (la curva ~codsica).
SOLUCION. Sean (jJ y O las coordenadas
del punto en la esfera
y sea q> -"c q> (e) la ecuacin de la CUTva pedida. Tenemos entonces
donde
x ,...,.R cos
<p sen S,
>
z = R cos
Por eso,
E
J[<p(6)1=R. ~
e.
= R.2,
(rlp' r~)
De aqu.
F = (re. rq) = O.
el
Vd6z+sen ijacp'=R
ll
eo
VI
+ sen 6q>'z(O)
d6.
60
El integrando no conttene
ecuacin de Euler ser
la funcin
incgnita
de modo que
C1
sen6Vsen26-q
sen!a
'v
1---
CI
sen2 9
Integrando,
V (1-
Cn- q ctg2
e - V
q
senzO
Cid ~etgO)
(1 q ctg*
cn-
obtenemos
el etg e
+ C?,
I-q
q (6) = arccos .. r
y
o'
CAP.
120
1I
EXTREMO
DE FUNCIONALES
donde
De aqu
ctg
(20)
donde
8
Multiplicando
por R sen
sene2
e .
ambos miembros
de (20). obtenemos
ds=
V p2+(1 + ,~.)pf2
dcp.
) V p'+(1 +f~9)p'Zdcp.
qJo
p. obtenemos
10.
PROBLEMAS
o sea, p9 ~~ =const.
CON
FRONTERAS
Observando que p :;
121
M6vll_ES
=senw
(fig.
18), obte-
170. Hallar
R.
J [U (x)} =
F (x, y, g') dx
(2)
fig. 18
'V
definida para las curvas suaves U = 11 (x) cuyos ex tremos A (xo, Yo)
y B (Xl. 111) se encuentran en las curvas (1) de modo que 110 = <p (xo)
e UI = W (XI)' Se pide hallar el extremo de la funcional (2).
TEOREMA. Supongamos que en la curva Yo : Y = (x) se alcanza
el extremo de la funcional
J (y (x)! =
F (x, y, y') dx
1;0:_:0:0=0, }
(3)
[F+('IjJ'
Fy,J Ix~;q =0.
Es decir, para resolver el problema elemental con lronteras
mviles es preciso:
1) Escribir y resolver la ecuacin de Euler correspondiente.
Como resultado, se obtiene una Iamtlla de extremales !I = f (x, el. C3),
que depende de dos parmetros el y C3
-1)
122
C,\P.
2) Determinar
de transversalidad
11. E XTREMO
DE FUNCIONALES
e 10
{(XI,
C, C2,)=\II(Xt).
C2) = q (xo),
de las condiciones
Xl
(4)
para la fun-
'q
Jf
J (y (x)1 =
(x, y)
-*
O.
XI>
SOLUCIN. Supongamos que el extremo de la izquierda de la extremal se ha fijado en el punto A (xo. Yo) mientras que el extremo de la
derecha B (Xl> YI) puede desplazarse por una curva y = lj1 (x). Tendremos entonces
[f "j- ('IjJ' - g') F 11,1Ix_xI = O.
En nuestro caso es
F
= f (x.
y) e~\rctg ,'
La condicin
(x,
y)
V 1 + y'Z
de transversalidad
earctg 1/'
se representa
1 -+-y'
-~'-"-_
Vl+y'~
as
V 1-1- y'2 +
+W-y')/(x,
De aqu obtenemos,
y) eflrctg
debido a la condicin
'I>'-y'
I+1j'y'
1/'
I-i-Y', ]
VI +y ~
(x, y)
=0.
x=X
=1= O,
-l.
(5)
= - : ' de
donde a. = ~ +
~ que
tg ( -
: ), resulta
PROBLEMAS
lO.
EJEMPLO 2.
x-y = 6.
CON FRONTERAS
Hallar la distancia
MOVILES
de la parbola y
= x2
123
a la recta
integral
:11:1
ry (x)) = J V 1 +y'Z dx
Xi)
Fig. 19
derecha, por la recta y = x - 5. Por consiguiente, tenemos en este
caso <p (x) = X2 y ljl (x) = x - 5. La solucin general de la ecuacin
de Euler ser y = e1x
e2, donde el y el son constantes arbitrarias
que deben ser determinadas.
Las condiciones de transversalidad
(3) tienen la forma
C1XO+e2=X~,
CtXt+Cz=xl-5.
CAP,
124
n.
I?XTREMO
DE FUNCIONALES
VI+C:+(2xo-Ct)
-.
el
=0,
C.
=0,
v I+C:
VI +C:+(i-Ct),
v l+q
1
j
CtXo+C2=X~,
CtXt+Cz=Xt-5;
resol vindolo, obtenemos
3
Ct=-l.
C2=4'
xO="2
= -x
23
x(=g'
!y
la distancia
T
l=
J V +<-I)ldX=V !:
1
23
=19y'2.
2X
2'
'1
Jfy(x)J=)
h(x,
y)V1+y'2dx,
'*
donde h (x, y)
O en los puntos frontera, las condiciones
de transversalidad tienen la forma
y' (x) = -
epll(X)
y' (x) = -
1j),I(X) ,
S JO.
PROBLEMAS
CON FRONTERAS
MOVILES
125
:el
[y (x).
z (x)] =
(6)
:ro
Al analizar el extremo de la funcional (6) aceptamos que por lo
menos uno de los puntos frontera A (xo. Yo. %0) o B (Xl. Yl. 21) se
desplaza por una curva fija.
El extremo de J [y (x), z (x)1 se puede alcanzar slo en las curvas
integrales del sistema de ecuaciones de Euler
F....--F
dx
11
,=0,
Ft-~F.dx
:t
}
=0.
Supongamos que el punto A (xo. Yo, %0) est lijo mientras que el
otro punto frontera B (XI, !/l. 21) se. desplaza por una curva definida
mediante las ecuaciones
y=q>{x), }
z ='Ijl (x).
En este caso,
la condicin
de transuersalidad
tiene la forma
,+ (1jJ'-z') Fz.11:t_:t1=0.
EJEMPLO 3. Hallar
20)
a la recta
y=mx+p,
z =nx+q.
SOLUCIONo El problema se reduce a la determinacin
(mnimo)
del extremo
de la integral
~1
Ig (x), Z {x)J=
J VI
%0
+ g':l+z'2dx
(7)
\26
DE FUNCIONALES
de la derecha de la extremal
y=mx+p,
puede
(8)
z=nx+q.
o sea, en nuestro
la forma
rp
rp y IP tienen,
La solucin general
Euler ser
+p
'i1 (x)
del correspondiente
nx
respectivamente.
sistema
q.
de ecuaciones
de
y=G1X+G2, }
=G3X.+C~,
(9)
[ VI +y'3+z'2+(m-y')
y'
VI+y't+z'~
+(n-z')
de donde,
Z'
VI +y'2+ z'Z
=0,
X-XI
La relacin
de la derecha)
(10) expresa
-1-
mC}
/lC:!
la condicin
(lO)
O.
de perpendicularidad
la
recta buscada (9) y la recta dada (8).
Empleemos el hecho de que la recta buscada (9) pasa por el punto
M (xo. Yo, zo):
(11)
y tambin el hecho de que e 1 extremo de la derecha se desplaza por
la recta (8):
elXl+e2=mXl+P.
C3Xl
+C,=nxd-q
entre
(12)
De las cinco ecuaciones (I, (11) Y (12) debemos determinar CJ. C.,
Ca. e, y Xl (.to, Yo. 2o. m. n, p y q son nmeros dados). Para calcular
la integral (7) basta conocer Xl. el y C,. Tenemos
x _ ;_;xo::..,+..:......_m_{:;y,::,o
---=p,-!-,},....:.+_n"...(.:....~~o
-~q)
l+nZ+mZ
1-
C _ mxo+m/l
t-
e _
3 -
(2'0-9)-(1+n2) (yo-p)
m (yo-p) +n (zo-q) -(m2+n2) Xo t
rlXo+mn(Yo-p)-(l+mZ)(zo-q)
m (Yo-p)+n(2o-q)-(m2+nZ}Xo
10.
127
-V/'
x +(y -p)z+(z
.o
o
2
_ q)2_ rxo+m(!lo-p)+n{zo-Q)2
1 + n2 + m2
20)
una
superficie
F~,.lLI:;;xl =_0, }
+ F~'CfllJ 1:x_xl -
IF!J'
las
(13)
O.
+ + =
y2
Z2
J.
en analizar
(14)
el extremo de la
J[y(.~),
z(x)J=
IV
1+!I'2+z'2dx.
(15)
XI
donde el punto B (XI> fll. 21) debe estar en la superficie esrtca (14).
Las ex tremales de la funcional (15) son las recias
y=Ctx+C2,
}
(16)
z =C3x+C(o.
De la condicin de que la extr emal (16) pase por el punto A (1,.1, 1),
obtenemos
(17}
tienen la lorma
128
CAP.
n.
EXT~EMO
DE FUNI,;(ONALES
}
(18)
donde Xl> 111 'i Zl son las coordenadas del punto buscado B.
De la condicin de que la extremal (16) pasa por el punto
B {Xl' 1/1' %1) tenemos
Yl = CX+Cz,
ZI =C3X+C4
}
(19)
es
(20)
z=x.
Puesto que el punto 8 (XI. 111. Zl) debe estar en la superficie esfrica
(14), obtenemos, tomando en consideracin (20). que x~ + x~
xl =
va .
1
1, o sea. que XI =
Por consiguiente, obtenemos dos puntos
(_1
B
I
_J
_1)
V3' V3' ~3
B (
1 )
Jm1n=
J VI+I+ldx=V3-1
1
Va
mientras que en la extremal
cional alcanza su mximo
(20)
y B~
esta fun-
Jmx=
\
1
lf3dx=
V3+ l.
- 113
OBSERVACiN l. Al deducir las condiciones de transversalidad (18)
hemos considerado que <p (x, g) == VI - x2 - 1/2. Es fcil ver que
las condiciones (18) subsisten si q> (x, y) == - VI _ x'l _ y2.
OBSERVACIN 2. Queda claro, por razones geomtricas,
que la
extremal (20) es ortogonal a la superficie esfrica x2 + y'J + i" = 1.
PROBLEMAS
10.
CON
FRONTERAS
MVI LES
129
EJEMPLO 5. Consideremos
de la funcional
O (O, O, O).
(21)
CiZt-C3!/[ =0,
y las condiciones
en el extremo
mvil sern
Jlt =CIXt,
z1
(22)
=CaXl'
Por ltimo,
(23)
Para determinar las cinco magnitudes Cl C" Xl. Yl Y z. tenemos
cinco relaciones (21), (22) Y (23) de las cuales solo tres son indepenclientes:
(24)
Empleando
las relaciones
(24), encontramos
l
x1=1(1+c:+q'
Y=Y'I+q+q'
1
zl
= -::i'~~:::::::::~
y I-I-Cl+q'
!/=Ctx.
z=Csx
es igual a
Vl+chci
J !y (x),Z (x)l=
9-01381
~
'O
VI
+ct+qdx= l.
130
CAP.
EJ.EMPLO 6.
cional
11. EXTRflMO
OS
f1UNCJONALE.S
Jf
%1
J[V(x).
z(x)J=
+y'2.+z'2dx,
(25)
si el punto A (xo. !lo, to) est fijo y el punto B (Xl. !JI, Zt) se encuentra
en la superficie z = q> (x, y).
SOLUCIN. En este caso las condiciones de transversalidad sern
(1+q>~z/)I'-'~1==O,
}
q>f2')I;a:..Z1=0,
(y'
o sea,
I
y'
I :r.=o""1=-=1
~ 1-XI'
donde
x,
y y
(x.
z.
t78. Hallar
a la superficie
t79. Hallar
a la superficie
180. Hallar
~+ r; +~= 1
~.
J
x2+UZ+z2=4.
(y'2+z':&+2yz) dx
S 10.
(Xl.
MO\lI LES
Yl.
21)
131
se desplaza por
Xl'
3, Distancia geodsica.
El valor de la integral
B
[y (x))
= .~F (x,
(26)
y, y') dx,
J [y (x)) =
g2,/,'J. dx,
2yy'Z -
:x
(2YZy') =0
yyo" +y'2= O.
d
+ {J'! = '7lX
(yy'),
ya = x.
Tenemos ahora 2yy'
1, yy'
(yy')2
!.
1 (A. B)=
J ! !.
dx=
:c
9*
DE FUNlONAL2S
J [U (x)]
y2/1'2 dx,
A.
y.
= el".
2yy'
= el
y. por consiguiente.
fJ'_
y
" _ 2:c
De la condicin
de transversalidad
ferencia es ep' =
U;
erenca es y' =
. de donde
a la circun
tf = ~ . De
=~
es
R=
j (lIy')2dx=
o
y, por lo tanto,
es
Jo
4~2 dx= ~
Es decir, C = 4R y la ecuacin de la circunferencia geodsica de radio R y con centro en el origen de coordenadas es ya = 4Rx.
EJEMPLO 9. Hallar la circunferencia
de radio R y con centro en
el runto O (O, O) si la distancia geodsica se define mediante la funciona
B
Jry(x)J=
J lfl+!l dx.
2
10.
PROBLEMAS
CON FRONTERAS
MVILES
133
= CIx + C,.
= _..:...
De aqu resul ta
y
la ecuacin de la -circunferencia:
XII + y'l = Cll El punto
(C, O)
est en dicha circunferencia. La ecuacin del radio geodsico que pasa
por este punto es y = O de modo que y' = O y
ecuacin diferencial de la J-crcunenca es y'
e
R= ) dx=C.
o
Es decir, C = R y la ecuacin de la circunferencia geodsica buscada
de radio R es la ecuacin de la circunerencia corriente ;(2 + y2 = Rll.
OBSERVACION. Los conceptos introducidos permiten hablar de la
Geometra no eucldea con la diferencial de arco
ds = F (x, y, g') d:c.
VI +
Si F =
y'2, las J -rectas se convierten, como hemos vlsto, en
las rectas corrientes y nuestra Geometra se convierte en la eucldea
corriente.
Si F es una {uncin arbitraria, que s610 satlsace las condiciones
habituales de ser continua y derivable respecto a los tres argumentos,
la Geometra construida muy poco recuerda Ia corriente: no siempre
se puede trazar una J -recta por dos puntos y puede suceder que por
dos puntos pasen varias J -rectas y, por consiguiente, que la J -dlstancta
entre dos puntos no sea una funcin
134
mediante
la funcional
J [y (x)] =
J y'3
dx.
1. Problemas discontinuos.
(x) de la funcional
:<1
lb' (x)l =
(x, y. !I)
(1)
dx
Xo
es una funcin que tiene dos derivadas continuas siempre que la derivada F V'II' (x, y (x), y' (x sea diferente de cero. Sin embargo, existen
problemas variacionales en los cuales el extremo se alcanza en una
curva suave a trozos solamente.
o) PROBLEMAS DISCONTINUOS
DE PRIMERA ESPECIE. Consideremos
el problema sobre la determinacin del extremo de la funcional (1)
aceptando que las curvas admisibles satisfacen las condiciones de
frontera
(2)
y (xo) = Yo, y (Xl) = Yl
<
FlI,I:l:=c-o-FII,I:l:=c+o=O,
(F - ti' FII,)
/x ... c-o-(F-
(3)
J Iv(x)J=
J (y'2_
11
y2)
dx,
n.
P~OBLEMAS
DISCONTINUOS
1.35
y' (e - O) = y' {e O)
Y significa Que la derivada y' (x) es continua en x
= c. Por conslguenle. no hay puntos angulares. Esto se puede ver tambin de que en
nuestro caso F 1/'V' = 2 > O en todo punto. Por lo tanto. en el problema considerado ~~ extremo puede alcanzarse slo en curvas suaves.
EJEMPLO 2. Hallar
las extremaJes quebradas de la funcional
2
Jly(x}j=
S (y'4_6y'2}dx;
y(O)=O.
y(2)=0;
-< <
-<
y_ = mx + 11 (O X
e) e U. = p
q (e x ~ 2).
De las condiciones de frontera encontramos n = O y q = -2p
modo que
y_ = mx e 11+ = P (x - 2).
La condicin de continuidad de ta extremal da
me
Escribamos
las condiciones
=p
(4)
(e - 2).
de Welerstrass r",,=4y'S-12y'
de
Erdmann.
Tenemos
F-y'FII,= -3y"+6y'2.
Puesto que y:" =
m e y:
= p,
obtenemos
4m3-12m=4p3-12p,
-3m'+6m2= -3p4+6p2,
o sea.
(m-p) (m2+mp+p2-3)=O,
(m2-p2) (m2+p2-2~=O.
(5)
136
DE FUNCIONALES
m = p. m = -p o
m"
+ pZ
-2
= O.
m=-p. }
6)
~+~+~=3
y
m2+p2=2, }
m2+mp+p2=3.
(1)
113
V3x,
y= {
-]3 (x-2),
e
g=
-vax,
V3 (x -
O~x<
2).
1 '" x
1,
< 2.
J (y (x)] =
1o y'2
y (O) = O, y (2) = 1.
186. Hallar la solucin c.on un punto angular en el problema sobre el mnimo de la funcional
4
J(y(x)]
(y'
_1)2. (y'
+ 1)2 dx;
(O) = O,
(4) = 2.
J [y (x) 1 =
J (51'2+ 2xyxg
y2) dx;
y (xo) = Yo,
Y (Xl) = Yi?
PROBLEMAS
~ 11.
DISCONTINUOS
137
J{Y(X)I=)
y(-I)=.O,
y2(l_y'2)dx;
y(I)=l.
-1
;le.
%1
(""r
J
1/1)
sen y' dx
(o. O)
J!U (x)]
(y'"_6y'2)
dx;
U(O)=O,
y(2)=O.
O
-
Las extremales son rectas. En este caso la Iiguratr iz y = y'. del punto (x, y). Tiene una tangente comn en
GIf'2 no depende
138
= V3 (fig.
quedarn
Fig. 20
quebradas
~ con
el eje Ox.
x
Fig. 21
quebrada Y'J con dos puntos angulares,
con tres puntos (lig. 23), etc.
PROBLEMAS
S 11.
DlSCONTI NUOS
139
mo de la funcional
XI
1 [(x)
F(x, y, y')dx;
y (X2)=Y2;
Y (X)=Yf.
(8)
;ll:f
Fig. 22
Flg. 23
extrema! quebrada obtenemos dos ecuaciones diferenciales de Euler
cuyas soluciones generales contienen cuatro constantes arbitrarias Cl
Cg C, y C,. Para determinar estas constantes as como la abscisa e
del punto en el que la extremal encuentra la curva y = CD(x) tenemos:
1) dos condiciones de fronteras (8), 2) dos condiciones segn las cuales
las ordenadas de los extremos de las ex trernales en' el punto de [uncin
han de ser iguales a la ordenada de la curva.y = CD(x) y, por ltimo,
3) la condicin de la un.ci6n
..
Fi +(q.'
-!/) Fi'
{9~
140
DE FUNCIONALES
Hablando
determinar
r Vf+Y'2
dx+ Jb
01
v-:::Y;Z
(l
dx,
(10)
V2
ya que la primera y la segunda integrales de (10) representan, respectivamente, el tiempo que necesita el rayo de luz para llegar del punto A
a la linea de separacin y de la linea de separacin al punto B.
Tenemos un problenia discontinuo de segunda especie siendo
Para determinar los trozos de las extremales debemos hallar las extremales de la funcional
JV
1 +1I'zdx
Y1=mx+n
Escribamos la condicin
F
aF 1
1-91 a9~
iJF2
iJy,
F'J.-yz-,
Introduciendo
U2=P;<+q.
(9). Tenemos
11-::::fiii
UI.
gi'
t1tVI+Y'
(11
Vl+u'
(12
Y 1+ !li' .
I
VI
+ <Il'Y
V 1+lI'
1+ ID'u
02
Vl+!l"
(11)
Sea y el ngulo que forma con el eje Ol' la tangente a la lInea de separacin en el punto de abscisa e, sea a el ngulo que forma con el eje
O el rayo de la izquierda y sea fl el ngulo que forma con el eje Ox
el rayo de la derecha. Entonces, se tiene ~' = tg y, Yi = tg a, =
y,
n,
P~08LEMAS
141
DISoNTINUOS
+ tg
tg i'
VI + tgZ
[1%
+ tg ~ tg i'
V 1+ tg2~
cos (y-ex)
tJz
donde 'V - ( y 'V - ~ son los ngulos entre los rayos y la tangente
a la llnea de separacin. Tomando en lugar de stos los ngulos lp y e
entre la normal a la lnea de separacin y los rayos, incidente y refractado, obtenemos
sen <p
tll
--=-=consl,
(ti
sen
ClZ
Xli
J [y (x)) =
con la condicin
(12)
O ( y - lp (x) ~ O)
(las condiciones de limitacin pueden ser de forma ms compleja).
En este caso la extrernal buscada puede estar formada por trozos
de extrernales que pertenecen al recinto (12) y por trozos de la frentey -
q> (x) ~
y'l-F(x,
y, tp')_(q/_!J')
-=0.
~-x
M (x,
J [y (x) I=
jV
+y' '1. d
-2
!I ~ xi.
y (-2) = 3,
y (2) = 3.
(13)
i42
Las extremales
En nuestro
= el + Csx.
caso
F".".=
1I
'4= O
(1 + y'2)2
-x
A (-2,J)
Fig. 24
colnclden las ordenadas y los coeficientes angulares de la recta y de la
tangente a la parbola de modo se tiene
el+e~="i: }
(14)
ez=2x
(15)
CI se, = 3.
Eliminando CI y C, de (14) y (15), encontramos
4x
3 = 0,
de donde Xl = 1 y i. = 3. El segundo valor de X no sirve. Es decir,
i = 1 Y el = -1 Y C. = 2. La extremal buscada (nica) es
x' -
-2X-
II=-
x?
2x-l
si
si
si
-2<:.%<-1.
-1
,x<
l.
l,x<2.
TEORtA
DE
143
J[y(X)]=)
y'3dx;
y(O)=O,
y(IO)=O;
o
si las curvas admisibles no pueden pasar por el interior del
crculo que limita la circunferencia (x - 5)2 + y2 = 9.
192. Entre las curvas que unen los puntos A (a, Yo)
y B (b, y) hallar la curva que ofrece el valor extremo a la
funcional
b
J [y (x) = y VI-y2y'2dx
(1
Unl =
=
, !/n.
!/i,
(1)
Xi
tienen la forma
d
Fu --d
k
F ,=0
I/It
, n).
(2)
FII'IJ'
11'11'
in
tI!
pondremos
F , = PIt
IIk
(k
(3)
1, 2, . . n).
,*0
Jlk
(4)
" !In' Ph Ps
Pn)'
i44
1It, 11"}.."0'
Un.
x, Yl. y"
' .
U,I)+
11
+ ~ YP
~1
o oo,
~~
(5)
J (U (x)l=
J F (x,
y, y'
x da
:I:
J
.1t
J [Ut. Y21=
(2Y1Y2-2U~
+y? _Y~Z)
dx.
SOLUCiN.
En nuestro caso
F (x,
!/lt
Y2'
Ponemos
F , = PI
lit
F,
1/2
Entonces
P1 = 2y';
+ !/? - u'.
= PI'
Aqu el determinante
F V'l/'
F l/'V'
11
1 2
FI/''J' FI/'V'
2 1
a 2
Resolviendo
respecto a y~ e
' - Pi
!J1-2
y'
P2
'=-2'
TEORfA
12.
DE HAMILTON-JACOBI
Formamos el hamlltoniano
H = (-F
+Yi.Fr.+yF
145
de la funcional considerada
y.)
a,
Pi
"1-2'
II,=_PI
2.
=(-2YIY2+Zgl+y;,a-Yit)
dYt
dx
1'1
111"'2'
II'__ P.!
2
2
=.!!1. .
(.[i= -411t
Incgnitas de x,
d!l2=_~.
2'
dPt
p.
pi
=2Yf-2I1Y2+-;f---f,
dx
2 '
.
+2Y2; dP2_211
7iX- t
= Y:I(x],
Pl = PI (x) y PI
}
.
J
SOLUCiN.
rUi. 92)=
Aqu
+ u + gil
F = yfy (x2
Determinamos
= U~yl,
= !I~YI
F y'
Pz=y~y:
Ponemos
Pl=y~yl
I 1
EJEMPLO S. Formar
Euler
_1 OO O01 =- O
F "iY F "li \
FI/'v' Fy'Y' -
el sistema
cannico
para la funcional
J [y (x) I =
10-01381
xgy'3dx.
de las ecuaciones
de
146
FUNCIONALES
De
SOLUCiN. Tenemos
F
Pongamos
xyy'3
Fu'
3xyy"J.
de donde
3xlIy'2,
J/ ~:
y' = -
11'=
3~g
,,-- Vp-=
~
Hi=(-F+yIF""j.
=2Xyy/31
2
H,_=(-F+y'F1/'
lp=3V3
1/- .
"Ji
dI!
dx
..
I"pa
dp
p3 ,
xy
/p
1 ..
=-~3y3
xy'
= JI 3xy'
/7
dX"="3 V
P
V3x"V
1/'__ '
3xy3'
1
l
195. J [y
n = J
+ y Vl + x':>' dx,
J (y? + y: +y~2)dx,
~ X2
S 12,
'l'EOIHA
147
HAMILTONJACOBI
J (xz+Yty;l+y,.y~~)dx.
J lYlt Y~J = J (2xYt - y~2+-} "!I~a) dx,
197. J[Uft
198.
bE
Yzl=
2, Ecuacin de HamUton-Jacobl.
Teorema de Jacobl. El
sistema cannico (5) de las ecuaciones de Euler es el sistema de ecuaciones de Euler para la funcional
J (Ui, !/a, ., " !/n] =
r[~
Pk!/~ -H
~, 1-1
si 1/1- Y... , Yn' p" PI' . " Pn se consideran en tanto que funciones incgnitas de x.
Esta funelonal J es la solucin de la ecuacin en derivadas parcales de primer orden
aw
( x, Ut,
~+H
ox
aw iJW
iJW )
Uz, . , Un' -iJ -iJ , . -, -iJ
=0,
Yn
112
!Jt
de la ecuacin de Hamllton-Jacobi
2W
ec,
a2w
OYt
Q2W
iJYlOCa
--,
Ol-W
iJ~W
OY.
oc;
a2w
cJ2w
aYn
se t
()2W
aYn
:::/= O.
cJ2w
aw
iJW
OCA =8k,
oy/, =p/,
(k= 1, 2, .. _, n),
Hallar
J [y (x)] =
lit) V X2 + !l V 1 + y'2
dx
:tI
acob.
JO
148
DE FUNCIONALES
H=
-lf x2+yZ_pZ.
La ecuacin de Hamilton-Jacobi
aw
--
I./:
r'
ex
tiene la forma
(OW)2
-
XZ+y2_
ay
=0
OX
+ (dW)2
Tu = x2+y2.
( OW)2.
(6)
(~~
r
-x2
+( ~~)2 -
y2 =0
) 2. _
( aw
ox
donde
e es
x2
=_C
aw
ox =Vx2-C
(aw)
ay
2_
y2=C
I
De aqu encontramos
aW =lfyZ+c.
oy
W=
J Vx2-C
dx+ V y2+Cdy=
=+xlf.t2-C
- ~
+;
donde C y Co son constantes
De la relacin
determinamos
4Vx2-C
~~
=+
In
ls+ yy2+cl+co1
arbitrarias.
I
donde
A es una
constante arbitrara,
___!_ x+,VXCCI+ E.
2
+TV;+c+i-
(x+lfxz-C)
In!y+Yy2+cl+
lfx2-c
TEORIA
~ 12.
In
IY+Vyq=c
x+Vx2-C
149
DE HAMILTON-JACOBI
I=A.
sencillas, obtenemos
o sea,
u+Vyq:c
=A
X+Vx2-C
(A= eA.),
de donde resulta
es decir,
definitivamente
una familia
de hiprbolas.
199. J [y (x)) =
j xy -vy' dx,
e
200. JIY(X)]=JxyyI2dx;
y(l)=O,
y(e)=l.
201. J [y (x) =
a (y)
V 1 +y
'2dx.
J ({-
(~.II)V--
:Y'Z-dx
J[y(x)l=)
(y>O).
(O, O)
150
XI
J [y (X)]
= ) vr::y'2 dx
Supongamos
(y> O).
11
J [y (X)[
F (x, y, g/) dx
Xi
F!J'
(jl
J [y (x)]
y'2 dx,
:I:{
de la funcional considerada.
Tenemos
F
= y'2
Poniendo p=FlI"
F 11'
2g'
(F 11'11,2
=1= O).
encontramos y'=r~ y
H=(-y'2+2y'y')
= P: .
II'-~
Las transversales
F 11'
donde en lugar de
coordenadas
2C
2y'
Puesto que
II/-cx :~ = H 1,,-211' _
e hay
Iv-cx :~ = ~ /P_2C
Tenemos
2C ~~ = C2.
= ~. De aqu
e",
12.
TEORIA
DE
HAM!LTON-JACOBI
151
y =
~2
J F (y/)
J [y (x)j =
dx,
y =
J (xy't. -
X2
J (y (x) I=
2yy'3) dx.
XI
J W(x)] =
J Vy(I-y'2)dx
(C>O, x>O,
y~O).
aw
(
ax + H x,
y.
W'
) =o
ay
de la funcional
:x:z
fu (x)J =
=1
se puede reconstruir
la funcin integrando
sobre el extremo
de la Iunclonal
t4 tene
CAP.
152
11, EXTREMO
DI!
FUNCIONALES
la forma
aW)2 + (aW)2
Tu
( ox
= ,~2+y2.
aw
ox '
tenemos
aw '.V/
-ax=
x2+V2-
(aW)2
iJy
o sea,
es
H= -Vx2+y2_p2.
La ecuacon (1) para la determinacin
forma
F-z-=
dF
dz
Ji"
de la luncln F tiene la
;c2+y2__(dF)2
dz
(8)
dZF
dz
z =-,~
/====::;:dF;::::::;02
Resolviendo
,\,2+V2-
(dZ)
_zV~
Tz- Vl+t2 .
::
' encontramos
(9)
12.
TEORrA
DE
HIIMILTON
..JACOBI
153
vii+Y2
+..V xa+ y
VI+:z2
V:c2+y:qll
2_ 22 (x2+y2)
Por consiguiente,
I+z~
la funcin integrando
+z:1.
F=Vx2+y2 Vl+y'2.
En los problemas que siguen hallar las funcionales a partir
209. 4
aw
aw _ . .2
(Ix oy - ,{,.-y
2JO. 4xy
21 J.
..2.
aw (aW)2
Tx+
a
aW)2
( X-ax
= O.
+( y aW)2
ay
=x2 +y2.
su
Xh=;;-,
IJxk
eo
Y,,=:;--,
..yft
eo ..
ZJI.=~
"'k
54
CAP.
11. EXT~EMO
DE FUNCIONALES
J (T-I-U)dt.
J=
(11)
to
A cada movimiento admisible del sistema le corresponden 3n
funciones Jek (1), !lk (/), %/1 (1} (k = 1, 2, ... , n) que estn definidas
en el intervalo [to, ',], que satislacen las ecuaciones (lO) 'i que toman
determinados valores en los extremos del Intervalo [to, t11. Por consiguiente, tenemos un problema variacional con los enlaces (lO) y con
fronteras fijas.
Para resolver este problema formamos la funcin auxiliar de
Lagrange
m
F=T+U
+ J AJ (t) 'Pi
;=1
mkXk-XB
u'PJ
m
~
J..j
j ... 1
u'PJ
mkYIt-Yk-
~ AJ(t) U!lk=0,
(12)
j-t
mllzli.-ZIt-
O'PJ
~ AJ(t)
OZh
=0.
;=1
El sistema (12) conlclde con las ecuaciones diferenciales del movlmlento real del sistema.
b) PRINCIPIO DE 1.A ACCIN ~MINIMA EN LA FORMA DE LAGRANOB.
Supongamos que Jos enlaces ''Pi y el potencial U no dependen del
tiempo t. En este caso tiene' lugar la integral de energa T - U
= h = consto La integral
/1
J Tdt
lo
,~
ti
(T+U)4t=~
(Tdt-)
li
h dt,
12.
TEOR fA
DE
155
J=
J Tdt=min.
to
ds=mn
'\1
mkxk
iJU
mhYlI.=-a
..
mhzll.
= ;--+2
vXh.
au
para nuestro
a~
'" Xl -rt
.t:.J
vX)t
;-1
m
iJCFl
-+2 .a
~ "J;-,
v!lk
YIt
iJU
OZIl
;-1
m
+2 ~
OCPJ
"J iJzll
j ...
t
que representan
(l3)
156
CAP,
11. EXTREMO
Segn el principio
cada 'Yo la integral
DE FUNCIONALES
de la accin mnima,
para la trayectoria
J=SV2(U+4)dS
bus(14)
mos
Xi
J=
S V2(h-gY)Vl+y'2dx.
La ecuacin de Hamilton-Jacobi
-ax- JI
c)W
-. /'
2h-2gy-
o sea,
(~~) 2+ (~~
(15)
tiene la forma
(
aw ) 2. =0,
ay
=2 (h-gy).
Su integra l completa es
W=Ax+
Jr
l/2h-2gy-A2
1-
dy=Ax- 3g (2h-2gy-A2)
+B,
(15):
X+~(2h-2g!l_A2)2
g
=C,
o sea,
y= ; - :; - 2~2 (x-C)2;
y e
constantes.
En particular, las exremales que pasan por el origen de coordenadas se determinan de la condicin y (O)=0. Obtenemos una Iarnilia rnonoparamtr Ica de parbolas
:t:2ii=Ai
A
x.
12.
i1~ORtA
DE
HAMIL 'tONJACOS)
i 57
la integral de la accin
J y VI +y'2dx
X2
J [y (x)] =
(y> O).
2R cos cr (p,
:6
Capitulo JI
M:TODOS DIRECTOS EN EL CLCULO VARIACIONAL
elemental:
hallar el extre-
!J (a)=A,
y(b)=B,
(1)
Segn
no en las
sino en las
rectilneos
a+6x,
a+26x, , .. ,
a+ (rt-I) Sx,
b-a
ax = --.
rt
donde
(IJ
oI>
~-o
oYn-l
J{y(x)l=
J (y'2+2y)dx
y(O)=y(I)=O.
o
SOLUCION.
Yo
1-0
Ya = Y (0,6),
!JI = y (0,2),
Yl = Y (0,8),
0,2 Y pongamos
Y2 = y (0,4),
Y5 = Y (1) = O.
MeTODO
Sustituimos
b~
DIFERENCIAS
159
FINITAS
Entonces
lit-O
11' (0)---oy-,
y' (O2),
Y2-1I1
0,2
la integral
) f (x)
dx ~ [f (a)
'13;;;112 ,
O-Y411,'(0 8) =~.
Sustituimos
rectngulos:
y' (0,4)=
'
la rmula
de los
(l
Tendremos
(l)
t.~) + (
2
Y~~
Y1 ) 2
+ 2Y1+
,J
t.~)2 +2y
.0,2.
ofI)
111
112-Yt
Y3-Y2 +2=0
a<D =
Y3-Y2
Y4-YS +2=0,
_1_ am
0,2
_1_
0,2
oY'l.
aYa
0,02
0,02
0,02
I aa>
y",-Ys
0,2 oy4. = 0,02
o sea,
117.- lit
0,02 +2=0,
0,02
114
0,02 +2=0,
2Yt-Y2=_O,04,}
-yd-2yz-ys=
-Y2+2Ya-YI,,=
-Y3+2Y4
-0,04,
-0,04,
= -0.04.
x2-x
y= -2-'
160
215. JIy(X)1=)
(y'2+y2+2xy)dx;
o
SUGERENCIA. Tomar 8..1:=0,2.
y(O)=y(I)=O.
216
.1 [y (x)] =
J (y'2+
1) dx;
o
!J (O) = O,
b) Y (O) = O,
a)
y (1) = O;
y(1)=
l.
Yn (x) =
IX,IPI (x).
(1)
j ... 1
!x,
donde
son unas constantes y el sistema {<Pi (x)}. llamado sistema
de [unciones coordenadas, est formado por funciones lp, (x) que son
linealmente independientes y que constituyen un sistema completo
de funciones en el espacio considerado.
Hablando en trminos generales. cuando pedimos que las funciones Yn (x) sean admisibles, Imponemos a las funciones coordenadas
<PI (x) ciertas condiciones complementarias como, por ejemplo, llrnltacienes en cuanto a la derivabilidad o en cuanto a la verificacin de
las condiciones de Irontera.
En estas combinaciones lineales la funcional J fu (x) se conv erte
en una funci6n de los argumentos !Xl' IX2, .. , Ctn:
J [gn (x)l = <D (Ct., IX2..
, IXn)
Determinamos los valores !Xl. IX" , IXn que ofrecen extremo 8 la
funcin <D (!Xl' !X2, . , !Xn); para ello resolvemos el sistema de ecuaciones
o<D
~=O
UIX
J 14.
n ... oo
no se deduce an que
t!)t
n ... oo
J (y (x)i =
JF
%1
11 (XI) = Yit
V (x2) = 112:
estas condiciones son:
1) la funcin F (x, y, t) es continua respecto al conjunto de sus
argumentos para cualquier z y para (x, y) E D. donde D es un recinto
cerrado del plano xOy al que pertenecen las lineas Un (x);
2) existen unas constantes ex > O. p > I Y ~ tales que
F (x. y, z) ~ I z IP
+p
J (y (x))
yl
dx;
~I
if.(xl)=a,
y (x2)=b;
donde p (x), q (x) y r (x) son funciones dadas, continuas en [XI> xsI.
con la partlcularidad
de que existe la derivada continua p' (x) de
p (x) y de que p (x) > O Y q (x) ~ O.
Si por este mtodo se determina el extremo absoluto de la funcional, el valor aproximado de su mfnimo se obtiene por exceso y el
valor aproximado de su mximo, por defecto. Al aplicar este mtodo,
el xito depende en gran medida de la eleccin adecuada del sistema
{Q?t (x)} de funciones coordenadas.
En muchos casos basta tomar la combinacin lineal de dos o tres
funciones 'l>J (x) para obtener una aproximacin bastante satisfactoria
de la solucln exacta.
.
Si hay que determinar el extremo aproximado de la funcional
J (z (Xl' xs. _ ., xn)) que dependen de las funciones de varias variaH-01381
162
bies independientes.
Cj), (Xl'
y la solucin aproximada
forma
, xn),
, Cj)m (XI.
Xli'
, Xn),
...
se busca en la
m
Zm(Xh
, Xn).
donde los coeficientes all son unos nmeros constantes. Para determinarlos se orrna, por analoga con lo que hemos explicado, el sistema
de ecuaciones
!(1) = O (k = 1, 2,
VaA
J (y (xH=
(2)
Y (O) = g (1)
Y compararla
SOLUCiN.
==
O;
Es. evidente que las funciones epk (x) satisfacen las condiciones de
frontera Cj)k (O) = Cj)1I (1) = 0, son linealmente independientes y forman un sistema completo en el espacio ello, 11.
Para k = 1 tenemos 111(x) = IX (x - x'). Introduciendo
esta
expresin de Yl (x) en la funcional (2), obtenemos
i
JllIt(x)J=
(a;f{I-2x)2+al{x-x2)2+2alX(X-x2)ldx=
o
1
J [al (1-4x+4x
2-
-,z+ 2z3-x4)
+ 2!li (x2-z3)]
dx=
11
3.1
"')
=lO
ai+"6l%l= ....(at.
=-sat
1
+"6=0.
ie ,
5
-18'
163
Por consiguiente,
Yt (x)
= --x+-x
2
18
18'
SOLUCION EXACTA.
rada es
y'
Resolviendo
esta ecuacin
y =
x.
1'1=
lineal
no homognea,
encontramos
el cos x + Ca sen x + x,
de frontera y (O)
=y
(1)
= O,
obtenemos
sen x
y=x-se!'
Comparemos
las soluciones
y aproximada:
exacta
II
SolucIn exacta
0,00
0,25
0,50
0,75
1,00
Hallar
EJEMPLO2.
Sotucln
aprexlrnade
-0,044
-0,070
-0,060
-0,052
-0,069
-0,052
la solucin aproximada
de la ecuacin
no
lineal
3
1'1-=2'
que satisfaga
Ias condiciones
1'12
y (O) = 4, Y (1) = 1.
de contorno le corresponde el proble-
ma variacional
1
J IY(x)=
y (0)=4.
(y'2+y3) dx;
y (1) = 1-
Buscaremos
la solucin
en la forma
Y1 (x) = 4 -
3x
+ al
(x -
)(2);
es evidente que 1'11 (x) satisface las condiciones de frontera dadas cualquiera que sea el valor de ~.
Tenemos
j
J [JI. (x)l=
S (la. (t -2x)-3}2+
O
164
DIRECTOS
de donde
I
= ~{(1-2x)2[a.t(I--2x)-31+
oJ[y(x)}
aa.t
()
+3 (x-x2) [4-3x+CXl
La condicin
{x-x2)l2} dx.
oa.
9cx~
490CXl+ 1407 = O
obtenemos la solucin del problema
!JI (x) = 3,0413x16,0413x
4
posi Uva en lodos los puntos.
y para
O!.l
-3,0413
217. J[y(x)l=
J (y'2+2y) y(O)=y(l)=O.
o
J + y2 + y'2) y
dx;
218. J [y (x)] =
(2xy
dx;
(O) = Y (2) = O.
o
2t 9. Hallar la solucin aproximada del problema sobre
el mnimo de la funcional
I
J(y(x)1=
J (y'2-k if')dx;
y(-l)=y(I)=O;
-1
J yZdx = l.
-1
J [z (x, g)=
Jr Jr
Jz )
l ax
+ (ayaz )
e- (
del problema
2z dx
sobre
dy,
donde D es el cuadrado -a ~ x ~ a, -4 ~ Y ~
en la frontera del cuadrado.
SOLUCIN_
Buscamos la solucin aproximada
Zo (x, y)
= 0.0 (x2
aa)
VI' -
aa).
a. siendo z = O
en la forma
, 14.
METOOO
DE
RITZ.
M~TOOO
DE
165
KANTOROVICH
11$
32
512
32
= ~5 o;~as-9ctoas=!ll (etol.
Tenemos despus
0(1)
---ct
oaooa
- 8_-a
45 6-O
5
de donde cto= 16az de modo que
ZO('~I y)=
-,
5
16a2 I.x2-02)
(1/2_02).
J [z (x, y)] =
+ !J < 1, si la fun=
O, y
Oy x
166
DIRECTOS
1[t (xJ)'
~r=
si
-1
{-a~x-<a
-b -< Y -< b'
en el rectngulo D:
z = O en la frontera.
SOLUCiN. La ecuacin ~z = -1
es la ecuacin de Euler-Ostro
[2 (x,
y}J =
j J [( ~: t + ( :; )
2-
2Z] dx dy.
(5)
(x, y) = (h' -
y') a (x);
J [zt(x, g)l =
J (:~
b5a'2+
(6)
-o
,,5
Ct -
2bZ
Ct=
-W
(7)
(-a)-a
16.
LOS
VALORES
lo queda C2=OyC,=
LAS
Ji
2ch
Es decir, obtenemos
2'1
(x , y) =
5 a
2 b
1-
ch
'y/52b 1
JC
(x. y)
(bt
,/5aj
2b
ch
t-
I
~2
167
de modo que
chy
b2_gZ
2
PROPIOS
--
l
a(x)- -
FUNCIONES
eh
..V/521) 1
Ji
x
5 a
-2 b
+ (b' -
y') a, (x).
~3 x y x
b.
223. Hallar en el recinto D la solucin aproximada de
la ecuacin 6.z = -1 que se anule en su frontera si D es el
=
> O tiene
derivada continua
y q (x) es continua,
III
COl1
las
y (a) = O e 11 (b) = O
(2)
tiene la solucin nula (trivial) !I El O cualquiera que sea el valor real
o complejo de A.
168
de contorno.
J lu
(x)!
(3)
(PII'z+ qUa)dx
J y2
(4)
dx= 1.
()
EJEMPLO 1. Hallar
propia,
de la funcional
3
J (y (~)J =
J 2x +
3)2 y'2 -
y2J
dx
ti (O) = O,
Y (3)
O,
(5)
y2dx= 1.
O
SOLUCION. La ecuacin
de Sturm-Liouville
tiene la forma
d
-y-7iX
((2x+3)2tll ='J..y,
o sea,
(2x
(6)
Sil.
LOS VALORES
LAS PUNCIONES
PROPIOS
169
Mediante la sustitucin 2x
3 = tI la ecuacin (6) se reduce a la
ecuacin lineal con coeficientes constantes
d2y
dy
4 dt? +4dT+().+l)y=O.
(7)
+ 4k + )..+ I
I
kt,2=-'22"Y
Consideremos tres casos.
1) A < O. Entonces la solucin
=O
'1r-
-A.
y = Cle"tl + e.e"tf
donde k. y ka son nmeros reales; en consecuencia. la solucin genera)
de la ecuacin (6) es
y
las
condiciones
Cl (2x
de frontera
3)111
el
(2x
+ 3)"1.
(5) dan
Ct3"'+C23111=O. }
e19~t+C2~=O,
de donde el = O. Ct ==
2) A = O. Entonces
e y
'
5'
O.
y, por consiguiente,
e2=o,
o sea, ysO.
1
3) A. > O. Entonces ki
de la ecuacin (7) es
2=
y=e--r (CtCOS
V~ Y
-'2 i -2-
~I
t+C2sen
la solucin general
v:); t)
170
Pasando
DIRECTOS
la variab le x, obtenemos
CIC<>Sr~
In (2x+3)]
+c2sen[ ~ln(2x+3}]
Y2x+3
(v:
el cos
(~I
In3)+C2s~n
=0,)
In3)
V-
(9)
y-f
In 3) sen (
1(-T-
cos (-2por
X
lo
tanto.
~:
sen (Y~ln3-
4nZn2
x, 1:::I'"i'ii2'3
(n=
In 3)
In 9
= O;
In3)=0,
es
m'C,
es
decir,
sen x
1, 2, ... ).
4n2n2
= O.
/I.Jt
+ e,
de donde el
sen ns:
= O,
= O. Tomando
en (8) el
o y
= In23 ' obtenemos las funciones prop las del problema conside-
rado
sen
AA
[
In (2x+ 3) ]
In 3
de la condicin
) Y~l(x) dx= I
O
(n= 1,2, , .. ).
de normacin
LOS VALORES
IS.
Y LAS PUNCIONES
PROPIOS
17}
lo' que da
c.,. = :i:,Vr-21n3
y, por consiguiente,
2
Un (x)=
V13
sen [
M In (2X+3)J
1n3
V2x+3
224.
J [y (x) =
1 (y2+
y'2) dx;
y (O)= y (1) = O;
J !ldx=).
o
225. J(y(x)J=
X2y'2dx;
y(1)=y(2)=O;
t
2
J y2dx=
1.
i
e
226. J{y(x)l=
J (6l+X2y'2}dx;
1
y(I)=y(e)=O;
) yadx=
1.
1
2n
227. J (y (x)] =
J (y2_y'2)dx;
y(1C)=y(2n)=O;
JI
2n
J !ldx=
:n
228.
J[y(x)l=
J 13!1-(x+
1)2y'1l)dx;
y(O)=y(I)=O;
J y dx=J.
2
Il
J.
172
Los valores pror!OS y las funciones propias del problema variaconal (3), (2) Y (4 tienen varias propiedades importantes.
1) Si)..,., y t..n son dos valores propios diferentes de la funcional (3)
con las cori(ficiones (2) y (4) Y si 11m (x) Y !/n (x) son las funciones propIas que les corresponden, estas funcIones 11m (.x) e /In (x) son ortogonales. o sea,
b
Ym
(m
=1<
1\).
"'n
= An'
J"o
y'?' (x)
>-
Jo
y (O)=y (n)=U.
yZ (x) ox,
n
Determinemos
:SOLUCIN
el min
'"
) 112(x) dx= 1,
!I (O)=y (n)=O.
I (U (x)J =
(!I'a - Aya) d
o
tiene la forma
Y
+ 1.y = O;
y (O)
O,
y (n) = O.
Las funciones propias de este ltimo problema son !In (x) = sen nx
y los valores propios son ~ = fll.
El valor propIo mlnlmo es ~ = 1. Por eso, en virtud de la propiedad 4),
n
mln
J
O
y'2 (x)dx= l.
15.
LOS VALORES
En consecuencia,
Y LAS FUNCIONES
para cualquier
y2
(x) x = 1
tenemos
It
o
Esta
173
PROPIOS
desigualdad
y2 (x) dx.
no se puede
precisar
ya que para
Yl (x)=
sen x
li
se tiene
jo
J y?
Yi9(x)dx=
(x)dx=1.
.1(
OBSERVACIN. Si
anterior
introduciendo
= k2
-+
la funcin z (x)
y ~)
y'J. (x) dx
al
Empleando la definicin extremal de los valores propios. sealemos cmo pueden ser calculados aproximadamente
a partir del mtodo
de Ritz, Debe tenerse en cuenta que el mtodo de Ritz da una aproximacin por exceso del valor propio.
EJEMPLO 3. Hallar aproximadamente
el primer valor propio del
problema
y"
';.."y = 0,
y (-1) = y (1) = O.
SOLUCIN. El problema
sobre el mlnirno
de la funcional
{J'2
dx
-1
Y ( .- 1) = y (1)
=O
y2 dx = I
-t
es un problema isoperimtrico
mo de la funcional
y se reduce al problema
1
JIy (x)) =
-1
(y'2 -
'}..2y2)
dx
sobre el mini-
174
DIRECTOS
et cos 'A-Cz
sen A = O, }
C t cos A-\- C2 sen A = O,
(lO)
= .n;
I a t ercera armonrca
. . es y
3nx
= cos -2-'
= "23 n, etc.
A ttulo de comparacin, busquemos las soluciones pares (armnicas pares de la cuerda) aproximadas en forma de un polinomio segn
las potencias de x. Tomando las funciones coordenadas en la forma
'PI (x) =x21l-2_x211 (k= 1,2, ... ) minimicemos la funcional
J en las
m
=~
funciones 11m(x)
Ck'P" (x).
Limitndonos
II-t
=c!p (x), tendremos J
el
!~;.,z)
(x)J=-c~ ( : -
({JI
al
trmino
{JI (x)
y para determinar
obtendremos
oJ
IYt (x)]
.:Je1
Puesto que debe ser el
=F O, resulta
+ C!Pi
!~AZ) +2c
185-
(x).
encontramos
[Y2('~)]=C:
(~ -
l'2 (
1~5 A2)+
+ei (
y para determinar
iJJ[yz(xH_
Oc!
-Ct
iJJ!yz{x))
OC2
Ct
el
C2
1:- 3\~;'2) ,
obtenemos el sistema
(..!!-~A2)+
3
15
(J2.._~A2)-j.
15 105
Ca
c2
(~-.E_AZ)=O
15
105
(176_.2!.AZ)=O
105 .315
...I
J
S 15.
LOS VALORES
Y LAS FUNCIONES
PROPIOS
175
obtenido para
Al es
+ )..
planteemos
1 lb' (x)) =
-1
1: - ~: A) 7
2 (
+c2
Para determinar
oJ[!l2(X)]
OCI
al [Y2 (x)]
32
5&3~
T- 3465 A).
CI
=2
CI
(!_
128 'J..)..L2
(...!i_~i.)-O
'\I
3
104
5
45
-,
,C2
(~_~.)
+2
(32 _ 5888,)
-o
5
45 '"
C2
7
3465 '" - .
La condicin de existencia de solucin no nula de este ltimo sistema
lC2
el
da
52)..20- 1068j"
2079,.." O.
tomando la raz menor. encontramos AJ = 2,1715.
PRINCIPIO De RAJLEIGH. Supongamos que se tiene el problema de
valores prop os
de donde.
L(y)=-
:'" [P(,X)
:~J+q(x)y=~"r(x)y.
<11'1
(12)
nI; p
(x)
>
176
yL (y) d:c"> O.
En este caso el problema'de contorno (11) - (12) tiene solamente valores propios reales A.
Podemos poner en correspondencia a este problema de valores
propios el siguiente problema varlaclonal:
en tre todas las r unciones admisib les y (x) tajes que
b
> O.
r (:c) y2 dx
(13)
a
b
S
ha 11ar aque lla para la cua 1
IIL (y) dx
a
b
= m n.
r (x) g2 dx
S
Al
= mo
lIED
ti
~
a
gL (y) dx
o
ti
"'tL ('1>.)
dx
~~b ---
!r",~dx
r (x) y2 dx
r1j)y dx
=O
C1
~ yL(y)dx
_0-,-
= mln
~ ry2dx
el
tendr
"1>, (x).
LOS VALORES
16.
Y LAS FUNCIONES
PROPIOS
177
A. ~
Y el sistema
ortogonal
)'z ~
"PI
~ (x),
el valor
propio
Ah
. . ~
correspondiente
de funciones
'l'k
(x), . . .,
propias
(x).
S yL(y)
A.Mi
= mn
l'ED
_;;;a...
b-_-
'i f!J2 dx
(1
con la particularidad
de que Se consideran aquellas funciones admisibles y (x) que, a parte de (13), satisfacen las siguientes condiciones
complementarlas
b
>
S
Al
-<
!JL (y) dx
.:.;.1I"'b---
S ry2 dx
a
EJEMPLO 5. Valindose
en el siguiente
IIot """
1
~ yr'l. dx
(1_x2) dx
15
:n2
=4~
2,4674.
178
DIRECTOS
que
En el problema de la determinacin de los valores y de las funciones propios tambin se puede emplear el mtodo de Kantorvcn
(mtodo de reduccin a ecuaciones diferenciales ordinarias). Supongamos, por ejemplo. que en un recinto D se tiene la ecuacn
+ "-z = O
6.z
y que
zlr=O,
donde r es la frontera del recinto D.
Busquemos la solucin en la forma
m
Zm (x,.
Xn)
X2 ....
= 2j
a.h
k""t
escogiendo las funciones coordenadas q>k (x, y) y las funciones 0'.11 (x),
por ahora incgnitas. de modo que Zm (x, y) se anule en todos los
puntos de
Las funciones al (x), al! (z), ... O'.m (x) deben satisfacer el sistema de ecuaciones
r.
(k=I.2
[Mm+)..zmJIP)I(x,y)dy=O
.....
In)
(14)
D:f
6.z + AZ = 0,
donde el recinto
SOLUCIN,
z Ir = O
D es el rectngulo: -a ~ x ~ a, -b '" y ~ b,
Buscamos la solucin del problema en la forma
ZI (x, y)
(y2 -
ba)
a, (x).
-11
120'.,
+ IY2. -
'Z)
dy
= O.
15.
LOS VALORES
I.AS FUNCIONES
PROPIOS
179
o sea,
..!ib5ct+
(~b5"
15
15
__
al (-a)=at
(0)=0.
ai (x) = C I sen
( 15)
+ C2 <:05
'}.,---2":O"~Z-X
A- 2!; x,
Ct.:...O
Czcos
i..-
2;2
/'
no trivial slo si
,- 2b2 a=t2k-I)T;
hA =
En particular,
a=O;
(2k-I)2 n2
5
-1-
(2a)2
2b2
A, =
n2
(2a)2
10
+ 2b2
n2
n.2
Al = (2a)2 + 2b2'
El error es menor que 1.3%.
Para la primera funcin propia oh tenemos la aproximacin
zs(x, y) = (g2_
b2)
nx
COS 2Q'
+
+
problema
~z
AZ = O
z Ir = O,
RESPUESTAS E INDICACIONES
lo al 'mlD =0 en el punto (O. O); b) tmx = 1 en el punto (O. O);
e) no hay extremo. 2. No hay extremo. 3. f mili = -8 en los puntos
V2) y (V2); en el punto (O, O) no hay extremo.
4. !mln =O en el punto (O, O); en los puntos de la circunferencia
x2+y2= 1 hay mximo no estricto. 5, 'mx=
en el punto (1,-1).
eV2", -
V:2,
Vs
6. f mtn =4 en
el
a- 3113
R. fmlo--
punto (-},
en el punto
1, I ) . 7. f mln =
(2n
3'
2rc) ;
3""
3113
fmx=-g-
enelpunto
n2+n+2
( ~,
;).
9.
fmax:= ( n2;-~+2)
para x,=X2-='''=X",=
a.1t
cientes de Fourier
14. tmln =
de la funcin'
(x).
~h
-i-
en los puntos
(1,2,2) y (2,1,2);
(12
4 3'
7 3"
4) .
(3'
( :' !);
17,
fmx
=(!
18.
fm1n=1
fmllx = I1 en ,1 punto ( - ~ , - ~ ).
en el punto (-1
2. - 2); fmx =9
en el
punto
en
19.
el
punto
i-: = -9
RESPUESTAS
E INDICACIONES
~,
~).
4V5
22. c.
23. -5-'
26. El
a=R'V2.
y
1911'2
8
24.
181
21. Indicacin.
el
. 25. El cuadrado
V V5'
2-
de dimensin
r = ~ -,/2+
Hallar
V'S
2n+3
6
.36. PIOOl'=e.
Yn (x) = senn
b)
continua.
41.
a;
48.
-0,1
49. M
",S. llJ=-2-
O,J
6J
1
-0,1
0,01
0,01002
11J =a+
3(e2-1)
+6 (3-) 2+~.
4
a
e a
5'
0,1
0,01
50.
Continua.
1,2
-0,098
0,01
la sucesin
f,J
4,7919
6,6821
0,4963
0,4792
0,0479
a2
5; oJ =a.
"J _ 3 (e2_1)
u 4
a
0,0481
[erenciables. 51.
e-
sr
4,582
0,1
0,3158
0,03016
0,3
0,03
0,01
R,ESPUESTAS
182
5
54. tlJ--k+- 3
E INDJCACIONES
8
5
7' k2. tJJ=:rk
AJ
11
6J
2,810
0,1
0,01
4
55. M=Tk?;
0,181
0,0168
()J == O.
k
6J
O
O
O
1,3333
-1
0,3
0,03
b
J ~ydx.
57. 6J=
1,667
0,167
0,0167
0,1200
0,0012
58. 6J=2)
(y6y-y'
Oy'}dx.
a
1
59. 6J = 2y
6y {O) +
(x
O
n
80. 6J =
61.
(JJ
d.t.
62eF(I/)=eF(lI) {(6F)2
65.
J~
b
(J2J
m
LJ
a /l. 1-0
66. 67-J
= Jr Jr (F~
J'lF
ayO)
6y(lt)
6y(l1 dx.
m.
i, 11-1
1[ ~
+ 62FJ.
Oy(lI)
67.0'1.)=
Ux
z.trv
F;,lIkOy8YII+
~
t,
F;lIt6Yt{JY+
11-1
11
R.ESPUESTAS
68. Considerar
183
E INDICACIONES
la funcional
J [cp+a.TJJ=11> (a.)
Exigiendo
que
JK
=0.
encontramos que la -cuacn funcional de Euler, que expresa la anulacin de la primera var iacin, viene dada por
(pq')' - CJ' (x+2)-
71.
y=_x3,
72. y=
Sh~~~X)
.73.Dos
extremales
1
+ (3 + 2 V2) (2x-
y=
74. Dos extremales
+x)senx,
donde
1)2
1)
1I=1"(X+1)2
es
tt. Y="6"'-6X3,
X[e-x+(l+e)xe-x-IJ.
1
- '"6
",3+ 2.
(V2
78.
13
Y=6"'-
de Eu ler
no
.lit sen x
~O~
=(I-x)shx.
tiene
soluciones.
89.
y=Cj
1
. 97. y=2x.
98. La circunferencia
x3
100. U=T{x3+6x+f).
-t-C2"'- ~z. .
94. U=2chx
J
r
184
~ESPUESTAS
E I NDICACION.ES
104. g=+x2
J06.
105. {
2x,
x2.
2=-2+
Y==x-.{- (x3+5x-6l.
32+n2
8n
x.
107. { !I = sen x,
z=sen x,
{
Z
x2.
lOS.
11='""'2+1,
{
z=
1.
j}z ) 2 iJ2z
( iJz ) 2 iJ2z
110. ( Tx
'aX2+ ay ay2 =f(x,
n
112.
a [ aj(x,.
~""'liX""
1
1-
Xn)
X2
~
ox
y).
+c(x,.
, '.
xu) z=
X2
, Xn)
X2
= f (XI,
113. Solucin. El planteam lento
del problema
es el siguiente.
ptano xOy y que pasan por cierta curva cerrada alabeada cuya proyeccn es la curva frontera r del recinto D.,!ha llar la superficie 'cuyo
lea
s
=j
lVI +
IP!
+ cp; dx dy
!)
CP,t:
"1X VI +CP~+CP~
+..!..
~g
dHerencial
IPy
de Euler
1f1 +q>!+II'~
o en forma desarrollada
11'_ (1 + II'~)- 2CPzl{q>z<p,,+ CPvv(1 +q>!) =0.
Esta es la ecuacin diferencial buscada de las superficies de rea
mnimo. La realizacin stca de la superficie de rea mlnma se puede
obtener, por ejemplo, con una pelicu la de jabn tendida sobre un lazo
de alambre.
114. Z (x, 11) = y. El problema tiene solucin nica aunque las
condlcones de frontera no se dan CIl toda la frontera.
RESPUEST
115. r cos
IP+ea
AS E I NDICi\CIONF.$
= el In I r sen
185
y= ~ (l-x2)
y=Cx~
puede ser
Ij=e>.:
x; .
:c -
131. Y ( ~
-x)
0+ (l. O).
133.
134. No hay punto conjugado. 135. Se cumple. 136. Se cumple cualquiera que sea a. 137. La condicin de Jacobi se cumple. La extremal
11=0 se puede incluir tanto en un campo central como propio de extrema les. 138. La condicin de Jacobl se cumple. La extremal y =
!..=.l.. x+ 1
(l
de extremales con
J;2
.149. Se alcanza
mntmo
dbil
.
160. Se alcanza mnimo uerte en la curva y
en
b
y=- x ,
la recta
In (I+x)
1n 2
. 151. Se al-
n la extrernai y
y mxmc
=!_ x
a~l>j) ;i
se alcanza
No
mnimo
db i1 si lb'
hay extremo
si
<~
V2
I I = ';-2 .
RESPUESTAS E INDICACIONES
186
158. Si P =F q,
se alcanza
= {[(lfI2
p3/2'] x+p3/2)2.;
que ofrece mnimo db il.
x
-v=;-
el
realiza
Vs
1
le I > nz'
rnntmo
sh
fuerte de la funcional.
sen--=-
b) Si
E,
<O Y
la
extrernal
U=
x.
V~I
t;
sen V le I
no existe solucrn
di!! problema
e) S e =O.
en la clase de Iunclones
extremal
x-I
(x)
={
O~x<l.
O,
l.
2 In (1
x=L
.i,
In 2'
x)
V3
a> -2-;
. a=-2-'
b
V3
. b
51
dbil.
SI
realiza
g (x)
= 1.
el mnimo
fuerte.
162. En la extremal
b
V3
a<-2-
,-
y rnaxrmo
no se a Icanza rn'..
siquiera
d eb ilI
e I ex t remo
y3
es la parbola
{ ~:.:~
!J"~x
'Va.
cen-
tral de extremales
( 1)
RESPUESTAS
187
E 1NDICACTONES
asx = (%2X,
x2 + ~tx= x"+ ~"x.
De aqu resulta que <x, =(%2 Y que ~. = ~z. Luego, no hay dos extremales distintas que se corten. Por consiguiente, la condicin reforzada
de Jacob i se cumple en el segmento rO. 1) e incluso en cualquier segmento de lonttud finita. 166. La familia de extremales es y (x) =
=e,
ch
X~l
el
y Cz y el parme-
de las condiciones
tro ). se determinan
xo-Ca
el
!lo= ,eh
A.,
lCt
) 1f1"'+7i dx= el
(Sh Xl"Z. C
xo-c" )-1
el
Sh
- .
XI)
+ezCJ)
=3X2+2x+J.
V4S
172.
V'Ti
--2-.179.
,/"173. V 20.114.2
Ir
r 17+4
,r
V 2-1. rrs,
v- (5"2-'1/"-)
6
V 6
o sea
y=e,senx,
z= -
J (A, B) = 4 cth 1.
e,senx,
Xl
= ;
siendo
183. J (A. B) =
. 180. 1. 181. Si
en la recta
+ me. donde
e"
~ .
VIO
----ro'
t1
Z=O
En
es un nmero entero.
=F O,
COS Xi
y=O,
{
178.
= 2x2/3
182.
Y=TX
realiza el mximo
dbil.
186. y=
-)C
para
188
Rr;SPUESTAS
INDICACIONES
0<:1;
y=x-2para
1<x-<4cy=xparaO~x~3;
y=-x+6
para 3 <x
4. En ambas quebradas la funcional alcanza su mnimo
O, :<-<0,
a b soIuta. 187. No existen. 188. y = {
189. Las extremales
<
YZ-Y1
;(2-Xl
1<
x, x>O.
nuas que son lneas quebradas paralelas a las bisectrices de los ngulos coordenados. 190. La recta y =.dg (j) Que pasa por los puntos fijos
realiza mximo dbil si O<tgcp<n,
realiza mnimo dbil si n<
< tg!jl < 2.n, etc, El mnimo Iuerte se alcanza en la lnea quebrada
formada por segmentos de rectas tales que la tangente de los ngulos
de su inclinacin es igual a 4n;- I n (n es un nmero entero).
3
191-
t ~V9.-
(xl"
'" x""5'
16 ,_
(x- 5)2.
,/ 34
5 ",-x.o:::,5'
_ 3(x-10)
16
O "
Tx,
34
5<x<10.
193.
195
.!!!L
= P21
P2
~ 2!h '
= 4p2
11x2"'
dx
dPl =0
dx
e/PI
'""dT =
-11,0;,
dp
)',2y2
dX
dx
x'l.y
P
, dp =
y2_ p?
dx
'dx
=..E!.
2'
dY2
...EL
2yf
'
dy
='2;)' 194.
dp2
dx
!J
11",2+ y2_
P
2xy'
dp
J96.
p2
p2
dx = 4xy'l.
dY1 =
dx
p~
198.
'J'xf
.-
~t.
~~2 =11P'l..
~ESPUESTAS
:~I
=2x,
=C,
~~ =0.
199. yJ=C1x3+C2.
dy
11G2(y)_Q
200. y3=ln2x.
ruer t e:
'
a 1canza e 1 mmimc
189
E INDICACIONES
J = --5
mm
. 203'.
201. x""
x2_x_1
11=
p (x, y)
s~
1122xyXl
-v
*+
V-:::yt2.
==v(
;2) (X211'2.+1I2).
La integral de la accin es J =
trayectorias
XZ
J JI'
213. Indicacin.
V p2_f-p'2dcp.
p~ +2h
t=
2 ces fi
+ -2h2y2
C - V
. C (2h-C)
214. Las
sen2 ~
xy =- ..
- .
1<
son a) y c= O, b) y=x.
es y = cos
coordenada; entonces,
=X2+y2,
n: .
= (l_x2)
rt
altx211.
La
50-
cpdx, y)=xy(l-x-y),
11n (x)
b2+a2
_ ~2)
218.
11... 0
b2-a2
Zt
(x2-x).
lP2,(x,y}=x2y(l-x-y)
...
como (unciones coordenadas; entonces,
11)[3,0401-0.0562 (x+x2)]. 222. Indica-
aproximacin
entonces
en la forma
4dx. y) = _ ~
zl
(x, y) = ( y2 _
(1- ~) (112-
;2 ).
190
223.
=1
RESPUESTAS
2'1
3 ( yZ-'31)
(x, y)='4
x2
+ n .n
Un (x) =
Z 2
_lnz2+4nZrZ
-
4I
z2
fin (X )-_ +
_
V!
(I._
35
2.35
1_36X-I_3&X-5-1
V'2 senVi(nn In x)
_
Ylny2Vx
000
(n -
(n = 1, 2, " .).
l= sen (To;-Inx)
' !In (x -
sen sx
E INDICACIONES
I , 2
225.
226'
"'n =
_.
) 2"7'
lO.
"'/1
. 224.
"-n=
h.n =
25+2n2.nZ
4
Z
= 1-I\,!/n
(X
'
)
(1\= 1, 2, ... ).
228.
131n22+4n2n2
41n22
nn In (I+x) ]
sen [
In 2
,r----'=,r
V
In
1 +x
... ).
-<
:S.
13
El valor exacto
-<
Zt
(x, JI)
= IX (x2 -1- y2 -
1).
A NUESTROS LECTORES:
MIR-RUBIOS 1860 edita libros soviticos traducidos al espaol. Entre ellos figuran las mejores obras
de las distintas ramas de la ciencia y la tcnica: manuales para los centros de enseanza superor y escuelas tecnolgicas; literatura sobre ciencias naturales y
mdicas. Tambin se incluyen monografas, libros de
divulgacin cientfica y ciencia ficcin.
Dirijan sus opiniones a MIR-RUBIOS
1860.
tpicos ilustrativos.
Este manual contiene ms de
100 ejemplos analizados y 230
problemas destinados para resol-
problemas se acompaan
con
las respuestas, otros, con las
reereneiss de cmo deben resolverse.
La obra est destinada para los
estudiantes de centros de enseanza tcnica superior que se
especializan en los clculos matcmtees.
ISBN 84-604-1605-4