Criterio "rapido" per la verifica di differenziabilità

mobley
Cito dal testo:

Dimostra che la funzione $ f(x_1,x_2,x_3)=sqrt(x_1\^2x_2^2x_3^2) $ è differenziabile. (Suggerimento: ricorda che c'è un criterio rapido per far ciò.)


Ora, io conosco il procedimento per verificare la differenziabilità di una funzione (dominio, continuità della funzione e studio della continuità nei punti di possibile discontinuità, calcolo derivate parziali e studio derivabilità in tali punti, studio differenziabilità nei punti di derivabilità), tuttavia per svolgere tutti i calcoli impiegherei molto più delle due ore che il compito consente. E per un singolo esercizio. Quindi vi chiedo: qual'è questo "criterio rapido" che permetterebbe di dimostrare la differenziabilità di una funzione?

Risposte
mobley
Probabilmente in questo modo mi "allevierei" dal dover dimostrare, punto per punto, la derivabilità ed annessa differenziabilità nell'insieme $ B={(x_1,x_2,x_3)inR^3:x_1^2x_2^2x_3^2=0} $.

dissonance
Quale sia il criterio rapido non lo so, ma di sicuro quella roba non è differenziabile sugli assi coordinati. Per esempio, se fissi \(x_2=x_3=a\ne 0\) trovi \(a^2|x_1|\) che non è derivabile per \(x_1=0\). E quindi su tutto l'asse \(x_1\) niente derivabilità e quindi niente differenziabilità (aaah, forse era questo il criterio rapido).

mobley
Non lo so. Il testo dice di determinare l'insieme in cui la funzione è differenziabile, quindi oltre alla differenziabilità in $A={(x_1,x_2,x_3)inR^3:x_1^2x_2^2x_3^2>0}$ dovrei dimostrare la differenziabilità per ogni punto ($(0,x_2,x_3)$, $(x_1,0,x_3)$, ecc.) per stabilire se lo sia anche in $B$.

anto_zoolander
Ma è differenziabile dove? te lo dice?
Perchè già in tutti i punti mostrati da mobley non è differenziabile, nel resto dei punti ti può aiutare un teorema sulla composizione...

mobley
"anto_zoolander":
Ma è differenziabile dove? te lo dice?
Perchè già in tutti i punti mostrati da mobley non è differenziabile, nel resto dei punti ti può aiutare un teorema sulla composizione...

Non dice nulla se non di determinare l'insieme in cui $f$ è differenziabile. Considerando le due ore di compito, se mi metto a testare la derivabilità in ogni punto col rapporto incrementale e la differenziabilità col $ lim_(h,k,t)(R(h,k,t))/(sqrt(h^2+k^2+t^2)) $ affitto domani.

Mephlip
C'è un teorema che ti assicura la differenziabilità sotto opportune ipotesi sulle derivate parziali, lo avete fatto?

anto_zoolander
@mobley
ma infatti sarebbe follia

in ogni caso non sarebbe buono considerare che la funzione $g(t)=sqrt(t)$ è differenziabile per $t>0$ e la funzione $h(x,y,z)=(xyz)^2$ differenziabile in $RR^2$ per concludere che in $RR^2setminusB$ sia differenziabile?

mobley
"Mephlip":
C'è un teorema che ti assicura la differenziabilità sotto opportune ipotesi sulle derivate parziali, lo avete fatto?

Ti riferisci alla condizione sufficiente per la differenziabilità? Data $f: X in R^n->R$ e $x_0inInt(X)$, se le derivate parziali sono continue in un intorno di $x_0$ allora $f$ è differenziabile. Ma qui le derivate parziali non sono continue in $B$, per cui dovrei studiarne la continuità nei punti di possibile discontinuità.

mobley
"anto_zoolander":
la funzione $g(t)=sqrt(t)$ è differenziabile per $t>0$ e la funzione $h(x,y,z)=(xyz)^2$ differenziabile in $RR^2$
certo
"anto_zoolander":
non sarebbe buono [...] per concludere che in $RR^2setminusB$ sia differenziabile?

non capisco cosa significa: intendi forse dire differenziabile in $R^2-B$?

Mephlip
"mobley":

Ti riferisci alla condizione sufficiente per la differenziabilità? Data $f: X in R^n->R$ e $x_0inInt(X)$, se le derivate parziali sono continue in un intorno di $x_0$ allora $f$ è differenziabile. Ma qui le derivate parziali non sono continue in $B$, per cui dovrei studiarne la continuità nei punti di possibile discontinuità.


Esatto, mi riferisco al teorema del differenziale totale. Con quello puoi provare a dimostrare che in tutti i punti ben lontani dall'origine e dagli assi cartesiani la funzione è differenziabile, mentre con quanto ti hanno già suggerito prima puoi concludere la non differenziabilità lungo gli assi cartesiani e nell'origine.

anto_zoolander
il 'meno' insiemistico, si.
In teoria ti basta e avanza per avere la differenziabilità in tutto quell'insieme

mobley
Ho capito, grazie.
Ho solo una domanda. Se ad es. avessi avuto la funzione $sqrt((x_1^2-1)x_2^2x_3^2)$ avrei avuto che sicuramente nel punto $(1,0,x_3)$ la funzione è derivabile e differenziabile, tuttavia applicando gli insiemi nel modo che mi avete consigliato sarei stato tentato di dire che in $B={(x_1,x_2,x_3)in R^3: (x_1^2-1)x_2^2x_3^2=0}$ le derivate parziali non sono continue e quindi la funzione è differenziabile in $R^2-B$. In questo modo non mi sarei "perso per strada" diversi punti in cui in realtà è differenziabile? In casi del genere sono costretto ad applicare rapporto incrementale ed $R(h,k,t)$ o posso comunque usare gli insiemi?

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