El teorema de los multiplicadores de Lagrange es el instrumento terico ms clsico para

resolver problemas de optimizacin con restricciones. Su creador, Joseph-Louis Lagrange (Turn,

1736 Pars, 1813), utiliz por primera vez la tcnica de los multiplicadores para resolver
problemas del clculo de variaciones en su clebre tratado Mchanique Analitique, en el cual
dot a la Mecnica de un formalismo analtico adecuado, y posteriormente lo expuso en su no
menos clebre obra sobre clculo diferencial
Teorema: sea f una funcin real tal que
en un conjunto abierto S de . Sean
funciones reales tales que
en S, y propongamos que m<n. Sea
subconjunto de S en el que g se anula, esto es,

m
el

Supongamos que
y que existe una n-bola
tal que
para todo x de
o tal que
para todo x de
. Supongamos, adems, que l
determinante de orden m
. Entonces existe m nmeros reales
tales
que se satisfacen las n ecuaciones siguientes:

Es decir:

Demostracin. Consideremos el siguiente sistema de m ecuaciones lineales con las m incgnitas

:

Como el determinante del sistema es no nulo, por hiptesis, el sistema tiene solucin nica por
lo que satisface las primeras m ecuaciones buscadas. Falta por ver que para
tambien
se satisfacen las n-m ecuaciones restantes.
Dado que m<n, cada punto x de S puede escribirse en la forma x
y
, esto es
funcin
, podemos escribir
;

x; t

donde
. En trminos de la

Notemos que se satisfacen las condiciones para utilizar el teorema de la funcin implcita, por lo
que existe un entorno (n-m) dimensional de y una nica funcin vectorial
,
definida en
y con valores en
tales que
en
y para cada t de
tenemos que
;
por lo que el sistema de m ecuaciones

1|P gi na

permite expresar

en funcin de
, obteniendo soluciones de la forma
con r=1,2, , m. sustituimos las expresiones de
en la
y
tambin en cada una de las
. Asi obtenemos la nueva funciones F y m nuevas
funciones
;
;
Podemos escribir

, en donde

; .

Ahora, cada una de las funciones

es cero por el teorema de la funcin implcita por lo
que sus derivadas son nulas, podemos calcular las derivadas por la regla de la cadena y se tiene:

Pero
y
cuando
, tenemos
Entonces el anterior conjunto de ecuaciones se convierte en:

. Por lo consiguiente,
.

Por la continuidad de h, existe una (n-m) bola

tal que
implica
;
, en donde
es la n-bola enunciada. Luego,
implica
;
y entonces, por hiptesis se tiene, o bien
para todo
, o si no
para todo
. Esto es, F tiene un mximo local o un mnimo local en el punto
interior . Cada derivada parcial
debe ser cero. Si utilizamos la regla de la cadena,
obtenemos:

Por lo que podemos escribir

Ahora, si multiplicamos (*) por

obtenemos:

, sumamos con respecto a p, y aadimos el resultado a (**),

2|P gi na

para r=1, , n-m. en la suma relativa a k, la expresin en corchetes se anula en virtud de cmo
fueron definidos
. Por lo tanto, el primer miembro queda reducido a

Siendo estas las ecuaciones necesarias para terminar la demostracin.

Referencias:

Multiplicadores de Lagrange,
http://www.matematicalia.net/index.php?option=com_content&task=view&id=326&Ite
mid=199, recuperado el 27 de noviembre de 2015
Tom A. Apostol. Anlisis matemtico, segunda edicin. Editorial Revert. Mxico:1996

3|P gi na