Continuità, derivabilità e differenziabilità in due variabili con modulo

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot).
#93660
avt
Slapp
Punto

Mi servirebbe una mano per un esercizio su continuità, derivabilità e differenziabilità di una funzione in due variabili con un modulo.

Studiare gli estremanti liberi, continuità, derivabilità e differenziabilità di:

f(x, y) = xy|x^2+y^2−1|

Ho problemi principalmente nello studio della differenziabilità nei punti in cui la funzione vale zero poiché si annulla il modulo, ma una risoluzione completa e accurata sarebbe molto gradita.

#93676
avt
Ifrit
Amministratore

Ciao Slapp, eseguiamo lo studio della continuità, della derivabilità e della differenziabilità della funzione con valore assoluto:

f(x,y) = x y|x^2+y^2−1|

Il dominio della funzione è tutto il piano (per approfondire - dominio di funzioni a due variabili)

dom(f) = R^2

giacché prodotto di funzioni definite in tutto il piano.

Continuità.

Lo studio della continuità di f(x,y) è abbastanza agevole, è sufficiente notare che f(x,y) è composta da funzioni notoriamente continue conseguentemente essa è continua per tutti i punti del dominio.

Derivabilità.

Lo studio della derivabilità invece richiede qualche passaggio in più. Prima di tutto scriviamo f(x,y) espandendo il valore assoluto sfruttando la sua definizione.

f(x,y) = xy(x^2+y^2−1) se x^2+y^2−1 ≥ 0 ; x y (1−x^2−y^2) se x^2+y^2−1 < 0

Se x^2+y^2−1 < 0 (nota che non c'è l'uguale), ossia per i punti del piano xy interni alla circonferenza di centro (0,0) e raggio r = 1, allora l'espressione analitica della funzione è:

f(x,y) = x y (1−x^2−y^2)

ed è evidentemente derivabile con continuità perché prodotto di funzioni derivabili con continuità, sia rispetto ad x sia rispetto ad y e la derivata parziale rispetto ad x è:

(partial f)/(partial x)(x,y) = −y (−1+3x^2+y^2)

sia rispetto ad y e la derivata parziale rispetto ad y è:

(partial f)/(partial y)(x,y) = −x (−1+x^2+3y^2)

Nota che il calcolo delle derivate parziali non è necessario per rispondere alle richieste dell'esercizio però ti invito a leggere lo stesso come calcolare le derivate parziali.

Se x^2+y^2−1 > 0, ossia per i punti esterni alla circonferenza di centro (0,0) e raggio r = 1, l'espressione analitica di f(x,y) è:

f(x,y) = x y (x^2+y^2−1)

Essa è certamente una funzione derivabile con continuità sia rispetto ad x sia rispetto ad y perché f(x,y) è composizione di funzioni derivabili (alla fin fine è una funzione polinomiale).

Gli unici punti in cui abbiamo dubbi sulla derivabilità sono quelli che soddisfano l'equazione x^2+y^2−1 = 0 ossia i punti che appartengono alla circonferenza di centro (0,0) e raggio r = 1.

Consideriamo un punto generico (x_0,y_0) tale che x_0^2+y_0^2−1 = 0 (ossia stiamo prendendo in considerazione un punto sulla circonferenza) e impostiamo il limite che definisce la derivata parziale rispetto ad x:

(partial f)/(partial x)(x_0, y_0) = lim_(h → 0)(f(x_0+h, y_0)−f(x_0, y_0))/(h) =

Notando che f(x_0,y_0) = x_0 y_0 |x_0^2+y_0^2−1| = 0 il limite si riscrive come

= lim_(h → 0)(x_0 y_0 |(x_0+h)^2+y_0−1|)/(h)

Bene, prima di procedere con ulteriori conti, analizziamo il limite:

- se x_0 = 0 allora y_0 = ±√(1−x_0^2) = ±1 il limite è zero, dunque f(x,y) è derivabile rispetto ad x sia nel punto (0,1) sia nel punto (0,−1) ed in particolare:

(partial f)/(partial x) (0,±1) = 0

- se y_0 = 0 allora x_0 = ±√(1−y_0^2) = ±1 ed evidentemente il limite

lim_(h → 0)(x_0 y_0 |(x_0+h)^2+y_0−1|)/(h)

è uguale a 0, pertanto f(x,y) è derivabile rispetto ad x nei punti (1, 0) e (−1,0) ed in particolare

(partial f)/(partial x)(±1, 0) = 0

- per tutti gli altri punti della circonferenza dobbiamo necessariamente espandere i conti ed in particolare il quadrato di binomio (x_0+h)^2:

lim_(h → 0)(x_0 y_0 |(x_0+h)^2+y_0^2−1|)/(h) = lim_(h → 0)(x_0 y_0 |x_0^2+2h x_0+h^2+y_0^2−1|)/(h) =

e tenendo conto che x_0^2+y_0^2−1 = 0, il limite diventa

= lim_(h → 0)(x_0 y_0 |2h x_0+h^2|)/(h) = lim_(h → 0)(x_0 y_0·|h|·|2x_0+h|)/(h)

Il limite dipende da come h tende a zero (lo si capisce dalla presenza del valore assoluto), dobbiamo pertanto considerare il limite destro e il limite sinistro.

Per il limite destro si ha:

lim_(h → 0^(+))(x_0 y_0·|h|·|2x_0+h|)/(h) = lim_(h → 0^(+))(x_0 y_0·h·|2x_0+h|)/(h) = x_0 y_0|2x_0|

questo perché quando h tende a 0 per valori positivi |h| = h.

Consideriamo il limite sinistro:

lim_(h → 0^(−))(x_0 y_0·|h|·|2x_0+h|)/(h) = lim_(h → 0^(−))(x_0 y_0·(−h)·|2x_0+h|)/(h) = −x_0 y_0|2x_0|

questa volta h tende a zero per valori minori di zero di conseguenza |h| = −h.

Poiché il limite destro e il limite sinistro che definiscono la derivata parziale rispetto ad x hanno sì valori finiti ma non coincidono (a parte i casi trattati in precedenza) possiamo concludere che f(x,y) non è derivabile rispetto ad x nei punti (x_0, y_0) che soddisfano l'equazione x_0^2+y_0^2−1 = 0 ad eccezione di (0,±1) e (±1, 0).

Controlliamo la derivabilità della funzione f(x,y) rispetto alla variabile y sempre nei punti (x_0,y_0) soddisfacenti l'equazione x_0^2+y_0^2−1 = 0. Impostando il limite

lim_(k → 0)(f(x_0, y_0+k)−f(x_0,y_0))/(k)

e ripercorrendo gli stessi identici passaggi già visti per il caso precedete (sono esattamente uguali, l'unica cosa che cambia sono i ruoli di x_0, y_0) scopriamo che f(x,y) non è derivabile nei punti (x_0,y_0) che appartengono alla circonferenza di centro (0,0) e raggio r = 1 ad eccezione dei punti (±1, 0) e (0,±1).

In tali punti si ha che

(partial f)/(partial y)(±1, 0) = 0 e (partial f)/(partial y)(0,±1) = 0

Differenziabilità della funzione: la funzione f(x,y) è certamente differenziabile in tutti i punti del piano ad eccezione dei punti che stanno sulla circonferenza x^2+y^2−1 = 0 i quali richiedono un approfondimento a parte.

Se (x_0,y_0) non appartiene alla circonferenza infatti, f(x,y) è derivabile con continuità in (x_0,y_0) e dunque per il teorema del differenziale totale f(x,y) è differenziabile in (x_0,y_0)

Teniamo a mente che se una funzione non è derivabile in un punto allora non può essere nemmeno differenziabile in tale punto, la derivabilità è infatti condizione necessaria per la differenziabilità.

Questa affermazione ci permette di concludere immediatamente che f(x,y) non è differenziabile nei punti (x_0,y_0) tali che x_0^2+y_0^2−1 = 0 con x_0 ne 1 oppure con x_0 = 0.

Dobbiamo analizzare i punti per i quali f(x,y) è derivabile ossia: (±1, 0) e (0,±1).

Cominciamo con l'analisi della differenziabilità nel punto (1,0). Dobbiamo dimostrare che esiste ed è uguale a zero il limite in due variabili

lim_((h, k) → (0,0))(f(1+h, 0+k)−f(1, 0)−f_(x)(1, 0)h−f_(y)(1, 0)k)/(√(h^2+k^2)) =

dove f_(x)(1, 0) e f_(y)(0, 1) sono rispettivamente la derivata parziale rispetto ad x e y nel punto (1,0) e valgono entrambi 0

= lim_((h, k) → (0,0))(f(1+h, 0+k))/(√(h^2+k^2)) = lim_((h, k) → (0,0))((1+h)k |(1+h)^2+k^2−1|)/(√(h^2+k^2)) = lim_((h, k) → (0,0))((1+h)k |2h+h^2+k^2|)/(√(h^2+k^2))

Dobbiamo dimostrate che questo limite esiste e vale 0 e per farlo possiamo fare uso delle coordinate polari.

Poniamo

h = rcos(t) e k = rsin(t) con r ≥ 0 e t∈ [0, 2π)

e sostituiamo al posto di h e k presenti nella funzione del limite

((1+rcos(t))rsin(t) |2rcos(t)+r^2cos^2(t)+r^2sin^2(t)|)/(√(r^2cos^2(t)+r^2sin^2(t))) = ((1+rcos(t))rsin(t) |2rcos(t)+r^2(cos^2(t)+sin^2(t))|)/(√(r^2(cos^2(t)+sin^2(t)))) =

]Grazie alla relazione fondamentale della Trigonometria sin^2(t)+cos^2(t) = 1 (vedi formule trigonometriche) la precedente espressione diventa:

= ((1+rcos(t))rsin(t) |2rcos(t)+r^2|)/(r) =

e semplificando r otteniamo:

= (1+rcos(t))sin(t) |2rcos(t)+r^2| (•)

Attenzione! Abbiamo trovato l'espressione in coordinate polari associata alla funzione presente nel limite ma non abbiamo ancora finito.

In base alla teoria dei limiti in due variabili, dobbiamo dimostrare che il valore assoluto di (•) deve essere minore o al più uguale ad una funzione g

- non negativa;

- dipendente esclusivamente dalla variabile r;

- infinitesima per r → 0.

Cerchiamo di determinarla con qualche stratagemma algebrico.

Le proprietà del valore assoluto sul prodotto ci assicurano la validità della seguente uguaglianza

|(1+rcos(t))sin(t) |2rcos(t)+r^2|| = |1+rcos(t)|·|sin(t)|·|2 rcos(t)+r^2| ≤

Mediante la disuguaglianza triangolare e sfruttando la limitatezza delle funzioni seno e coseno possiamo scrivere

≤ (1+r|cos(t)|)·(2 r|cos(t)|+r^2) ≤ ; ≤ (1+r)(2r+r^2) = g(r)

g(r) = (1+r)(2r+r^2) è sia una funzione non negativa (ricorda che r ≥ 0) sia infinitesima per r → 0, infatti

lim_(r → 0)g(r) = lim_(r → 0)(1+r)(2r+r^2) = 0

Ce l'abbiamo fatta! Poiché abbiamo determinato una funzione infinitesima che maggiora il valore assoluto della funzione presente nel limite che definisce la differenziabilità, possiamo concludere che:

lim_((h, k) → (0,0))(f(1+h, 0+k)−f(1, 0)−f_(x)(1, 0)h−f_(y)(1, 0)k)/(√(h^2+k^2)) = 0

ossia che f(x,y) è differenziabile nel punto (1, 0).

E per gli altri tre punti? È sufficiente ripercorrere gli stessi passaggi che abbiamo già fatto per concludere che la funzione è differenziabile anche in (−1, 0) e (0,±1).

Ti faccio notare che ciò si può giustificare anche mediante le simmetrie di cui gode f(x,y). Per ogni (x,y)∈dom(f) sussistono le seguenti identità:

f(x,y) = f(y,x) e f(x,y) = f(−x,−y)

le quali assicurano che se f(x,y) è differenziabile in (1, 0) allora è differenziabile anche in (0,1), in (−1, 0) e nei punti (0,−1) e (0, 1).

Ringraziano: Omega, Galois, CarFaby, Slapp
#93741
avt
Slapp
Punto

Scusami per il ritardo nella risposta e grazie mille, sei stato gentilissimo ^^

  • Pagina:
  • 1