Vai al contenuto
Analisi Matematica 2

Equazioni differenziali ordinarie: primo ordine e lineari del secondo ordine

Campo di direzioni ed esistenza e unicità, variabili separabili, equazioni lineari del primo ordine e circuito RC, secondo ordine a coefficienti costanti, RLC e risonanza.

Un’equazione differenziale lega una funzione incognita alle sue derivate. È il modo naturale di scrivere le leggi della fisica, che dicono come cambiano le cose: la seconda legge di Newton, la carica di un condensatore, il raffreddamento di un componente, la crescita di una popolazione. In questa lezione vediamo le equazioni del primo ordine più importanti, il teorema di esistenza e unicità, e le equazioni lineari del secondo ordine a coefficienti costanti, che descrivono oscillatori e circuiti RLC.

Definizioni

Un’equazione differenziale ordinaria di ordine n lega y(t) alle sue derivate fino a y^{(n)}. Un problema di Cauchy aggiunge le condizioni iniziali: per il primo ordine il valore y(t_0) = y_0, per il secondo anche la derivata y'(t_0).

Il significato geometrico

Un’equazione del primo ordine y' = f(t, y) assegna a ogni punto del piano una pendenza. Disegnando un trattino con quella pendenza in tanti punti si ottiene il campo di direzioni, e le soluzioni sono le curve che seguono i trattini.

Campo di direzioni dell'equazione logistica con alcune soluzioni che tendono a 1
Il campo di direzioni di y' = y(1 - y) e quattro soluzioni con condizioni iniziali diverse. Tutte quelle che partono con y \gt 0 tendono all’equilibrio y = 1: quelle sotto crescono con la tipica forma a S, quella sopra scende.

Teorema di esistenza e unicità (Cauchy-Lipschitz). Se f è continua e ha derivata \partial f/\partial y continua vicino a (t_0, y_0), il problema di Cauchy ha una e una sola soluzione in un intorno di t_0. Geometricamente: per ogni punto passa una sola curva soluzione, e due soluzioni diverse non si incrociano mai. Nella figura, le soluzioni non attraversano mai la retta y = 1, che è anch’essa una soluzione.

Equazioni a variabili separabili

Sono della forma y' = a(t)\,b(y). Se b(y_0) = 0, la costante y = y_0 è una soluzione. Altrimenti si separano le variabili e si integra:

    \[ \int\frac{dy}{b(y)} = \int a(t)\,dt \]

Esempio: il raffreddamento di Newton. Un dissipatore a temperatura T in un ambiente a T_a si raffredda con T' = -k(T - T_a). Separando: \ln|T - T_a| = -kt + c, quindi

    \[ T(t) = T_a + (T_0 - T_a)\,e^{-kt} \]

La differenza di temperatura si dimezza ogni \ln 2/k secondi, la stessa legge esponenziale della scarica di un condensatore.

Esempio: l’equazione logistica della figura, y' = y(1 - y). Separando con i fratti semplici, \frac{1}{y(1 - y)} = \frac1y + \frac{1}{1 - y}, si ottiene \ln\left|\frac{y}{1 - y}\right| = t + c e

    \[ y(t) = \frac{1}{1 + \left(\frac{1}{y_0} - 1\right)e^{-t}} \]

È il modello di una crescita che rallenta per esaurimento delle risorse: popolazioni, diffusione di un prodotto sul mercato, epidemie.

Equazioni lineari del primo ordine

    \[ y' + a(t)\,y = b(t) \]

Dimostrazione della formula risolutiva

Sia A(t) una primitiva di a(t). Moltiplicando per il fattore integrante e^{A(t)}, il primo membro diventa la derivata di un prodotto:

    \[ \big(e^{A(t)}y\big)' = e^{A(t)}y' + a(t)e^{A(t)}y = e^{A(t)}b(t) \]

Integrando:

    \[ y(t) = e^{-A(t)}\left(\int e^{A(t)}b(t)\,dt + C\right) \]

Esempio: la carica di un condensatore. In un circuito RC alimentato da un gradino di tensione E, la tensione sul condensatore soddisfa RC\,v' + v = E. Con \tau = RC, a = 1/\tau, b = E/\tau:

    \[ v(t) = E + (v_0 - E)\,e^{-t/\tau} \]

Partendo scarico, dopo un tempo \tau il condensatore è al 63% di E, dopo 5\tau a più del 99%.

Equazioni lineari del secondo ordine a coefficienti costanti

    \[ a\,y'' + b\,y' + c\,y = f(t) \]

Come per i sistemi lineari (lezione di Geometria e Algebra su Rouché-Capelli), la soluzione generale è una soluzione particolare più la soluzione generale dell’omogenea. Le soluzioni dell’omogenea formano uno spazio vettoriale di dimensione 2.

L’omogenea: l’equazione caratteristica

Cercando soluzioni del tipo e^{\lambda t} si ottiene a\lambda^2 + b\lambda + c = 0. Tre casi:

RadiciSoluzione generale dell’omogenea
reali distinte \lambda_1, \lambda_2C_1 e^{\lambda_1 t} + C_2 e^{\lambda_2 t}
reale doppia \lambda(C_1 + C_2 t)\,e^{\lambda t}
complesse \alpha \pm i\betae^{\alpha t}\big(C_1\cos\beta t + C_2\sin\beta t\big)

Il caso complesso si ricava dalla formula di Eulero: e^{(\alpha + i\beta)t} = e^{\alpha t}(\cos\beta t + i\sin\beta t), e parte reale e parte immaginaria sono due soluzioni reali indipendenti.

Esempio: il circuito RLC serie in evoluzione libera, L\,q'' + R\,q' + q/C = 0. L’equazione caratteristica ha discriminante R^2 - 4L/C:

  • R \gt 2\sqrt{L/C}: radici reali negative, la carica si scarica senza oscillare (sovrasmorzato);
  • R = 2\sqrt{L/C}: radice doppia, ritorno più rapido senza oscillazioni (smorzamento critico);
  • R \lt 2\sqrt{L/C}: radici complesse, oscillazione smorzata con pulsazione \beta = \sqrt{1/(LC) - R^2/(4L^2)} (sottosmorzato).

Sono gli stessi tre regimi del pendolo con attrito della lezione di Fisica 1 sulle oscillazioni: la stessa equazione, con le stesse soluzioni.

La soluzione particolare

Per forzanti f(t) di tipo polinomio, esponenziale, seno o coseno si usa il metodo di somiglianza: si cerca una soluzione della stessa forma con coefficienti da determinare. Se la forma coincide con una soluzione dell’omogenea (risonanza) la si moltiplica per t.

Esempio. y'' + y = \cos 2t. L’omogenea ha soluzioni C_1\cos t + C_2\sin t. Si prova y_p = A\cos 2t: -4A + A = 1, A = -\tfrac13. Soluzione generale: y = C_1\cos t + C_2\sin t - \tfrac13\cos 2t. Se invece la forzante fosse \cos t, alla stessa frequenza naturale del sistema, si dovrebbe provare t(A\cos t + B\sin t): l’ampiezza cresce linearmente nel tempo, ed è la risonanza senza smorzamento.

Oltre: sistemi e metodi numerici

Un’equazione di ordine n equivale a un sistema di n equazioni del primo ordine, \mathbf x' = A\mathbf x, che nel caso a coefficienti costanti si risolve con gli autovalori di A, come visto in Geometria e Algebra. Quando non esiste una soluzione in forma chiusa si usano i metodi numerici: il metodo di Eulero (y_{k+1} = y_k + h\,f(t_k, y_k)) segue il campo di direzioni a piccoli passi, e i metodi di Runge-Kutta fanno lo stesso con molta più precisione. È quello che fa SPICE quando simula un circuito nel tempo.

Subscribe
Notify of
guest
0 Comments
Oldest
Newest Most Voted
0
Would love your thoughts, please comment.x
()
x