Problema di Cauchy con equazione differenziale contenente seno iperbolico

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).
#95540
avt
Boro
Punto

Mi servirebbe lo svolgimento di un problema di Cauchy in cui compare un seno iperbolico:

y'= (e^(−y)−e^(y))/(y−2) ; y(0) = 1

(a) Si calcolino tutte le soluzioni costanti dell'equazione differenziale associata al P.d.C.

(b) Detta y_(M) la soluzione massimale del P.d.C. si dimostri che 0 < y_(M) < 2 per ogni x nell'insieme di definizione di y_(M).

Per il punto (a) oltre alla banale y(x) = 0 non riesco a vedere altre soluzioni costanti, ce ne sono?

Per il punto (b) invece il problema riguarda proprio il calcolo dell'integrale, in quanto, dopo aver classificato l'equazione differenziale come risolvibile a variabili separabili, oltre al riscrivere la parte degli esponenziali come −2sinh(x) non riesco più ad andare avanti.

Grazie per l'aiuto,

Federico.

#95546
avt
Amministratore

Consideriamo il problema di Cauchy

y'= (e^(−y)−e^(y))/(y−2) ; y(0) = 1

in cui

y'= (e^(−y)−e^(y))/(y−2)

è un'equazione differenziale a variabili separabili.

In altri termini l'equazione si presenta nella forma

y'= f(x,y)

dove f(x,y) è il prodotto di due funzioni a(x) e b(y), la prima delle quali dipende esclusivamente dalla variabile x, mentre la seconda dipende esclusivamente dalla variabile y.

Nel caso in questione:

• a(x) = 1 è una funzione continua per ogni x∈R, essa è infatti una funzione costante;

• b(y) = (e^(−y)−e^(y))/(y−2) è una funzione derivabile con derivata continua per ogni y∈ Dom(b) perché composizione di funzioni derivabili con derivate continue.

Ai fini dell'esercizio è fondamentale calcolare il dominio di b(y) perché ci tornerà utile per rispondere al quesito (b).

Il dominio della funzione fratta

b(y) = (e^(−y)−e^(y))/(y−2)

è dettato dalla condizione y−2 ne 0, questo perché dobbiamo richiedere che il denominatore della frazione sia differente da 0:

y−2 ne0 ⇒ y ne 2

Per riassumere, possiamo asserire che la funzione

f(x,y) = a(x)b(y)

è definita nell'insieme

Dom(f) = (x,y)∈R^2 : y ne2

inoltre è continua rispetto ad x e derivabile rispetto ad y con derivata continua rispetto a tale variabile. Teniamo a mente tali informazioni perché ci torneranno utili a breve.

Rispondiamo al quesito (a) e calcoliamo le soluzioni costanti associate all'equazione differenziale.

Tale punto si risolve agevolmente, è sufficiente infatti ricordare che le soluzioni costanti sono le funzioni y che soddisfano la condizione

b(y) = 0 ⇔ (e^(−y)−e^(y))/(y−2) = 0

Otteniamo pertanto un'equazione fratta che è soddisfatta nel momento in cui il numeratore è nullo e il denominatore diverso da 0

e^(−y)−e^(y) = 0 ⇔ e^(−y) = e^(y)

da cui applicando ambo i membri la funzione logaritmica otteniamo

−y = y ⇒−2y = 0 ⇒ y = 0

In sostanza l'unica soluzione costante è:

y_(cost)(x) = 0

Rispondiamo al punto (b). Non è necessario determinare la soluzione del problema di Cauchy, bisogna invece appoggiarsi al teorema di esistenza e unicità di un problema di Cauchy le cui ipotesi sono abbondantemente soddisfatte (le abbiamo verificate prima).

Osserviamo che con le informazioni in nostro possesso possiamo dividere il piano cartesiano meno la retta di equazione y = 0 in tre parti

 A_(1) = (x,y)∈R^2 : x∈R, y ≥ 2 ; A_(2) = (x,y)∈R^2 : x∈R, 0 < y < 2 ; A_(3) = (x,y)∈R^2 : x∈R, y < 0

Poiché il problema di Cauchy soddisfa il teorema di esistenza e unicità e poiché la condizione iniziale

(0, y(0)) = (0,1)

appartiene alla porzione di piano A_(2) allora la soluzione massimale y_(M)(x) è costretta a stare nella striscia

A_(2) = (x,y)∈R^2 : x∈R, 0 < y < 2

e di conseguenza deve obbedire alla condizione 0 < y < 2 ossia

0 < y_(M)(x) < 2 ∀ x∈R

Notiamo che y_(M)(x) non può oltrepassare la retta y = 2 perché ciò implicherebbe l'esistenza di qualche x_(0)∈R tale che

y_(M)(x_(0)) = 2

valore per il quale l'equazione differenziale perde di significato.

La stessa soluzione massimale non può oltrepassare la retta di equazione y = 0 perché se così fosse, verrebbe violata l'unicità della soluzione, ossia andremmo contro il teorema di esistenza e unicità.

Ringraziano: Omega, CarFaby, Boro
  • Pagina:
  • 1