Equazione differenziale di Bernoulli

peppe1992-votailprof
Salve a tutti, ho risolto la seguente equazione differenziale ma ho un dubbio, non scrivo tutti i passaggi visto che mi interessa soltanto un quesito.

L'equazione differenziale è
$ y'=3/x *y+x^2root(3)y $
Ho come soluzione $ y= 0 $ e poi andando a dividere tutto per $ root(3)y $ e avendo posto $ z = y/(root(3)y) $
ottengo l'equazione differenziale lineare seguente:

$ z' -2/x*z=2/3*x^2 $
che ha come soluzioni quelle del tipo:

$ z(x)= x^2(c+2/3*x) $

a questo punto devo ricavare la soluzione in $y(x)$
dato che $z(x)=y/(root(3)y)= y^(2/3)$ mi sono ricavato $ y(x) $ che è $ y(x)=+- (root(2)(z^3)) $
ecco il problema è proprio quì, non capisco il perchè la mia prof. ha preso come soluzione quella col segno $ + $ , e anche facendola su Wolfram prende quella col segno $ + $
Grazie a tutti in anticipo :D :D

Risposte
Berationalgetreal
A parte che la soluzione è \( y= z^{\frac{3}{2}} \), il discorso credo sia che \( y \) deve essere assunto positivo, altrimenti non avrebbe senso elevarlo ad un esponente razionale (anche se la faccenda è abbastanza dibattuta...).

peppe1992-votailprof
in che senso non avrebbe senso elevarlo ad esponente razionale? Scusa la mia ignoranza

Berationalgetreal
Si dibatte spesso sul fatto che per definire la funzione potenza per ogni esponente razionale la base debba essere strettamente positiva. Ad esempio,

\[ (-1)^{\alpha}, \ \alpha \in \mathbb{Q} \]

ha senso per alcuni (infiniti) \({\alpha}\), ma per altri (infiniti) \(\alpha \) no, se si vuole rimanere in \(\mathbb{R} \). Wolfram Alpha rispetta la convenzione di utilizzare soltanto basi positive, tanto che se gli viene chiesta una cosa come \( \sqrt[3] {a} = a^{\frac{1}{3}} \) risponde che è vero se \( a > 0 \). Se cerchi nel forum troverai molteplici discussioni al riguardo.

seb1
E se parli di esponenti razionali con BeRationalGetReal, sei sicuro di essere dalla persona giusta :-D
Comunque io direi che, partendo dalla sostituzione \(z=\frac{y}{\sqrt[3]{y}}\) per la quale non vi è alcun problema (stando in \(\mathbb{R}\setminus\{0\}\)), deve essere \(z>0\) e perciò, dato il legame \(z=y^\frac{2}{3}\), \(y>0\).

Berationalgetreal
[ot]
"seb":
E se parli di esponenti razionali con BeRationalGetReal, sei sicuro di essere dalla persona giusta :-D
Comunque io direi che, partendo dalla sostituzione \(z=\frac{y}{\sqrt[3]{y}}\) per la quale non vi è alcun problema (stando in \(\mathbb{R}\setminus\{0\}\)), deve essere \(z>0\) e perciò, dato il legame \(z=y^\frac{2}{3}\), \(y>0\).


In realtà è un nome che mi è venuto in mente da questa immagine:



quindi non lo considererei proprio come un "nome parlante" 8-)[/ot]

seb1
[ot]Ahahah! :-D[/ot]

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