Autor Tema: Diferenciabilidad y cálculo de derivadas parciales por definición

0 Usuarios y 1 Visitante están viendo este tema.

21 Abril, 2018, 01:47 am
Leído 1665 veces

SeedKs

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 31
  • Karma: +0/-0
  • Sexo: Masculino
Hola, buenas noches!

Quería consultar como determinar la diferenciabilidad en la siguiente función en el punto \( (x_0,y_0) = (0,0) \)

\(  f(x,y)= \left\{ \begin{array}{lcc}
             \displaystyle\frac{2x^3-y^3}{x^2+3y^2} &   si  & (x,y)\neq{(0,0)} \\
             \\ 0 &  si  & (x,y) = (0,0)
             \end{array}
   \right.  \)

Ya calculé los valores de las derivadas parciales en \( (x_0,y_0) = (0,0) \) usando la definición y me dan \( \frac{{\partial z}}{{\partial x}} \)\( (0,0) = 2 \) y \( \frac{{\partial z}}{{\partial y}} \)\( (0,0) = \displaystyle\frac{-1}{3} \) respectivamente. Lo que no puedo calcular es el límite doble para determinar la diferenciabilidad por definición.

Tengo que resolver el ejercicio de dos formas... Una viendo si las derivadas parciales son continuas, entonces la funcion es diferenciable, y la otra es por definición de diferenciabilidad. Si alguien fuera tan amable de resolverlo de ambas maneras se lo agradecería mucho.

Desde ya gracias y un saludo.

21 Abril, 2018, 03:13 am
Respuesta #1

Masacroso

  • “Lo que oigo, lo olvido; lo que veo, lo recuerdo; lo que hago, lo aprendo” (antiguo proverbio chino)
  • Moderador Global
  • Mensajes: 5,485
  • País: es
  • Karma: +0/-0
Para lo primero simplemente debes hallar las derivadas parciales para un \( (x,y)\neq (0,0) \) e intentar evaluar el límite o ver si tiende al valor de la función, es decir

\( \displaystyle \partial_1 f(x,y)=\frac{6x^2}{x^2+3y^2}-\frac{2x(2x^3-y^3)}{(x^2+3y^2)^2}\tag1 \)

Entonces se ve que \( \lim_{(0,y)\to (0,0)}\partial_1 f(x,y)=0\neq 2 \), entonces ya sabes que las derivadas parciales no son continuas por lo que no puedes usar ese criterio para determinar su diferenciabilidad en ese punto.

Para lo segundo: una forma de caracterizar la derivada es así

\( \displaystyle f(v+h)-f(v)-\partial f(v)h\in o(\|h\|),\quad\text{cuando }h\to 0\tag2 \)

que es equivalente a

\( \displaystyle\lim_{h\to 0}\frac{\| f(v+h)-f(v)-\partial f(v)h\|}{\|h\|}=0\tag3 \)

que es simplemente la definición de derivada de Fréchet (teniendo en cuenta que \( \partial f(v) \) debe ser una función lineal). En este caso tendríamos que \( v=(0,0) \) y del cálculo de las derivadas parciales anteriores si existiese la derivada en el cero podría representarse por el gradiente \( \nabla f(0,0)=(2,-1/3) \), entonces tenemos que verificar que con esos datos se cumple (2):

\( \displaystyle \frac{2h_1^3-h_2^3}{h_1^2+3h_2^2}-2h_1+\frac{h_2}3=\frac{h_1h_2}{h_1^2+3h_2^2}\left(\frac{h_1}3-6h_2\right)\in o(\|h\|),\quad\text{cuando }h:=(h_1,h_2)\to (0,0)\tag4 \)

O lo que es lo mismo:

\( \displaystyle \lim_{(h_1,h_2)\to (0,0)}\left|\frac{h_1}3-6h_2\right|\frac{|h_1h_2|}{(h_1^2+3h_2^2)\sqrt{h_1^2+h_2^2}}=0\tag5 \)

Pero tomando \( r:=h_1=h_2 \) nos quedaría que

\( \displaystyle \lim_{r\to 0}\frac{17}3\cdot\frac{|r|^3}{4r^2\cdot\sqrt2 |r|}=\frac{17}{12\sqrt2}\tag6 \)

y como el límite en (6) no es cero entonces (3) no se cumple con el único candidato posible de \( \partial f(0,0) \), por lo cual la función no es diferenciable en el cero.

CORREGIDO Y AMPLIADO.

23 Abril, 2018, 12:07 am
Respuesta #2

SeedKs

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 31
  • Karma: +0/-0
  • Sexo: Masculino
Para lo primero simplemente debes hallar las derivadas parciales para un \( (x,y)\neq (0,0) \) e intentar evaluar el límite o ver si tiende al valor de la función, es decir

\( \displaystyle \partial_1 f(x,y)=\frac{6x^2}{x^2+3y^2}-\frac{2x(2x^3-y^3)}{(x^2+3y^2)^2}\tag1 \)

Entonces se ve que \( \lim_{(0,y)\to (0,0)}\partial_1 f(x,y)=0\neq 2 \), entonces ya sabes que las derivadas parciales no son continuas por lo que no puedes usar ese criterio para determinar su diferenciabilidad en ese punto.

Para lo segundo: una forma de caracterizar la derivada es así

\( \displaystyle f(v+h)-f(v)-\partial f(v)h\in o(\|h\|),\quad\text{cuando }h\to 0\tag2 \)

que es equivalente a

\( \displaystyle\lim_{h\to 0}\frac{\| f(v+h)-f(v)-\partial f(v)h\|}{\|h\|}=0\tag3 \)

que es simplemente la definición de derivada de Fréchet (teniendo en cuenta que \( \partial f(v) \) debe ser una función lineal). En este caso tendríamos que \( v=(0,0) \) y del cálculo de las derivadas parciales anteriores si existiese la derivada en el cero podría representarse por el gradiente \( \nabla f(0,0)=(2,-1/3) \), entonces tenemos que verificar que con esos datos se cumple (2):

\( \displaystyle \frac{2h_1^3-h_2^3}{h_1^2+3h_2^2}-2h_1+\frac{h_2}3=\frac{h_1h_2}{h_1^2+3h_2^2}\left(\frac{h_1}3-6h_2\right)\in o(\|h\|),\quad\text{cuando }h:=(h_1,h_2)\to (0,0)\tag4 \)

O lo que es lo mismo:

\( \displaystyle \lim_{(h_1,h_2)\to (0,0)}\left|\frac{h_1}3-6h_2\right|\frac{|h_1h_2|}{(h_1^2+3h_2^2)\sqrt{h_1^2+h_2^2}}=0\tag5 \)

Pero tomando \( r:=h_1=h_2 \) nos quedaría que

\( \displaystyle \lim_{r\to 0}\frac{17}3\cdot\frac{|r|^3}{4r^2\cdot\sqrt2 |r|}=\frac{17}{12\sqrt2}\tag6 \)

y como el límite en (6) no es cero entonces (3) no se cumple con el único candidato posible de \( \partial f(0,0) \), por lo cual la función no es diferenciable en el cero.

CORREGIDO Y AMPLIADO.

Excelente, gracias, me ha quedado muy claro. Tuve que pensarlo un rato, pero lo terminé entendiendo.