Differenziabilità

Mrs92
$ f_((x,y)) ={(y^(1/3)e^(-Y^2/x^4), se (x,y)!=(0,0)),(0 ,se (x,y)!=(0,0)):}$

ho verificato la continuità, ora dovrei verificare la differenziabilità e calcolare le derivate direzionali lungo tutte le direzioni..
non mi è ancora (eh, lo so) quale formula usare per verificare la differenziabilità.
le derivate direzionali non saprei come trovarle.

Risposte
ciampax
Per le derivate direzionali devi applicare la definizione, per cui

$f_x(0,0)=\lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h}=a,\qquad f_y(0,0)=\lim_{h\to 0}\frac{f(0,h)-f(0,0)}{h}=b$

Per la differenziabilità idem la definizione, cioè verificare che

$\lim_{(h,k)\to(0,0)}\frac{f(h,h)-f(0,0)-ah-bk}{\sqrt{h^2+k^2}}=0$

Mrs92
oh, perfetto ora ho le idee chiare sulle formule
grazie

gio73
"Mrs92":
$ f_((x,y)) ={(y^(1/3)e^(-Y^2/x^4), se (x,y)!=(0,0)),(0 ,se (x,y)!=(0,0)):}$

ho verificato la continuità, ora dovrei verificare la differenziabilità e calcolare le derivate direzionali lungo tutte le direzioni..
non mi è ancora (eh, lo so) quale formula usare per verificare la differenziabilità.
le derivate direzionali non saprei come trovarle.

Sbaglio o lungo tutto l'asse $y$, non solo l'origine, la nostra funzione non è definita?

Mrs92
Ho sostituito $y = (mx)^3$ per verificare l'esistenza del l limite...è sbagliato?

ciampax
Sì, ma il problema è che allora la funzione iniziale è definita male. Non ha senso non definirla solo nel punto origine, dovrebbe essere definita uguale a zero su tutto l'asse delle ordinate.

P.S.: grazie gio, non avevo proprio visto la $x$ a denominatore dell'esponenziale.

Mrs92
OK, quindi come dovrei proseguire?

ciampax
Per prima cosa credo che la definizione corretta sia questa:

\[f(x,y)=\left\{\begin{array}{lcl}
y^{1/3} e^{-y^2/x^4} & & x\ne 0\\
0 & & x=0
\end{array}\right.\]

Correggimi se sbaglio perché non vedo bene gli esponenti della $y$.

Mrs92
la $y$ all'esponenziale è elevata alla seconda.
per il resto è come avevo scritto io all'inizio

ciampax
No, tu all'inizio avevi scritto che la funzione è definita nulla solo nell'origine: scrivendo come ho fatto io la definisci, correttamente, anche sull'asse delle ordinate.

A questo punto devi continuare esattamente come dicevamo: prima verifichi la continuità (stavolta in ogni punto del tipo $(0,y)$), poi calcoli le derivate parziali come sopra (di nuovo nei punti $(0,y)$) e concludi sulla differenziabilità.

Mrs92
ok, quindi posso dire che la funzione è continua sia nell'origine sia su tutto l'asse delle ordinate, e ovviamente negli altri punti.
a questo punto passo alle derivate parziali seguendo le formule suggerite sopra, giusto?

ciampax
Esatto.

Mrs92
proseguedo la risoluzione ottengo $f_x (0,0) = 0$ e $f_y (0,0) = 0$
quindi posso dire che le derivate parziali esistono e sono continue nell'origine e su tutto l'asse $y$
per la differenziabilità (non dovrebbe essere $f(h,k)$?) ottengo

$\lim_{(h,k)\to(0,0)} (root(3)(k) e^(-k^2/h^4)/(sqrt(h^2 + k^2)))$
a questo punto potrei porre $h=k$ ma non saprei come continuare, suggerimento?

ciampax
In realtà il ragionamento da fare è abbastanza banale e diretto: è vero che hai una forma indeterminata in vari modi, tuttavia osserva che l'esponenziale ha come limite zero. Infatti, l'esponente è un infinito in quanto il grado del denominatore è maggiore di quello del denominatore, pertanto avendo al limite $e^{-\infty}$ ottieni zero come limite. Ma l'esponenziale, ragionando sui vari infinitesimi presenti, è quello di ordine maggiore, e quindi tutto il limite vale zero. Se proprio vuoi fare dei calcoli, puoi provare a porre $t=k/h^2$ e vedere cosa accade (osserva che $t\to \infty$).

Mrs92
OK grazie mille

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.