Equazioni differenziali lineari del primo ordine

Template:Risorsa Questa lezione segue equazioni differenziali lineari. Se riscontri difficoltà nella lettura di questa pagina, vorrei incoraggiarti a leggere la prima lezione, nella quale vengono fornite le nozioni necessarie per una buona comprensione del testo. In questa lezione, inizieremo a muovere i primi passi nella risoluzione analitica delle equazioni differenziali ordinarie del primo ordine. Esse sono alla base della teoria delle equazioni differenziali, inoltre hanno un notevole utilizzo nella modellizazione dei problemi scientifici, tecnologici o addirittura demografici.

Definizione

Come abbiamo visto nella lezione precedente, l'integrale generale di un'equazione differenziale si esprime tramite la somma di una soluzione particolare dell'equazione differenziale e una soluzione dell'omogenea associata. È giunto il momento di iniziare a conoscere i metodi risolutivi, ma per maggior chiarezza, distingueremo i casi trattando dapprima le equazioni del primo ordine omogenee:

Soluzione per le E.D. omogenee (metodo di Lagrange)

Dimostrazione

• Per verificare che la funzione $y_0(x)$ è effettivamente soluzione dell'equazione differenziale, è sufficiente derivare:

${y_0}^{\prime }(x)=-\alpha A^{\prime }(x)e^{-A(x)}=-\alpha a(x)e^{-A(x)}$

Sostituiamo ora l'espressione ottenuta:

$\begin{array}{cc}{y}^{\prime }(x)+a(x)y(x)& =-\alpha a(x)e^{-A(x)}+a(x)\alpha e^{-A(x)}\\ & =\alpha a(x)(e^{-A(x)}-e^{-A(x)})=0\end{array}$

Quindi la funzione $y_0(x)$ soddisfa la relazione data dall'equazione differenziale.

• Rimane ora da mostrare che le funzioni soluzioni si presentano tutte in quella forma, per tale motivo, supponiamo che esista una funzione soddisfacente l'equazione differenziale espressa come:

$h(x)=g(x)e^{-A(x)}$

Il nostro intento è quello di mostrare che $g(x)=\alpha$, cioè è costante nel suo insieme di definizione.Valutiamo ora con la regola del prodotto la derivata della funzione h(x) (nota che h(x) è derivabile perché soluzione dell'equazione differenziale)

$h^{\prime }(x)=g^{\prime }(x)e^{-A(x)}-g(x)a(x)e^{-A(x)}$

Poiché h(x) soddisfa l'equazione differenziale allora si deve avere che:

$h^{\prime }(x)+a(x)h(x)=0$

quindi

$g^{\prime }(x)e^{-A(x)}-g(x)a(x)e^{-A(x)}+a(x)g(x)e^{-A(x)}=0$

eliminando i termini opposti si arriva all'espressione:

$g^{\prime }(x)e^{-A(x)}=0$

Ora ricordando che la funzione esponenziale è strettamente positiva, l'uguaglianza si ha se e solo se

$g^{\prime }(x)=0$ e di conseguenza $g(x)=\alpha$

$◻$

Importante

In pratica abbiamo dimostrato che le funzioni che soddisfano l'equazione differenziale sono tutte e le sole funzioni che si esprimono come:

$y_0(x)=\alpha e^{-A(x)}$

Esempi

Esempio 1

Data l'equazione differenziale

$y^{\prime }(x)=y(x)$

Determinare la famiglia delle funzioni che soddisfano l'equazione differenziale.

Esempio 2

Data l'equazione differenziale

$y^{\prime }(x)+xy(x)=0$

Determinare la famiglia di funzioni che soddisfano l'equazione differenziale:

---

Affronteremo ora una equazione differenziale completa, nella quale la funzione f(x) non è identicamente nulla, andremo quindi ad enunciare e dimostrare il teorema in cui verranno date le formule risolutive.

Metodi analitici di equazioni differenziali lineari del primo ordine

Dimostrazione

Partiamo dall'equazione differenziale:

• $y^{\prime }(x)+a(x)y(x)=f(x)$

Moltiplichiamo ad ambo i membri $e^{A(x)}$

dove

• $A(x):=\int a(x)dx$

ottenendo:

• $e^{A(x)}{y}^{\prime }(x)+a(x)e^{A(x)}y(x)=e^{A(x)}f(x)$

da cui, osservando che il primo membro dell'uguaglianza può essere rivisto come $\frac{d}{dx}(y(x)e^{A(x)})$ si arriva a

• $\frac{d}{dx}(y(x)e^{A(x)})=e^{A(x)}f(x)$

Integrando membro a membro rispetto alla variabile x si ha che:

• $y(x)e^{A(x)}=\int e^{A(x)}f(x)dx+C$

pertanto

• $y(x)=e^{-A(x)}(\int e^{A(x)}f(x)dx+C)$

$◻$

---

Esempi

Esempio 1

Risolvere l'equazione differenziale

$y^{\prime }(x)=-xy(x)+x$

Esempio 2

Risolvere l'equazione differenziale

$y^{\prime }(x)+\frac{1}{x}y(x)=e^x$

nell'intervallo $I=(0,+\mathrm{\infty })$ Template:Cassetto