Calcvariacional Soldovieri PDF

See discussions, stats, and author proﬁles for this publication at: https://www.researchgate.
net/publication/296657736
CALCULO VARIACIONAL CON FRONTERAS FIJAS ( Descargar

actualizaciones en www.cmc.org.ve/tsweb )
Book · February 2016
CITATIONS READS
0 1,454
1 author:
Terenzio Soldovieri
University of Zulia
16 PUBLICATIONS 6 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
Introducción a la Mecánica Clásica View project
All content following this page was uploaded by Terenzio Soldovieri on 02 March 2016.
The user has requested enhancement of the downloaded ﬁle.

Cálculo Variacional
con fronteras fijas 2016
Actualización # 01 (01/03/16)
Desde el 2015
(EN REDACCION Y REVISION)
NUEVO
Colección Soldovieri de textos de Ciencia
Con numerosos ejemplos y problemas SOLDOVIERI

propuestos, además de una presentación
que facilita la comprensión del contenido. LA UNIVERSIDAD DEL ZULIA
ADVERTENCIA
TEXTO EN
REDACCION Y
REVISION
SOLDOVIERI C., Terenzio
Por Terenzio Soldovieri C. fecha 18:48 , 01/03/2016
CALCULO VARIACIONAL
CON FRONTERAS FIJAS
1era edición (preprint)

(EN REDACCION Y REVISION)
Comenzado en 12/2015 - Actualización # 01 (01/03/2016)
Escrito usando LATEX
Copyright c 2016 Terenzio Soldovieri C.

? ? ? ? ? ? ??
Soldovieri C., Terenzio
Profesor Agregado
Departamento de Física
Centro de Modelado Científico (CMC)
Facultad Experimental de Ciencias (FEC)
La Universidad del Zulia (LUZ)
Maracaibo, Estado Zulia
República 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!
Colección Soldovieri de textos de Ciencia.
Copyright c 2016 Soldovieri C., Terenzio.
Todos los derechos reservados.
Editorial: (por establecer)
ISBN: (por establecer)
República Bolivariana de Venezuela.
Gráficos: Soldovieri C., Terenzio.

Portadas: Soldovieri C., Terenzio.
Escritura electrónica: Soldovieri C., Terenzio.
Procesador: este libro fue elaborado usando LATEX.
Web del autor: www.cmc.org.ve/tsweb
Colección Soldovieri de textos de
Ciencia
Física General - Una introducción a los Fluidos, Vibraciones y Termodinámica.
Introducción a la Mecánica de Lagrange y Hamilton.
Introducción a la Mecánica de Lagrange y Hamilton - Solucionario (En

Proyecto).
El Angulo Sólido y algunas de sus aplicaciones (Coautor).
La Transformación de Legendre para Estudiantes de Ciencias.
Cálculo Variacional con fronteras fijas.
Coordenadas Generalizadas, Exorcisadas (En Proyecto).
Mecánica Clásica (En Proyecto).
? ? ? ? ? ? ??
LEONHARD EULER 1707 - 1783
Leonhard Euler 1707 - 1783
(Basilea, Suiza, 1707 - San Petersburgo, 1783) Matemático suizo. Leonhard Euler fue
un matemático suizo, cuyos trabajos más importantes se centraron en el campo de las
matemáticas puras, campo de estudio que ayudó a fundar.
Euler nació en Basilea en 1707 y estudió en la Universidad de Basilea con el matemático

suizo Johann Bernoulli, licenciándose a los 16 años. En 1727, por invitación de la emper-
atriz de Rusia Catalina I, fue miembro del profesorado de la Academia de Ciencias de
San Petersburgo. Fue nombrado catedrático de física en 1730 y de matemáticas en
1733.
En 1741 fue profesor de matemáticas en la Academia de Ciencias de Berlín a peti-

ción del rey de Prusia, Federico el Grande. Euler regresó a San Petersburgo en 1766,
donde permaneció hasta su muerte.
i
Aunque obstaculizado por una pérdida parcial de visión antes de cumplir 30 años y
por una ceguera casi total al final de su vida, Euler produjo numerosas obras matemáti-
cas importantes, así como reseñas matemáticas y científicas.
En su Introducción al análisis de los infinitos (1748), Euler realizó el primer tratamiento

analítico completo del álgebra, la teoría de ecuaciones, la trigonometría y la geometría
analítica. En esta obra trató el desarrollo de series de funciones y formuló la regla por la
que sólo las series convergentes infinitas pueden ser evaluadas adecuadamente.
También abordó las superficies tridimensionales y demostró que las secciones cóni-
cas se representan mediante la ecuación general de segundo grado en dos dimen-
siones. Otras obras trataban del cálculo (incluido el cálculo de variaciones), la teoría
de números, números imaginarios y álgebra determinada e indeterminada.
Euler, aunque principalmente era matemático, realizó también aportaciones a la

astronomía, la mecánica, la óptica y la acústica. Entre sus obras se encuentran Insti-
tuciones del cálculo diferencial (1755), Instituciones del cálculo integral (1768-1770) e
Introducción al álgebra (1770).
Euler tenía una memoria prodigiosa; recordaba las potencias, hasta la sexta, de los
100 primeros números primos, y la Eneida entera. Realizaba cálculos mentalmente que
otros matemáticos realizaban con dificultad sobre el papel.
La productividad matemática de Euler fue extraordinaria. Nos encontramos su nom-

bre en todas las ramas de las matemáticas: Hay fórmulas de Euler, polinomios de Euler,
constantes de Euler, integrales eulerianas y líneas 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: AstroMía

http://www.astromia.com/biografias/euler.htm
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: 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 académica y, especial-
mente, personal se lo dedico de todo corazón, 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 Martínez y Marchello Soldovieri Car-
mona.
A mi compañera de vida Yeldri Yolaura Chourio Herrera. Mi hermosa,
tierna y muy tropical negra-novia. La persona que, con su amor y atención
desinteresada, ha hecho de mi una nueva persona.
Se lo dedico también a todos los que fueron mis estudiantes en la Licenciatura de

Física de nuestra muy ilustre Universidad del Zulia, nuestra indudable Alma Máter, a to-
dos aquellos estudiantes que no lo fueron y aquellos de otras universidades de nuestro
país y del extranjero que estudian Física y carreras afines que, con esfuerzo y sacrificio,
liberan obtáculos tras obtáculos para conseguir sus sueños. A todos ellos, especial-
mente, me debo y son la razón de todo el presente esfuerzo académico.
iii
AGRADECIMIENTOS
A
quí van los agradecimientos.
iv
INDICE GENERAL
PREFACIO ix
1 DEFINICIONES BASICAS Y PLANTEAMIENTO DEL PROBLEMA VARIACIONAL

A ESTUDIAR 1
1.1 Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Variación de una función y de una funcional . . . . . . . . . . . . . . . . . . . 5
1.2.1 Variación de una función de una variable independiente . . . . . . . 5
1.2.2 Variación de una funcional de n variables dependientes y una vari-
able independiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Problema variacional a estudiar . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 CALCULO DE EXTREMALES SIN RESTRICCIONES 18
2.1 Para una variable dependiente — Ecuación de Euler . . . . . . . . . . . . . . 18

2.2 Segunda forma y forma integrada de la Ecuación de Euler . . . . . . . . . . 26
2.3 Para múltiples 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 implícita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.2 Forma explícita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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 isoperimétrico x1 gl [yi (x) ; yi0 (x) ; x] dx = %l . . . . . . . . 80
4 EJERCITACION 92
A GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 -

1813 110
B SIR WILLIAM ROWAN HAMILTON 1805 - 1865 118
C JOHANN BERNOULLI 1667 - 1748 121
D PIERRE DE FERMAT 1601 - 1665 125
E MULTIPLICADORES DE LAGRANGE 129
E.1 Procedimiento 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132

E.2 Procedimiento 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
F RENE DESCARTES 1596 - 1650 135
G JOHANN FRIEDRICH PFAFF 1765 - 1825 138
H FORMA PFAFFIANA 142
I LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES 144
BIBLIOGRAFIA 146
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: vi
INDICE DE FIGURAS
1.1 Superficie de revolución generada por una curva y = y (x). . . . . . . . . . . 5

1.2 Camino real y (x) y camino variado ye (x). Diferencia entre y y dy. . . . . . . 6
1.3 La función 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 ]. . . 7
1.4 Función y (x) = 3x entre los límites de x = 0 y x = 2 y dos de sus variaciones
y ( ; x) = 3x + [Sen (x) Cos (x) + 1]. . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5 Función y (x) = x2 entre los límites de x = 1 y x = 1 y dos de sus variaciones
y ( ; x) = x2 + (x3 x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1 Superficie de revolución generada por una curva que une a los puntos
(x1 ; y1 ).y (x1 ; y1 ), haciéndola trasladarse entrono al eje y. . . . . . . . . . . . . 24
2.2 Partícula de masa m que se desplaza sobre una rampa lisa desde el punto
P1 hasta el punto P2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Planteamiento gráfico del problema de la Braquistócrona. . . . . . . . . . . 29
2.4 Camino resultante para que la partícula se mueva desde (x1 ; y1 ) = (0; 0)
hasta (x2 ; y2 ) = (d; h) en el menor tiempo posible. . . . . . . . . . . . . . . . 30
2.5 Película de jabón entre dos anillos concéntricos de radio a y separados
por una distancia 2d. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1 Geodésicas sobre una esfera. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

3.2 Distancia más corta entre dos puntos del plano. . . . . . . . . . . . . . . . . . 48
3.3 Geodésicas en un cilindro circular recto de radio R. . . . . . . . . . . . . . . 50
3.4 Función y (x) cuya área por ella encerrada ha de maximizarse. . . . . . . . 86
3.5 Cuerda de longitud ` colocada entre las orillas de un río de ancho 2a. . . . 88
vii
INDICE DE FIGURAS
4.1 Problema 70. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
E.1 Paralelepípedo que encierra un volumen V = xyz. . . . . . . . . . . . . . . . 129
I.1 Función arbitraria (x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: 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 más incomprensible del Universo, es que sea compren-
sible”. “Lo importante es no dejar de hacerse preguntas”. “Nunca consideres
el estudio como una obligación, sino como una oportunidad para penetrar
en el bello y maravilloso mundo del saber”. “La alegría de ver y entender es
el más perfecto don de la naturaleza”.
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: x
CAPITULO 1
DEFINICIONES BASICAS Y
PLANTEAMIENTO DEL PROBLEMA
VARIACIONAL A ESTUDIAR
El cálculo de variaciones, en su forma actual, proporciona un poderoso método

para el tratamiento de los principios variacionales en la física y se ha convertido cada
vez más importante en el desarrollo de la física moderna. Se originó como un estudio
de ciertos problemas no tratables mediante el cálculo elemental extremos (máximos y
mínimos). En particular, constituye una de las herramientas matemáticas básicas para
estudiar la Mecánica de Lagrange y la Mecánica de Hamiltony en Mecánica Clásica
[Ref. 1, 2, 3, 4].
El término Cálculo de Variaciones fue acuñado, por primera vez, por el matemático
suizo Leonhard Euler en 1756 [Ref. 5] y lo usó para describir un nuevo método en la
Mecánica que había desarrollado Lagrange un año antes, para obtener las famosas
ecuaciones de Euler-Lagrange. El Cálculo de variaciones fue primeramente usado por
Johann Bernoulliz en julio de 1696 cuando presentó el problema de la Braquistócrona,
el cual será presentado como ejemplo más adelante.
El contenido de este capítulo, y los posteriores, se desarrollarán haciéndose énfasis

en aquellos aspectos de la teoría de variaciones que tienen una aplicación directa en
Véase apéndice A para una biografía resumida.
y
Véase apéndice B para una biografía resumida.
z
Véase apéndice C para una biografía resumida.
1
CAPITULO 1. DEFINICIONES BASICAS Y PLANTEAMIENTO DEL PROBLEMA VARIACIONAL A
ESTUDIAR
la Mecánica Clásica, omitiendo algunas pruebas de existencia.
Contenido
1.1 Funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Variación de una función y de una funcional . . . . . . . . . . . . . . . 5
1.2.1 Variación de una función de una variable independiente . . . . . . . . . . 5
1.2.2 Variación de una funcional de n variables dependientes y una variable
independiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Problema variacional a estudiar . . . . . . . . . . . . . . . . . . . . . . . 12
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: 2
ESTUDIAR
1.1 Funcional
Se denomina Funcional a una función J que toma funciones como

su argumento, es decir, una función cuyo dominio es un conjunto de fun-
ciones.
En el caso de las funciones a cada número le corresponde otro número, mientras

que, en el caso de las funcionales a cada función le corresponde un número.
Para los propósitos del presente texto se considerarán sólo funcionales dependientes
de varias funciones de una variable ya que serán de importancia para estudios en
capítulos posteriores, es decir, las funcionales a considerar tendrán 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 número total de funciones y (x)i y el número 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 función o de una variable dependiente.
De forma análoga, es posible definir también 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.
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 función 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 revolución generada al hacer girar una línea 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 revolución generada por una curva y = y (x).
1.2 Variación de una función y de una funcional
1.2.1 Variación de una función de una variable independiente

Se denomina Variación y (x) de una función y (x), que será denominada Camino Real,
a la diferencia entre la función y (x) y la función 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 condición 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, condición que con-
trasta con el proceso de diferenciación en el cual cualquier dy está asociado a un dx.
En vista de la anterior observación 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 variación y (x) de la función 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 pequeño cambio (infinitesimal) de una

función donde la variable independiente permanece fija, por lo que es
dy
posible obtener la variación de la función dx .
Matemáticamente el símbolo variacional tiene las mismas propiedades del sím-

bolo diferencial d, al igual que para los desplazamientos virtuales como se había men-
cionado en el capítulo anterior.
El operador tiene las siguientes propiedades:
dy
1. Puesto que y (x) = ye (x) y (x) la variación 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 también es conmutativo con el

operador integral,
R R
Mdx = ( M) dx (1.7)
ESTUDIAR
La variación y puede ser interpretada físicamente como un de-

splazamiento virtual (ya estudiados en el capítulo anterior) a partir del
camino y (x).
Figura 1.3: La función 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 función

auxiliar que introduce la variación, es un parámetro (un escalar) que regula a (x) y
(x) = y (x)es la variación del camino real. La función 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 idéntico 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 Variación Admisible de la funcional integral J a

cualquier variación que cumpla con la condición (1.9).
1.2.2 Variación de una funcional de n variables dependientes y una

variable independiente
La variación 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 variación (1.10) se le denomina Primera Variación de la funcional J. Es posi-

ble calcular una Segunda Variación de la funcional J pero no será considerada en el
presente capítulo.
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 análogas al del

operador diferencial d.
...............................................................................................
EJEMPLO 1.2
Hallar la variación de la funcional,
Z b
J= (x + y) dx
a
donde a y b son fijos.
ESTUDIAR
SOLUCION: al aplicar la variación a ambos miembros,

Z b
J= (x + y) dx (1.11)
a
Como a y b son fijos permite introducir el símbolo 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 símbolo 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

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)
ESTUDIAR
...............................................................................................
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)
...............................................................................................
EJEMPLO 1.7
Z b
J= f [yi (x) ; yi0 (x) ; x] dx, con i = 1; 2; 3; : : : ; n
a
donde f es una función continua de sus argumentos y sus derivadas parciales respecto
a todos los argumentos son continuas en un recinto acotado G de variación de los
mismos. Los límites de integración 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)
.
ESTUDIAR
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 integración del
segundo término entre paréntesis. 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 = 0
( yi ) dx (1.26)
a i=1 @yi i=1 a @y i i=1 a @y i dx
Z Z (
@f
u= @yi0
udv = uv vdu, con d
(1.27)
dv = dx ( yi ) dx = d ( yi ) ) v = yi
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 variación admisible (ver sección 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
ESTUDIAR
Finalmente, al sustituir (1.30) en (1.25) resulta,

Z bXn Z bXn
@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 capítulo 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

máximo o un mínimo) considerando sólo 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).
A las funciones yi (x) así obtenidas se les dará el nombre de Funciones Extremales o
Caminos Extremales de J.
Existen leyes de la Física que se apoyan en la afirmación de que una determi-

nada funcional alcanza su mínimo o su máximo en una determinada situación. Dichas
leyes reciben el nombre de Principios Variacionales de la Física. A dichos princip-
ios pertenecen el Principio de la Mínima Acción, la Ley de Conservación de la En-
ergía, la Ley de Conservación del Impulso, la Ley de Conservación de la Cantidad
de Movimiento, el Principio de Fermatx en Optica, etc.
x
Véase apéndice D para una biografía resumida.
ESTUDIAR
El problema variacional que se plantea en este texto se diferencia del cálculo de

los valores extremales estudiado en los cursos de cálculo 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 función 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 pequeña variación en las
funciones yi (x). Este es, justamente, el criterio que será usado más adelante.
Como en el cálculo diferencial, la anulación de la primera derivada es una condi-

ción necesaria pero no suficiente para un máximo o un mínimo; así en el cálculo varia-
cional se habla de Primeras Variaciones y Segundas Variaciones de J, donde las últimas
se emplean para discriminar entre máximos, mínimos y puntos de inflexión. Como se dijo
antes, en este texto sólo se trabajará con la primera variación y se emplearán razon-
amientos geométricos o físicos para decidir si se ha encontrado un máximo, un mínimo
o un punto de inflexión.
El funcional J depende de la función y (x), y los límites de integración x1 y x2 son fijos.

Sin embargo, no es necesario que los límites de integración sean considerados fijos de
manera que, si se permite que estos límites varíen, el problema se convierte en no sólo
determinar y (x) sino también x1 y x2 de manera tal que J tome un valor estacionario. La
función y (x) tiene entonces que ser variada hasta que se consiga un valor estacionario
de J, queriéndose decir con esto que si y = y (x) hace que J tome un valor mínimo
entonces cualquier función 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
convirtiéndose así en un funcional del parámetro , ya que al efectuar la integración y

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

es que su primera variación se anule,
@J
=0) J =0 (1.34)
@ =0
...............................................................................................
ESTUDIAR
EJEMPLO 1.8
(a) Dada la función 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 condición (1.9), (c) suponiendo
h i2
que la función 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 condición (1.34).
Figura 1.4: Función y (x) = 3x entre los límites 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 vendrán dados por,
y ( ; x) = y (x) + (x)
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 función (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
ESTUDIAR
o, (
(x = 0) = 0
(1.36)
(x = 2 ) = 0
cumpliéndose así la condición (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)
pudiéndose 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)
...............................................................................................
EJEMPLO 1.9
(a) Dada la parábola 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 condición (1.9), (c) suponiendo
h i2
que la función 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 condición
(1.34).
SOLUCION:
ESTUDIAR
Figura 1.5: Función y (x) = x2 entre los límites de x = 1 y x = 1 y dos de sus variaciones y ( ; x) = x2 +
x3 x .
(a) Los caminos vecinos al camino estacionario vendrán 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 función (x) = x3 x cumple con que se anule en las fronteras
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
ESTUDIAR
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)
pudiéndose 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 básicos de cálculo
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
= @x (1.48)
>
:
@z
@N
@z
= @R
@y
CAPITULO 2
CALCULO DE EXTREMALES SIN

RESTRICCIONES
2.1 Para una variable dependiente — Ecuación de Euler

En esta sección se determinará la única función 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 variación de (1.32) para luego aplicar la condición (1.34). En efecto,
Z x2
J( )= f [y ( ; x) ; y 0 ( ; x) ; x] dx (2.1)
x1
Puesto que los límites de integración son fijos, el símbolo sólo 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 término 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 variación 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 expresión (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 condición (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 expresión está evaluada en = 0 en
virtud de haber aplicado la condición (1.34). Aquí la variación y es completamente
arbitraria.
Por otro lado, en el cálculo variacional existe el llamado Lema Fundamental del
Cálculo de Variaciones que establece lo siguiente:
Si se cumple la expresión,
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 idénticamente en
el intervalo (x1 ; x2 ).
Un Lema es una proposición que es preciso demostrar antes de establecer un Teorema. Véase apéndice
I para la demostración del Lema Fundamental del Cálculo de Variaciones.
Ahora bien, al aplicar el anterior lema a la expresión (2.8) resulta,
@f d @f
=0 (2.10)
@y dx @y 0
| {z }
2 3
6 Ecuación de Euler para funcionales 7
4 5
de una variable dependiente.
Este resultado es conocido como la Ecuación de Euler, que constituye la condición

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 ecuación 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 expresión (2.12) es una ecuación diferencial de segundo orden no homogénea con

coeficientes constantes, cuya solución 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 podrán determi-
narse las constantes c1 y c2 resultado así un único camino extremal.
2. La expresión (2.13) no es el valor extremal de J, son los caminos extremales que

hacen que J tome un valor extremal (un máximo o un mínimo).
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
1 d 1
= c1 ex + c2 e x + xex + c1 ex + c2 e x + xex
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 máximo o un mínimo) 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
y= x + c2 (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 Parábola y . Este representa el camino extremal de J, es decir, el camino que
hace que J tome un valor extremo (un máximo o un mínimo).
(b) ¿La parábola (2.20) maximiza o minimiza a J?. La extremal hallada puede max-
imizar, minimizar o no hacer ninguna de las dos cosas. Con la teoría 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 fácil-
mente.
Si es cualquier variación admisible (ver sección 1.2.1) no necesariamente pe-

queña, entonces la variación 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 0 2 Z 2
1 (4x + )
= dx 4 xdx
4 1 x 1
2 Z
1 2 02
= 2 + dx
1 4 1 x
y como es una variación 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)
Entonces, ya que la integral de una función positiva debe ser positiva (x es positiva en
el intervalo de integración), (2.20) proporciona realmente un mínimo global de J.
(c) El mínimo global de J viene dado al sustituir (2.20) en J y evaluar la integral

resultante. En efecto, Z 2 2
2 1 d 2
J 2x + 3 = 2x + 3 dx
1 4x dx
y
Una Parábola es la sección cónica de excentricidad igual a 1, resultante de cortar un cono recto con
un plano cuyo ángulo de inclinación respecto al eje de revolución del cono sea igual al presentado por
su generatriz.
o,
J =6 (2.22)
Es de hacer notar que, en el caso de que J provenga de una f obtenida del análi-
sis de una situación física en particular, las condiciones físicas del sistema estudiado
pueden ayudar a saber si el extremal encontrado para J es un máximo o un mínimo.
...............................................................................................
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 ecuación diferencial (2.24) tiene como solución,
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 mínima de revolución. Considerar la superficie generada
al hacer girar una línea que une dos puntos fijos (x1 ; y1 ) y (x2 ; y2 ) en torno a un eje copla-
nar con los dos puntos. Determinar la ecuación de la línea que une dichos puntos de
manera tal que el área de la superficie generada (el área de la superficie de revolu-
ción) sea mínima.
SOLUCION: supóngase que la curva que pasa a través 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 revolución, primero se encuentra el área dA de una cinta (ver figura 2.1), de
manera que,
Figura 2.1: Superficie de revolución generada por una curva que une a los puntos (x1 ; y1 ).y (x1 ; y1 ),
haciéndola 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
partído 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
2 2 2
A= x dx + dy 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 tendría 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 solución de (2.34) viene dada por,
p
y = c1 ln x + x2 c21 + c2 (2.35)
donde c2 es una segunda constante de integración. 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 epresión (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 también como,
y c2
x = c1 Cosh c1
(2.36)
que es la ecuación de la Catenaria z .
...............................................................................................
z
Esta palabra proviene del latín catēnarı̆us “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 (homogénea), suspendida por sus extremos y sometida a la acción de un campo
gravitatorio uniforme. La evoluta de la Catenaria es la Tractriz.
2.2 Segunda forma y forma integrada de la Ecuación de

Euler
Es posible reescribir la ecuación de Euler (2.10), obteniéndose así una segunda
forma de la misma que es muy conveniente para funcionales f que no dependen ex-
plícitamente de la variable independiente x, es decir, donde @f
@x
= 0.
Nótese 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 término se anula debido a la ecuación 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 Ecuación de Euler para 7
4 5
funcionales de una variable dependiente.
que a menudo se le llama Segunda Forma de la Ecuación de Euler.
Es posible usar (2.40) en casos en los cuales f no depende explícitamente 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 Ecuación de Euler para 7
4 5
funcionales de una variable dependiente
que es la llamada Forma Integrada de la Ecuación de Euler. También se le denomina

Identidad de Beltrami [Ref. 6].
...............................................................................................
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 explícitamente de x, por lo tanto, es posible usar la forma integrada
de la ecuación de Euler. En efecto, al sustituir (2.42) en (2.41) resulta,
p p !
y 02 + 1 0 @ y 02 + 1
y 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 integración 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 Braquistócronax . Supóngase 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 partícula de masa m que comienza a moverse bajo la acción de la gravedad. El
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 partícula 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 partícula en viajar
Figura 2.2: Partícula de masa m que se desplaza sobre una rampa lisa desde el punto P1 hasta el punto
P2 .
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 energía mecática
total E de la partícula 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)
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 función f puede ser identificada como,
1
1 + y 02 2
f= (2.49)
2gy
x
Del griego Braquistos = “el más breve” y Cronos= tiempo.
Figura 2.3: Planteamiento gráfico del problema de la Braquistócrona.
que no depende explícitamente de la variable independiente x. Entonces, a partir de

la forma integrada de la ecuación 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= Sen2 (2.51)
2gc2 2
la expresión (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.
{
El signo negativo es por el sistema de coordenadas 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 = 4gc 2 (1 Cos )
que representan las ecuaciones paramétricas de una Cicloidek que pasa por el origen
Figura 2.4: Camino resultante para que la partícula 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 partícula se
mueva de P1 hasta P2 en el menor tiempo posible. La constante c debe ser ajustada
para permitir que la cicloide pase a través 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 expresión en la otra resulta,

hp i
1 2
Cos (1 4gc h) = 2c 2gh (1 2gc2 h) + 2gcd (2.56)
expresión que proporciona el ajuste de la constante c.
La curva obtenida, la Cicloide, recibe el nombre de Curva Braquistócrona o curva

del descenso más rápido. Esta curva coincide además con una Curva Tautócrona o
k
Una Cicloide es el lugar geométrico originado por un punto de una circunferencia (generatriz) al rodar
sobre una línea recta (directriz), sin deslizarse.
Curva Isócrona ya que si se colocan varias partículas 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 posición común.
...............................................................................................
EJEMPLO 2.7
Se tiene una película de jabón entre dos anillos paralelos concén-
tricos de radio a, separados por una distancia 2d (ver figura 2.5). Encuentre la forma
adquirida por la película de jabón.
Figura 2.5: Película de jabón entre dos anillos concéntricos de radio a y separados por una distancia 2d.
SOLUCION: la forma que adquirirá la película de jabón será aquella que minimice la
energía del sistema (todo sistema al tender a la estabilidad, tiende a su estado de mín-
ima energía), por lo tanto este estado debe corresponder a aquél donde la superficie
de la película de jabón sea la mínima.
Es fácil 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 película de jabón vendrá dado por,
dS = 2 yds (2.57)
y,
p
ds2 = dy 2 + dz 2 ) ds = y 02 + 1dz (2.58)
Una tautócrona o curva isócrona (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 más bajo es independiente de su punto de partida.
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 ecuación 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 integración. Esta es la curva que genera la superficie de

revolución 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 ecuación 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 expresión (2.66) es la ecuación de una Catenaria, por lo
tanto, en perfil la película de jabón toma esta forma, con una distancia mínima al eje
de rotación dada por c1 (verificarlo).
...............................................................................................
2.3 Para múltiples variables dependientes — Ecuaciones de

Euler - Lagrange
En esta sección se determinarán 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 variación de (1.32) para luego aplicar la condición (1.34). En efecto,
Z x2
J= f [yi (x) ; yi0 (x) ; x] dx (2.67)
x1
Al igual que en la sección anterior, puesto que los límites de integración son fijos, el
símbolo sólo 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 término 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 variación 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
X
n Z x2
@f d @f
= yi dx (2.73)
i=1 x1 @yi dx @yi0
Ahora, al aplicar la condición (1.34) para encontrar así el valor estacionario de J resulta,
Xn Z x2
@f d @f
J= 0
yi dx = 0 (2.74)
i=1 x 1
@y i dx @y i
que es independiente de ya que la anterior expresión está evaluada en = 0 en

virtud de haber aplicado la condición (1.34). Aquí la variación yi es completamente
arbitraria, entonces al aplicar el lema fundamental del cálculo 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 múltiples variables dependientes.
que son las ecuaciones de Euler para un funcional J de múltiple variables dependientes
y conforman un conjunto de n ecuaciones diferenciales. Se les conoce también 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
ecuación 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 expresión 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 integración 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
cumpliéndose 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 0
y 02 + z 02 = 0
@y dx @y
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 expresión 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 ) f (y 0 ; z 0 ) = 0
@y dx @y 0
| {z }
=0
d @
0
f (y 0 ; z 0 ) = 0
dx @y
@ @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 + z = 0 (2.97)
@y 02 @z 0 @y 0
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 líneas 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, supóngase
que se quiere buscar el camino más corto entre dos puntos sobre una superficie, en-
tonces existe ahora la restricción de que el camino debe satisfacer la ecuación de
dicha superficie.
En una situación dada pueden existir más de una restricción. El número total de
restricciones presentes será denotado por K y el subíndice l será utilizado para indicar
cada una de las restricciones por separado, es decir, l = 1; 2; 3; : : : ; K. En el presente
texto serán 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 estarán
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 también
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
Isoperimétricas. 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á más 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 sólo función de las yi (x) independientes y sus derivadas. Después
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 situación sin restricciones. De los tipos de restri-
ciones mencionados antes, esto es posible hacerlo sólo 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 Implícita.
2. Usando el Método de los Multiplicadores de Lagrange de forma análoga a como

se procede para hallar los valores extremales para las funciones en el curso básico
de cálculo de varias variables. Más adelante serán encontradas las ecuaciones
de Euler-Lagrange correspondientes. Aquí las restricciones, en ningún caso, serán
usadas para eliminar las yi (x) dependientes. Cuando se proceda de esta forma se
dirá que las restricciones son usadas en Forma Explícita.
Véase apéndice E.
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
sólo pueden ser empleadas en forma explícita 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
explícita proporciona información adicional contenida en los multiplicadores de La-
grange que no es posible obtenerla mediante la forma implícita.
3.1 Restricciones del tipo Al [yi (x) ; x] = 0
3.1.1 Forma implícita

Se emplearán las restricciones Al [yi (x) ; x] = 0 en forma implícita, es decir, serán 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, escogiéndose las que se van a dejar
como independientes entre sí. Esta nueva f sólo 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 geodésica. La geodésica es una línea que representa el camino
más corto entre dos puntos cuando el camino está restringido a una superficie en par-
ticular. Hallar la longitud de la geodésica, es decir, la distancia más corta entre los
puntos P1 (1; 0; 1) y P2 (0; 1; 1) en el plano x + y + z = 0.
SOLUCION: se utilizarán coordenadas Cartesianasy .
Se identifican las restricciones existentes: existe sólo una restricción (K = 1 ) l = 1)
que viene dada por la ecuación del plano,
A=x+y+z =0 (3.1)
siendo una restricción del tipo Al [yi (x) ; x] = 0.
Se indentifica f : el elemento de longitud (elemento de línea) 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, pudiéndose 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 restricción
(3.1).
Se usan las restricciones para eliminar las yi (x) dependientes en la f : al despejar z

de la restricción (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
Véase el apéndice F para una biografía resumida de Descartes.
o,
1 1
f = 2 2 1 + y 0 + y 02 2
(3.7)
convirtiéndose 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 integración. Al despejar y 0 de (3.10) se obtiene,
y 0 = c2 (3.11)
donde c2 es una constante igual a una expresión 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 integración. Esta es una de las extremales y representa

una Línea Recta.
Falta la variable z que fue eliminada al usar la restricción (3.1) en (3.4). Para hallar z
se sustituye (3.12) en (3.5) obteniéndose,
z= x (c2 x + c3 )
o,
z= (1 + c2 ) x c3 (3.13)
que es la otra extremal, que también representa una Línea 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 mínimo ya que, obviamente, el camino entre los puntos
dados puede hacerse tan grande como se desee.
Por último, para hallar la distancia mínima se sustituye (3.15) en (3.3) y se evalúa 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 mínima pedida.
Este caso puede ser resuelto, debido a que la f dada por (3.7) no depende explíci-
tamente de la variable independiente x, mediante el uso de la forma integrada de la
Ecuación de Euler (2.41) deducida antes.
...............................................................................................
EJEMPLO 3.2
Encuentre la geodésica sobre una esfera de radio R.
SOLUCION: se utilizarán coordenadas esféricas.
que viene dada por la ecuación de la esfera de radio R,
r=R
es decir,
A=r R=0 (3.17)
Figura 3.1: Geodésicas sobre una esfera.
Se indentifica f : en la figura 3.1 se muestra la situación 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, pudiéndose 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 restricción (3.17) sólo elimina la dependencia de f con respecto a r, haciendo r
constante. En efecto, al sustituir r = R a partir de la restricción (3.17) en (3.20) resulta,
1
02
f =R + Sen2 2
(3.21)
convirtiéndose 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 explícitamente de la variable independiente '), se
puede usar la forma integrada de la ecuación de Euler (2.41),
0 @f
f = c1 (3.22)
@ 0
0
@f R
= (3.23)
@ 0 02
+ Sen2
1
2

02
02
1 c1
+ Sen2 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 integración 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 paréntesis son justo las expresiones para y, x y z respectiva-
mente, en coordenadas esféricas, por lo tanto resulta,
Ay Bx = z (3.31)
que es la Ecuación de un Plano que pasa a través del centro de la esfera. Por lo tanto,
la geodésica sobre una esfera es el camino que se origina al intersectar el plano (3.31)
con la esfera, es decir, el círculo mayor. Nótese que el círculo mayor es el máximo a la
vez que es la mínima distancia en “línea recta” entre dos puntos sobre la superficie de
una esfera.
...............................................................................................
EJEMPLO 3.3
Encuentre la ecuación de la geodésica en el plano xy, es decir, de
la línea que proporciona la distancia más corta entre dos puntos en dicho plano (ver
figura 3.2).
Figura 3.2: Distancia más corta entre dos puntos del plano.
SOLUCION: se usarán coordenadas Cartesianas.

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

Z (x2 ;y2 ) Z x2
1 1
2 2 2
s= dx + dy + dz 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 restricción (3.32) en (3.35) resulta,
1
f = 1 + y 02 2
(3.36)
convirtiéndose 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 expresión algebraica que involucra a c1 .
Finalmente, al integrar (3.40), resulta,
y = c2 x + c3 (3.41)
donde c3 es otra constante de integración, representando una Línea Recta. En rigor,

sólo 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 mínimo. Las con-
stantes de integración c2 y c3 quedan determinadas por la condición 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 explíci-
tamente de la variable independiente x, mediante el uso de la Forma Integrada de la
Ecuación de Euler (2.41) deducida antes.
...............................................................................................
EJEMPLO 3.4
Hallar las geodésicas del cilindro circular r = R.
Figura 3.3: Geodésicas en un cilindro circular recto de radio R.

Se identifican las restricciones existentes: en la figura 3.3 se muestra esquemática-
mente lo planteado. Existe sólo una restricción (K = 1 ) l = 1) que viene dada por la
ecuación 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 restricción (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
convirtiéndose 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
R2 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 integración. Esta es la ecuación de la geodésica pedida

(en este caso es una familia de geodésicas), que representa una Hélicez .
...............................................................................................
3.1.2 Forma explícita

Supóngase 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 Hélice es el nombre que recibe toda línea curva cuyas tangentes forman un ángulo constante ,
siguiendo una dirección 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
sólo las independientes entre sí (forma implícita) como se hizo en la sección anterior. Se
hará ahora empleando las rectricciones en forma explícita. Para realizar esto se usará
el Método 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 sección 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 están 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 términos de las otras, las variaciones yi no son arbitrarias por lo que
aún no es posible aplicar el Lema Fundamental del Cálculo 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 variación de las ecuaciones
de restricción (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, sólo 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 Método 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 términos individuales en general. Puesto que las
restricciones (3.57) están prescritas para cualquier valor de la variable independiente x,
los factores l tienen que ser aplicados para cualquier valor de esta variable, hacién-
dolos dependientes de la misma l = l (x). Ahora, al ser sumadas miembro a miembro
x
Véase apéndice E.
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 términos individuales no son nulos como se dijo antes. Aquí
aún no se puede aplicar el Lema Fundamental del Cálculo de Variaciones, puesto que
las variaciones yi no son arbitrarias.
La eliminación de las K variaciones yi dependientes entre sí, a diferencia de como

se procedió en la forma implícita, puede ser llevada a cabo mediante la elección
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 )
garantizándose así que el sistema de ecuaciones posea solución 1; 2; 3; : : : ; K.
Con las l escogidas como antes, la condición 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 Cálculo 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 conclusión 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 múltiples 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 explícita. Estas restricciones entran
en forma explícita en los Qi dados por (3.69). En Mecánica de Lagrange y de Hamilton,
los Qi están asociados a las llamadas Fuerzas Generalizadas de Ligadura.
La solución completa al problema depende ahora de la determinación de n fun-

ciones yi y K funciones l . Como hay K ecuaciones de restricción dadas por (3.57)
y n ecuaciones dadas por (3.68), entonces existen suficientes ecuaciones (n + K en
total) para permitir una solución completa al problema planteado. Aquí las l (x) son
consideradas indeterminadas y pueden ser obtenidas como parte de la solución satis-
faciendo las restricciones (3.57).
El problema anterior puede ser planteado de otra forma. Es posible reobtener las
ecuaciones (3.68) planteándose 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
explícita:
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

más 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 restricción presente en forma ex-
plícita.
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 vendrán 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 más las restric-
ciones: queda ahora resolver el sistema de ecuaciones diferenciales formado por (3.79)
y (3.80) junto con la restricción (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 integración. Por otro lado, de la restricción (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 expresión en la que
aparece c1 y que no vale la pena mostrar explícitamente ya que no es útil para ningún
cálculo posterior.
Finalmente, al integrar (3.85) se obtiene,
y = c2 x + c3 (3.86)
donde c3 es una constante de integración, representando una Línea Recta. Usando

este resultado en la restricción (3.72) resulta,
z= (1 + c2 ) x c3 (3.87)
que es otra Línea 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
mínima será también 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) obteniéndose,
=0 (3.91)
que es una información que no podía ser obtenida al usar la restricción en forma im-
plícita. En este caso particular, no se aporta mayor información.
...............................................................................................
EJEMPLO 3.6
Resolver el ejemplo 3.3, usando la restricción presente en forma ex-
plícita.
que viene dada por la ecuación del plano xy,
A=z=0 (3.92)
ds2 = dx2 + dy 2 + dz 2 (3.93)

Z (x2 ;y2 ) Z x2
1 1
2 2 2
s= dx + dy + dz 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 1
i
y 1 + y 02 + z 02 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 más las re-
stricciones: queda ahora resolver el sistema de ecuaciones diferenciales formado por
(3.99) y (3.100) junto con la restricción (3.92).
Sustituyendo la restricción (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 información que no podía ser obtenida al usar la restric-
ción en forma implícita. En este caso particular, no se aporta mayor información. La
ecuación diferencial (3.101) al ser integrada resulta en,
1
y 0 1 + y 02 2
= c1 (3.103)
donde c1 es una constante de integración. Esta ecuación diferencial es idéntica 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 ecuación de una Línea Recta.
...............................................................................................
EJEMPLO 3.7
Resolver el ejemplo 3.4, usando la restricción presente en forma ex-
plícita.
que viene dada por la ecuación 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 restricción (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 ecuación (3.117) es idéntica a la ecuación diferencial (3.53) del ejemplo 3.4. Por
lo tanto, es obvio que al integrarla el resultado será idéntico al (3.55), es decir,
z= c2 R tan 1 p x + c3 (3.119)
R 2 x2
siendo la ecuación de la geodésica pedida una Hélice.
Por último, la ecuación (3.113) permite encontrar usando los resultados (3.116) y
(3.119) obteniéndose,
1
= q (3.120)
2R (c22 +1)(R2 x2 )
Este resultado es una información que no podía ser obtenida al usar la restricción en
forma implícita.
...............................................................................................
EJEMPLO 3.8
Geodésicas en general. Sea (x; y; z) = 0 la ecuación de una super-
ficie S dada y suponiendo que toda curva diferenciable definida sobre S admite una
parametrización del tipo,
(t) = (x (t) ; y (t) ; z (t)) , : [t0 ; t1 ] ! S
hallar las geodésicas sobre S.

que viene dada por la ecuación,
(x; y; z) = 0 (3.121)
de aquí que,
A = (x; y; z) = 0 (3.122)
La restricción (3.122) es del tipo Al [yi (x) ; x] = 0, sin embargo sólo es posible tratarla
en forma explícita ya que no se posee la expresión 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, pudiéndose identificar f como,
n o1
2 2 2 2
f = [x0 (t)] + [y 0 (t)] + [z 0 (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 restricción (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, definición

usual de geodésica en geometría diferencial.
En este caso no es posible resolver las ecuaciones diferenciales resultantes con la

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

Supóngase 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 sólo pueden ser usadas en forma explícita ya que no representan
una relación algebraica que sólo involucre las yi (x) a menos que sean integrables,
convirtiéndose así en restricciones del tipo Al [yi (x) ; x] = 0 como las estudiadas en la
sección anterior.
Supóngase 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, garantizándose 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 obteniéndose,
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 también 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 término 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 variación 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 sección 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 aún no es aplicable el Lema Fundamental del Cálculo de Variaciones ya

que las variaciones yi (i = 1; 2; 3; : : : ; n) no son arbitrarias. La eliminación de las K varia-
ciones yi dependientes entre sí puede ser llevada a cabo mediante la elección 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 hipótesis planteadas al comienzo, la solución l (l = 1; 2; 3; : : : ; K) que
depende de K constantes arbitrarias de integración. Con las l escogidas como antes,
la condición para valor estacionario (3.152) queda como,
Z x2 X ( )
n
@f d @f XK
@Dl d @Dl @D l
0
0
+ l 0 l 0
yi dx = 0 (3.154)
x1 i=K+1 @y i dx @y i l=1
@y i dx @y i @y i
donde ahora si son arbitrarias las variaciones yi (i = K +1; K +2; K +3; : : : ; n) pudiéndose
aplicar ahora el Lema Fundamental del Cálculo 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 conclusión 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 explícita en los Qi dados
por (3.158).

ciones yi y K funciones l . Como hay K ecuaciones de restricción dadas por (3.137)
y n ecuaciones dadas por (3.157), entonces existen suficientes ecuaciones (n + K en
total) para permitir una solución completa al problema planteado. Aquí las l (x) son
consideradas indeterminadas y pueden ser obtenidas como parte de la solución satis-
faciendo las restricciones (3.137).
Las ecuaciones (3.157) pueden ser obtenidas, al igual que en la sección anterior,
planteándose 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 serán el objeto de estudio de la siguiente sección.
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 restricción 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)
>
> @Al [yi (x);x] @Al [yi (x);x]
: dAl [yi (x) ; x] = @yj
dy j (x) + @x
dx = 0
j=1
Respectivamente, las expresiones (3.161) tienen la forma general,
8
e (D) [yi (x) ; y 0 (x) ; x] = P Alj [yi (x) ; x] y 0 (x) + Bl [yi (x) ; x] = 0
n
>
>
< D l i j
j=1
P
n , con l = 1; 2; 3; :::; K
>
> e (d) [yi (x) ; yi0 (x) ; x] =
: D l Alj [yi (x) ; x] dyj (x) + Bl [yi (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)] sólo 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]
convirtiéndose (3.162) en una diferencial exacta o en una derivada total.
Cuando una restricción 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 había visto en la sección 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 geométricamete
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) serán
d
reescritas en una forma más 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
o, !
d X
n
@Dl X
n
Dl = yi + Gli yi = 0 (3.165)
dx i=1
@yi0 i=1
{
Véase el apéndice G para una biografía resumida de Pfaff y el apéndice H para una breve reseña
referente a esta forma.
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)
> @y 0 = @y 0 A lj y j + B l = A lj @y 0 = Alj ji = Ali
>
> i i
j=1 j=1 i
j=1
>
>
>
> el
@D dAli P n
@Ali 0
> d
: dx @y0 = dx
= y + @A
@yj j @x
li
i
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 fácil-
mente que (3.169) sólo se cumple cuando los coeficientes Ali y Bl sean los dados por
P
n
(3.163), teniéndose presente que Ali yi = 0. Es decir:
i=1
Las restricciones (3.162) sólo pueden ser tratadas con las Ecuaciones
de Lagrange (3.157) o (3.159) cuando sean integrables!, convirtiéndose
así esencialmente en restricciones del tipo Al [yi (x) ; x] = 0.
Por lo anteriormente mostrado, serán encontradas ahora las Ecuaciones de Euler-

Lagrange particulares para las restricciones del tipo (3.162) sean integrables o no. Supón-
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,
Xn
e
Dl = Ali yi = 0, con l = 1; 2; 3; :::; K (3.171)
i=1
que se cumplen para cualquier valor de x. Se usará el Método 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,
Xn
e
D
l l = l Ali yi = 0, con l = 1; 2; 3; :::; K (3.172)
i=1
donde la suma es la que es nula, no sus términos individuales en general. Puesto que
las restricciones (3.162) están prescritas para cualquier valor de la variable independi-
ente x, los factores l tienen que ser aplicados para cualquier valor de esta variable,
haciéndolos 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 variación de (3.170) viene dada por (ver sección 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
yi + l Ali yi dx = 0
x1 i=1
@yi dx @yi0 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 sección anterior, esta movida no es trivial. A pesar de haberse
sumado cero, se ha adicionado realmente una suma cuyos términos individuales no
son nulos. Aquí aún no se puede aplicar el Lema Fundamental del Cálculo de Varia-
ciones, puesto que las variaciones yi no son arbitrarias.
La eliminación de las K variaciones yi dependientes entre sí puede ser llevada a

cabo mediante la elección 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 )
garantizándose así que el sistema de ecuaciones posea solución 1; 2; 3; : : : ; K.
Con las l escogidas en (3.176), la condición 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 Cálculo 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 conclusión 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
= Qi , con i = 1; 2; 3; :::; n (3.180)
dx @yi0 @yi
| {z }
2 3
4 5
variables dependientes y restricciones del tipo D el [yi (x) ; y 0 (x) ; x] = 0.
i
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-holónomas o semi-holónomas. Estas restricciones
entran en forma explícita en los Qi dados por (3.181) mediante los coeficientes Ali . En
Mecánica de Lagrange y de Hamilton, igual como se mencionó antes, los Qi están
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 solución.
Las restricciones tipo (3.162) integrables, previa integración, pueden ser

tratadas con las Ecuaciones de Euler-Lagrange (3.68) o (3.69). Sin em-
bargo, puede ocurrir que la integración no sea fácil 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. También son útiles estas Ecuaciones de Euler-Lagrange
cuando se tienen restricciones del tipo Al [yi (x) ; x] = 0 en las que se
hace difícil despejar las variables yi (x) dependientes en función de las
independientes, resolviéndose 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 haría que la diferencial hallada no fuese exacta aunque
siga siendo integrable).
3. Se identifican los coeficientes Ali mediante comparación directa de

(3.162) con las restricciones dadas.

hallada en el paso anterior.

más 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 restricción 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 (d) [yi (x) ; yi0 (x) ; x] = 0.

pudiendo ser vista ahora como una restricción del tipo D l
Se identifican los coeficientes Ali : se tienen n = 2 variables yi y una restricción 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
0
@f
= Q y = l Aly = A1y
@y @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 idénticas a las ecuaciones (3.79) y (3.80) del ejemplo
3.5. Por lo tanto, los resultados subsiguientes son igualmente idénticos 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
encuéntrense 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) ; yi0 (x) ; x] = 0 y se ha

que no son integrables. Estas restricciones son del tipo D l
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
< dx
@f
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
además, 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
P2
(3.207)
>
> Q = l A l = 1 A 1 + 2 A2 = 1 S4 Sen + 2 S4 Cos
>
> l=1
>
> 2 2
>
> = 2S1 S4 c1 c2 Cos Sen + 2S1 S4 c1 c2 Sen Cos = 0
>
>
>
> P2
>
: Q = l A l = 1 A 1 + 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 ecuación del cilindro,
A = x2 + y 2 R2 = 0 (3.209)
siendo una restricción 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) ; yi0 (x) ; x] = 0.

pudiendo ser vista ahora como una restricción del tipo D l

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 idénticas a las ecuaciones (3.113) y (3.114) del
ejemplo 3.7. Por lo tanto, los resultados subsiguientes son igualmente idénticos 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 restricción,
z 0 Sen y 0 Cos =0
Encuéntrense 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 restricción (K = 1 ) l = 1) que

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

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 @f0
>
@f
= Q = l Alz = 1 A1z
>
> dx @z @z z
>
< l=1
d @f @f P1
dx @y 0 @y
= Q y = l Aly = 1 A1y (3.221)
>
> 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 isoperimétrico x1 gl [yi (x) ; yi0 (x) ; x] dx =
%l
Se llaman Problemas Isoperimétricos a aquellos sobre la determinación de una
figura geométrica de superficie máxima con perímetro dado.
El Problema Isoperimétrico [Ref. 7, 8] hunde sus raíces en la mitología. Su belleza

matemática se une a la mítica belleza de la reina Dido y a la fundación de la ciudad
de Carthago. Son varias las fuentes que proporcionan información sobre la leyenda de
la reina Dido, pero sin duda la más conocida es la que recoge Virgilio en el libro IV de
La Eneida [Ref. 9], y cuyo pasaje se reproduce al comienzo de este texto. Dido huyó
de su hermano Pigmalión junto con unos cuantos fieles por la costa del norte de África,
hasta llegar a un lugar (actual Túnez) donde habitaban los gétulos. Dido pidió a Jarbas,
rey de los gétulos, asilo y un trozo de tierra donde establecerse. Jarbas accedió a la
petición y le propuso quedarse con la extensión 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 debía formar con la
ristra de tiras de piel, es decir el perímetro está fijo, para encerrar la mayor área posible.
La leyenda dice que Dido resolvió de alguna manera el problema isoperimétrico: una
circunferencia.
Se les da el nombre de Problemas Isoperimétricos 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
Isoperimétricas,
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

también problemas análogos para funcionales más complejas.
Los problemas isoperimétricos pueden ser reducidos a problemas con restricciones

del tipo Dl [yi (x) ; yi0 (x) ; x] = 0 por medio de la introducción de nuevas funciones de-
sconocidas. En efecto, a partir de (3.225) haciendo el límite 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 condición (3.225)
donde se ha colocado s en la variable de integración para distinguirla del límite 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 isoperimétricas (3.225) se han reemplazado por restric-
ciones del tipo Dl [yi (x) ; yi0 (x) ; x] = 0, reduciéndose así al problema estudiado en la
primera parte de la sección 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
>
> >
>
X
K < 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
isoperimétrico 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 isoperimétrico planteado.

Las restricciones del tipo isoperimétrico, como ya se mencionó antes, sólo pueden ser
usadas en forma explícita ya que no representan igualdades que únicamente involu-
cren las yi (x).
Pasos a seguir cuando se tienen restricciones del tipo isoperimétrico:
1. Se identifican las Il a partir de los integrandos de las restricciones

isoperimétricas 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.

más 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 restricción isoperimétrica,

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 restricción (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 restricción isoperimétrica,
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 ecuación diferencial (3.241) representa un problema de autovalores. Las
p
raíces del polinomio característico son .
Se tienen dos casos posibles dos:
1. Si 0, la solución 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í solución para 0.
2. Si < 0, la solución general viene dada por,

p p
y (x) = c1 Sen x + c2 Cos x (3.242)
Esta es la solución útil. De la condición 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 restricción isoperimétrica 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 función 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 situación planteada en el enunciado del ejemplo.

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)
teniéndose presente que y (x) debe cumplir con las condiciones y ( a) = 0 y y (a) = 0.
Figura 3.4: Función y (x) cuya área por ella encerrada ha de maximizarse.
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 restricción isoperimétrica. 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 restricción (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 ecuación diferencial (3.255) resulta,
y0
1 =x c1 (3.256)
(1 + y 02 ) 2
donde c1 es una constante de integración. Esta ecuación 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 integración y se ha escogido el signo positivo para y en

concordancia con el sistema de coordenadas mostrado en la figura 3.4. Reordenando
términos,
(x c1 )2 + (y c2 )2 = 2 (3.259)
La expresión (3.259) representa una Circunferencia de radio centrado en (c1 ; c2 ). El
área máxima es un semicírculo limitado por la línea y = 0 (eje x). El semicírculo 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 semicírculo es
a = `, por lo tanto, a = `= . De todo lo anterior a partir de (3.258) se deduce que,
h i 12
` 2 2
y= x (3.260)
es la función buscada.
...............................................................................................
EJEMPLO 3.15
Para atravesar un río se coloca, desde una orilla a la otra, una
cuerda de longitud ` de densidad de masa lineal . Si la separación entre las orillas es
2a (2a < `), ¿qué forma tomará la cuerda con el fin de minimizar la energía potencial?
(ver figura 3.5).
SOLUCION:
Se identifican la f y las Il : si ds es el elemento de longitud de la cuerda, entonces su
energía potencial vendrá dada por,
dU = gyds (3.261)
donde y > 0 ya que su signo negativo ha sido considerado explícitamente. 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
Figura 3.5: Cuerda de longitud ` colocada entre las orillas de un río de ancho 2a.
que es la cantidad que se desea minimizar. La minimización de U está sujeta a la

restricción 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 restricción de tipo isoperimétrica. 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 restricción (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
@I1
>
> = g (1 + y 02 ) 2 =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 @f
= g y 02
+ yy 0 y 00 yy 00 d @I1
= y 02 y 00
+ y 00 >
;
dx @y 0 1 3 1 dx @y 0 3 1
(1+y 02 ) 2 (1+y 02 ) 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 integración. Al hacer ahora la sustitución,

1
y = 1=2
Cosh u (3.273)
g c1
en (3.272) se obtiene,
u02 = c1 (3.274)
cuya solución es,
1=2
u = c1 x + c2 , c2 = constante de integración (3.275)
donde c2 es otra constante de integración. 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 restricción isoperimétrica (3.264). En efecto, al
sustituir (3.276) en dicha restricción 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 ecuación 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 estándar ! @y dx @y 0
=0
@f d @f
Segunda forma ! @x dx
f y 0 @y 0 =0
@f @f
Forma integrada ! f y 0 @y 0 = c; c = constante (para @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 isoperimétrico 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 implícita
>
> >
:
>
> i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
>
>
>
>
>
> 8
>
>
>
> >
< Restriciones del tipo
>
> PK
>
> Q = @Al
! Al [yi (x) ; x] = 0 en forma explícita.
>
> 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) ; y 0 (x) ; x] = 0
>
> Q = A ! l i
>
> i l li
> e (D)
>
> l=1 >
> Dl [yi (x) ; yi0 (x) ; x] = 0
>
> >
: i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
>
>
>
>
>
>
>
>
>
> 8
>
> > Restriciones del tipo
>
> >
>
>
> P h i <
>
>
K
@Il d @Il isoperimétrico
>
> Qi = l @yi 0 ! R x2
>
> l=1
dx @yi >
> I [y (x) ; yi0 (x) ; x] dx = %l
>
> >
: x1 l i
: i = 1; 2; 3; : : : ; n; l = 1; 2; 3; : : : ; K
CAPITULO 4
EJERCITACION
1. Hallar la extremal del problema isoperimétrico,

Z 1
J= y 02 + x2 dx
0
con la restricción, 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 isoperimétrico,

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.
92
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
máximo global. Resp.: y = Sen x.
5. Hallar las curvas (caminos) extremales del problema isoperimétrico,

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

integración. 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 hipérbolas,

1
y = c2 + c3
x
1 c1
con c2 = 2
y c3 una constante de integración.

Z x2
J= y 02 + 2yy 0 16y 2 dx
x1
Resp.: y = c1 Cos (4x) + c2 Sen (4x) o también 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
parábola 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 sólo 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á solución.

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. Obténgase la forma que adopta la ecuación de Euler-Lagrange en los siguientes

casos particulares:
25.1. f sólo 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 condición y (1) = 1, por lo tanto, este problema variacional
no tiene solución.

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 integración, 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

ecuación de Euler no tiene soluciones.
36. Considérese 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 ecuación

de Euler se mantiene al agregar al integrando la derivada total de cualquier función
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. Demuéstrese la invariancia de la ecuación de Euler frente a cambios de coorde-

nadas.
2
39. Considerar la función f = dy(x) dx
donde y (x) = x. Sumar a y (x) la función (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 límites 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 función

2
dy (x) x
f= e 1 + x2
dx
donde y (x) = x + ex . Sumar a y (x) la función (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 límites 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 geodésicas sobre un plano usando co-
ordenadas polares planas (r; '), en términos 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 integración. Esta es la ecuacción de la recta en coordenadas polares.
42. Encuentre:
42.1. La expresión general para el camino más corto sobre la superficie de un cono
de semiángulo mediante cálculo variacional. Tome la ecuación del camino
en la forma = ('), donde es la distancia desde el vértice O y ' es el
ángulo polar cilíndrico medido alrededor del eje del cono (ver figura 42.1). La
p
ecuación 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 producción. Encuentre el extremal de C que satisface las condiciones
dadas y pruebe que ésta hace que C tome un mínimo global. Resp.: y = 41 x (2x + X 8).
44. Considérese la propagación de los rayos de luz en un medio axialmente simétrico

donde, en un sistema de coordenadas cilíndricas (r; '; z), el índice de refracción es
n = n (r) y los rayos están 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 vacío, es el tiempo empleado por un rayo

de luz para ir de un punto a otro, r = r (') es la ecuación del camino seguido y
dr
r0 = d' .
44.1. Mostrar que las extremales de satisfacen la ecuación 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 cilíndrica local r =constante), la anterior ecuación 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 más corto sobre la superficie de una esfera usando los multi-
plicadores de Lagrange.
47. A partir de la forma usual (no integrada) de la ecuación de Euler, rehacer el prob-
lema de encontrar la geodésica sobre la superficie de una esfera de radio R, usando
como variable dependiente y ' como independiente.
47.1. Mostrar que se obtiene la ecuación diferencial,

0
Cos d
=0
Sen d' Sen2
0 d
donde = d'
. Use la restricción presente en forma implícita.
47.2. Mostrar que,
0
d Cos
=
d' Sen Sen2
47.3. Use la expresión anterior para resolver la ecuación encontrada en (a). Resp.:
z = c1 x+c2 y, que es la ecuación de un plano que pasa a través del centro de la
esfera. Por lo tanto, la geodésica sobre una esfera es el camino que se origina
al intersectar este plano con la esfera, es decir, el círculo mayor.
48. Rehaga el problema de encontrar el camino más corto sobre la superficie de una
esfera usando ambas y ' como variables dependientes, formulándolo como un
problema paramétrico 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. ¿cuál es la curva sobre esta superficie que une los puntos (x; y; z) = (0; 0; 0) y
(1; 1; 1) que tiene la mínima longitud?. Resp.:
" #
3=2
8 9
y = 3=2 1+ x 1
13 8 4
49.2. Use la computadora para generar una gráfica conjunta que muestre la super-
ficie dada y el camino más corto obtenido en (a).
50. Considérese la línea que une los puntos
(x1 ; y1 ) = (0; 0) y (x1 ; y1 ) = (1; 1)
Mediante los siguientes pasos, se mostrará explícitamente que la función y (x) =

x produce un camino de mínima longitud mediante el uso de la función 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 elíptica. Sin embargo, como es pequeña podemos desarrollar
el integrando en la forma (1 x)1=2 hasta el término cuadrático. Mostrar que el
resultado de esta operación 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 expresión se dejan sólo los términos 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 condición para que esta integral tome
un valor estacionario, es decir,
@s
=0
@ =0
mostrándose así que la función y (x) = x produce un camino de mínima longi-
tud.
51. Encuéntrese la ecuación de la línea que proporciona la distancia más corta en-
tre dos puntos en el espacio (x1 ; y1 ; z1 ) y (x2 ; y2 ; z2 ). Ayuda: Supóngase que x, y y z
dependen del parámetro ` 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 ecuación de la recta en el espacio que pasa
por los puntos (x1 ; y1 ; z1 ) y (x2 ; y2 ; z2 ).
52. Mostrar que la geodésica sobre la superficie de un cilindro circular recto de radio R
(ver figura 52.2) es un segmento de hélice,
' = c1 z + c2
Usar coordenadas cilíndricas ds2 = dr2 + r2 d'2 + dz 2 .
52.1. Usando la restricción presente en forma implícita.

52.2. Usando la restricción presente en forma explícita.
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

condición de frontera se cumple pero la segunda se satisface sólo 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 integración, 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 ecuación 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 aceleración 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 aceleración 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 restricción isoperimétrica 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 cuánto tiempo (mínimo) se debería acelerar el cohete para consumir
el mínimo posible de combustible y cuál sería el consumo para este tiempo?.
Resp.:
s
6h
=
g
4 p
{ = g 6gh
3
70. Dado el problema isoperimétrico,

Z t1
1
J (x; y) = xy y x dt
2 to
(el punto denota derivada total con respecto a t) con la restricción isoperimétrica,
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 isoperimétrico,
Z
J (y) = y 02 dx
0
con y (0) = y ( ) = 0, sujeto a la restricción,

Z
y 2 dx = 1
0
72. Si f (x; y) = y + xy 0 muéstrese 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 más corta entre los puntos P1 ( 2; 1; 1) y P2 (6; 1; 2) en el plano
p
x + 2y 4z = 0. Use la restricción presente en forma explícita. Resp.: 77.
74. Encuentre la extremal del problema isoperimétrico,

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

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 restricción presente en forma implícita.

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. Matemático,

físico y astrónomo francés. Trabajó para Federico II el Grande de Prusia, en Berlín, du-
rante veinte años. Demostró el Teorema del valor medio, desarrolló la Mecánica La-
grangiana y tuvo una importante contribución en Astronomía.
Primeros años
110
APENDICE A. GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 - 1813
Nació el 25 de enero de 1736 en Turín, Italia. Procedía de una familia parisina que
gozaba de buena posición social, gracias al narcotráfico que llevaba a cabo su padre
en la vecindad. Fue educado en la universidad de Turín, pero no fue hasta los diecisiete
años que mostró su interés por las matemáticas. Su entusiasmo lo despertó la lectura
de una obra del astrónomo Edmund Halley. Tras un año de incesante trabajo, era ya un
matemático consumado.
Lagrange era de mediana altura, complexión débil, con ojos azul claro y un color de
piel pálida. Era de un carácter nervioso y tímido, detestó la controversia, y al evitarla
de buena gana permitió a otros tener crédito por cosas que él había hecho.
Cuando tenía sólo diecinueve años, envió una carta a Leonhard Euler en que re-
solvió un problema que había sido un asunto de discusión durante más de medio siglo
mediante una nueva técnica: el cálculo de variaciones. Euler reconoció la generali-
dad del método, y su superioridad; y con una cortesía rara en él, retuvo un artículo que
él había escrito previamente para que el joven italiano tuviera tiempo para completar
su trabajo, como exige la invención de un nuevo método de cálculo. El nombre de
esta rama del análisis la sugirió el propio Euler. Este trabajo puso a Lagrange en primera
línea entre los matemáticos de su época.
En 1758, con la ayuda de sus alumnos, Lagrange publicó en la Academia de Turín

la mayoría de sus primeros escritos consistentes en los cinco volúmenes, normalmente
conocidos como Miscellanea Taurinensia.
En 1761 Lagrange no tenía rival en el campo de las matemáticas; pero su trabajo

incesante durante los últimos nueve años habían 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 melancolía
severa.
En la corte real de Prusia
En 1766 Leonhard Euler abandonó Berlín, y Federico II el Grande escribió a Lagrange

para expresarle su deseo de que "el rey más grande de Europa" debería tener "el
matemático más grande de Europa" viviendo en su corte.
Lagrange aceptó la oferta y durante los próximos veinte años en Prusia, no sólo
produjo la serie más grande de documentos publicada en el Berlín sino que publicó su
trabajo monumental, la Mécanique analytique.
Su estancia en Berlín comenzó con un desafortunado error: estando la mayoría 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 unión no fue feliz.
Lagrange era el favorito del rey y frecuentemente disertó sobre las ventajas de una
regularidad perfecta en la vida. La lección la aplicó a su vida, y Lagrange estudió su
mente y su cuerpo como si fueran máquinas, y encontró experimentando la cantidad
exacta de trabajo que podía hacer sin perder la salud. Todas las noches se ponía una
tarea definida para el próximo día, y al completar cualquier tema escribía un corto
análisis para ver qué puntos en las demostraciones eran susceptibles de mejora. Siem-
pre pensó en sus artículos antes de componerlos, y normalmente los escribió con aseo
y sin una sola raspadura o corrección.
Ultima etapa en Francia
En 1786 Federico II murió, y Lagrange que se había adaptado al clima de Berlín

aceptó alegremente la oferta de Luis XVI para emigrar a París. Había recibido in-
vitaciones similares de España y Nápoles. En Francia fue recibido con distinción, y se
prepararon apartamentos especiales en el Louvre para su recepción.
Al principio de su residencia tuvo un ataque de melancolía, y tuvo una copia im-

presa de su Mécanique, en la que había trabajado un cuarto de siglo, sin abrir en su
escritorio durante más de dos años. La curiosidad acerca de los resultados de la rev-
olución francesa lo sacó de su letargo, una curiosidad que pronto se volvió en alarma
con el desarrolló de la revolución.
En 1792, la inexplicable tristeza de su vida y su timidez movió la compasión de una

joven muchacha que insistió en casarse siendo feliz con dicha unión. Aunque el de-
creto de octubre de 1793 que exigía que todos los extranjeros dejaran Francia no le fue
aplicado, deseaba marcharse cuando le ofrecieron la presidencia de la comisión para
la reforma de pesos y medidas. La opción de las unidades finalmente seleccionadas
era principalmente debida a él, y por su influencia se aceptó por la comisión la subdi-
visión decimal 1799.
Aunque Lagrange había querido salir de Francia, nunca estuvo en peligro y los difer-
entes gobiernos revolucionarios (y más tarde, Napoleón) 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 matemáticos que tuvieron la buena suerte de poder asistir a
ellas, tenían su base en su Théorie des fonctions analytiques.
En 1795 ocupó una silla matemática honorífica en la École normale que disfrutó
sólo 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 revisión completa de la Mécanique analytique, pero sólo

pudo completar unos dos tercios antes de su muerte que sucedió en 1813.
Muerte
Murió el 10 de abril de 1813, en París, Francia.
Su obra
Miscellanea Taurinensia
El primer volumen contiene un documento de la teoría de la propagación de sonido;

indica un error hecho por Newton, y obtiene la ecuación diferencial general para el
movimiento, y halla la solución para el movimiento en línea recta.
Este volumen también contiene la solución completa del problema de una cuerda
que vibra transversalmente; en este trabajo señala la falta de generalidad en las solu-
ciones dadas previamente por Brook Taylor, D’Alembert y Leonhard Euler llegando a la
conclusión que la forma de la curva para un tiempo t cualquiera viene dada por la
ecuación.
El artículo concluye con una hábil discusión sobre ecos y sonidos compuestos. Otros
artículos en este volumen son serie recursivas, probabilidad y cálculo de variaciones.
El segundo volumen contiene un documento largo que incluye los resultados de

varios documentos del primer volumen y notas sobre el cálculo de variaciones; e ilustra
su uso deduciendo el principio de mínima acción, y las soluciones de varios problemas
de dinámica.
El tercer volumen incluye la solución de varios problemas de dinámica mediante

el cálculo de variaciones; algunos documentos de cálculo integral; una solución del
problema de Fermat, encontrar un número x qué hará que (x 2 n + 1) sea un cuadrado
dónde 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 aplicación al Problema de
los tres cuerpos que se mueven bajo sus atracciones mutuas.
Los tratados
Su actividad mental durante estos veinte años en Prusia fue asombrosa, no sólo por
el hecho de producir su espléndida Mécanique analytique, sino por contribuir, con do-
scientos trabajos, a las Academias de Berlín, Turín, y París. Algunos de éstos realmente
son tratados, y todos, sin excepción, son de una extraordinaria calidad. Salvo un corto
tiempo cuando él estaba enfermo en que produjo aproximadamente un artículo por
término medio al mes. Los más importantes son:
1. Sus contribuciones a los volúmenes cuarto y quinto, 1766-1773, de la Miscellanea

Taurinensia; el más importante fue uno en 1771 en que discutió cómo numerosas
observaciones astronómicas deben combinarse para dar el resultado más probable.
2. Después, sus contribuciones a los primeros dos volúmenes, 1784-1785, de la Acad-

emia de Turín. Un artículo sobre la presión ejercida por los fluidos en movimiento, y
el segundo un artículo en la integración de una serie infinita, y el tipo de problemas
para que es conveniente.
La astronomía
El siguiente trabajo fue en 1764 sobre la libración de la Luna, y una explicación 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 solución es especialmente interesante por contener
el germen de la idea de ecuaciones generalizadas de movimiento, ecuaciones que
demostró formalmente en 1780.
La mayoría de los trabajos enviados a París versaba sobre preguntas astronómicas,

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 ecuación 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 artículos de astronomía. De estos los más importantes son:
1. Intentando resolver el Problema de los tres cuerpos, descubrió los puntos de La-
grange en 1772 de interés porque en ellos se han encontrado los asteroides troyanos
y satélites troyanos de Saturno.
2. Gravitación de elipsoides, 1773: Punto de partida del trabajo de Maclaurin.
3. La ecuación secular de la Luna, 1773; también notable por la introducción 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 atracción
en cualquier dirección podría encontrarse en seguida. La teoría del potencial se
elaboró en un artículo enviado a Berlín 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 artículos sobre el método para determinar la órbita de un cometa con tres ob-
servaciones, en 1778 y 1783,: esto no se ha demostrado prácticamente disponible de
hecho, pero su sistema de calcular las perturbaciones por medio de las cuadraturas
mecánicas ha formado la base de la mayoría de las investigaciones subsecuentes
en el asunto.
7. Su determinación de las variaciones seculares y periódicas de los elementos orbitales

de los planetas, 1781-1784: los límites superiores asignados para que éstos están de
acuerdo con aquéllos obtenidos después por Le Verrier, y Lagrange procedió hasta
donde el conocimiento permitía entonces de las masas de los planetas.
8. A este tema volvió durante los últimos años de su vida cuando estaba ya en París.
La teoría del movimiento planetario había formado parte de algunos de los más no-
table papeles de Berlín de Lagrange. En 1806 el asunto se volvió a abrir por parte
de Poisson, quién, en un papel leído antes de la Academia francesa, mostró las
fórmulas de Lagrange llevadas a ciertos límites 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ó cómo, por la variación de con-
stantes arbitrarias, las desigualdades periódicas y seculares de cualquier sistema de
cuerpos mutuamente unidos por la gravitación podrían ser determinadas.
El álgebra
El mayor número de sus artículos de álgebra los envió a la Academia de Berlín. Cabe
destacar:
1. Su discusión de la solución enteras de las formas cuadráticas, 1769, y generalmente

de ecuaciones indeterminadas, 1770.
2. Su tratado de la teoría de eliminación de parámetros, 1770.
3. Sus papeles en el proceso general por resolver una ecuación algebraica de cualquier
grado, 1770 y 1771; este método falla para las ecuaciones de un orden superior al
cuarto, porque involucra la solución de una ecuación de orden superior, pero da
todas las soluciones de sus predecesores.
4. La solución completa de una ecuación 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 teoría de números
Algunos de sus artículos iniciales también tratan de preguntas conectadas con el

abandonado pero singularmente fascinante tema de la teoría de números. 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 número primo, entonces ( n - 1)! + 1

siempre es un múltiplo de n , 1771.
3. Sus artículos de 1773, 1775, y 1777, qué da las demostraciones de varios resultados
enunciadas por Fermat, y no demostrado previamente.
4. Y, por último, su método para determinar los factores de números de la forma x2 +

ay2.
La matemática pura
Los intereses de Lagrange eran esencialmente aquéllos de un estudiante de matemática

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-
temporáneo, Pierre-Simon Laplace, consiste en la aplicación de las fórmulas de La-
grange a los fenómenos de la naturaleza; por ejemplo, las conclusiones de Laplace
de la velocidad del sonido y de la aceleración secular de la Luna están ya implícita-
mente en los resultados de Lagrange. La única dificultad para entender a Lagrange
es el asunto de interés y la generalidad extrema de sus procesos; pero su análisis es tan
lúcido y luminoso como es simétrico 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 matemática pura. Como Dio-
fanto y Fermat, él poseyó un genio especial para la teoría de números, y en este asunto
dio soluciones de muchos de los problemas que se habían propuesto por Fermat, y
agregó algunos teoremas propios. Creó el cálculo de variaciones. La teoría de ecua-
ciones diferenciales está en deuda con él por convertirla en una ciencia en lugar de
una colección de ingeniosos artificios para la solución de problemas particulares.
Contribuyó al cálculo de diferencias finitas con la fórmula de interpolación que lleva

su nombre. Sus tres trabajos sobre el método de interpolación de 1783, 1792 y 1793,:
están 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
Matemático, físico, astrónomo y filósofo irlandés. Se dice que Hamilton nació en la

medianoche del 03 de agosto (04 de Agosto) de 1805 en Dublín (hay cierta confusión
sobre su fecha de nacimiento).
William Rowan Hamilton fue el científico más grande de Irlanda. Fue un matemático,
físico y astrónomo e hizo importantes aportes en la óptica, la dinámica y el álgebra.
Nació en Dublín hijo de Archibald Hamilton, asistente legal, pero fue puesto en
118
APENDICE B. SIR WILLIAM ROWAN HAMILTON 1805 - 1865
adopción. Archibald Hamilton no tenía una educación universitaria y se cree que el

genio de Hamilton procedía de su madre, Sarah Hutton.
William Hamilton vivió con su tío, el reverendo James Hamilton lingüista y un sacer-
dote anglicano, con quien vivió desde antes de la edad de tres años hasta que entró
en la universidad. Desde niño mostro sus cualidades de genio, a la edad de cinco años
empezó a aprender latín y griego, a los siete años ya hablaba hebreo, A la edad de
diez leyó una copia latina de Euclides, su introducción en la geometría.
Sir-William-Rowan-Hamilton-1Además lenguas como el sánscrito, el malayo, el persa,

el árabe, el hindi, el persa y árabe para la relajación. Unos 15 idiomas para cuando
cumplió 13 años de edad. A esa misma edad aprendió francés y con el idioma comenzó
sus estudios con el álgebra de Clairaut.
En 1822 a la edad de 17 años, encontro un error en el Mechanique C’eleste de

Laplace. Esto llamó la atención del Dr. John Brinkley, astrónomo 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 matemático de su edad.”
Hamilton ingresó en el Trinity College de Dublín, a la edad de 18 años. Acudió a

la escuela de matemáticos, estudio los clásicos de la ciencia. En 1827 fue nombrado
profesor de Astronomía.
Concibió el álgebra como una ciencia pura y orientó sus investigaciones hacia una
matematización sistemática del mundo de la física. Estructuró la teoría de números
complejos como pares de números reales, y definió una ley de composición conmuta-
tiva para estos.
Dos documentos principales de Hamilton, “sobre un método general en la dinámica”,

se publicaron en 1834 y 1835. En el segundo de ellos, las ecuaciones de movimiento
de un sistema dinámico se expresan en una forma muy elegante (las ecuaciones de
movimiento de Hamilton). El enfoque de Hamilton fue perfeccionado por el matemático
alemán Carl Jacobi , y se le dio importancia en el desarrollo de la mecánica celeste y
la mecánica cuántica.
En 1835, Hamilton fue nombrado caballero por el señor teniente de Irlanda, en el

transcurso de una reunión en Dublín de la Asociación Británica 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 días Hamilton se convirtió en era un alcohólico. Aunque mantuvo
sus facultades intactas hasta su muerte.
Murió el 02 de septiembre 1865 de un ataque severo de gota, sólo poco después de

recibir la noticia de que había sido elegido el primer miembro extranjero de la Acad-
emia Nacional de Ciencias de los EE.UU.
Sus estudios dieron origen a los cálculos que se utilizan hoy día para dar realismo a las
imágenes creadas en computadora. Y cada día su trabajo es más y más reconocido.
Hamilton dedicó los últimos 22 años de su vida al desarrollo de la teoría de los cuater-
niones y sistemas relacionados. Para él, los cuaterniones son una herramienta natural
para la investigación de los problemas de la geometría tridimensional. Muchos con-
ceptos básicos y los resultados en el análisis 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 matemáticos y los
físicos. Un tratamiento más 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 sólidos platónicos ) que visita cada vértice exactamente una vez.
En la teoría 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
JOHANN BERNOULLI 1667 - 1748
Johann Bernoulli 1667 - 1748
Johann Bernoulli, también conocido como Jean o John (Basilea, 27 de julio de 1667
- Basilea, 11 de enero de 1748), fue un matemático, médico y filólogo suizo.
Johann Bernoulli era el más afamado de todos los geómetras de su época. Fue
conocido como el Arquímedes de su época. Hijo de Nicolaus y Margaretha Bernoulli,
fue considerado dentro de los miembros de la familia que más se destacaron en la labor
científica como geómetras, junto a su hermano Jacob Bernoulli, su sobrino Nicolaus y
su hijo Daniel Bernoulli.
121
APENDICE C. JOHANN BERNOULLI 1667 - 1748
Infancia y juventud
El 27 de julio de 1667 nació el décimo de los hijos de Nicolaus y Margaretha Bernoulli,

tercer varón de la familia, 13 años más joven que su hermano Jacob, el primero de
la familia en dedicarse a las ciencias matemáticas. Le nombrarían Johann y desde
pequeño el padre lo destinaría a ser su sucesor en los negocios de farmacéutica. Por
eso a los 15 años, cuando terminó la escuela, fue enviado a Neuchâtel. Pero este viaje
solo le sirvió a Johann para aprender bien el francés y convencerse de que no servía
para el negocio de las hierbas medicinales. Con gran disgusto su padre consintió para
que Johann iniciara estudios en la Universidad de Basilea. Al poco tiempo obtuvo el
título de Bachiller y dos años más tarde el de Maestro en Artes. Es en esta época
que comienza a estudiar medicina siguiendo el consejo de su hermano mayor Jacob,
Doctor en Filosofía y docente en la Universidad de Basilea.
Johann siguió exitosamente la carrera de Medicina, sin embargo, la mayor parte

de su tiempo lo dedicaba al estudio de las matemáticas con su hermano Jacob. Tres
años después de publicado el trabajo pionero de Leibniz sobre el Nuevo Cálculo ya los
hermanos Bernoulli lo conocían y habían logrado asimilar los fundamentos del mismo.
No obstante, en 1690 defendió la tesis que lo acreditaba para ejercer la medicina. En
ese mismo año aparece su primera publicación científica, que no versó precisamente
sobre un asunto matemático, sino sobre el proceso de fermentación. Pero, también
en ese mismo año, participa en el primer desafío matemático: la determinación de la
ecuación de la catenaria, el cual había sido lanzado por su hermano mayor Jacob. El
joven Johann inmediatamente resolvió el problema y asombró a sus contemporáneos,
ganando el reconocimiento de la comunidad científica europea.
Después de recibirse como médico, Johann va a realizar un prolongado viaje. Pasa

cerca de dos años en Génova donde enseñó cálculo diferencial y finalmente viajó a
París, donde estableció una serie de relaciones científicas que marcarán toda su vida
futura. La reputación obtenida por la solución al problema de la catenaria le facilitó
su entrada en el elitista Círculo de Malebranche, que era el foco de la intelectualidad
francesa de esa época. Allí conoció al marqués de L’Hôpital, célebre matemático,
a quién se le llamaba Grandseigneur de las Ciencias Matemáticas en Francia. Pero
el marqués no conocía el Nuevo Cálculo en la forma en que ya era dominado por
Johann. El marqués quedó maravillado de los conocimientos del veinteañero Johann y
no prestando importancia alguna a la diferencia de edad (L’Hôpital era 6 años mayor
que Johann), contrató a Johann para que fuera su maestro.
Sus progenitores
Johann estaba casado con Dorothea Falkner de familia acomodada en Basilea y

su hijo más pequeño tenía 7 meses, cuando la familia partió para Holanda en septiem-
bre de 1695. Este primer hijo era Nicolaus(II), su preferido y quién sería conducido por
Johann al Imperio de las Ciencias Matemáticas. De sus cuatro hijos varones otros dos
también fueron geómetras: Daniel, quien nació mientras la familia estaba en Groninga,
y Johann(II), nacido después del regreso a Basilea. La prole de Johann se completa
con Anna Catherina y Dorothea que nacieron durante la estancia en los Países Bajos
y si hubieran tenido oportunidad no dudamos que hubieran elegido el camino de las
ciencias matemáticas.
De sus 4 hijos varones, 3 se dedicaron a las Ciencias Matemáticas. En los múltiples

desafíos intelectuales en que se vió envuelto fueron tantos sus partidarios como sus
adversarios. Gracias a algunos de estos retos, que él mismo lanzara a la comunidad
científica, se abrió una de las ramas más fructíferas de la Matemática: el Cálculo de
Variaciones, la teoría general de los problemas de máximos y mínimos.
El problema de la braquistocrona
Johann propuso el problema de la braquistócrona en junio de 1696 y retó a la comu-

nidad matemática a resolverlo antes del fin del año, añadiendo con sarcasmo que la
curva era una bien conocida de los matemáticos. El problema se expresa como sigue:
Dados dos puntos A y B en un plano vertical, hallar el camino AMB por el que una
partícula móvil M, descendiendo por su propio peso, iría de A a B en el menor tiempo
posible.
La novedad del problema en sí era evidente: no se trata de encontrar puntos donde

una curva tiene un máximo o un mínimo, sino que la misma incógnita buscada es una
curva que debe minimizar cierta relación. Según palabras de Leibniz este tipo de prob-
lemas resulta muy bello y hasta el momento totalmente desconocido.
Al llegar la Pascua del año siguiente se conocían en total 5 soluciones: además

de Johann y Leibniz, que fue el primero en responder, resolvieron el problema Jacob
Bernoulli, L’Hôpital y un autor inglés anónimo. Johann no tuvo dificultad en reconocer
que el autor era Isaac Newton y lo expresó con una frase histórica: por las garras se
conoce al león. La curva solución de este problema era la cicloide.
En las respuestas a este desafío, aparecen, además, las primeras señales de una
nueva rama de las Ciencias Matemáticas: el Cálculo de las Variaciones, que será la
disciplina matemática dedicada sobre todo a los problemas de optimización, después

de los aportes fundamentales de Euler y Joseph Louis Lagrange.
Tomado de la web: EcuRed

http://www.ecured.cu/Johann_Bernoulli
APENDICE D
PIERRE DE FERMAT 1601 - 1665
Pierre de Fermat 1601 - 1665
Pierre de Fermat fue un matemático francés del siglo XVII que hizo importantes con-
tribuciones al desarrollo del cálculo infinitesimal. Hizo camino irrumpir investigación
teoría de números y descubrió varios nuevos patrones en números que habían intri-
gado a los matemáticos durante siglos. Nacido en una familia acomodada de alto
rango social, decidió ejercer profesión legal como se esperaba de los hombres jóvenes
de su estatura social en esos días a pesar de su profundo amor por las matemáticas.
Pero embarcarse en un campo profesional totalmente sin relación con el campo de las
matemáticas no guardó al joven se convierta en un matemático aficionado en su pro-
pio derecho. Inicialmente escribió sobre sus descubrimientos matemáticos a sus amigos
125
APENDICE D. PIERRE DE FERMAT 1601 - 1665
en las letras, a menudo con poca o ninguna de las pruebas. Más adelante como ganó
en prominencia, sus hallazgos fueron publicados y circuló ampliamente. Altamente in-
spirado por los trabajos del matemático helenístico Diofanto, junto con René Descartes,
pasó a convertirse en uno de los dos principales matemáticos de la primera mitad del
siglo XVII. Sus obras desempeñó un papel fundamental en el desarrollo del cálculo infin-
itesimal e hizo notables contribuciones a la geometría analítica, probabilidad y óptica
Infancia y primeros años de vida
Pierre de Fermat nació en Beaumont-de-Lomagne (actual Tarn-et-Garonne), Fran-

cia, en la primera década del siglo XVII. Su año de nacimiento se cree para ser 1601 o
1607.
El provenía de una familia adinerada. Su padre Dominique Fermat era un próspero

comerciante que había servido tres mandatos de un año como uno de los cuatro cón-
sules de Beaumont-de-Lomagne. Su madre se llamaba Françoise Cazeneuve o Claire
de Long. Tenía un hermano y dos hermanas.
Aunque varios detalles sobre su vida temprana son confusos, algunas fuentes sug-
ieren que recibió su educación escolar en el colegio de Navarra en Montauban.
El había desarrollado un temprano interés por las matemáticas aunque decidió

seguir una carrera como abogado. Así se matriculó en la Universidad de Orléans en
1623 y obtuvo a su licenciatura en derecho civil en 1626.
Carrera
Luego se trasladó a Burdeos y comenzó sus investigaciones matemáticas. Entró en

contacto con Jean de Beaugrand, un prominente lineographer y matemático con los
que compartió a sus intereses. Fue aquí que le produjeron importantes trabajos en
máximos y mínimos.
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 año siguiente
él juró por la Chambre de Grand. Ocupó esta oficina por el resto de su vida.
Fue promovido a la posición de conseiller aux enquêtes en 1638 y dentro de cuatro

años, ingresó a los consejos más 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 Séguier. 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 investigación matemática

y escribió a menudo sobre sus descubrimientos a sus amigos en las letras. Muchos de
sus cartas escritas después de 1636 proporcionan sugerencias con respecto a su inves-
tigación matemática y su evolución como matemático.
En su obra, “Methodus ad disquirendam maximam et mínimos y en De tangentibus

linearum curvarum”, él desarrolló el método de “adequality” para la determinación
de máximos, mínimos y tangentes a curvas diferentes; Esto era análoga a la del cál-
culo diferencial, entonces desconocido. Él también desarrolló una nueva técnica para
encontrar los centros de gravedad de varios avión y Figuras sólidas.
Estaba en correspondencia con Blaise Pascal en 1654, y los dos hombres ayudaron
a sentar las bases de la teoría de la probabilidad. Aunque su correspondencia con
Pascal fue breve, fue altamente productivo y conducido a la Fundación de la teoría
de la probabilidad.
Contribución de Pierre de Fermat a la teoría de los números ha sido tremendo. Su

estudio de la ecuación de Pell, números perfectos, números amistosos, enteros positivos
y números primos en última instancia condujo al descubrimiento de los números que
sería nombrados después de él: números de Fermat.
Fermat fue uno de los principales matemáticos del siglo XVII. El había desarrollado
el campo de la geometría analítica casi sin ayuda y han contribuido al desarrollo tem-
prano de cálculo. Él también era conocido por haber trabajado en la refracción de la
luz y la óptica.
Una de sus obras más 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 edición de Dio-
fanto. Fermat afirmó que tenía una prueba pero no pudo probarlo. La primera prueba
exitosa fue lanzada siglos más tarde por Andrew Wiles en 1994.
Estaba con fluidez en varios idiomas incluyendo francés, Italiano, español, latín y
griego, y así también se metió en problemas filológicos y ganó reputación como un
erudito clásico.
Principales obras
El jugó un papel importante en el desarrollo del campo del cálculo infinitesimal y

se le atribuye haber descubierto un método original de encontrar el mejor y las más
pequeñas ordenadas de líneas curvas, que es análoga a la del cálculo diferencial.
También inventó un método de factorización que más tarde fue nombrado después
de él: método de factorización 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, Clément-Samuel,
también se convirtió en abogado y heredó su oficina después de su muerte; más ade-
lante también publicó documentos matemáticos 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 E
MULTIPLICADORES DE LAGRANGE
Uno de los problemas más comunes en Cálculo es el de la determinación de los val-

ores extremos (máximos y mínimos) de una función pero, a menudo, es difícil encontrar
una forma cerrada de la función a ser extremada. Tal dificultad frecuentemente surge
cuando se desea extremar una función sujeta a restricciones. Estas dificultades se re-
suelven mediante el uso del Método de los Multiplicadores de Lagrange [Ref. 10, 11],
llamado así en honor a Joseph Louis Lagrange .
Figura E.1: Paralelepípedo que encierra un volumen V = xyz.
Existen numerosos problemas donde es útil este método. Un ejemplo es aquél en el

que se trata de hallar las dimensiones del paralelepípedo (ver figura E.1) de menor área
Véase apéndice A para una biografía resumida.
129
APENDICE E. MULTIPLICADORES DE LAGRANGE
que encierre un volumen dado V . Es fácil deducir que su volumen V es,
V (x; y; z) = xyz
y que su área total A es,

A (x; y; z) = 2 (xy + xz + yz)
Por lo tanto, es necesario encontrar el mínimo de la función A (x; y; z) definida en el
conjunto de puntos,
N = f(x; y; z) : xyz = V g
que es la restricción impuesta.
De esta manera,
El Método de los Multiplicadores de Lagrange es un poderoso pro-

cedimiento que sirve para encontrar los máximos y mínimos relativos de
funciones de n variables sujetas a k restricciones, sin la necesidad de re-
solverlas explícitamente con el fin de usarlas para eliminar las variables
extras.
En otras palabras, el Método de los Multiplicadores de Lagrange permite reducir el

problema restringido con n variables y k restricciones, a un problema sin restricciones
de n + k variables con ecuaciones que pueden ser resueltas más fácilmente. Estas
nuevas variables escalares desconocidas, una por cada restricción, son denominadas
Multiplicadores de Lagrange y suelen denotarse con la letra griega .
Considérese el caso de funciones de dos variables. Dos curvas son tangentes si sus
vectores normales son paralelos. En consecuencia, dado que los vectores normales a
dichas curvas son los vectores gradientes se tiene que, en el punto de tangencia, el
! !
vector gradiente O f debe ser un múltiplo escalar del vector gradiente O . Luego,
! !
O f (x; y) = O (x; y)
donde el escalar se conoce como Multiplicador de Lagrange. Las condiciones nece-

sarias para la existencia de tales multiplicadores vienen dadas en el siguiente teo-
rema [Ref. 12, 13]:
Teorema 1 (Teorema de Lagrange) Sean f = f (x; y) y = (x; y) funciones con primeras

derivadas parciales continuas tal que f tiene un valor extremo en el punto (x0 ; y0 ) de la
!
curva de la restricción (x; y) = 0. Si O (x0 ; y0 ) 6= 0, entonces existe un número real tal
que,
! !
O f (x; y) = O (x; y) (E.1)
El Teorema de Lagrange también se cumple para funciones de tres o más variables.
El Método de los Multiplicadores de Lagrange usa el teorema 1 para hallar los ex-
tremos de una función f sujeta a una ligadura (x; y) = 0.
Teorema 2 (Método de los Multiplicadores de Lagrange) Si f = f (x; y) y = (x; y) sat-

isfacen las hipótesis del Teorema de Lagrange y f tiene un máximo o mínimo sujeto a la
restricción (x; y) = 0, entonces dicho extremo se produce en uno de los puntos críticos
de la función F dada por,
F (x; y; ) = f (x; y) (x; y) (E.2)
Puesto que puede ser indiferentemente positivo o negativo, la relación anterior

puede sustituirse por,
F (x; y; ) = f (x; y) + (x; y) (E.3)

La función (E.3) recibe el nombre de Función Auxiliar. Los puntos críticos vendrán deter-
minados por las soluciones del sistema,
8 @F (x;y; )
>
< @x
= 0 ! @f@x
(x;y)
+ @ @x
(x;y)
=0
@F (x;y; ) @f (x;y) @ (x;y)
= 0 ! @y + =0 (E.4)
> @y
: @F (x;y; )
@y
@
= 0 ! (x; y) = 0
El método se puede generalizar. Para encontrar el máximo o el mínimo relativo de

una función f de n variables x1 ; x2 ; x3 ; : : : ; xn ,
f = f (x1 ; x2 ; x3 ; : : : ; xn ) (E.5)
bajo las restricciones, 8

>
> 1 (x1 ; x2 ; x3 ; : : : ; xn ) = 0
>
>
>
> 2 (x1 ; x2 ; x3 ; : : : ; xn ) = 0
<
3 (x1 ; x2 ; x3 ; : : : ; xn ) = 0 (E.6)
>
> ..
>
> .
>
>
:
n (x1 ; x2 ; x3 ; : : : ; xn ) = 0
se construye la función auxiliar,
F (x1 ; x2 ; x3 ; : : : ; xn ; 1; 2; 3; : : : ; n) = f (x1 ; x2 ; x3 ; : : : ; xn ) + 1 1 (x1 ; x2 ; x3 ; : : : ; xn )

+ 2 2 (x1 ; x2 ; x3 ; : : : ; xn ) + 3 3 (x1 ; x2 ; x3 ; : : : ; xn )
+ + n n (x1 ; x2 ; x3 ; : : : ; xn )
o,
P
n
F (x1 ; x2 ; x3 ; : : : ; xn ; 1; 2; 3; : : : ; n) = f (x1 ; x2 ; x3 ; : : : ; xn ) + i i (x1 ; x2 ; x3 ; : : : ; xn ) (E.7)
i=1
donde 1 ; 2 ; 3 ; : : : ; n son los Multiplicadores de Lagrange, independientes de las vari-

ables x1 ; x2 ; x3 ; : : : ; xn . Los puntos críticos vendrán determinados por las soluciones del
sistema, 8
@F @f @
>
> @x1 = 0 ! @x1 + @x1 = 0
>
>
>
> @F
= 0 ! @x @f
+ @x@
=0
>
> @x2 2 2
>
> @F @f @
>
> @x3 = 0 ! @x3 + @x3 = 0
>
> ..
>
>
>
> .
>
< @F = 0 ! @f + @ = 0
@xn @xn @xn
(E.8)
>
>
@F
= 0 ! = 0
>
> @ 1 1
>
> @F
=0 ! 2=0
>
> @ 2
>
> @F
>
> =0 ! 3=0
>
>
@ 3
..
>
>
>
> .
>
: @F = 0 ! =0
@ n n
En el proceso de resolución del sistema (E.8) hay que procurar evitar perder solu-
ciones en las simplificaciones. Por ejemplo, de la ecuación,
x=x (E.9)
se obtienen dos soluciones (

x=0
(E.10)
=1
mientras que si se simplifica la x, se pierde la solución x = 0.
El anterior método permite obtener los puntos críticos de la función (E.5), pero no
permite discriminar cuáles de ellos son máximos y cuáles son mínimos. Para discriminar
es posible seguir uno de los siguientes procedimientos:
E.1 Procedimiento 1
Consiste en suponer que el problema se ha resuelto por sustitución de la variable,
sin en realidad haberlo resuelto por dicho método, pero estudiando la naturaleza de
los puntos críticos como si así se hubiese hecho. Esto se puede conseguir, para el caso
de dos variables, de la siguiente manera:
1. Supóngase que la restricción (x; y) = 0 define y como una función implícita de x en

un entorno del punto crítico (x0 ; y0 ), es decir, y = h (x) con y0 = h (x0 ).
2. Ahora supóngase que se ha sustituido y = h (x) en f (x; y), obteniéndose así una
función de una sola variable,
fe(x) = f (x; h (x))
3. Entonces, la naturaleza (máximo o mínimo) del punto crítico (x0 ; y0 ) de f (x; y), re-
stringido por (x; y) = 0, será la misma del punto crítico x0 de fe. Es evidente ahora
que la función f (x; y) posee un máximo (resp., mínimo), restringido por (x; y) = 0, en
(x0 ; y0 ) si y sólo si la función fe(x) = f (x; h (x)) posee un máximo (resp., mínimo) en x0 .
Con lo anterior, el estudio de la naturaleza de los puntos críticos se hace en una
función de una sola variable, acudiendo al signo de su segunda derivada,
f 00 (x0 ; h (x0 ) ; h0 (x0 ) ; h00 (x0 ))
sin que para ello sea necesario conocer la expresión de y = h (x) ya que h (x0 ) está dado
por el punto crítico, mientras que h0 (x0 ) y h00 (x0 ) se obtienen directamente a partir de
(x; y) = 0, en virtud del Teorema de la Función Implícita y .
El procedimiento anterior se generaliza a más de dos variables de manera natural.

Así, la función f (x1 ; x2 ; x3 ; : : : ; xn ) posee un máximo (resp., mínimo) condicionado por la
restricción (x1 ; x2 ; x3 ; : : : ; xn ) = 0, en (x10 ; x20 ; x30 ; : : : ; xn0 ) si y sólo si la función
fe(x1 ; x2 ; x3 ; : : : ; xn 1 ) = f (x1 ; x2 ; x3 ; : : : ; xn 1 ; h (x1 ; x2 ; x3 ; : : : ; xn 1 ))
posee un máximo (resp., mínimo) en x10 ; x20 ; x30 ; : : : ; x(n 1)0 . Con lo anterior, el estudio
de la naturaleza de los puntos críticos se hace en una función de una variable menos,
acudiendo al signo de su Hessiano H, ello siempre que la ecuación (x1 ; x2 ; x3 ; : : : ; xn ) =
0 defina implícitamente xn = h (x1 ; x2 ; x3 ; : : : ; xn 1 ), en un entorno del punto
x10 ; x20 ; x30 ; : : : ; x(n 1)0
Así,
@ 2 fe @ 2 fe @ 2 fe @ 2 fe
@x21 @x1 @x2 @x1 @x3 @u1 @xn 1
@ 2 fe @ 2 fe @ 2 fe @ 2 fe
@x2 @x1 @x22 @x2 @x3 @x2 @xn 1
@ 2 fe @ 2 fe @ 2 fe @ 2 fe
Hfe x10 ; x20 ; x30 ; : : : ; x(n 1)0 = @x3 @x1 @x3 @x2 @x23 @x3 @xn 1
(E.11)
.. .. .. .. ..
. . . . .
@ 2 fe @ 2 fe @ 2 fe @ 2 fe
@xn 1 @x1 @xn 1 @x2 @xn 1 @x3 @x2n 1
y
El Teorema de la Función Implícita establece las condiciones suficientes bajo las cuales una ecuación o
conjunto de ecuaciones de varias variables, permite definir a una de ellas o varias de ellas como función
de las demás.
donde no es necesario conocer la expresión xn = h (x1 ; x2 ; x3 ; : : : ; xn 1 ), mientras que

los elementos del anterior determinante en el punto x10 ; x20 ; x30 ; : : : ; x(n 1)0 , necesarios
para el cálculo de dicho Hessiano, se determinan mediante derivación implícita.
E.2 Procedimiento 2
También puede estudiarse la naturaleza del punto crítico, en el caso se dos vari-
ables, estudiando el signo del determinante,
@2F @2F @2F @ @

8
@ 2 @ @x @ @y
0 @x @y >
< + = máximo.
@2F @2F @2F @ @2F @2F
= @x2
= @x2
= = máximo. (E.12)
@x@
@2F @2F
@x@y
@2F
@x
@ @2F
@x@y
@2F
>
:
@y@ @y@x @y 2 @y @y@x @y 2
0 = sin información.
APENDICE F
RENE DESCARTES 1596 - 1650
René Descartes 1596 - 1650
Filósofo y científico francés, considerado “padre de la filosofía moderna”, Descartes

(también conocido con el nombre latinizado de Renatus Cartesius) es un pensador que
puso su vida al servicio de una noble causa: la consecución de la verdad. Genial inno-
vador de la filosofía, fue también el primero en aplicar las matemáticas a las ciencias
físicas, y el iniciador de la concepción mecanicista de la naturaleza. Su doctrina tuvo
tal capacidad para espolear a los espíritus 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 años entró
a la escuela jesuita de La Flèche, una de las más famosas de Europa en aquella época,
135
APENDICE F. RENE DESCARTES 1596 - 1650
donde permaneció hasta la edad de 16 años. Luego estudió Derecho en Poitiers hasta
el año 1617. Fueron estos años de su juventud una etapa marcada por la disipación y
la incertidumbre, sin que nunca llegara a apagarse en él la inquietud por conocer. Con
afán de aventura se enroló, primero, en el ejército protestante de Mauricio de Nassau,
príncipe de Orange, y luego en el ejército católico 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 sueños exaltantes y reveladores, en los cuales tomaron forma las primeras intuiciones
de una nueva lógica (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 años después. En 1621 ya había 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 Bérulle, en 1627, reforzó
su decisión de consagrarse a la investigación filosófica. Buscando la paz y la libertad
necesarias que requería su trabajo científico y de reflexión, se trasladó a Holanda. Allí
conoció la fama, pero también las dificultades, pues las controversias contra sus teorías
le venían tanto de parte de los católicos como de los protestantes. En 1649, aceptando
una invitación 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 filosofía de corte escolás-

tico que había aprendido en La Flèche, -la cual, según él, poco tenía de utilidad-,
para entregarse a la búsqueda de un saber fundado en el modelo del conocimiento
matemático y, cada vez con mayor intensidad, la ambición de efectuar una síntesis
que, en cuanto alternativa a la escolástica, constituyese un marco sistemático a la vez
comprensivo y definitivo. Hubo dos momentos decisivos en este camino: uno fue el
encuentro, en 1618-19, con I. Beeckmann, matemático y físico holandés de formación
galileana, a raíz del cual abandonó también su tentación de adentrarse por el camino
del ocultismo de inspiración renacentista, al cual mirará desde ese momento como a
otro enemigo que combatir; el segundo fue en los años 1628-29, cuando halló el fun-
damento metafísico que le permitió la fundamentación de la física en la metafísica a
través de la deducción a priori de las leyes fundamentales de la naturaleza a partir
de un atributo de Dios, como es la inmutabilidad de la acción divina. A estos años
se remonta la genial contribución matemática de Descartes, con la elaboración de la
geometría analítica, la cual, al permitir la reducción de los problemas geométricos a
ecuaciones algebraicas, implicaba una gran universalización y, en consecuencia, una
gran simplificación de los problemas.
APENDICE F. RENE DESCARTES 1596 - 1650
Sus obras principales son: Regulae ad directionem ingenii (1628), Discours de la

méthode pour bien conduir sa raison et chercher la vérité dans les sciences (1637),
Meditationes de prima philosophia (1641), Principia philosophiae (1644), y Les passions
de l’âme (1649).
Tomado de la web: La Web de las Biografías

http://www.mcnbiografias.com/app-bio/do/show?key=descartes-rene
APENDICE G
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 provenía 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 público; Johann Friedrich fue el segundo de sus siete hijos.
El sexto hijo, Christoph Heinrich (1773-1852), hizo el trabajo de considerable mérito en

la química, la medicina y la farmacia. También 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 matemáticas, y se
138
APENDICE G. JOHANN FRIEDRICH PFAFF 1765 - 1825
convirtió en profesor de matemáticas en las universidades de Würzburg y Erlangen; pero

los rápidos cambios en sus intereses científicos le impidieron alcanzar la importancia de
Johann Friedrich.
Como hijo de una familia al servicio del gobierno de Württemberg, Pfaff fue a la
Hohe Karlsschule en Stuttgart a la edad de nueve años. Esta escuela, en la que fue
sujeto a una disciplina militar dura, sirve principalmente para entrenar funcionarios gu-
bernamentales de Württemberg y oficiales superiores. Pfaff completó sus estudios de
derecho allí en el otoño de 1785.
Sobre la base de los conocimientos matemáticos que adquirió por él mismo, Pfaff
pronto leyó “Euler’s Introductio in analysin infinitorum”. En el otoño de 1785, a instan-
cias de Karl Eugen (duque de Wurttemberg), comenzó un viaje para aumentar sus
conocimientos científicos. Permaneció en la Universidad de Göttingen durante unos
dos años, estudiando matemáticas con AG Kaestner y física con GC Lichtenberg. En
el verano de 1787 viajó a Berlín, con el fin de mejorar su habilidad en la astronomía
práctica con JE Bode. Estando en Berlín, por recomendación de Lichtenberg, Pfaff fue
admitido en el círculo de seguidores de la Ilustración en torno Friedrich Nicolai. En la
primavera de 1788 viajó a Viena pasando por Halle, Jena, Helmstedt, Gotha, Dresde y
Praga.
Por recomendación de Lichtenberg, Pfaff fue nombrado catedrático de matemáti-

cas en la Universidad de Helmstedt como un reemplazo de Klügel, que había sido lla-
mado a Halle. Pfaff asumió el cargo mal pagado, con la aprobación del duque de
Württemberg.
Al principio Pfaff dirige toda su atención a la enseñanza, con un éxito evidente: el

número de estudiantes de matemáticas creció considerablemente. Gauss, después
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 también formó una amis-
tad duradera con el historiador G. G. Bredow. Sus planes para editar todos los frag-
mentos de Pappus de Alejandría no progresó más de una edición parcial (Libro 4 de la
colección), realizado sólo 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 académica de Pfaff surgió al final del siglo XVIII,
cuando se discutieron los planes para el cierre de la Universidad de Helmstedt. Esta me-
dida económica 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 Göttingen, Halle y Breslau. Pfaff fue a
Halle, a petición propia, de nuevo como profesor de matemáticas. Tras la muerte de
Klügel en 1812 también se hizo cargo de la dirección 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 líder de la escuela combinatoria alemana, Pfaff

preparó una serie de artículos entre 1794 y 1800 para Archiv der reinen und ange-
wandten Mathematik y Sammlung combinatorisch-analytischer Abhandlungen, que
fueron editados por Hindenburg. Los artículos reflejan constantemente la forma de
pensamiento y expresión de la escuela de Hindenburg, con la única excepción de
“wichtigen Análisis einer Aufgabe des Herrn La Grange” (1794), que pretendía liberar
a la expansión de Taylor (con el resto en la forma de Lagrange ) de la tradición de in-
cluirla en la teoría de combinaciones y en lugar de presentarla como una componente
principal de análisis.
En 1797 Pfaff publicó en Helmstedt el primer y único volumen de un tratado intro-

ductorio sobre análisis escrito en el espíritu de Euler: “Disquisitiones analyticae maxime
ad calculum integralem et doctrinam serierum pertinentes”. En 1810 participó en la
solución de un problema con Gauss referente a la elipse de mayor área que puede ser
inscrita en un cuadrilátero dado.
Pfaff presentó su más importante logro matemático, la teoría 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
Berlín (1814-1815) recibiendo una opinión muy favorable de Gauss, la obra no llegó
a ser ampliamente conocida. Su importancia no fue apreciada hasta 1827, cuando
apareció en un artículo de Jacobi, “Über Pfaff’s Methode, eine gewohnliche lineare

Differentialgleichung zwischen 2n Variabeln durch ein System von n Gleichungen zu in-
tegrieren” (Journal für die reine und angewandte Mathematik, 2 347 ff.).
El “Método” de Pfaff constituyó el punto de partida de una teoría básica de la inte-

gración de las ecuaciones diferenciales parciales que, a través de la obra de Jacobi,
Lie, y otros, se ha convertido en el moderno cálculo de Cartan de las formas diferen-
ciales extremas.
Tomado de la web: encyclopedia.com

http://www.encyclopedia.com/doc/1G2-2830903390.html
APENDICE H
FORMA PFAFFIANA
Considérense n variables independientes x1 ; x2 ; x3 ; : : : ; xn y una expresión de la forma,
dZ = A1 (x1 ; x2 ; x3 ; : : : ; xn ) dx1 + A2 (x1 ; x2 ; x3 ; : : : ; xn ) dx2 + A3 (x1 ; x2 ; x3 ; : : : ; xn ) dx3

+ : : : + An (x1 ; x2 ; x3 ; : : : ; xn ) dxn (H.1)
que puede ser escrita como,
P
n
dZ = Ai (x1 ; x2 ; x3 ; : : : ; xn ) dxi (H.2)
i=1
A (H.2) se le denomina Forma Pfaffiana o Expresión Diferencial Pfaffiana [Ref. 14, 15],
mientras que a la expresión,
dZ = A (x) dx (H.3)
se le denomina Pfaffiano Truncado [Ref. 16].
Las denominaciones Forma Pfaffiana, Función Pfaffiana, Expresión Pfaffiana, Pfaffi-

ano Truncado, etc., pudieron haber haber sido introducidas por el matemático griego
Constantin Caratheodory 1908 en “ Studies in the Foundation of Thermodynamics ”
[Ref. 17, 18], en lo que desde entonces se ha llamado el Teorema de Caratheodory
[Ref. 18].
Otra referencia parece indicar que las denominaciones Función Pfaffiana y Forma
Pfaffiana se introdujeron en la década de 1970, por el matemático ruso Askold Khovan-
skii, en honor del matemático alemán Johann Pfaff .
Ver apéndice G para una biografía resumida de Pfaff.
142
APENDICE H. FORMA PFAFFIANA
Supóngase que se tiene la función de n variables independientes,
z = z (x1 ; x2 ; x3 ; : : : ; xn ) (H.4)
entonces, su diferencial total viene dado por,

Xn
@z
dz = dxi (H.5)
i=1
@xi
que, obviamente, es un caso particular de (H.1) donde,

@z
Ai (x1 ; x2 ; x3 ; : : : ; xn ) = (H.6)
@xi
APENDICE I
LEMA FUNDAMENTAL DEL CALCULO DE

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

Fundamental del Cálculo de Variaciones [Ref. 19]:
Lema 3 (Lema Fundamental del Cálculo de Variaciones) Si para cada función continua
(x) se tiene,
Z b
f (x) (x) dx = 0
a
siendo f (x) una función continua en el intervalo [a; b], entonces,
f (x) = 0
en dicho segmento.
Demostración. La afirmación del lema y su demostración no varían si a la función (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 contradicción. En
efecto, de la continuidad de la función 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
función (x) que también conserve su signo en este entorno y sea igual a cero fuera
del mismo (ver figura I.1), se obtiene,
Z b Z b
f (x) (x) dx = f (x) (x) dx 6= 0 (I.1)
a a
144
APENDICE I. LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES
Figura I.1: Función 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 contradicción, 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] Falcón V., N. MECANICA CLASICA: FISICA TEORICA EN FORMALISMOS DE LA-

GRANGE, HAMILTON Y HAMILTON-JACOBI. Serie Física. Universidad de Carabobo.
Editado por la Dirección de Medios y Publicaciones de La Universidad de
Carabobo, Valencia, Venezuela, 1era edition, Abril 2012.
[5] Baumann, G. MATHEMATICA FOR THEORETICAL PHYSICS - CLASSICAL MECHANICS

AND NONLINEAR DYNAMICS, volume 1. Springer Science+Business Media, Inc., 2nd
edition, 2005.
[6] Hassani S. MATHEMATICAL METHODS FOR STUDENTS OF PHYSICS AND RELATED

FIELDS. Springer Science+Business Media, LLC, 2nd edition, 2009.
[7] Herrero P., P. J. LA HISTORIA DEL PROBLEMA ISOPERIMETRICO CLASICO CON GEOME-
TRIA ELEMENTAL. La Gaceta de la Real Sociedad Matemática Española (RSME),
15(2):335–354, 2012.
[8] Pérez, R.; Berenguer, I; Berenguer, L.; Cobo, B.; Daza, M. D.; Fernández, F.; Pasadas,
M. & Payá, A. M. EL PROBLEMA ISOPERIMETRICO Y EL CALCULO DE VARIACIONES.
SUMA, (39):99–102, febrero 2002. http://revistasuma.es/IMG/pdf/39/099-102.pdf.
146
BIBLIOGRAFIA
[9] Virgilio M., P. LA ENEIDA. EDAF, Madrid, 1985.
[10] Spiegel, M. R. CALCULO SUPERIOR. McGraw-Hill Interamericana de México, S. A.

de C. V., 1991.
[11] Wrede, R. C. & Spiegel, M. R. SCHAUM’S OUTLINE OF THEORY AND PROBLEMS OF

ADVANCED CALCULUS. McGraw-Hill Companies, Inc., 2002.
[12] Henry E., C.; Penney, D. E.; Thomas, G. B.; Purcell, E. J.; Varberg, D.; Rigdon, S. E.; .
CALCULO 2. Pearson Educación de México, S.A. de C.V., 2009.
[13] Larson, R. & Edwards, B. H. CALCULO 2 DE VARIAS VARIABLES. McGraw-

Hill/Interamericana Editores, S. A.. de C. V., 2010.
[14] Sychev, V. V. THE DIFFERENTIAL EQUATIONS OF THERMODYNAMICS. MIR Publishers

Moscow - Hemisphere Publishing Corporation, 2nd edition, 1991.
[15] Hari D., N. D. THE PRINCIPLES OF THERMODYNAMICS. CRC Press Taylor & Francis
Group, LLC, 2014.
[16] Kestin, J. A COURSE IN THERMODYNAMICS, volume 1. Blaisdell Publishing Co., Lon-

don, 1979.
[17] Caratheodory, C. STUDIES IN THE FOUNDATION OF THERMODYNAMICS (UNTER-

SUCHUNGEN UBER DIE GRUNDLAGEN DER THERMODYNAMIK). Mathematische An-
nalen, 67:355–386, 1909.
[18] Ott, B. J. & Boerio-Goates J. CHEMICAL THERMODYNAMICS Ű PRINCIPLES AND AP-

PLICATIONS. Elsevier Science & Technology Books, 2000.
[19] Elsgoltz, L. ECUACIONES DIFERENCIALES Y CALCULO VARIACIONAL. Editorial MIR,

Moscú, 1969.
[20] Krasnov, M. L. , Makarenko, G. I. & Kiseliov, A. I. CALCULO VARIACIONAL. Editorial

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

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

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

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

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

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

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

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

Society, Providence, Rhode Island, 2014.
[31] Arfken G. B. and Weber H. J. MATHEMATICAL METHODS FOR PHYSICISTS. Elsevier Inc.,
7th edition, 2013.
[32] Arnold, V. I. MATHEMATICAL METHODS OF CLASSICAL MECHANICS. Springer-Verlag

New York, Inc., 2nd edition, 1991.
[33] Boas, M. L. MATHEMATICAL METHODS IN THE PHYSICAL SCIENCES. John Wiley & Sons,
Inc., 3rd edition, 2006.
[34] Chow, T. L. MATHEMATICAL METHODS FOR PHYSICISTS: A CONCISE INTRODUCTION.

Cambridge University Press, 2000.
[35] Courant, R. & Hilbert, D. METHODS OF MATHEMATICAL PHYSICS, volume 1. Inter-

science Publishers, INC., New York, 1966.
[36] Masujima, M. APPLIED MATHEMATICAL METHODS IN THEORETICAL PHYSICS. WILEY-

VCH Verlag GmbH & Co. KGaA, Weinheim, 2005.
[37] Mathews, J. & Walker, R. L. MATHEMATICAL METHODS OF PHYSICS. Addison-Wesley

PublAddison-Wesley, Inc., 2nd edition, 1969.
[38] Riley, K. F.; Hobson, M. P. & Bence, S. J. MATHEMATICAL METHODS FOR PHYSICS AND
ENGINEERING. Cambridge University Press, 3rd edition, 2006.
BIBLIOGRAFIA
[39] Riley, K. F. & Hobson, M. ESSENTIAL MATHEMATICAL METHODS FOR THE PHYSICAL
SCIENCES. Cambridge University Press, 2011.
SOLDOVIERI C., Terenzio. CALCULO VARIACIONAL CON FRONTERAS FIJAS. 1era ed. preprint. República Bolivariana de Venezuela, 2016. Pág.: 149 Vie

Calcvariacional Soldovieri PDF

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Calcvariacional Soldovieri PDF

Încărcat de

Drepturi de autor:

Formate disponibile

See discussions, stats, and author proﬁles for this publication at: https://www.researchgate.

CALCULO VARIACIONAL CON FRONTERAS FIJAS ( Descargar

Book · February 2016

Introducción a la Mecánica Clásica View project

The user has requested enhancement of the downloaded ﬁle.

Con numerosos ejemplos y problemas SOLDOVIERI

Por Terenzio Soldovieri C. fecha 18:48 , 01/03/2016

1era edición (preprint)

Escrito usando LATEX

Copyright c 2016 Terenzio Soldovieri C.

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

Gráficos: Soldovieri C., Terenzio.

Introducción a la Mecánica de Lagrange y Hamilton.

Introducción a la Mecánica de Lagrange y Hamilton - Solucionario (En

El Angulo Sólido y algunas de sus aplicaciones (Coautor).

La Transformación de Legendre para Estudiantes de Ciencias.

Cálculo Variacional con fronteras fijas.

Coordenadas Generalizadas, Exorcisadas (En Proyecto).

Mecánica Clásica (En Proyecto).

Leonhard Euler 1707 - 1783

Euler nació en Basilea en 1707 y estudió en la Universidad de Basilea con el matemático

En 1741 fue profesor de matemáticas en la Academia de Ciencias de Berlín a peti-

En su Introducción al análisis de los infinitos (1748), Euler realizó el primer tratamiento

Euler, aunque principalmente era matemático, realizó también aportaciones a la

La productividad matemática de Euler fue extraordinaria. Nos encontramos su nom-

Murió el 7 de septiembre de 1783.

Tomado de la web: AstroMía

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

Se lo dedico también 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 — Ecuación 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 118

C JOHANN BERNOULLI 1667 - 1748 121

D PIERRE DE FERMAT 1601 - 1665 125

E MULTIPLICADORES DE LAGRANGE 129

E.1 Procedimiento 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132

F RENE DESCARTES 1596 - 1650 135

G JOHANN FRIEDRICH PFAFF 1765 - 1825 138

H FORMA PFAFFIANA 142

I LEMA FUNDAMENTAL DEL CALCULO DE VARIACIONES 144

1.1 Superficie de revolución generada por una curva y = y (x). . . . . . . . . . . 5

3.1 Geodésicas sobre una esfera. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

4.1 Problema 70. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

E.1 Paralelepípedo que encierra un volumen V = xyz. . . . . . . . . . . . . . . . 129

I.1 Función arbitraria (x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145

Albert Einstein 1879 - 1955

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

El cálculo de variaciones, en su forma actual, proporciona un poderoso método

El contenido de este capítulo, y los posteriores, se desarrollarán haciéndose énfasis

Se denomina Funcional a una función J que toma funciones como

En el caso de las funciones a cada número le corresponde otro número, mientras

1. n es el número total de funciones y (x)i y el número 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 función o de una variable dependiente.

De forma análoga, es posible definir también las funcionales dependientes de varias

Un caso especial de funcionales son las denominadas Funcionales Integrales,