Miscelanea Matematica 45 (2007) 2531

SMM

Euler y el clculo de variaciones a

Luz de Teresa
Instituto de Matemticas, UNAM a Circuito Exterior Cd. Universitaria 04510 Mxico, D.F. e Mxico e deteresa@matem.unam.mx

En agosto de 1755 Euler recibi una carta de un joven de 19 a os o n mostrndole como recuperar con un mtodo anal a e tico, y de una manera casi automtica, su propia condicin necesaria. Euler acogi con entua o o siasmo el mtodo de Lagrange dando as nacimiento a una nueva area e en la matemticas: El clculo de variaciones. a a Desde la Grecia clsica circulaban en el medio cient a co problemas isoperimtricos, donde sin duda uno de los ms famosos es el de la reina e a Dido (semi histrica princesa Fenicia y Reina de Cartago), pero no es o sino en el siglo XVII en Europa que se plantean importantes problemas de lo que ms tarde ser el clculo de variaciones. Entre ellos fueron a a a fundamentales los trabajos de Fermat en optica geomtrica (1662), el e estudio de cuerpos movindose en uidos formulado por Newton y el e que sin duda ser un problema fundacional en esta area: el problema a de la braquistcrona. En efecto, en 1638 Galileo formul el siguiente o o problema: Determinar la curva de descenso ms rpido de una part a a cula que se desliza de un punto A dado a otro punto B (que no est en la recta e vertical que pasa por A). Se considera que la friccin y la resistencia o del aire son despreciables. En trminos modernos, se pretende minimizar el valor de la integral e I que representa el tiempo de descenso,
x1

I=
0

1 + |y (x)|2 dx 2gy(x)

donde g es la fuerza de gravedad, (0, y(0)) = A, (x1 , y(x1 )) = B. Debido a que la respuesta de Galileo fue incorrecta, en su Acta Editorum 25

26

Luz de Teresa

de 1696 Johannes Bernoulli desa a los matemticos de la poca reo a e tomando el problema y formulndolo en los siguientes trminos: a e Datis in plano verticali punctis A et B, assignare mobili M viam AM B, per quam gravitate sua descends, et moveri incipiens a puncto A, brevissimo tempore perveniat ad alterum punctum B. Newton, Leibniz, LHpital, Johannes y Jacobi1 Bernoulli encono traron una solucin correcta por mtodos distintos. o e As a principios del siglo XVIII, se buscaba resolver problemas, , muchos de ellos prcticos, donde era necesario caracterizar curvas que a minimizaban o maximizaban alguna cantidad. Aunque no todos los historiadores (e.g. [4]) consideran que Euler se interes en los problemas de esta naturaleza durante su estancia o en Basel con Johannes Bernoulli, es claro que su obra Methodus inveniendi lineas curvas maximi minime Proprietate Gaudendis de 1744 represent el nacimiento de un mtodo general para abordar probleo e mas de una misma naturaleza. Hasta ese momento, muchos problemas se hab resuelto con xito pero no exist mtodos generales para an e an e tratarlos. Euler en su Methodus, a travs de consideraciones geomtrie e cas, diferencias sucesivas y series, y cambiando derivadas por cocientes de diferencias e integrales por sumas nitas, obtuvo frmulas que se o pod aplicar a una gran variedad de problemas. Aunque en ese moan mento el mtodo era poco preciso, Euler lo ejemplica con un gran e n mero de problemas concretos. El mtodo de mximos y m u e a nimos aplicado a (l neas) curvas busca las curvas para las cuales cierta magnitud alcanza su valor mximo o m a nimo. Euler introduce las siguientes condiciones: 1. El problema se plantea y se resuelve en un unico segmento de las abcisas. 2. Se introducen dos tipos de extremos absolutos y relativos. 3. Se dene la forma funcional como una magnitud integral indenida
b

W =
a

Z(x, y, y , y , )dx

donde Z est dada. a

He encontrado varia versiones de sus nombres, Johann, John, Juan, Jakob, Jacob, James etc. Tomo aqu los nombres como aparecen en sus publicaciones.
1

 Euler y el calculo de variaciones

27

El mtodo introducido es el siguiente: Supongamos que en [a, b] es necee b sario elegir f (x, y) = 0 de manera que a Zdx alcanza un valor cr tico. Euler sustituye cada curva y = y(x) denida en [a, b] por una curva poligonal dividiendo al intervalo en n partes iguales. Adems aproxia ma la derivada por las diferencias nitas. De esta manera sustituye la integral
b

W =
a

Z(x, y, y , y , )dx

por una suma de la forma

n1

Sn =
i=0

Z(x, y, y , y , )dx

donde dx = yi = p i =

ba , n

x0 = a, xi = xi1 + dx

y yi yi+2 2yi+1 + yi yi+1 yi , yi = gi = i+1 = . dx dx dx2 Para ejemplicar este proceso, supongamos que Z slo depende de o (x, y, y ), es decir,
b

W =
a

Z(x, y, y )dx.

(1)

Se sustituye (1) por

n1

I=
i=0

Z(xi , yi ,

yi+1 yi )dx.. dx

(2)

Para resolver el problema de b squeda de puntos cr u ticos de (2) Euler var cierta ordenada arbitraria y . La diferencia de los valores de I a correspondientes a la curva original y la curva modicada los iguala a cero. Obtiene as una ecuacin diferencial de las curvas cr o ticas. Si y se obtiene por un incremento yn entonces (2) slo cambia en o los trminos que contienen a y , es decir, e Z(x1 , y1 , y y1 ), dx Z(x , y , y+1 y ). dx

Considerando Z una funcin de tres variables (x, y, p), para calcuo lar su incremento Euler derivaba Z respecto a x, y, p y sustitu las a diferenciales dxi , dyi , dpi

28

Luz de Teresa

por los incrementos de las magnitudes correspondientes xi , y i , p i As , dZ(x1 , y1 , p1 ) = M dx1 + N dy1 + P dp1 , dZ(x , y , p ) = M dx + N dy + P dp . Como el incremento es slo en y , o dx1 = dx = dy1 = 0, dp1 = Por consiguiente: Z(x1 , y1 , y y1 y+1 y )dx + Z(x , y , )dx = dx dx n , dx dp = dy = n , n . dx

n n + N n P )dx . dx dx Pero P P = dP y en lugar de N se puede escribir N , se obtiene = (P (P n n + N n P )dx = dP + N dx = 0. dx dx

Con el simbolismo actual esto signica dZ d dZ ( ) = 0. dy dx dy (3)

Esta notacin se debe entender en el siguiente sentido. El integrando o Z(x, y, y ) es funcin de las variables independientes x, y, y por lo que o

 Euler y el calculo de variaciones

29

dZ d dZ respecta a dZ y a dy . Sin embargo para calcular dx ( dy ) es necesario dy utlizar que y y y dependen de x. As (3) queda transformada en:

dZ d2 Z d2 Z d2 Z y y = 0. dy dy dx dy dy dy dy

(4)

Esta famosa ecuacin que Euler public en 1736 sigue siendo la base o o del clculo de variaciones. La ecuacin (4) no es la adecuada cuando los a o integrandos son ms complicados. Euler sigui desarrollando su mtodo a o e y aplicndolo a un gran n mero de ejemplos siendo esto lo que publia u c en 1744. o Lagrange se interes por el trabajo de Euler y cuando le escribi en o o 1755 describ lo que el llamar variaciones. Una de las innovaciones de a a Lagrange fue no variar ordenadas individuales de la curva minimizadora o maximizadora y(x) sino introducir nuevas curvas entre los puntos (a, y(a)) y (b, y(b)). Lagrange represent estas curvas como o y(x) + y(x) donde era una notacin especial que indicaba una variacin compleo o ta de la curva y.

La introduccin de una nueva curva en el integrando de W cambiaba o desde luego los valores de sta. El incremento en W que denotaremos e por W es entonces
b

W =
a

[Z(x, y + y, y + y ) Z(x, y, y )] dx.

(5)

Lagrange vi a Z como funcin de tres variables pero donde x no camo o biaba y escribe el desarrollo de Taylor para una funcin de dos variables. o As obtiene 1 1 (6) W = W + 2 W + 3 W + 2 3! donde
b

W =
a

(Zy y + Zy y )dx.

30

Luz de Teresa

Seg n varios autores (ver e.g. [4], [8]) el argumento de Lagrange u para justicar que W = 0 no era correcto. Reproduzco aqu el argu mento que aparece en [6] donde Lagrange argumenta que dado que W contiene los trminos de primer orden para peque as variaciones y y e n y debe dominar el lado derecho de (6) por lo que W tendr el mismo a signo que W . Sin embargo, en un mximo o en un m a nimo W y W deben tener el mismo signo (esto no es muy claro). Por la expresin (5) o si y maximiza W entonces W y W tendrn signos contrarios. Esto a nos indica que W debe ser cero. Lagrange arma que y = d(y) dx

intercambiando d y . Esto es correcto pero para sus contemporneos a no era claro y Euler lo aclar posteriormente. La primera variacin W o o es entonces b d(y) W = dx. Zy y + Zy dx a d (Zy ) = 0 dx obteniendo la misma ecuacin que Euler. o El enfoque utilizado por Lagrange permiti aplicar algoritmos seo mejantes a los del clculo diferencial y este enfoque fue el que sin duda a entusiasm a Euler. De acuerdo a algunos autores (ver e.g.[7]) Euler o detuvo sus publicaciones en el tema para permitir a Lagrange publicar sus resultados, lo que ocurri en 1762. Despus de esta fecha, retomano e do el trmino introducido por Lagrange de variaciones, Euler di en e o una serie de trabajos una exposicin detallada, perfeccionada y con muo chos ejemplos de la recientemente nacida area del las matemticas:El a clculo de variaciones. El trabajo iniciado por Euler y Lagrange ha sido a extendido de muchas maneras por Bliss, Bolza, Carathodory, Clebsch, e Hahn, Hamilton, Hilbert, Kneser, Jacobi, Legendre, Mayer, Weierstrass por citar a algunos. Es indudable que en la matemtica moderna y en a muchas de sus aplicaciones el clculo de variaciones y los llamados a mtodos variacionales son fundamentales. En la bibliograf incluimos e a algunos textos introductorios [5, 2, 3] as como algunos ms avanzados a [1, 8, 10]. La apropiacin del trmino variaciones para una nueva disciplina o e muestra la genialidad de Euler no slo desde el punto de vista mateo mtico sino en su calidad humana al reconocer el trabajo de un joven a alentndolo y hacindolo propio. a e Zy Se concluye

 Euler y el calculo de variaciones

31

Referencias
[1] Buttazzo, G; Giaquinta, M; Hidebrandt, S. One-dimensional Variational Problems. Oxford Science Publications. (1998) [2] Van Brunt, B. The Calculus of Variations. Springer-Verlag (2004) [3] Dacorogna, B. Introduction to the Calculus of variations. Imperial College Press, (2004). [4] Goldstine, H. A History of the Calculus of Variations from the 17th Through the 19th Century. Springer. (1980) [5] Ize, J. Clculo de variaciones. Serie FENOMEC, UNAM. (2002) a [6] Kline, M. Mathematical thought from ancient to modern times. Vol. 2. Oxford University Press. (1990) [7] R bnikov, K. Historia de las Matemticas Editorial Mir, Mosc . a u (1991) [8] Struwe, M. Variational Methods. Applications to Nonlinear Partial Dierential Equations and Hamiltonian Systems. Springer. (1996) [9] Taton, R. Les relations d Euler et Lagrange, en Leonhard Euler, 1707-1738, Beijtrge zu Leben und Werk Birkhuser Verlag, Basel, a a (1983). [10] Troutman, J.L. Variational Calculus and Optimal Control. Optimization with elementary convexity. Springer, (1996).