Derivate di funzioni composte che "non tornano"

Quinzio
Diciamo che ho
$x^2y''-2y=0$

In questo momento non mi interessa come si risolve, so che una soluzione è $y=x^2$
Faccia le derivate:
$y=x^2$
$y'=2x$
$y''=2$

Sostituisco nell'eq. differenziale, e verifico che è soluzione: $2x^2-2x^2=0$
Niente di nuovo o di strano.

A questo punto lasciatemi fare una sostituzione: $x= e^t$
quindi:
$y=x^2=e^{2t}$
$y'=2x=2e^{2t}$
$y''=2=4e^{2t}$

e già a questo punto non torna più nulla perchè se vado a verificare:
$x^2y''-2y=0$
$e^{2t}4e^{2t}-2e^{2t}=4e^{4t}-2e^{2t}=0$ ???
Non capisco perchè !

A questo punto penso che $y$ vada trattata come funzione composta e concepisco questi passaggi qua, tenendo conto che ho y(x(t)):
$y$
derivo e ottengo
$y'x'$
derivo e ottengo
$y''(x')^2+y'x''$

e sostituisco l'ultima espressione dove nell'eq. differenziale c'è $y''$
ovviamente viene fuori una cosa ancora più strana.

Ma cos'è che non va in tutto ciò ??? :evil:
$$
Penso che un possibile problema sia che $x(t)=e^t f:R->R$ non è suriettiva, ma perchè ?

Risposte
Giuly191
All'inizio hai proprio toppato, era giusta l'idea che hai avuto alla fine, però devi aver sbagliato qualcosa nei conti.
La sostituzione di variabile indipendente $x=e^t$ comporta che $y(x)=y(e^t)$, da cui $y'_t=d/dt y(e^t)=y'(e^t)e^t$ e $y''_t=d^2/dt^2 y(e^t)=y''(e^t)e^(2t)+y'(e^t)e^t$.
A questo punto ricavi $y'(e^t)=y'_t e^(-t)$ e $y''(e^t)=y''_t e^(-2t)-y'_t e^(-2t)$. Se sostituisci queste derivate nell'equazione di prima ottieni una nuova equazione (dovrebbe essere nel tuo caso $y''_t -y'_t-2y'_t=0$), allora sì che quella che cercavi di verificare essere la soluzione, lo diventa davvero!

Quinzio
Ah alla fine ci si arriva perchè ci sono "due tipi di y", c'è quella che dipende da x e quella che dipende da t , ma le loro derivate non sono uguali. Che ci fossero due $y$ era chiaro, nache se poi sono la stessa cosa, però a derivarle vanno tenute distinte...altrimenti sono guai.
Chiamo $\bar y = y(t) $ e $y=y(x(t))$. Anche $x$ si intende come $x(t)$
$\bar y = y$
$\bar y' = y'\ x'$
$\bar y'' = y''\ (x')^2+y'\ x''$

da cui
$y'' = (\bar y'' - y' x'') / (x')^2 $

adesso si che sostituendo $y''$ nell'equazione torna tutto.... cavoli, che casotto !

Giuly191
Eh sì, conviene ricordarsi bene i passaggi se non si vuole fare casino ogni volta.

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