Máximos y mínimos

Máximos y Mínimos de Funciones de Varias Variables

Angel Carrillo Hoyo, Elena de Oteyza de Oteyza\(^2\), Carlos Hernández Garciadiego\(^1\), Emma Lam Osnaya\(^2\)

\(^1\) Instituto de Matemáticas, UNAM; \(^2\) Facultad de Ciencias, UNAM


Ejemplo 7

Hallar los puntos máximos y mínimos de la función \begin{equation*} f\left( x,y,z\right) =\dfrac{1}{\sqrt{1-z^{2}}} \end{equation*} sobre la curva de intersección de \(x^{2}+y^{2}+zx=2\) con \(6x+2z=8.\) (Geogebra La2r-7)

Solución:

La función es \begin{equation*} f\left( x,y,z\right) =\dfrac{1}{\sqrt{1-z^{2}}}. \end{equation*} Definimos \begin{eqnarray*} g_{1}\left( x,y,z\right) & = & x^{2}+y^{2}+zx-2 \\ g_{2}\left( x,y,z\right) & = & 6x+2z-8. \end{eqnarray*} Tenemos que resolver el sistema \begin{equation*} \nabla f=\lambda \nabla g_{1}+\mu \nabla g_{2}, \end{equation*} es decir, \begin{eqnarray} 0 & = & 2x\lambda +6\mu \notag \\ 0 & = & 2y\lambda \notag \\ \dfrac{z}{\left( 1-z^{2}\right) ^{\frac{3}{2}}} & = & x\lambda +2\mu \label{ecu7} \\ x^{2}+y^{2}+zx & = & 2 \notag \\ 6x+2z & = & 8. \notag \end{eqnarray} De la segunda ecuación de (\ref{ecu7}), es decir, \begin{equation*} 0=2y\lambda \end{equation*} tenemos \begin{equation*} y=0 \quad \quad \quad \text{o} \quad \quad \quad \lambda =0. \end{equation*}

Las únicas soluciones son las de (a): \begin{equation*} \begin{array}{lllllllll} x=\dfrac{4}{3} & & y=-\dfrac{\sqrt{2}}{3} & & z=0 & & \lambda =0 & & \mu =0 \\ & & & & & & & & \\ x=\dfrac{4}{3} & & y=\dfrac{\sqrt{2}}{3} & & z=0 & & \lambda =0 & & \mu = 0. \end{array} \end{equation*} Veamos si \begin{eqnarray*} D\left( g_{1},g_{2}\right) \left( \overline{v}_{0}\right) & = & \left( \begin{array}{ccccc} \dfrac{\partial g_{1}}{\partial x}\left( \overline{v}_{0}\right) & & \dfrac{ \partial g_{1}}{\partial y}\left( \overline{v}_{0}\right) & & \dfrac{ \partial g_{1}}{\partial z}\left( \overline{v}_{0}\right) \\ & & & & \\ \dfrac{\partial g_{2}}{\partial x}\left( \overline{v_{0}}\right) & & \dfrac{ \partial g_{2}}{\partial y}\left( \overline{v_{0}}\right) & & \dfrac{ \partial g_{2}}{\partial z}\left( \overline{v}_{0}\right) \end{array} \right) \\ & & \\ & = & \left( \begin{array}{ccc} 2x & 2y & x \\ 6 & 0 & 2 \end{array} \right) \end{eqnarray*}

tiene rango 2, donde \(\overline{v}_{0}=\left( x,y,z\right) \) es alguna de las dos soluciones antes encontradas.

Consideramos ahora la función \begin{equation*} \varphi =\dfrac{1}{\sqrt{1-z^{2}}}-\lambda \left( x^{2}+y^{2}+zx-2\right) -\mu \left( 6x+2z-8\right) . \end{equation*} Las derivadas de primer orden son: \begin{eqnarray*} \dfrac{\partial \varphi }{\partial x} & = & -2x\lambda -\lambda z-6\mu \\ \dfrac{\partial \varphi }{\partial y} & = & -2y\lambda \\ \dfrac{\partial \varphi }{\partial z} & = & \dfrac{z}{\left( 1-z^{2}\right) ^{ \frac{3}{2}}}-\lambda x-2\mu . \end{eqnarray*} Las derivadas de segundo orden son: \begin{eqnarray*} \dfrac{\partial ^{2}\varphi }{\partial x^{2}} & = & -2\lambda \\ \dfrac{\partial ^{2}\varphi }{\partial y^{2}} & = & -2\lambda \\ \dfrac{\partial ^{2}\varphi }{\partial z^{2}} & = & \dfrac{2z^{2}+1}{\left( 1-z^{2}\right) ^{\frac{5}{2}}}. \end{eqnarray*} Las derivadas mixtas \begin{eqnarray*} \dfrac{\partial ^{2}\varphi }{\partial y\partial x} & = & 0=\dfrac{\partial ^{2}\varphi }{\partial x\partial y} \\ \dfrac{\partial ^{2}\varphi }{\partial z\partial x} & = & -\lambda =\dfrac{ \partial ^{2}\varphi }{\partial x\partial z} \\ \dfrac{\partial ^{2}\varphi }{\partial y\partial z} & = & 0=\dfrac{\partial ^{2}\varphi }{\partial z\partial y}. \end{eqnarray*} Ahora calculamos el determinante hessiano limitado para dos restricciones \begin{equation*} \left\vert \overline{L}\left( x,y,z\right) \right\vert =\left\vert \begin{array}{ccccccccc} 0 & & 0 & & 2x & & 2y & & x \\ 0 & & 0 & & 6 & & 0 & & 2 \\ 2x & & 6 & & -2\lambda & & 0 & & -\lambda \\ 2y & & 0 & & 0 & & -2\lambda & & 0 \\ x & & 2 & & 0 & & -\lambda & & \dfrac{2z^{2}+1}{\left( 1-z^{2}\right) ^{ \frac{5}{2}}} \end{array} \right\vert \end{equation*} Evaluamos el determinante hessiano limitado en cada solución \(x,\) \(y,\) \( z,\) \(\lambda ,\) \(\mu .\)