Calc Variacional - Soldovieri PDF

Clculo Variacional
con fronteras fijas 2016

Actualizacin # 00 (00/00/16)
Desde el 2015
(EN REDACCION Y REVISION)
NUEVO
Coleccin Soldovieri de textos de Ciencia
Con numerosos ejemplos y problemas SOLDOVIERI

propuestos, adems de una presentacin
que facilita la comprensin del contenido. LA UNIVERSIDAD DEL ZULIA
ADVERTENCIA
TEXTO EN
REDACCION Y
REVISION
SOLDOVIERI C., Terenzio
Por Terenzio Soldovieri C. fecha 18:49 , 20/02/2016
CALCULO VARIACIONAL
CON FRONTERAS FIJAS
1era edicin (preprint)

(EN REDACCION Y REVISION)
Comenzado en 12/2015 - Actualizacin # 00 (XX/XX/2016)
Escrito usando LATEX
Copyright c 2016 Terenzio Soldovieri C.

? ? ? ? ? ? ??
Soldovieri C., Terenzio
Profesor Agregado
Departamento de Fsica
Centro de Modelado Cientfico (CMC)
Facultad Experimental de Ciencias (FEC)
La Universidad del Zulia (LUZ)
Maracaibo, Estado Zulia
Repblica Bolivariana de Venezuela
tsoldovieri@fec.luz.edu.ve - tsoldovieri@gmail.com
PIN: 568EEB0F www.cmc.org.ve/tsweb +584124271575

Deja tus comentarios en el libro de visitas de mi web!
Coleccin Soldovieri de textos de Ciencia.
Copyright c 2016 Soldovieri C., Terenzio.
Todos los derechos reservados.
Editorial: (por establecer)
ISBN: (por establecer)
Repblica Bolivariana de Venezuela.
Grficos: Soldovieri C., Terenzio.

Portadas: Soldovieri C., Terenzio.
Escritura electrnica: Soldovieri C., Terenzio.
Procesador: este libro fue elaborado usando LATEX.
Web del autor: www.cmc.org.ve/tsweb
Coleccin Soldovieri de textos de
Ciencia
Fsica General - Una introduccin a los Fluidos, Vibraciones y Termodinmica.
Introduccin a la Mecnica de Lagrange y Hamilton.
Introduccin a la Mecnica de Lagrange y Hamilton - Solucionario (En

Proyecto).
El Angulo Slido y algunas de sus aplicaciones (Coautor).
La Transformacin de Legendre para Estudiantes de Ciencias.
Clculo Variacional con fronteras fijas.
Coordenadas Generalizadas, Exorcisadas (En Proyecto).
Mecnica Clsica (En Proyecto).
? ? ? ? ? ? ??
LEONHARD EULER 1707 - 1783
Leonhard Euler 1707 - 1783
(Basilea, Suiza, 1707 - San Petersburgo, 1783) Matemtico suizo. Leonhard Euler fue
un matemtico suizo, cuyos trabajos ms importantes se centraron en el campo de las
matemticas puras, campo de estudio que ayud a fundar.
Euler naci en Basilea en 1707 y estudi en la Universidad de Basilea con el matemtico

suizo Johann Bernoulli, licencindose a los 16 aos. En 1727, por invitacin de la emper-
atriz de Rusia Catalina I, fue miembro del profesorado de la Academia de Ciencias de
San Petersburgo. Fue nombrado catedrtico de fsica en 1730 y de matemticas en
1733.
En 1741 fue profesor de matemticas en la Academia de Ciencias de Berln a peti-

cin del rey de Prusia, Federico el Grande. Euler regres a San Petersburgo en 1766,
donde permaneci hasta su muerte.
i
Aunque obstaculizado por una prdida parcial de visin antes de cumplir 30 aos y
por una ceguera casi total al final de su vida, Euler produjo numerosas obras matemti-
cas importantes, as como reseas matemticas y cientficas.
En su Introduccin al anlisis de los infinitos (1748), Euler realiz el primer tratamiento

analtico completo del lgebra, la teora de ecuaciones, la trigonometra y la geometra
analtica. En esta obra trat el desarrollo de series de funciones y formul la regla por la
que slo las series convergentes infinitas pueden ser evaluadas adecuadamente.
Tambin abord las superficies tridimensionales y demostr que las secciones cni-
cas se representan mediante la ecuacin general de segundo grado en dos dimen-
siones. Otras obras trataban del clculo (incluido el clculo de variaciones), la teora
de nmeros, nmeros imaginarios y lgebra determinada e indeterminada.
Euler, aunque principalmente era matemtico, realiz tambin aportaciones a la

astronoma, la mecnica, la ptica y la acstica. Entre sus obras se encuentran Insti-
tuciones del clculo diferencial (1755), Instituciones del clculo integral (1768-1770) e
Introduccin al lgebra (1770).
Euler tena una memoria prodigiosa; recordaba las potencias, hasta la sexta, de los
100 primeros nmeros primos, y la Eneida entera. Realizaba clculos mentalmente que
otros matemticos realizaban con dificultad sobre el papel.
La productividad matemtica de Euler fue extraordinaria. Nos encontramos su nom-

bre en todas las ramas de las matemticas: Hay frmulas de Euler, polinomios de Euler,
constantes de Euler, integrales eulerianas y lneas de Euler. A pesar de todo esto se cas
y tuvo trece hijos, estando siempre atento al bienestar de familia; educ a sus hijos y
nietos.
Muri el 7 de septiembre de 1783.
Tomado de la web: AstrMa

http://www.astromia.com/biografias/euler.htm
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016. Pg.: ii
DEDICATORIA
El presente texto que he logrado con gran esfuerzo, tenacidad y luchando contra
todas las adversidades que he tenido que enfrentar en mi vida acadmica y, especial-
mente, personal se lo dedico de todo corazn, al igual que todos mis otros textos:
A mi difunto padre Raffaele Soldovieri Mastursi y a mi madre Rita Elena

Carmona.
A a mis hijos Terenzio Jos Soldovieri Martnez y Marchello Soldovieri Car-
mona.
A mi compaera de vida Yeldri Yolaura Chourio Herrera. Mi hermosa,
tierna y muy tropical negra-novia. La persona que, con su amor y atencin
desinteresada, ha hecho de mi una nueva persona.
Se lo dedico tambin a todos los que fueron mis estudiantes en la Licenciatura de

Fsica de nuestra muy ilustre Universidad del Zulia, nuestra indudable Alma Mter, a to-
dos aquellos estudiantes que no lo fueron y aquellos de otras universidades de nuestro
pas y del extranjero que estudian Fsica y carreras afines que, con esfuerzo y sacrificio,
liberan obtculos tras obtculos para conseguir sus sueos. A todos ellos, especial-
mente, me debo y son la razn de todo el presente esfuerzo acadmico.
iii
AGRADECIMIENTOS
A
qu van los agradecimientos.
iv
INDICE GENERAL
PREFACIO vii
1 DEFINICIONES BASICAS Y PLANTEAMIENTO DEL PROBLEMA VARIACIONAL

A ESTUDIAR 1
1.1 Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Variacin de una funcin y de una funcional . . . . . . . . . . . . . . . . . . . 4
1.2.1 Variacin de una funcin de una variable independiente . . . . . . . 4
1.2.2 Variacin de una funcional de n variables dependientes y una vari-
able independiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Problema variacional a estudiar . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 CALCULO DE EXTREMALES SIN RESTRICCIONES 18
2.1 Para una variable dependiente Ecuacin de Euler . . . . . . . . . . . . . . 18

2.2 Segunda forma y forma integrada de la Ecuacin de Euler . . . . . . . . . . 26
2.3 Para mltiples variables dependientes Ecuaciones de Euler - Lagrange . 33
3 CALCULO DE EXTREMALES CON RESTRICCIONES 40
3.1 Restricciones del tipo Al [yi (x) ; x] = 0 . . . . . . . . . . . . . . . . . . . . . . . . 42

3.1.1 Forma implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.2 Forma explcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2 Restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 . . . . . . . . . . . . . . . . . . . . 64
v
INDICE GENERAL
el = P Alj [yi (x) ; x] y 0 (x) + Bl [yi (x) ; x] = 0 . . . . . . . . 68

n
3.3 Restricciones del tipo D j
j=1
R x2
3.4 Restricciones del tipo isoperimtrico x1 gl [yi (x) ; yi0 (x) ; x] dx = %l . . . . . . . . 81
4 EJERCITACION 93
A GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 -

1813 111
B SIR WILLIAM ROWAN HAMILTON 1805 - 1865 119
C PIERRE DE FERMAT 1601 - 1665 122
D MULTIPLICADORES DE LAGRANGE 126
E RENE DESCARTES 1596 - 1650 127
F JOHANN FRIEDRICH PFAFF 1765 - 1825 130
G FORMA PFAFFIANA 134
H LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES 135
BIBLIOGRAFIA 137
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016. Pg.: vi
INDICE DE FIGURAS
1.1 Superficie de revolucin generada por una curva y = y (x). . . . . . . . . . . 4

1.2 Camino real y (x) y camino variado ye (x). Diferencia entre y y dy. . . . . . . 5
1.3 La funcin y (x) es el camino que hace que el funcional J tome un valor
extremal. Las funciones y ( ; x) = y (x) + (x) = y (x) + y (x) son las fun-
ciones vecinas, donde (x) se anula en las fronteras del intervalo [x1 ; x2 ]. . . 6
1.4 Funcin y (x) = 3x entre los lmites de x = 0 y x = 2 y dos de sus variaciones
y ( ; x) = 3x + [Sen (x) Cos (x) + 1]. . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Funcin y (x) = x2 entre los lmites de x = 1 y x = 1 y dos de sus variaciones
y ( ; x) = x2 + (x3 x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1 Superficie de revolucin generada por una curva que une a los puntos
(x1 ; y1 ).y (x1 ; y1 ), hacindola trasladarse entrono al eje y. . . . . . . . . . . . . 24
2.2 Partcula de masa m que se desplaza sobre una rampa lisa desde el punto
P1 hasta el punto P2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Planteamiento grfico del problema de la Braquistcrona. . . . . . . . . . . 29
2.4 Camino resultante para que la partcula se mueva desde (x1 ; y1 ) = (0; 0)
hasta (x2 ; y2 ) = (d; h) en el menor tiempo posible. . . . . . . . . . . . . . . . 30
2.5 Pelcula de jabn entre dos anillos concntricos de radio a y separados
por una distancia 2d. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1 Geodsicas sobre una esfera. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

3.2 Distancia ms corta entre dos puntos del plano. . . . . . . . . . . . . . . . . . 48
3.3 Geodsicas en un cilindro circular recto de radio R. . . . . . . . . . . . . . . 50
3.4 Funcin y (x) cuya rea por ella encerrada ha de maximizarse. . . . . . . . 86
3.5 Cuerda de longitud ` colocada entre las orillas de un ro de ancho 2a. . . . 88
vii
INDICE DE FIGURAS
4.1 Problema 70. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
H.1 Funcin arbitraria (x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016. Pg.: viii
PREFACIO
A
qu va el Prefacio.
Terenzio Soldovieri C.
ix
PREFACIO
Albert Einstein 1879 - 1955
Todos somos muy ignorantes. Lo que ocurre es que no todos ignoramos

las mismas cosas. Lo ms incomprensible del Universo, es que sea compren-
sible. Lo importante es no dejar de hacerse preguntas. Nunca consideres
el estudio como una obligacin, sino como una oportunidad para penetrar
en el bello y maravilloso mundo del saber. La alegra de ver y entender es
el ms perfecto don de la naturaleza.
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016. Pg.: x
CAPITULO 1
DEFINICIONES BASICAS Y
PLANTEAMIENTO DEL PROBLEMA
VARIACIONAL A ESTUDIAR
El Clculo Variacional constituye una de las herramientas matemticas bsicas

para estudiar la Mecnica de Lagrange y la Mecnica de Hamiltony en Mecnica
Clsica [Ref. 1, 2, 3, 4]. El contenido de este captulo se desarrollar hacindose nfasis
en aquellos aspectos de la teora de variaciones que tienen una aplicacin directa en
los sistemas clsicos, omitiendo algunas pruebas de existencia.
Contenido
1.1 Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Variacin de una funcin y de una funcional . . . . . . . . . . . . . . . 4
1.2.1 Variacin de una funcin de una variable independiente . . . . . . . . . . 4
1.2.2 Variacin de una funcional de n variables dependientes y una variable
independiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Problema variacional a estudiar . . . . . . . . . . . . . . . . . . . . . . . 11
Vase apndice A para una biografa resumida.

y
Vase apndice B para una biografa resumida.
1
CAPITULO 1. DEFINICIONES BASICAS Y PLANTEAMIENTO DEL PROBLEMA VARIACIONAL A
ESTUDIAR
1.1 Funcional
Se denomina Funcional a una funcin J que toma funciones como

su argumento, es decir, una funcin cuyo dominio es un conjunto de fun-
ciones.
En el caso de las funciones a cada nmero le corresponde otro nmero, mientras

que, en el caso de las funcionales a cada funcin le corresponde un nmero.
Para los propsitos del presente texto se considerarn slo funcionales dependientes
de varias funciones de una variable ya que sern de importancia para estudios en
captulos posteriores, es decir, las funcionales a considerar tendrn la dependencia
general,
J = J [y (x)i ; y 0 (x)i ; x], con i = 1; 2; 3; : : : ; n (1.1)
donde,
1. n es el nmero total de funciones y (x)i y el nmero total de sus derivadas y 0 (x)i =

dyi (x)
dx
.
2. y (x)i son las variables dependientes.
3. x es la variable independiente.
4. El punto y coma separa la Variable Independiente de las Variables Dependientes.
En el caso de n = 1 se tendr la dependencia,
J = J [y (x) ; y 0 (x) ; x]
que es el caso dependiente de una funcin o de una variable dependiente.
De forma anloga, es posible definir tambin las funcionales dependientes de varias

funciones de varias variables independientes.
Un caso especial de funcionales son las denominadas Funcionales Integrales,

Z x2
J= f [yi (x) ; yi0 (x) ; x] dx, con i = 1; 2; 3; : : : ; n (1.2)
x1
de una variable independiente, n variables dependientes y donde x1 y x2 son canti-

dades fijas. Estas son las funcionales que van a ser consideradas en el presente cap-
tulo.
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016. Pg.: 2
ESTUDIAR
...............................................................................................
EJEMPLO 1.1
Algunos ejemplos de Funcionales.
(a) Sea N = C [0; ] el conjunto de todas las funciones continuas y (x) definidas en el
intervalo [0; ], y sea, Z
J= y (x) dx (1.3)
0
una funcional que a cada funcin y (x) 2 C [0; ] le asocia un valor determinado por
J [y (x)] entonces:
(a.1) Si y (x) = x, Z
J= xdx
0
1 2
J= 2
(b.2) Si y (x) = Cos2 x, Z

J= Cos2 xdx
0
1
J= 2
x2 3
(c.3) Si y (x) = e x, Z
x2 3
J= e x dx
0
h i
1 2 2
J= 2
1 (1 + )e
(b) El rea A de la superficie de revolucin generada al hacer girar una lnea que
une dos puntos fijos (x1 ; y1 ) y (x2 ; y2 ) en torno a un eje coplanar con los dos puntos (ver
figura 1.1), es una funcional que viene dada por,
R x2 1
A=2 x1
x (1 + y 02 ) 2 dx (1.4)
dy(x)
donde y 0 (x) = dx
.
...............................................................................................
ESTUDIAR
Figura 1.1: Superficie de revolucin generada por una curva y = y (x).
1.2 Variacin de una funcin y de una funcional
1.2.1 Variacin de una funcin de una variable independiente

Se denomina Variacin y (x) de una funcin y (x), que ser denominada Camino Real,
a la diferencia entre la funcin y (x) y la funcin ye (x), es decir,
y (x) = y (x) ye (x) (1.5)
donde ye (x) representa un Camino Variado a partir del Camino Real (ver figura 1.2). Los
caminos variados deben cumplir con la condicin de que y (x) debe anularse en las
fronteras del camino x1 y en x2 , como se muestra en la misma figura.
En la figura 1.2 se observa que no existe un x asociado a un y, condicin que con-
trasta con el proceso de diferenciacin en el cual cualquier dy est asociado a un dx.
En vista de la anterior observacin se puede decir de y es, simplemente, la distan-
cia vertical entre dos puntos de diferentes curvas para un determinado valor fijo de x,
mientras que dy es la distancia vertical entre dos puntos de la misma curva, separados
por una distancia dx. Por lo tanto,
La variacin y (x) de la funcin y (x) se define como un cambio arbi-

trario infinitesimal en y (x) para un valor fijo de la variable x, es decir, para
x = 0. El operador es denominado Operador Variacional.
ESTUDIAR
Figura 1.2: Camino real y (x) y camino variado ye (x). Diferencia entre y y dy.
La idea anterior puede ser generalizada diciendo que,
El operador representa un pequeo cambio (infinitesimal) de una

funcin donde la variable independiente permanece fija, por lo que es
dy
posible obtener la variacin de la funcin dx .
Matemticamente el smbolo variacional tiene las mismas propiedades del sm-

bolo diferencial d, al igual que para los desplazamientos virtuales como se haba men-
cionado en el captulo anterior.
El operador tiene las siguientes propiedades:

dy
1. Puesto que y (x) = ye (x) y (x) la variacin de dx
vendr dada por,
dy de
y dy d d
= = (e
y y) = ( y)
dx dx dx dx dx
en consecuencia el operador es conmutativo con el operador diferencial,
dy d
dx
= dx
( y) (1.6)
2. De forma similar se puede mostrar que el operador tambin es conmutativo con el

operador integral,
R R
Mdx = ( M) dx (1.7)
ESTUDIAR
La variacin y puede ser interpretada fsicamente como un de-

splazamiento virtual (ya estudiados en el captulo anterior) a partir del
camino y (x).
Figura 1.3: La funcin y (x) es el camino que hace que el funcional J tome un valor extremal. Las fun-
ciones y ( ; x) = y (x) + (x) = y (x) + y (x) son las funciones vecinas, donde (x) se anula en
las fronteras del intervalo [x1 ; x2 ].
Los caminos variados ye pueden ser, a partir de (1.5), construidos mediante (ver figura
1.3),
y ( ; x) = y (0; x) + (x) (1.8)
| {z } | {z } | {z }
y (x)
=e =y(x) = y(x)
donde y ( ; x) = ye es el camino variado, y (0; x) = y es el camino real, (x) es una funcin

auxiliar que introduce la variacin, es un parmetro (un escalar) que regula a (x) y
(x) = y (x)es la variacin del camino real. La funcin auxiliar (x) debe anularse en
las fronteras del camino x = x1 y x = x2 ,
(x1 ) = (x2 ) = 0 ) y (x1 ) = y (x2 ) = 0 (1.9)
debido a que el camino variado y ( ; x) debe ser idntico a y (x) en las fronteras del
camino. Por simplicidad, se supondr que y (x) y (x) son continuas y no singulares en
el intervalo [x1 ; x2 ] con primera y segunda derivada continua en el mismo intervalo.
ESTUDIAR
Se denomina Variacin Admisible de la funcional integral J a

cualquier variacin que cumpla con la condicin (1.9).
1.2.2 Variacin de una funcional de n variables dependientes y una

variable independiente
La variacin J de una funcional J = J [y (x)i ; y 0 (x)i ; x] se define como,
J yei (x) ; yei (x)0 ; x J yi (x) ; yi (x)0 ; x

J = lim
!0
2 3
6 7
J 4yi (x) + i (x) ; yi0 (x) + 0
i (x); x5 J yi (x) ; yi (x)0 ; x
| {z }
Por (1.8)
= lim
!0
@
= J [yi (x) + i (x) ; yi0 (x) + 0
i (x) ; x]
@ =0
es decir,
@
J= @
J [yi (x) + i (x) ; yi0 (x) + 0
i (x) ; x] =0
(1.10)
A la variacin (1.10) se le denomina Primera Variacin de la funcional J. Es posi-

ble calcular una Segunda Variacin de la funcional J pero no ser considerada en el
presente captulo.
Se puede mostrar que:
@J @J
1. J = @yi
yi + @yi0
yi0 puesto que x = 0.
2. (aJ1 + bJ2 ) = a J1 + b J2 linealidad.
3. (J1 J2 ) = J1 J2 + J1 J2 .
Es posible mostrar otras. En fin, el operador tiene propiedades anlogas al del

operador diferencial d.
...............................................................................................
EJEMPLO 1.2
Hallar la variacin de la funcional,
Z b
J= (x + y) dx
a
ESTUDIAR
donde a y b son fijos.

SOLUCION: al aplicar la variacin a ambos miembros,
Z b
J= (x + y) dx (1.11)
a
Como a y b son fijos permite introducir el smbolo en la integral, por lo que es posible
escribir, Z b
J= (x + y) dx (1.12)
a
que resulta en,

Rb
J= a
ydx (1.13)
...............................................................................................
EJEMPLO 1.3
Z b
J= y 2 + y 02 dx
a

Z b
J= y 2 + y 02 dx (1.14)
a
Como a y b son fijos permite introducir el smbolo en la integral, por lo que es posible
escribir, Z b Z b
2 02
J= y + y dx = (2y y + 2y 0 y 0 ) dx (1.15)
a a
que resulta en,

Rb
J =2 a
(y y + y 0 y 0 ) dx (1.16)
...............................................................................................
EJEMPLO 1.4
Z 1
2
J = y (0) + xy y 02 dx
0
ESTUDIAR
Z 1 Z 1
2 02 2
J= y (0) + xy y dx = y (0) + xy y 02 dx (1.17)
0 0
que resulta en,

R1
J = 2y (0) y (0) + 0
(x y 2y 0 y 0 ) dx (1.18)
...............................................................................................
EJEMPLO 1.5
Z
J= y 0 Sen ydx
0

Z Z
0
J= y Sen ydx = (y 0 Sen y) dx (1.19)
0 0
que resulta en,

R
J= 0
(Sen y y 0 + y 0 Cos y y) dx (1.20)
...............................................................................................
EJEMPLO 1.6
Z b
J= y 2 dx
a

Z b Z b Z b
2 2
J= y dx = y dx = 2y ydx (1.21)
a a a
que resulta en,

Rb
J =2 a
y ydx (1.22)
...............................................................................................
ESTUDIAR
EJEMPLO 1.7
Z b
J= f [yi (x) ; yi0 (x) ; x] dx, con i = 1; 2; 3; : : : ; n
a
donde f es una funcin continua de sus argumentos y sus derivadas parciales respecto
a todos los argumentos son continuas en un recinto acotado G de variacin de los
mismos. Los lmites de integracin a, b son fijos, yi (x) = fy1 (x) ; y2 (x) ; y3 (x) ; : : : ; yn (x)g y
yi0 (x) = fy10 (x) ; y20 (x) ; y30 (x) ; : : : ; yn0 (x)g = dydx
i (x)
.
Z b Z b
J = f [yi (x) ; yi0 (x) ; x] dx = f [yi (x) ; yi0 (x) ; x] dx
a a
Z b
@f @f @f @f @f @f
= y1 + y2 + y3 ; : : : ; yn + 0 y10 + 0 y20
a @y1 @y2 @y3 @yn @y1 @y2
@f @f
+ 0 y30 ; : : : ; 0 0 yn dx
@y3 @yn
Z b X !
n
@f X n
@f 0
= yi + y dx (1.23)
a i=1
@yi i=1
@yi0 i
que resulta finalmente en,
Rb P
n
@f @f
J= a @yi
yi + @yi0
yi0 dx (1.24)
i=1
Este es el resultado pedido pero, sin embargo, es posible hacer la integracin del
segundo trmino entre parntesis. En efecto, de (1.24) es posible escribir que,
Z bXn Z bX n
@f @f 0
J= yi dx + 0
yi dx (1.25)
a i=1 @yi a i=1 @yi
| {z }
I
Se proceder ahora a integrar I por partes,

Z bXn Xn Z b Xn Z b
@f 0 @f 0 @f d
I= 0
yi dx = 0
yi dx = ( yi ) dx (1.26)
a i=1 @yi i=1 a
@yi i=1 a
@yi0 dx
Z Z (
@f
u= @yi0
udv = uv vdu, con d
(1.27)
dv = dx ( yi ) dx = d ( yi ) ) v = yi
ESTUDIAR
de manera que, " #

X
n b Z b
@f d @f
I= yi yi dx (1.28)
i=1
@yi0 a a dx @yi0
y si se supone que yi es una variacin admisible (ver seccin 1.2.2), entonces debe
anularse en a y b de manera que,
b
@f
y i =0 (1.29)
@yi0 a
de aqu que (1.28) resulte en,
X n Z b Z bXn
d @f d @f
I= yi dx = yi dx (1.30)
i=1 a dx @yi0 a i=1 dx @yi0
Finalmente, al sustituir (1.30) en (1.25) resulta,

Z bX n Z bX n
@f d @f
J= yi dx yi dx
a i=1 @yi a i=1 dx @yi0
o,
n h
Rb P i
@f d @f
J= a @yi dx @yi0
yi dx (1.31)
i=1
...............................................................................................
1.3 Problema variacional a estudiar
El problema variacional que se abordar en el presente captulo es

el de determinar las funciones yi (x) = fy1 (x) ; y2 (x) ; y3 (x) ; : : : ; yn (x)g tales
que la integral,
Z x2
dyi (x)
J= f [yi (x) ; yi0 (x) ; x] dx, con yi0 (x) = ; x1 ; x2 fijos e i = 1; 2; 3; : : : ; n
x1 dx
(1.32)
bajo las condiciones de frontera,
(
yi (x1 ) = ai
, con i = 1; 2; 3; : : : ; n; ai y bi constantes
yi (x2 ) = bi
tenga un valor estacionario, es decir, que resulte un valor extremal (un

mximo o un mnimo) considerando slo las limitaciones que imponen
las mencionadas condiciones de frontera o cuando, adicionales a ellas,
se consideran restricciones que involucran las yi (x) y sus derivadas yi0 (x).
ESTUDIAR
A las funciones yi (x) as obtenidas se les dar el nombre de Funciones Extremales o

Caminos Extremales de J.
Existen leyes de la Fsica que se apoyan en la afirmacin de que una determi-

nada funcional alcanza su mnimo o su mximo en una determinada situacin. Dichas
leyes reciben el nombre de Principios Variacionales de la Fsica. A dichos princip-
ios pertenecen el Principio de la Mnima Accin, la Ley de Conservacin de la En-
erga, la Ley de Conservacin del Impulso, la Ley de Conservacin de la Cantidad
de Movimiento, el Principio de Fermatz en Optica, etc.
El problema variacional que se plantea en este texto se diferencia del clculo de

los valores extremales estudiado en los cursos de clculo diferencial e integral, en el
cual se tiene que variar una sola variable o un conjunto de ellas, en que ahora lo que
ser variado es una funcin y (x) o un conjunto yi (x) de ellas. Sin embargo, se puede
aplicar el mismo criterio: cuando la integral (1.32) tiene un valor estacionario, debe
permanecer sin cambios hasta el primer orden al hacer una pequea variacin en las
funciones yi (x). Este es, justamente, el criterio que ser usado ms adelante.
Como en el clculo diferencial, la anulacin de la primera derivada es una condi-

cin necesaria pero no suficiente para un mximo o un mnimo; as en el clculo varia-
cional se habla de Primeras Variaciones y Segundas Variaciones de J, donde las ltimas
se emplean para discriminar entre mximos, mnimos y puntos de inflexin. Como se dijo
antes, en este texto slo se trabajar con la primera variacin y se emplearn razon-
amientos geomtricos o fsicos para decidir si se ha encontrado un mximo, un mnimo
o un punto de inflexin.
El funcional J depende de la funcin y (x), y los lmites de integracin x1 y x2 son fijos.

Sin embargo, no es necesario que los lmites de integracin sean considerados fijos de
manera que, si se permite que estos lmites varen, el problema se convierte en no slo
determinar y (x) sino tambin x1 y x2 de manera tal que J tome un valor estacionario. La
funcin y (x) tiene entonces que ser variada hasta que se consiga un valor estacionario
de J, querindose decir con esto que si y = y (x) hace que J tome un valor mnimo
entonces cualquier funcin vecina, no importando lo cerca que est de y (x), har
que J se incremente.
Para caminos variados yi = yi ( ; x) la funcional (1.32) se puede escribir como,

Z x2
J ( )= f [yi ( ; x) ; yi0 ( ; x) ; x] dx (1.33)
x1
z
Vase apndice C para una biografa resumida.
ESTUDIAR
convirtindose as en un funcional del parmetro , ya que al efectuar la integracin y

evaluarla en x1 y x2 la dependencia con respecto a x desaparece.
La condicin fundamental para que 1.33 tome un valor estacionario

es que su primera variacin se anule,
@J
=0) J =0 (1.34)
@ =0
...............................................................................................
EJEMPLO 1.8
(a) Dada la funcin y (x) = 3x, construir funciones y ( ; x) vecinas a
ella mediante (1.8) con (x) = Sen x Cos x+1 y graficarlas para algunos valores de en-
tre x1 = 0 y x2 = 2 , (b) mostrar que (x) cumple con la condicin (1.9), (c) suponiendo
h i2
que la funcin f = f (y; y 0 ; x) viene dada por f = dy(dx;x) , encontrar J ( ) dada por
(1.33) en el intervalo antes considerado y (d) mostrar J ( ) cumple la condicin (1.34).
Figura 1.4: Funcin y (x) = 3x entre los lmites de x = 0 y x = 2 y dos de sus variaciones y ( ; x) = 3x +
[Sen (x) Cos (x) + 1].
SOLUCION:
(a) Los caminos vecinos al camino estacionario vendrn dados por,
y ( ; x) = y (x) + (x)
ESTUDIAR
o,
y ( ; x) = 3x + (Sen x Cos x + 1) (1.35)
Estos caminos son mostrados en la figura 1.4 para = 0 y otros dos valores de .
(b) Es claro que la funcin (x) = Sen x Cos x + 1 cumple con que se anule en las
fronteras x1 = 0 y x2 = 2 ,
(
(x = 0) = Sen (0) Cos (0) + 1
(x = 2 ) = Sen (2 ) Cos (2 ) + 1
o,
(
(x = 0) = 0
(1.36)
(x = 2 ) = 0
cumplindose as la condicin (1.9).
(c) Para encontar f (y; y 0 ; x) se determina primero,

dy ( ; x) d
= [3x + (Sen x Cos x + 1)] = 3 + (Cos x + Sen x) (1.37)
dx dx
entonces,
2
dy ( ; x) 2
f= = 9 + 6 (Cos x + Sen x) + [Sen (2x) + 1] (1.38)
dx
Ahora, a partir de (1.33) finalmente se obtiene,
Z 2
2
J( )= 9 + 6 (Cos x + Sen x) + [Sen (2x) + 1] dx
0
o,
2
J ( ) = 2 (9 + ) (1.39)
pudindose notar que J ( ) es siempre mayor que J (0), no importando el valor (positivo
o negativo) escogido para .
(d) A partir de (1.39) se tiene que,

@J @J 2 @J
= 2 9+ =4 ) = 4 (0)
@ @ @ =0
o,
@J
@ =0
=0 (1.40)
ESTUDIAR
...............................................................................................
EJEMPLO 1.9
(a) Dada la parbola y (x) = x2 , construir funciones y ( ; x) vecinas
a ella mediante (1.8) con (x) = x3 x y graficarlas para algunos valores de entre
x1 = 1 y x2 = 1, (b) mostrar que (x) cumple con la condicin (1.9), (c) suponiendo
h i2
que la funcin f = f (y; y 0 ; x) viene dada por f = dy(dx;x) + x, encontrar J ( ) dada por
(Equation 1.33) en el intervalo antes considerado y (d) mostrar J ( ) cumple la condicin
(1.34).
Figura 1.5: Funcin y (x) = x2 entre los lmites de x = 1 y x = 1 y dos de sus variaciones y ( ; x) = x2 +
x3 x .
SOLUCION:
(a) Los caminos vecinos al camino estacionario vendrn dados por,
y ( ; x) = y (x) + (x)
o,
y ( ; x) = x2 + (x3 x) (1.41)
Estos caminos son mostrados en la figura 1.5 para = 0 y otros dos valores de .
(b) Es claro que la funcin (x) = x3 x cumple con que se anule en las fronteras
ESTUDIAR
x1 = 1 y x2 = 1, (
(x = 1) = ( 1)3 ( 1)
(x = 1) = (1)3 (1)
o,
(
(x = 1) = 0
(1.42)
(x = 1) = 0
(c) Para encontar f (y; y 0 ; x) se determina primero,
dy ( ; x) d
= x2 + x3 x = 2x + 3x2 1 (1.43)
dx dx
entonces,
2
dy ( ; x) 2
f= + x = 2x + 3x2 1 +x (1.44)
dx
Ahora, a partir de (1.33) finalmente se obtiene,
Z 1n o
2
J( )= 2x + 3x2 1 + x dx
1
o,
1 1 2
J( )=8 3
+ 5
(1.45)
pudindose notar que J ( ) es siempre mayor que J (0), no importando el valor (positivo
o negativo) escogido para .
(d) A partir de (1.45) se tiene que,
@J @J 1 1 2 16 @J 16
= 8 + = ) = (0)
@ @ 3 5 5 @ =0 5
o,
@J
@ =0
=0 (1.46)
...............................................................................................
Por ltimo, es de hacer notar que si J es independiente del camino, entonces el

problema variacional pierde todo sentido. Se sabe, de los cursos bsicos de clculo
ESTUDIAR
diferencial e integral, que la integral (1.33) ser independiente del camino escogido si
la cantidad f dx es una diferencial exacta.
En el caso de que,
f dx = M (x; y; z) dx + N (x; y; z) dy + R (x; y; z) dz (1.47)
ser exacta si se cumple que,

8
@M
>
< @y
= @N
@x
@M
= @R (1.48)
>
:
@z
@N
@x
@R
@z
= @y
CAPITULO 2
CALCULO DE EXTREMALES SIN

RESTRICCIONES
2.1 Para una variable dependiente Ecuacin de Euler

En esta seccin se determinar la nica funcin y (x) tal que la integral funcional
J (1.32) tome un valor estacionario sin restricciones adicionales a las ya impuestas por
las condiciones de frontera x = x1 (fijo) y x = x2 (fijo). Para realizar lo anterior, se debe
calcular la variacin de (1.32) para luego aplicar la condicin (1.34). En efecto,
Z x2
J( )= f [y ( ; x) ; y 0 ( ; x) ; x] dx (2.1)
x1
Puesto que los lmites de integracin son fijos, el smbolo slo afecta al integrando
(es posible introducir en la integral) resultando as,
Z x2 Z x2 Z x2
@f @f 0 @f @f dy
J = f dx = y + 0 y dx = y+ 0 dx
x1 x1 @y @y x1 @y @y dx
Z x2 Z x2 Z x2
@f @f d @f @f d
= y+ 0 ( y) dx = ydx + 0
( y) dx (2.2)
x1 @y @y dx x1 @y x1 @y dx
| {z }
dy
Puesto que ( dx )= dxd ( y)
El segundo trmino de (2.2) puede ser integrado por partes,

Z Z (
@f @f d @f
u = @y 0 ) du = d @y 0
= dx @y 0
dx
udv = uv vdu, con (2.3)
d
dv = dx ( y) dx ) v = y
18
CAPITULO 2. CALCULO DE EXTREMALES SIN RESTRICCIONES
de manera que,
Z x2 x2 Z x2
@f d @f d @f
0
( y) dx = y ydx (2.4)
x1 @y dx @y 0 x1 x1 dx @y 0
pero,
x2
@f
y =0 (2.5)
@y 0 x1
ya que y debe anularse en x1 y x2 por ser una variacin admisible. Entonces (2.4)
resulta en, Z x2 Z x2
@f d d @f
0
( y) = ydx (2.6)
x1 @y dx x1 dx @y 0
as la expresin (2.2) queda finalmente escrita como,
Z x2 Z x2 Z x2
@f d @f @f d @f
J= ydx 0
ydx = ydx (2.7)
x1 @y x1 dx @y x1 @y dx @y 0
Ahora, al aplicar la condicin (1.34) para encontrar as los valores estacionarios de

J resulta, Z x2
@f d @f
J= ydx = 0 (2.8)
x1 @y dx @y 0
que es independiente de ya que la anterior expresin est evaluada en = 0 en
virtud de haber aplicado la condicin (1.34). Aqu la variacin y es completamente
arbitraria.
Por otro lado, en el clculo variacional existe el llamado Lema Fundamental del
Clculo de Variaciones que establece lo siguiente:
Si se cumple la expresin,
Z x2
M (x) (x) = 0 (2.9)
x1
para todas las funciones arbitrarias (x) continuas hasta la segunda

derivada (al menos), entonces M (x) debe anularse idnticamente en
el intervalo (x1 ; x2 ).
Un Lema es una proposicin que es preciso demostrar antes de establecer un Teorema. Vase apndice
H para la demostracin del Lema Fundamental del Clculo de Variaciones.
Ahora bien, al aplicar el anterior lema a la expresin (2.8) resulta,
@f d @f
=0 (2.10)
@y dx @y 0
| {z }
2 3
6 Ecuacin de Euler para funcionales 7
4 5
de una variable dependiente.
Este resultado es conocido como la Ecuacin de Euler, que constituye la condicin

necesaria para que J tenga un valor estacionario.
...............................................................................................
EJEMPLO 2.1
Hallar las extremales de la funcional,
Z x2
J= y 2 + y 02 + 2yex dx
x1
y su correspondiente valor extremal.

SOLUCION: aqu,
f = y 2 + y 02 + 2yex (2.11)
Ahora bien, al sustituir (2.11) en la ecuacin de Euler (2.10) resulta,
@ d @
y 2 + y 02 + 2yex y 2 + y 02 + 2yex = 0
@y dx @y 0
y + ex y 00 = 0 (2.12)
La expresin (2.12) es una ecuacin diferencial de segundo orden no homognea con

coeficientes constantes, cuya solucin es,
y = c1 ex + c2 e x
+ 21 xex (2.13)
Observaciones:
1. Los caminos (2.13) representan una familia de caminos extremales debido a la pres-
encia de las constantes c1 y c2 . Para condiciones de frontera dadas podrn determi-
narse las constantes c1 y c2 resultado as un nico camino extremal.
2. La expresin (2.13) no es el valor extremal de J, son los caminos extremales que

hacen que J tome un valor extremal (un mximo o un mnimo).
3. El valor extremal de J es la cantidad que se obtiene al sustituir (2.13) en la misma y

luego evaluar la integral.
Por ltimo, al sustituir (2.13) en J, el valor extremal de esta ltima vendr dado por,
Z x2
y 2 + y 02 + 2yex dx
x1
Z x2 ( 2 2
x x 1 x d x x 1 x
= c1 e + c2 e + xe + c1 e + c2 e + xe
x1 2 dx 2
1
+2 c1 ex + c2 e x
+ xex ex dx
2
o,
J = C1 e2x1 + C2 e2x2 + c22 (e 2x1
e 2x2
) + c2 (x2 x1 ) (2.14)
con,
1 2 1 1
C1 = x c1 x1 c21 x1 c1 +
4 1 2 8
1 2 1 1
C2 = x2 + c1 x2 + c21 + x2 + c1
4 2 8
que es el valor extremal (un mximo o un mnimo) de J.
...............................................................................................
EJEMPLO 2.2
(a) Hallar la extremal de la funcional,
Z 2 02
y
J= dx
1 4x
que satisfaga las condiciones de frontera y (1) = 5 y y (2) = 11, (b) la extremal encon-
trada maximiza o minimiza a J? y (c) hallar su valor extremal.
SOLUCION:
(a) Aqu,
y 02
f= (2.15)
4x
@ y 02 d @ y 02
= 0
@y 4x dx @y 0 4x
d y0
= 0 (2.16)
dx x
que al integrarse produce,

y 0 = c1 x (2.17)
y al integrar esta ltima resulta,
c1 2
x + c2 y= (2.18)
2
Si ahora se aplican las condiciones de frontera sobre (2.18) entonces,
(
y (1) = 5: c21 + c2 = 5
Para (2.19)
y (2) = 11: 2c1 + c2 = 11
de las cuales se obtiene c1 = 4 y c2 = 3. Por lo tanto, al sustituir estos resultados en (2.18)

se obtiene finalmente,
y = 2x2 + 3 (2.20)
que es una Parbola y . Este representa el camino extremal de J, es decir, el camino que
hace que J tome un valor extremo (un mximo o un mnimo).
(b) La parbola (2.20) maximiza o minimiza a J?. La extremal hallada puede max-
imizar, minimizar o no hacer ninguna de las dos cosas. Con la teora mostrada en este
texto no es posible, en general, decidir qu es lo que ocurre. Sin embargo existen unos
pocos casos simples (este ejemplo es uno de ellos) donde se puede decidir muy fcil-
mente.
Si es cualquier variacin admisible (ver seccin 1.2.1) no necesariamente pe-

quea, entonces la variacin que sobre J hace viene dada por (ye = y extremal=
2x2 + 3),
Z 2 Z 2
1 21 d 1 21 d
J (ye + ) J (ye ) = (ye + ) dx (ye ) dx
4 1 x dx 4 1 x dx
Z 2 2 Z
1 (4x + 0 ) 2
= dx 4 xdx
4 1 x 1
2 Z
1 2 02
= 2 + dx
1 4 1 x
y como es una variacin admisible debe satisfacer (1) = 0 y (2) = 0, por lo tanto se
tiene que,
R 2 02
J (ye + ) J (ye ) = 14 1 x dx 0 (2.21)
y
Una Parbola (del griego ) es la seccin cnica de excentricidad igual a 1, resultante de
cortar un cono recto con un plano cuyo ngulo de inclinacin respecto al eje de revolucin del cono
sea igual al presentado por su generatriz.
Entonces, ya que la integral de una funcin positiva debe ser positiva (x es positiva en
el intervalo de integracin), (2.20) proporciona realmente un mnimo global de J.
(c) El mnimo global de J viene dado al sustituir (2.20) en J y evaluar la integral

resultante. En efecto, Z 2 2
2 1 d
J 2x + 3 = 2x2 + 3 dx
1 4x dx
o,
J =6 (2.22)
Es de hacer notar que, en el caso de que J provenga de una f obtenida del anli-
sis de una situacin fsica en particular, las condiciones fsicas del sistema estudiado
pueden ayudar a saber si el extremal encontrado para J es un mximo o un mnimo.
...............................................................................................
EJEMPLO 2.3
(a) En qu curva puede alcanzar su extremo la funcional,
Z 1
J= y 02 + 12xy dx
0
sabiendo que y (0) = 0 y y (1) = 1?, (b) hallar el correspondiente valor extremal de J.
SOLUCION:
(a) Aqu,
f = y 02 + 12xy (2.23)
@ d @
y 02 + 12xy y 02 + 12xy = 0
@y dx @y 0
6x y 00 = 0 (2.24)
La ecuacin diferencial (2.24) tiene como solucin,
y = x3 + c1 x + c2 (2.25)
Para hallar las constantes c1 y c2 se aplican sobre (2.25) las condiciones de frontera
dadas. En efecto, (
y (0) = 0: c2 = 0
Para (2.26)
y (1) = 1: 1 + c1 + c2 = 1 ) c1 = 0
Por ltimo, al sustituir (2.26) en (2.25) resulta,
y = x3 (2.27)
(b) El valor extremal de J viene dado al sustituir (2.27) en ella. En efecto,

Z 1 Z 1( 2
)
d
J= y 02 + 12xy dx = x3 + 12x x3 dx
0 0 dx
o,
21
J= 5
(2.28)
...............................................................................................
EJEMPLO 2.4
Superficie mnima de revolucin. Considerar la superficie gener-
ada al hacer girar una lnea que une dos puntos fijos (x1 ; y1 ) y (x2 ; y2 ) en torno a un eje
coplanar con los dos puntos. Determinar la ecuacin de la lnea que une dichos pun-
tos de manera tal que el rea de la superficie generada (el rea de la superficie de
revolucin) sea mnima.
SOLUCION: supngase que la curva que pasa a travs de (x1 ; y1 ) y (x2 ; y2 ) es trasladada
en torno al eje y, coplanar con los dos puntos. Para calcular el rea total de la super-
ficie de revolucin, primero se encuentra el rea dA de una cinta (ver figura 2.1), de
manera que,
Figura 2.1: Superficie de revolucin generada por una curva que une a los puntos (x1 ; y1 ).y (x1 ; y1 ),
hacindola trasladarse entrono al eje y.
1
dA = xdsd' = x dx2 + dy 2 2
d' (2.29)
donde se ha supuesto que la curva generatriz est en el plano (x; y). Pudo haberse
partdo con la curva generatriz en el plano (y; z) sin problema alguno, siendo para este
caso dA = zdsd'. Al integrar (2.29),

Z (x2 ;y2 ) Z 2 Z x2
1 1
A= x dx2 + dy 2 2
d' = 2 x 1 + y 02 2
dx (2.30)
(x1 ;y1 ) 0 x1
donde se ha escogido x como variable independiente. Si se hubiese escogido y como

Rx 1
variable independiente se tendra A = 2 x12 x (x02 + 1) 2 dy con x0 = dx
dy
.
El rea (2.30) es la cantidad que se quiere minimizar, por lo tanto,

1
f = 2 x 1 + y 02 2
(2.31)
y como,
@f @f xy 0
@y
=0 @y 0
=2 1 (2.32)
(1+y 02 ) 2
entonces, de (2.10) resulta, " #

d xy 0
2 1 =0
dx (1 + y 02 ) 2
xy 0
1 = c1 , c1 = constante (2.33)
(1 + y 02 ) 2
de aqu que, Z
0 c1 dx
y = 1 ) y = c1 1 (2.34)
(x2 c21 ) 2 (x2 c21 ) 2
donde se ha tomado el signo positivo para y en concordancia con el sistema de coor-
denadas de referencia que se est usando. La solucin de (2.34) viene dada por,
p
y = c1 ln x + x2 c21 + c2 (2.35)
donde c2 es una segunda constante de integracin. Las constantes c1 y c2 pueden

ser determinadas requiriendo que la curva pase por los puntos (x1 ; y1 ) y (x2 ; y2 ), que
representan las condiciones de frontera.
La epresin (2.35) puede ser reescrita para as identificar con mayor facilidad la
curva que representa. Como,
1
p
cosh x = ln x + x2 1
entonces (2.35) puede ser escrita tambin como,
y c2
x = c1 Cosh c1
(2.36)
que es la ecuacin de la Catenaria z .
...............................................................................................
2.2 Segunda forma y forma integrada de la Ecuacin de

Euler
Es posible reescribir la ecuacin de Euler (2.10), obtenindose as una segunda
forma de la misma que es muy conveniente para funcionales f que no dependen ex-
plcitamente de la variable independiente x, es decir, donde @f
@x
= 0.
Ntese primero que para cualquier funcional f (y; y 0 ; x) se tiene,
df @f dy @f dy 0 @f @f @f @f
= + 0 + = y0 + y 00 0 + (2.37)
dx @y dx @y dx @x @y @y @x
y que,
d @f @f d @f
y0 = y 00 + y0 (2.38)
dx @y 0 @y 0 dx @y 0
@f
ahora, al despejar y 00 @y 0 de (2.37) y sustituirlo en (2.38) resulta,
d @f df @f @f d @f
y0 = y0 (2.39)
dx @y 0 dx @x @y dx @y 0
| {z }
=0 por (2.10)
donde el ltimo trmino se anula debido a la ecuacin de Euler (2.10). Por lo tanto,
@f d @f
f y0 0 = 0 (2.40)
@x dx @y
| {z }
2 3
6 Segunda forma de la Ecuacin de Euler para 7
4 5
funcionales de una variable dependiente.
que a menudo se le llama Segunda Forma de la Ecuacin de Euler.

z
Esta palabra proviene del latn cat
enarus propio de la cadena. Se denomina Catenaria a la curva que
adopta una cadena, cuerda o cable ideal perfectamente flexible, con masa distribuida uniformemente
por unidad de longitud (homognea), suspendida por sus extremos y sometida a la accin de un campo
gravitatorio uniforme. La evoluta de la Catenaria es la Tractriz.
Es posible usar (2.40) en casos en los cuales f no depende explcitamente de la

variable independiente x, de manera que @f @x
= 0. Entonces,
@f @f
f y 0 0 = c; c = constante (para = 0) (2.41)
@y @x
| {z }
2 3
6 Forma integrada de la Ecuacin de Euler para 7
4 5
funcionales de una variable dependiente
que es la llamada Forma Integrada de la Ecuacin de Euler.
...............................................................................................
EJEMPLO 2.5
Z x2 p 02
y +1
J= dx
x1 y
SOLUCION: aqu, p
y 02 + 1
f= (2.42)
y
que no depende explcitamente de x, por lo tanto, es posible usar la forma integrada
de la ecuacin de Euler. En efecto, al sustituir (2.42) en (2.41) resulta,
p p !
y 02 + 1 @ y 02 + 1
y0 0 =c
y @y y
1
p =c
y y 02 + 1
o,
1p
y0 = 1 c2 y 2 (2.43)
cy
que constituyen un par de ecuaciones diferenciales ordinarias de primer orden y de
variables separables. Al integrar (2.43) resulta,
(x c1 )2 + y 2 = 1
c2
(2.44)
donde c1 es una constante de integracin y que representa una Circunferencia. Por

lo tanto, las curvas extremales de la funcional dada son una familia de circunferencias
centradas en (c1 ; 0) y de radio 1c .
...............................................................................................
EJEMPLO 2.6
El problema de la Braquistcronax . Supngase que se tiene una
rampa lisa como la mostrada en la figura 2.2 sobre la cual, y desde el punto P1 , se suelta
una partcula de masa m que comienza a moverse bajo la accin de la gravedad. El
Figura 2.2: Partcula de masa m que se desplaza sobre una rampa lisa desde el punto P1 hasta el punto
P2 .
punto P1 se encuentra a una altura h sobre el suelo, mientras que P2 se encuentra a

nivel del mismo a una distancia horizontal d. Encontrar la forma que debe tener el perfil
de esta rampa de manera tal que la mencionada partcula emplee el menor tiempo
posible en viajar desde P1 hasta P2 .
SOLUCION: como se muestra en la figura (2.3), el perfil pedido ser la curva y = y (x)
que une P1 con P2 de manera tal que el tiempo que emplea la partcula en viajar
desde P1 hasta P2 sea el menor posible. Si se escoge un sistema de coordenadas de
referencia cuyo origen coincide con el punto P1 , entonces P1 = (x1 ; y1 ) = (0; 0) y P2 =
(x2 ; y2 ) = (d; h).
Puesto que el campo gravitacional es conservativo, entonces la energa mectica
total E de la partcula se mantiene constante durante todo el recorrido. En el punto P1
se tiene E = T + U = 0 y en cualquier otro punto P = (x; y),
1
E = T + U = mv 2 + mgy = 0 (2.45)
2
de la cual resulta,
1
v = ( 2gy) 2 (2.46)
x
Del griego Braquistos = el ms breve y Cronos= tiempo.
Figura 2.3: Planteamiento grfico del problema de la Braquistcrona.
Por otro lado se sabe que, (

ds
v= dt
1 (2.47)
ds = (dx2 + dy 2 ) 2
entonces,
Z (x2 ;y2 )=(d; h) Z (d; h)
1 Z x2 =d
1
ds (dx2 + dy 2 ) 2 1 + y 02 2
t= = 1 = dx (2.48)
(x1 ;y1 )=(0;0) v (0;0) ( 2gy) 2 x1 =0 2gy
El tiempo transcurrido durante todo el movimiento es la cantidad que se quiere min-

imizar, por lo tanto, de (2.48) la funcin f puede ser identificada como,
1
1 + y 02 2
f= (2.49)
2gy
que no depende explcitamente de la variable independiente x. Entonces, a partir de

la forma integrada de la ecuacin de Euler (2.41) resulta,
1 " 1#
1 + y 02 2 @ 1 + y 02 2
y0 0 = c
2gy @y 2gy
1 y 02 1
1 + y 02 2
1 = ( 2gy) 2 c
(1 + y 02 ) 2
1
1 2
1 = y0
2gc2 y
o,
Z ! 12
y
x= 1 dy (2.50)
2gc2
y
Ahora, al hacer el cambio de variable{ ,
1
y= 2
Sen2 (2.51)
2gc 2
la expresin (2.50) se puede escribir como,

Z
1 1
x= 2
Sen2 d = ( Sen ) + C (2.52)
2gc 2 4gc2
donde se ha escogido el signo positivo para x en correspondencia al sistema de coor-

denadas de referencia usado.
Como al inicio del movimiento (x; y) = (0; 0), entonces de (2.51) se obtiene = 0 y
de (2.52) C = 0. De esta manera, en conjunto, las expresiones (2.51) y (2.52) pueden
escribirse como,
(
1
x = 4gc 2 ( Sen )
1
(2.53)
y = 4gc2 (1 Cos )
que representan las ecuaciones paramtricas de una Cicloidek que pasa por el origen
Figura 2.4: Camino resultante para que la partcula se mueva desde (x1 ; y1 ) = (0; 0) hasta (x2 ; y2 ) = (d; h)
en el menor tiempo posible.
(ver figura 2.4), siendo ste el perfil que debe tener la rampa para que la partcula se
{
El signo negativo es por el sistema de coordenadas de referencia usado.
k
Una Cicloide es el lugar geomtrico originado por un punto de una circunferencia (generatriz) al rodar
sobre una lnea recta (directriz), sin deslizarse.
mueva de P1 hasta P2 en el menor tiempo posible. La constante c debe ser ajustada

para permitir que la cicloide pase a travs del punto de llegada P2 . En efecto, al eval-
uar las expresiones (2.53) en P2 se obtiene,
Para x = d ) Sen = 4gc2 d (2.54)

1
Para y = h) = Cos 1 4gc2 h (2.55)
entonces, en (2.53)al sustituir una expresin en la otra resulta,
hp i
1
Cos (1 4gc2 h) = 2c 2gh (1 2gc2 h) + 2gcd (2.56)
expresin que proporciona el ajuste de la constante c.
La curva obtenida, la Cicloide, recibe el nombre de Curva Braquistcrona o curva

del descenso ms rpido. Esta curva coincide adems con una Curva Tautcrona o
Curva Iscrona ya que si se colocan varias partculas sobre ella en distintos puntos de
partida y se les suelta al mismo tiempo, llegan a encontrarse al mismo tiempo en un
punto posterior, es decir, tardan el mismo tiempo en alcazar una posicin comn.
...............................................................................................
EJEMPLO 2.7
Se tiene una pelcula de jabn entre dos anillos paralelos concn-
tricos de radio a, separados por una distancia 2d (ver figura 2.5). Encuentre la forma
adquirida por la pelcula de jabn.
SOLUCION: la forma que adquirir la pelcula de jabn ser aquella que minimice la
energa del sistema (todo sistema al tender a la estabilidad, tiende a su estado de mn-
ima energa), por lo tanto este estado debe corresponder a aqul donde la superficie
de la pelcula de jabn sea la mnima.
Es fcil ver de la figura 2.5 que las condiciones de frontera vienen dadas por y (d) = a
y y ( d) = a. El elemento de superficie de la pelcula de jabn vendr dado por,
dS = 2 yds (2.57)
y,
p
ds2 = dy 2 + dz 2 ) ds = y 02 + 1dz (2.58)
Una tautcrona o curva iscrona (de los prefijos griegos tauto- que significa mismo o iso- igual, y chrono
tiempo) es la curva para la cual el tiempo tomado por un objeto que desliza sin rozamento en gravedad
uniforme hasta su punto ms bajo es independiente de su punto de partida.
Figura 2.5: Pelcula de jabn entre dos anillos concntricos de radio a y separados por una distancia 2d.
dy
con y 0 = dz
: Aqu y es la variable dependiente y z la independiente. Por lo tanto,
Z d p
S=2 y y 02 + 1dz (2.59)
d
que es la cantidad que se quiere minimizar. En (2.59) es posible identificar,

p
f = 2 y y 02 + 1 (2.60)
Ahora bien, como f no depende de la variable independiente z, entonces es posible

usar la forma integrada (2.41) de la ecuacin de Euler. Entonces,
@f dy
f y0 0
= c, con y 0 =
@y dz
p @ p
2 y y 02 + 1 2 y0 y y 02 + 1 = c
@y 0
o,
y2
y 02 = 1 (2.61)
c21
c
con c1 = 2
. Al introducir el cambio de variable,
y = c1 Cosh u (2.62)
en (2.61) e integrando resulta,

z
y = c1 Cosh + c2 (2.63)
c1
con c2 una constante de integracin. Esta es la curva que genera la superficie de

revolucin buscada.
Las constantes c1 y c2 se calculan aplicando las condiciones de frontera y (d) = a y

y ( d) = a sobre (2.63). En efecto,
8
< y (d) = a: a = c1 Cosh d + c2
c1
Para (2.64)
: y ( d) = a: a = c1 Cosh d
+ c2
c1
de las cuales se deduce que c2 = 0 ya que d 6= 0. La constante c1 vendr dada por,
d
a = c1 Cosh (2.65)
c1
que es una ecuacin trascendental para dicha constante.
Por ltimo (2.63) se puede escribir como,
z
y = c1 Cosh c1
(2.66)
con c1 dada por (2.65). La expresin (2.66) es la ecuacin de una Catenaria, por lo
tanto, en perfil la pelcula de jabn toma esta forma, con una distancia mnima al eje
de rotacin dada por c1 (verificarlo).
...............................................................................................
2.3 Para mltiples variables dependientes Ecuaciones de

Euler - Lagrange
En esta seccin se determinarn las funciones yi (x) tales que la integral funcional
J (1.32) tome un valor estacionario sin restricciones adicionales a las ya impuestas por
las condiciones de frontera x = x1 (fijo) y x = x2 (fijo). Para realizar lo anterior, se debe
calcular la variacin de (1.32) para luego aplicar la condicin (1.34). En efecto,
Z x2
J= f [yi (x) ; yi0 (x) ; x] dx (2.67)
x1
Al igual que en la seccin anterior, puesto que los lmites de integracin son fijos, el
smbolo slo afecta al integrando resultando as,
Z x2 Z x2 X
n Z x2 Xn
@f @f @f @f dyi
J = f dx = yi + 0 yi0 dx = yi + 0 dx
x1 x1 i=1
@yi @yi x1 i=1
@yi @yi dx
| {z }
Ver ejemplo 1.7
n Z x2
X X n Z x2 Z x2
@f @f d @f @f d
= yi + 0 ( yi ) dx = yi dx + ( yi ) dx (2.68)
i=1 x1 @yi @yi dx i=1 x1 @yi x1 @yi0 dx
El segundo trmino de (2.68) puede ser integrado por partes,

Z Z (
@f @f d @f
u = @y 0 ) du = d @yi0
= dx @yi0
dx
udv = uv vdu, con i (2.69)
d
dv = dx ( yi ) dx ) v = yi
de manera que,
Z x2 x2 Z x2
@f d @f d @f
0
( yi ) dx = yi yi dx (2.70)
x1 @yi dx @yi0 x1 x1 dx @yi0
pero,
x2
@f
yi =0 (2.71)
@yi0 x1
ya que yi debe anularse en x1 y x2 por ser una variacin admisible. Entonces (2.70)
@f d d @f
0
( yi ) dx = yi dx (2.72)
x1 @yi dx x1 dx @yi0
X
n Z x2 Z x2
@f d @f
J = yi dx yi dx
i=1 x1 @yi x1 dx @yi0
Xn Z x2
@f d @f
= yi dx (2.73)
i=1 x1 @yi dx @yi0
Ahora, al aplicar la condicin (1.34) para encontrar as el valor estacionario de J resulta,

X
n Z x2
@f d @f
J= yi dx =0 (2.74)
i=1 x1 @yi dx @yi0
que es independiente de ya que la anterior expresin est evaluada en = 0 en

virtud de haber aplicado la condicin (1.34). Aqu la variacin yi es completamente
arbitraria, entonces al aplicar el lema fundamental del clculo de variaciones (2.9)

resulta,
@f d @f
= 0, con i = 1; 2; 3; :::; n (2.75)
@yi dx @yi0
| {z }
2 3
6 Ecuaciones de Euler-Lagrange para funcionales 7
4 5
de mltiples variables dependientes.
que son las ecuaciones de Euler para un funcional J de mltiple variables dependientes
y conforman un conjunto de n ecuaciones diferenciales. Se les conoce tambin como
Ecuaciones de Euler-Lagrange.
...............................................................................................
EJEMPLO 2.8
(a) Hallar las extremales de la funcional,
Z
2
J= y 02 + z 02 + 2yz dx
0
sabiendo que y (0) = 0, y 2

= 1 y z (0) = 0, z 2
= 1, y (b) hallar su correspondiente
valor extremal.
SOLUCION:
(a) Aqu,
f = y 02 + z 02 + 2yz (2.76)
Ahora bien, f tiene dos variables dependientes y y z, por lo tanto, se debe escribir una
ecuacin de Euler para cada una de estas variables. Al sustituir (2.76) en las ecuaciones
de Euler (2.75) (para i = 1; 2 con y1 = y y y2 = z) resulta,
@f d @f
Para i = 1: =0
@y dx @y 0
@ d @
y 02 + z 02 + 2yz y 02 + z 02 + 2yz = 0
@y dx @y 0
z y 00 = 0 (2.77)
y,
@f d @f
Para i = 2: =0
@z dx @z 0
@ d @
y 02 + z 02 + 2yz y 02 + z 02 + 2yz = 0
@z dx @z 0
y z 00 = 0 (2.78)
Si entre (2.77) y (2.78) se elimina z resulta,
y IV y=0 (2.79)
que al integrarla produce,
y = c1 ex + c2 e x
+ c3 Cos x + c4 Sen x (2.80)
Para encontrar z, se sustituye (2.80) en (2.77) resultando,
z = c1 ex + c2 e x
c3 Cos x c4 Sen x (2.81)
Por ltimo, al aplicar las condiciones de frontera sobre (2.80) en (2.81) resulta,
8
>
> c1 = 0
>
< c =0
2
(2.82)
> c3 = 0
>
>
:
c4 = 1
por lo tanto, sustituyendo estos resultados en (2.80) y (2.81),
(
y = Sen x
(2.83)
z = Sen x
(b) El valor extremal de J vendr dado al sustituir (2.83) en la expresin de la misma.

En efecto,
Z Z ( 2 2
)
2 2 d d
J= y 02 + z 02 + 2yz dx = (Sen x) + ( Sen x) + 2 (Sen x) ( Sen x) dx
0 0 dx dx
o,
J =0 (2.84)
...............................................................................................
EJEMPLO 2.9
Analizar el extremo de la funcional,
Z x2
J= [4x + 2y z + (2x 2y + z) y 0 + ( x + y + 2z) z 0 ] dx
x1
sabiendo que y (x1 ) = yo , y (x2 ) = y1 y z (x1 ) = zo , z (x2 ) = z1 .
SOLUCION: la integral no depende del camino de integracin ya que f dx es una

diferencial exacta, por lo tanto, problema variacional no tiene sentido. En efecto,
f dx = [4x + 2y z + (2x 2y + z) y 0 + ( x + y + 2z) z 0 ] dx

= (4x + 2y z) dx + (2x 2y + z) dy + ( x + y + 2z) dz (2.85)
siendo, 8
>
< M (x; y; z) = 4x + 2y z
N (x; y; z) = 2x 2y + z (2.86)
>
:
R (x; y; z) = x + y + 2z
por lo tanto,
8
@M
>
< @y
= @N
@x
=2
@M @R
= @x = 1 (2.87)
>
:
@z
@N
@z
= @R
@y
=1
cumplindose as las condiciones (1.48) para que f dx sea una diferencial exacta.
...............................................................................................
EJEMPLO 2.10
(a) Hallar las extremales de la funcional,
Z 1
J= y 02 + z 02 dx
0
sabiendo que y (0) = 0, y (1) = 1 y z (0) = 0, z (1) = 2, (b) su correspondiente valor

extremal.
SOLUCION:
(a) aqu,
f = y 02 + z 02 (2.88)
@f d @f
Para i = 1: =0
@y dx @y 0
@ d @
y 02 + z 02 y 02 + z 02 = 0
@y dx @y 0
y 00 = 0 (2.89)
y,
@f d @f
Para i = 2: =0
@z dx @z 0
@ d @
y 02 + z 02 y 02 + z 02 = 0
@z dx @z 0
z 00 = 0 (2.90)
Las soluciones de (2.89) y (2.90) son respectivamente,
y = c1 x + c2 (2.91)
z = c3 x + c4 (2.92)
Por ltimo, al aplicar las condiciones de frontera sobre (2.91) en (2.92) resulta,
8
>
> c1 = 1
>
< c =0
2
(2.93)
>
> c 3 = 2
>
:
c4 = 0
por lo tanto, sustituyendo estos resultados en (2.91) y (2.92) resulta finalmente,
(
y=x
(2.94)
z = 2x
(b) El valor extremal de J vendr dado al sustituir (2.94) en la expresin de la misma.

En efecto,
Z 1 Z 1( 2 2
)
d d
J= y 02 + z 02 dx = (x) + ( 2x) dx
0 0 dx dx
o,
J =5 (2.95)
...............................................................................................
EJEMPLO 2.11
Z x2
J= f (y 0 ; z 0 ) dx
x1
SOLUCION: aqu,
f = f (y 0 ; z 0 ) (2.96)
@ d @
Para i = 1: f (y 0 ; z 0 ) 0
f (y 0 ; z 0 ) = 0
@y dx @y
| {z }
=0
d @
f (y 0 ; z 0 ) = 0
dx @y 0
@ @f dy 0 @ @f dz 0
+ 0 = 0
@y 0 @y 0 dx @z @y 0 dx
| {z }
Por regla de la cadena
@ 2 f 00 @ 2 f 00
y + 0 0z = 0 (2.97)
@y 02 @z @y
y,
@ d @
Para i = 2: f (y 0 ; z 0 ) f (y 0 ; z 0 ) = 0
@z
| {z } dx @z 0
=0
d @
f (y 0 ; z 0 ) = 0
dx @z 0
@ @f dy 0 @ @f dz 0
+ 0 = 0
@y 0 @z 0 dx @z @z 0 dx
| {z }
Por regla de la cadena
@ 2 f 00 @ 2 f 00
y + 02 z = 0 (2.98)
@y 0 @z 0 @z
Por ltimo, al resolver el sistema formado por (2.97) y (2.98) resulta,
)
2
y 00 = 0 @2f @2f @2f
si 6= 0 (2.99)
z 00 = 0 @y 0 @z 0 @y 02 @z 02
de las cuales resulta, como se vi en el ejemplo anterior, lo siguiente,

(
y = c1 x + c2
(2.100)
z = c3 x + c4
que es una familia de lneas rectas en el espacio. Como se puede ver, el ejemplo
anterior constituye un caso especial del presente.
...............................................................................................
CAPITULO 3
CALCULO DE EXTREMALES CON

RESTRICCIONES
Existen situaciones en las que es natural considerar ciertas restricciones adicionales,

a las ya impuestas por las condiciones de frontera, sobre el conjunto de funciones de
las que depende el funcional integral J definido por (1.32). Por ejemplo, supngase
que se quiere buscar el camino ms corto entre dos puntos sobre una superficie, en-
tonces existe ahora la restriccin de que el camino debe satisfacer la ecuacin de
dicha superficie.
En una situacin dada pueden existir ms de una restriccin. El nmero total de

restricciones presentes ser denotado por K y el subndice l ser utilizado para indicar
cada una de las restricciones por separado, es decir, l = 1; 2; 3; : : : ; K. En el presente
texto sern consideradas restricciones de los siguientes tipos:
1. Restricciones del tipo Al [yi (x) ; x] = 0: son igualdades que expresan relaciones al-
gebraicas entre las distintas yi (x) nicamente, no involucrando sus derivadas. Es
decir, ahora no todas las yi (x) son independientes pues algunas de ellas estarn
relacionadas unas a las otras mediante las ecuaciones Al [yi (x) ; x] = 0. Por ser rela-
ciones algebraicas entre las yi (x), permiten eliminar (en general) todas aquellas yi (x)
que son dependientes.
2. Restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0: son igualdades que expresan relaciones
entre las distintas yi (x) y sus correspondientes derivadas yi0 (x), es decir, son ecua-
ciones diferenciales de primer orden en las yi (x). Estas restricciones, por no ser rela-
40
CAPITULO 3. CALCULO DE EXTREMALES CON RESTRICCIONES
ciones algebraicas nicamente entre las yi (x), no permiten eliminar las yi (x) depen-
dientes a menos que puedan ser integradas. De ocurrir lo ltimo, entonces ser
posible eliminar las yi0 (x) resultando restricciones del tipo Al [yi (x) ; x] = 0.
el = P
n
3. Restricciones del tipo D Alj [yi (x) ; x] yj0 (x) + Bl [yi (x) ; x] = 0: representan un caso
j=1
menos general de las del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 (la sobre la D es para indicar
que es un subconjunto de estas ltimas). Son igualdades que expresan relaciones
entre las distintas yi (x) y sus correspondientes derivadas yi0 (x), es decir, son ecua-
ciones diferenciales de primer orden en las yi (x). Pueden ser expresadas tambin
en forma diferencial. Igual que para las anteriores, por no ser relaciones algebraicas
nicamente entre las yi (x), no permiten en principio eliminar las yi (x) dependientes
a menos que puedan ser integradas. De ocurrir lo ltimo, entonces ser posible elim-
inar las yi0 (x) resultando restricciones del tipo Al [yi (x) ; x] = 0.
Rx
4. Restricciones del tipo x12 Il [yi (x) ; yi0 (x) ; x] dx = %l : son las denominadas Restricciones
Isoperimtricas. En estas restricciones las %l son constantes y, al igual que (2) y (3),
tampoco pueden ser usadas para eliminar algunas de las yi (x). Pueden ser reduci-
das a restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 como se ver ms adelante.
La manera de abordar este tipo de situaciones donde existen restricciones es trans-

formar el problema con restricciones a uno equivalente sin restricciones. Esto se logra:
1. Usando las ecuaciones de las restricciones para despejar de ellas todas las yi (x)
dependientes y sustituirlas en el integrando de J, resultando as una nueva Je cuyo
integrando fe es slo funcin de las yi (x) independientes y sus derivadas. Despus
de realizado esto, es posible usar las ecuaciones de Euler (2.10), (2.40) y (2.41) en el
caso de una variable yi (x) o de Euler-Lagrange (2.75) en el caso de varias variables,
todas ellas encontradas para una situacin sin restricciones. De los tipos de restri-
ciones mencionados antes, esto es posible hacerlo slo con las Al [yi (x) ; x] = 0 o las
Dl [yi (x) ; yi0 (x) ; x] = 0 en los casos que sean integrables. Cuando se proceda de esta
forma se dir que las restricciones son usadas en Forma Implcita.
2. Usando el Mtodo de los Multiplicadores de Lagrange de forma anloga a como

se procede para hallar los valores extremales para las funciones en el curso bsico
de clculo de varias variables. Ms adelante sern encontradas las ecuaciones
de Euler-Lagrange correspondientes. Aqu las restricciones, en ningn caso, sern
usadas para eliminar las yi (x) dependientes. Cuando se proceda de esta forma se
dir que las restricciones son usadas en Forma Explcita.
Vase apndice D.
Las restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 (que en general no son integrables) y
las del tipo, Z x2
Il [yi (x) ; yi0 (x) ; x] dx = %l
x1
slo pueden ser empleadas en forma explcita ya que no permiten eliminar las yi (x) de-
pendientes. Las restricciones del tipo Al [yi (x) ; x] = 0 y las del tipo Dl [yi (x) ; yi0 (x) ; x] = 0
integrables, pueden ser usadas en las dos formas. Para estas dos ltimas, la forma
explcita proporciona informacin adicional contenida en los multiplicadores de La-
grange que no es posible obtenerla mediante la forma implcita.
3.1 Restricciones del tipo Al [yi (x) ; x] = 0
3.1.1 Forma implcita

Se emplearn las restricciones Al [yi (x) ; x] = 0 en forma implcita, es decir, sern usadas
para eliminar las yi (x) dependientes.
Pasos a seguir:
1. Se identifican las restricciones existentes.
2. Se indentifica f del integrando de la J dada o construida a partir de

la cantidad que se desea extremar.
3. Se usan las restricciones para eliminar las yi (x) dependientes en la f

identificada en el paso anterior, escogindose las que se van a dejar
como independientes entre s. Esta nueva f slo contendr las yi (x)
independientes.
4. Se encuentran y se resuelven las ecuaciones de Euler (2.10), (2.40) y

(2.41) en el caso de una variable yi (x) o de Euler-Lagrange (2.75) en
el caso de varias variables, usando la f hallada en el paso anterior. En
el caso que sea necesario, se usan las ecuaciones de las restricciones
para encontrar el resto de las yi (x) que fueron eliminadas en el paso
3.
...............................................................................................
EJEMPLO 3.1
La geodsica. La geodsica es una lnea que representa el camino
ms corto entre dos puntos cuando el camino est restringido a una superficie en par-
ticular. Hallar la longitud de la geodsica, es decir, la distancia ms corta entre los
puntos P1 (1; 0; 1) y P2 (0; 1; 1) en el plano x + y + z = 0.
SOLUCION: se utilizarn coordenadas Cartesianasy .
Se identifican las restricciones existentes: existe slo una restriccin (K = 1 ) l = 1)
que viene dada por la ecuacin del plano,
A=x+y+z =0 (3.1)
siendo una restriccin del tipo Al [yi (x) ; x] = 0.
Se indentifica f : el elemento de longitud (elemento de lnea) viene dado por,
ds2 = dx2 + dy 2 + dz 2 (3.2)
de aqu que la distancia venga dada por,

Z (1;0; 1) Z 1
1 1
2 2 2
s= dx + dy + dz 2
= 1 + y 02 + z 02 2
dx (3.3)
(0; 1;1) 0
donde se ha escogido x como variable independiente. Esta es la cantidad que se

quiere extremar, pudindose identificar f como,
1
f = 1 + y 02 + z 02 2
(3.4)
Aqu se tienen 2 variables y1 (x) = y y y2 (x) = z (i = 1; 2) dependientes de la variable in-

dependiente x. Las variables y y z no son independientes entre s debido a la restriccin
(3.1).
Se usan las restricciones para eliminar las yi (x) dependientes en la f : al despejar z

de la restriccin (3.1) resulta,
z= x y (3.5)
de la cual,
z0 = 1 y0 (3.6)
que al ser sustituida en (3.4) se obtiene,
h i 12
02 0 2
f = 1+y +( 1 y)
y
Vase el apndice E para una biografa resumida de Descartes.
o,
1 1
f = 2 2 1 + y 0 + y 02 2
(3.7)
convirtindose el problema planteado a uno de un sola variable, y.
Se encuentran y se resuelven las ecuaciones de Euler-Lagrange sin restricciones: a

partir de (2.10),
@f d @f
=0 (3.8)
@y dx @y 0
donde f es la dada por (3.7) y a partir de la cual,
( @f
@y
=0
@f 1 0 (3.9)
@y 0
= 2 2 1+2y
0 02
1
(1+y +y ) 2
que al ser sustituidas en (3.8) se obtiene,

" #
d 1 + 2y 0
=0
dx (1 + y 0 + y 02 ) 12
o integrando,
1 + 2y 0
1 = c1 (3.10)
(1 + y 0 + y 02 ) 2
donde c1 es una constante de integracin. Al despejar y 0 de (3.10) se obtiene,
y 0 = c2 (3.11)
donde c2 es una constante igual a una expresin algebraica que involucra a c1 .
Finalmente, si se integra ahora (3.11) resulta,
y = c2 x + c3 (3.12)
donde c3 es una constante de integracin. Esta es una de las extremales y representa

una Lnea Recta.
Falta la variable z que fue eliminada al usar la restriccin (3.1) en (3.4). Para hallar z
se sustituye (3.12) en (3.5) obtenindose,
z= x (c2 x + c3 )
o,
z= (1 + c2 ) x c3 (3.13)
que es la otra extremal, que tambin representa una Lnea Recta.
Para hallar las constantes c2 y c3 se aplican, sobre las extremales (3.12) y (3.13), las
condiciones de frontera y (0) = 1, y (1) = 0, z (0) = 1 y z (1) = 1 resultando,
(
c2 = 1
(3.14)
c3 = 1
de manera que (3.12) y (3.13) pueden ser escritas ahora como,

(
y=x 1
(3.15)
z = 2x + 1
que son dos rectas y representan los caminos que hacen de (3.3) un extremal. En este
caso tiene que representar un mnimo ya que, obviamente, el camino entre los puntos
dados puede hacerse tan grande como se desee.
Por ltimo, para hallar la distancia mnima se sustituye (3.15) en (3.3) y se evala la
integral resultante. En efecto,
Z 1 1
s= 1 + (1)2 + ( 2)2 2 dx
0
o,
p
s= 6 (3.16)
que es la distancia mnima pedida.
Este caso puede ser resuelto, debido a que la f dada por (3.7) no depende explci-
tamente de la variable independiente x, mediante el uso de la forma integrada de la
Ecuacin de Euler (2.41) deducida antes.
...............................................................................................
EJEMPLO 3.2
Encuentre la geodsica sobre una esfera de radio R.
SOLUCION: se utilizarn coordenadas esfricas.
que viene dada por la ecuacin de la esfera de radio R,
r=R
es decir,
A=r R=0 (3.17)
Figura 3.1: Geodsicas sobre una esfera.
Se indentifica f : en la figura 3.1 se muestra la situacin planteada en el enunciado.

El elemento de longitud viene dado por,
2
ds2 = dr2 + r2 d + r2 Sen2 d'2 (3.18)
de aqu que la distancia s entre los puntos 1 y 2 venga dada por,

Z Punto 2 1
02
s= r02 + r2 + r2 Sen2 2
d' (3.19)
Punto 1
dr 0 d
donde se ha escogido ' como variable independiente y r0 = d' , = d'
. Esta es la
cantidad que se quiere extremar, pudindose identificar f como,
1
02
f = r02 + r2 + r2 Sen2 2
(3.20)
Aqu se tienen 2 variables y1 (x) = r y y2 (x) = (i = 1; 2) dependientes de la variable

independiente '.
Se usan las restricciones para eliminar las yi (x) dependientes en la f : en este caso
la restriccin (3.17) slo elimina la dependencia de f con respecto a r, haciendo r
constante. En efecto, al sustituir r = R a partir de la restriccin (3.17) en (3.20) resulta,
1
02
f =R + Sen2 2
(3.21)
convirtindose el problema planteado a uno de un sola variable, .
Se encuentran y se resuelven las ecuaciones de Euler-Lagrange sin restricciones:

@f
puesto que @' = 0 (f no depende explcitamente de la variable independiente '), se
puede usar la forma integrada de la ecuacin de Euler (2.41),
0 @f
f = c1 (3.22)
@ 0
0
@f R
= (3.23)
@ 0 02
+ Sen2
1
2

02
02 2
1 c1
+ Sen 2
1 = c2 , con c2 =
02
+ Sen2 2 R
o,
1
02
Sen2 = c2 + Sen2 2
(3.24)
de la cual resulta,
d' c2 csc2
= 1 (3.25)
d (1 c22 csc2 ) 2
y al integrar,
1 cot
' = Sen + c4 (3.26)
c3
1
donde c4 es la constante de integracin y c23 = c22
1. El anterior resultado puede ser
escrito como,
cot = c3 Sen (' c4 ) (3.27)
Para interpretar este resultado, se transforma a coordenadas rectangulares. Con

este fin, multiplicando (3.27) por R Sen se obtiene,
R Cos = R Sen (c3 Cos c4 ) Sen ' R Sen (c3 Sen c4 ) Cos ' (3.28)
| {z }
Aplicando la identidad Sen(' )=Sen ' Cos Cos ' Sen
y puesto que y c3 son constantes, se puede escribir,

(
c3 Cos c4 = A
(3.29)
c3 Sen c4 = B
de modo que (3.28) queda escrita como,
A (R Sen Sen ') B (R Sen Cos ') = (R Cos ) (3.30)
Las cantidades en los parntesis son justo las expresiones para y, x y z respectiva-
mente, en coordenadas esfricas, por lo tanto resulta,
Ay Bx = z (3.31)
que es la Ecuacin de un Plano que pasa a travs del centro de la esfera. Por lo tanto,
la geodsica sobre una esfera es el camino que se origina al intersectar el plano (3.31)
con la esfera, es decir, el crculo mayor. Ntese que el crculo mayor es el mximo a la
vez que es la mnima distancia en lnea recta entre dos puntos sobre la superficie de
una esfera.
...............................................................................................
EJEMPLO 3.3
Encuentre la ecuacin de la geodsica en el plano xy, es decir, de
la lnea que proporciona la distancia ms corta entre dos puntos en dicho plano (ver
figura 3.2).
Figura 3.2: Distancia ms corta entre dos puntos del plano.
SOLUCION: se usarn coordenadas Cartesianas.

que viene dada por la ecuacin del plano xy,
A=z=0 (3.32)
ds2 = dx2 + dy 2 + dz 2 (3.33)

Z (x2 ;y2 ) Z x2
1 1
s= dx2 + dy 2 + dz 2 2
= 1 + y 02 + z 02 2
dx (3.34)
(x1 ;y1 ) x1

1
f = 1 + y 02 + z 02 2
(3.35)
Aqu se tienen 2 variables y1 (x) = y y y2 (x) = z (i = 1; 2) dependientes de la variable

independiente x.
Se usan las restricciones para eliminar las yi (x) dependientes en la f : al sustituir z de

la restriccin (3.32) en (3.35) resulta,
1
f = 1 + y 02 2
(3.36)
convirtindose el problema planteado a uno de un sola variable, y.

partir de (2.10),
@f d @f
=0 (3.37)
@y dx @y 0
( @f
@y
=0
@f y0 (3.38)
@y 0
= 02
1
(1+y ) 2

" #
d y0
=0
dx (1 + y 02 ) 12
o integrando,
y0
1 = c1 (3.39)
(1 + y 02 ) 2
y 0 = c2 (3.40)
donde c2 es una constante igual a una expresin algebraica que involucra a c1 .
Finalmente, al integrar (3.40), resulta,
y = c2 x + c3 (3.41)
donde c3 es otra constante de integracin, representando una Lnea Recta. En rigor,

slo se ha probado que la recta es una trayectoria que hace que (3.34) d un valor
estacionario, aunque en este problema es obvio que se trata de un mnimo. Las con-
stantes de integracin c2 y c3 quedan determinadas por la condicin de que la curva
pase por los dos puntos fronteras (x1 ; y1 ) y (x2 ; y2 ).
Este caso puede ser resuelto, debido a que la f dada por (3.36) no depende explci-
tamente de la variable independiente x, mediante el uso de la Forma Integrada de la
Ecuacin de Euler (2.41) deducida antes.
...............................................................................................
EJEMPLO 3.4
Hallar las geodsicas del cilindro circular r = R.
Figura 3.3: Geodsicas en un cilindro circular recto de radio R.

Se identifican las restricciones existentes: en la figura 3.3 se muestra esquemtica-
mente lo planteado. Existe slo una restriccin (K = 1 ) l = 1) que viene dada por la
ecuacin del cilindro de radio R,
x2 + y 2 = R 2 (3.42)
de aqu que,
A = x2 + y 2 R2 = 0 (3.43)
ds2 = dx2 + dy 2 + dz 2 (3.44)

Z Punto 2 Z 1
1 1
s= dx2 + dy 2 + dz 2 2
= 1 + y 02 + z 02 2
dx (3.45)
Punto 1 0

1
f = 1 + y 02 + z 02 2
(3.46)

(3.43).
Se usan las restricciones para eliminar las yi (x) dependientes en la f : al despejar y

de la restriccin (3.43) resulta,
1
y= R 2 x2 2 (3.47)
de la cual,
x
y0 = 1 (3.48)
(R2 x2 ) 2
8 " #2 91
< x =2
02
f = 1+ 1 +z
: (R2 x2 ) 2 ;
o, 1
R2 02
2
f= +z (3.49)
R2 x2
convirtindose el problema planteado a uno de un sola variable, z.

partir de (2.10),
@f d @f
=0 (3.50)
@z dx @z 0

8 @f
< @z = 0
@f z0 (3.51)
: @z0 = 2 R
1
2
+z 02
R2 x2

2 3
d 4 z0 5=0
1
dx R2
+ z 02 2
R 2 x2
o integrando,
z0
1 = c1 (3.52)
R2
R 2 x2
+ z 02 2

c2 R
z0 = 1 (3.53)
(R2 x2 ) 2
donde
c1
c2 = 1 (3.54)
(1 c21 ) 2
Finalmente, al integrar (3.53) se obtiene,
z= c2 R tan 1 p x + c3 (3.55)
R 2 x2
donde c3 es otra constante de integracin. Esta es la ecuacin de la geodsica pedida

(en este caso es una familia de geodsicas), que representa una Hlicez .
...............................................................................................
3.1.2 Forma explcita

Supngase que se quieren encontrar las funciones yi (x) que hacen que la integral,
Z x2
J= f [yi (x) ; yi0 (x) ; x] dx, con i = 1; 2; 3; :::; n (3.56)
x1
tome un valor estacionario o extremal bajo las restricciones algebraicas impuestas por,
Al [yi (x) ; x] = 0, con l = 1; 2; 3; :::; K y K < n (3.57)

z
Una Hlice es el nombre que recibe toda lnea curva cuyas tangentes forman un ngulo constante ,
siguiendo una direccin fija en el espacio.
La idea ahora es transformar el problema dado a uno equivalente sin restricciones

pero sin usar las restricciones (3.57) para eliminar las yi (x) dependientes entre s y dejar
slo las independientes entre s (forma implcita) como se hizo en la seccin anterior. Se
har ahora empleando las rectricciones en forma explcita. Para realizar esto se usar
el Mtodo de los Multiplicadores de Lagrangex . El valor estacionario de (1.32) o (3.56)
viene dado por, Z x2
J= f dx = 0 (3.58)
x1
de la cual se obtiene (ver seccin 1.2.2, ejemplo 3.7),

Z x2 Z x2 Xn
@f d @f
f dx = yi dx = 0 (3.59)
x1 x1 i=1
@yi dx @yi0
Aqu, como las funciones yi estn sometidas a las K restricciones independientes (3.57)
de manera que K de las yi pueden ser designadas como variables dependientes entre
s y espresadas en trminos de las otras, las variaciones yi no son arbitrarias por lo que
an no es posible aplicar el Lema Fundamental del Clculo de Variaciones.
Las variaciones yi deben satisfacer las restricciones impuestas por (3.57). Para en-
contrar las yi que satisfacen estas restricciones se halla la variacin de las ecuaciones
de restriccin (3.57). En efecto,
X
n
@Al
Al = yi = 0, con l = 1; 2; 3; :::; K (3.60)
i=1
@yi
que se mantienen para cualquier valor de x. En consecuencia, slo n K variaciones

yi se pueden considerar arbitrarias, es decir, yK+1 ; yK+2 ; yK+3 ; : : : ; yn ; y el resto se de-
terminan de (3.60).
De acuerdo al Mtodo de los Multiplicadores de Lagrange, al multiplicar cada una

de las ecuaciones (3.60) por un factor indeterminado l resulta,
X
n
@Al
l Al = l yi = 0, con l = 1; 2; 3; :::; K (3.61)
i=1
@yi
donde la suma es la que es nula, no sus trminos individuales en general. Puesto que las
restricciones (3.57) estn prescritas para cualquier valor de la variable independiente x,
los factores l tienen que ser aplicados para cualquier valor de esta variable, hacin-
dolos dependientes de la misma l = l (x). Ahora, al ser sumadas miembro a miembro
x
Vase apndice D.
estas K ecuaciones y luego integradas desde x1 hasta x2 se obtiene,

Z x2 X
K Xn
@Al
l yi dx = 0 (3.62)
x1 l=1 i=1
@yi
Si ahora se suman miembro a miembro (3.59) y (3.62) resulta,

Z x2 (Xn XK Xn
)
@f d @f @Al
0
yi + l yi dx = 0
x1 i=1
@y i dx @y i l=1 i=1
@y i
o, " #
Z x2 Xn X
K
@f d @f @Al
+ l yi dx = 0 (3.63)
x1 i=1
@yi dx @yi0 l=1
@yi
Esta movida no es trivial ya que, a pesar de haberse sumado cero, se ha adicionado
realmente una suma cuyos trminos individuales no son nulos como se dijo antes. Aqu
an no se puede aplicar el Lema Fundamental del Clculo de Variaciones, puesto que
las variaciones yi no son arbitrarias.
La eliminacin de las K variaciones yi dependientes entre s, a diferencia de como

se procedi en la forma implcita, puede ser llevada a cabo mediante la eleccin
apropiada de los K factores l (x), de manera que los coeficientes de las yi en (3.63)
se anulen. Estos l (x) se obtienen a partir de las K ecuaciones,
@f d @f X
K
@Al
+ l = 0, con i = 1; 2; 3; : : : ; K (3.64)
@yi dx @yi0 l=1
@yi
que forman un sistema lineal de ecuaciones con respecto a las l (x) cuyo determi-
nante debe ser no singular,
D (A1 ; A2 ; A3 ; : : : ; AK ) D (Al )
= 6= 0, con i; l = 1; 2; 3; : : : ; K (3.65)
D (y1 ; y2 ; y3 ; : : : ; yK ) D (yi )
garantizndose as que el sistema de ecuaciones posea solucin 1; 2; 3; : : : ; K.
Con las l escogidas como antes, la condicin para valor estacionario (3.63) queda
como, " #
Z x2 X
n X
K
@f d @f @Al
+ l yi dx = 0 (3.66)
x1 i=K+1
@yi dx @yi0 l=1
@yi
donde todas las yi son independientes entre s. Ahora, es posible aplicar el Lema
Fundamental del Clculo de Variaciones (cada uno de sus coeficientes se anulan por
separado) resultando,
@f d @f X
K
@Al
+ l = 0, con i = K + 1; K + 2; K + 3; : : : ; n (3.67)
@yi dx @yi0 l=1
@yi
Finalmente, las condiciones sobre los l (3.64) combinadas con las ecuaciones (3.67)
conducen a la conclusin de que cada coeficiente de las yi en (3.63) se anula justo
como si todas las yi fuesen independientes de manera que,
@f d @f X
K
@Al
+ l = 0, con i = 1; 2; 3; : : : ; n
@yi dx @yi0 l=1
@yi
o,
d @f @f
0
= Qi , con i = 1; 2; 3; :::; n (3.68)
dx @yi @yi
| {z }
2 3
6 Ecuaciones de Euler-Lagrange para funcionales de mltiples 7
4 5
variables dependientes y restricciones del tipo Al [yi (x) ; x] = 0.
donde,
P
K
@Al
Qi = l @yi (3.69)
l=1
Las expresiones (3.68) son las Ecuaciones de Euler - Lagrange para restricciones del
tipo Al [yi (x) ; x] = 0, cuando son usadas en forma explcita. Estas restricciones entran
en forma explcita en los Qi dados por (3.69). En Mecnica de Lagrange y de Hamilton,
los Qi estn asociados a las llamadas Fuerzas Generalizadas de Ligadura.
La solucin completa al problema depende ahora de la determinacin de n fun-

ciones yi y K funciones l . Como hay K ecuaciones de restriccin dadas por (3.57)
y n ecuaciones dadas por (3.68), entonces existen suficientes ecuaciones (n + K en
total) para permitir una solucin completa al problema planteado. Aqu las l (x) son
consideradas indeterminadas y pueden ser obtenidas como parte de la solucin satis-
faciendo las restricciones (3.57).
El problema anterior puede ser planteado de otra forma. Es posible reobtener las
ecuaciones (3.68) plantendose el problema variacional sin restricciones,
@ fe d @ fe
@yi dx @yi0
= 0, con i = 1; 2; 3; : : : ; n (3.70)
donde,
P K
fe = f + l (x) Al [yi (x) ; x] (3.71)
l=1
Pasos a seguir cuando se usan las restricciones del tipo Al [yi (x) ; x] = 0 en forma
explcita:
1. Se identifican las restricciones existentes.

la cantidad que se desea extremar, con las yi (x) dependientes e in-
dependientes. No deben usarse las restricciones para eliminar las yi (x)
dependientes entre s en f .
3. Se encuentran las ecuaciones de Euler-Lagrange (3.68), usando la f

hallada en el paso anterior.
4. Se resuelve el sistema formado por las ecuaciones de Euler-Lagrange

ms las restricciones, que son usadas para completar el sistema. Aqu
se obtienen las extremales yi (x) y los multiplicadores de Lagrange l
que permiten encontrar los Qi dados por (3.69).
...............................................................................................
EJEMPLO 3.5
Resolver el ejemplo 3.1 usando la restriccin presente en forma
explcita.
A=x+y+z =0 (3.72)
ds2 = dx2 + dy 2 + dz 2 (3.73)

Z (1;0; 1) Z 1
1 1
s= dx2 + dy 2 + dz 2 2
= 1 + y 02 + z 02 2
dx (3.74)
(0; 1;1) 0

1
f = 1 + y 02 + z 02 2
(3.75)

(3.72).
Se encuentran las ecuaciones de Euler-Lagrange: al emplear (3.68), las ecuaciones

de Euler vendrn dadas por,
d @f @f @A
= Qy = (3.76)
dx @y 0 @y @y
d @f @f @A
= Qz = (3.77)
dx @z 0 @z @z
pero de (3.72) y (3.75),
8
> @f @f
>
< @y
=0 @z
=0
@f y0 @f z0
@y 0
= 1 @z 0
= 1 (3.78)
>
> (1+y 02 +z 02 ) 2 (1+y 02 +z 02 ) 2
: @A
=1 @A
=1
@y @z
entonces al sustituir estos resultados en (3.76) y (3.77) se obtiene,

d h 0 1
i
y 1 + y 02 + z 02 2 = (3.79)
dx
d h 0 1
i
z 1 + y 02 + z 02 2 = (3.80)
dx
Se resuelve el sistema formado por las ecuaciones de Euler-Lagrange ms las restric-
ciones: queda ahora resolver el sistema de ecuaciones diferenciales formado por (3.79)
y (3.80) junto con la restriccin (3.72). Restando miembro a miembro las dos ecuaciones
anteriores resulta,
d h 0 1
i
(y z 0 ) 1 + y 02 + z 02 2 = 0 (3.81)
dx
que al ser integrada resulta en,
1
(y 0 z 0 ) 1 + y 02 + z 02 2
= c1 (3.82)
donde c1 es una constante de integracin. Por otro lado, de la restriccin (3.72),
z= x y ) z0 = 1 y0 (3.83)
entonces, al sustituir este resultado en (3.82) se puede escribir,

1
(1 + 2y 0 ) 1 + 2y 0 + 2y 02 2
= c1 (3.84)
de la cual,
y 0 = c2 (3.85)
donde la constante c2 es una constante que viene dada por una expresin en la que
aparece c1 y que no vale la pena mostrar explcitamente ya que no es til para ningn
clculo posterior.
Finalmente, al integrar (3.85) se obtiene,
y = c2 x + c3 (3.86)
donde c3 es una constante de integracin, representando una Lnea Recta. Usando

este resultado en la restriccin (3.72) resulta,
z= (1 + c2 ) x c3 (3.87)
que es otra Lnea Recta.
Las constantes c2 y c3 se hayan al utilizar las condiciones de frontera y (0) = 1, y (1) =

0, z (0) = 1 y z (1) = 1 en (3.86) y (3.87) resultando,
(
c2 = 1
(3.88)
c3 = 1
de manera que (3.86) y (3.87) pueden ser escritas ahora como,

(
y=x 1
(3.89)
z = 2x + 1
que son los mismos resultados obtenidos en el ejemplo 3.1. Es obvio que la distancia
mnima ser tambin la misma, es decir,
p
s= 6 (3.90)
El multiplicador de Lagrange puede ser encontrado sustituyendo (3.89) en (3.79) o

(3.80) obtenindose,
=0 (3.91)
que es una informacin que no poda ser obtenida al usar la restriccin en forma im-
plcita. En este caso particular, no se aporta mayor informacin.
...............................................................................................
EJEMPLO 3.6
Resolver el ejemplo 3.3, usando la restriccin presente en forma
explcita.

que viene dada por la ecuacin del plano xy,
A=z=0 (3.92)
ds2 = dx2 + dy 2 + dz 2 (3.93)

Z (x2 ;y2 ) Z x2
1 1
s= dx2 + dy 2 + dz 2 2
= 1 + y 02 + z 02 2
dx (3.94)
(x1 ;y1 ) x1

1
f = 1 + y 02 + z 02 2
(3.95)
Aqu se tienen 2 variables y1 (x) = y y y2 (x) = z (i = 1; 2) dependientes de la variable

independiente x.

d @f @f @A
= Qy = (3.96)
dx @y 0 @y @y
d @f @f @A
= Qz = (3.97)
dx @z 0 @z @z
pero de (3.92) y (3.95),

8
> @f @f
>
< @y
=0 @z
=0
@f y0 @f z0
@y 0
= 1 @z 0
= 1 (3.98)
>
> (1+y 02 +z 02 ) 2 (1+y 02 +z 02 ) 2
: @A
=0 @A
=1
@y @z

d h 0 02 02
1
i
y 1+y +z 2
= 0 (3.99)
dx
d h 0 1
i
z 1 + y 02 + z 02 2 = (3.100)
dx
Se resuelve el sistema formado por las ecuaciones de Euler-Lagrange ms las re-

stricciones: queda ahora resolver el sistema de ecuaciones diferenciales formado por
(3.99) y (3.100) junto con la restriccin (3.92).
Sustituyendo la restriccin (3.92) en (3.99) y (3.100) resulta,

d h 0 1
i
y 1 + y 02 2
=0 (3.101)
dx
=0 (3.102)
El resultado (3.102) es una informacin que no poda ser obtenida al usar la restric-
cin en forma implcita. En este caso particular, no se aporta mayor informacin. La
ecuacin diferencial (3.101) al ser integrada resulta en,
1
y 0 1 + y 02 2
= c1 (3.103)
donde c1 es una constante de integracin. Esta ecuacin diferencial es idntica a la

(3.39) del ejemplo 3.3, por lo tanto, es obvio que se llegar al mismo resultado (3.41), es
decir,
y = c2 x + c3 (3.104)
que es la ecuacin de una Lnea Recta.
...............................................................................................
EJEMPLO 3.7
Resolver el ejemplo 3.4, usando la restriccin presente en forma
explcita.
que viene dada por la ecuacin del cilindro de radio R,
x2 + y 2 = R 2 (3.105)
de aqu que,
A = x2 + y 2 R2 = 0 (3.106)
ds2 = dx2 + dy 2 + dz 2 (3.107)

Z Punto 2 Z 1
1 1
2 2 2
s= dx + dy + dz 2
= 1 + y 02 + z 02 2
dx (3.108)
Punto 1 0

1
f = 1 + y 02 + z 02 2
(3.109)

(3.106).

d @f @f @A
= Qy = (3.110)
dx @y 0 @y @y
d @f @f @A
= Qz = (3.111)
dx @z 0 @z @z
pero de (3.106) y (3.109),

8
> @f @f
>
< @y
=0 @z
=0
@f y0 @f z0
@y 0
= 1 @z 0
= 1 (3.112)
>
> (1+y 02 +z 02 ) 2 (1+y 02 +z 02 ) 2
: @A
= 2y @A
=0
@y @z

d h 0 1
i
y 1 + y 02 + z 02 2
= 2y (3.113)
dx
d h 0 1
i
z 1 + y 02 + z 02 2
= 0 (3.114)
dx
stricciones: ahora bien, de (3.114) resulta,
1
1 + y 02 + z 02 2
z 0 = c1 (3.115)
y de la restriccin (3.106),
1 x
y= R2 x2 2
) y0 = 1 (3.116)
(R2 x2 ) 2
entonces, al sustituir este resultado en (3.115) se puede escribir,

c2 R
z0 = 1 (3.117)
(R2 x2 ) 2
con, 1
c21 2
c2 = (3.118)
1 c21
La ecuacin (3.117) es idntica a la ecuacin diferencial (3.53) del ejemplo 3.4. Por
lo tanto, es obvio que al integrarla el resultado ser idntico al (3.55), es decir,
z= c2 R tan 1 p x + c3 (3.119)
R 2 x2
siendo la ecuacin de la geodsica pedida una Hlice.
Por ltimo, la ecuacin (3.113) permite encontrar usando los resultados (3.116) y
(3.119) obtenindose,
1
= q (3.120)
2R (c22 +1)(R2 x2 )
Este resultado es una informacin que no poda ser obtenida al usar la restriccin en
forma implcita.
...............................................................................................
EJEMPLO 3.8
Geodsicas en general. Sea (x; y; z) = 0 la ecuacin de una su-
perficie S dada y suponiendo que toda curva diferenciable definida sobre S admite
una parametrizacin del tipo,
(t) = (x (t) ; y (t) ; z (t)) , : [t0 ; t1 ] ! S
hallar las geodsicas sobre S.

que viene dada por la ecuacin,
(x; y; z) = 0 (3.121)
de aqu que,
A = (x; y; z) = 0 (3.122)
La restriccin (3.122) es del tipo Al [yi (x) ; x] = 0, sin embargo slo es posible tratarla
en forma explcita ya que no se posee la expresin de (x; y; z).
ds2 = [dx (t)]2 + [dy (t)]2 + [dz (t)]2 (3.123)
de aqu que la longitud de la curva venga dada por,

Z Punto 2 1
s = [dx (t)]2 + [dy (t)]2 + [dz (t)]2 2
Punto 1
Z Punto 2 n o1
2 2 2 2
= [x0 (t)] + [y 0 (t)] + [z 0 (t)] dt (3.124)
Punto 1
donde se ha escogido t como variable independiente y la prima indica derivada to-

tal con respecto a dicha variable independiente. Esta es la cantidad que se quiere
extremar, pudindose identificar f como,
n o1
0 2 0 2 0 2 2
f = [x (t)] + [y (t)] + [z (t)] (3.125)
Aqu se tienen 3 variables y1 (t) = x, y2 (t) = y y y2 (t) = z (i = 1; 2; 3) dependientes de la

variable independiente t. Las variables x, y y z no son independientes entre s debido a
la restriccin (3.122).

d @f @f @A
= Qx = (3.126)
dt @x0 @x @x
d @f @f @A
= Qy = (3.127)
dt @y 0 @y @y
d @f @f @A
= Qz = (3.128)
dt @z 0 @z @z
pero de (3.122) y (3.125),
8
> @f @f @f
< @x = 0
> @y
=0 @z
=0
@f 0 @f y0 @f z0
@x0
= 02 02x 02 1 @y 0
= 1 @z 0
= 1 (3.129)
>
> (x +y +z ) 2 (x02 +y 02 +z 02 ) 2 (x02 +y 02 +z 02 ) 2
: @A = @ @A
= @ @A
= @
@x @x @y @y @z @z
entonces al sustituir estos resultados en (3.126), (3.127) y (3.128) se obtiene,

d @f @
= (3.130)
dt @x0 @x
d @f @
= (3.131)
dt @y 0 @y
d @f @
= (3.132)
dt @z 0 @z
pero como,
d ds d d
= = s0 (3.133)
dt dt ds ds
y de (3.124),
ds 1
= x02 + y 02 + z 02 2 (3.134)
dt
entonces (3.130), (3.131) y (3.132) se pueden escribir como,
8
> d2 x=ds2
>
< @ =@x
= s0
d2 y=ds2
= s0
>
>
@ =@y
: d2 z=ds2
=
@ =@z s0
o,
d2 x=ds2 d2 y=ds2 d2 z=ds2
@ =@x
= @ =@y
= @ =@z
= s0
(3.135)
expresando que la normal a la curva coincide con la normal a la superficie, definicin

usual de geodsica en geometra diferencial.
En este caso no es posible resolver las ecuaciones diferenciales resultantes con la

informacin suministrada.
...............................................................................................
3.2 Restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0

Supngase ahora que se quieren encontrar las funciones yi (x) que hacen que la inte-
gral, Z x2
x1
tome un valor estacionario bajo las restricciones impuestas por,
Dl [yi (x) ; yi0 (x) ; x] = 0, con l = 1; 2; 3; :::; K y K < n (3.137)
Estas restricciones slo pueden ser usadas en forma explcita ya que no representan
una relacin algebraica que slo involucre las yi (x) a menos que sean integrables,
convirtindose as en restricciones del tipo Al [yi (x) ; x] = 0 como las estudiadas en la
seccin anterior.
Supngase que se cumple,

D (D1 ; D2 ; D3 ; : : : ; DK ) D (Di )
0 0 0 0
= 6= 0 (3.138)
D (y1 ; y2 ; y3 ; : : : ; yK ) D (yi0 )
el cual representa uno de los determinantes funcionales de orden K, garantizndose as

la independencia de las K restricciones (3.137). Debido a lo anterior es posible ahora,
en virtud de (3.138), resolver las ecuaciones (3.137) con respecto a las yi0 obtenindose,
yl0 = Dl yi ; yj0 ; x con l = 1; 2; 3; : : : ; K; i = 1; 2; 3; : : : ; n y j = K + 1; K + 2; K + 3; : : : ; n (3.139)
y si adicionalmente se supone que,
yi , con i = K + 1; K + 2; K + 3; : : : ; n (3.140)
son funciones dadas en forma completamente arbitraria. Entonces, del sistema de

ecuaciones (3.139), es posible determinar las funciones,
yi , con i = 1; 2; 3; : : : ; K (3.141)
Por todo lo anterior, las funciones (3.140) son derivables arbitrarias con valores de fron-
tera fijos y, en consecuencia, sus variaciones son tambin arbitrarias.
Dado un sistema admisible arbitrario de funciones yi (i = 1; 2; 3; : : : ; n) que satisface el

sistema de ecuaciones de restricciones (3.137) se tiene que,
X
n
@Dl X
n
@Dl
Dl = yi + yi0 = 0, con l = 1; 2; 3; : : : ; K (3.142)
i=1
@yi i=1
@yi0
Si ahora se multiplican miembro a miembro todas las K ecuaciones anteriores por un

factor l = l (x) (por ahora indeterminado) se obtiene,
X
n
@Dl X
n
@Dl
l Dl = l yi + l yi0 = 0, con l = 1; 2; 3; : : : ; K (3.143)
i=1
@yi i=1
@yi0
y al ser sumadas miembro a miembro estas K ecuaciones y luego integradas desde x1

hasta x2 se obtiene,
Z x2 X
K X
n Z x2 X
K X
n
@Dl @Dl
l yi dx + l yi0 dx
x1
l=1 i=1
@yi x1 l=1 i=1
@yi0
XX
n K Z x2 Z x2
@Dl @Dl d
= l yi dx + l ( yi ) dx = 0 (3.144)
i=1 l=1 x1 @yi x1 @yi0 dx
El segundo trmino entre corchetes de (3.144) puede ser integrado por partes,
Z Z (
u = l @D l
@yi0
udv = uv vdu, con d
(3.145)
dv = dx ( yi ) dx = d ( yi ) ) v = yi
de manera que,
Z x2 x2 Z x2
@Dl d @Dl d @Dl
l ( yi ) dx = l yi l yi dx (3.146)
x1 @yi0 dx @yi0 x1 x1 dx @yi0
pero,
x2
@Dl
l yi =0 (3.147)
@yi0 x1
ya que yi debe anularse en x1 y x2 por ser una variacin admisible. Entonces (3.146)
@Dl d d @Dl
l 0
( yi ) dx = l yi dx (3.148)
x1 @yi dx x1 dx @yi0
X n X K Z x2 Z x2
@Dl d @Dl
l yi dx l yi dx = 0
i=1 l=1 x1 @yi x1 dx @yi0
o,
Z x2 X
n X
K
@Dl d @Dl
l l yi dx = 0 (3.149)
x1 i=1 l=1
@yi dx @yi0
Por otro lado, el valor estacionario de (3.136) viene dado por,
Z x2
J= f dx = 0 (3.150)
x1
de la cual se obtiene (ver ejemplo 5.7 seccin 1.2.2),

Z x2 X
n
@f d @f
J= yi dx = 0 (3.151)
x1 i=1 @yi dx @yi0
Si ahora se suman miembro a miembro (3.149) y (3.151) resulta,
Z x2 Xn Z x2 X
n X K
@f d @f @Dl d @Dl
0
yi dx + l l yi dx = 0
x1 i=1 @yi dx @yi x1 i=1 l=1 @yi dx @yi0
o,
Z ( )
x2 X
n
@f d @f X
K
@Dl d @Dl 0 @Dl
+ l l yi dx = 0 (3.152)
x1 i=1
@yi dx @yi0 l=1
@yi dx @yi0 @yi0
A este nivel an no es aplicable el Lema Fundamental del Clculo de Variaciones ya

que las variaciones yi (i = 1; 2; 3; : : : ; n) no son arbitrarias. La eliminacin de las K varia-
ciones yi dependientes entre s puede ser llevada a cabo mediante la eleccin apropi-
ada de los K factores l , de manera que los coeficientes de las yi en (3.152) se anulen.
Estos l se obtienen a partir de las K ecuaciones,
@f d @f X
K
@Dl d @Dl 0 @Dl
+ l l = 0, con i = 1; 2; 3; : : : ; K (3.153)
@yi dx @yi0 l=1
@yi dx @yi0 @yi0
que es un sistema de ecuaciones diferenciales lineales con respecto a l y 0l = ddxl que

posee, bajo las hiptesis planteadas al comienzo, la solucin l (l = 1; 2; 3; : : : ; K) que
depende de K constantes arbitrarias de integracin. Con las l escogidas como antes,
la condicin para valor estacionario (3.152) queda como,
Z x2 X ( )
n
@f d @f XK
@Dl d @Dl 0 @Dl
0
+ l 0 l yi dx = 0 (3.154)
x1 i=K+1 @yi dx @yi l=1
@yi dx @yi @yi0
donde ahora si son arbitrarias las variaciones yi (i = K +1; K +2; K +3; : : : ; n) pudindose
aplicar ahora el Lema Fundamental del Clculo de Variaciones resultando,
@f d @f X
K
@Dl d @Dl 0 @Dl
+ l l , con i = K + 1; K + 2; K + 3; : : : ; n
@yi dx @yi0 l=1
@yi dx @yi0 @yi0
(3.155)
Finalmente, las condiciones sobre los l (3.153) combinadas con las ecuaciones
(3.155) conducen a la conclusin de que cada coeficiente de las yi en (3.152) se
anula justo como si todas las yi fuesen independientes de manera que,
@f d @f X
K
@Dl d @Dl 0 @Dl
+ l l =0 (3.156)
@yi dx @yi0 l=1
@yi dx @yi0 @yi0
o,
d @f @f
0
= Qi , con i = 1; 2; 3; :::; n (3.157)
dx @yi @yi
| {z }
2 3
4 5
variables dependientes y restricciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0.
donde,
K n h
P i o
@Dl d @Dl 0 @Dl
Qi = l @yi dx @yi0 l @yi0 (3.158)
l=1
Las expresiones (3.157) son las Ecuaciones de Euler - Lagrange para restricciones del
tipo Dl [yi (x) ; yi0 (x) ; x] = 0. Estas restricciones entran en forma explcita en los Qi dados
por (3.158).

ciones yi y K funciones l . Como hay K ecuaciones de restriccin dadas por (3.137)
y n ecuaciones dadas por (3.157), entonces existen suficientes ecuaciones (n + K en
total) para permitir una solucin completa al problema planteado. Aqu las l (x) son
consideradas indeterminadas y pueden ser obtenidas como parte de la solucin satis-

faciendo las restricciones (3.137).
Las ecuaciones (3.157) pueden ser obtenidas, al igual que en la seccin anterior,
plantendose el problema variacional sin restricciones,
@ fe d @ fe
@yi dx @yi0
= 0, con i = 1; 2; 3; : : : ; n (3.159)
donde,
P K
fe = f + l (x) Dl [yi (x) ; yi0 (x) ; x] (3.160)
l=1
Existen restricciones menos generales a las del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 cuyas Ecua-
ciones de Euler-Lagrange no resultan en forma correcta, en general, a partir de (3.157)
o (3.159). Estas restricciones sern el objeto de estudio de la siguiente seccin.
e P
n
3.3 Restricciones del tipo Dl = Alj [yi (x) ; x] yj0 (x)+Bl [yi (x) ; x] =
j=1
0
La derivada total de una restriccin del tipo (3.57), es decir Al [yi (x) ; x] = 0, con respecto
a la variable independiente x y su diferencial total vienen dados respectivamente por,
8
> dAl [yi (x);x] Pn
@Al [yi (x);x] 0
>
< dx
= @yj
yj (x) + @Al [y@xi (x);x]
=0
j=1
P
n , con l = 1; 2; 3; :::; K (3.161)
>
> dA [y (x) ; x] = @Al [yi (x);x]
dy (x) + @Al [yi (x);x]
dx = 0
: l i @yj j @x
j=1
Respectivamente, las expresiones (3.161) tienen la forma general,
8
e (D) [yi (x) ; yi0 (x) ; x] = P Alj [yi (x) ; x] yj0 (x) + Bl [yi (x) ; x] = 0
n
>
>
< D l
j=1
Pn , con l = 1; 2; 3; :::; K
>
> e [yi (x) ; y 0 (x) ; x] =
(d)
: D l i A lj [y i (x) ; x] dy j (x) + Bl [y i (x) ; x] dx = 0
j=1
(3.162)
donde (D) significa que aparecen las derivadas totales (x) de las yj (x) y (d) que yj0
aparecen los diferenciales totales dyj (x) de las yj (x). Aqu los coeficientes Alj y Bl son
funciones dadas que dependen, en general, de las yi (x) y la variable independiente
x como puede verse. Representan un caso menos general de restricciones del tipo
Dl [yi (x) ; yi0 (x) ; x] = 0. En general no son integrables, impidiendo que puedan conver-
tirse en relaciones algebraicas que solamente involucren a las yi (x). Es obvio que estas
restricciones se pueden convertir en restriciones del tipo Al [yi (x) ; x] = 0 [equivalente-
mente en (3.161)] slo si son integrables, es decir, cuando se cumple que,
(
Alj = @Al [y@yi (x);x]
j
(3.163)
Bl = @Al [y@x
i (x);x]
convirtindose (3.162) en una diferencial exacta o en una derivada total.
Cuando una restriccin est expresada en la forma de la segunda de las expre-

siones (3.162), se dice que est escrita en Forma Diferencial o en Forma Pfaffiana { . Es
obvio que ambas expresiones son equivalentes.
En general, como ya se haba visto en la seccin anterior, las restricciones del tipo
Dl [yi (x) ; yi0 (x) ; x] = 0 deben satisfacer las ecuaciones (3.142), es decir,
X
n
@Dl X
n
@Dl
Dl = yi + yi0 = 0, con l = 1; 2; 3; : : : ; K (3.164)
i=1
@yi i=1
@yi0
que son las condiciones que deben cumplir los caminos yi (x) para ser geomtricamete
posibles bajo estas restricciones, es decir, aquellos caminos que las obedencen. Para
que las restricciones del tipo (3.162) puedan ser tratadas con las Ecuaciones de La-
grange (3.157) o (3.159) deben satisfacer (3.164) lo cual, en efecto, lo hacen pero en
forma parcial como ser mostrado. Antes de mostrar esto, las ecuaciones (3.164) sern
d
reescritas en una forma ms manejable. Teniendo presente que yi0 = dx ( yi ), al sumar
P
n
d @Dl
y restar dx @y 0
yi en las ecuaciones (3.164) resulta,
i
i=1
Xn
d @Dl Xn
d @Dl X
n
@Dl Xn
@Dl d
Dl = yi yi + yi + ( yi ) = 0
i=1
dx @yi0 i=1
dx @yi0 i=1
@yi i=1
@yi0 dx
X
n
d @Dl @Dl d X
n
@Dl d @Dl
= yi + ( yi ) + yi = 0
dx @yi0 @yi0 dx @yi dx @yi0
i=1 | {z } i=1
P
n
d @Dl
= dx @y 0
yi
i=1 i
Xn
d @Dl X n
= y i + Dli yi = 0
i=1
dx @yi0 i=1
{
Vase el apndice F para una biografa resumida de Pfaff y el apndice G para una breve resea
referente a esta forma.
o, !
d X
n
@Dl X
n
Dl = yi + Gli yi = 0 (3.165)
dx i=1
@yi0 i=1
donde,
@Dl d @Dl
Gli = (3.166)
@yi dx @yi0
Se mostrar ahora si las restricciones del tipo (3.162) cumplen con las condiciones
(3.165). Para que esto ocurra debe cumplirse que,
!
d Xn
@ el
D Xn
e
Dl = yi + Gli yi = 0 (3.167)
dx i=1 @yi0 i=1
pero, a partir de (3.162) se obtiene,

8 !
>
> el Pn Pn
>
> @D
= @
A y 0
+ B =
@Alj 0
y + @B l
>
> @yi @yi lj j l @yi j @yi
>
> j=1
! j=1
<
el
@D @
Pn
0
Pn @yj0 Pn
(3.168)
> 0
@yi
= @yi0 A lj y j + B l = A lj @yi0 = Alj ji = Ali
>
> j=1 j=1 j=1
>
>
>
> el
@D dAli P n
@Ali 0
> d
: dx @yi0 = dx
= y + @A
@yj j @x
li
j=1
que al ser sustituidos en (3.167) resulta,

!
d Xn X n
@Alj 0 @Bl @Ali 0 @Ali
e
Dl = Ali yi + y + y yi = 0
dx i=1 i;j=1
@yi j @yi @yj j @x
o, !
X
n X
n
el = d
D Ali yi +
@Alj @Ali
yj0 +
@Bl @Ali
yi = 0 (3.169)
dx i=1 i;j=1
@yi @yj @yi @x
que son las condiciones que deben cumplir las restricciones del tipo (3.162) para poder
ser tratadas con las Ecuaciones de Lagrange (3.157) o (3.159). Se puede verificar fcil-
mente que (3.169) slo se cumple cuando los coeficientes Ali y Bl sean los dados por
P
n
(3.163), tenindose presente que Ali yi = 0. Es decir:
i=1
Las restricciones (3.162) slo pueden ser tratadas con las Ecuaciones
de Lagrange (3.157) o (3.159) cuando sean integrables!, convirtindose
as esencialmente en restricciones del tipo Al [yi (x) ; x] = 0.
Por lo anteriormente mostrado, sern encontradas ahora las Ecuaciones de Euler-

Lagrange particulares para las restricciones del tipo (3.162) sean integrables o no. Supn-
gase que se quieren encontrar las funciones yi (x) que hacen que la integral,
Z x2
x1
tome un valor estacionario bajo las restricciones impuestas por (3.162). A partir de estas
restricciones,
X
n
Del = Ali yi = 0, con l = 1; 2; 3; :::; K (3.171)
i=1
que se cumplen para cualquier valor de x. Se usar el Mtodo de los Multiplicadores

de Lagrange como se hizo en las secciones anteriores. Al multiplicar cada una de las
ecuaciones (3.171) por un factor indeterminado l resulta,
X
n
e
l Dl = l Ali yi = 0, con l = 1; 2; 3; :::; K (3.172)
i=1
donde la suma es la que es nula, no sus trminos individuales en general. Puesto que
las restricciones (3.162) estn prescritas para cualquier valor de la variable independi-
ente x, los factores l tienen que ser aplicados para cualquier valor de esta variable,
hacindolos dependientes de la misma l = l (x). Ahora, al ser sumadas miembro a
miembro estas K ecuaciones y luego integradas desde x1 hasta x2 se obtiene,
Z x2 X
K X
n
l Ali yi dx = 0 (3.173)
x1 l=1 i=1
Por otro lado, la variacin de (3.170) viene dada por (ver seccin 2.3),
Z x2 Z x2 X
n
@f d @f
J= f dx= yi dx = 0 (3.174)
x1 x1 i=1 @yi dx @yi0
que se ha igualado a cero para as encontrar el valor estacionario de J. Si ahora se

suman miembro a miembro (3.173) y (3.174) resulta,
Z x2 (Xn XK Xn
)
@f d @f
0
yi + l Ali yi dx = 0
x1 i=1
@y i dx @y i l=1 i=1
o, " #
Z x2 Xn X
K
@f d @f
+ l Ali yi dx = 0 (3.175)
x1 i=1
@yi dx @yi0 l=1
Al igual que en la seccin anterior, esta movida no es trivial. A pesar de haberse

sumado cero, se ha adicionado realmente una suma cuyos trminos individuales no
son nulos. Aqu an no se puede aplicar el Lema Fundamental del Clculo de Varia-
ciones, puesto que las variaciones yi no son arbitrarias.
La eliminacin de las K variaciones yi dependientes entre s puede ser llevada a

cabo mediante la eleccin apropiada de los K factores l , de manera que los coefi-
cientes de las yi en (3.169) se anulen. Estos l se obtienen a partir de las K ecuaciones,
@f d @f X
K
+ l Ali = 0, con i = 1; 2; 3; : : : ; K (3.176)
@yi dx @yi0 l=1
que forman un sistema lineal de ecuaciones con respecto a las l cuyo determinante
debe ser no singular,
e1 ; D
D D e2 ; D
e3 ; : : : ; D
eK el
D D
= 6= 0, con i; l = 1; 2; 3; : : : ; K (3.177)
D (y1 ; y2 ; y3 ; : : : ; yK ) D (yi )
garantizndose as que el sistema de ecuaciones posea solucin 1; 2; 3; : : : ; K.
Con las l escogidas en (3.176), la condicin para valor estacionario de J (3.175)

queda como, " #
Z x2 Xn XK
@f d @f
+ l (x) Ali yi dx = 0 (3.178)
x1 i=K+1 @yi dx @yi0 l=1
donde todas las yi son independientes entre s. Ahora, es posible aplicar el Lema
Fundamental del Clculo de Variaciones (cada uno de los coeficientes de las yi se
anulan por separado) resultando,
@f d @f X
K
+ l Ali con i = K + 1; K + 2; K + 3; : : : ; n (3.179)
@yi dx @yi0 l=1
Finalmente, las condiciones sobre los l (3.176) combinadas con las ecuaciones
(3.179) conducen a la conclusin de que cada coeficiente de las yi en (3.175) se
anula justo como si todas las yi fuesen independientes entre s de manera que,
@f d @f X
K
+ l Ali = 0 con i = 1; 2; 3; : : : ; n
@yi dx @yi0 l=1
o,
d @f @f
0
= Qi , con i = 1; 2; 3; :::; n (3.180)
dx @yi @yi
| {z }
2 3
4 5
variables dependientes y restricciones del tipo D el [yi (x) ; yi0 (x) ; x] = 0.
donde,
P
K
Qi = l Ali (3.181)
l=1
Las expresiones (3.180) son las Ecuaciones de Euler - Lagrange buscadas para re-
stricciones del tipo (3.162), sean no-holnomas o semi-holnomas. Estas restricciones
entran en forma explcita en los Qi dados por (3.181) mediante los coeficientes Ali . En
Mecnica de Lagrange y de Hamilton, igual como se mencion antes, los Qi estn
asociados con las llamadas Fuerzas Generalizadas de Ligadura.

ciones yi y K funciones l . Aqu las l son consideradas indeterminadas y pueden ser
obtenidas como parte de la solucin.
Las restricciones tipo (3.162) integrables, previa integracin, pueden ser

tratadas con las Ecuaciones de Euler-Lagrange (3.68) o (3.69). Sin em-
bargo, puede ocurrir que la integracin no sea fcil y es en estos ca-
sos donde realmente son tiles las ecuaciones de Euler-Lagrange (3.180)
pues nicamente se requiere determinar los coeficientes Ali , lo cual
es muy trivial. Tambin son tiles estas Ecuaciones de Euler-Lagrange
cuando se tienen restricciones del tipo Al [yi (x) ; x] = 0 en las que se
hace difcil despejar las variables yi (x) dependientes en funcin de las
independientes, resolvindose el problema al hallar la diferencial total
de dichas restricciones para expresarlas en la forma diferencial (3.162) y
luego aplicar (3.180).
el [yi (x) ; yi0 (x) ; x] = 0:

Pasos a seguir cuando se tienen restricciones del tipo D

la cantidad que se desea extremar.
2. Se identifican las restricciones existentes. Si se tienen restricciones del

tipo Al [yi (x) ; x] = 0 pueden ser tratadas como restricciones del tipo
Del [yi (x) ; y 0 (x) ; x] = 0 hallando su diferencial total sin realizar simplifica-
i
ciones (esto hara que la diferencial hallada no fuese exacta aunque
siga siendo integrable).
3. Se identifican los coeficientes Ali mediante comparacin directa de

(3.162) con las restricciones dadas.

hallada en el paso anterior.

ms las ecuaciones de las restricciones, que son usadas para com-
pletar el sistema. Aqu se obtienen las extremales yi (x) y los multi-
plicadores de Lagrange l que permiten encontrar los Qi dados por
(3.181).
...............................................................................................
EJEMPLO 3.9
Resolver el ejemplo 3.5 usando las ecuaciones de Euler-Lagrange
(3.174).
SOLUCION:
Se indentifica f : ya en el ejemplo 3.5 fue identificada f resultando,
1
f = 1 + y 02 + z 02 2
(3.182)
Aqu se tienen 2 variables y1 = y y y2 = z (i = 1; 2) dependientes de la variable indepen-

diente x.

A=x+y+z =0 (3.183)
siendo una restriccin del tipo Al [yi (x) ; x] = 0. Puede ser tratada como una ligadura
e (d) [yi (x) ; yi0 (x) ; x] = 0 al hallar su diferencial total. En efecto,
del tipo D l
e1(d) = dx + dy + dz = 0
D (3.184)
e [yi (x) ; yi0 (x) ; x] = 0.

pudiendo ser vista ahora como una restriccin del tipo D
(d)
l
Se identifican los coeficientes Ali : se tienen n = 2 variables yi y una restriccin l = 1.

Entonces a partir de (3.162) para l = 1 se tiene que,
X
2
A1i dyi + B1 dx = 0 ) A11 dy1 + A12 dy2 + B1 dx = 0 (3.185)
i=1
o,
A1y dy + A1z dz + B1 dx = 0 (3.186)
Ahora, al comparar (3.184) con (3.186) se deduce que,
A1y = 1 A1z = 1 B1 = 1 (3.187)

8
> P1
> d
< dx
@f @f
= Qy = l Aly = A1y
@y 0 @y
l=1
P
1 (3.188)
>
> d @f @f
: dx @z0 @z
= Qz = l Alz = A1z
l=1
ahora, al sustituir (3.182) y (3.187) en estas ecuaciones resulta,

8 h 1
i
< d y 0 (1 + y 02 + z 02 ) 2 =
dx
h 1
i (3.189)
: d z 0 (1 + y 02 + z 02 ) 2 =
dx

ciones: las ecuaciones (3.189) son idnticas a las ecuaciones (3.79) y (3.80) del ejemplo
3.5. Por lo tanto, los resultados subsiguientes son igualmente idnticos a los obtenidos
en dicho ejemplo.
...............................................................................................
EJEMPLO 3.10
Dada la funcional,
Z b
02 02
J= S1 02 + + S2 + S3 02
dx
a
sujeta a las restricciones,

0 0
S4 Sen = 0
0 0
+ S4 Cos = 0
encuntrense las Qi . Aqu S1 , S2 , S3 y S4 son constantes positivas no nulas y la prima

indica derivada total con respecto a x.
SOLUCION:
Se indentifica f : en este caso,
02 02 02 02
f = S1 + + S2 + S3 (3.190)
Aqu se tienen n = 4 variables y1 = , y2 = , y3 = y y4 = (i = 1; 2; 3; 4) dependientes

de la variable independiente x.
Se identifican las restricciones existentes: existen 2 restricciones (K = 2 ) l = 1; 2)

que vienen dadas por,
e1(D) =
D 0
S4 Sen 0
=0 (3.191)
e2(D) =
D 0
+ S4 Cos 0
=0 (3.192)
e (D) [yi (x) ; y 0 (x) ; x] = 0 y se ha

que no son integrables. Estas restricciones son del tipo D l i
designado l = 1 a (3.191) y l = 2 a (3.192).
Se identifican los coeficientes Ali : se tienen n = 4 variables yi y dos restricciones

l = 1; 2. Entonces a partir de (3.162) se tiene que,
Para l = 1:
X
4
A1i yi0 + B1 = 0 ) A11 y10 + A12 y20 + A13 y30 + A14 y40 + B1 = 0
i=1
o,
0 0 0 0
A1 + A1 + A1 + A1 + B1 = 0 (3.193)
Para l = 2:
X
4
A2i yi0 + B2 = 0 ) A21 y10 + A22 y20 + A23 y30 + A24 y40 + B2 = 0
i=1
o,
0 0 0 0
A2 + A2 + A2 + A2 + B2 = 0 (3.194)
Ahora, al comparar (3.193) y (3.194) con (3.191) y (3.192) respectivamente se deduce
que,
A1 = 1 A1 = 0 A1 = S4 Sen A1 = 0 B1 = 0
(3.195)
A2 = 0 A2 = 1 A2 = S4 Cos A2 = 0 B2 = 0

8
> P 2
>
>
d @f @f
= Q = l A l = 1 A1 + 2 A2
>
> dx @ 0 @
>
> l=1
>
> P2
> d @f
< dx @ 0
@f
= Q = l Al = 1 A1 + 2 A2
@
l=1
P 2 (3.196)
>
> d @f @f
>
> dx @ 0
=Q = l A l = 1 A 1 + 2 A2
>
>
@
l=1
>
> P2
>
> d @f @f
: dx @ 0 @
= Q = l Al = 1 A1 + 2 A 2
l=1
pero a partir de (3.190),

@f @f @f @f
@
=0 @
=0 @
=0 @
=0
@f @f @f @f
@ 0
= 2S1 0
@ 0
= 2S1 0 @ 0
= 2S2 0 @ 0
= 2S3 0 (3.197)
@f @f 00 @f @f
d
dx @ 0
= 2S1 00 d
dx @ 0
= 2S1 d
dx @ 0
= 2S2 00 d
dx @ 0
= 2S3 00
entonces, al sustituir los resultados (3.195) y (3.200) en las ecuaciones (3.196) resulta,
8
>
> 2S1 00 = 1
>
< 2S 00 =
1 2
00
(3.198)
>
> 2S2 = 1 S4 Sen + 2 S4 Cos
>
:
2S3 00 = 0

ciones: en este caso se deben encontrar los ya que son necesarios, debido a (3.181),
para encontrar los Qi pedidos. Al derivar con respecto a x las restricciones (3.190) y
(3.191) y despejar 00 y 00 resulta,
00 0 0 00 00 0 0 00
S4 Cos S4 Sen = 0) = S4 Cos + S4 Sen (3.199)
00 0 0 00 00 0 0 00
S4 Sen + S4 Cos = 0) = S4 Sen S4 Cos (3.200)
y al sustituirlos en las primeras dos ecuaciones (3.198) se obtiene,
0 00
1 = 2S1 S4 ( 0 Cos + Sen ) (3.201)
0 00
2 = 2S1 S4 ( 0 Sen Cos ) (3.202)
Al sustituir estos resultados en la tercera de las ecuaciones (3.198) resulta,
00 0 00 0 00
2S2 = 2S1 S42 ( 0 Cos + Sen ) Sen + 2S1 S42 ( 0 Sen Cos ) Cos
00
= 2S1 S42
o, (
00
00 =0
2 S2 +S 1 S42 =0) 0
(3.203)
| {z } = c1
6=0
adems, de la ltima de las ecuaciones (3.198) se obtiene,

00 0
=0) = c2 (3.204)
Si ahora se sustituyen (3.203) y (3.204) en (3.201) y (3.202) resulta,
1 = 2S2 S4 c1 c2 Cos (3.205)

2 = 2S2 S4 c1 c2 Sen (3.206)
Finalmente, a partir de (3.181) se tiene que teniendo presente los resultados (3.195),
(3.205) y (3.206),
8
>
> P 2
>
> Q = l Al = 1 A1 + 2 A2 = 1 = 2S1 S4 c1 c2 Cos
>
>
>
>
l=1
>
> P2
>
> Q = l Al = 1 A1 + 2 A2 = 2 = 2S1 S4 c1 c2 Sen
>
< l=1
P 2
(3.207)
>
> Q = l Al = 1 A1 + 2 A2 = 1 S4 Sen + 2 S4 Cos
>
> l=1
>
>
>
> = 2S1 S42 c1 c2 Cos Sen + 2S1 S42 c1 c2 Sen Cos = 0
>
>
>
> P 2
>
: Q = l Al = 1 A1 + 2 A2 = 0
l=1
...............................................................................................
EJEMPLO 3.11
Resolver el ejemplo 3.7 usando las ecuaciones de Euler-Lagrange
(3.174).
SOLUCION:
Se indentifica f : ya en el ejemplo 3.7 fue identificada f resultando,
1
f = 1 + y 02 + z 02 2
(3.208)
Aqu se tienen 2 variables y1 = y y y2 = z (i = 1; 2) dependientes de la variable indepen-

diente x.

que viene dada por la ecuacin del cilindro,
A = x2 + y 2 R2 = 0 (3.209)
siendo una restriccin del tipo Al [yi (x) ; x] = 0. Su diferencial total viene dado por,
e1(d) = 2xdx + 2ydy = 0

D (3.210)
e (d) [yi (x) ; y 0 (x) ; x] = 0.

pudiendo ser vista ahora como una restriccin del tipo D l i

Entonces a partir de (3.162) para l = 1 se tiene que,
X
2
A1i dyi + B1 dx = 0 ) A11 dy1 + A12 dy2 + B1 dx = 0 (3.211)
i=1
o,
A1y dy + A1z dz + B1 dx = 0 (3.212)
A1y = 2y A1z = 0 B1 = 2x (3.213)

8
> P1
> d
< dx
@f
0
@f
= Q y = l Aly = A1y
@y @y
l=1
P
1 (3.214)
>
> d @f @f
: dx @z 0 @z
= Qz = A
l lz = A 1z
l=1
pero de (3.208), ( @f @f
@y
=0 @z
=0
@f y0 @f z0 (3.215)
@y 0
= 1 @z 0
= 1
(1+y 02 +z 02 ) 2 (1+y 02 +z 02 ) 2
entonces, al sustituir (3.213) y (3.215) en las ecuaciones (3.214) resulta,

8 h 1
i
< d y 0 (1 + y 02 + z 02 ) 2 = 2y
dx
h 1
i (3.216)
: d z 0 (1 + y 02 + z 02 ) 2 = 0
dx

stricciones: las ecuaciones (3.216) son idnticas a las ecuaciones (3.113) y (3.114) del
ejemplo 3.7. Por lo tanto, los resultados subsiguientes son igualmente idnticos a los
obtenidos en dicho ejemplo.
...............................................................................................
EJEMPLO 3.12
Dada la funcional,
Z b
J= S1 z 02 + y 02 + S2 02
+ S3 z + S4 Cos dx
a
sujeta a la restriccin,
z 0 Sen y 0 Cos =0
Encuntrense las ecuaciones de Euler-Lagrange. Aqu S1 , S2 , S3 y S4 son constantes
positivas no nulas y la prima indica derivada total con respecto a x.
SOLUCION:
Se indentifica f : en este caso,
f = S1 z 02 + y 02 + S2 02
+ S3 z + S4 Cos (3.217)
Aqu se tienen n = 3 variables y1 = z, y2 = y y y3 = (i = 1; 2; 3) dependientes de la
variable independiente x.
Se identifican las restricciones existentes: existe 1 restriccin (K = 1 ) l = 1) que

viene dada por,
e1(D) = z 0 Sen
D y 0 Cos = 0 (3.218)
que no es integrable. Esta restriccin es del tipo D e (D) [yi (x) ; yi0 (x) ; x] = 0.
l

Entonces a partir de (3.162) se tiene que,
Para l = 1:
X
3
A1i yi0 + B1 = 0 ) A11 y10 + A12 y20 + A13 y30 + B1 = 0
i=1
o,
A1z z 0 + A1y y 0 + A1 0
+ B1 = 0 (3.219)
A1z = Sen A1y = Cos
(3.220)
A1 = 0 B1 = 0
8
> P1
>
>
d @f @f
= Q = l Alz = 1 A1z
>
> dx @z 0 @z z
>
< l=1
d @f @f P1
0 = Q y = l Aly = 1 A1y (3.221)
> dx @y
>
@y
l=1
>
> P1
>
> d @f @f
: dx @ 0 @
= Q = l Al = 1 A1
l=1
pero a partir de (3.217),

@f @f @f
@z
= S3 @y
=0 @
= S4 Sen
@f @f @f
@z 0
= 2S1 z 0 @y 0
= 2S1 y 0 @ 0
= 2S2 0 (3.222)
d @f d @f d @f
dx @z 0
= 2S1 z 00 dx @y 0
= 2S1 y 00 dx @ 0
= 2S2 00
entonces, al sustituir los resultados (3.220) y (3.222) en las ecuaciones (3.221) resulta,
8
> 00
< 2S1 z S3 = 1 Sen
00 (3.223)
2S1 y = 1 Cos
>
: 00
2S2 + S4 Sen = 0
que son las ecuaciones de Euler-Lagrange pedidas.
...............................................................................................
R x2
3.4 Restricciones del tipo isoperimtrico x1 gl [yi (x) ; yi0 (x) ; x] dx =
%l
Se llaman Problemas Isoperimtricos a aquellos sobre la determinacin de una
figura geomtrica de superficie mxima con permetro dado.
El Problema Isoperimtrico [Ref. 5, 6] hunde sus races en la mitologa. Su belleza

matemtica se une a la mtica belleza de la reina Dido y a la fundacin de la ciudad
de Carthago. Son varias las fuentes que proporcionan informacin sobre la leyenda de
la reina Dido, pero sin duda la ms conocida es la que recoge Virgilio en el libro IV de
La Eneida [Ref. 7], y cuyo pasaje se reproduce al comienzo de este texto. Dido huy
de su hermano Pigmalin junto con unos cuantos fieles por la costa del norte de frica,
hasta llegar a un lugar (actual Tnez) donde habitaban los gtulos. Dido pidi a Jarbas,
rey de los gtulos, asilo y un trozo de tierra donde establecerse. Jarbas accedi a la
peticin y le propuso quedarse con la extensin de tierra que pudiera ser abarcada
con la piel de un buey. A Dido se le ocurri cortar la piel en finas tiras que uni por
sus extremos, de modo que se plante encontrar la figura que deba formar con la
ristra de tiras de piel, es decir el permetro est fijo, para encerrar la mayor rea posible.
La leyenda dice que Dido resolvi de alguna manera el problema isoperimtrico: una
circunferencia.
Se les da el nombre de Problemas Isoperimtricos a todos los proble-

mas variacionales en los cuales se pide hallar el extremo de la funcional
(1.32), Z x2
x1
para que tome un valor estacionario pero bajo las llamadas Restricciones
Isoperimtricas,
Z x2
Il [yi (x) ; yi0 (x) ; x] dx = %l , con l = 1; 2; 3; :::; K (3.225)
x1
donde las %l son constantes, K puede ser mayor, menor o igual a n, y

tambin problemas anlogos para funcionales ms complejas.
Los problemas isoperimtricos pueden ser reducidos a problemas con restricciones

del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 por medio de la introduccin de nuevas funciones de-
sconocidas. En efecto, a partir de (3.225) haciendo el lmite superior de la integral igual
a x, Z x
x) ; yi0 (e
Il [yi (e e] de
x) ; x x = hl (x) (3.226)
x1
con, (
hl (x1 ) = 0
(3.227)
hl (x2 ) = %l , por la condicin (3.225)
donde se ha colocado s en la variable de integracin para distinguirla del lmite supe-
rior de la integral. Ahora derivando hl (x) con respecto a x se obtiene,
h0l (x) = Il [yi (x) ; yi0 (x) ; x]
o,
Il [yi (x) ; yi0 (x) ; x] h0l (x) = 0 (3.228)
de manera que las restricciones isoperimtricas (3.225) se han reemplazado por restric-
ciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0, reducindose as al problema estudiado en la
primera parte de la seccin anterior. Por lo tanto, son aplicables las ecuaciones de
Euler-Lagrange (3.157) para las restricciones,
Dl [yi (x) ; yi0 (x) ; h0l (x) ; x] = Il [yi (x) ; yi0 (x) ; x] h0l (x) = 0 (3.229)
Las variables son, en este caso, las yi (x) y las h0l (x). Las ecuaciones de Euler-Lagrange
(3.157) correspondientes a estas dos variables vienen dadas por,
d @f @f XK
@Dl d @Dl 0 @Dl
= l l , con i = 1; 2; 3; :::; n (3.230)
dx @yi0 @yi l=1
@yi dx @yi0 @yi0
d @f @f X
K
@Dl d @Dl 0 @Dl
= l l , con j = 1; 2; 3; :::; K(3.231)
dx @h0j @hj l=1
@hj dx @h0j @h0j
Entonces, al sustituir (3.229) en (3.230) resulta,
d @f @f X K
@ (Il h0l ) d @ (Il h0l ) (Il h0l )
0@
= l l
dx @yi0 @yi l=1
@yi dx @yi0 @yi0
o,
d @f @f X K
@Il d @Il 0 @Il
= l l (3.232)
dx @yi0 @yi l=1
@yi dx @yi0 @yi0
y al sustituir (3.229) en (3.231) resulta,
d @f @f X
K
@ (Il h0l ) d @ (Il h0l ) (Il h0l )
0@
= l l
dx @h0j @hj l=1
@hj dx @h0j @h0j
8 9
> >
K >
X < >
=
d 0
0 = l( lj ) l( lj )
>
> dx >
>
l=1 : | {z } ;
=0
X
K
0
0 = l lj
l=1
o,
0
j =0) j = constantes (3.233)
Finalmente, debido al anterior resultado, las ecuaciones (3.232) se reducen a,
d @f @f
0
= Qi , con i = 1; 2; 3; :::; n (3.234)
dx @yi @yi
| {z }
2 3
6 7
6 7
6 variables dependientes y restricciones del tipo 7
6
4 Rx 7
5
isoperimtrico x12 gl [yi (x) ; yi0 (x) ; x] dx = %l .
donde,
P
K h i
@Il d @Il
Qi = l @yi dx @yi0
(3.235)
l=1
que son las ecuaciones de Euler-Lagrange para el problema isoperimtrico planteado.

Las restricciones del tipo isoperimtrico, como ya se mencion antes, slo pueden ser
usadas en forma explcita ya que no representan igualdades que nicamente involu-
cren las yi (x).
Pasos a seguir cuando se tienen restricciones del tipo isoperimtrico:
1. Se identifican las Il a partir de los integrandos de las restricciones

isoperimtricas dadas o construidas y la f del integrando de la J dada
o construida a partir de la cantidad que se desea extremar.

y las Il halladas en los pasos 1 y 2.

ms las restricciones, que son usadas para completar el sistema.Aqu
se obtienen las extremales yi (x) y los multiplicadores de Lagrange l
que permiten encontrar los Qi dados por (3.235).
...............................................................................................
EJEMPLO 3.13
Z
J= y 02 dx
0
sabiendo que y (0) = 0, y ( ) = 0 y sujeta a la restriccin isoperimtrica,

Z
y 2 dx = 1
0
SOLUCION: aqu se tiene n = 1 variable y1 = y (i = 1) dependiente de la variable

independiente x y existe K = 1 restriccin (l = 1).
Se identifican la f y las Il : a partir del integrando de la J se tiene que,
f = y 02 (3.236)
y a partir del integrando de la restriccin isoperimtrica,
I1 = y 2 (3.237)
Se encuentran las ecuaciones de Euler-Lagrange: a partir de las ecuaciones de

Euler-Lagrange (3.234) se puede escribir para este caso,
d @f @f @I1 d @I1
= Qy = 1 (3.238)
dx @y 0 @y @y dx @y 0
pero de (3.236) y (3.237) se tiene que,

8 9
> @f @I1 >
< @y = 0
> @y
= 2y >
=
@f @I1
@y 0
= 2y 0 @y 0
=0 (3.239)
>
> >
>
: d @f0 = 2y 00 d @I1
=0 ;
dx @y dx @y 0
resuldados que al ser sustituidos en (3.238) se obtiene,
y 00 = 1y (3.240)

stricciones: la ecuacin diferencial (3.241) representa un problema de autovalores. Las
p
races del polinomio caracterstico son .
Se tienen dos casos posibles dos:
1. Si 0, la solucin general viene dada por,

p p
x x
y (x) = c1 e + c2 e (3.241)
que no puede satisfacer las condiciones de frontera dadas (verificarlo), no existiendo

as solucin para 0.
2. Si < 0, la solucin general viene dada por,

p p
y (x) = c1 Sen x + c2 Cos x (3.242)
Esta es la solucin til. De la condicin de frontera y (0) = 0 resulta,
y (0) = c2 = 0 (3.243)
y de y ( ) = 0,
p
Sen =0) = 0; 1; 4; : : : ; n2 , con n = 0; 1; 2; 3; : : : (3.244)
Ahora, al sustituir los resultados (3.243) y (3.244) en la restriccin isoperimtrica resulta,

Z h i2
p p
c1 Sen x + c2 Cos x dx = 1 (3.245)
0
de la cual, r
2
c1 = (3.246)
Finalmente, al sustituir los resultados (3.243), (3.244) y (3.246) en (3.242) se obtiene

finalmente,
q
2
y (x) = Sen (nx) ; conn = 1; 2; 3; : : : (3.247)
...............................................................................................
EJEMPLO 3.14
Determinar la funcin y (x) de longitud ` limitada por el eje x en la
parte inferior, que pasa por los puntos P1 = ( a; 0), P2 = (a; 0) y que encierra la mayor
rea.
SOLUCION: la figura 3.4 muestra la situacin planteada en el enunciado del ejemplo.
Figura 3.4: Funcin y (x) cuya rea por ella encerrada ha de maximizarse.
Se identifican la f y las Il : a partir de la figura 3.4 se tiene que,
dA = ydx (3.248)
de la cual, Z a
A= ydx (3.249)
a
que es la cantidad a ser maximizada. De aqu,
f =y (3.250)
tenindose presente que y (x) debe cumplir con las condiciones y ( a) = 0 y y (a) = 0.
Por otro lado, y (x) debe tener longitud constante ` entonces,

Z a
1 1
2 2 2
ds = dx + dy )s= 1 + y 02 2 dx = ` (3.251)
a
que es una restriccin isoperimtrica. De aqu que,

1
I1 = 1 + y 02 2
(3.252)
De todo lo anterior se puede observar que existe n = 1 variable y1 = y (i = 1) dependi-

ente de la variable independiente x y existe K = 1 restriccin (l = 1).

d @f @f @I1 d @I1
= Qy = 1 (3.253)
dx @y 0 @y @y dx @y 0
pero de (3.250) y (3.252) se tiene que,

8 @f @I1
9
>
> =1 =0 >
>
< @y
@f
@y
@I1 y0
=
@y 0
=0 @y 0
= 1 (3.254)
> (1+y 02 ) 2 >
>
: d @f >
;
dx @y 0
=0

" #
d y0 1
1 = (3.255)
dx (1 + y 02 ) 2 1

stricciones: al integrar la ecuacin diferencial (3.255) resulta,
y0
1 =x c1 (3.256)
(1 + y 02 ) 2
donde c1 es una constante de integracin. Esta ecuacin puede ser reescrita como,
(x c1 )
y0 = 1 (3.257)
2 2 2
(x c1 )
que al ser integranda resulta en,

1 1
y= 2
(x c1 )2 2
+ c2 ) y = 2
(x c1 )2 2
+ c2 (3.258)
donde c2 es otra constante de integracin y se ha escogido el signo positivo para y en

concordancia con el sistema de coordenadas mostrado en la figura 3.4. Reordenando
trminos,
(x c1 )2 + (y c2 )2 = 2 (3.259)
La expresin (3.259) representa una Circunferencia de radio centrado en (c1 ; c2 ). El
rea mxima es un semicrculo limitado por la lnea y = 0 (eje x). El semicrculo parte
del punto ( a; 0) y llega hasta el (a; 0) (o viceversa), lo cual significa que debe estar
centrado en el origen (c1 ; c2 ) = (0; 0) y tiene radio = a. La longitud del semicrculo es
a = `, por lo tanto, a = `= . De todo lo anterior a partir de (3.258) se deduce que,
h i 12
` 2
y= x2 (3.260)
es la funcin buscada.
...............................................................................................
EJEMPLO 3.15
Para atravesar un ro se coloca, desde una orilla a la otra, una
cuerda de longitud ` de densidad de masa lineal . Si la separacin entre las orillas es
2a (2a < `), qu forma tomar la cuerda con el fin de minimizar la energa potencial?
(ver figura 3.5).
Figura 3.5: Cuerda de longitud ` colocada entre las orillas de un ro de ancho 2a.
SOLUCION:
Se identifican la f y las Il : si ds es el elemento de longitud de la cuerda, entonces su
energa potencial vendr dada por,
dU = gyds (3.261)
donde y > 0 ya que su signo negativo ha sido considerado explcitamente. Como,

1 1
ds = dx2 + dy 2 2
= 1 + y 02 2
dx (3.262)
entonces, Z a 1
U= g y 1 + y 02 2
dx (3.263)
a
que es la cantidad que se desea minimizar. La minimizacin de U est sujeta a la

restriccin de que la longitud de la cuerda permanezca constante e igual a `, es decir,
Z Z a
1
ds = 1 + y 02 2 dx = ` (3.264)
a
que es una restriccin de tipo isoperimtrica. De (3.263) y (3.264) se puede identificar,

1
f = gy 1 + y 02 2
(3.265)
1
D1 = 1 + y 02 2
(3.266)
Aqu se tiene n = 1 variable y1 = y (i = 1) dependiente de la variable independiente

x y existe K = 1 restriccin (l = 1).

d @f @f @I1 d @I1
= Qy = 1 (3.267)
dx @y 0 @y @y dx @y 0
1 1
pero de (3.265) y (3.266) se tiene que, gy (1 + y 02 ) 2 (1 + y 02 ) 2
8 @f 1 9
02 2 @I1
>
> = g (1 + y ) =0 >
>
> @y
< @f 0
@y
y0
>
=
= g yy02 1 @I1
= 1
@y 0 (1+y ) 2 @y 0 (1+y 02 ) 2 (3.268)
>
> >
>
>
: d @f0 = g y 02 yy 0 y 00 yy 00 d @I1 y 02 y 00 y 00 >
;
dx @y 1 + 3 1 dx @y 0
= 3 + 1
02 02
(1+y ) 2 (1+y ) 2 (1+y 02 ) 2 (1+y 02 ) 2 (1+y 02 ) 2
y 00 y = 1 + y 02 (3.269)
g
o,
dy 0 dx
02
= (3.270)
1+y y g
dx 1
y puesto que dx = dy
dy = y0
dy, entonces resulta que,
y 0 dy 0 dy
02
= (3.271)
1+y y g
Ahora bien, al integrar (3.271) se obtiene,

2
02
y = c1 y 1 (3.272)
g
donde c1 es una constante de integracin. Al hacer ahora la sustitucin,

1
y = 1=2
Cosh u (3.273)
g c1
en (3.272) se obtiene,
u02 = c1 (3.274)
cuya solucin es,
1=2
u = c1 x + c2 , c2 = constante de integracin (3.275)
donde c2 es otra constante de integracin. Entonces, de (3.273) y (3.275) se obtiene,

1 1=2
y= 1=2
Cosh c1 x + c2 + (3.276)
c1 g
Las condiciones de frontera establecen que y ( a) = 0. Al aplicarlas sobre (3.276)

resulta que, 8
1=2
< y (a) = 0: 0 = 1=2
1
Cosh c1 a + c2 + g
c1
Para (3.277)
: y ( a) = 0: 0 = 1=21
Cosh
1=2
c1 a + c2 + g
c1
de las cuales se puede deducir que c2 = 0 ya que a 6= 0 y por lo tanto,

g 1=2
= 1=2
Cosh c1 a (3.278)
c1
Por otro lado, para hallar c1 se usa la restriccin isoperimtrica (3.264). En efecto, al
sustituir (3.276) en dicha restriccin resulta,
Z ah i 21
1=2 2 1=2
1 + Senh2 c1 x dx = ` ) 1=2 Senh c1 a = ` (3.279)
a c1
que es una ecuacin trascendental para c1 .
Finalmente, de (3.276) y (3.278) resulta,
h i
1 1=2 1=2
y= 1=2 Cosh c1 x Cosh c1 a (3.280)
c1
que es una Catenaria, con c1 dada por (3.279).
...............................................................................................
A manera de resumen, las restricciones a ser consideradas y las ecuaciones de Euler-

Lagrange a ser usadas en el presente texto son las siguientes:
FUNCIONALES DE UNA SOLA VARIABLE DEPENDIENTE

ECUACION DE EULER
@f d @f
Forma estndar ! @y dx @y 0
=0
@f d @f
Segunda forma ! @x dx
f y 0 @y 0 =0
@f
Forma integrada ! f y 0 @y 0 = c; c = constante (para @f
@x
= 0)
RESTRICCIONES
(
Restricciones Al [yi (x) ; x] = 0
!
del tipo l = 1; 2; 3; :::; K; i = 1; 2; 3; : : : ; n
8
e (d) [yi (x) ; y 0 (x) ; x] = P Alj [yi (x) ; x] dyj (x) + Bl [yi (x) ; x] dx = 0
n
>
> D
>
> l i
>
> j=1
>
>
>
> Forma de diferencial o forma Pfaffiana
>
>
Restricciones <
e (D) [yi (x) ; yi0 (x) ; x] = P Alj [yi (x) ; x] yj0 (x) + Bl [yi (x) ; x] = 0
n
! D
del tipo >
> l
>
> j=1
>
> Forma de derivada
>
>
>
>
>
>
: l = 1; 2; 3; :::; K; i = 1; 2; 3; :::; n
( Rx
Restricciones 2
x1
Il [yi (x) ; yi0 (x) ; x] dx = %l
!
del tipo isoperimtrico l = 1; 2; 3; :::; K; i = 1; 2; 3; : : : ; n
FUNCIONALES DE MULTIPLES VARIABLES DEPENDIENTES

ECUACIONES DE EULER-LAGRANGE
8 (
>
> Sin restricciones
>
> Qi = 0 !
>
> i = 1; 2; 3; : : : ; n
>
>
>
>
>
>
>
> 8
>
> > Restriciones del tipo Al [yi (x) ; x] = 0
>
> <
>
>
>
> Qi = 0 ! en forma implcita
>
> >
:
>
> i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
>
>
>
>
>
> 8
>
>
>
> >
< Restriciones del tipo
>
> PK
>
> Q = @Al
! Al [yi (x) ; x] = 0 en forma explcita.
>
> i l @yi
>
@f d @f >
< l=1 :
@yi dx @yi0
i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
!
= Qi >
> 8
>
>
>
> >
>
>
>
>
>
> ( Restriciones del tipo
>
> PK < De (d) [yi (x) ; yi0 (x) ; x] = 0
>
> l
>
> Qi = l Ali !
> >
> De (D)
[yi (x) ; yi0 (x) ; x] = 0
>
> l=1
>
>
l
>
> : i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
>
>
>
>
>
>
>
> 8
>
>
>
> >
> Restriciones del tipo
>
> h i >
<
>
> PK isoperimtrico
>
> Q = @Il d @Il
! R x2
>
> i l @yi dx @y 0
> I [y (x) ; yi0 (x) ; x] dx = %l
>
> l=1 i
>
> x1 l i
>
: :
i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
CAPITULO 4
EJERCITACION
1. Hallar la extremal del problema isoperimtrico,

Z 1
J= y 02 + x2 dx
0
con la restriccin, Z 1
y 2 dx = 2
0
sabiendo que y (0) = 0 y y (1) = 0. Resp.:
y= 2 Sen (n x)
donde n es un entero.
2. Hallar las extremales del problema isoperimtrico,

Z 1
J= y 02 dx
0
ydx = a
0
donde a es una constante y sabiendo que y (0) = 0 y y (1) = 0. Resp.: y = 6ax (1 x).
3. Dada la funcional, Z 1
J= ay 02 by 2 dx
0
donde a y b son costantes positivas y que satisface las condiciones de frontera y (0) =
0 y y (1) = 1.
93
CAPITULO 4. EJERCITACION
q q
b b
3.1. Hallar el camino extremal de la funcional. Resp.: y = Csc a
Sen a
x .
q el valor de J usando el camino extremal hallado en (a). Resp.: J =

3.2. Encuentre
2 b
b Csc a
.
4. Hallar el extremal de la funcional,

Z
J= 2y Sen x y 02 dx
0
que satisface y (0) = 0 y y ( ) = 0. Mostrar que este extremal hace que J tome un
mximo global. Resp.: y = Sen x.
5. Hallar las curvas (caminos) extremales del problema isoperimtrico,

Z 1
J= y 02 + z 02 4xz 0 4z dx
0
y 02 xy 0 z 02 dx = 2
0
sabiendo que,
y (0) = 0, z (0) = 0 y y (1) = 1, z (1) = 1
5 2
Resp.: y = 2
x + 27 x o y = 3x2 2x; z = x.
6. Analizar el extremo de la funcional,

Z x2
J= y 2 + 2xyy 0 dx
x1
sabiendo que y (x1 ) = yo y y (x2 ) = y1 . Resp.: la integral no depende del camino de

integracin. El problema variacional no tiene sentido.
7. Hallar las extremales de la funcional,

Z x2
J= y 0 1 + x2 y 0 dx
x1
Resp.: las extremales son las hiprbolas,

1
y = c2 + c3
x
1 c1
con c2 = 2
y c3 una constante de integracin.

Z x2
J= y 02 + 2yy 0 16y 2 dx
x1
Resp.: y = c1 Cos (4x) + c2 Sen (4x) o tambin y = C1 Sen (4x C2 ) donde C1 y C2 son en,
general distintas, a c1 y c2 .
9. Hallar la extremal de la funcional,

Z 1
J= y 02 + x dx
0
bajo las condiciones de frontera,
y (0) = 1 y y (1) = 2
Resp.: y = x + 1.

Z 1
J= y 02 + y 2 dx
0
bajo las condiciones de frontera y (0) = 1 y y (1) = e 1 . Tener presente que e x

=
Cosh x Senh x. Resp.: y = Cosh x Senh x.

Z x2
J= xy 0 + y 02 dx
x1
x2
Resp.: y = 4
+ c1 x + c2 .

Z `
J= y 03 ydx
0
3
x
bajo las condiciones de frontera y (0) = 0, y (`) = R. Resp.: y = R `
4
, que es una
parbola de grado 43 .

Z x2
J= y 2 + y 02 2y Sen x dx
x1
Resp.: y = c1 ex + c2 e x
+ 12 Sen x.

Z
J= 2yz 2y 2 + y 02 z 02 dx
0
bajo las condiciones de frontera y (0) = 0, y ( ) = 1, z (0) = 0 y z ( ) = 1. Resp.:

1
y= x Cos x + c Sen x
1
z= x Cos x + 2 + c Sen x
donde c es una constante arbitraria. Es una familia de extremales.
15. En qu curva puede alcanzar su extremo la funcional

Z 2
J= y 02 y 2 dx
0
sabiendo que y (0) = 1 y y (2 ) = 1?. Resp.: y = Cos x + c Sen x, donde c es una

constante arbitraria, es decir, el problema variacional considerado tiene un conjunto
infinito de soluciones.
16. En qu curvas puede alcanzar su extremo la funcional

Z 1
1
J= 1 + y 02 2 dx
0
sabiendo que y (0) = 0 y y (1) = 1?. Resp.: y = x.
17. En qu curvas puede alcanzar su extremo la funcional

Z x2
J= y 2 dx
x1
sabiendo que y (x1 ) = yo y y (x2 ) = y1 ?. Resp.: y = 0. La extremal y = 0 pasa por los

puntos frontera slo cuando yo = 0 y y1 = 0.

Z 2
J= x2 y 02 dx
1
1
que satisface y (1) = 0 y y (2) = 1. Resp.: y = 2 1 x
.

Z 1 2
(1 + y 2 )
J= dx
0 y 02
que satisface y (0) = 0 y y (1) = 1. Resp.: y = tan 4

+n x+n , con n = 0; 1; 2; 3; : : :.

Z 1
J= y 02 y 04 dx
0
que satisface y (0) = 0 y y (1) = 0. Resp.: y = 0.

Z 2
x3
J= dx
1 y 03
que satisface y (1) = 1 y y (2) = 4.

Z
2
J= y (2x y) dx
0
bajo las condiciones de frontera:
22.1. y (0) = 0 y y 2
= 2 . Resp.: y = x.
22.2. y (0) = 0 y y 2 = 1. Resp.: la extremal y = x no pasar por los puntos frontera
(0; 0) y 2 ; 1 de modo que el problema variacional con estas condiciones de
frontera no tendr solucin.

Z
2
J= y2 y 02 8y Cosh x dx
0
bajo las condiciones de frontera y (0) = 2 y y 2

= 2 Cosh 2 . Resp.: y = 2 Cosh x.

Z x2
J= y2 y 02 2y Sen x dx
x1
25. Obtngase la forma que adopta la ecuacin de Euler-Lagrange en los siguientes

casos particulares:
25.1. f slo depende de y.

25.2. f no depende de y.
p
25.3. f = Q (x; y) 1 + y 02 .

Z 2
J= y 02 2xy dx
1
x
bajo las condiciones de frontera y (1) = 0 y y (2) = 1. Resp.: y (x) = 6
(1 x2 ).

Z 3
J= (3x y) ydx
1
bajo las condiciones de frontera y (1) = 1 y y (3) = 29 . Resp.: y = 32 x. La extremal en-

contrada no satisface la condicin y (1) = 1, por lo tanto, este problema variacional
no tiene solucin.

Z 2
2
J= (y 0 + y) dx
1
Senh(2 x)
bajo las condiciones de frontera y (1) = 1 y y (2) = 0. Resp.: y (x) = Senh 1
.

Z 1 p
J= y (1 + y 02 )dx
0
bajo las condiciones de frontera y (0) = p1 y y (1) = p1 . Resp.: Hay dos extremales
2 2
dadas por, p
1+ 3 2 2 (2x 1)2
y (x) = p
4 2 1

Z 1
J= yy 02 dx
0
p
3
bajo las condiciones
q de frontera y (0)q = 1 y y (1) = 4. Resp.: Hay dos extremales
dadas por, y (x) = (x + 1) y y (x) = 3 (3x 1)2 .
3 2

Z 1
J= y 02 y2 y e2x dx
0
bajo las condiciones de frontera y (0) = 0 y y (1) = e 1 . Resp.:

1 x x
y (x) = e + (1 + e) xe 1
2

Z e
J= xy 02 + yy 0 dx
1
bajo las condiciones de frontera y (1) = 0 y y (e) = 1. Resp.: y (x) = ln x.

Z b
J= 2xy + x2 + ey y 0 dx
a
bajo las condiciones de frontera y (a) = A y y (b) = B. Resp.: La integral no depende

del camino de integracin, por lo tanto, este problema variacional no tiene sentido.

Z 1
J= (xy 0 + ey ) dx
0
bajo las condiciones de frontera y (0) = 0 y y (1) = . Resp.: y (x) = 0 si = 0; si 6= 0

no existe extremal suave.

Z 1
J= 2ey y 2 dx
0
bajo las condiciones de frontera y (0) = 1 y y (1) = e. Resp.: No hay extremales, la

ecuacin de Euler no tiene soluciones.
36. Considrese la funcional,

Z x2
J= f [y (x) ; y 0 (x) ; x] dx
x1
con las condiciones de frontera y (x1 ) = A y y (x2 ) = B. Demostrar que la ecuacin

de Euler se mantiene al agregar al integrando la derivada total de cualquier funcin
u = u (x; y).

Z b
J= xn y 02 dx
a
y probar que para n > 1 no existen extremales que pasen por dos puntos distintos
situados sobre el eje Oy.
38. Demustrese la invariancia de la ecuacin de Euler frente a cambios de coorde-

nadas.
2
39. Considerar la funcin f = dy(x) dx
donde y (x) = x. Sumar a y (x) la funcin (x) =
Sen (x), y (a) graficar y (x) y dos de sus variaciones y ( ; x) en un mismo plano Carte-
siano, (b) encontrar J ( ) entre los lmites x = 0 y x = 2 , (b) mostrar que el valor
estacionario de J ( ) se da cuando = 0. Resp.:
2
(b) J ( ) = 2+ :
40. Considerar la funcin

2
dy (x) x
f= e 1 + x2
dx
donde y (x) = x + ex . Sumar a y (x) la funcin (x) = x2 Cos 2 x 1, y (a) graficar
y (x) y dos de sus variaciones y ( ; x) en un mismo plano Cartesiano, (b) encontrar
J ( ) entre los lmites x = 1 y x = 1, (b) mostrar que el valor estacionario de J ( ) se
da cuando = 0. Resp.:
2 1 1 3 8 2
(b) J ( ) = + + + 16 :
3 4 3
41. Encuentre y resuelva las ecuaciones para las geodsicas sobre un plano usando co-
ordenadas polares planas (r; '), en trminos de las cuales el elemento de distancia
ds es dado por ds2 = dr2 + r2 d'2 . Resp.: r = c1 Sec (' c2 ), donde c1 y c2 son constantes
de integracin. Esta es la ecuaccin de la recta en coordenadas polares.
42. Encuentre:
42.1. La expresin general para el camino ms corto sobre la superficie de un cono

de semingulo mediante clculo variacional. Tome la ecuacin del camino
en la forma = ('), donde es la distancia desde el vrtice O y ' es el
ngulo polar cilndrico medido alrededor del eje del cono (ver figura 42.1). La
p
ecuacin de un cono viene dada por z = 1 x2 + y 2 . Resp.: = 1b Sen sec [(' c) Sen ],
con c una constante.
Problema 43.
42.2. Encuentre el camino particular que satisface las condiciones de frontera 2
a Cos( Sen )
= a. Resp.: = Cos('2Sen ) .
43. Un fabricante desea minimizar la funcional de costo,

Z 4
C= [(3 + y 0 ) y 0 + 2y] dx
0
sujeta a las condiciones de frontera y (0) = 0 y y (4) = X, donde X es el volumen

deseado de produccin. Encuentre el extremal de C que satisface las condiciones
dadas y pruebe que sta hace que C tome un mnimo global. Resp.: y = 41 x (2x + X 8).
44. Considrese la propagacin de los rayos de luz en un medio axialmente simtrico

donde, en un sistema de coordenadas cilndricas (r; '; z), el ndice de refraccin es
n = n (r) y los rayos estn en el plano z = 0. Para este caso el principio de Fermat
resulta en la funcional, Z ' 1 1
1
=c n r2 + r02 2
d'
'o
donde c es la velocidad de la luz en el vaco, es el tiempo empleado por un rayo

de luz para ir de un punto a otro, r = r (') es la ecuacin del camino seguido y
dr
r0 = d' .
44.1. Mostrar que las extremales de satisfacen la ecuacin diferencial ordinaria,

nr2
1 = constante
(r2 + r02 ) 2
44.2. Mostrar que si se escribe r0 = r tan ( ngulo entre la tangente al rayo y la

superficie cilndrica local r =constante), la anterior ecuacin se transforma en,
rn Cos = constante
que es la forma de la ley de Snell para este caso.
45. Muestre que al sustituir la funcional,
X
K
fe = f + l (x) Al [yi (x) ; x]
l=1
en las ecuaciones de Euler-Lagrange,

!
@ fe d @ fe
= 0, con i = 1; 2; 3; : : : ; n
@yi dx @yi0
se obtienen las ecuaciones de Euler-Lagrange,
d @f @f X K
@Al
= l
dx @yi0 @yi l=1
@yi
46. Encuentre el camino ms corto sobre la superficie de una esfera usando los multi-
plicadores de Lagrange.
47. A partir de la forma usual (no integrada) de la ecuacin de Euler, rehacer el prob-
lema de encontrar la geodsica sobre la superficie de una esfera de radio R, usando
como variable dependiente y ' como independiente.
47.1. Mostrar que se obtiene la ecuacin diferencial,

0
Cos d
=0
Sen d' Sen2
0 d
donde = d'
. Use la restriccin presente en forma implcita.
47.2. Mostrar que,
0
d Cos
=
d' Sen Sen2
47.3. Use la expresin anterior para resolver la ecuacin encontrada en (a). Resp.:
z = c1 x+c2 y, que es la ecuacin de un plano que pasa a travs del centro de la
esfera. Por lo tanto, la geodsica sobre una esfera es el camino que se origina
al intersectar este plano con la esfera, es decir, el crculo mayor.
48. Rehaga el problema de encontrar el camino ms corto sobre la superficie de una

esfera usando ambas y ' como variables dependientes, formulndolo como un
problema paramtrico escribiendo las condiciones de frontera apropiadas. Com-
bine las dos Ecuaciones de Euler - Lagrange resultantes y muestre que se obtiene el
camino ya conocido.
3
49. Dada la superficie z = x 2 ,
49.1. cul es la curva sobre esta superficie que une los puntos (x; y; z) = (0; 0; 0) y
(1; 1; 1) que tiene la mnima longitud?. Resp.:
" #
3=2
8 9
y = 3=2 1+ x 1
13 8 4
49.2. Use la computadora para generar una grfica conjunta que muestre la super-
ficie dada y el camino ms corto obtenido en (a).
50. Considrese la lnea que une los puntos
(x1 ; y1 ) = (0; 0) y (x1 ; y1 ) = (1; 1)
Mediante los siguientes pasos, se mostrar explcitamente que la funcin y (x) =

x produce un camino de mnima longitud mediante el uso de la funcin variada
y ( ; x) = x + Sen [ (1 x)].
50.1. Muestre que la longitud s de la curva y ( ; x) que une los puntos (x1 ; y1 ) = (0; 0)
y (x1 ; y1 ) = (1; 1) es,
p Z 1
2 1 2 2 2
2
s= 1 Cos u + Cos u du
0 2
donde se ha hecho el cambio (1 x) = u. Aqu s es el funcional.

50.2. La anterior integral no puede resolverse directamente puesto que, de hecho,
es una integral elptica. Sin embargo, como es pequea podemos desarrollar
el integrando en la forma (1 x)1=2 hasta el trmino cuadrtico. Mostrar que el
resultado de esta operacin viene dado por,
p Z
2 1 1 2 2
s = 1 Cos u Cos2 u
0 2 2
#
2
1 1 2 2 2
Cos u Cos u + ::: du
8 2
50.3. Ahora, si en la anterior expresin se dejan slo los trminos hasta Cos2 u y se
integra, mostrar que el resultado viene dado por,
p 1 2 2
s= 2 1+
16
50.4. Por ltimo, mostrar que cumple con la condicin para que esta integral tome
un valor estacionario, es decir,
@s
=0
@ =0
mostrndose as que la funcin y (x) = x produce un camino de mnima longi-
tud.
51. Encuntrese la ecuacin de la lnea que proporciona la distancia ms corta en-

tre dos puntos en el espacio (x1 ; y1 ; z1 ) y (x2 ; y2 ; z2 ). Ayuda: Supngase que x, y y z
dependen del parmetro ` y que los puntos extremos son expresados por,
(x1 (`1 ) ; y1 (`1 ) ; z1 (`1 )) y (x2 (`2 ) ; y2 (`2 ) ; z2 (`2 ))
Resp.: xx2 xx11 = yy2 yy11 = zz2 zz11 que es la ecuacin de la recta en el espacio que pasa
por los puntos (x1 ; y1 ; z1 ) y (x2 ; y2 ; z2 ).
52. Mostrar que la geodsica sobre la superficie de un cilindro circular recto de radio R
(ver figura 52.2) es un segmento de hlice,
' = c1 z + c2
Usar coordenadas cilndricas ds2 = dr2 + r2 d'2 + dz 2 .
52.1. Usando la restriccin presente en forma implcita.

52.2. Usando la restriccin presente en forma explcita.
Problema 53.

Z 1
J= y 2 + x2 y 0 dx
0
bajo las condiciones de frontera y (0) = 0 y y (1) = a. Resp.: y = x. La primera

condicin de frontera se cumple pero la segunda se satisface slo cuando a = 1. Si
a 6= 1, no existe ninguna extremal que satisfaga las condiciones de frontera.

Z x1
J= (y + xy 0 ) dx
x0
bajo las condiciones de frontera y (x0 ) = y0 y y (x1 ) = y1 . Resp.: La integral no de-

pende del camino de integracin, por lo tanto el problema variacional no tiene
sentido.

Z 2
J= y 02 + 2yy 0 + y 2 dx
1
Senh(2 x)
bajo las condiciones de frontera y (1) = 1 y y (2) = 0. Resp.: y = Senh 1
.

Z 1
J= xy + y 2 2y 2 y 0 dx
0
bajo las condiciones de frontera y (0) = 1 y y (1) = 2. Resp.: No hay extremo.

Z x1
2y
J= y 2 + y 02 + dx
x0 cosh x
Resp.: y = c1 Cosh x + c2 Senh x + x Senh x Cosh x ln (Cosh x).

Z x1
J= x2 y 02 + 2y 2 + 2xy dx
x0
c2
Resp.: y = c1 x + x2
+ 13 x ln jxj.

Z 0
J= 12xy y 02 dx
1
bajo las condiciones de frontera y ( 1) = 1 y y (0) = 0. Resp.: y = x3 .

Z
J= 4y Cos x + y 02 y 2 dx
0
bajo las condiciones de frontera y (0) = 0 y y ( ) = 0. Resp.: y = (c + x) Sen x, donde c

es una costante arbitraria.

Z 1
J= y 02 + 4y 2 dx
0
bajo las condiciones de frontera y (0) = e2 y y (1) = 1. Resp.: y = e2(1 x)

.

Z b
y3
J= y+ dx
a 3
Resp.: no hay extremales.

Z 2
J= y 02 + z 2 + z 02 dx
1
bajo las condiciones de frontera y (1) = 1, y (2) = 2, z (1) = 0 y z (2) = 1. Resp.: y = x,

z = Senh(x
Senh 1
1)
.

Z
4
J= 2z 4y 2 + y 02 z 02 dx
0
bajo las condiciones de frontera y (0) = 0, y 4

= 1, z (0) = 0 y z 4
= 1. Resp.:
2
y = Sen (2x), z = 12 x2 + 32+
8
x.

Z 1
1
J= 2xy y 02 + z 03 dx
1 3
bajo las condiciones de frontera y (1) = 0, y ( 1) = 2, z (1) = 1 y z ( 1) = 1. Resp.: La

familia de extremales es:
y = 61 (x3 + 5x 6)
z=x

Z
2
J= y 02 + z 02 2yz dx
0
bajo las condiciones de frontera y (0) = 0, y 2 = 1, z (0) = 0 y z 2

= 1. Resp.: La
y = Sen x
z = Sen x

Z 1
J= y 02 + z 02 + 2y dx
0
bajo las condiciones de frontera y (0) = 1, y (1) = 23 , z (0) = 0 y z (1) = 1. Resp.: La

y = 12 x2 + 1
z=1
68. Probar que la ecuacin de Euler de la funcional,

Z b
J= F (y; z; y 0 ; z 0 ; x) dx
a
tiene las siguientes primeras integrales:
@F
68.1. @y 0
= c (c constante) si F no comprende y;
@F @F
68.2. F y 0 @y 0 z 0 @z 0 = c si F no comprende x.
69. Un cohete de masa m, partiendo del reposo, ha de ser acelerado verticalmente

hacia arriba desde la superficie de la Tierra hasta una altura h en un tiempo (ver
figura 4.1), mediante la fuerza generada por su motor mA (t) (A aceleracin que
le imprime al cohete los gases expulsados). Si se supone que m y g permanecen
constantes durante el vuelo, que y (0) = y (0) = 0 y que y ( ) = h:
69.1. Mostrar que la aceleracin resultante con la que sube el cohete viene dada
por,
y = A (t) g
Figura 4.1: Problema 70.
69.2. Mostrar que h viene dada por,

Z
1 2
h= g + (T t) A (t) dt
2 0
69.3. Si el consumo { de combustible del cohete viene dado por,

Z
{ [A (t)] = A2 (t) dt
0
use el anterior resultado escrito en la forma,

Z
1 2
(T t) A (t) dt = h + g = constante
0 2
como restriccin isoperimtrica y muestre que la u (t) que minimiza dicho con-
sumo viene dada por,
3 1 2
u (t) = 3
h+ g ( t)
2
69.4. Durante cunto tiempo (mnimo) se debera acelerar el cohete para consumir
el mnimo posible de combustible y cul sera el consumo para este tiempo?.
Resp.:
s
6h
=
g
4 p
{ = g 6gh
3
70. Dado el problema isoperimtrico,

Z t1
1
J (x; y) = xy y x dt
2 to
(el punto denota derivada total con respecto a t) con la restriccin isoperimtrica,
Z t1 q
2 2
x + y dt = L
to
mostrar que J representa el rea encerrada bajo la circunferencia,
(x c2 )2 + (y c1 )2 = 2
con,
1
= L
2
71. Encuentre la extremal del problema isoperimtrico,
Z
J (y) = y 02 dx
0
con y (0) = y ( ) = 0, sujeto a la restriccin,

Z
y 2 dx = 1
0
72. Si f (x; y) = y + xy 0 mustrese que la funcional,

Z b
J= f (x; y) dx
a
no depende de y = y (x) y, por lo tanto, no tiene sentido econtrar un camino que

haga de J un valor extremo.
73. Hallar la distancia ms corta entre los puntos P1 ( 2; 1; 1) y P2 (6; 1; 2) en el plano

p
x + 2y 4z = 0. Use la restriccin presente en forma explcita. Resp.: 77.
74. Encuentre la extremal del problema isoperimtrico,

Z 1
J (y) = y 02 dx
0
con y (0) = 0 y y (1) = 14 , sujeto a la restriccin,

Z 1
1
y y 02 dx =
0 12
Resp.: y (x) = 41 (2x x2 ).
75. Muestre que al sustituir la funcional,
X
K
fe = f + l (x) Dl [yi (x) ; yi0 (x) ; x]
l=1
en las ecuaciones de Euler-Lagrange,

!
@ fe d @ fe
= 0, con i = 1; 2; 3; : : : ; n
@yi dx @yi0
se obtienen las ecuaciones de Euler-Lagrange,
d @f @f X K
@Dl d @Dl 0 @Dl
= l l
dx @yi0 @yi l=1
@yi dx @yi0 @yi0
76. Resuelva el problema 73 usando ahora la restriccin presente en forma implcita.

p
Resp.: 77.
APENDICE A
GIUSEPPE LODOVICO LAGRANGIA

(JOSEPH LOUIS LAGRANGE) 1736 - 1813
Giuseppe Lodovico Lagrangia (Joseph Louis Lagrange) 1736-1813
Joseph Louis Lagrange. Bautizado como Giuseppe Lodovico Lagrangia. Matemtico,

fsico y astrnomo francs. Trabaj para Federico II el Grande de Prusia, en Berln, du-
rante veinte aos. Demostr el Teorema del valor medio, desarroll la Mecnica La-
grangiana y tuvo una importante contribucin en Astronoma.
Primeros aos
111
APENDICE A. GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 - 1813
Naci el 25 de enero de 1736 en Turn, Italia. Proceda de una familia parisina que
gozaba de buena posicin social, gracias al narcotrfico que llevaba a cabo su padre
en la vecindad. Fue educado en la universidad de Turn, pero no fue hasta los diecisiete
aos que mostr su inters por las matemticas. Su entusiasmo lo despert la lectura
de una obra del astrnomo Edmund Halley. Tras un ao de incesante trabajo, era ya un
matemtico consumado.
Lagrange era de mediana altura, complexin dbil, con ojos azul claro y un color de
piel plida. Era de un carcter nervioso y tmido, detest la controversia, y al evitarla
de buena gana permiti a otros tener crdito por cosas que l haba hecho.
Cuando tena slo diecinueve aos, envi una carta a Leonhard Euler en que re-
solvi un problema que haba sido un asunto de discusin durante ms de medio siglo
mediante una nueva tcnica: el clculo de variaciones. Euler reconoci la generali-
dad del mtodo, y su superioridad; y con una cortesa rara en l, retuvo un artculo que
l haba escrito previamente para que el joven italiano tuviera tiempo para completar
su trabajo, como exige la invencin de un nuevo mtodo de clculo. El nombre de
esta rama del anlisis la sugiri el propio Euler. Este trabajo puso a Lagrange en primera
lnea entre los matemticos de su poca.
En 1758, con la ayuda de sus alumnos, Lagrange public en la Academia de Turn

la mayora de sus primeros escritos consistentes en los cinco volmenes, normalmente
conocidos como Miscellanea Taurinensia.
En 1761 Lagrange no tena rival en el campo de las matemticas; pero su trabajo

incesante durante los ltimos nueve aos haban afectado seriamente su salud, y los
doctores se negaron a ser responsables de su vida a menos que l se lo tomara en se-
rio. Aunque su salud fue temporalmente restablecida, su sistema nervioso nunca recu-
per su tono, y de aqu en adelante padeci constantemente ataques de melancola
severa.
En la corte real de Prusia
En 1766 Leonhard Euler abandon Berln, y Federico II el Grande escribi a Lagrange

para expresarle su deseo de que "el rey ms grande de Europa" debera tener "el
matemtico ms grande de Europa" viviendo en su corte.
Lagrange acept la oferta y durante los prximos veinte aos en Prusia, no slo
produjo la serie ms grande de documentos publicada en el Berln sino que public su
trabajo monumental, la Mcanique analytique.
Su estancia en Berln comenz con un desafortunado error: estando la mayora de

sus colegas casados, y aconsejado por sus esposas de que era la nica manera de
estar contento, se cas; su esposa se muri pronto, pero la unin no fue feliz.
Lagrange era el favorito del rey y frecuentemente disert sobre las ventajas de una
regularidad perfecta en la vida. La leccin la aplic a su vida, y Lagrange estudi su
mente y su cuerpo como si fueran mquinas, y encontr experimentando la cantidad
exacta de trabajo que poda hacer sin perder la salud. Todas las noches se pona una
tarea definida para el prximo da, y al completar cualquier tema escriba un corto
anlisis para ver qu puntos en las demostraciones eran susceptibles de mejora. Siem-
pre pens en sus artculos antes de componerlos, y normalmente los escribi con aseo
y sin una sola raspadura o correccin.
Ultima etapa en Francia
En 1786 Federico II muri, y Lagrange que se haba adaptado al clima de Berln

acept alegremente la oferta de Luis XVI para emigrar a Pars. Haba recibido in-
vitaciones similares de Espaa y Npoles. En Francia fue recibido con distincin, y se
prepararon apartamentos especiales en el Louvre para su recepcin.
Al principio de su residencia tuvo un ataque de melancola, y tuvo una copia im-

presa de su Mcanique, en la que haba trabajado un cuarto de siglo, sin abrir en su
escritorio durante ms de dos aos. La curiosidad acerca de los resultados de la rev-
olucin francesa lo sac de su letargo, una curiosidad que pronto se volvi en alarma
con el desarroll de la revolucin.
En 1792, la inexplicable tristeza de su vida y su timidez movi la compasin de una

joven muchacha que insisti en casarse siendo feliz con dicha unin. Aunque el de-
creto de octubre de 1793 que exiga que todos los extranjeros dejaran Francia no le fue
aplicado, deseaba marcharse cuando le ofrecieron la presidencia de la comisin para
la reforma de pesos y medidas. La opcin de las unidades finalmente seleccionadas
era principalmente debida a l, y por su influencia se acept por la comisin la subdi-
visin decimal 1799.
Aunque Lagrange haba querido salir de Francia, nunca estuvo en peligro y los difer-
entes gobiernos revolucionarios (y ms tarde, Napolen) lo llenaron de honores y dis-
tinciones. En 1794 Lagrange fue nombrado profesor de cole Polytechnique y las con-
ferencias que dio all a los matemticos que tuvieron la buena suerte de poder asistir a
ellas, tenan su base en su Thorie des fonctions analytiques.
En 1795 ocup una silla matemtica honorfica en la cole normale que disfrut
slo durante cuatro meses, ya que la cole fue cerrada. Sus conferencias aqu eran
bastante elementales, y no contiene nada de importancia especial.
En 1810 comenz una revisin completa de la Mcanique analytique, pero slo

pudo completar unos dos tercios antes de su muerte que sucedi en 1813.
Muerte
Muri el 10 de abril de 1813, en Pars, Francia.
Su obra
Miscellanea Taurinensia
El primer volumen contiene un documento de la teora de la propagacin de sonido;

indica un error hecho por Newton, y obtiene la ecuacin diferencial general para el
movimiento, y halla la solucin para el movimiento en lnea recta.
Este volumen tambin contiene la solucin completa del problema de una cuerda
que vibra transversalmente; en este trabajo seala la falta de generalidad en las solu-
ciones dadas previamente por Brook Taylor, DAlembert y Leonhard Euler llegando a la
conclusin que la forma de la curva para un tiempo t cualquiera viene dada por la
ecuacin.
El artculo concluye con una hbil discusin sobre ecos y sonidos compuestos. Otros
artculos en este volumen son serie recursivas, probabilidad y clculo de variaciones.
El segundo volumen contiene un documento largo que incluye los resultados de

varios documentos del primer volumen y notas sobre el clculo de variaciones; e ilustra
su uso deduciendo el principio de mnima accin, y las soluciones de varios problemas
de dinmica.
El tercer volumen incluye la solucin de varios problemas de dinmica mediante

el clculo de variaciones; algunos documentos de clculo integral; una solucin del
problema de Fermat, encontrar un nmero x qu har que (x 2 n + 1) sea un cuadrado
dnde n es un entero dado que no es un cuadrado; y las ecuaciones de diferencial
generales del problema del movimiento de n-cuerpos y su aplicacin al Problema de
los tres cuerpos que se mueven bajo sus atracciones mutuas.
Los tratados
Su actividad mental durante estos veinte aos en Prusia fue asombrosa, no slo por
el hecho de producir su esplndida Mcanique analytique, sino por contribuir, con do-
scientos trabajos, a las Academias de Berln, Turn, y Pars. Algunos de stos realmente
son tratados, y todos, sin excepcin, son de una extraordinaria calidad. Salvo un corto
tiempo cuando l estaba enfermo en que produjo aproximadamente un artculo por
trmino medio al mes. Los ms importantes son:
1. Sus contribuciones a los volmenes cuarto y quinto, 1766-1773, de la Miscellanea

Taurinensia; el ms importante fue uno en 1771 en que discuti cmo numerosas
observaciones astronmicas deben combinarse para dar el resultado ms probable.
2. Despus, sus contribuciones a los primeros dos volmenes, 1784-1785, de la Acad-

emia de Turn. Un artculo sobre la presin ejercida por los fluidos en movimiento, y
el segundo un artculo en la integracin de una serie infinita, y el tipo de problemas
para que es conveniente.
La astronoma
El siguiente trabajo fue en 1764 sobre la libracin de la Luna, y una explicacin ac-
erca de por qu siempre ofrece la misma cara a la Tierra, un problema que l trat con
la ayuda del trabajo virtual. Su solucin es especialmente interesante por contener
el germen de la idea de ecuaciones generalizadas de movimiento, ecuaciones que
demostr formalmente en 1780.
La mayora de los trabajos enviados a Pars versaba sobre preguntas astronmicas,

y entre estos papeles cabe mencionar el sistema joviano en 1766, su ensayo en el prob-
lema de los tres cuerpos en 1772, su trabajo sobre la ecuacin secular de la Luna en
1773, y su tratado sobre las perturbaciones cometarias de 1778. stos eran todos asun-
tos propuestos por la Academia francesa, y en cada caso el premio se le otorg a
l.
Existen numerosos artculos de astronoma. De estos los ms importantes son:
1. Intentando resolver el Problema de los tres cuerpos, descubri los puntos de La-
grange en 1772 de inters porque en ellos se han encontrado los asteroides troyanos
y satlites troyanos de Saturno.
2. Gravitacin de elipsoides, 1773: Punto de partida del trabajo de Maclaurin.
3. La ecuacin secular de la Luna, 1773; tambin notable por la introduccin de la

idea de potencial. El potencial de un cuerpo en un punto es la suma de la masa
de cada elemento del cuerpo dividido por su distancia del punto. Lagrange mostr
que si el potencial de un cuerpo a un punto externo fuera conocido, la atraccin
en cualquier direccin podra encontrarse en seguida. La teora del potencial se
elabor en un artculo enviado a Berln en 1777.
4. El movimiento de los nodos de la rbita de un planeta 1774.
5. La estabilidad de las rbitas planetarias, 1776.
6. Dos artculos sobre el mtodo para determinar la rbita de un cometa con tres ob-
servaciones, en 1778 y 1783,: esto no se ha demostrado prcticamente disponible de
hecho, pero su sistema de calcular las perturbaciones por medio de las cuadraturas
mecnicas ha formado la base de la mayora de las investigaciones subsecuentes
en el asunto.
7. Su determinacin de las variaciones seculares y peridicas de los elementos orbitales

de los planetas, 1781-1784: los lmites superiores asignados para que stos estn de
acuerdo con aqullos obtenidos despus por Le Verrier, y Lagrange procedi hasta
donde el conocimiento permita entonces de las masas de los planetas.
8. A este tema volvi durante los ltimos aos de su vida cuando estaba ya en Pars.
La teora del movimiento planetario haba formado parte de algunos de los ms no-
table papeles de Berln de Lagrange. En 1806 el asunto se volvi a abrir por parte
de Poisson, quin, en un papel ledo antes de la Academia francesa, mostr las
frmulas de Lagrange llevadas a ciertos lmites para la estabilidad de las rbitas. La-
grange que estaba presente discuti ahora de nuevo el asunto entero, y en una
carta comunicada a la Academia en 1808 explic cmo, por la variacin de con-
stantes arbitrarias, las desigualdades peridicas y seculares de cualquier sistema de
cuerpos mutuamente unidos por la gravitacin podran ser determinadas.
El lgebra
El mayor nmero de sus artculos de lgebra los envi a la Academia de Berln. Cabe
destacar:
1. Su discusin de la solucin enteras de las formas cuadrticas, 1769, y generalmente

de ecuaciones indeterminadas, 1770.
2. Su tratado de la teora de eliminacin de parmetros, 1770.
3. Sus papeles en el proceso general por resolver una ecuacin algebraica de cualquier
grado, 1770 y 1771; este mtodo falla para las ecuaciones de un orden superior al
cuarto, porque involucra la solucin de una ecuacin de orden superior, pero da
todas las soluciones de sus predecesores.
4. La solucin completa de una ecuacin binomial de cualquier grado, esta ocupa el

ltimo lugar en los papeles mencionados.
5. Por ltimo, en 1773, su tratamiento de determinantes de segundo y tercer orden, y

de sus invariantes.
La teora de nmeros
Algunos de sus artculos iniciales tambin tratan de preguntas conectadas con el

abandonado pero singularmente fascinante tema de la teora de nmeros. Entre stos
es lo siguiente:
1. Su prueba del teorema que cada entero positivo que no es un cuadrado puede
expresarse como la suma de dos, tres o cuatro cuadrados de enteros, 1770.
2. Su prueba del teorema de Wilson que si n es un nmero primo, entonces ( n - 1)! + 1

siempre es un mltiplo de n , 1771.
3. Sus artculos de 1773, 1775, y 1777, qu da las demostraciones de varios resultados

enunciadas por Fermat, y no demostrado previamente.
4. Y, por ltimo, su mtodo para determinar los factores de nmeros de la forma x2 +

ay2.
La matemtica pura
Los intereses de Lagrange eran esencialmente aqullos de un estudiante de matemtica

pura: busc y obtuvo resultados abstractos de largo alcance, y estaba satisfecho de
dejar las aplicaciones a otros. De hecho parte de los descubrimientos de su gran con-
temporneo, Pierre-Simon Laplace, consiste en la aplicacin de las frmulas de La-
grange a los fenmenos de la naturaleza; por ejemplo, las conclusiones de Laplace
de la velocidad del sonido y de la aceleracin secular de la Luna estn ya implcita-
mente en los resultados de Lagrange. La nica dificultad para entender a Lagrange
es el asunto de inters y la generalidad extrema de sus procesos; pero su anlisis es tan
lcido y luminoso como es simtrico e ingenioso.
Un reciente escritor que habla de Lagrange dice el tomo un rol verdaderamente

prominente en el avance de casi todas las ramas de la matemtica pura. Como Dio-
fanto y Fermat, l posey un genio especial para la teora de nmeros, y en este asunto
dio soluciones de muchos de los problemas que se haban propuesto por Fermat, y
agreg algunos teoremas propios. Cre el clculo de variaciones. La teora de ecua-
ciones diferenciales est en deuda con l por convertirla en una ciencia en lugar de
una coleccin de ingeniosos artificios para la solucin de problemas particulares.
Contribuy al clculo de diferencias finitas con la frmula de interpolacin que lleva

su nombre. Sus tres trabajos sobre el mtodo de interpolacin de 1783, 1792 y 1793,:
estn ahora en la misma fase en que Lagrange los dej.
Tomado de la web: EcuRed

http://www.ecured.cu/Joseph_Louis_Lagrange
APENDICE B
SIR WILLIAM ROWAN HAMILTON 1805 -

1865
Sir William Rowan Hamilton 1805-1865
Matemtico, fsico, astrnomo y filsofo irlands. Se dice que Hamilton naci en la

medianoche del 03 de agosto (04 de Agosto) de 1805 en Dubln (hay cierta confusin
sobre su fecha de nacimiento).
William Rowan Hamilton fue el cientfico ms grande de Irlanda. Fue un matemtico,

fsico y astrnomo e hizo importantes aportes en la ptica, la dinmica y el lgebra.
Naci en Dubln hijo de Archibald Hamilton, asistente legal, pero fue puesto en
119
APENDICE B. SIR WILLIAM ROWAN HAMILTON 1805 - 1865
adopcin. Archibald Hamilton no tena una educacin universitaria y se cree que el

genio de Hamilton proceda de su madre, Sarah Hutton.
William Hamilton vivi con su to, el reverendo James Hamilton lingista y un sacer-
dote anglicano, con quien vivi desde antes de la edad de tres aos hasta que entr
en la universidad. Desde nio mostro sus cualidades de genio, a la edad de cinco aos
empez a aprender latn y griego, a los siete aos ya hablaba hebreo, A la edad de
diez ley una copia latina de Euclides, su introduccin en la geometra.
Sir-William-Rowan-Hamilton-1Adems lenguas como el snscrito, el malayo, el persa,

el rabe, el hindi, el persa y rabe para la relajacin. Unos 15 idiomas para cuando
cumpli 13 aos de edad. A esa misma edad aprendi francs y con el idioma comenz
sus estudios con el lgebra de Clairaut.
En 1822 a la edad de 17 aos, encontro un error en el Mechanique Celeste de

Laplace. Esto llam la atencin del Dr. John Brinkley, astrnomo real de Irlanda y el
obispo de Cloyne, quien afirmo en 1.823 de Hamilton: Este joven, no s qu ser, pero
s que es el primer matemtico de su edad.
Hamilton ingres en el Trinity College de Dubln, a la edad de 18 aos. Acudi a

la escuela de matemticos, estudio los clsicos de la ciencia. En 1827 fue nombrado
profesor de Astronoma.
Concibi el lgebra como una ciencia pura y orient sus investigaciones hacia una
matematizacin sistemtica del mundo de la fsica. Estructur la teora de nmeros
complejos como pares de nmeros reales, y defini una ley de composicin conmuta-
tiva para estos.
Dos documentos principales de Hamilton, sobre un mtodo general en la dinmica,

se publicaron en 1834 y 1835. En el segundo de ellos, las ecuaciones de movimiento
de un sistema dinmico se expresan en una forma muy elegante (las ecuaciones de
movimiento de Hamilton). El enfoque de Hamilton fue perfeccionado por el matemtico
alemn Carl Jacobi , y se le dio importancia en el desarrollo de la mecnica celeste y
la mecnica cuntica.
En 1835, Hamilton fue nombrado caballero por el seor teniente de Irlanda, en el

transcurso de una reunin en Dubln de la Asociacin Britnica para el Avance de la
Ciencia. Hamilton se desempe como presidente de la Real Academia de Irlanda
desde 1837 hasta 1846.
APENDICE B. SIR WILLIAM ROWAN HAMILTON 1805 - 1865
Para sus ltimos das Hamilton se convirti en era un alcohlico. Aunque mantuvo
sus facultades intactas hasta su muerte.
Muri el 02 de septiembre 1865 de un ataque severo de gota, slo poco despus de

recibir la noticia de que haba sido elegido el primer miembro extranjero de la Acad-
emia Nacional de Ciencias de los EE.UU.
Sus estudios dieron origen a los clculos que se utilizan hoy da para dar realismo a las
imgenes creadas en computadora. Y cada da su trabajo es ms y ms reconocido.
Hamilton dedic los ltimos 22 aos de su vida al desarrollo de la teora de los cuater-
niones y sistemas relacionados. Para l, los cuaterniones son una herramienta natural
para la investigacin de los problemas de la geometra tridimensional. Muchos con-
ceptos bsicos y los resultados en el anlisis vectorial tienen su origen en los papeles
de Hamilton en cuaterniones. Un libro importante, Conferencias sobre cuaterniones,
fue publicado en 1853, pero no logr una gran influencia entre los matemticos y los
fsicos. Un tratamiento ms largo, Elementos de cuaterniones, qued inacabada en el
momento de su muerte.
En 1856, Hamilton investigado caminos cerrados a lo largo de los bordes de un do-

decaedro (uno de los slidos platnicos ) que visita cada vrtice exactamente una vez.
En la teora de grafos tales caminos son conocidos hoy como los circuitos hamiltonianos.
Tomado de la web: Moonmentum

http://moonmentum.com/blog/archivo/multimedia/sir-william-rowan-hamilton-2/
APENDICE C
PIERRE DE FERMAT 1601 - 1665
Pierre de Fermat 1601 - 1665
Pierre de Fermat fue un matemtico francs del siglo XVII que hizo importantes con-
tribuciones al desarrollo del clculo infinitesimal. Hizo camino irrumpir investigacin
teora de nmeros y descubri varios nuevos patrones en nmeros que haban intri-
gado a los matemticos durante siglos. Nacido en una familia acomodada de alto
rango social, decidi ejercer profesin legal como se esperaba de los hombres jvenes
de su estatura social en esos das a pesar de su profundo amor por las matemticas.
Pero embarcarse en un campo profesional totalmente sin relacin con el campo de las
matemticas no guard al joven se convierta en un matemtico aficionado en su pro-
pio derecho. Inicialmente escribi sobre sus descubrimientos matemticos a sus amigos
122
APENDICE C. PIERRE DE FERMAT 1601 - 1665
en las letras, a menudo con poca o ninguna de las pruebas. Ms adelante como gan
en prominencia, sus hallazgos fueron publicados y circul ampliamente. Altamente in-
spirado por los trabajos del matemtico helenstico Diofanto, junto con Ren Descartes,
pas a convertirse en uno de los dos principales matemticos de la primera mitad del
siglo XVII. Sus obras desempe un papel fundamental en el desarrollo del clculo infin-
itesimal e hizo notables contribuciones a la geometra analtica, probabilidad y ptica
Infancia y primeros aos de vida
Pierre de Fermat naci en Beaumont-de-Lomagne (actual Tarn-et-Garonne), Fran-

cia, en la primera dcada del siglo XVII. Su ao de nacimiento se cree para ser 1601 o
1607.
El provena de una familia adinerada. Su padre Dominique Fermat era un prspero

comerciante que haba servido tres mandatos de un ao como uno de los cuatro cn-
sules de Beaumont-de-Lomagne. Su madre se llamaba Franoise Cazeneuve o Claire
de Long. Tena un hermano y dos hermanas.
Aunque varios detalles sobre su vida temprana son confusos, algunas fuentes sug-
ieren que recibi su educacin escolar en el colegio de Navarra en Montauban.
El haba desarrollado un temprano inters por las matemticas aunque decidi

seguir una carrera como abogado. As se matricul en la Universidad de Orlans en
1623 y obtuvo a su licenciatura en derecho civil en 1626.
Carrera
Luego se traslad a Burdeos y comenz sus investigaciones matemticas. Entr en

contacto con Jean de Beaugrand, un prominente lineographer y matemtico con los
que comparti a sus intereses. Fue aqu que le produjeron importantes trabajos en
mximos y mnimos.
Compr las oficinas de conseiller y commissaire aux servicios en el Parlamento de

Toulouse, uno de los altos tribunales de judicatura en Francia en 1630. Al ao siguiente
l jur por la Chambre de Grand. Ocup esta oficina por el resto de su vida.
Fue promovido a la posicin de conseiller aux enqutes en 1638 y dentro de cuatro

aos, ingres a los consejos ms altos del Parlamento la Corte Penal y luego la gran
sala.
Actu como vocero principal del parlement en 1648 mientras negociaban con el
Canciller de Francia, Pierre Sguier. Sin embargo, ciertas cartas personales de alrede-
dor de este tiempo sugieren que no fue satisfactorio, rendimiento de Fermat en oficina.
A pesar de sus alta-prolife puestos de trabajo, se sumergi en la investigacin matemtica

y escribi a menudo sobre sus descubrimientos a sus amigos en las letras. Muchos de
sus cartas escritas despus de 1636 proporcionan sugerencias con respecto a su inves-
tigacin matemtica y su evolucin como matemtico.
En su obra, Methodus ad disquirendam maximam et mnimos y en De tangentibus

linearum curvarum, l desarroll el mtodo de adequality para la determinacin
de mximos, mnimos y tangentes a curvas diferentes; Esto era anloga a la del cl-
culo diferencial, entonces desconocido. l tambin desarroll una nueva tcnica para
encontrar los centros de gravedad de varios avin y Figuras slidas.
Estaba en correspondencia con Blaise Pascal en 1654, y los dos hombres ayudaron
a sentar las bases de la teora de la probabilidad. Aunque su correspondencia con
Pascal fue breve, fue altamente productivo y conducido a la Fundacin de la teora
de la probabilidad.
Contribucin de Pierre de Fermat a la teora de los nmeros ha sido tremendo. Su

estudio de la ecuacin de Pell, nmeros perfectos, nmeros amistosos, enteros positivos
y nmeros primos en ltima instancia condujo al descubrimiento de los nmeros que
sera nombrados despus de l: nmeros de Fermat.
Fermat fue uno de los principales matemticos del siglo XVII. El haba desarrollado
el campo de la geometra analtica casi sin ayuda y han contribuido al desarrollo tem-
prano de clculo. l tambin era conocido por haber trabajado en la refraccin de la
luz y la ptica.
Una de sus obras ms conocidas es el ltimo teorema de Fermat que primero fue
descubierto por su hijo en el margen en la copia de su padre de una edicin de Dio-
fanto. Fermat afirm que tena una prueba pero no pudo probarlo. La primera prueba
exitosa fue lanzada siglos ms tarde por Andrew Wiles en 1994.
Estaba con fluidez en varios idiomas incluyendo francs, Italiano, espaol, latn y
griego, y as tambin se meti en problemas filolgicos y gan reputacin como un
erudito clsico.
Principales obras
El jug un papel importante en el desarrollo del campo del clculo infinitesimal y

se le atribuye haber descubierto un mtodo original de encontrar el mejor y las ms
pequeas ordenadas de lneas curvas, que es anloga a la del clculo diferencial.
Tambin invent un mtodo de factorizacin que ms tarde fue nombrado despus
de l: mtodo de factorizacin de Fermat.
Legado y vida personal
Pierre de Fermat se cas con la prima de su madre, Louise de Long, el 01 de junio de

1631. La pareja tuvo cinco hijos: dos hijos y tres hijas. Su hijo mayor, Clment-Samuel,
tambin se convirti en abogado y hered su oficina despus de su muerte; ms ade-
lante tambin public documentos matemticos de su padre.
Muri el 12 de enero 1665, en Castres, Francia.
Tomado de la web: Edukavital

http://edukavital.blogspot.com/2015/05/biografia-de-pierre-de-fermat-su-vida-y.html
APENDICE D
MULTIPLICADORES DE LAGRANGE
126
APENDICE E
RENE DESCARTES 1596 - 1650
Ren Descartes 1596 - 1650
Filsofo y cientfico francs, considerado padre de la filosofa moderna, Descartes

(tambin conocido con el nombre latinizado de Renatus Cartesius) es un pensador que
puso su vida al servicio de una noble causa: la consecucin de la verdad. Genial inno-
vador de la filosofa, fue tambin el primero en aplicar las matemticas a las ciencias
fsicas, y el iniciador de la concepcin mecanicista de la naturaleza. Su doctrina tuvo
tal capacidad para espolear a los espritus de su poca, que, de una u otra forma, las
importantes corrientes posteriores han partido de l.
Vida y obra
Perteneciente a una noble familia, naci en La Haye (Turena). A los ocho aos entr
a la escuela jesuita de La Flche, una de las ms famosas de Europa en aquella poca,
127
APENDICE E. RENE DESCARTES 1596 - 1650
donde permaneci hasta la edad de 16 aos. Luego estudi Derecho en Poitiers hasta
el ao 1617. Fueron estos aos de su juventud una etapa marcada por la disipacin y
la incertidumbre, sin que nunca llegara a apagarse en l la inquietud por conocer. Con
afn de aventura se enrol, primero, en el ejrcito protestante de Mauricio de Nassau,
prncipe de Orange, y luego en el ejrcito catlico del Duque de Baviera. En 1619,
estando acampados en Neuburg, en espera de que amainara la tormenta para entrar
en combate, y entregado Descartes a sus reflexiones, vivi una noche de entusiasmo,
de sueos exaltantes y reveladores, en los cuales tomaron forma las primeras intuiciones
de una nueva lgica (el inventum mirabile), capaz de fundar una ciencia universal.
Agradecido por aquel don, prometi peregrinar a los pies de la Virgen de Loreto, y
cumpli su promesa al viajar a Italia tres aos despus. En 1621 ya haba abandonado
la vida militar. Vendi sus propiedades, y del dinero que obtuvo vivi toda su vida, sin
penurias, pero austeramente. El encuentro con el cardenal Brulle, en 1627, reforz
su decisin de consagrarse a la investigacin filosfica. Buscando la paz y la libertad
necesarias que requera su trabajo cientfico y de reflexin, se traslad a Holanda. All
conoci la fama, pero tambin las dificultades, pues las controversias contra sus teoras
le venan tanto de parte de los catlicos como de los protestantes. En 1649, aceptando
una invitacin de la reina Cristina, pas a vivir a Estocolmo. En la corte sueca prosigui
su intenso trabajo, el cual, unido al riguroso clima de Estocolmo, min su salud, hasta
acarrearle la muerte.
Desde el principio de su filosofar, Descartes abandon la filosofa de corte escols-

tico que haba aprendido en La Flche, -la cual, segn l, poco tena de utilidad-,
para entregarse a la bsqueda de un saber fundado en el modelo del conocimiento
matemtico y, cada vez con mayor intensidad, la ambicin de efectuar una sntesis
que, en cuanto alternativa a la escolstica, constituyese un marco sistemtico a la vez
comprensivo y definitivo. Hubo dos momentos decisivos en este camino: uno fue el
encuentro, en 1618-19, con I. Beeckmann, matemtico y fsico holands de formacin
galileana, a raz del cual abandon tambin su tentacin de adentrarse por el camino
del ocultismo de inspiracin renacentista, al cual mirar desde ese momento como a
otro enemigo que combatir; el segundo fue en los aos 1628-29, cuando hall el fun-
damento metafsico que le permiti la fundamentacin de la fsica en la metafsica a
travs de la deduccin a priori de las leyes fundamentales de la naturaleza a partir
de un atributo de Dios, como es la inmutabilidad de la accin divina. A estos aos
se remonta la genial contribucin matemtica de Descartes, con la elaboracin de la
geometra analtica, la cual, al permitir la reduccin de los problemas geomtricos a
ecuaciones algebraicas, implicaba una gran universalizacin y, en consecuencia, una
gran simplificacin de los problemas.
APENDICE E. RENE DESCARTES 1596 - 1650
Sus obras principales son: Regulae ad directionem ingenii (1628), Discours de la

mthode pour bien conduir sa raison et chercher la vrit dans les sciences (1637),
Meditationes de prima philosophia (1641), Principia philosophiae (1644), y Les passions
de lme (1649).
Tomado de la web: La Web de las Biografas

http://www.mcnbiografias.com/app-bio/do/show?key=descartes-rene
APENDICE F
JOHANN FRIEDRICH PFAFF 1765 - 1825
Johann Friedrich Pfaff 1765 - 1825
(Stuttgart, Germany, 22 de diciembre de 1765; Halle, Germany, 21 de abril de 1825)

Pfaff provena de una distinguida familia de funcionarios de Wurttemberg. Su padre,
Burkhard Pfaff, fue jefe edil financiero y su madre era la nica hija de un miembro del
consistorio y del erario pblico; Johann Friedrich fue el segundo de sus siete hijos.
El sexto hijo, Christoph Heinrich (1773-1852), hizo el trabajo de considerable mrito en

la qumica, la medicina y la farmacia. Tambin investig la "electricidad animal" con
Volta, Humboldt, y otros. El hermano menor de Pfaff, Johann Wilhelm Andreas (1774-
1835), se distingui en varias reas de la ciencia, especialmente en matemticas, y se
130
APENDICE F. JOHANN FRIEDRICH PFAFF 1765 - 1825
convirti en profesor de matemticas en las universidades de Wrzburg y Erlangen; pero

los rpidos cambios en sus intereses cientficos le impidieron alcanzar la importancia de
Johann Friedrich.
Como hijo de una familia al servicio del gobierno de Wrttemberg, Pfaff fue a la
Hohe Karlsschule en Stuttgart a la edad de nueve aos. Esta escuela, en la que fue
sujeto a una disciplina militar dura, sirve principalmente para entrenar funcionarios gu-
bernamentales de Wrttemberg y oficiales superiores. Pfaff complet sus estudios de
derecho all en el otoo de 1785.
Sobre la base de los conocimientos matemticos que adquiri por l mismo, Pfaff
pronto ley Eulers Introductio in analysin infinitorum. En el otoo de 1785, a instan-
cias de Karl Eugen (duque de Wurttemberg), comenz un viaje para aumentar sus
conocimientos cientficos. Permaneci en la Universidad de Gttingen durante unos
dos aos, estudiando matemticas con AG Kaestner y fsica con GC Lichtenberg. En
el verano de 1787 viaj a Berln, con el fin de mejorar su habilidad en la astronoma
prctica con JE Bode. Estando en Berln, por recomendacin de Lichtenberg, Pfaff fue
admitido en el crculo de seguidores de la Ilustracin en torno Friedrich Nicolai. En la
primavera de 1788 viaj a Viena pasando por Halle, Jena, Helmstedt, Gotha, Dresde y
Praga.
Por recomendacin de Lichtenberg, Pfaff fue nombrado catedrtico de matemti-

cas en la Universidad de Helmstedt como un reemplazo de Klgel, que haba sido lla-
mado a Halle. Pfaff asumi el cargo mal pagado, con la aprobacin del duque de
Wrttemberg.
Al principio Pfaff dirige toda su atencin a la enseanza, con un xito evidente: el

nmero de estudiantes de matemticas creci considerablemente. Gauss, despus
de completar sus estudios en Gotinga (1795-1798), asisti a las conferencias de Pfaff
y en 1798 vivi en la casa del mismo. Pfaff recomienda la tesis doctoral de Gauss y,
cuando era necesario, le ayud en gran medida. Gauss siempre conserv un recuerdo
agradable de Pfaff, tanto como profesor y como hombre.
Mientras estuvo en Helmstedt, Pfaff ayud a los estudiantes cuyos talentos recono-
ci. Por ejemplo, l era un partidario de Humboldt tras su visita a Helmstedt y lo re-
comienda a los profesores en Gotinga. Durante este periodo tambin form una amis-
tad duradera con el historiador G. G. Bredow. Sus planes para editar todos los frag-
mentos de Pappus de Alejandra no progres ms de una edicin parcial (Libro 4 de la
coleccin), realizado slo por Bredow.
En 1803 se cas con Caroline Pfaff Brand, un prima materna. Su primer hijo muri
joven; el segundo, Carl, que edit una parte de la correspondencia de su padre, se
convirti en un historiador, pero su carrera fue abreviada por la enfermedad.
Una seria amenaza para la carrera acadmica de Pfaff surgi al final del siglo XVIII,
cuando se discutieron los planes para el cierre de la Universidad de Helmstedt. Esta me-
dida econmica se pospuso - en no poca medida como resultado del interesante en-
sayo de Pfaff Uber die Voteile, welche eine Universitat einem Lande gewahrt (Haber-
lins Staatsarchiv [1796], no. 2) - pero en 1810 la universidad fue finalmente cerrada. Los
miembros de la facultad fueron trasladados a Gttingen, Halle y Breslau. Pfaff fue a
Halle, a peticin propia, de nuevo como profesor de matemticas. Tras la muerte de
Klgel en 1812 tambin se hizo cargo de la direccin del observatorio all mismo.
Los primeros trabajos de Pfaff fueron fuertemente marcados por la influencia de

Euler. En su Versuch einer neuen Summations-methode (1788) emple series diver-
gentes en su tratamiento de las expansiones de Fourier.
Como amigo de K. F. Hindenburg, el lder de la escuela combinatoria alemana, Pfaff

prepar una serie de artculos entre 1794 y 1800 para Archiv der reinen und ange-
wandten Mathematik y Sammlung combinatorisch-analytischer Abhandlungen, que
fueron editados por Hindenburg. Los artculos reflejan constantemente la forma de
pensamiento y expresin de la escuela de Hindenburg, con la nica excepcin de
wichtigen Anlisis einer Aufgabe des Herrn La Grange (1794), que pretenda liberar
a la expansin de Taylor (con el resto en la forma de Lagrange ) de la tradicin de in-
cluirla en la teora de combinaciones y en lugar de presentarla como una componente
principal de anlisis.
En 1797 Pfaff public en Helmstedt el primer y nico volumen de un tratado intro-

ductorio sobre anlisis escrito en el espritu de Euler: Disquisitiones analyticae maxime
ad calculum integralem et doctrinam serierum pertinentes. En 1810 particip en la
solucin de un problema con Gauss referente a la elipse de mayor rea que puede ser
inscrita en un cuadriltero dado.
Pfaff present su ms importante logro matemtico, la teora de las formas de Pfaff,

en Methodus generalis, aequationes differentiarum partialium, necnon aequationes
differentiales vulgares, utrasque primi ordinis, inter quotcunque variabiles, complete in-
tegrandi, que present para ser impresa en la Abhandlumgen de la Academia de
Berln (1814-1815) recibiendo una opinin muy favorable de Gauss, la obra no lleg
a ser ampliamente conocida. Su importancia no fue apreciada hasta 1827, cuando
apareci en un artculo de Jacobi, ber Pfaffs Methode, eine gewohnliche lineare

Differentialgleichung zwischen 2n Variabeln durch ein System von n Gleichungen zu in-
tegrieren (Journal fr die reine und angewandte Mathematik, 2 347 ff.).
El Mtodo de Pfaff constituy el punto de partida de una teora bsica de la inte-

gracin de las ecuaciones diferenciales parciales que, a travs de la obra de Jacobi,
Lie, y otros, se ha convertido en el moderno clculo de Cartan de las formas diferen-
ciales extremas.
Tomado de la web: encyclopedia.com

http://www.encyclopedia.com/doc/1G2-2830903390.html
APENDICE G
FORMA PFAFFIANA
134
APENDICE H
LEMA FUNDAMENTAL DEL CALCULO DE

VARIACIONES
Ahora bien, teniendo presente lo anterior, se pasar a enunciar y demostrar el Lema

Fundamental del Clculo de Variaciones [Ref. 8]:
Lema 1 (Lema Fundamental del Clculo de Variaciones) Si para cada funcin continua
(x) se tiene,
Z b
f (x) (x) dx = 0
a
siendo f (x) una funcin continua en el intervalo [a; b], entonces,
f (x) = 0
en dicho segmento.
Demostracin. La afirmacin del lema y su demostracin no varan si a la funcin (x)

se le imponen las siguientes limitaciones: (a) = (b) = 0; (x) tiene derivadas continuas
hasta orden p, (s) (x) < " (s = 0; 1; :::; q; q p). Ahora bien, suponiendo que en el punto
x = x contenido en el intervalo [a; b], sea f (x) 6= 0, se llega a una contradiccin. En
efecto, de la continuidad de la funcin f (x) se deduce que si f (x) 6= 0, entonces f (x)
conserva su signo en cierto entorno a; b del punto x. Pero entonces, tomando una
funcin (x) que tambin conserve su signo en este entorno y sea igual a cero fuera
del mismo (ver figura H.1), se obtiene,
Z b Z b
f (x) (x) dx = f (x) (x) dx 6= 0 (H.1)
a a
135
APENDICE H. LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES
Figura H.1: Funcin arbitraria (x).
ya que el producto f (x) (x) conserva su signo en el intervalo a; b y se anula fuera del
mismo. De este modo, se ha llegado a una contradiccin, por lo tanto, f (x) = 0, con lo
cual queda demostrado el lema.
-
BIBLIOGRAFIA
[1] Goldstein, H.; Poole, Ch. & Safko, J. CLASSICAL MECHANICS. Addison-Wesley, 3rd
edition, 2000.
[2] Greiner, W. CLASSICAL MECHANICS SYSTEMS OF PARTICLES AND HAMILTONIAN DY-

NAMICS. Springer-Verlag New York, Inc., 2003.
[3] Thornton, S. & Marion, J. CLASSICAL DYNAMICS OF PARTICLES AND SYSTEMS. Thom-
son Brooks/cole, 5th edition, 2004.
[4] Falcn V., N. MECANICA CLASICA: FISICA TEORICA EN FORMALISMOS DE LA-

GRANGE, HAMILTON Y HAMILTON-JACOBI. Serie Fsica. Universidad de Carabobo.
Editado por la Direccin de Medios y Publicaciones de La Universidad de
Carabobo, Valencia, Venezuela, 1era edition, Abril 2012.
[5] Herrero P., P. J. LA HISTORIA DEL PROBLEMA ISOPERIMETRICO

CLASICO CON GEOMETRIA ELEMENTAL. La Gaceta de la Real
Sociedad Matemtica Espaola (RSME), 15(2):335354, 2012.
http://divulgamat2.ehu.es/divulgamat15/index.php?option=com_docman&task=doc_view&
[6] Prez, R.; Berenguer, I; Berenguer, L.; Cobo, B.; Daza, M. D.; Fernndez, F.; Pasadas,
M. & Pay, A. M. EL PROBLEMA ISOPERIMETRICO Y EL CALCULO DE VARIACIONES.
SUMA, (39):99102, febrero 2002. http://revistasuma.es/IMG/pdf/39/099-102.pdf.
[7] Virgilio M., P. LA ENEIDA. EDAF, Madrid, 1985.
[8] Elsgoltz, L. ECUACIONES DIFERENCIALES Y CALCULO VARIACIONAL. Editorial MIR,

Mosc, 1969.
137
BIBLIOGRAFIA
[9] Krasnov, M. L. , Makarenko, G. I. & Kiseliov, A. I. CALCULO VARIACIONAL. Editorial

MIR, Mosc, 1992.
[10] Lanczos, C. THE VARIATIONAL PRINCIPLES OF MECHANICS. University of Toronto

Press, 1952.
[11] Troutman, J. L. & Hrusa, W. VARIATIONAL CALCULUS WITH ELEMENTARY CONVEXITY.

Springer-Verlag New York, Inc., 1983.
[12] Troutman, J. L. VARIATIONAL CALCULUS AND OPTIMAL CONTROL. Springer-Verlag

New York, Inc., 1996.
[13] Van Brunt, B. THE CALCULUS OF VARIATIONS. Springer-Verlag New York, Inc., 2004.
[14] Weinstock, R. CALCULUS OF VARIATIONS WITH APPLICATIONS TO PHYSICS AND EN-

GINEERING. Dover Publications, Inc., New York, 1974.
[15] Elsgolc, L. D. CALCULUS OF VARIATIONS. Dover Publications, Inc., Mineola, New

York, 2007.
[16] Abbatt, R. A TREATISE ON THE CALCULUS OF VARIATIONS. John Richardson, Royal

Exchange, London, 1837.
[17] Elwood B., W. INTRODUCTION TO THE CALCULUS OF VARIATIONS. Harvard University

Press, Cambridge, 1917.
[18] Komzsik, L. APPLIED CALCULUS OF VARIATIONS FOR ENGINEERS. Taylor & Francis
Group, LLC, 2009.
[19] Kot, M. A FIRST COURSE IN THE CALCULUS OF VARIATIONS. American Mathematical

Society, Providence, Rhode Island, 2014.

Calc Variacional - Soldovieri PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Calc Variacional - Soldovieri PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Clculo Variacional

con fronteras fijas 2016

Con numerosos ejemplos y problemas SOLDOVIERI

Por Terenzio Soldovieri C. fecha 18:49 , 20/02/2016

1era edicin (preprint)

Escrito usando LATEX

Copyright c 2016 Terenzio Soldovieri C.

PIN: 568EEB0F www.cmc.org.ve/tsweb +584124271575

Grficos: Soldovieri C., Terenzio.

Introduccin a la Mecnica de Lagrange y Hamilton.

Introduccin a la Mecnica de Lagrange y Hamilton - Solucionario (En

El Angulo Slido y algunas de sus aplicaciones (Coautor).

La Transformacin de Legendre para Estudiantes de Ciencias.

Clculo Variacional con fronteras fijas.

Coordenadas Generalizadas, Exorcisadas (En Proyecto).

Mecnica Clsica (En Proyecto).

Leonhard Euler 1707 - 1783

Euler naci en Basilea en 1707 y estudi en la Universidad de Basilea con el matemtico

En 1741 fue profesor de matemticas en la Academia de Ciencias de Berln a peti-

En su Introduccin al anlisis de los infinitos (1748), Euler realiz el primer tratamiento

Euler, aunque principalmente era matemtico, realiz tambin aportaciones a la

La productividad matemtica de Euler fue extraordinaria. Nos encontramos su nom-

Muri el 7 de septiembre de 1783.

Tomado de la web: AstrMa

A mi difunto padre Raffaele Soldovieri Mastursi y a mi madre Rita Elena

Se lo dedico tambin a todos los que fueron mis estudiantes en la Licenciatura de

1 DEFINICIONES BASICAS Y PLANTEAMIENTO DEL PROBLEMA VARIACIONAL

2 CALCULO DE EXTREMALES SIN RESTRICCIONES 18

2.1 Para una variable dependiente Ecuacin de Euler . . . . . . . . . . . . . . 18

3 CALCULO DE EXTREMALES CON RESTRICCIONES 40

3.1 Restricciones del tipo Al [yi (x) ; x] = 0 . . . . . . . . . . . . . . . . . . . . . . . . 42

el = P Alj [yi (x) ; x] y 0 (x) + Bl [yi (x) ; x] = 0 . . . . . . . . 68

A GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 -

B SIR WILLIAM ROWAN HAMILTON 1805 - 1865 119

C PIERRE DE FERMAT 1601 - 1665 122

D MULTIPLICADORES DE LAGRANGE 126

E RENE DESCARTES 1596 - 1650 127

F JOHANN FRIEDRICH PFAFF 1765 - 1825 130

G FORMA PFAFFIANA 134

H LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES 135

1.1 Superficie de revolucin generada por una curva y = y (x). . . . . . . . . . . 4

3.1 Geodsicas sobre una esfera. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

4.1 Problema 70. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108

H.1 Funcin arbitraria (x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136

Albert Einstein 1879 - 1955

Todos somos muy ignorantes. Lo que ocurre es que no todos ignoramos

El Clculo Variacional constituye una de las herramientas matemticas bsicas

Vase apndice A para una biografa resumida.

Se denomina Funcional a una funcin J que toma funciones como

En el caso de las funciones a cada nmero le corresponde otro nmero, mientras

1. n es el nmero total de funciones y (x)i y el nmero total de sus derivadas y 0 (x)i =

2. y (x)i son las variables dependientes.

4. El punto y coma separa la Variable Independiente de las Variables Dependientes.

En el caso de n = 1 se tendr la dependencia,

que es el caso dependiente de una funcin o de una variable dependiente.

De forma anloga, es posible definir tambin las funcionales dependientes de varias

Un caso especial de funcionales son las denominadas Funcionales Integrales,

de una variable independiente, n variables dependientes y donde x1 y x2 son canti-

(b.2) Si y (x) = Cos2 x, Z

Figura 1.1: Superficie de revolucin generada por una curva y = y (x).

1.2 Variacin de una funcin y de una funcional

1.2.1 Variacin de una funcin de una variable independiente

y (x) = y (x) ye (x) (1.5)