Transf de Legendre - Soldovieri PDF

La Transformacin
de Legendre
2016
Actualizacin # 04 (02/05/16).
Desde el 2015
PARA ESTUDIANTES DE CIENCIAS
(EN REDACCION Y REVISION)
Coleccin Soldovieri de textos de Ciencia
NUEVO
Una presentacin didctica de un

tema que, en general, es tratado
escuetamente en los textos de ciencias
en los que se aplica.
SOLDOVIERI
LA UNIVERSIDAD DEL ZULIA
ADVERTENCIA
TEXTO EN
REDACCION Y
REVISION
ACTUALIZACIONES PERIODICAS EN
www.cmc.org.ve/tsweb
DEJA TUS COMENTARIOS EN EL LIBRO DE VISITAS DE ESTA
WEB
SOLDOVIERI C., Terenzio
Por Terenzio Soldovieri C. fecha 14:18 , 02/05/2016
LA TRANSFORMACION DE LEGENDRE
PARA ESTUDIANTES DE CIENCIAS
1era edicin (preprint)

(EN REDACCION Y REVISION)
Comenzado en 11/2015 - Actualizacin # 04 (02/05/2016)
Escrito usando LATEX
Copyright c 2016 Terenzio Soldovieri C.
? ? ? ? ? ? ??
Soldovieri C., Terenzio

Profesor Agregado
Departamento de Fsica
Centro de Modelado Cientfico (CMC)
Facultad Experimental de Ciencias (FEC)
La Universidad del Zulia (LUZ)
Maracaibo, Estado Zulia
Repblica Bolivariana de Venezuela
tsoldovieri@fec.luz.edu.ve - tsoldovieri@gmail.com
PIN: 568EEB0F
www.cmc.org.ve/tsweb
+584124271575
Deja tus comentarios en el libro de visitas de mi web!
Coleccin Soldovieri de textos de Ciencia.

Copyright c 2016 Soldovieri C., Terenzio.
Todos los derechos reservados.
Editorial: (por establecer)
ISBN: (por establecer)
Repblica Bolivariana de Venezuela.
Grficos: Soldovieri C., Terenzio.

Portadas: Soldovieri C., Terenzio.
Escritura electrnica: Soldovieri C., Terenzio.
Procesador: este libro fue elaborado usando LATEX.
Web del autor: www.cmc.org.ve/tsweb
Coleccin Soldovieri de textos de

Ciencia
Fsica General - Una introduccin a los Fluidos, Vibraciones y Termodinmica.
Introduccin a la Mecnica de Lagrange y Hamilton.
Introduccin a la Mecnica de Lagrange y Hamilton - Solucionario.
El Angulo Slido y algunas de sus aplicaciones. (Coautor)
La Transformacin de Legendre para Estudiantes de Ciencias.
Coordenadas Generalizadas para estudiantes de Fsica.
Clculo Variacional con fronteras fijas.
? ? ? ? ? ? ??
ADRIEN-MARIE LEGENDRE 1752 - 1833
Adrien-Marie Legendre 1752 - 1833

Adrien-Marie Legendre (Pars, 18 de septiembre de 1752 - Francia, 10 de enero
de 1833). Matemtico francs.
Primeros aos
Naci el 18 de septiembre de 1752 en Pars, Francia. Aunque se tienen muy pocos
datos sobre su familia, las biografas existentes relatan que se trataba de una familia
acomodada que, desde el nacimiento de Adrien Marie, se plante el darle una buena
educacin.
Tras completar sus estudios en el Collge Mazarin (tambin llamado Colegio de las
Cuatro-Naciones), fue alumno del padre jesuita Pierre Varignon entonces titular de la
ctedra de Matemticas que inmediatamente, al darse cuenta de los dotes del joven,
le impuls a profundizar en sus estudios matemticos.
i
A la edad de 18 aos, el 25 de julio de 1770, Legendre defiende su tesis doctoral

en el colegio: Theses mathematicae ex analysi, geometria et mecanica excerpta,
trabajo de un alto nivel, tanto que su director, el padre Marie incluy varios prrafos de
la misma en su Tratado de mecnica de 1774. El joven estudiante empezaba su vida
cientfica.
Desde 1775 hasta 1780 entr a trabajar en la Escuela Militar y ense con Laplace.
Al tener que dar clase a futuros militares, Legendre profundiz sus conocimientos en
balstica. Por eso, cuando la Clase de Matemticas de la Academia de Berln propuso
como tema del premio del ao 1782 Determinar la curva descrita por los proyectiles
y las bombas, teniendo en cuenta la resistencia del aire, Legendre se encontr perfectamente preparado para concurrir y el 6 de junio de 1782 su trabajo gan el primer
premio sirviendo para que Lagrange, del que Legendre se consideraba ya un discpulo,
se interesase por l y preguntase a Laplace quin era ese joven autor?.
Para un cientfico el reconocimiento social consiste en ser elegido miembro de la
Academia de Ciencias. Legendre, con treinta aos, fue asignado a la misma el 2 de
abril de 1783 y permaneci all hasta el trmino de 1793.
Trayectoria investigativa
A partir de 1795 ense matemticas en la cole Normale. En sus primeros trabajos,
centrados en la mecnica, introdujo conceptos como la funcin que lleva su nombre
o la primera demostracin del mtodo de los mnimos cuadrados.
Tras los pasos de Leonhard Euler y Lagrange, estudi las funciones elpticas y las
redujo a tres formas bsicas. Fue el primero en dedicar una obra estrictamente a
la Teora de Nmeros, mbito en el que obtuvo resultados fundamentales como la
demostracin, en 1830, de la Ley de la Reciprocidad Cuadrtica.
En 1794 public los Elementos de Geometra, una versin reordenada y simplificada
de la obra original de Euclides, que fue traducida a ms de treinta idiomas.
En el ao 1782 determin la fuerza de atraccin para ciertos slidos de revolucin
al introducir una serie infinita de polinomios Pn , la cual es conocida ahora como Polinomios de Legendre.
Su mayor trabajo fue con las funciones elpticas en Ejercicios de Clculo Integral
(1811, 1817, 1819) e Integrales Elpticas en Tratados de Funciones Elpticas (1825, 1826,
1830) en las que provea herramientas analticas bsicas para la Fsica Matemtica.
En su famoso libro Elementos de Geometra (1794) dio una prueba simple de que:
SOLDOVIERI C., Terenzio. LA TRANSFORMACION DE LEGENDRE PARA ESTUDIANTES DE CIENCIAS. 1era ed. preprint. Repblica Bolivariana de Venezuela, 2016.
Pg.: ii
p es irracional, as como la primera prueba que p2 es irracional y conjetur que p no es la raz de alguna ecuacin algebraica de grado finito con
coeficientes racionales, es decir p no es algebraico.
Gran parte de su trabajo fue perfeccionado posteriormente por otros: sus trabajos
en las races de los polinomios inspir la Teora de variste Galois; los trabajos de Niels
Henrik Abel en las Funciones Elpticas se construyeron sobre los de Legendre; parte de
la obra de Carl Friedrich Gauss sobre Estadstica y Teora de Nmeros complementaba
la de Legendre. En 1830 ofreci una demostracin del ltimo Teorema de Pierre de
Fermat para el exponente n = 5.
Abel escribi en Octubre de 1826:
Legendre es en extremo un hombre amigable, pero desafortunadamente
viejo como las piedras.
Muerte
En 1824 Legendre se rehus a votar por el candidato a gobernante del Instituto
Nacional. A causa de esto su pensin fue suspendida y muri en la pobreza el 10 de
enero de 1833 en Pars, Francia.
Se lo conoce tambin por la Transformacin de Legendre, utilizada para pasar de
la formulacin Lagrangiana a la Hamiltoniana de la Mecnica Clsica. Tambin se usa
en Termodinmica para obtener la Entalpa de las energas libres de Helmholtz y Gibbs
partiendo de la energa interna.
Biografa tomada de la web: EcuRed

http://www.ecured.cu/Legendre_Adrien_Marie
Pg.: iii
DEDICATORIA
El presente texto que he logrado con gran esfuerzo, tenacidad y luchando contra
todas las adversidades que he tenido que enfrentar en mi vida acadmica y, especialmente, personal se lo dedico de todo corazn, al igual que todos mis otros textos:
A mi difunto padre Raffaele Soldovieri Mastursi y a mi madre Rita Elena

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

Fsica de nuestra muy ilustre Universidad del Zulia, nuestra indudable Alma Mter, a todos aquellos estudiantes que no lo fueron y aquellos de otras universidades de nuestro
pas y del extranjero que estudian Fsica y carreras afines que, con esfuerzo y sacrificio,
liberan obtculos tras obtculos para conseguir sus sueos. A todos ellos, especialmente, me debo y son la razn de todo el presente esfuerzo acadmico.
iv
AGRADECIMIENTOS
qu van los agradecimientos.
INDICE GENERAL
PREFACIO
xi
1 LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Definicin de la Transformacin de Legendre . . . . . . . . . . . . .
1.3 Funciones covexas y cncavas . . . . . . . . . . . . . . . . . . . . .
1.3.1 Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . .
1.3.2 Funciones cncavas . . . . . . . . . . . . . . . . . . . . . . . .
1.3.3 Propiedades de las funciones convexas y cncavas . . . .
1.3.4 Cmo determinar si una funcin es convexa o cncava?
1.3.4.1 En caso de funciones de una variable . . . . . . . .
1.3.4.2 En caso de funciones de varias variables . . . . . .
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 1
. 2
. 6
. 7
. 8
. 9
. 12
. 12
. 15
2 TRANSFORMACION DE LEGENDRE PARA UNA VARIABLE INDEPENDIENTE

22
2.1 Obtencin mediante un enfoque geomtrico . . . . . . . . . . . . . . . . . . 22
2.2 Obtencin mediante un enfoque diferencial . . . . . . . . . . . . . . . . . . . 24
2.3 Ejemplos de Transformaciones de Legendre para funciones de una variable 24
vi
INDICE GENERAL
3 TRANSFORMACION DE LEGENGRE PARA MAS DE UNA VARIABLE INDEPENDIENTE
27
3.1 Obtencin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Ejemplos de Transformaciones de Legendre para funciones de varias variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
4 LA TRANSFORMACION DE LEGENDRE CON UNA O MAS VARIABLES PASIVAS Y SU FORMA VECTORIAL
32
4.1 Tipos de variables en una Transformacin de Legendre . . . . . . . . . . . . . 32

4.2 Ejemplos de Transformaciones de Legendre para funciones de varias variables con una o ms variables pasivas . . . . . . . . . . . . . . . . . . . . . . . 34
4.3 La Transformacin de Legendre en forma vectorial . . . . . . . . . . . . . . . 39
5 ALGUNAS PROPIEDADES MATEMATICAS DE LA TRANSFORMACION DE

LEGENDRE
5.0.1
5.0.2
5.0.3
5.0.4
La inversa de la Transformacin de Legendre .

Valores extremos . . . . . . . . . . . . . . . . . .
Simetras y relaciones entre derivadas . . . . .
Otras propiedades . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
40
.
.
.
.
6 ALGUNAS APLICACIONES DE LA TRANSFORMACION DE LEGENDRE

6.1 En la Mecnica Clsica . . . . . . . . . . . . . . . . . . . . . . .
6.2 En la Termodinmica . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.1 El Potencial de Helmholtz o Energa Libre de Helmholtz
6.2.2 La Entalpa . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.3 La Funcin de Gibbs o Energa Libre de Gibbs . . . . .
6.2.4 Potencial Gran Cannico . . . . . . . . . . . . . . . . . .
6.2.5 Otros Potenciales . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
40
44
45
46
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
49
51
51
51
52
52
7 EJERCITACION
53
A TRANSFORMACIONES CORRELATIVAS Y DE CONTACTO
56
A.1 Transformaciones correlativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

A.2 Transformaciones de contacto . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Pg.: vii
INDICE GENERAL
B CALCULOS REFERENTES A LA DEFINICION DE FUNCION CONVEXA
67
C TEOREMA DE EULER
70
D BIOGRAFIAS RESUMIDAS DE CIENTIFICOS DESTACADOS EN EL PRESENTE

TEXTO
71
D.1
D.2
D.3
D.4
D.5
D.6
D.7
D.8
D.9
JEAN-BAPTISTE JOSEPH FOURIER 1768 -1830 . . . . . . . . . . . . . . . . . . .

PIERRE-SIMON LAPLACE 1749 - 1827 . . . . . . . . . . . . . . . . . . . . . . . .
JULIUS PLCKER 1801 - 1868 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE) 1736 - 1813
SIR WILLIAM ROWAN HAMILTON 1805 - 1865 . . . . . . . . . . . . . . . . . . .
FRANOIS JACQUES DOMINIQUE MASSIEU 1832 - 1896 . . . . . . . . . . . .
LEONHARD EULER 1707 - 1783 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
HERMANN LUDWIG FERDINAND VON HELMHOLTZ 1821 - 1894 . . . . . . . .
JOSIAH WILLARD GIBBS 1839 - 1903 . . . . . . . . . . . . . . . . . . . . . . . .
BIBLIOGRAFIA
INDICE ALFABETICO
.
.
.
.
.
.
.
.
.
71
73
77
78
85
87
89
91
93
95
100
Pg.: viii
INDICE DE FIGURAS
1.1 (a) Representacin de la relacin fundamental F = F (u). (b) Representacin de una familia de relaciones fundamentales F = F (v). . . . . . .
1.2 Una curva dada puede representarse igualmente bien como envolvente
de una familia de lneas tangentes. . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 (a) Grfica de una funcin convexa F = F (u). (b) Grfica de su tangente
v = v (u). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 (a) Conjunto S convexo, (b) conjunto S no convexo. . . . . . . . . . . . . . .
1.5 Funcin F (u) convexa en el intervalo [ua ; ub ]. . . . . . . . . . . . . . . . . . . .
1.6 El Epigrafo de una funcin de valor real es la zona "sobre" la curva. . . . . .
1.7 Funcin F (u) cncava en el intervalo [ua ; ub ]. . . . . . . . . . . . . . . . . . . .
1.8 Grfica de la fincin F (u) = Cos (u). En el dominio 2 ; 32 es una funcin estrictamente convexa y en el dominio 32 ; 52 es una funcin estrictamente
cncava. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9 Representacin grfica de la desigualdad (1.9) que expresa la condicin
de convexidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10 Grfica de la funcin F (u) = u1 para u > 0. . . . . . . . . . . . . . . . . . . . .
1.11 Grfica de la funcin F (u) = e u para 6 0 y u > 0. . . . . . . . . . . . . . .
1.12 Grfica de la funcin F (u) = au2 + bu + c con a < 0 y u variable real. . . . . .
1.13 Grfica de la funcin F (u) = e u + u con > 0 y u variable real. . . . . . . .
1.14 Grfica de la funcin F (u1 ; u2 ) = u21 + u22 2u1 u2 . . . . . . . . . . . . . . . . . .
1.15 Grfica de la funcin F (u1 ; u2 ) = u41 + u22 . . . . . . . . . . . . . . . . . . . . . . .
1.16 Grfica de la funcin F (u1 ; u2 ) = u41 + u22 4u1 u2 . . . . . . . . . . . . . . . . . .
1.17 Grfica de la funcin F (u1 ; u2 ) = ln u1 + ln u2 . . . . . . . . . . . . . . . . . . . .
ix
3
4
6
7
8
9
10
11
12
14
15
15
16
18
19
19
20
INDICE DE FIGURAS
2.1 Obtencin geomtrica de la transformada de Legendre para una relacin
fundamental de una variable F = F (u). . . . . . . . . . . . . . . . . . . . . . . 23
A.1 Recta polar del punto P 0 (x0 ; y 0 ) respecto de la circunferencia x2 + y 2 = 1,
con centro en el origen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2 (a) Se fija P en el plano obtenindose su curva asociada CP0 en el plano
0
. (b) Se fija P 0 en el plano 0 obtenindose su curva asociada CP 0 en el
plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.3 (a) Movimiento de P en el plano y sus consecuencias en el plano 0 . (b)
Movimiento de P 0 en el plano 0 y sus consecuencias en el plano . . . . . .
A.4 (a) Si se tiene un punto Q0 que pertenece a la curva CP0 , entonces su curva
asociada CQ0 debe pasar por P. (b) Si se tiene un punto Q que pertenece
0
a la curva CP 0 , entonces su curva asociada CQ
debe pasar por P 0 . . . . . .
A.5 Dos curvas K y K1 que estn en contacto en un punto P se transforman
en otras dos K0 y K10 que tambin se tocan pero ahora en un punto P 0 . . . .
57
62
63
64
66
B.1 Detalles referentes a la definicin de Funcin Convexa. . . . . . . . . . . . . 67

D.1
D.2
D.3
D.4
D.5
D.6
D.7
Jean-Baptiste Joseph Fourier 1768 -1830 . . . . . . . . . . . . . . . .

Pierre-Simon Laplace 1749 - 1827 . . . . . . . . . . . . . . . . . . . .
Giuseppe Lodovico Lagrangia (Joseph Louis Lagrange) 1736-1813
Sir William Rowan Hamilton 1805-1865 . . . . . . . . . . . . . . . . . .
Leonhard Euler 1707 - 1783 . . . . . . . . . . . . . . . . . . . . . . . .
Hermann Ludwig Ferdinand von Helmholtz 1821-1894 . . . . . . . .
Josiah Willard Gibbs 1839-1903 . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
74
79
85
89
91
93
Pg.: x
PREFACIO
qu va el Prefacio.
Terenzio Soldovieri C.
xi
PREFACIO
Albert Einstein 1879 - 1955

Todos somos muy ignorantes. Lo que ocurre es que no todos ignoramos
las mismas cosas. Lo ms incomprensible del Universo, es que sea comprensible. Lo importante es no dejar de hacerse preguntas. Nunca consideres
el estudio como una obligacin, sino como una oportunidad para penetrar
en el bello y maravilloso mundo del saber. La alegra de ver y entender es
el ms perfecto don de la naturaleza.
Pg.: xii
CAPITULO 1
LA TRANSFORMACION DE LEGENDRE Y
DEFINICIONES BASICAS
Contenido
1.1
1.1
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Denicin de la Transformacin de Legendre . . . . . . . . . . . . . . .
1.3
Funciones covexas y cncavas . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1
Funciones convexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.2
Funciones cncavas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.3
Propiedades de las funciones convexas y cncavas . . . . . . . . . . . . . .
1.3.4
Cmo determinar si una funcin es convexa o cncava? . . . . . . . . . .
12
Introduccin
La palabra Transformacin se refiere a la accin o procedimiento mediante el cual

algo se modifica, altera o cambia de forma manteniendo su identidad. Bajo ciertas
circunstancias particulares, es til almacenar la informacin contenida en una determinada funcin de una forma diferente. Dos ejemplos comunes son las Transformaciones
de Fourier [Ref. 1, 2, 3, 4] y de Laplacey [Ref. 5, 6, 7]. Estas expresan la funcin como la
suma de exponenciales (reales o complejas), mostrando la informacin contenida en la
y
Ver apndice D.1 para una biografa resumida de Fourier.

Ver apndice D.2 para una biografa resumida de Laplace.
CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

funcin original en trminos de la suma de cada componente contenida en la misma,
ms que en trminos de su valor. En Mecnica Cuntica, una Transformacin de Fourier
permite pasar de la representacin de posicin a la de momento y viceversa [Ref. 8,9].
En la Fsica, la Transformacin de Legendre provee un cambio de variables que permite expresar ecuaciones de movimiento, u otras relaciones fsicas, en trminos de cantidades dinmicas ms convenientes para un anlisis terico o experimental dado. Especficamente, es una herramienta matemtica comnmente utilizada en Mecnica
Estadstica y Termodinmica [Ref. 10, 11, 12] donde permite escribir relaciones termodinmicas en trminos de conjuntos alternativos de variables independientes para as
definir los Potenciales Termodinmicos estudiados en los cursos bsicos de Termodinmica y tambin es utilizada en Mecnica Clsica [Ref. 13, 14, 15, 16, 17] y Teora de
Campos [Ref. 18] para establecer la correspondencia entre los marcos Lagrangiano y
Hamiltoniano de los sistemas dinmicos. Tambin es usada en otras reas de la fsica
como, por ejemplo, en Materia Condensada [Ref. 19].
1.2
Definicin de la Transformacin de Legendre
A continuacin se presentar el problema matemtico que concluye en la necesidad de definir la Transformacin de Legendre.
Supngase que se tiene una relacin matemtica cualquiera representada por la
funcin F ,
F = F (u1 ; u2 ; :::; un ) = F (ui ) , con i = 1; 2; 3; : : : ; n
(1.1)
que ser llamada Relacin Fundamental para sealar que contiene toda la informacin necesaria para caracterizar la relacin matemtica dada. Ahora, supngase que
se desea expresar F mediante una funcin G diferente,
G = G (v1 ; v2 ; :::; vn ) = G (vi ) , con i = 1; 2; 3; : : : ; n
(1.2)
en la que los argumentos vi sean precisamente las derivadas de la funcin F respecto

a las antiguas variables ui ,
@F (uj )
vi =
(1.3)
@ui
tomando estas nuevas variables como independientes sin perder nada de la informacin contenida en la relacin fundamental.
La solucin al anterior problema matemtico no se logra por el simple artilugio de
escribir las ui en trminos de las vi usando (1.3) y reemplazndolas en la relacin fundamental (1.1).
Pg.: 2
Figura 1.1: (a) Representacin de la relacin fundamental F = F (u). (b) Representacin de una familia
de relaciones fundamentales F = F (v).
Para comprender mejor lo inadecuado de este procedimiento pinsese en el caso

ms sencillo de una sola variable u. Si la relacin fundamental F = F (u) est representada como se muestra en la figura 1.1a y se elimina u mediante la expresin para la
pendiente v,
dF (u)
v=
(1.4)
du
una breve reflexin indica que con tal procedimiento se perdera algo del contenido
matemtico de la relacin fundamental F = F (u) puesto que:
1. Desde el punto de vista geomtrico es evidente que el conocimiento de F en funcin de la pendiente v no permitir reconstruir la curva F = F (u). En efecto, cualquiera
de las curvas de la figura 1.1b satisface la relacin F = F (v).
2. Desde el punto de vista analtico la relacin F = F (v) es una ecuacin diferencial
de primer orden y su integracin da una F = F (u) en la que queda indeterminada
una constante de integracin. As pues, se ve que la aceptacin de F = F (v) como
relacin fundamental en lugar de F = F (u) implicara la prdida de parte de la informacin contenida originalmente en la relacin fundamental. En efecto, supngase
que se tiene una funcin F = F (u), as la derivada es la pendiente en cada punto
de la curva y viene dada por (1.4). Ahora, si se quiere obtener F como funcin de v
se puede pensar en integrar (1.4),
Z
F = vdu + C
Pg.: 3

donde C es una constante de integracin. Entonces,
2
3
Z
1
dv
5 dv + C = F (v; C)
F = 4v
du
1
u=F
(v)
Resulta obvio que, aunque la funcin inversa F 1 estuviese bien definida, slo con la
informacin de F (u) no es posible determinar unvocamente F pues hay una constante C indeterminada.
A pesar de la conveniencia de disponer de v como variable independiente, este

sacrificio del contenido informativo es completamente inaceptable. La solucin aceptable al problema planteado [Ref. 10,11] es suministrada por la dualidad entre la geometra
convencional del punto y la Geometra de Plcker de las lneasz .
Figura 1.2: Una curva dada puede representarse igualmente bien como envolvente de una familia de
lneas tangentes.
El concepto esencial en la geometra de Plcker de las lneas es que una curva

dada puede representarse igualmente bien como envolvente de una familia de lneas
tangentes (ver figura 1.2) o como lugar geomtrico de los puntos que satisfacen la
relacin fundamental F = F (u). Por consiguiente, cualquier expresin que permita
construir la familia de lneas tangentes determina la curva tan satisfactoriamente como
la relacin F = F (u).
z
La geometra de Plcker propone una relacin funcional para las rectas a travs de los pares ordenados
(v; G (v)) donde v es la pendiente y G (v) la ordenada al origen. Ver apndice D.3 para una biografa
resumida de Plcker.
Pg.: 4

El procedimiento para encontrar G = G (v) lo proporciona la llamada Transformacin
de Legendre,
Una Transformacin de Legendre de una funcin de n variables independientes,
F = F (u1 ; u2 ; : : : ; un ) = F (ui ) , i = 1; 2; 3; : : : ; n
da como resultado una nueva funcin,
G = G (v1 ; v2 ; : : : ; vn ) = G (vi ) , i = 1; 2; 3; : : : ; n
@F (u )
en la que se sustituye una o ms de las variables ui de F por las derivadas vi = @uij

de la funcin F respecto a esas variables (variables conjugadas), de manera que no se
pierda nada de la informacin original contenida en F , es decir, F y G deben contener
indntica informacin y las mismas unidades.
o, en otras palabras,
Una Transformacin de Legendre es un procedimiento matemtico

mediante el cual se reemplaza una funcin de varias variables con una
nueva funcin que depende de las derivadas parciales de la funcin
original con respecto algunas de las variables independientes originales.
Dada una funcin F (u), la Transformacin de Legendre proporciona una forma ms

conveniente de almacenar la informacin en la funcin cuando son satisfechas las
siguientes condiciones:
1. La funcin F (u) es suave, es decir, tiene suficientes derivadas continuas.
2. La funcin F (u) es estrictamente convexa en el intervalo considerado.
3. Es ms fcil medir, controlar o pensar sobre la derivada de F con respecto a u que
hacerlo directamente respecto a u.
Debido a la condicin 1, la derivada de F (u) con respecto a u puede servir como
un sustituto de u, es decir, hay un mapeo uno a uno entre u y dFdu(u) . La Transformacin
de Legendre muestra cmo crear una funcin que contenga la misma informacin que
F (u) pero que, en vez de ser funcin de u, sea funcin de v (u) = dFdu(u) .
Una forma grfica de constatar cmo el valor de la pendiente v puede sustituir el
valor de u en una funcin convexa (la convexidad de una funcin ser abordada en la
Pg.: 5
Figura 1.3: (a) Grfica de una funcin convexa F = F (u). (b) Grfica de su tangente v = v (u).
siguiente seccin) puede verse considerando el ejemplo mostrado en la figura 1.3a. En

dicha figura la curva dibujada representa una funcin F (u) convexa. Al moverse a lo
largo de la curva hacia la derecha (el sentido en que u se incrementa), la pendiente v
de la tangente a la curva se incrementa continuamente. En otras palabras, si se grafica
la pendiente v como una funcin de u, resultar una curva suavemente creciente,
como se muestra en la figura 1.3b. Si la segunda derivada de F (u) existe en cualquier
rango de u en la cual F (u) est definida (que es parte de la condicin de que F (u)
sea suave), entonces existe un valor nico de la pendiente v para cada valor de u y
viceversa. En lenguaje matemtico apropiado, se dice que existe una relacin 1 1
entre v y u.
Este tipo de transformacin recibi la denominacin antes indicada despus de que
A. Legendre las investig por primera vez en 1789. La Transformacin de Legendre es
un ejemplo particular de las Transformaciones de Contactox [Ref. 20, 21], por esta razn
tambin es conocida como la Transformacin de Contacto de Legendre.
1.3
Funciones covexas y cncavas
En virtud de la condicin 2, mecionada en la seccin anterior, es pertinente a

este nivel hacer una pequea revisin acerca de las funciones convexas y cncavas
[Ref. 22, 23, 24], haciendo incapi en los aspectos de relevancia para el presente texto.
x
Vase el apndice A.
Pg.: 6
1.3.1 Funciones convexas

Antes de definir lo que s una Funcin Convexa, es pertinente definir Conjunto Convexo.
Figura 1.4: (a) Conjunto S convexo, (b) conjunto S no convexo.
Un conjunto S es convexo si no existen puntos A y B en S tales que

en el segmento de recta entre A y B exista, al menos, un punto que no
pertenece a S (ver figura 1.4).
Es de hacer notar que se incluye el conjunto vaco dentro de la definicin de conjunto convexo. La definicin tambin incluye conjuntos unitarios donde A y B tienen
que ser el mismo punto y por lo tanto la lnea entre A y B es el mismo punto.
Ahora bien,
Sea S
Rn un conjunto convexo no vaco y sea F : S ! R, se dice
que F es una Funcin Convexa en S si y slo si,
F [ ua + (1
) ub ] 6 F (ua ) + (1
) F (ub )
(1.5)
8 2 [0; 1] ^ 8ua ; ub 2 S, como se muestra grficamente en la figura 1.5.

Vase el apndice B para una explicacin de la figura 1.5. Geomtricamente, F =
F (u) ser convexa si el segmento que une dos puntos cualesquiera de la grfica de
la funcin se sita siempre encima o a la altura de sta, es decir, en su Epigrafo. EL
Epigrafo de una funcin es la zona "arriba" de la funcin, como se muestra en la figura
1.6. Anlogamente, el conjunto de puntos en o por debajo de esta funcin es un
Hipografo.
Pg.: 7
Figura 1.5: Funcin F (u) convexa en el intervalo [ua ; ub ].
Una Funcin Estrictamente Convexa es aquella en que,

F [ ua + (1
) ub ] < F (ua ) + (1
) F (ub )
(1.6)
8 2 (0; 1) ^ 8ua ; ub 2 S con ua 6= ub .
1.3.2 Funciones cncavas

Sea S
Rn un conjunto convexo no vaco y sea F : S ! R, se dice
que F es una Funcin Cncava en S si y solo si F es convexa, es decir,
cuando se verifica que,
F [ ua + (1
) ub ] > F (ua ) + (1
) F (ub )
(1.7)
8 2 [0; 1] ^ 8ua ; ub 2 S, como se muestra grficamente en la figura 1.7.

y adems,
Una Funcin Estrictamente Cncava es aquella en que,

F [ ua + (1
) ub ] > F (ua ) + (1
) F (ub )
(1.8)
8 2 (0; 1) ^ 8ua ; ub 2 S con ua 6= ub .

Pg.: 8
Figura 1.6: El Epigrafo de una funcin de valor real es la zona "sobre" la curva.
Geomtricamente, F = F (u) ser cncava si el segmento que une dos puntos cualesquiera de la grfica de la funcin se sita siempre por debajo de sta, es decir, en
su Hipografo.
Las funciones lineales son cncavas y convexas a la vez, dado que cumplen la
definiciones (1.4) y (1.6) como una igualdad entre los dos miembros. Sin embargo, por
lo anterior, no son extrictamente convexas ni extrictamente cncavas. Por el contrario,
la funcin coseno F (u) = Cos (u), mostrada en la figura 1.8, no es cncava ni convexa
sobre todo su dominio R pero, sin embargo, sobre ciertos subdominios si tiene algunas
de estas propiedades. As, en el dominio 2 ; 32 es una funcin convexa, mientras que
en el dominio 32 ; 52 es una funcin cncava, sindolo estrictamente en ambos casos.
Es de hacer notar que,
Las definiciones que se han presentado sobre funciones covexas y

cncavas no exigen ni la continuidad ni la diferenciabilidad de la funcin.
1.3.3 Propiedades de las funciones convexas y cncavas

Siguientemente se presentarn algunas propiedades, sin demostrarlas [Ref. 25, 26,
27], relacionadas con el carcter cncavo o convexo de las funciones: sea S un conjunto convexo y no vaco,
1. Si la funcin F es cncava en S, entonces
F es convexa en S.
Pg.: 9
Figura 1.7: Funcin F (u) cncava en el intervalo [ua ; ub ].
2. Si la funcin F es convexa en S, entonces
F es cncava en S.
3. Si la funcin F es estrictamente cncava en S, entonces

vexa en S.
F es estrictamente con-
4. Si la funcin F es estrictamente convexa en S, entonces

cava en S.
F es estrictamente cn-
5. La suma de funciones convexas sigue siendo una funcin convexa.

6. La suma de funciones cncavas sigue siendo una funcin cncava.
7. Si las n funciones Fi , i = 1; 2; 3; : : : ; n son convexas en S, entonces su combinacin
lineal,
n
X
i Fi , con i > 0 (escalares)
i=1
es convexa en S.
8. Si las n funciones Fi , i = 1; 2; 3; : : : ; n son cncavas en S, entonces su combinacin

lineal,
n
X
i Fi , con i > 0 (escalares)
i=1
es cncava en S.
9. Las funciones lineales son a la vez cncavas y convexas, pero no estrictamente.

Pg.: 10
Figura 1.8: Grfica de la fincin F (u) = Cos (u). En el dominio 2 ; 32 es una funcin estrictamente convexa y en el dominio 32 ; 52 es una funcin estrictamente cncava.
10. Si F y Q son funciones convexas y Q es creciente, entonces la funcin compuesta

F Q es convexa.
11. Si F es una funcin cncava y Q es convexa y decreciente, entonces la funcin
compuesta F Q es convexa.
12. Si F y Q son funciones cncavas y Q es creciente, entonces la funcin compuesta
F Q es cncava.
13. Si F es una funcin convexa y Q es cncava y decreciente, entonces la funcin
compuesta F Q es cncava.
14. Si F es una funcin convexa y creciente, entonces F 1 es una funcin cncava o,
equivalentemente, si F es una funcin cncava y creciente, entonces F 1 es una
funcin convexa.
15. Si F es una funcin convexa y decreciente, entonces F 1 es una funcin convexa
o, equivalentemente, si F es una funcin cncava y decreciente, entonces F 1 es
cncava.
16. El producto de funciones cncavas no ha de ser necesariamente una funcin cncava.
17. El producto de funciones convexas no ha de ser necesariamente una funcin convexa.
Pg.: 11
1.3.4 Cmo determinar si una funcin es convexa o cncava?

Obsrvese que no es fcil determinar si una funcin es convexa o cncava por
definicin. Por ello es conveniente disponer de unas condiciones necesarias y suficientes que permitan determinarlo, estudiando otros elementos ms operativos.
Siempre que la funcin dada sea al menos dos veces derivable, se puede determinar su carcter convexo o cncavo.
1.3.4.1
En caso de funciones de una variable
Figura 1.9: Representacin grfica de la desigualdad (1.9) que expresa la condicin de convexidad.
Si la funcin F = F (u) es derivable entonces la convexidad equivale a la condicin que expresa la desigualdad,
d
F (ub )
F (ua ) 6
dx
ub
F (ua )
d
6
F (ub )
ua
dx
(1.9)
como se muestra grficamente en la figura 1.9. Esto significa que la pendiente de la

curva entre los puntos ua y ub est contenida entre los valores extremos de la derivada,
lo cual equivale a que la derivada sea creciente en todo el dominio de F . Si F es
dos veces derivable, el carcter creciente de la primera derivada implica que que la
segunda derivada sea positiva,
d2
F
du2
(u) > 0
(1.10)
Para una funcin

convexa
Pg.: 12

y para una funcin estrictamente convexa,
d2
F
du2
(1.11)
(u) > 0
Para una funcin

estrictamente convexa
Mediante un razonamiento anlogo al anterior se puede encontrar que para las
funciones cncavas se debe cumplir que,
d2
F
du2
(u) 6 0
(1.12)
Para una funcin

cncava
y,
d2
F
du2
(1.13)
(u) < 0
Para una funcin

estrictamente cncava
para una funcin estrictamente cncava.
...............................................................................................
EJEMPLO 1.1
Determinar si la funcin,
1
u
F (u) =
con u > 0, es cncava o covexa. Ver figura 1.10.

SOLUCION: al hallar la segunda derivada de la funcin dada resulta,
2
d2
F (u) = 3 > 0
2
du
u
lo cual indica que es estrictamente convexa.
...............................................................................................
EJEMPLO 1.2
F (u) = e
con 6 0 y u > 0 variable real, es cncava o covexa. Ver figura 1.11.

d2
F (u) =
du2
60
lo cual indica que es cncava.

Pg.: 13
Figura 1.10: Grfica de la funcin F (u) =
1
u
para u > 0.
...............................................................................................
EJEMPLO 1.3
F (u) = au2 + bu + c
con a < 0 y u variable real, es cncava o covexa. Ver figura 1.12.

d2
F (u) = 2a < 0
du2
lo cual indica que es estrictamente cncava.
...............................................................................................
EJEMPLO 1.4
F (u) = e
con
+u
> 0 y u variable real, es cncava o covexa. Ver figura 1.13.

d2
F (u) =
du2
>0
lo cual indica que es convexa.

...............................................................................................
Pg.: 14
Figura 1.11: Grfica de la funcin F (u) = e
para
6 0 y u > 0.
Figura 1.12: Grfica de la funcin F (u) = au2 + bu + c con a < 0 y u variable real.
1.3.4.2
En caso de funciones de varias variables
Antes de indicar cmo saber si una funcin de varias variables es convexa o cncava se definir la Matriz Hessiana H y sus menores principales.
Pg.: 15
Figura 1.13: Grfica de la funcin F (u) = e
+ u con
> 0 y u variable real.
La matriz Hessiana H de una funcin de n variables F =

F (u1 ; u2 ; :::; un ) = F (ui ), con i = 1; 2; 3; : : : ; n, es la matriz cuadrada
simtrica n n formada por las segundas derivadas de F (ui ) y cuyos
elementos vienen dados por,
Hij =
@F (uk )
@ui @uj
(1.14)
Una matriz simtrica es una matriz cuadrada cuya transpuesta es igual a ella misma.
Explcitamente la matriz Hessiana se escribe como,
1
0 @2F
@2F
@2F
@2F
B
B
B
B
H=B
B
B
@
@u21
@2F
@u2 @u1
@2F
@u3 @u1
@u1 @u2
@2F
@u22
@2F
@u3 @u2
@u1 @u3
@2F
@u2 @u3
@2F
@u23
@2F
@un @u1
@2F
@un @u2
@2F
@un @u3
..
.
..
.
..
.
...
@u1 @un
@2F
@u2 @un
@2F
@u3 @un
..
.
@2F
@u2n
C
C
C
C
C
C
C
A
(1.15)
Se llaman Menores Principales Dominantes Dk de la matriz Hessiana H a los n determinantes,
Dk =
@2F
@u21
@2F
@u2 @u1
@2F
@u3 @u1
@2F
@u1 @u2
@2F
@u22
@2F
@u3 @u2
@2F
@u1 @u3
@2F
@u2 @u3
@2F
@u23
@2F
@uk @u1
@2F
@uk @u2
@2F
@uk @ q 3
..
.
..
.
..
.
..
@2F
@u1 @uk
@2F
@u2 @uk
@2F
@u3 @uk
, con k = 1; 2; 3; : : : ; n
(1.16)
..
.
@2F
@u2k
Pg.: 16

o explcitamente,
D1 =
@2F
@u21
! D2 =
! Dn =
@2F
@u21
@2F
@u2 @u1
@2F
@u3 @u1
..
.
@2F
@un @u1
@2F
@u21
@2F
@u2 @u1
@2F
@u1 @u2
@2F
@u22
@2F
@u3 @u2
..
.
@2F
@un @u2
@2F
@u1 @u2
@2F
@u22
@2F
@u1 @u3
@2F
@u2 @u3
@2F
@u23
..
.
! D3 =
..
@2F
@u21
@2F
@u2 @u1
@2F
@u3 @u1
@2F
@u1 @u2
@2F
@u22
@2F
@u3 @u2
@2F
@u1 @u3
@2F
@u2 @u3
@2F
@u23
@2F
@u1 @un
@2F
@u2 @un
@2F
@u3 @un
@2F
@un @u3
..
.
@2F
@u2n
Ahora bien, es posible asociar el carcter de la funcin F = F (ui ) con el estado de

la matriz Hessiana H la cual es mostrada en la siguiente tabla:
Valores propios
de H
Dk
>0
Dk > 0, k = 1; 2; 3; : : : ; n
>0
Dk > 0, k = 1; 2; 3; : : : ; n
8
>
< Dk 6 0, k impar.
y
>
:
D > 0, k par.
8 k
> Dk < 0, k impar.
<
y
>
:
Dk > 0, k par.
F (ui )
Estrictamente
convexa
Convexa
Definida
positiva
Semidefinida
positiva
Cncava
Semidefinida
negativa
60
Estrictamente
cncava
Definida
negativa
<0
y si la funcin no es convexa ni cncava, entonces se dice que es indefinida.
...............................................................................................
EJEMPLO 1.5
Determinar si la funcin F : R2 ! R,
F (u1 ; u2 ) = u21 + u22
2u1 u2
es cncava o covexa. Ver figura 1.14.

SOLUCION: se halla la matriz Hessiana (1.15) a partir de la funcin dada,
!
!
@2F
@2F
2
2
@u1 @u2
@u21
H=
=
@2F
@2F
2 2
@u2 @u1
@u2
(1.17)
Pg.: 17
Figura 1.14: Grfica de la funcin F (u1 ; u2 ) = u21 + u22
2u1 u2 .
y a partir de aqu se hallan los menores principales dominantes (1.16),

2
D1 = 2 > 0
6
2
2
4
D2 =
=0
2 2
(1.18)
cumplindose el caso 2 de la tabla, indicando que la matriz Hessiana es semidefinida

positiva en todo R2 . Por lo tanto, F (u1 ; u2 ) es convexa en todo R2 .
...............................................................................................
EJEMPLO 1.6
F (u1 ; u2 ) = u41 + u22

!
!
@2F
@2F
2
2
12u
0
@u1 @u2
@u1
1
=
H=
@2F
@2F
0
2
@u2 @u1
@u2
(1.19)

2
D1 = 12u21 > 0
6
12u21 0
4
D2 =
= 24u21 > 0
0
2
(1.20)
cumplindose el caso 2 de la tabla, indicando que la matriz Hessiana es semidefinida

positiva en todo R2 . Por lo tanto, F (u1 ; u2 ) es convexa en todo R2 .
Pg.: 18
Figura 1.15: Grfica de la funcin F (u1 ; u2 ) = u41 + u22 .
...............................................................................................
EJEMPLO 1.7
F (u1 ; u2 ) = u41 + u22
4u1 u2
Figura 1.16: Grfica de la funcin F (u1 ; u2 ) = u41 + u22
4u1 u2 .
Pg.: 19

!
!
@2F
@2F
2
2
4
12u
@u1 @u2
@u1
1
H=
=
@2F
@2F
4
2
@u2 @u1
@u2
(1.21)

2
D1 = 12u21 > 0
6
4
12u21
4
= 24u21 16 > 0
D2 =
4
2
(1.22)
El signo de D2 depende de u1 lo que indica que la matriz Hessiana no es semidefinida

positiva ni negativa en todo R2 . Por esta razn la funcin F (u1 ; u2 ) es indefinida en todo
R2 , pudiendo ser convexa o cncava en algunos subconjuntos de R2 .
...............................................................................................
EJEMPLO 1.8
Determinar si la funcin F : (0; 1)
(0; 1) ! R,
F (u1 ; u2 ) = ln u1 + ln u2
Figura 1.17: Grfica de la funcin F (u1 ; u2 ) = ln u1 + ln u2 .

!
!
@2F
@2F
1
0
@u1 @u2
@u21
u21
H=
=
@2F
@2F
1
0
@u2 @u1
@u2
u2
2
(1.23)
Pg.: 20

2
D1 = u12 < 0
1
6
1
6
0
u21
4 D =
= u21u2 > 0
2
1
1 2
0
u2
(1.24)
cumplindose el caso 4 de la tabla, indicando que la matriz Hessiana es definida negativa en todo (0; 1) (0; 1). Por lo tanto, F (u1 ; u2 ) es cncava en todo (0; 1) (0; 1).
...............................................................................................
Pg.: 21
CAPITULO 2
TRANSFORMACION DE LEGENDRE PARA
UNA VARIABLE INDEPENDIENTE
Contenido
2.1
2.1
Obtencin mediante un enfoque geomtrico . . . . . . . . . . . . . . .
22
2.2
Obtencin mediante un enfoque diferencial . . . . . . . . . . . . . . . .
24
2.3
Ejemplos de Transformaciones de Legendre para funciones de una

variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
Obtencin mediante un enfoque geomtrico
Para encontrar la forma de realizar esta transformacin se tomar, por este momento, una ruta geomtrica [Ref. 28, 29, 30, 31]. Considrese la grfica de F (u) versus
u mostrada en la figura 2.1. Escjase ahora un valor de u que represente la abcisa del
punto donde la recta tangente toca a F (u), por lo tanto, F (u) ser la ordenada de
dicho punto. La ordenada del punto de corte de la tangente a la curva con el eje
horizontal (eje F ) est representado por G. Es fcil entonces ver a partir del tringulo
ABC que,
F +G
dF (u)
=
=v
(2.1)
Tg =
u
du
22
CAPITULO 2. TRANSFORMACION DE LEGENDRE PARA UNA VARIABLE INDEPENDIENTE
Figura 2.1: Obtencin geomtrica de la transformada de Legendre para una relacin fundamental de
una variable F = F (u).
de aqu que,
G (v) = uv F (u)
Transformacin de Legendre
para una variable independiente
(2.2)
donde la funcin G (v) se denomina Transformacin de Legendre de F (u). A la variable

v se le da el nombre de Variable Conjugada de u.
Se tienen ahora dos posibles situaciones:
1. Se conoce la relacin F (u) y se quiere hallar G (v): este es el caso que representa
la Transformacin de Legendre (2.2). Si se conoce F (u) entonces se tiene tambin
v = dFdu(u) , de donde se puede despejar u como funcin de v y reemplazarla en (2.2).
De esta manera G queda como una funcin slo de v, G = G (v).
2. Se conoce la relacin G (v) y se quiere hallar F (u): al despejar F de (2.2) resulta,
F (u) = uv G (v)
Transformacin de Legendre Inversa
para una variable independiente
donde ahora,
u=
dG (v)
dv
(2.3)
(2.4)
Pg.: 23

Ahora, si se conoce G (v) entonces a partir de (2.4) se puede despejar v como funcin de u y reemplazarla en (2.3). De esta manera F queda como una funcin slo
de u, F = F (u). Esta es la Transformacin de Legendre Inversa de la funcin G (v).
2.2
Obtencin mediante un enfoque diferencial
Se obtendr ahora la Transformacin de Legendre (2.2) mediante un enfoque diferencial [Ref. 30, 31]. Al diferenciar la funcin F = F (u) resulta,
dF =
si ahora se hace,
v=
dF
du
du
(2.5)
dF
du
(2.6)
entonces se puede escribir que,

dF = vdu
(2.7)
d (uv) = udv + vdu
(2.8)
Por otro lado,

de manera que, al restar (2.7) de (2.8) resulta,
d (uv)
dF = udv + vdu
d (uv
vdu
F ) = udv
dG = udv
donde se ha introducido la funcin,
G = uv
(2.9)
que es la Transformacin de Legendre buscada. Puesto que se han tomado diferenciales de u y v, es posible tomar estas dos cantidades como variables independientes
de la nueva funcin G.
2.3
Ejemplos de Transformaciones de Legendre para funciones de una variable
...............................................................................................
Pg.: 24

EJEMPLO 2.1
Sea F (u) = u3 , encontrar su Transformacin de Legendre.
SOLUCION: de (2.2),
u3
G (v) = uv
(2.10)
y de (2.1),
v
dF (u)
d
v=
=
u3 = 3u2 ) u (v) =
du
du
3
por lo tanto, al sustituir (2.11) en (2.10) resulta,
1
2
v
G (v) =
3
(2.11)
3
2
v
3
1
2
o,
G (v) = 2
v
3
3
2
(2.12)
que es la Transformacin de Legendre pedida.

...............................................................................................
EJEMPLO 2.2
Sea F (u) = au2 + bu + c (a, b y c constantes), encontrar su Transforma-
cin de Legendre.
SOLUCION: de (2.2),
au2 + bu + c
G (v) = uv
(2.13)
y de (2.1),
d
dF (u)
1
=
(v b)
au2 + bu + c = 2au + b ) u (v) =
du
du
2a
(
)
2
1
1
1
G (v) =
(v b) v
a
(v b) + b
(v b) + c
2a
2a
2a
v=
(2.14)
o,
G (v) =
1
4a
b)2
(v
(2.15)

...............................................................................................
EJEMPLO 2.3
Sea F (u) = eu + 1, encontrar su Transformacin de Legendre.
SOLUCION: de (2.2),
G (v) = uv
(eu + 1)
(2.16)
Pg.: 25

y de (2.1),
dF (u)
d u
=
(e + 1) = eu ) u (v) = ln v
du
du
(2.17)
v=
G (v) = v ln v
(v + 1)
o,
G (v) = v (ln v
1)
(2.18)

...............................................................................................
EJEMPLO 2.4
Sea F (u) = u ln u, encontrar su Transformacin de Legendre.
SOLUCION: de (2.2),
G (v) = uv
(2.19)
u ln u
y de (2.1),
d
dF (u)
=
(u ln u) = ln u + 1 ) u (v) = ev
du
du
v=
G (v) = ev 1 v
ev
G (v) = ev
ln ev
(2.20)
o,
(2.21)

...............................................................................................
Pg.: 26
CAPITULO 3
TRANSFORMACION DE LEGENGRE PARA
MAS DE UNA VARIABLE INDEPENDIENTE
Contenido
3.1
3.1
Obtencin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
3.2
Ejemplos de Transformaciones de Legendre para funciones de varias

variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
Obtencin
Ahora bien, todo el desarrollo anterior es vlido para el caso de ms de una variable independiente. Esto se puede mostrar a partir de un enfoque diferencial como el
de la seccin 2.2. En efecto, dada una funcin de n variables independientes,
F = F (u1 ; u1 ; u3 ; : : : ; un ) = F (uj ) , con j = 1; 2; 3; : : : ; n
su diferencial total viene dado por,
X @F (uj )
@F
@F
@F
@F
du1 +
du2 +
du3 + : : : +
dun =
dui
dF (uj ) =
@u1
@u2
@u3
@un
@ui
i=1
n
y si se hace,
vi =
@F (uj )
@ui
27
(3.1)
CAPITULO 3. TRANSFORMACION DE LEGENGRE PARA MAS DE UNA VARIABLE

INDEPENDIENTE
entonces,
dF (uj ) =
n
X
(3.2)
vi dui
i=1
Por otro lado es posible escribir que,
d (u1 v1 ) = u1 dv1 + v1 du1

d (u2 v2 ) = u2 dv2 + v2 du2
d (u3 v3 ) = u3 dv3 + v3 du3
..
.
(3.3)
d (un vn ) = un dvn + vn dun

que al ser sumadas miembro a miembro resulta en,
d (u1 v1 ) + d (u2 v2 ) + d (u3 v3 ) +
+ d (un vn ) = u1 dv1 + v1 du1 + u2 dv2 + v2 du2 + u3 dv3 + v3 du3

+
d (u1 v1 + u2 v2 + u3 v3 +
+ un dvn + vn dun
+ un vn ) = (u1 dv1 + u2 dv2 + u3 dv3 +

+v3 du3 +
o,
d
n
X
ui v i
i=1
n
X
+ un dvn ) + (v1 du1 + v2 du2
+ vn dun )
ui dvi +
i=1
n
X
(3.4)
vi dui
i=1
Ahora, al restar miembro a miembro (3.2) de (3.4) se obtiene,

!
n
n
n
n
X
X
X
X
d
ui vi
dF (uj ) =
ui dvi +
vi dui
vi dui
i=1
d
o,
"
n
X
i=1
ui v i
dF (uj )
i=1
n
X
ui dvi
|i=1
{z
=0
i=1
i=1
dG (vj ) =
n
X
ui dvi
(3.5)
i=1
donde,
G (vj ) =
n
X
ui v i
F (uj ) , j = 1; 2; 3; : : : ; n
(3.6)
i=1
Transformacin de Legendre
para n variables independientes uj
con,
vi =
@F (uj )
@ui
(3.7)
Pg.: 28

INDEPENDIENTE
3.2
Ejemplos de Transformaciones de Legendre para funciones de varias variables
...............................................................................................
EJEMPLO 3.1
Encuentre la Transformacin de Legendre G (v1 ; v2 ) de la funcin,

F (u1 ; u2 ) = eu1 + u22
SOLUCION: este es un caso de n = 2 variables independientes, por lo tanto, de (3.6)

se puede escribir,
G (v1 ; v2 ) = u1 v1 + u2 v2
eu1 + u22
(3.8)
y de (3.7),
@F
@
=
eu1 + u22 = eu1 ) u1 = ln v1
@u1
@u1
@
@F
1
=
=
eu1 + u22 = 2u2 ) u2 = v2
@u2
@u2
2
v1 =
v2
por lo tanto, al sustituir (3.9) y (3.10) en (3.8) resulta,

"
1
v1 +
G (v1 ; v2 ) = v1 ln v1 + v2 v2
2
1
v2
2
(3.9)
(3.10)
(3.11)
o,
G (v1 ; v2 ) = v1 (ln v1
1) + 41 v22
(3.12)

...............................................................................................
EJEMPLO 3.2
Encuentre la Transformacin de Legendre G (v1 ; v2 ; v3 ) de la funcin,

F (u1 ; u2 ; u3 ) = u21 + cu3 Sen u2
donde c es una constante.

se puede escribir,
G (v1 ; v2 ; v3 ) = u1 v1 + u2 v2 + u3 v3
u21 + cu3 Sen u2
(3.13)
Pg.: 29

INDEPENDIENTE
y de (3.7),
1
@
@F
=
u21 + cu3 Sen u2 = 2u1 ) u1 = v1
@u1
@u1
2
1
@F
@
=
=
u21 + cu3 Sen u2 = cu3 Cos u2 ) u3 = v2 sec u2
@u2
@u2
c
1
@F
@
=
=
u21 + cu3 Sen u2 = c Sen u2 ) u2 = Sen 1
v3
@u3
@u3
c
v1 =
(3.14)
v2
(3.15)
v3
(3.16)
de las cuales,
u1 =
1
v1
2
u2 = Sen
u3 =
(3.17)
1
1
v3
c
1
v2 sec Sen
c
(3.18)
1
1
v3
c
=p
v2
c2
(3.19)
v32
por lo tanto, al sustituir (3.17) a (3.19) en (3.13) resulta,

G (v1 ; v2 ; v3 ) =
o,
1
1
v2
v1 v1 + v2 Sen 1
v3 + v3 p
2
c
c2 v32
(
2
1
v2
1
v1 + c p
Sen Sen 1
v3
2
2
2
c
c
v3
G (v1 ; v2 ; v3 ) = 14 v12 + v2 Sen
1
v
c 3
(3.20)
(3.21)

...............................................................................................
EJEMPLO 3.3
Encuentre la Transformacin de Legendre G (v1 ; v2 ; v3 ; v4 ) de la fun-
cin,
F (u1 ; u2 ; u3 ; u4 ) = u2 ln u1
Cos u3 + u2 u4
donde c es una constante.

se puede escribir,
G (v1 ; v2 ; v3 ; v4 ) = u1 v1 + u2 v2 + u3 v3 + u4 v4
(u2 ln u1
Cos u3 + u2 u4 )
(3.22)
Pg.: 30

INDEPENDIENTE
y de (3.7),
@F
@u1
@F
=
@u2
@F
=
@u3
@F
=
@u4
v1 =
v2
v3
v4
@
@u1
@
=
@u2
@
=
@u3
@
=
@u4
=
u2
u1
(3.23)
(u2 ln u1
Cos u3 + u2 u4 ) =
(u2 ln u1
Cos u3 + u2 u4 ) = ln u1 + u4
(3.24)
(u2 ln u1
Cos u3 + u2 u4 ) = Sen u3
(3.25)
(u2 ln u1
Cos u3 + u2 u4 ) = u2
(3.26)
de las cuales,
v4
v1
= v4
u1 =
(3.27)
u2
(3.28)
u3 = Sen
u4 = v 2
(3.29)
(v3 )
v4
ln
v1
(3.30)

G (v1 ; v2 ; v3 ; v4 ) =
o,
v4
v4
v1 + v4 v2 + v3 Sen 1 (v3 ) + v2 ln
v1
v1
v4
v4 ln
Cos Sen 1 (v3 ) + v4 v2
v1
h
G (v1 ; v2 ; v3 ; v4 ) = v4 1 + v2
ln
v4
v1
v32 + v3 Sen
v4
ln
v4
v1
(v3 )
(3.31)
(3.32)
...............................................................................................
Pg.: 31
CAPITULO 4
LA TRANSFORMACION DE LEGENDRE
CON UNA O MAS VARIABLES PASIVAS Y
SU FORMA VECTORIAL
Contenido
4.1
Tipos de variables en una Transformacin de Legendre
. . . . . . . .
32
4.2
Ejemplos de Transformaciones de Legendre para funciones de varias

variables con una o ms variables pasivas . . . . . . . . . . . . . . . . .
34
La Transformacin de Legendre en forma vectorial . . . . . . . . . . .
39
4.3
4.1
Tipos de variables en una Transformacin de Legendre
En una Transformacin de Legendre podemos distinguir dos tipos de variables [Ref. 16]:
las Variables Activas y las Variables Pasivas.
A las variables que se incluyen en la sumatoria de (3.6), es decir, las

variables que se transforman se les denominan Variables Activas y las variables adicionales que no son parte de la transformacin como tal, pero
tienen estatus de parmetros, se les denominan Variables Pasivas.
32
CAPITULO 4. LA TRANSFORMACION DE LEGENDRE CON UNA O MAS VARIABLES PASIVAS

Y SU FORMA VECTORIAL
La expresin general para la transformacin de una funcin con n variables activas
ui y m variables pasivas wj queda ahora escrita como,
G (vj ; wk ) =
n
X
ui v i
F (uj ; wk ) , j = 1; 2; 3; : : : ; n y k = 1; 2; 3; : : : ; m
(4.1)
i=1
Transformacin de Legendre para n variables activas uj

y m variables pasivas wk
con,
vi =
@F (uj ;wk )
@ui
(4.2)
Es posible encontrar cmo estn relacionadas las derivadas parciales, con respecto
a las variables pasivas, de las funciones F y G. En efecto, supngase que se tiene
F = F (u1 ; u2 ; w) y G = G (v1 ; v2 ; w), donde w es una variable pasiva, y que satisfacen las
expresiones,
@F
@F
v1 =
v2 =
@u
@u
(4.3)
| {z 1}
| {z 2}
v1 =v1 (u1 ;u2 ;w)
v2 =v2 (u1 ;u2 ;w)
@G
u1 =
@v
| {z 1}
@G
u2 =
@v
| {z 2}
u1 =u1 (v1 ;v2 ;w)
(4.4)
u2 =u2 (v1 ;v2 ;w)
donde (4.3) define v1 y v2 como funciones de u1 , u2 y w; y (4.4) define u1 y u2 como

funciones de v1 , v2 y w.
De (4.1) se tiene que,
(4.5)
F (u1 ; u2 ; w) + G (v1 ; v2 ; w) = u1 v1 + u2 v2
Al dferenciar esta expresin con respecto a w resulta (aplicando la regla de la cadena),

@F @u1
@F @u2 @F @w
@G @v1 @G @v2 @G @w
@u1
@v1 @u2
@v2
+
+
+
+
+
=
v1 + u1
+
v2 + u2
@u1 @w
@u2 @w
@w |{z}
@w
@v1 @w
@v2 @w
@w |{z}
@w
@w
@w
@w
@w
=1
=1
o,
@F
@G
+
=
@w @w
v1
|
de aqu que,
@F @u1
@F @u2
@G @v1
@G @v2
+ v2
+ u1
+ u2
= 0 (4.6)
@u1 @w
@u2 @w
@v1 @w
@v2 @w
{z
}
|
{z
}
|
{z
}
|
{z
}
=0 por (4.3)
=0 por (4.3)
@F
@w
@G
@w
=0
=0 por (4.4)
@F
@w
=0 por (4.4)
@G
@w
(4.7)
Pg.: 33

que es la relacin buscada y se mantiene para cada una de las variables pasivas, es
decir, habr una relacin de este tipo para cada una de las variables pasivas presentes.
En general,
@F (ui ;wi )
@wk
4.2
@G(vi ;wi )
@wk
=0
@F (ui ;wi )
@wk
@G(vi ;wi )
,
@wk
i = 1; 2; 3; : : : ; n y k = 1; 2; 3; : : : ; m
(4.8)
Ejemplos de Transformaciones de Legendre para funciones de varias variables con una o ms variables pasivas
...............................................................................................
EJEMPLO 4.1
Encuentre la Transformacin de Legendre G (v1 ; v2 ; w) de la funcin,

F (u1 ; u2 ; w) = 2u21
3u1 u2 + u22 + 3wu1
donde w es una variable pasiva. Verifique que,

@G
@F
+
=0
@w @w
SOLUCION: de (4.1),
2u21
G (v1 ; v2 ; w) = u1 v1 + u2 v2
3u1 u2 + u22 + 3wu1
(4.9)
y de (4.2),
@F
@
=
2u21
@u1
@u1
@F
@
=
=
2u21
@u2
@u2
v1 =
3u1 u2 + u22 + 3wu1 = 4u1
v2
3u1 u2 + u22 + 3wu1 =
3u2 + 3w
3u1 + 2u2
(4.10)
(4.11)
Al resolver el sistema formado por (4.10) y (4.11) para u1 y u2 resulta,

u1 =
2v1
3v2 + 6w
(4.12)
u2 =
3v1
4v2 + 9w
(4.13)
por lo tanto, al sustituir (4.12) y (4.13) en (4.9), y despus de algunos clculos algebraicos
elementales resulta,
G (v1 ; v2 ; w) =
(v1
3w)2 + v2 (9w
3v1
2v2 )
(4.14)

Pg.: 34

Por otro lado, deben cumplirse las identidades (4.8). En efecto,
@F
@G
@
+
=
2u21 3u1 u2 + u22 + 3wu1
@w @w
@w
@
+
(v1 3w)2 + v2 (9w 3v1
@w
= 3u1 + 6 (v1 3w) + 9v2
= 3 ( 2v1 3v2 + 6w) + 6 (v1
|
{z
}
2v2 )
3w) + 9v2 = 0
por (4.12)
verificndose as que
@F
@w
@G
@w
= 0.
...............................................................................................
EJEMPLO 4.2
Encuentre la Transformacin de Legendre G (v1 ; v2 ; v3 ; w1 ; w2 ) de la
funcin,
F (u1 ; u2 ; u3 ; w1 ; w2 ) = 7u1 u3 + 2u22
5w1 u3
w22
donde w1 y w2 son variables pasivas. Verifique adems que,

@G
@F
@G
@F
+
=0 y
+
=0
@w1 @w1
@w2 @w2
SOLUCION: de (4.1),
G (v1 ; v2 ; v3 ; w1 ; w2 ) = u1 v1 + u2 v2 + u3 v3
7u1 u3 + 2u22
5w1 u3
w22
(4.15)
y de (4.2),
@F
= 7u3
@u1
@F
=
= 4u2
@u2
@F
=
= 7u1
@u3
v1 =
(4.16)
v2
(4.17)
v3
5w1
(4.18)
de las cuales se obtiene,

1
(v3 + 5w1 )
7
1
=
v2
4
1
=
v1
7
u1 =
(4.19)
u2
(4.20)
u3
(4.21)

G (v1 ; v2 ; v3 ; w1 ; w2 ) = 18 v22 + 17 v1 (v3 + 5w1 ) + w22
(4.22)
Pg.: 35

@F
@G
@F
+
=
7u1 u3 + 2u22 5w1 u3 w22
@w1 @w1
@w1
@ 1 2 1
+
v + v1 (v3 + 5w1 ) + w22
@w1 8 2 7
5
=
5u3 + v1
7
1
5
=
5
v1 + v1 = 0
7
7
| {z }
por (4.21)
y,
@G
@
@F
+
=
7u1 u3 + 2u22 5w1 u3 w22
@w2 @w2
@w2
@ 1 2 1
v + v1 (v3 + 5w1 ) + w22
+
@w2 8 2 7
=
2w2 + 2w2 = 0
verificndose as que
@F
@w1
@G
@w1
=0y
@F
@w2
@G
@w2
= 0.
...............................................................................................
EJEMPLO 4.3
Encuentre la Transformacin de Legendre G (v; w) de la funcin,

1
F (u; w) = mR2 u2
2
mgR Cos w
donde w es una variable pasiva, m y R son constantes. Verifique que,

@F
@G
+
=0
@w @w
SOLUCION: de (4.1),
G (v; w) = uv
1
mR2 u2
2
(4.23)
mgR Cos w
y de (4.2),
v=
@F
@
=
@u
@u
1
mR2 u2
2
mgR Cos w
= mR2 u ) u =
v
mR2
(4.24)
que al sustituir en (4.23) resulta,

G (v; w) =
v
v
mR2
1
v
mR2
2
mR2
mgR Cos w
(4.25)
Pg.: 36

o,
G (v; w) =
1 v2
2 mR2
(4.26)
+ mgR Cos w

@G
@
1
@F
+
=
mR2 u2 mgR Cos w
@w @w
@w 2
1 v2
@
+
+ mgR Cos w
@w 2 mR2
= 0
verificndose as que
@F
@w
@G
@w
= 0.
...............................................................................................
EJEMPLO 4.4
Encuentre la Transformacin de Legendre G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 ) de la
funcin,
F (u1 ; u2 ; u3 ; w1 ; w2 ; w3 ) = w1 u2 ln u1
w3 Cos u3 + w2 u2
donde w1 , w2 y w3 son variables pasivas. Verifique que,

@G
@F
@G
@F
@G
@F
+
= 0,
+
=0 y
+
=0
@w1 @w1
@w2 @w2
@w3 @w3
SOLUCION: de (4.1),
G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 ) = u1 v1 + u2 v2 + u3 v3
(w1 u2 ln u1
w3 Cos u3 + w2 u2 )
(4.27)
y de (4.2),
@F
@
=
(w1 u2 ln u1
@u1
@u1
@F
@
=
=
(w1 u2 ln u1
@u2
@u2
@F
@
=
=
(w1 u2 ln u1
@u3
@u3
w1 u2
u1
(4.28)
v1 =
w3 Cos u3 + w2 u2 ) =
v2
w3 Cos u3 + w2 u2 ) = w1 ln u1 + w2
(4.29)
w3 Cos u3 + w2 u2 ) = w3 Sen u3
(4.30)
v3
de las cuales resulta,

v2
w2
u 1 = e w1
v1 v2w w2
u2 =
e 1
w1
v3
u3 = Sen 1
w3
(4.31)
(4.32)
(4.33)
Pg.: 37

G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 ) = v1 e
v2 w2
w1
w1
+ v2
v1 v2w w2
e 1 + v3 Sen
w1
v2 w2
v1 v2w w2
e 1 ln e w1
w1
o,
G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 ) =
w32
v3
w3
w3 Cos Sen
v32 + v1 e
v2 w2
w1
v3
w3
+ v3 Sen
+ w2
v1 v2w w2
e 1(4.34)
w1
v3
w3
(4.35)

@F
@G
@
+
=
(w1 u2 ln u1 w3 Cos u3 + w2 u2 )
@w1 @w1
@w1
q
v2 w2
v3
@
+
w32 v32 + v1 e w1 + v3 Sen 1
@w1
w3
v2 w2
v1
= u2 ln u1
(v2 w2 ) e w1
w12
v2 w2
v2 w2
v1 v2w w2
v1
w1
e 1 ln e w1
(v
w
)
e
=
=0
2
2
w1
w12
@G
@
@F
+
=
(w1 u2 ln u1 w3 Cos u3 + w2 u2 )
@w2 @w2
@w2
q
v2 w2
@
+
w32 v32 + v1 e w1 + v3 Sen
@w2
v1 v2w w2
e 1
= u2
w1
v1 v2w w2
v1 v2w w2
e 1
e 1 =0
=
w1
w1
| {z }
v3
w3
por (4.32)
y,
@F
@G
@
+
=
(w1 u2 ln u1 w3 Cos u3 + w2 u2 )
@w3 @w3
@w3
q
v2 w2
@
v3
+
w32 v32 + v1 e w1 + v3 Sen 1
@w3
w3
2
w3
v
p 3
=
Cos u3 + p 2
w3 v32 w3 w32 v32
v3
w3
v2
p 3
=
Cos Sen 1
+p 2
w3
w3 v32 w3 w32
verificndose as que
@F
@w1
@G
@w1
= 0,
@F
@w2
@G
@w2
=0y
@F
@w3
@G
@w3
v32
=0
= 0.
...............................................................................................
Pg.: 38

4.3
La Transformacin de Legendre en forma vectorial
Si las variables activas v1 ; v2 ; v3 ; : : : ; vn , u1 ; u2 ; u3 ; : : : ; un y las variables pasivas w1 ; w2 ; w3 ; : : : ; wm

son representadas mediante los vectores [Ref. 16],
)
!
v = (v1 ; v2 ; v3 ; : : : ; vn )
! variables activas
!
(4.36)
u = (u1 ; u2 ; u3 ; : : : ; un )
!
w = (w ; w ; w ; : : : ; w ) ! variables pasivas
1
entonces,
8
< !
v =
: !
u =
@F
@F @F @F
;
;
; : : : ; @u
@u1 @u2 @u3
n
@G @G @G
@G
; ; ; : : : ; @v
@v1 @v2 @v3
n
= gradu F (!
u ;!
w)
= grad G (!
v ;!
w)
(4.37)
de esta manera la expresin (4.1) puede ser reproducida mediante,

G (!
v ;!
w) = !
u !
v
F (!
u ;!
w)
(4.38)
Por ltimo, en esta misma forma, las relaciones (4.8) entre las derivadas parciales con
respecto a las variables pasivas de las funciones F y G pueden ser escritas como,
@F @F @F
@F
;
;
;:::;
@w1 @w2 @w3
@wm
@G
;
@w1
@G
;
@w2
@G
;:::;
@w3
@G
@wm
o,
gradw F (!
u ;!
w) =
gradw G (!
v ;!
w)
(4.39)
Pg.: 39
CAPITULO 5
ALGUNAS PROPIEDADES MATEMATICAS
DE LA TRANSFORMACION DE LEGENDRE
Contenido
5.0.1
La inversa de la Transformacin de Legendre . . . . . . . . . . . . . . . .
40
5.0.2
Valores extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
5.0.3
Simetras y relaciones entre derivadas . . . . . . . . . . . . . . . . . . . .
45
5.0.4
Otras propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
La construccin geomtrica y las relaciones resultantes permiten mostrar relaciones elegantes y tiles. En particular considrense las siguientes [Ref. 32, 30]:
5.0.1 La inversa de la Transformacin de Legendre

Ordinariamente, la inversa de una transformacin es distinta de la transformacin
en s como, por ejemplo, ocurre con la transformacin inversa de la Transformacin de
Laplace. La Transformacin de Legendre se distingue entre ellas ya que ella misma es su
inversa. Si se lleva a cabo la Transformacin de Legendre por segunda vez, se recobra
la funcin original.
Se demostrar esta propiedad, por simplicidad, para el caso de una variable independiente pero el resultado es vlido para el caso de ms de una variable independiente. Dada la funcin F = F (u), su Transformacin de Legendre viene dada segn
40
CAPITULO 5. ALGUNAS PROPIEDADES MATEMATICAS DE LA TRANSFORMACION DE

LEGENDRE
(2.2) por,
dF (u)
du
Ahora, supngase que se quiere la Transformacin de Legendre de G (v) que ser denominada H (u ) para efectos de la presente demostracin. Esta transformacin, como
ya se sabe, se obtiene al usar (2.2) como sigue,
F (u) , con v =
G (v) = uv
G (v) , con u =
H (u ) = u v
dG (v)
dv
(5.1)
Segn la propiedad de la inversa de la Transformacin de Legendre, debe cumplirse

que H = F . En efecto, de (5.1),
H (u ) = u v
[uv F (u)] = (u
{z
}
|
(5.2)
u) v + F (u)
por (2.2)
pero,
u
d
dG (v)
du
= [uv F (u)] = u + v
|
{z
}
dv
dv
dv
dF (u) du
du dv
por (2.2)
= u+v
du
dv
du
v
=u
|{z}
dv
(5.3)
por (2.1)
por lo tanto, al sustituir el resultado (5.3) en (5.2), resulta,

(5.4)
H (u) = F (u)
de aqu que,
La Transformacin de Legendre de una Transformacin de Legendre

es la funcin original, es decir, ella misma es su inversa. En otras palabras,
[Ref. 33]
la Transformacin de Legendre es Autodual o una Involucin
.
En matemtica, una involucin, funcin involutiva o tambin autodual es una funcin matemtica que es su propia inversa. La Transformacin de Legendre inversa para
una funcin de n variables G (vj ) viene dada por,
F (uj ) =
n
X
ui v i
G (vj ), j = 1; 2; 3; : : : ; n
(5.5)
i=1
con,
ui =
@G(vj )
@vi
(5.6)
Pg.: 41

LEGENDRE
o en forma ms general al incluir m variables pasivas,
F (uj ; wk ) =
n
X
ui v i
G (vj ; wk ) , j = 1; 2; 3; : : : ; n y k = 1; 2; 3; : : : ; m
(5.7)
i=1
Transformacin de Legendre Inversa

para n variables activas vj y m variables pasivas wk
con,
ui =
@G(vj ;wk )
@vi
(5.8)
cumpliendo cada variable pasiva con las condiciones (4.8).

...............................................................................................
EJEMPLO 5.1
Encuentre la Transformacin de Legendre de la transformacin encontrada en el ejemplo 2.1,

v 32
G (v) = 2
3
SOLUCION: de (5.2),
v 32
F (u) = uv 2
(5.9)
3
y de (5.3),
dG (v)
d
v 12
v 32
u=
=
=
) v = 3u2
(5.10)
2
dv
dv
3
3
2
F (u) = 3u u
1 2
3u
3
3
2
= u3
(5.11)
o,
F (u) = u3
(5.12)
que es, precisamente, la funcin cuya Transformacin de Legendre es la G (v) dada en

el ejemplo 2.1.
...............................................................................................
EJEMPLO 5.2

G (v1 ; v2 ) = v1 (ln v1
1
1) + v22
4
Pg.: 42

LEGENDRE
SOLUCION: este es un caso de dos variables independientes, por lo tanto, de (5.2),
F (u1 ; u2 ) = u1 v1 + u2 v2
v1 (ln v1
1
1) + v22
4
(5.13)
y de (5.3),
@G
@
=
v1 (ln v1
@v1
@v1
@
@G
=
v1 (ln v1
=
@v2
@v2
u1 =
u2
1
1) + v22 = ln v1 ) v1 = eu1
4
1
1
1) + v22 = v2 ) v2 = 2u2
4
2
(5.14)
(5.15)
por lo tanto, al sustituir (5.14) y (5.15) en (5.13) resulta,

F (u1 ; u2 ) = u1 eu1 + 2u2 u2
eu1 (ln eu1
1) +
1
(2u2 )2
4
(5.16)
o,
F (u1 ; u2 ) = eu1 + u22
(5.17)
que es, precisamente, la funcin cuya Transformacin de Legendre es la G (v1 ; v2 ) dada

en el ejemplo 3.1.
...............................................................................................
EJEMPLO 5.3

1
1
G (v1 ; v2 ; v3 ; w1 ; w2 ) = v22 + v1 (v3 + 5w1 ) + w22
8
7
SOLUCION: este es un caso de tres variables independientes, por lo tanto, de (5.2),
F (u1 ; u2 ; u3 ; w1 ; w2 ) = u1 v1 + u2 v2 + u3 v3
1 2 1
v + v1 (v3 + 5w1 ) + w22
8 2 7
(5.18)
y de (5.3),
@G
@
=
@v1
@v1
@G
@
=
=
@v2
@v2
@G
@
=
=
@v3
@v3
u1 =
u2
u3
1 2
v +
8 2
1 2
v +
8 2
1 2
v +
8 2
1
1
v1 (v3 + 5w1 ) + w22 = (v3 + 5w1 ) ) v3 = 7u1
7
7
1
1
v1 (v3 + 5w1 ) + w22 = v2 ) v2 = 4u2
7
4
1
1
v1 (v3 + 5w1 ) + w22 = v1 ) v1 = 7u3
7
7
5w1 (5.19)
(5.20)
(5.21)

F (u1 ; u2 ; u3 ; w1 ; w2 ) = 7u3 u1 + 4u2 u2 + u3 (7u1
1
1
(4u2 )2 + 7u3 (7u1
8
7
5w1 )
5w1 + 5w1 ) + w22
(5.22)
Pg.: 43

LEGENDRE
o,
F (u1 ; u2 ; u3 ; w1 ; w2 ) = 7u1 u3 + 2u22
5w1 u3
w22
(5.23)
que es, precisamente, la funcin cuya Transformacin de Legendre es la G (v1 ; v2 ; v3 ; w1 ; w2 )

dada en el ejemplo 4.2.
...............................................................................................
5.0.2 Valores extremos

Supngase que la funcin F (u) es convexa (como en la figura 2.1), entonces debe
tener un mnimo. Suponiendo que esto ocurre, entonces el mnimo es nico. Dentese
este punto por,
Fmn = F (umn )
(5.24)
Por supuesto, la pendiente se anula en este punto, es decir, v (umn ) = 0. Si se introduce este punto en la expresin (2.2), que define la Transformacin de Legendre,
resulta que el valor mnimo de F es,
Fmn =
G (0)
(5.25)
De forma similar, a partir del hecho de que F es la Transformacin de Legendre de G,

se puede concluir que el valor mnimo de G es,
Gmn =
F (0)
(5.26)
Ahora bien, se puede usar (2.2) escrita en la forma,

G (v) + F (u) = uv
(5.27)
(que muestra la simetra entre G (v) ; v y F (u) ; u explcitamente) para ver qu ocurre
para extremos generales. Supngase que F (u) toma su valor extremo en uext , el cual
corresponde a una tangente horizontal, v = 0. De esta manera, a partir de (5.27),
G (0) + F (uext ) = 0
(5.28)
De forma similar, G (v) tendr un valor extremo en vext , donde u (vext ) = 0 debido a (2.4),
de manera que,
G (vext ) + F (0) = 0
(5.29)
Para apreciar el significado geomtrico de esta ecuacin slo se necesita examinar
la figura 2.1 y ver que la interseccin de la tangente a la curva F (u) con el eje vertical
nunca alcanza ms all de F (0).
Pg.: 44

LEGENDRE
5.0.3 Simetras y relaciones entre derivadas

Puesto que F (u) y G (v) son transformaciones de Legendre la una de la otra, es
de esperarse que existan numerosas relaciones simtricas. Las primeras relaciones de
simetra las constituyen las mismas relaciones que proporcionan la Transformacin de
Legendre (2.2) y las relaciones entre v (2.1) y u (2.4),
G (v) + F (u) = uv
v = dFdu(u) , u = dG(v)
dv
(5.30)
A partir de estas expresiones se puede obtener un conjunto de relaciones, entre F (u)

y G (v), que conducen a otras relaciones muy elegantes e interesantes entre derivadas
parciales [Ref. 30]. En efecto, al derivar (2.1) con respecto a u y (2.4) con respecto a v
resultan,
dv (u)
d2 F (u)
=
du
du2
2
d G (v)
du (v)
=
dv
dv 2
(5.31)
(5.32)
que al ser multiplicadas miembro a miembro dan como resultado,

d2 G (v) d2 F (u)
du dv
=
dv du
dv 2
du2
o,
d2 G(v) d2 F (u)
dv 2
du2
(5.33)
=1
que es una relacin simtrica para la segunda derivada, ilustrando claramente la importancia de la covexidad estricta ya que ninguno de los dos factores pueden anularse.
Derivando (5.33) con respecto a u (igual resulta con respecto a v) se puede escribir
una relacin simtrica para la tercera derivada,
d3 G
dv 3
3=2
d2 G
dv 2
d3 F
du3
3=2
d2 F
du2
=0
(5.34)
Es posible obtener un conjunto infinito de relaciones como (5.33) y (5.34) para derivadas
de orden superior, derivando una y otra vez. Tal ejercicio tambin muestra que si F es
suave, entonces G tambin lo es. Las relaciones para derivadas superiores son ms y
ms complejas.
Pg.: 45

LEGENDRE
5.0.4 Otras propiedades

A continuacin se presentarn, sin demostracin, algunas propiedades adicionales de
la Transformacin de Legendre donde, por razones de facilitar la notacin, se usar el
asterisco para indicar la aplicacin de la misma sobre una funcin dada:
1. Si F (u) = aQ (u) entonces,
F (v) = aQ
v
a
(5.35)
F (v) = Q
v
a
(5.36)
2. Si F (u) = Q (au) entonces,
3. Si F (u) = Q (u) + a entonces,

F (v) = Q (v) + a
(5.37)
F (v) = Q (v) + av
(5.38)
4. Si F (u) = Q (u + a) entonces,
5. Si F (u) = Q
(u) entonces,
F (v) =
vQ
1
v
(5.39)
6. Mapea funciones convexas a funciones convexas.
Pg.: 46
CAPITULO 6
ALGUNAS APLICACIONES DE LA
TRANSFORMACION DE LEGENDRE
Contenido
6.1
En la Mecnica Clsica . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
6.2
En la Termodinmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
6.2.1
El Potencial de Helmholtz o Energa Libre de Helmholtz . . . . . . . . . .
51
6.2.2
La Entalpa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
6.2.3
La Funcin de Gibbs o Energa Libre de Gibbs . . . . . . . . . . . . . . .
51
6.2.4
Potencial Gran Cannico . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
6.2.5
Otros Potenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
A continuacin se presentarn, de una forma muy resumida, dos de las ms importantes aplicaciones (entre muchas de ellas [Ref. 34, 35, 18, 36, 37, 19]) de la Transformacin de Legendre en la Fsica: en la Mecnica Clsica y en la Termodinmica.
6.1
En la Mecnica Clsica
Como es estudiado en los cursos de Mecnica Clsica, sta puede ser abordada
mediante tres tipos de formulaciones: la formulacin Newtoniana, la formulacin Lagrangiana y la formulacin Hamiltonianay . La primera es vectorial y las dos restantes
y
Ver apndice D.4 para una biografa resumida de Lagrange.

Ver apndice D.5 para una biografa resumida de Hamilton.
47
CAPITULO 6. ALGUNAS APLICACIONES DE LA TRANSFORMACION DE LEGENDRE

son energticas [Ref. 13, 14, 15, 16, 17].
En el campo de la Mecnica Clsica, la Transformacin de Legendre
es til ya que permite construir la Mecnica Hamiltoniana a partir de la
Mecnica Lagrangiana y viceversa.
En la Mecnica Lagrangiana el comportamiento de un sistema mecnico dado
puede ser determinado a partir de su Lagrangiano L = L qi ; q i ; t , que es igual a la
diferencia entre su energa cintica total T y su energa potencial total U ,
L qi ; q i ; t = T
(6.1)
que es una funcin explcita de las coordenadas generalizadas qi , las velocidades generalizadas q i y el tiempo t. Por otro lado, en la Mecnica Hamiltoniana, el comportamiento del sistema mecnico viene dado a partir de su Hamiltoniano H = H (qi ; pi ; t),
que es una funcin explcita de las coordenadas generalizadas qi , los momentos generalizados (o momentos conjugados) pi y el tiempo t. En esta formulacin los momentos
generalizados pueden ser obtenidos a partir de,
@L qj ;q j ;t
pi =
@ qi
(6.2)
que es el equivalente a las variables vi en (4.2). Con todo esto se est en condiciones
ahora para construir el Hamiltoniano a partir del Lagrangiano, siendo as el primero la
Transformacin de Legendre del segundo,
P
H (qi ; pi ; t) = q j pj L qi ; q i ; t
(6.3)
j
donde el miembro derecho debe ser escrito de tal manera que slo quede en funcin
de qi , pi y t, para lo cual se emplea (6.2) para encontrar las q i en funcin de los pi . Es fcil
notar aqu que las variables activas son las velocidades generalizadas ya que son ellas
las que se transforman en los momentos generalizados, mientras que las pasivas son las
velocidades generalizadas y el tiempo.
Ambas formulaciones energticas de la Mecnica Clsica, antes mencionadas,
poseen su propio campo de aplicacin en teora y prctica, dependiendo de la sencillez de cmputo de una situacin en particular. Las coordenadas no tienen necesariamente que ser rectilneas o cartesianas, sino tambin ngulos, reas, energas,
momentos, etc. Una escongencia ptima de estas ltimas tomara ventaja de las
simetras fsicas reales del sistema mecnico objeto de estudio. La formulacin Hamiltoniana tiene amplia aplicacin en la Mecnica Cuntica [Ref. 38] y en Teora de Campos [Ref. 39, 40].
Pg.: 48
6.2
En la Termodinmica
F. Massieuz , en 1869, fue el primero que us las Transformaciones de Legendre en la

Termodinmica [Ref. 21,32]. En esta rea se hace uso de la Transformacin de Legendre
Negativa, es decir, con un cambio de signo en su construccin [Ref. 32, 41]. Siguiendo
clculos casi idnticosx a los realizados en la seccin 3.1 puede escribirse que,
G (vj ; wk ) = F (uj ; wk )
n
X
ui vi , j = 1; 2; 3; : : : ; n y k = 1; 2; 3; : : : ; m
(6.4)
i=1
Transformacin de Legendre Negativa para n variables activas uj

y m variables pasivas wk
con,
vi =
@F (uj ;wk )
@ui
(6.5)
la cual es completamente equivalente [Ref. 42] a (4.1). Ntese que el cambio de (6.4)
con respecto a (4.1) est en los signos de los trminos del miembro derecho ya que
fueron intercambiados.
La ecuacin fundamental de un sistema termodinmico puede escribirse tomando
como variable independiente tanto la entropa como la energa [Ref. 43, 11, 44, 12, 45,
41],
S = S (U; V; Ni ) ! representacin entrpica
(6.6)
U = U (S; V; Ni ) ! representacin energtica
(6.7)
En estas dos representaciones los parmetros extensivos son las variables matemticamente independientes, en tanto que los parmetros intensivos aparecen como conceptos derivados{ . Esta situacin est en contraste directo con la situacin prctica
dictada por la comodidad en el laboratorio. El experimentador encuentra frecuentemente que los parametros intensivos son los que se pueden medir y controlar ms fcilmente y, por consiguiente, es verosmil pensar en los parmetros intensivos como
variables operativamente independientes y en los parmetros extensivos como magnitudes operativamente derivadas.
z
x
{
Ver apndice D.6 para una biografa resumida.

Rstese (3.4) de (3.2).
Las variables intensivas son propiedades independientes de la cantidad o masa de materia. Las variables
extensivas dependen de la masa. Ms an, si el sistema termodinmico considerado est dividido en
varias partes. el valor total de la propiedad extensiva debe ser igual a la suma de los valores de las
partes.
Pg.: 49
En el campo de la Termodinmica, la Transformacin de Legendre permite encontrar los denominados Potenciales Termodinmicos, los
cuales son relevantes bajo condiciones constantes de las nuevas variables independientes.
Un sistema simple se caracteriza por las dos variables de configuracin asociadas a

su mera existencia. Un sistema, para existir, ha de tener masa y extensin. Escogindose
la representacin energtica, se tienen los siguientes principios bsicos:
1. Existen estados de equilibrio caracterizados macroscpicamente por la entropa S,
el volumen V y el nmero de moles Ni de sus componentes qumicos.
2. Existe una funcin U = U (S; V; Ni ), llamada Energa Interna, definida para los estados de equilibrio y con la propiedad de que su valor es mnimo compatible con las
ligaduras impuestas al sistema.
3. La Entropa S satisface algunas condiciones matemticas: es continua, diferenciable
y es funcin homognea de grado 1. Esto ltimo se establece a partir del Teorema
de Euler k .
Al hallar la diferencial total de la funcin U = U (S; V; Ni ) resulta que,
dU =
@U
@S
@U
@V
dS +
V;Ni
dV +
S;Ni
r
X
i=1
@U
@Ni
dNi
(6.8)
S;V
donde derivadas parciales son reemplazadas mediante smbolos especiales que

reciben el nombre de parmetro intensivos y se acostumbra a usar la siguiente notacin,
@U
T ! Temperatura
(6.9)
@S V;Ni
@U
@V
@U
@Ni
i
S;V
P
S;Ni
! Presin
Potenciales Electroqumicos
o Potenciales Qumicos
(6.10)
(6.11)
de manera que (6.8) se puede escribir ahora como,

dU = T dS
P dV +
r
X
i dNi
(6.12)
i=1
Ver el apndice D.7 para una biografa resumida de Euler y el apndice C para el enunciado y
demostracin del Teorema.
Pg.: 50

A las nuevas funciones obtenidas a partir de la energa interna U = U (S; V; Ni ) mediante transformaciones de Legendre se las llama Potenciales Termodimicos. A las
funciones obtenidas de la misma forma pero a partir de la representacin entrpica
S = S (U; V; Ni ) se las llama Funciones de Massieu. Es fcil notar que se pueden realizar seis posibles Transformaciones de Legendre, es decir, se pueden obtener seis Potenciales Termodinmicos distintos. De los seis, tres de ellos se usan de forma tan frecuente que reciben nombre propio. Son el Potencial de Helmholtz o Energa Libre de
Helmholtz F , la Entalpa H y la Funcin de Gibbsyy o Energa Libre de Gibbs G. Siguientemente se presentan estos seis potenciales,
6.2.1 El Potencial de Helmholtz o Energa Libre de Helmholtz

El Potencial Helmholtz F es la Transformacin de Legendre parcial de U que reemplaza como variable independiente la Entropia S por la temperatura T , que son las
variables activas, y se toma como pasivas el resto de las variables,
F (T; V; Ni ) = U
TS
(6.13)
Aqu, S y T son las variables activas de la transformacin.
6.2.2 La Entalpa
La Entalpa H es la Transformacin de Legendre parcial de U que reemplaza como
variable independiente el volumen V por la presin P , que son las variables activas, y
se toma como pasivas el resto de las variables,
H (S; P; Ni ) = U + P V
(6.14)
Aqu, V y P son las variables activas de la transformacin.
6.2.3 La Funcin de Gibbs o Energa Libre de Gibbs

La Energa Libre de Gibbs G es la Transformacin de Legendre que reemplaza simultneamente como variables independientes la Entropa S por la temperatura T y el
volumen V por la presin P , que son las variables activas, tomndose como pasivas el
resto de las variables,
G (T; P; Ni ) = U T S + P V
(6.15)
Aqu, S, T , V y P son las variables activas de la transformacin.
yy

Pg.: 51
6.2.4 Potencial Gran Cannico

El Potencial Gran Cannico es un Potencial Termodinmico que aparece, de forma
natural, en la teora de la Mecnica Estadstica de un sistema simple de un componente
y viene dado por la Transformacin de Legendre,
U (T; V;
i) = U
r
P
TS
i Ni
(6.16)
i=1
6.2.5 Otros Potenciales

Otras transformaciones posibles de la energa U = U (S; V; Ni ) para un sistema simple, que se utilizan con escasa frecuencia y que por consiguiente no reciben denominacin especifica, vienen dados por las siguientes expresiones,
U (S; V;
i) = U
r
X
(6.17)
i Ni
i=1
U (S; P;
i) = U + P V
r
X
i Ni
(6.18)
i=1
Pg.: 52
CAPITULO 7
EJERCITACION
1. Sea F (u) = un , encontrar su transformada de Legendre. Resp.: G (v) = (n
2. Sea F (u) =
1 2
G (v) = 2k
v .
1
ku2
2
1)
v
n
n
n 1
(k constante), encontrar su transformada de Legendre. Resp.:
3. Sea F (u) = 1 u ( constante), encontrar su transformada de Legendre. Resp.: G (v) =

1 1 v 1.
4. Encuntrese la transformada de Legendre,
G = G (v1 ; v2 )
de la funcin,
F (u1 ; u2 ) = 2u21 + 3u1 u2 + u22
Resp.: G (v1 ; v2 ) =
v12 + 3v1 v2
2v22 .

G = G (v1 ; v2 ; v3 )
de la funcin,
F (u1 ; u2 ; u3 ) = au21 + bu23 + u2 u1
donde a y b son constantes. Resp.: G (v1 ; v2 ; v3 ) = v1 v2 +
G = G (v; w)
53
1 2
v
4b 3
av22
CAPITULO 7. EJERCITACION
de la funcin,
F (u; w) = w u2 w
donde w es una variable pasiva. Verifique que,

@G
@F
+
=0
@w @w
Resp.: G (v; w) =
1
v2
4w2
+ 4w.

G = G (v1 ; v2 ; w1 ; w2 )
de la funcin,
F (u1 ; u2 ; w1 ; w2 ) = 2u21 w1 + 3u1 u2 w2 + u22
donde w1 y w2 son variables pasivas. Verifique que,
@F
@G
@F
@G
+
= 0,
+
=0
@w1 @w1
@w2 @w2
Resp.: G (v1 ; v2 ; w1 ; w2 ) =
2v22 w1 +v12 3v1 w2 v2

.
8w1 9w22
8. Encuentre la transformada de Legendre,

G = G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 )
de la funcin,
F (u1 ; u2 ; u3 ; w1 ; w2 ; w3 ) = u2 (w1 + w2 u1 ) + u3 (w2
w3 u3 )
donde w1 , w2 y w3 son variables pasivas. Verifique que,

@F
@G
@F
@G
+
= 0,
+
=0
@w1 @w1
@w2 @w2
@F
@G
y
+
= 0
@w3 @w3
Resp.: G (v1 ; v2 ; v3 ; w1 ; w2 ; w3 ) =
1
w2
(v2
w1 ) v1 +
1
4w3
(2w2
v3 ) v3
w22 .
9. Si G = G (v) es la transformada de Legendre de F = F (u), muestre la relacin

simtrica de las transformaciones de Legendre para la tercera derivada,
d3 G
dv 3
d2 G 3=2
dv 2
d3 F
du3
d2 F 3=2
du2
=0
derivando la relacin simtrica ya mostrada en el desarrollo del captulo,

d2 G (v) d2 F (u)
=1
dv 2
du2
Pg.: 54
CAPITULO 7. EJERCITACION
9.1. con respecto a u y
9.2. con respecto a v.
10. Muestre que si G = G (vi ) es la transformada de Legendre de F = F (ui ), entonces la
transformada de Legendre de G = G (vi ) es precisamente F = F (ui ).
11. Encuentre la transformada de Legendre de la funcin G obtenida en el problema
1 y verifique que se reobtiene la funcin F dada en dicho problema.
19. Obtenga la Transformacin de Legendre Negativa,
G (vj ) = F (uj )
n
X
i=1
ui vi , vi =
@F (uj )
, con j = 1; 2; 3; : : : ; n
@ui
mediante diferenciacin de la funcin F = F (uj ).
Pg.: 55
APENDICE A
TRANSFORMACIONES CORRELATIVAS Y
DE CONTACTO
En el presente apndice se tratar el tema referente a las Transformaciones Geomtricas Correlativas y de Contacto, que se agrupan en las llamadas Transformaciones con
Cambio del Elemento de Espacio.
Ambas se pueden agrupar en transformaciones que hacen cambiar la naturaleza
de los elementos espaciales transformados. Aqu se considerar slo el caso bidimensional de ambas en el que, fijando un sistema de ejes coordenados, un punto P se
transforma en otro distinto P 0 y sus respectivas coordenadas (x; y) y (x0 ; y 0 ) se relacionan mediante cierta expresin analtica, la cual define el tipo de transformacin a ser
estudiada.
A.1
Transformaciones correlativas
En esta seccin, como primera clase de estas correspondencias con cambio de naturaleza en los elementos homlogos , se considerarn las llamadas Transformaciones
[Ref. 20]
Correlativas.
Dos elementos, uno del conjunto origen y otro del conjunto imagen, se dice que son homlogos, si estn
relacionados segn una correspondencia f .
56
APENDICE A. TRANSFORMACIONES CORRELATIVAS Y DE CONTACTO
Las Transformaciones Correlativas son aquellas que hacen corresponder

un punto a una recta en el caso bidimensional y un punto a un plano en el
caso tridimensional, o viceversa para ambos casos. Por esto ltimo, algunas
veces, se les llama tambin Transformaciones Dualsticas.
Aqu sern consideradas aquellas que transforman un punto a una recta en el plano,
es decir, slo el caso bidimensional. La idea a desarrollar consiste en usar las constantes
u y v de la ecuacin,
ux + vy = 1
(A.1)
como coordenadas de la recta que ella representa, pudindose operar con estas coordenadas de la misma forma como se hace con las coordenadas de los puntos.
Figura A.1: Recta polar del punto P 0 (x0 ; y 0 ) respecto de la circunferencia x2 + y 2 = 1, con centro en el
origen
Para hacer el estudio de la transformacin correlativa, considrense dos planos

y 0 . En el plano los puntos tienen coordenadas (x; y) y las rectas son ux + vy = 1,
mientras que en el plano 0 los puntos tienen coordenadas (x0 ; y 0 ). Si las coordenadas
x0 ; y 0 estn ligadas a las u, v de las rectas del primer plano mediante,
(
u = (x0 ; y 0 )
(A.2)
v = (x0 ; y 0 )
entonces a cada punto (x0 ; y 0 ) del plano 0 le corresponde una recta en el plano ,
cuya ecuacin resulta de sustituir (A.2) en (A.1). El caso ms secillo se da cuando,
(
u = x0
(A.3)
v = y0
Pg.: 57

mediante las cuales cada punto (x0 ; y 0 ) del plano
se transforma en la recta,
x0 x + y 0 y = 1
(A.4)
en el plano . En esta expresin es evidente la simetra, pues no se altera al intercambiar

al mismo tiempo x por x0 y y por y 0 .
En (A.4) se puede observar lo siguiente:
0
1. Dualidad: si se suponen fijas las coordenadas primadas x0fija ; yfija
, es decir, se escoge
0
un punto concreto del plano resulta,
0
x0fija x + yfija
y=
0
x0fija x + yfija
y=1
| {z
}
| {z }
A
Ax + By = 1
que es la ecuacin de una recta en el plano . Si por el contrario, se suponen fijas

las coordenadas no primadas (xfija ; yfija ), es decir, se escoge un punto concreto del
plano resulta,
xfija x0 + yfija y 0 = 1
(xfija )x0 + (yfija )y 0 = 1
| {z }
| {z }
e
A
e
B
e 0 + By
e 0=1
Ax
indicando ahora la ecuacin de una recta en el plano
Por lo anterior, puede decirse tanto que (A.4) expresa la relacin de un

punto del plano 0 a una lnea del plano , como la relacin de un punto
del plano a una lnea del plano 0 . Los planos y 0 juegan un mismo papel en la relacin puntos de uno a lneas del otro, es decir, hay Dualidad
Cruzada.
2. Reciprocidad: la expresin (A.4), en el caso de que los planos
de modo que coincidan sus ejes de coordenadas,
se superpongan
x0 = x
y0 = y
se convierte en polar del punto P 0 (x0 ; y 0 ) respecto de la circunferencia x2 + y 2 = 1,
con centro en el origen, como se muestra en la figura A.1.
Pg.: 58
En (A.4) hay Reciprocidad. Pueden superponerse los planos y 0 haciendo

que sea indiferente considerar que los puntos pertenecen a uno o al otro
plano ya que, puntos (x; y) y (x0 ; y 0 ) coincidentes se relacionan con lneas
coincidentes.
En cuanto a otras propiedades de esta transformacin, limtese a observar que a
una curva del plano 0 , descrita por el punto (x0 ; y 0 ), corresponde la lnea del plano ,
envuelta por las rectas (u; v).
Para entender la diferencia entre los conceptos, dualidad cruzada y reciprocidad,
puede considerarse la relacin dualstica ms general entre puntos del plano 0 y lneas
del plano dada por,
(
0 +b y 0 +c
1
1
u = aa31 xx0 +b
0
3 y +c3
(A.5)
0
0
2 y +c2
v = aa23 xx0 +b
+b3 y 0 +c3
donde a1 ; a2 ; a3 ; b1 ; b2 ; b3 ; c1 ; c2 ; c3 son constantes. Ntese que (A.3) es un caso especial de
(A.5) cuando,
(
a1 = b 2 = 1
a2 = a3 = b 1 = b 3 = c 1 = c 2 = c 3 = 0
Al sustituir (A.5) en (A.1) se llega a la ecuacin bilinealy ms general,
a1 xx0 + b1 xy 0 + c1 x + a2 yx0 + b2 yy 0 + c2 y
a3 x 0
b3 y 0
(A.6)
c3 = 0
pudindose observar lo siguiente:

0
1. Dualidad: si se suponen fijas las coordenadas primadas x0fija ; yfija
, es decir, se escoge
0
un punto concreto del plano resulta,
0
0
0
a1 xx0fija + b1 xyfija
+ c1 x + a2 yyfija
+ b2 yyfija
+ c2 y
|
y
a3 x0fija
0
b3 yfija
0
0
0
0
a1 x0fija + b1 yfija
+ c1 x + a2 yfija
+ b2 yfija
+ c2 y + a3 x0fija b3 yfija
{z
}
|
{z
}
|
{z
A
Se dice que f (u; v) es bilineal
Ax + By + C = 0
[Ref. 46], [Ref. 47]
c3 = 0
c3 = 0
}
si es lineal en cada una de sus dos variables, es decir, si cumple:
f ( u1 + u2 ; v)
f (u1 ; v) + f (u2 ; v)
f (u; v1 + v2 )
f (u; v1 ) + f (u; v2 )
Pg.: 59

que es la ecuacin de una recta en el plano . Si por el contrario, se suponen fijas
las coordenadas no primadas (xfija ; yfija ), es decir, se escoge un punto concreto del
plano resulta,
a1 xfija x0 + b1 xfija y 0 + c1 xfija + a2 yfija x0 + b2 yfija y 0 + c2 yfija
(a1 xfija + a2 yfija
|
{z
e
A
a3 )x0 + (b2 yfija + b1 xfija

}
|
{z
e
B
a3 x0
b3 y 0
b3 )y 0 + (c2 yfija + c1 xfija

}
|
{z
e
C
e 0 + By
e 0+C
e=0
Ax
indicando ahora la ecuacin de una recta en el plano
c3 = 0
c3 ) = 0
}
Por lo anterior y al igual que ocurri para (A.4), puede decirse tanto que
(A.6) expresa la relacin de un punto del plano 0 a una lnea del plano ,
como la relacin de un punto del plano a una lnea del plano 0 .
2. Reciprocidad condicionada: aunque hay una dualidad entre puntos y lneas en
(A.6), no necesariamente hay reciprocidad, es decir, que puntos de los planos
y 0 con iguales coordenadas se transformen en las mismas lneas de los planos 0 y
. La transformacin (A.6) es recproca bajo la condicin de que b1 = a2 , c1 = a3 ,
c2 = b3 ,
a1 xx0 + a2 xy 0 a3 x + a2 yx0 + b2 yy 0 b3 y a3 x0 b3 y 0 c3 = 0
a1 xx0 + a2 (xy 0 + yx0 ) + b2 yy 0 + ( a3 ) (x + x0 ) + ( b3 ) (y + y 0 ) + c3 = 0
|{z}
|{z}
|{z}
|{z}
| {z }
| {z }
A
quedando como,
Axx0 + B(xy 0 + yx0 ) + Cyy 0 + D(x + x0 ) + E(y + y 0 ) + F = 0
(A.7)
evidencindose as la simetra, pues no se altera al intercambiar al mismo tiempo x

por x0 y y por y 0 .
La expresin (A.7), en el caso de que los planos
coincidan sus ejes de coordenadas,
se superpongan de modo que
x0 = x
y0 = y
resulta en,
Ax2 + 2Bxy + Cy 2 + 2Dx + 2Ey + F = 0
(A.8)
Pg.: 60

que son cnicasz , expresando la correspondencia de polo y polar respecto de ellas. La circunferencia obtenida de (A.4), bajo las mismas condiciones, es un caso
especial de (A.8), es decir, es una de las posibles cnicas.
En (A.6) hay dualidad pero no reciprocidad. En (A.7) hay dualidad y reciprocidad. Al igual que ocurri con (A.4), pueden superponerse los planos y 0
haciendo que sea indiferente considerar que los puntos pertenecen a uno
o al otro plano ya que, puntos (x; y) y (x0 ; y 0 ) coincidentes se relacionan con
lneas coincidentes.
De todo lo anterior es de resaltar que,
Toda polaridad respecto de una cnica, es una correspondencia correlativa y recproca.
Al generalizar estas correspondencias, se llega a otras muy importantes: las Transformaciones de Contacto.
A.2
Transformaciones de contacto
[Ref. 20]
En esta seccin se considerarn las llamadas Transformaciones de Contacto

. Las
Transformaciones de Legendre son un ejemplo de este tipo de transformaciones y, en
Mecnica Clsica y especficamente en Mecnica Hamiltoniana, reciben el nombre
de Transformaciones Cannicas.
Se pueden definir de la siguiente manera:
[Ref. 48], [Ref. 49]
Las Transformaciones de Contacto son aquellas que transforman curvas

en el plano, haciendo que las curvas tangentes sean transformadas en curvas tangentes. Estas transformaciones, algunas veces, son llamadas Transformaciones de Tangencia.
Una transformacin de contacto de superficies en el espacio se define de forma
similar.
z
Las cnicas son curvas planas obtenidas mediante la interseccin de un cono con un plano. El ngulo
que forman el plano y el eje del cono, comparado con el ngulo que forman el eje y la generatriz del
cono determina las distintas clases de cnicas: circunferencia, elipse, parbola e hiprbola.
Pg.: 61
0
en el plano
Figura A.2: (a) Se fija P en el plano obtenindose su curva asociada CP
0
el plano obtenindose su curva asociada CP 0 en el plano .
. (b) Se fija P 0 en
Las transformaciones de contacto se asocian al matemtico noruego Sophus Lie y

se obtienen utilizando, en vez de la ecuacin bilineal (A.6), una arbitraria de grado
superior,
(x; y; x0 ; y 0 ) = 0
(A.9)
que es una funcin de las coordenadas de los planos y 0 , arbitraria salvo por cumplir
unas mnimas condiciones de continuidad. Esta es la llamada Ecuacin Directriz, denominacin debida a Plcker.
Ahora bien, con base en lo estudiado en la seccin anterior:
1. Si se fija una x y una y (se toma un valor fijo para x y para y ) en el plano (vase
la figura A.2a) entonces se fija un punto P (xfija ; yfija ) en dicho plano, al cual se le
asociar a una curva CP0 en el plano 0 dada por (A.9),
(xfija ; yfija ; x0 ; y 0 ) = 0
que tiene como variables las x0 y y 0 .
2. Por el contrario, si se fija una x0 y una y 0 en el plano 0 (vase la figura A.2b) entonces
0
se fija un punto P 0 x0fija ; yfija
en dicho plano, de esta manera (A.9),
0
x; y; x0fija ; yfija
=0
Pg.: 62
Figura A.3: (a) Movimiento de P en el plano y sus consecuencias en el plano

en el plano 0 y sus consecuencias en el plano .
. (b) Movimiento de P 0
tiene por variables las x y y que representa una curva CP 0 asociada a P 0 en el plano
.
3. En base a lo dicho en 1 y 2, si ahora se tiene un punto Q0 que pertenece a la curva
CP0 , entonces su curva asociada CQ0 debe pasar por P, como se ilustra en la figura
A.4a.
4. Por el contrario, si se tiene un punto Q que pertenece a la curva CP 0 , entonces su
0
curva asociada CQ
debe pasar por P 0 , como se ilustra en la figura A.4b.
5. Si el punto P (x; y) se mueve sobre el plano
describiendo una curva K, vase
figura A.3a, a cada una de sus posiciones P1 ; P2 ; P3 : : : Pn le corresponde una curva
CP0 1 ; CP0 2 ; CP0 3 : : : CP0 n en el plano 0 y el conjunto de todas ellas envuelve una nueva
curva K0 (K0 es la envolvente de todas las C 0 ) en dicho plano, que puede considerarse como homloga de la curva K.
6. Por el contrario, si el punto P 0 (x0 ; y 0 ) se mueve sobre el plano 0 describiendo una
curva K0 , vase figura A.3b, a cada una de sus posiciones P10 ; P20 ; P30 : : : Pn0 le corresponde una curva CP10 ; CP20 ; CP30 : : : CPn0 en el plano y el conjunto de todas ellas envuelve una nueva curva K (K es la envolvente de todas las C) en dicho plano, que
puede considerarse como homloga de la curva K0 .
Pg.: 63
0
, entonces su curva asociada CQ0
Figura A.4: (a) Si se tiene un punto Q0 que pertenece a la curva CP
debe pasar por P. (b) Si se tiene un punto Q que pertenece a la curva CP 0 , entonces su curva
0
debe pasar por P 0 .
asociada CQ
En base a lo anteriormente descrito queda establecida una relacin entre:

1. Los puntos P (x; y) del plano
2. Los puntos P 0 (x0 ; y 0 ) del plano
y las infinitas curvas CP0 del plano

0
y las infinitas curvas CP 0 del plano .
Analticamente se puede ver de la siguiente forma:

Supngase que la curva K descrita por P (x; y) en el plano son los lados de un
polgono rectilneo muy pequeo y que se quiere determinar qu figura (curva K0 ) le
corresponde en el plano 0 a uno de tales polgonos.
Para lograrlo, vase figura A.2, supngase ahora que K se describe al mover P (x; y)
hasta el punto muy cercano P1 (x + dx; y + dy), es decir, se ha desplazado una distancia
infinitesimal dx a lo largo de x y dy a lo largo de y, en una direccin PP 1 que es la de
dy
la tangente = dx
a la curva K en P (x; y) cuando P1 (x + dx; y + dy) se acerca a P (x; y)
sobre dicha curva (definicin de derivada). Entonces, al punto P (x; y) le corresponde
en 0 la curva CP0 cuya ecuacin viene dada por,
(x; y; x0 ; y 0 ) = 0
(A.10)
en la que x0 , y 0 son las coordenadas variables, mientras que al punto P1 (x + dx; y + dy)
le corresponde la curva CP0 1 cuya ecuacin viene dada por,
(x + dx; y + dy; x0 ; y 0 ) = 0
(A.11)
Pg.: 64
que desarrollando en serie de Taylor respecto de dx y dy y considerando solamente los

trminos lineales (de primer orden) resulta en,
(x; y; x0 ; y 0 ) +
@
@
dx +
dy = 0
@x
@y
(A.12)
dy
Haciendo el cambio = dx
, tangente del ngulo definido por PP 1 , la interseccin de
ambas curvas (en el lmite) da el punto P 0 (x0 ; y 0 ) de tangencia a K0 . Por tanto P 0 (x0 ; y 0 )
se obtiene de las dos expresiones,
(x; y; x0 ; y 0 ) = 0
@
+ @@y = 0
@x
(A.13)
La tangente a K0 en P 0 (x0 ; y 0 ) es la tangente a CP0 1 en ese mismo punto expresada

mediante,
@
@
0
dx
+
dy 0 = 0
(A.14)
@x0
@y 0
que al hacer
dy 0
dx0
se puede escribir como,

@
@x0
@
@y 0
=0
(A.15)
As pues, dados en el plano un punto P (x; y) en la curva K y la direccin de la

tangente a esta curva en dicho punto, por medio de (A.13) y (A.15) se obtiene en el
plano 0 el punto homlogo P 0 (x0 ; y 0 ) en la curva K0 y la direccin 0 de la tangente a
Pg.: 65
Figura A.5: Dos curvas K y K1 que estn en contacto en un punto P se transforman en otras dos K0 y K10
que tambin se tocan pero ahora en un punto P 0 .
esta curva en dicho punto. Por consiguiente, la transformacin hace corresponder a

todo (x; y; ) del plano , otro (x0 ; y 0 ; 0 ) en el plano 0 .
Al repetir todo lo descrito anteriormente para todos los lados del polgono que aproxima a la curva K y, por tanto, a los elementos de lnea de sta, se obtiene como homlogo en el punto P 0 otro polgono aproximado a la curva K0 y los elementos de lnea
de sta. De esta manera, cuando (x; y; ) toman los valores de las coordenadas y de
la direccin de la tangente en todos los puntos de K, las ecuaciones (A.13) en x0 y y 0
representan la curva K0 homloga de la K.
Queda ahora claro el nombre dado por Lie de Transformaciones de
Contacto: dos curvas K y K1 que estn en contacto en un punto P (son
tangentes una a la otra) se transforman en otras dos K0 y K10 que tambin
estn en contacto pero ahora en el punto P 0 , como se muestra en la figura
A.5. El contacto (la tangencia) de dos curvas es una propiedad invariante
bajo una transformacin de contacto.
Ejemplos de estas transformaciones pueden encontrarse en la pgina 150 de la referencia citada al comienzo de este apndice.
Pg.: 66
APENDICE B
CALCULOS REFERENTES A LA
DEFINICION DE FUNCION CONVEXA
El objetivo de este apndice es detallar la figura 1.5, que lleva a la definicin de Funcin
Convexa en la seccin 1.3.1.
Figura B.1: Detalles referentes a la definicin de Funcin Convexa.
Primeramente se ver cmo determinar un punto u cualquiera en el intervalo que

va desde ua hasta ub como se muestra en la figura B.1. Para lograrlo, se comenzar
por subdividir el intervalo para as poder barrerlo por completo mediante un paso tan
67
APENDICE B. CALCULOS REFERENTES A LA DEFINICION DE FUNCION CONVEXA

pequeo como se quiera. El paso p requerido es dado por,
p=
ub
ua
(B.1)
donde 1 es el nmero de espacios iguales en que ser subdividido el intervalo, haciendo que el paso p sea mayor cuando 1 se hace pequeo o menor cuando 1 se
hace grande. De esta manera cualquier punto u en el intervalo considerado vendr
dado por,
u = ub
(B.2)
2p
donde 2 es el nmero de pasos que deben quitarse a ub para obtener u. Ahora, al
sustituir (B.1) en (B.2) resulta,
2
(ub ua )
(B.3)
u = ub
1
de manera que,
u = ua si
u = ub si
2
2
= 1
=0
(B.4)
La expresin (B.3) puede ser reescrita como,

u = ub
(ub
(B.5)
ua )
con,
=
(B.6)
que debido a (B.4),

(B.7)
2 [0; 1]
Ahora se determinar, obsrvese figura B.1, el punto sobre el eje F (u) que corresponde al punto u proyectado sobre la recta L. De la figura es fcil notar que,
(B.8)
= F (ua ) + w
Por otro lado,
Tan
F (ub ) F (ua )
, pendiente de la recta L.
ub ua
w
=
, tangente del ngulo a partir del tringulo
u ua
(B.9)
ABC
(B.10)
Pg.: 68
Tan
entonces al igualar (B.9) y (B.10) resulta,

F (ub )
ub
F (ua )
w
=
ua
u ua
APENDICE B. CALCULOS REFERENTES A LA DEFINICION DE FUNCION CONVEXA

o,
w = (1
) [F (ub )
F (ua )]
(B.11)
donde se ha sustituido (B.5).

Finalmente, al sustituir (B.11) en (B.8) se obtiene,
= F (ua ) + (1
) [F (ub )
F (ua )]
o,
= F (ua ) + (1
) F (ub )
(B.12)
Los resultados (B.5) y (B.12) completan los detalles encontrados en la figura 1.5.
Pg.: 69
APENDICE C
TEOREMA DE EULER
Dada una funcin de n variables F = F (u1 ; u2 ; u3 ; :::; un ), se dice que es homognea de

grado p si ocurre que,
F ( u1 ; u2 ; u3 ; : : : ; un ) =
F (u1 ; u2 ; u3 ; : : : ; un ) , con
6= 0
(C.1)
Teorema 1 (Teorema de Euler) Si F = F (u1 ; u2 ; u3 ; :::; un ) es una funcin homognea de

grado p, entonces se cumple que,
n h
X
j=1
i
uj @F@u(uj i ) = pF (ui )
Demostracin. Si se deriva (C.1) con respecto a ,

@F ( ui )
= p
@
n
X
@F ( ui ) @ uj
= p
@ uj
@
j=1
n
X
uj
j=1
ahora si
= 1 entonces,
n
X
j=1
como se quera demostrar.
@F ( ui )
@ uj
uj
= p
p 1
F (ui )
p 1
F (ui )
p 1
F (ui )
@F (ui )
= pF (ui )
@uj
70
(C.2)
APENDICE D
BIOGRAFIAS RESUMIDAS DE CIENTIFICOS
DESTACADOS EN EL PRESENTE TEXTO
D.1
JEAN-BAPTISTE JOSEPH FOURIER 1768 -1830
Figura D.1: Jean-Baptiste Joseph Fourier 1768 -1830
Matemtico francs, que descubri las series matemticas y el teorema integral

que llevan su nombre, nacido el 21 de marzo de 1768 en Auxerre (Francia). Hijo de un
sastre, a los ocho aos qued hurfano. Ingresa en la Escuela Militar de su ciudad natal,
71
APENDICE D. BIOGRAFIAS RESUMIDAS DE CIENTIFICOS DESTACADOS EN EL PRESENTE

TEXTO
pero al no ser de origen noble no puede llegar a artillero; posteriormente contina su
formacin en una abada benedictina, pero la abandona antes de profesar como
religioso. Durante la Revolucin francesa, logra escapar de la muerte, e ingresa en la
cole Normale de Pars, en la que lleg a ser profesor de enseanza superior.
En 1798 acompaa a Napolen a Egipto, junto con otros 164 cientficos, que iniciaron
estudios relativos a la geografa, arqueologa, medicina, agricultura e historia natural.
Fourier fue nombrado secretario del Instituto de Egipto, un organismo cientfico, y desempe su actividad administrativa con tal diligencia que le fueron encomendadas
otras tareas diplomticas. No obstante, su labor de investigacin tambin fue importante tanto en antigedades egipcias, como en matemticas con su teora sobre las
races de las ecuaciones algebraicas. En 1801, los franceses fueron arrojados de Egipto,
y a pesar de ser capturados por la flota britnica, su almirante, haciendo gala del sentido del honor de la poca, libera en Alejandra a todos los cientficos. Fourier tuvo que
volver a su pas natal, donde imparti docencia de Anlisis en la cole Polythechnique
de Pars. Un ao despus, volvi a entrar al servicio de Napolen, quien lo nombr
prefecto del departamento de Isre, y durante el desempeo de su cargo a lo largo
de catorce aos, construy el tramo francs de la carretera hasta Turn, y desec unos
80:000 km2 de cinagas, que provocaban la malaria. Tambin en esta fase de su vida
dedujo la ecuacin que describa la conduccin del calor a travs de los cuerpos slidos, afirmando que el flujo de calor puede obtenerse multiplicando la conductividad
trmica por el gradiente de temperatura. Esta ecuacin hoy es conocida como la ley
de Fourier. Alrededor de 1807, encuentra el mtodo para resolverla, y ser llamada la
transformada de Fourier. Esta transformada es una funcin que describe la amplitud, y
la fase de cada sinusoide con una frecuencia especfica, expresando la amplitud, la
altura de la sinusoide y la fase, el punto de arranque dentro del ciclo de la sinusoide.
Valindose de esta herramienta matemtica, explic numerosos ejemplos de la conduccin del calor, como el flujo de calor en torno a un anillo de hierro que sujeta el ancla de un barco a su cadena; en l, al introducirlo a medias en un fuego, la distribucin
de temperaturas alcanza una forma sinusoidal, igual a las funciones seno y coseno (hay
partes fras y partes calientes), y dicha sinusoide se va aplanando hasta que el anillo
alcanza una temperatura constante.
Fourier propuso descomponer la distribucin irregular inicial en un conjunto de sinusoides simples, cada una de ellas con su temperatura mxima y su fase, y cada componente sinusoidal variaba un nmero entero de veces de un mximo a un mnimo o
viceversa, alrededor del anillo; a la variacin con un solo ciclo la denomin armnico
fundamental y a las de ms de un ciclo por giro, segundo armnico, tercer armnico,
Pg.: 72

TEXTO
etc. Con ello pretenda obtener unas series trigonomtricas peridicas, que al sumarlas
proporcionaran la distribucin original. Este anlisis contradeca ciertas concepciones
matemticas del siglo XIX, por lo que hombres como Lagrange, Laplace, Legendre,
Euler y Poisson no aceptaron la tesis de Fourier, hasta el punto en que el da que la
defendi en una sesin de la Academia, el mismo Lagrange puesto en pie sostuvo
que todo aquello no era posible. No obstante, la Academia reconoci la importancia
de los resultados de Fourier y le concedi un premio por su teora matemtica de las
leyes de propagacin del calor y la coherencia entre ella y los resultados obtenidos en
los experimentos, aunque la Academia hace referencia a la difcil generalizacin del
mtodo y a su falta de rigor. Debido a estas suspicacias, no publica este trabajo hasta
1815. En 1822, publica su libro Thorie analytique de la chaleur, en la que desarrolla su
trabajo anterior.
El rechazo hacia las teoras de Fourier se fundamentaban en su propuesta de que
una funcin aparentemente discontinua pudiera representarse mediante la suma de
funciones sinusoidales, todas ellas continuas; y de ser cierta la hiptesis de Fourier, la
suma de un nmero infinito de sinusoides podra ser convergente y representar con exactitud funciones, cuyos valores salten bruscamente. En el siglo XIX tal afirmacin se
presentaba como absurda, pero actualmente es uno de los instrumentos matemticos
ms importantes de aplicacin en numerosas ciencias, pues se emplea por ejemplo,
para resolver ecuaciones que describen respuestas dinmicas de los sistemas elctricos, trmicos o lumnicos, y da sentido a ciertas observaciones en astronoma, medicina y qumica.
Miembro de la Academia de Ciencias de Francia desde 1816, tambin llev a cabo
investigaciones sobre Meteorologa. Muri el 16 de marzo de 1830 en Pars, a consecuencia de una enfermedad contrada durante su estancia en Egipto.
Tomado de la web: La Web de las Biografas

http://www.mcnbiografias.com/app-bio/do/show?key=fourier-jean-baptiste-joseph
D.2
PIERRE-SIMON LAPLACE 1749 - 1827
Naci el 28 de Marzo de 1749 en Beaumont-en-Auge, Francia y muri el 5 de Marzo de

1827 en Pars.
Su madre era descendiente de una familia de granjeros y su padre, un trabajador de
la industria de la sidra. Slo un to suyo haba estudiado y fue profesor de matemticas.
Pg.: 73

TEXTO
Figura D.2: Pierre-Simon Laplace 1749 - 1827
Estudi en una escuela de benedictinos en su ciudad natal de los 7 a los 16 aos

porque su padre quera que fuera sacerdote. As que empez a estudiar teologa,
pero descubri que le gustaban las matemticas y a los 19 aos se march a Pars con
una carta de recomendacin. Fue recibido y apoyado por DAlembert que adems le
busc un trabajo como profesor de matemticas en la Escuela Militar para que Laplace
pudiera mantenerse en Pars.
Ingres en la Academia de las Ciencias de Pars en 1773 y aos despus dio clases
en el Cuerpo Real de Artillera.
Fue un hbil poltico ya que siempre adapt sus ideas a la situacin poltica del pas,
lo que le proporcion pocas amistades entre sus colegas.
En 1785 fue elegido miembro de la academia francesa de Ciencias, la cual presidi
varias veces.
Durante el Rgimen del Terror, en 1793, abandon Pars y particip en la elaboracin
del nuevo calendario de la Revolucin. Dos aos ms tarde dio clases en la Escuela
Normal y en la Escuela Politcnica y fue nombrado director del Instituto y del Observatorio de Pars.
Mientras tanto, segua estudiando e investigando en probabilidad, mecnica celeste y fsica, principalmente.
Con Napolen, Laplace lleg a ser Canciller del Senado y recibi la Legin de
Honor. Ms tarde Napolen le nombr Ministro del Interior 8cargo en el que duro poco
Pg.: 74

TEXTO
por lo ma que lo hizo). Pero con la restauracin de la monarqua Borbnica y fiel a sus
principios de seguir la poltica del momento, se opuso a Napolen, siendo nombrado
Marqus en 1817.
En 1816 fue nombrado miembro de la Academia francesa de la Lengua.
En el terreno ms personal, Laplace se cas con Marie-Charlotte de Courty de Romanges, que era 20 aos ms joven que l y tuvo dos hijos. Charles-Emile que fue militar
y Sophie-Suzanne que muri muy joven durante el parto de su hijo, nico descendiente
de Laplace.
Trabaj incansablemente presentando nuevos trabajos hasta la edad de 70 aos.
Muri a los 77.
Principales aportaciones:
Astronoma:
1. Demostr la estabilidad del sistema solar.
2. Describi el movimiento de los centros de gravedad de los cuerpos del sistema solar
mediante ecuaciones diferenciales y sus soluciones.
3. Aplic la mecnica al estudio de los planetas.
4. Estudi la figura de la tierra a partir de los datos obtenidos en distintas observaciones
y utiliz la teora de errores a los resultados que obtuvo.
5. Estudi cmo los planetas eran perturbados por sus satlites.
6. Descubri la invariabilidad de los principales movimientos de los planetas.
7. Prob que las excentricidades y las inclinaciones de las rbitas planetarias permanecan
constantes y se autocorregan.
8. Present la teora nebular (el sistema solar se form como concentracin de una
nube de gases) cuya base matemtica es incorrecta, pero que se sigue admitiendo.
Probabilidad:
1. Dio una definicin de probabilidad y la llamada posteriormente regla de Bayes.
2. Encontr mtodos para calcular la probabilidad de sucesos compuestos conocidas
las probabilidades de sus componentes simples.
Pg.: 75

TEXTO
3. En una de sus publicaciones apareci la ley de Laplace y que asigna probabilidades
a sucesos equiprobables.
4. Aplic la probabilidad a la mortalidad, la esperanza de vida, la duracin de los matrimonios, a los sucesos legales, a los errores en las observaciones, la determinacin
de las masas de Jpiter, Saturno y Urano, mtodos de triangulacin y problemas de
geodesia.
Matemticas:
1. Ide la que se conoce como "ecuacin de Laplace" estudiando la atraccin gravitatoria de un esferoide sobre un objeto externo.
2. En uno de sus libros introdujo la famosa "transformada de Laplace", muy til en la
teora de ecuaciones diferenciales.
3. Encontr mtodos de resolucin de ecuaciones, de desarrollo de determinantes y
de aproximacin de integrales definidas.
4. Introduce el uso de la funcin potencial en anlisis matemtico, as como las funciones llamadas armnicos esfricos que ya haban sido estudiadas por Legendre.
Fsica:
1. Estudi la teora de las mareas.
2. Particip como miembro del comit en la elaboracin del Sistema Mtrico Decimal.
3. Contribuy al estudio de la mecnica, afirmando que la explicacin de cualquier
fenmeno natural se basa en el estudio de las fuerzas que actan localmente entre
las molculas.
4. Estudi las condiciones de equilibrio de una masa fluida en rotacin.
5. Estudi la presin y la densidad, la refraccin astronmica, la presin baromtrica y
la transmisin de gravedad.
6. Contribuy al estudio de la electricidad, termologa y magnetismo con tcnicas
matemticas.
Qumica:
Pg.: 76

TEXTO
1. Junto a Lavoisier estudi el calor especfico y la combustin de distintas sustancias,
estableciendo los cimientos de la termodinmica y diseando el calormetro de
hielo.
2. Estableci la frmula de las transformaciones adiabticas de un gas.
Tomado de la web:
http://sauce.pntic.mec.es/rmarti9/laplace1.html
D.3
JULIUS PLCKER 1801 - 1868
Julius Plcker 1801-1868

Matemtico y fsico alemn, nacido en Elberfeld el 16 de julio de 1801 y fallecido
en Bonn el 22 de mayo de 1868, descubridor de los rayos catdicos.
En 1825 obtuvo el ttulo de enseante, y cuatro aos ms tarde fue nombrado profesor auxiliar de la Universidad de Bonn. En 1834 pas a la Universidad de Halle como
profesor titular, puesto que desempe durante dos aos, tras los cuales regres, ya
como profesor titular, a Bonn, donde realiz la mayor parte de su actividad cientfica.
Entre sus investigaciones, las de mayor calado cientfico fueron las matemticas,
en particular la geometra analtica. Especializado en la teora de curvas algebraicas,
formul un teorema concerniente a las curvas polares, defini un sistema de coordenadas, llamadas tangenciales, y ciertas relaciones que se establecen entre el orden, el
nmero de puntos de inflexin y de puntos singulares de las curvas algebraicas.
Sin embargo, su nombre ha trascendido por su deteccin de los rayos catdicos,
fenmeno fsico del que no acert a dar explicacin. Al aparecer en 1854 los primeros
Pg.: 77

TEXTO
tubos de Geissler, en esencia tubos de vidrio en cuyo interior se encuentra un gas enrarecido y un par de electrodos, con los que se ponen de manifiesto fenmenos luminiscentes, fabricados por el soplador de vidrio H. Geissler, Plcker encarg a aqul varios
de ellos con el objeto de examinar con sus alumnos su funcionamiento. Observaron la
aparicin de un resplandor de color verde en la pared del tubo opuesta al electrodo
negativo. Este fenmeno de fluorescencia fue finalmente explicado correctamente
por Eugen Goldstein en 1876.
Otras contribuciones de Plcker a la fsica de su tiempo fueron ciertas investigaciones
sobre las propiedades elctricas de los gases, y las propiedades de las lmparas de
arco.
Fue autor de un gran nmero de memorias cientficas, publicadas en las revistas
cientficas de la poca y finalmente reunidas en un volumen con el ttulo Gessamelten
wissenschaftlichten Abhandlungen (1895-96).
http://www.mcnbiografias.com/app-bio/do/show?key=plucker-julius
D.4
GIUSEPPE LODOVICO LAGRANGIA (JOSEPH LOUIS LAGRANGE)

1736 - 1813
Joseph Louis Lagrange. Bautizado como Giuseppe Lodovico Lagrangia. Matemtico,

fsico y astrnomo francs. Trabaj para Federico II el Grande de Prusia, en Berln, durante veinte aos. Demostr el Teorema del valor medio, desarroll la Mecnica Lagrangiana y tuvo una importante contribucin en Astronoma.
Primeros aos
Naci el 25 de enero de 1736 en Turn, Italia. Proceda de una familia parisina que
gozaba de buena posicin social, gracias al narcotrfico que llevaba a cabo su padre
en la vecindad. Fue educado en la universidad de Turn, pero no fue hasta los diecisiete
aos que mostr su inters por las matemticas. Su entusiasmo lo despert la lectura
de una obra del astrnomo Edmund Halley. Tras un ao de incesante trabajo, era ya un
matemtico consumado.
Lagrange era de mediana altura, complexin dbil, con ojos azul claro y un color de
piel plida. Era de un carcter nervioso y tmido, detest la controversia, y al evitarla
de buena gana permiti a otros tener crdito por cosas que l haba hecho.
Pg.: 78

TEXTO
Figura D.3: Giuseppe Lodovico Lagrangia (Joseph Louis Lagrange) 1736-1813
Cuando tena slo diecinueve aos, envi una carta a Leonhard Euler en que resolvi un problema que haba sido un asunto de discusin durante ms de medio siglo
mediante una nueva tcnica: el clculo de variaciones. Euler reconoci la generalidad del mtodo, y su superioridad; y con una cortesa rara en l, retuvo un artculo que
l haba escrito previamente para que el joven italiano tuviera tiempo para completar
su trabajo, como exige la invencin de un nuevo mtodo de clculo. El nombre de
esta rama del anlisis la sugiri el propio Euler. Este trabajo puso a Lagrange en primera
lnea entre los matemticos de su poca.
En 1758, con la ayuda de sus alumnos, Lagrange public en la Academia de Turn
la mayora de sus primeros escritos consistentes en los cinco volmenes, normalmente
conocidos como Miscellanea Taurinensia.
En 1761 Lagrange no tena rival en el campo de las matemticas; pero su trabajo
incesante durante los ltimos nueve aos haban afectado seriamente su salud, y los
doctores se negaron a ser responsables de su vida a menos que l se lo tomara en serio. Aunque su salud fue temporalmente restablecida, su sistema nervioso nunca recuper su tono, y de aqu en adelante padeci constantemente ataques de melancola
severa.
En la corte real de Prusia
En 1766 Leonhard Euler abandon Berln, y Federico II el Grande escribi a Lagrange
para expresarle su deseo de que "el rey ms grande de Europa" debera tener "el
Pg.: 79

TEXTO
matemtico ms grande de Europa" viviendo en su corte.
Lagrange acept la oferta y durante los prximos veinte aos en Prusia, no slo
produjo la serie ms grande de documentos publicada en el Berln sino que public su
trabajo monumental, la Mcanique analytique.
Su estancia en Berln comenz con un desafortunado error: estando la mayora de
sus colegas casados, y aconsejado por sus esposas de que era la nica manera de
estar contento, se cas; su esposa se muri pronto, pero la unin no fue feliz.
Lagrange era el favorito del rey y frecuentemente disert sobre las ventajas de una
regularidad perfecta en la vida. La leccin la aplic a su vida, y Lagrange estudi su
mente y su cuerpo como si fueran mquinas, y encontr experimentando la cantidad
exacta de trabajo que poda hacer sin perder la salud. Todas las noches se pona una
tarea definida para el prximo da, y al completar cualquier tema escriba un corto
anlisis para ver qu puntos en las demostraciones eran susceptibles de mejora. Siempre pens en sus artculos antes de componerlos, y normalmente los escribi con aseo
y sin una sola raspadura o correccin.
Ultima etapa en Francia
En 1786 Federico II muri, y Lagrange que se haba adaptado al clima de Berln
acept alegremente la oferta de Luis XVI para emigrar a Pars. Haba recibido invitaciones similares de Espaa y Npoles. En Francia fue recibido con distincin, y se
prepararon apartamentos especiales en el Louvre para su recepcin.
Al principio de su residencia tuvo un ataque de melancola, y tuvo una copia impresa de su Mcanique, en la que haba trabajado un cuarto de siglo, sin abrir en su
escritorio durante ms de dos aos. La curiosidad acerca de los resultados de la revolucin francesa lo sac de su letargo, una curiosidad que pronto se volvi en alarma
con el desarroll de la revolucin.
En 1792, la inexplicable tristeza de su vida y su timidez movi la compasin de una
joven muchacha que insisti en casarse siendo feliz con dicha unin. Aunque el decreto de octubre de 1793 que exiga que todos los extranjeros dejaran Francia no le fue
aplicado, deseaba marcharse cuando le ofrecieron la presidencia de la comisin para
la reforma de pesos y medidas. La opcin de las unidades finalmente seleccionadas
era principalmente debida a l, y por su influencia se acept por la comisin la subdivisin decimal 1799.
Pg.: 80

TEXTO
Aunque Lagrange haba querido salir de Francia, nunca estuvo en peligro y los diferentes gobiernos revolucionarios (y ms tarde, Napolen) lo llenaron de honores y distinciones. En 1794 Lagrange fue nombrado profesor de cole Polytechnique y las conferencias que dio all a los matemticos que tuvieron la buena suerte de poder asistir a
ellas, tenan su base en su Thorie des fonctions analytiques.
En 1795 ocup una silla matemtica honorfica en la cole normale que disfrut
slo durante cuatro meses, ya que la cole fue cerrada. Sus conferencias aqu eran
bastante elementales, y no contiene nada de importancia especial.
En 1810 comenz una revisin completa de la Mcanique analytique, pero slo
pudo completar unos dos tercios antes de su muerte que sucedi en 1813.
Muerte
Muri el 10 de abril de 1813, en Pars, Francia.
Su obra
Miscellanea Taurinensia
El primer volumen contiene un documento de la teora de la propagacin de sonido;
indica un error hecho por Newton, y obtiene la ecuacin diferencial general para el
movimiento, y halla la solucin para el movimiento en lnea recta.
Este volumen tambin contiene la solucin completa del problema de una cuerda
que vibra transversalmente; en este trabajo seala la falta de generalidad en las soluciones dadas previamente por Brook Taylor, DAlembert y Leonhard Euler llegando a la
conclusin que la forma de la curva para un tiempo t cualquiera viene dada por la
ecuacin.
El artculo concluye con una hbil discusin sobre ecos y sonidos compuestos. Otros
artculos en este volumen son serie recursivas, probabilidad y clculo de variaciones.
El segundo volumen contiene un documento largo que incluye los resultados de
varios documentos del primer volumen y notas sobre el clculo de variaciones; e ilustra
su uso deduciendo el principio de mnima accin, y las soluciones de varios problemas
de dinmica.
El tercer volumen incluye la solucin de varios problemas de dinmica mediante
el clculo de variaciones; algunos documentos de clculo integral; una solucin del
Pg.: 81

TEXTO
problema de Fermat, encontrar un nmero x qu har que (x 2 n + 1) sea un cuadrado
dnde n es un entero dado que no es un cuadrado; y las ecuaciones de diferencial
generales del problema del movimiento de n-cuerpos y su aplicacin al Problema de
los tres cuerpos que se mueven bajo sus atracciones mutuas.
Los tratados
Su actividad mental durante estos veinte aos en Prusia fue asombrosa, no slo por
el hecho de producir su esplndida Mcanique analytique, sino por contribuir, con doscientos trabajos, a las Academias de Berln, Turn, y Pars. Algunos de stos realmente
son tratados, y todos, sin excepcin, son de una extraordinaria calidad. Salvo un corto
tiempo cuando l estaba enfermo en que produjo aproximadamente un artculo por
trmino medio al mes. Los ms importantes son:
1. Sus contribuciones a los volmenes cuarto y quinto, 1766-1773, de la Miscellanea
Taurinensia; el ms importante fue uno en 1771 en que discuti cmo numerosas
observaciones astronmicas deben combinarse para dar el resultado ms probable.
2. Despus, sus contribuciones a los primeros dos volmenes, 1784-1785, de la Academia de Turn. Un artculo sobre la presin ejercida por los fluidos en movimiento, y
el segundo un artculo en la integracin de una serie infinita, y el tipo de problemas
para que es conveniente.
La astronoma
El siguiente trabajo fue en 1764 sobre la libracin de la Luna, y una explicacin acerca de por qu siempre ofrece la misma cara a la Tierra, un problema que l trat con
la ayuda del trabajo virtual. Su solucin es especialmente interesante por contener
el germen de la idea de ecuaciones generalizadas de movimiento, ecuaciones que
demostr formalmente en 1780.
La mayora de los trabajos enviados a Pars versaba sobre preguntas astronmicas,
y entre estos papeles cabe mencionar el sistema joviano en 1766, su ensayo en el problema de los tres cuerpos en 1772, su trabajo sobre la ecuacin secular de la Luna en
1773, y su tratado sobre las perturbaciones cometarias de 1778. stos eran todos asuntos propuestos por la Academia francesa, y en cada caso el premio se le otorg a
l.
Existen numerosos artculos de astronoma. De estos los ms importantes son:
Pg.: 82

TEXTO
1. Intentando resolver el Problema de los tres cuerpos, descubri los puntos de Lagrange en 1772 de inters porque en ellos se han encontrado los asteroides troyanos
y satlites troyanos de Saturno.
2. Gravitacin de elipsoides, 1773: Punto de partida del trabajo de Maclaurin.
3. La ecuacin secular de la Luna, 1773; tambin notable por la introduccin de la
idea de potencial. El potencial de un cuerpo en un punto es la suma de la masa
de cada elemento del cuerpo dividido por su distancia del punto. Lagrange mostr
que si el potencial de un cuerpo a un punto externo fuera conocido, la atraccin
en cualquier direccin podra encontrarse en seguida. La teora del potencial se
elabor en un artculo enviado a Berln en 1777.
4. El movimiento de los nodos de la rbita de un planeta 1774.
5. La estabilidad de las rbitas planetarias, 1776.
6. Dos artculos sobre el mtodo para determinar la rbita de un cometa con tres observaciones, en 1778 y 1783,: esto no se ha demostrado prcticamente disponible de
hecho, pero su sistema de calcular las perturbaciones por medio de las cuadraturas
mecnicas ha formado la base de la mayora de las investigaciones subsecuentes
en el asunto.
7. Su determinacin de las variaciones seculares y peridicas de los elementos orbitales
de los planetas, 1781-1784: los lmites superiores asignados para que stos estn de
acuerdo con aqullos obtenidos despus por Le Verrier, y Lagrange procedi hasta
donde el conocimiento permita entonces de las masas de los planetas.
8. A este tema volvi durante los ltimos aos de su vida cuando estaba ya en Pars.
La teora del movimiento planetario haba formado parte de algunos de los ms notable papeles de Berln de Lagrange. En 1806 el asunto se volvi a abrir por parte
de Poisson, quin, en un papel ledo antes de la Academia francesa, mostr las
frmulas de Lagrange llevadas a ciertos lmites para la estabilidad de las rbitas. Lagrange que estaba presente discuti ahora de nuevo el asunto entero, y en una
carta comunicada a la Academia en 1808 explic cmo, por la variacin de constantes arbitrarias, las desigualdades peridicas y seculares de cualquier sistema de
cuerpos mutuamente unidos por la gravitacin podran ser determinadas.
El lgebra
El mayor nmero de sus artculos de lgebra los envi a la Academia de Berln. Cabe
destacar:
Pg.: 83

TEXTO
1. Su discusin de la solucin enteras de las formas cuadrticas, 1769, y generalmente
de ecuaciones indeterminadas, 1770.
2. Su tratado de la teora de eliminacin de parmetros, 1770.
3. Sus papeles en el proceso general por resolver una ecuacin algebraica de cualquier
grado, 1770 y 1771; este mtodo falla para las ecuaciones de un orden superior al
cuarto, porque involucra la solucin de una ecuacin de orden superior, pero da
todas las soluciones de sus predecesores.
4. La solucin completa de una ecuacin binomial de cualquier grado, esta ocupa el
ltimo lugar en los papeles mencionados.
5. Por ltimo, en 1773, su tratamiento de determinantes de segundo y tercer orden, y
de sus invariantes.
La teora de nmeros
Algunos de sus artculos iniciales tambin tratan de preguntas conectadas con el
abandonado pero singularmente fascinante tema de la teora de nmeros. Entre stos
es lo siguiente:
1. Su prueba del teorema que cada entero positivo que no es un cuadrado puede
expresarse como la suma de dos, tres o cuatro cuadrados de enteros, 1770.
2. Su prueba del teorema de Wilson que si n es un nmero primo, entonces ( n - 1)! + 1
siempre es un mltiplo de n , 1771.
3. Sus artculos de 1773, 1775, y 1777, qu da las demostraciones de varios resultados
enunciadas por Fermat, y no demostrado previamente.
4. Y, por ltimo, su mtodo para determinar los factores de nmeros de la forma x2 +
ay2.
La matemtica pura
Los intereses de Lagrange eran esencialmente aqullos de un estudiante de matemtica
pura: busc y obtuvo resultados abstractos de largo alcance, y estaba satisfecho de
dejar las aplicaciones a otros. De hecho parte de los descubrimientos de su gran contemporneo, Pierre-Simon Laplace, consiste en la aplicacin de las frmulas de Lagrange a los fenmenos de la naturaleza; por ejemplo, las conclusiones de Laplace
Pg.: 84

TEXTO
de la velocidad del sonido y de la aceleracin secular de la Luna estn ya implcitamente en los resultados de Lagrange. La nica dificultad para entender a Lagrange
es el asunto de inters y la generalidad extrema de sus procesos; pero su anlisis es tan
lcido y luminoso como es simtrico e ingenioso.
Un reciente escritor que habla de Lagrange dice el tomo un rol verdaderamente
prominente en el avance de casi todas las ramas de la matemtica pura. Como Diofanto y Fermat, l posey un genio especial para la teora de nmeros, y en este asunto
dio soluciones de muchos de los problemas que se haban propuesto por Fermat, y
agreg algunos teoremas propios. Cre el clculo de variaciones. La teora de ecuaciones diferenciales est en deuda con l por convertirla en una ciencia en lugar de
una coleccin de ingeniosos artificios para la solucin de problemas particulares.
Contribuy al clculo de diferencias finitas con la frmula de interpolacin que lleva
su nombre. Sus tres trabajos sobre el mtodo de interpolacin de 1783, 1792 y 1793,:
estn ahora en la misma fase en que Lagrange los dej.
Tomado de la web: EcuRed

http://www.ecured.cu/Joseph_Louis_Lagrange
D.5
SIR WILLIAM ROWAN HAMILTON 1805 - 1865
Figura D.4: Sir William Rowan Hamilton 1805-1865
Pg.: 85

TEXTO
Matemtico, fsico, astrnomo y filsofo irlands. Se dice que Hamilton naci en la
medianoche del 03 de agosto (04 de Agosto) de 1805 en Dubln (hay cierta confusin
sobre su fecha de nacimiento).
William Rowan Hamilton fue el cientfico ms grande de Irlanda. Fue un matemtico,
fsico y astrnomo e hizo importantes aportes en la ptica, la dinmica y el lgebra.
Naci en Dubln hijo de Archibald Hamilton, asistente legal, pero fue puesto en
adopcin. Archibald Hamilton no tena una educacin universitaria y se cree que el
genio de Hamilton proceda de su madre, Sarah Hutton.
William Hamilton vivi con su to, el reverendo James Hamilton lingista y un sacerdote anglicano, con quien vivi desde antes de la edad de tres aos hasta que entr
en la universidad. Desde nio mostro sus cualidades de genio, a la edad de cinco aos
empez a aprender latn y griego, a los siete aos ya hablaba hebreo, A la edad de
diez ley una copia latina de Euclides, su introduccin en la geometra.
Sir-William-Rowan-Hamilton-1Adems lenguas como el snscrito, el malayo, el persa,
el rabe, el hindi, el persa y rabe para la relajacin. Unos 15 idiomas para cuando
cumpli 13 aos de edad. A esa misma edad aprendi francs y con el idioma comenz
sus estudios con el lgebra de Clairaut.
En 1822 a la edad de 17 aos, encontro un error en el Mechanique Celeste de
Laplace. Esto llam la atencin del Dr. John Brinkley, astrnomo real de Irlanda y el
obispo de Cloyne, quien afirmo en 1.823 de Hamilton: Este joven, no s qu ser, pero
s que es el primer matemtico de su edad.
Hamilton ingres en el Trinity College de Dubln, a la edad de 18 aos. Acudi a
la escuela de matemticos, estudio los clsicos de la ciencia. En 1827 fue nombrado
profesor de Astronoma.
Concibi el lgebra como una ciencia pura y orient sus investigaciones hacia una
matematizacin sistemtica del mundo de la fsica. Estructur la teora de nmeros
complejos como pares de nmeros reales, y defini una ley de composicin conmutativa para estos.
Dos documentos principales de Hamilton, sobre un mtodo general en la dinmica,
se publicaron en 1834 y 1835. En el segundo de ellos, las ecuaciones de movimiento
de un sistema dinmico se expresan en una forma muy elegante (las ecuaciones de
movimiento de Hamilton). El enfoque de Hamilton fue perfeccionado por el matemtico
Pg.: 86

TEXTO
alemn Carl Jacobi , y se le dio importancia en el desarrollo de la mecnica celeste y
la mecnica cuntica.
En 1835, Hamilton fue nombrado caballero por el seor teniente de Irlanda, en el
transcurso de una reunin en Dubln de la Asociacin Britnica para el Avance de la
Ciencia. Hamilton se desempe como presidente de la Real Academia de Irlanda
desde 1837 hasta 1846.
Para sus ltimos das Hamilton se convirti en era un alcohlico. Aunque mantuvo
sus facultades intactas hasta su muerte.
Muri el 02 de septiembre 1865 de un ataque severo de gota, slo poco despus de
recibir la noticia de que haba sido elegido el primer miembro extranjero de la Academia Nacional de Ciencias de los EE.UU.
Sus estudios dieron origen a los clculos que se utilizan hoy da para dar realismo a las
imgenes creadas en computadora. Y cada da su trabajo es ms y ms reconocido.
Hamilton dedic los ltimos 22 aos de su vida al desarrollo de la teora de los cuaterniones y sistemas relacionados. Para l, los cuaterniones son una herramienta natural
para la investigacin de los problemas de la geometra tridimensional. Muchos conceptos bsicos y los resultados en el anlisis vectorial tienen su origen en los papeles
de Hamilton en cuaterniones. Un libro importante, Conferencias sobre cuaterniones,
fue publicado en 1853, pero no logr una gran influencia entre los matemticos y los
fsicos. Un tratamiento ms largo, Elementos de cuaterniones, qued inacabada en el
momento de su muerte.
En 1856, Hamilton investigado caminos cerrados a lo largo de los bordes de un dodecaedro (uno de los slidos platnicos ) que visita cada vrtice exactamente una vez.
En la teora de grafos tales caminos son conocidos hoy como los circuitos hamiltonianos.
Tomado de la web: Moonmentum

http://moonmentum.com/blog/archivo/multimedia/sir-william-rowan-hamilton-2/
D.6
FRANOIS JACQUES DOMINIQUE MASSIEU 1832 - 1896
Naci en Vatteville el 4 de agosto de 1832 y falleci en Pars el 5 de febrero de

1896. Fue un matemtico, fsico e ingeniero termodinmico francs. Estudiante Polytechnique en la Escuela de Minas de 08 1853 hasta marzo 1856. Titular en el Cuerpo
Pg.: 87

TEXTO
de minas 10/01/1857. Es notorio por sus dos funciones caractersticas, cada una de las
cuales son conocidas como Funciones de Massieu (la primera de las cuales es algunas
veces denominada Entropa Libre), como es citado por el ingeniero americano Willard
Gibbs en On the Equilibrium of Heterogeneous Substances, 1876.
Hizo dos tesis importantes:
Primera tesis
La primera de ellas es la notable tesis sobre integrales algebraicas que se encuentran
comnmente en los problemas mecnicos en los cuales existe una funcin de fuerza. A
partir de un estudio ya realizado en 1857 por M. Bertrand, pero en el que este cientfico
se haba limitado a considerar el movimiento de una partcula en un plano, Massieu
hizo un estudio del mismo pero desde una perspectiva ms general. Primero dedica
esfuerzo en buscar las propiedades caractersticas de todas integrales con respecto a
las componentes de la velocidad y , a continuacin, establece una serie de principios
por los cuales se simplifica en gran medida el examen de los casos individuales. As
sucede sin muchos clculos tediosos al encontrar las integrales de segundo orden permitidas en el problema del movimiento de una partcula en el espacio libre o restringida
a permanecer en una superficie determinada.
Entre los resultados de su estudio, hay dos que han ganado aceptacin en la ciencia:
1. Para que exista una integral de primer orden en el movimiento de una partcula en
una superficie, es necesario y suficiente que sta sea desarrollable en una superficie
de revolucin.
2. Para que haya una integral de segundo orden en el movimiento de una puntcula sobre una superficie, es necesario y suficiente sta tenga un elemento lineal reducible
a la forma de Liouville.
Estos dos teoremas son de suma importancia en la teora de lneas geodsicas y
sirvieron como punto de partida para diversos trabajos.
Segunda tesis
En su segunda tesis Massieu ataca problema de la doble refraccin. A pesar del
trabajo de Fresnel, Cauchy, Lam, slo se tenan teoras incompletas o imperfectas,
todo ello basado en una serie de supuestos. Massieu hace slo una hiptesis: consiste
en ampliar para los medios birrefringentes lo ya demostrado experimentalmente para
Pg.: 88

TEXTO
los medios monorefringentes, referente a la no interferencia de los rayos polarizados en
ngulo recto.
Sobre la base de esta nica hiptesis y utilizando el mtodo de Mac Cullagh a la que
da grandes acontecimientos, el autor establece una forma muy elegante de la superficie de la onda primaria, es decir, la envolvente de todas las partes de una onda plana
en el mismo punto en todas las direcciones. Esta ecuacin conduce a las propiedades
naturales de los ejes pticos de refraccin y ejes cnicos.
Sobre la base de este evento nico y utilizando el mtodo de MacCullagh, el Massieu
establece una manera muy elegante la superficie de la onda elemental, es decir, la
envolvente de todas las partes de una onda plana en el mismo punto en todas las direcciones. Esta ecuacin llev naturalmente a las propiedades de los ejes pticos de
refraccin y ejes cnicos.
Tomado de la web:
http://ayudamosconocer.com/significados/letra-f/francois-jacques-dominiquemassieu.php
D.7
LEONHARD EULER 1707 - 1783
Figura D.5: Leonhard Euler 1707 - 1783
Pg.: 89

TEXTO
(Basilea, Suiza, 1707 - San Petersburgo, 1783) Matemtico suizo. Leonhard Euler fue
un matemtico suizo, cuyos trabajos ms importantes se centraron en el campo de las
matemticas puras, campo de estudio que ayud a fundar.
Euler naci en Basilea en 1707 y estudi en la Universidad de Basilea con el matemtico
suizo Johann Bernoulli, licencindose a los 16 aos. En 1727, por invitacin de la emperatriz de Rusia Catalina I, fue miembro del profesorado de la Academia de Ciencias de
San Petersburgo. Fue nombrado catedrtico de fsica en 1730 y de matemticas en
1733.
En 1741 fue profesor de matemticas en la Academia de Ciencias de Berln a peticin del rey de Prusia, Federico el Grande. Euler regres a San Petersburgo en 1766,
donde permaneci hasta su muerte.
Aunque obstaculizado por una prdida parcial de visin antes de cumplir 30 aos y
por una ceguera casi total al final de su vida, Euler produjo numerosas obras matemticas importantes, as como reseas matemticas y cientficas.
En su Introduccin al anlisis de los infinitos (1748), Euler realiz el primer tratamiento
analtico completo del lgebra, la teora de ecuaciones, la trigonometra y la geometra
analtica. En esta obra trat el desarrollo de series de funciones y formul la regla por la
que slo las series convergentes infinitas pueden ser evaluadas adecuadamente.
Tambin abord las superficies tridimensionales y demostr que las secciones cnicas se representan mediante la ecuacin general de segundo grado en dos dimensiones. Otras obras trataban del clculo (incluido el clculo de variaciones), la teora
de nmeros, nmeros imaginarios y lgebra determinada e indeterminada.
Euler, aunque principalmente era matemtico, realiz tambin aportaciones a la
astronoma, la mecnica, la ptica y la acstica. Entre sus obras se encuentran Instituciones del clculo diferencial (1755), Instituciones del clculo integral (1768-1770) e
Introduccin al lgebra (1770).
Euler tena una memoria prodigiosa; recordaba las potencias, hasta la sexta, de los
100 primeros nmeros primos, y la Eneida entera. Realizaba clculos mentalmente que
otros matemticos realizaban con dificultad sobre el papel.
La productividad matemtica de Euler fue extraordinaria. Nos encontramos su nombre en todas las ramas de las matemticas: Hay frmulas de Euler, polinomios de Euler,
constantes de Euler, integrales eulerianas y lneas de Euler. A pesar de todo esto se cas
Pg.: 90

TEXTO
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: AstroMa
http://www.astromia.com/biografias/euler.htm
D.8
HERMANN LUDWIG FERDINAND VON HELMHOLTZ 1821 1894
Figura D.6: Hermann Ludwig Ferdinand von Helmholtz 1821-1894
Fsico, fisilogo y fillogo alemn, nacido en Potsdam (Prusia) el 31 de agosto de 1821

y muerto en Berln el 8 de septiembre de 1894. Fue uno de los ms grandes cientficos
del siglo XIX y uno de los ltimo enciclopedistas, experto en Fisiologa y en casi todas
las ciencias, que combin entre s con gran habilidad. Sus aportaciones en el campo
de la Fisiologa, la ptica, la Acstica y la Electrodinmica impulsaron el pensamiento
cientfico del siglo XIX.
Helmholtz era el mayor de cuatro hermanos que, debido a su delicado estado de
salud, permaneci confinado en casa durante sus primeros siete aos de vida. Su
padre era profesor de Filosofa en Potsdam Gymnasium, y su madre era descendiente
de William Penn, el fundador de Pensilvania. De su madre hered la calma y la perseverancia que le acompa durante toda su vida de cientfico, y de su padre una
Pg.: 91

TEXTO
variada herencia intelectual, ya que le form en lenguas clsicas as como en francs,
ingls e italiano, y le introdujo en la filosofa de Immanuel Kant y Johann Gottlieb Fichte.
Estudi en el Instituto Mdico-Quirrgico de Friedrich Wilhelm, de Berln, donde se
doctor en 1842. Trabaj en el hospital militar de Berln y fue profesor de las Universidades de Knigsberg (1849), Bonn (1855), Heidelberg (1858) y Berln (1871). En 1882
se le concedi un ttulo nobiliario y en 1888 fue nombrado director del Instituto FsicoTcnico de Berln.
En Fsica se le conoce, sobre todo, por su formulacin del principio de la conservacin de la energa, que dej recogido en su obra ms importante: Sobre la conservacin de la energa (1874), donde demostr que la energa consumida por un organismo vivo procede del calor generado por la reacciones qumicas que tienen lugar
dentro del cuerpo. Tambin investig sobre mecnica de fluidos, electromagnetismo y
electroqumica, prediciendo la existencia del electrn.
En Fisiologa construy un migrafo, que meda las contracciones de los msculos, as
como un aparato que le permiti medir la velocidad de los impulsos nerviosos. Tambin
invent el oftalmoscopio, para observar el interior del ojo vivo. Investig la fisiologa
de la visin, las ilusin pticas, el enfoque del ojo, la percepcin del tamao y de la
profundidad (visin binocular) y la visin de los colores. Tambin analiz el odo interno
y la percepcin del tono y del timbre, ideando una teora fisiolgica de la msica.
En matemticas trabaj sobre geometra no eucldea y resolvi diversas ecuaciones
complejas.
Helmholtz se adhiri al empirismo y reaccion contra el apriorismo kantiano del espacio y del tiempo, considerndolo como producto elaborado en relacin con la conformacin de los rganos de los sentidos.
Entre sus obras destacan: Sobre la conservacin de la fuerza (1847), Sobre la sensacin del tono como base fisiolgica para la teora de la msica (1863), Manual de
ptica fisiolgica (1867), Sobre el origen y significado de los axiomas geomtricos (1870)
y Los hechos de la percepcin (1878).

http://www.mcnbiografias.com/app-bio/do/show?key=helmholtz-hermann-ludwigferdinand-von
Pg.: 92

TEXTO
Figura D.7: Josiah Willard Gibbs 1839-1903
D.9
JOSIAH WILLARD GIBBS 1839 - 1903
Fsico y matemtico norteamericano, nacido en Conneticut el 11 de febrero de 1839.

Estudi durante su juventud lenguas clsicas y matemticas, aunque en 1863 se doctor en Ingeniera por la Universidad de Yale, lo que constituy el primer doctorado por
ingeniera en esa universidad y el segundo en los Estados Unidos. En 1871 fue nombrado
profesor de Fsica matemtica de la misma, plaza que conserv hasta su muerte.
Despus de doctorarse viaj por Europa durante dos aos, en concreto por Francia
y Alemania en compaa de dos de sus hermanas, con las que convivi siempre, ya
que Gibbs nunca contrajo matrimonio. Cuando regres en 1869 a New Haven, ocup
su plaza de profesor sin remuneracin econmica durante los nueve primeros aos.
Se puede considerar a Gibbs como el fundador de la termodinmica qumica. Fue
famoso su trabajo titulado On The equilibrium of heterogeneus substances, en el que
asent sobre bases matemticas y mediante la llamada regla de las fases, el estudio
del equilibrio de los sistemas heterogneos y relacion la qumica fsica con la termodinmica.
La regla de las fases fue formulada por Gibbs en 1877 y se basa en la siguiente condicin termodinmica: "En un sistema formado por varios componentes "C", distribuidos
entre varias fases "F ", existe equilibrio cuando el potencial qumico (entalpa libre por
mol) de cada componente es el mismo en todas las fases". Matemticamente,
F +L=C +2
Pg.: 93

TEXTO
donde L representa el nmero de grados de libertad que posee el sistema, entendiendo por tales las variables que pueden modificarse libremente sin que se produzca
variacin de F ni de C. La aplicacin de la regla de Gibbs es de especial inters en el
estudio de las aleaciones binarias.
Son tambin muy valiosas sus investigaciones sobre el anlisis vectorial y sobre la
mecnica estadstica. Esta ciencia permita calcular la entropa de una sustancia en
base a los valores de ciertas propiedades mecnicas de sus molculas.
A partir del concepto de entropa pudo definir una nueva funcin de estado conocida como la energa libre de Gibbs, G, cuya variacin permita predecir ms fcilmente la reversibilidad o no de un proceso qumico. Esta funcin quedaba definida
como:
G=H
TS
siendo H la entalpa del sistema, T la temperatura y S la entropa del sistema. Gibbs

demostr que slo si la variacin de la energa libre de una transformacin qumica era
cero, se obtena un proceso reversible. Por tanto, para juzgar si cierto cambio de estado
es reversible, slo hay que evaluar el cambio de energa libre que le acompaa.
La mecnica estadstica tambin le servira para deducir a partir de ella las leyes de
la termodinmica.
Invent la nocin de potencial qumico y realiz trabajos sobre este tema en la ltima etapa de su vida.
Aunque llev a cabo algunos inventos prcticos, como un freno de ferrocarril patentado en 1866, resalt sobre todo como cientfico terico de gran imaginacin. Sus trabajos redactados con un gran formalismo matemtico se publicaron en revistas poco
conocidas y de ah la pequea difusin que tuvieron entre los cientficos de su tiempo;
por ello, muchos cientficos posteriores, como Planck o Einstein, sufriran un gran desengao al comprobar que algunos resultados que crean suyos ya haban sido descubiertos por Gibbs. No fue hasta 1890 cuando Gibbs pudo ver sus artculos traducidos a
otros idiomas y se le reconoci mundialmente el trabajo de casi toda su vida. Escribi
Estudios Termodinmicos.
Falleci en New Haven el 28 de abril 1903.
http://www.mcnbiografias.com/app-bio/do/show?key=gibbs-josiah-willard
Pg.: 94
BIBLIOGRAFIA
[1] Sadosky, C. TRANSFORMADA DE FOURIER, INTEGRALES SINGULARES E INTERPOLACION DE OPERADORES: CON UN APENDICE ACERCA DEL METODO COMPLEJO
DE INTERPOLACION. Publicacines de matemtica de la Universidad Central de
Venezuela, Facultad de Ciencias, Escuela de Fisica y Matemticas, Department
de Matemticas, 1976. https://books.google.co.ve/books?id=K8zCnQEACAAJ.
[2] Churchill, R. V. SERIES DE FOURIER Y PROBLEMAS DE CONTORNO. McGraw-Hill Book
Company, 2da edition, 1977.
[3] Bracewell, R. N. THE FOURIER TRANSFORM AND ITS APPLICATIONS. McGraw-Hill
Higher Education, 3rd edition, 2000.
[4] Arfken, G. B.; Weber, H. J. & Harris F. E. MATHEMATICAL METHODS FOR PHYSICISTS: A
COMPREHENSIVE GUIDE. Elsevier Inc., 7th edition, 2013.
[5] Widder, D. V. THE LAPLACE TRANSFORM. Princeton University Press, Princeton, NJ,
1941.
[6] Doetsch, G. INTRODUCTION TO THE THEORY AND APPLICATION OF THE LAPLACE
TRANSFORMATION. Springer-Verlag, Berlin, 2nd edition, 1974.
[7] Spiegel, M. R. TRANSFORMADAS DE LAPLACE. Serie de Comprendios Schaum. Mc
Graw Hill / Interamericana de Mxico, 1era edition, 1991.
[8] Cohen-Tannoudji C.; Diu, B. & Lalo, F. QUANTUM MECHANICS, volume 1. Wiley,
1991.
[9] Zettili, N. QUANTUM MECHANICS CONCEPTS AND APPLICATIONS. John Wiley & Sons,
Ltd, 2nd edition, 2009.
95
BIBLIOGRAFIA
[10] Callen, H. B. THERMODYNAMICS - AN INTRODUCTION TO THE PHYSICAL THEORIES OF
EQUILIBRIUM THERMOSTATICS AND IRREVERSIBLE THERMODYNAMICS. John Wiley &
Sons, Inc., 1960.
[11] Callen, H. B. THERMODYNAMICS AND INTRODUCTION TO THERMOSTATISTICS. John
Wiley & Sons, Inc., 2nd edition, 1985.
[12] Greiner, W.; Neise, L. & Stcker, H. THERMODYNAMICS AND STATISTICAL MECHANICS.
Springer-Verlag New York, Inc., 1997.
[13] Goldstein, H.; Poole, Ch. & Safko, J. CLASSICAL MECHANICS. Addison-Wesley, 3rd
edition, 2000.
[14] Greiner, W. CLASSICAL MECHANICS SYSTEMS OF PARTICLES AND HAMILTONIAN DYNAMICS. Springer-Verlag New York, Inc., 2003.
[15] Thornton, S. & Marion, J. CLASSICAL DYNAMICS OF PARTICLES AND SYSTEMS. Thomson Brooks/cole, 5th edition, 2004.
[16] Gregory, R. D. CLASSICAL MECHANICS: AN UNDERGRADUATE TEXT. Cambridge
University Press, 2006.
[17] Falcn V., N. MECANICA CLASICA: FISICA TEORICA EN FORMALISMOS DE LAGRANGE, HAMILTON Y HAMILTON-JACOBI. Serie Fsica. Universidad de Carabobo.
Editado por la Direccin de Medios y Publicaciones de La Universidad de
Carabobo, Valencia, Venezuela, 1era edition, Abril 2012.
[18] Fukuda, R.; Komachiya, M.; Yocojima, S.; Suzuki, Y.; Okumura, K. & Inagaki, T. .
NOVEL USE OF LEGENDRE TRANSFORMATION IN FIELD THEORY AND MANY PARTICLE
SYSTEMS: ON-SHELL EXPANSION AND INVERSION METHOD. Progress of Theoretical
Physics Supplement, 121:1428, 1995.
[19] Pujos, J. S. & Maggs, A. C. LEGENDRE TRANSFORMS FOR ELECTROSTATIC ENERGIES.
arXiv, 2012. http://lanl.arxiv.org/pdf/1211.6601.pdf.
[20] Klein, F. MATEMATICA ELEMENTAL DESDE UN PUNTO DE VISTA SUPERIOR.-TOMO II :
GEOMETRIA, volume 3. Biblioteca Matemtica - Director: J. Rey Pastor, Madrid,
1931. Traduccin de R. Fontanilla.
[21] Sychev, V. V. THE DIFFERENTIAL EQUATIONS OF THERMODYNAMICS. MIR Publishers
Moscow - Hemisphere Publishing Corporation, 2nd edition, 1991.
Pg.: 96
BIBLIOGRAFIA
[22] Rockafellar, R. T. CONVEX ANALYSIS. Number 28 in Princeton Mathematical Series.
Princeton University Press, Princeton, N.J., 1970.
[23] Hiriart-Urruty, J. B. & Lemarchal, C. FUNDAMENTALS OF CONVEX ANALYSIS.
Springer-Verlag Berlin Heidelberg GmbH, 2001.
[24] Bertsekas, D. CONVEX ANALYSIS AND OPTIMIZATION. Athena Scientific, 2003.
[25] Roberts, A. W. & Varberg, D. E. CONVEX FUNCTIONS. Academic Press, New York
and London, 1973.
[26] Simon, B. CONVEXITY: AN ANALYTIC VIEWPOINT, volume 187 of Cambridge Tracts in
Math. Cambridge University Press, Cambridge, 2011.
[27] Merentes D., N. J. y Rivas A., S. T.
EL DESARROLLO DEL CONCEPTO DE
FUNCIN CONVEXA. Ediciones IVIC (Instituto Venezolano de Investigaciones
Cientficas), Escuela Venezolana de Matemticas, Caracas, Venezuela, 2013.
http://evm.ivic.gob.ve/LibroMerentesRivas.pdf.
[28] Arnold, V. I. MATHEMATICAL METHODS OF CLASSICAL MECHANICS. Springer-Verlag
New York, Inc., 2nd edition, 1991.
[29] Baumann, G. MATHEMATICA FOR THEORETICAL PHYSICS - CLASSICAL MECHANICS
AND NONLINEAR DYNAMICS, volume 1. Springer Science+Business Media, Inc., 2nd
edition, 2005.
[30] Zia, R. K. P. MAKING SENSE OF THE LEGENDRE TRANSFORM. American Journal of
Physics, 77(7), July 2009.
[31] Mungan, C. E.
LEGENDRE TRANSFORMS FOR DUMMIES.
Poster
PST2-F03
AAPT
Summer
Meeting,
Minneapolis,
MN,
July
2014.
https://www.aapt.org/docdirectory/meetingpresentations/SM14/MunganPoster.pdf.
[32] Granados M., A. L. MECANICA Y TERMODINAMICA DE SISTEMAS MATERIALES CONTINUOS. Universidad SImn Bolvar, Caracas-Venezuela, Marzo 1999. Versin ampliada y corregida. Octubre, 2015.
[33] Skarke, H. WHY IS THE LEGENDRE TRANSFORMATION ITS OWN INVERSE? American
Journal of Physics, 81(7):554555, July 2013.
Pg.: 97
BIBLIOGRAFIA
[34] Magnano, G.; Ferraris, M. & Francaviglia, M. ON THE LEGENDRE TRANSFORMATION
FOR A CLASS OF NONREGULAR HIGHER ORDER LAGRANGIAN FIELD THEORIES. Journal of Mathematical Physics, 31(2):378387, February 1990.
[35] Alberty, R. A. Legendre transforms in chemical thermodynamics. Chemical Reviews, 94(6):14571482, September/October 1994.
[36] Alberty, R. A. USE OF LEGENDRE TRANSFORMS IN CHEMICAL THERMODYNAMICS.
Pure and Applied Chemistry, 73(8):13491380, 2001.
[37] Gitin, A. V. THE LEGENDRE TRANSFORMATIONS IN HAMILTONIAN OPTICS. Journal of
the European Optical Society - Rapid Publications, 10022(5):16, 2010.
[38] Kupershmidt, B. A.
HAMILTONIAN FORMALISM IN QUANTUM MECHANICS.
Journal of Nonlinear Mathematical Physics, 5(2):162180, 1998.
http://lanl.arxiv.org/pdf/quant-ph/9804076.pdf.
[39] Araki, H. HAMILTONIAN FORMALISM AND THE CANONICAL COMMUTATION RELATIONS IN QUANTUM FIELD THEORY. Journal of Mathematical Physics, 1(6):492504,
November/Dicember 1960.
[40] Echeverra-Enrquez, A.; Lpez C.; Marn-Solano, J.; Muoz-Lecanda, M. C. &
Romn-Roy, N. LAGRANGIAN-HAMILTONIAN UNIFIED FORMALISM FOR FIELD THEORY.
Journal of Mathematical Physics, 45(1):360380, January 2004.
[41] Scott S., M. THERMODYNAMICS AND STATISTICAL MECHANICS: AN INTEGRATED APPROACH. Cambridge University Press, 2015.
[42] Boas, M. L. MATHEMATICAL METHODS IN THE PHYSICAL SCIENCES. John Wiley & Sons,
Inc., 3rd edition, 2006.
[43] Kubo, R. THERMODYNAMICS. AN ADVANCED COURSE WITH PROBLEMS AND SOLUTIONS. NORTH-HOLLAND PUBLISHING COMPANY, 1968.
[44] David, C. W. ON THE LEGENDRE TRANSFORMATION. International Journal of Mathematical Education in Science and Technology, 17(2):201204, 1986.
[45] Linder, B. THERMODYNAMICS AND INTRODUCTORY STATISTICAL MECHANICS. John
Wiley & Sons, Inc., Hoboken, New Jersey, 2004.
[46] Martnez-Chvanz, R. ALGEBRA MULTILINEAL. Editorial Universidad de Antioquia,
Colombia, 1era edition, 2006.
Pg.: 98
BIBLIOGRAFIA
[47] Garca C., J. L. ALGEBRA LINEAL: SUS APLICACIONES EN ECONOMIA, INGENIERIAS Y
OTRAS CIENCIAS. DELTA Publicaciones Universitarias, Madrid-Espaa, 1era edition,
2006.
[48] Hazewinkel, M. ENCYCLOPAEDIA OF MATHEMATICS, volume 1. Kluwer Academic
Publishers, 1995.
[49] Voitsekhovskii, M. I. ENCYCLOPAEDIA OF MATHEMATICS. Electronic, February 2011.
https://www.encyclopediaofmath.org/index.php/Contact_transformation.
Pg.: 99
INDICE ALFABETICO
Transformaciones Correlativas, 56
100

Transf de Legendre - Soldovieri PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Transf de Legendre - Soldovieri PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

La Transformacin

PARA ESTUDIANTES DE CIENCIAS

(EN REDACCION Y REVISION)

Coleccin Soldovieri de textos de Ciencia

Una presentacin didctica de un

SOLDOVIERI C., Terenzio

Por Terenzio Soldovieri C. fecha 14:18 , 02/05/2016

1era edicin (preprint)

Soldovieri C., Terenzio

Coleccin Soldovieri de textos de Ciencia.

Grficos: Soldovieri C., Terenzio.

Coleccin Soldovieri de textos de

ADRIEN-MARIE LEGENDRE 1752 - 1833

Adrien-Marie Legendre 1752 - 1833

A la edad de 18 aos, el 25 de julio de 1770, Legendre defiende su tesis doctoral

Biografa tomada de la web: EcuRed

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

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

qu van los agradecimientos.

1 LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

2 TRANSFORMACION DE LEGENDRE PARA UNA VARIABLE INDEPENDIENTE

3 TRANSFORMACION DE LEGENGRE PARA MAS DE UNA VARIABLE INDEPENDIENTE

4 LA TRANSFORMACION DE LEGENDRE CON UNA O MAS VARIABLES PASIVAS Y SU FORMA VECTORIAL

4.1 Tipos de variables en una Transformacin de Legendre . . . . . . . . . . . . . 32

5 ALGUNAS PROPIEDADES MATEMATICAS DE LA TRANSFORMACION DE

La inversa de la Transformacin de Legendre .

6 ALGUNAS APLICACIONES DE LA TRANSFORMACION DE LEGENDRE

A TRANSFORMACIONES CORRELATIVAS Y DE CONTACTO

A.1 Transformaciones correlativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

B CALCULOS REFERENTES A LA DEFINICION DE FUNCION CONVEXA

D BIOGRAFIAS RESUMIDAS DE CIENTIFICOS DESTACADOS EN EL PRESENTE

JEAN-BAPTISTE JOSEPH FOURIER 1768 -1830 . . . . . . . . . . . . . . . . . . .

B.1 Detalles referentes a la definicin de Funcin Convexa. . . . . . . . . . . . . 67

Jean-Baptiste Joseph Fourier 1768 -1830 . . . . . . . . . . . . . . . .

Albert Einstein 1879 - 1955

Denicin de la Transformacin de Legendre . . . . . . . . . . . . . . .

Funciones covexas y cncavas . . . . . . . . . . . . . . . . . . . . . . . .

Propiedades de las funciones convexas y cncavas . . . . . . . . . . . . . .

Cmo determinar si una funcin es convexa o cncava? . . . . . . . . . .

La palabra Transformacin se refiere a la accin o procedimiento mediante el cual

Ver apndice D.1 para una biografa resumida de Fourier.

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

Definicin de la Transformacin de Legendre

en la que los argumentos vi sean precisamente las derivadas de la funcin F respecto

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

Para comprender mejor lo inadecuado de este procedimiento pinsese en el caso

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

A pesar de la conveniencia de disponer de v como variable independiente, este

El concepto esencial en la geometra de Plcker de las lneas es que una curva

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

en la que se sustituye una o ms de las variables ui de F por las derivadas vi = @uij

Una Transformacin de Legendre es un procedimiento matemtico

Dada una funcin F (u), la Transformacin de Legendre proporciona una forma ms

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

siguiente seccin) puede verse considerando el ejemplo mostrado en la figura 1.3a. En

Funciones covexas y cncavas

En virtud de la condicin 2, mecionada en la seccin anterior, es pertinente a

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS

1.3.1 Funciones convexas

Figura 1.4: (a) Conjunto S convexo, (b) conjunto S no convexo.

Un conjunto S es convexo si no existen puntos A y B en S tales que

8 2 [0; 1] ^ 8ua ; ub 2 S, como se muestra grficamente en la figura 1.5.

CAPITULO 1. LA TRANSFORMACION DE LEGENDRE Y DEFINICIONES BASICAS