Insieme definizione soluzione eq differenziale

effervescenza
Ciao forum,
chiedo il vostro aiuto per controllare il procedimento per determinare l'intervallo più ampio di soluzione in cui la soluzione del seguente PC è definita:

$ { y' = (x-3)(y^2-1), y(6) = 3} $

ora, supponendo $ y != +-1 $ è possibile riscrivere la prima equazione del sistema come:

$ int_(3)^(y) dy/(y^2-1) = int_(6)^(x) (x-3) dx $

per il quale risulta:

$ 1/2ln|(1+y)/(1-y)| - 1/2ln2 = x^2/2 -3x $

dopo un po' di conti si arriva a scrivere:

$ y = (2e^(x^2-6x))/(1-2e^(x^2-6x) $

Giunti qua è ora di dare un'occhiata alle condizioni imposte durante i conti, ovvero $ y != +- 1 $:
per $y != -1$, si nota che, dovendo essere:

$ (2e^(x^2-6x))/(1-2e^(x^2-6x)) != -1 $

dovrebbe risultare vera:

$ e^(x^2-6x) = -1/4 $

dunque questa condizione non ci crea problemi.

Passando a $ y != 1 $, non si deve verificare il caso in cui:

$ e^(x^2-6x) = 1/4 $

la cui equazione si risolve per $ x = 3 +- sqrt(9 -ln4) $.

Chiariti questi dettagli, si passa a studiare il denominatore, il quale richiede la condizione:

$ e^(x^2-6x) != 1/2 $

al fine di determinare in che intervallo locale è possibile definire la soluzione.
Questa equazione porta a escludere i valori di $ x $ pari a $ x = 3 +- sqrt(9 - ln2) $ .

Queste considerazioni portano a visualizzare un grafico del tipo:



da cui si dovrebbe dedurre che l'intervallo (massimale?) più ampio in cui la soluzione è definita è esattamente:

$ x in ( 3 - sqrt(9 - ln2) , 3 + sqrt(9 -ln4) ) $

Cosa ne pensate?
Ringrazio in anticipo!

Risposte
dissonance
Mi sembra fatto bene.

Camillo
Se non ho sbagliato i conti viene che $x in( 0.117 , 5.759)$ che però esclude il punto $x=6 $ dato del problema. :(

pilloeffe
Ciao a tutti,

Proverei con $ y(x) = frac{2e^{6x - x^2} + 1}{2e^{6x - x^2} - 1} $

pilloeffe
Vedo anche un errore qui:

$int_(3)^(y) dt/(t^2-1) = 1/2 [ln|1 - t| - ln|1 + t|]_3^y = 1/2 [ln|frac{1 - y}{1 + y}| - ln 2 + ln 4] = 1/2 [ln|frac{1 - y}{1 + y}| - ln 2 + 2 ln 2] = 1/2 ln|frac{1 - y}{1 + y}| + 1/2 ln 2 $

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