# Equazioni differenziali alle derivate parziali/Le soluzioni del problema di Sturm-Liouville

Equazioni differenziali alle derivate parziali
Copertina Tutti i moduli · Sviluppo
Introduzione
* Scopo del corsoEquazioni differenziali alle derivate parziali/Scopo del corso
* L'equazione dei fluidi perfettiEquazioni differenziali alle derivate parziali/L'equazione dei fluidi perfetti
L'equazione delle onde
* Modello di D'AlembertEquazioni differenziali alle derivate parziali/Modello di D'Alembert
* Considerazioni sull'energia cineticaEquazioni differenziali alle derivate parziali/Considerazioni sull'energia cinetica
* Modello di LagrangeEquazioni differenziali alle derivate parziali/Modello di Lagrange
L'equazione di Fourier e l'equazione del calore
* L'equazione di FourierEquazioni differenziali alle derivate parziali/L'equazione di Fourier
* L'equazione del caloreEquazioni differenziali alle derivate parziali/L'equazione del calore
* Considerazioni sull'inversione temporaleEquazioni differenziali alle derivate parziali/Considerazioni sull'inversione temporale
* Il moto brownianoEquazioni differenziali alle derivate parziali/Il moto browniano
Soluzioni e proprietà nel caso monodimensionale
* Il teorema di D'AlembertEquazioni differenziali alle derivate parziali/Il teorema di D'Alembert
* L'equazione delle onde sulla rettaEquazioni differenziali alle derivate parziali/L'equazione delle onde sulla retta
* Il problema della corda vibrante con condizioni al bordo di DirichletEquazioni differenziali alle derivate parziali/Il problema della corda vibrante con condizioni al bordo di Dirichlet
* L'energia per la corda vibranteEquazioni differenziali alle derivate parziali/L'energia per la corda vibrante
* L'equazione del calore con condizioni al bordo di NeumannEquazioni differenziali alle derivate parziali/L'equazione del calore con condizioni al bordo di Neumann
* L'equazione del calore con condizioni al bordo periodicheEquazioni differenziali alle derivate parziali/L'equazione del calore con condizioni al bordo periodiche
Problemi agli autovalori
* L'operatore derivata secondaEquazioni differenziali alle derivate parziali/L'operatore derivata seconda
* Sviluppi di Fourier e identità di ParsevalEquazioni differenziali alle derivate parziali/Sviluppi di Fourier e identità di Parseval
Il problema di Sturm-Liouville
* Proprietà dell'operatore di Sturm-LiouvilleEquazioni differenziali alle derivate parziali/Proprietà dell'operatore di Sturm-Liouville
* Le soluzioni del problema di Sturm-LiouvilleEquazioni differenziali alle derivate parziali/Le soluzioni del problema di Sturm-Liouville
* Richiami sulla teoria operatorialeEquazioni differenziali alle derivate parziali/Richiami sulla teoria operatoriale
* Operatore di Hilbert-SchmidtEquazioni differenziali alle derivate parziali/Operatore di Hilbert-Schmidt
* ConclusioniEquazioni differenziali alle derivate parziali/Conclusioni
* Alcuni casi particolariEquazioni differenziali alle derivate parziali/Alcuni casi particolari
L'equazione di Laplace
* Formule di GreenEquazioni differenziali alle derivate parziali/Formule di Green
* Le soluzioni dell'equazione di Laplace: funzioni armonicheEquazioni differenziali alle derivate parziali/Le soluzioni dell'equazione di Laplace: funzioni armoniche
Le funzioni armoniche
* Proprietà generali delle funzioni armonicheEquazioni differenziali alle derivate parziali/Proprietà generali delle funzioni armoniche
* Proprietà della mediaEquazioni differenziali alle derivate parziali/Proprietà della media
* Principio del massimoEquazioni differenziali alle derivate parziali/Principio del massimo
* Regolarità delle funzioni armonicheEquazioni differenziali alle derivate parziali/Regolarità delle funzioni armoniche
* Teorema di LiouvilleEquazioni differenziali alle derivate parziali/Teorema di Liouville
L'equazione di Poisson
* Le soluzioni dell'equazione di PoissonEquazioni differenziali alle derivate parziali/Le soluzioni dell'equazione di Poisson
* Soluzioni limitate dell'equazione di PoissonEquazioni differenziali alle derivate parziali/Soluzioni limitate dell'equazione di Poisson
Formula di rappresentazione
* La formula di rappresentazioneEquazioni differenziali alle derivate parziali/La formula di rappresentazione
* Il metodo delle cariche immagine nel semipianoEquazioni differenziali alle derivate parziali/Il metodo delle cariche immagine nel semipiano
* Il metodo delle cariche immagine in più dimensioniEquazioni differenziali alle derivate parziali/Il metodo delle cariche immagine in più dimensioni
* Cariche immagine per la sfera: la riflessione di KelvinEquazioni differenziali alle derivate parziali/Cariche immagine per la sfera: la riflessione di Kelvin
Principio di Dirichlet
Gli autovalori del laplaciano
* Proprietà generaliEquazioni differenziali alle derivate parziali/Proprietà generali
* Il quoziente di RayleighEquazioni differenziali alle derivate parziali/Il quoziente di Rayleigh
L'equazione delle onde sul disco
* L'equazione delle onde sul discoEquazioni differenziali alle derivate parziali/L'equazione delle onde sul disco
* Dipendenza dai dati inizialiEquazioni differenziali alle derivate parziali/Dipendenza dai dati iniziali
La trasformata di Fourier
* La trasformata di FourierEquazioni differenziali alle derivate parziali/La trasformata di Fourier
* Definizione della trasformata di FourierEquazioni differenziali alle derivate parziali/Definizione della trasformata di Fourier
* Proprietà della trasformata di FourierEquazioni differenziali alle derivate parziali/Proprietà della trasformata di Fourier
* L'equazione del calore con FourierEquazioni differenziali alle derivate parziali/L'equazione del calore con Fourier
* L'equazione delle ondeEquazioni differenziali alle derivate parziali/L'equazione delle onde
* Considerazioni sull'energia delle ondeEquazioni differenziali alle derivate parziali/Considerazioni sull'energia delle onde
Teoria delle distribuzioni
* IntroduzioneEquazioni differenziali alle derivate parziali/Introduzione
* Caratterizzazione delle distribuzioniEquazioni differenziali alle derivate parziali/Caratterizzazione delle distribuzioni
* La delta di DiracEquazioni differenziali alle derivate parziali/La delta di Dirac
* Il valor principaleEquazioni differenziali alle derivate parziali/Il valor principale
* Operazioni con le distribuzioniEquazioni differenziali alle derivate parziali/Operazioni con le distribuzioni
* Soluzioni fondamentali e distribuzioniEquazioni differenziali alle derivate parziali/Soluzioni fondamentali e distribuzioni
* Trasformata di Fourier di una distribuzioneEquazioni differenziali alle derivate parziali/Trasformata di Fourier di una distribuzione
* ConvoluzioniEquazioni differenziali alle derivate parziali/Convoluzioni
Modifica il sommario
Ci si vuole occupare della risoluzione del problema di Sturm-Liouville. Innanzitutto si nota che esso può essere scritto in forma generica come:
${\begin{cases}{\mathcal {L}}u=\lambda u=f\\B.C.\end{cases}},\;u\in {\mathcal {D}}({\mathcal {L}}),\,f\in C^{0}\left(\left(0,L\right)\right)\cap C^{2}\left(\left[0,L\right]\right)$
Quindi, risolvere il problema di Sturm-Liouville significa essere in grado di risolvere l'equazione differenziale ${\mathcal {L}}u=f$. Si nota però che la risoluzione di un'equazione non è altro che un problema di inversione. Più precisamente, nel caso in esame, si tratterà di essere in grado di invertire l'operatore ${\mathcal {L}}$ per poter scrivere:
$u={\mathcal {L}}^{-1}f$
Chiaramente, affinché quanto appena detto sia fattibile, occorre che $ker{\mathcal {L}}=0$. Pertanto si studierà il problema di cui sopra con l'ipotesi preliminare che ${\mathcal {L}}$ non abbia autovalore nullo.
Ora che si è inquadrato il problema, possiamo procedere con la sua risoluzione. Innanzitutto si considerino $v_{1},v_{2}$ soluzioni distinte dei due problemi ${\mathcal {L}}v_{i}=0$ con condizioni al bordo date da:
$h_{1}v_{1}(0)-h_{2}v_{1}^{\prime }(0)=0$
$H_{1}v_{2}(L)+H_{2}v_{2}^{\prime }(L)=0$
È possibile che esistano due soluzioni che soddisfano queste condizioni, a patto di prenderle tra loro linearmente indipendenti. Se $v_{1},v_{2}$ non fossero linearmente indipendenti, allora dovrebbero essere una multiplo dell'altra e soddisfare contemporaneamente le condizioni al bordo, ma questa richiesta sarebbe equivalente ad ammettere che ${\mathcal {L}}$ abbia autovalore nullo, caso che escludiamo per ipotesi preliminare. Siano dunque $v_{1},v_{2}$ linearmente indipendenti. Il wronskiano dell'equazione differenziale di secondo ordine associata al problema per ${\mathcal {L}}$ è dato da:
$W(x)={\begin{vmatrix}v_{1}(x)&v_{2}(x)\\v_{1}^{\prime }(x)&v_{2}^{\prime }(x)\end{vmatrix}}\neq 0$
Si consideri il seguente lemma:
Dato l'operatore di Sturm-Liouville ${\mathcal {L}}=-\left(p(x){\frac {d}{dx}}\right)^{\prime }+q(x)$, e dato il problema al bordo sull'intervallo $[0,L]$ a esso associato si ha che:
$\left(pW\right)(x)=\left(pW\right)(0)$
Dove $W(x)$ è il determinante wronskiano dell'equazione differenziale (equazione agli autovalori) di secondo ordine associata all'azione di ${\mathcal {L}}$.
Si ha che $(pW)(x)=cost$ dal momento che:
$(pW)^{\prime }(x)=v_{1}(pv_{2}^{\prime })^{\prime }-v_{2}(pv_{1}^{\prime })^{\prime }=-v_{1}qv_{2}+v_{2}qv_{1}=0$
Dunque $(pW)^{\prime }=0\,\Rightarrow (pW)(x)=(pW)(0)$.
Sfruttiamo il risultato del lemma per risolvere ${\mathcal {L}}v=f$ come equazione differenziale, usando il metodo di variazione delle costanti. Si ha che:
${\begin{bmatrix}v_{1}(x)&v_{2}(x)\\v_{1}^{\prime }(x)&v_{2}^{\prime }(x)\end{bmatrix}}\left({\begin{matrix}c_{1}^{\prime }(x)\\c_{2}^{\prime }(x)\end{matrix}}\right)=\left({\begin{matrix}0\\f(x)\end{matrix}}\right){\frac {1}{p(x)}}$
Da cui si ricavano i seguenti valori per $c_{1}^{\prime },c_{2}^{\prime }$:
$c_{1}^{\prime }(x)={\frac {v_{2}(c)f(x)}{pW}}$
$c_{2}^{\prime }(x)=-{\frac {v_{1}(x)f(x)}{pW}}$
Da cui è possibile ricavare i valori di $c_{1}(x),c_{2}(x)$ integrando. Avendo osservato nel lemma che $pW=cost$, gli integrali ne saranno indipendenti. Si ottiene:
$u(x)=c_{1}v_{1}(x)+c_{2}v_{2}(x)-{\frac {v_{1}(x)}{pW}}\int _{x}^{L}dyv_{2}(y)f(y)-{\frac {v_{2}(x)}{pW}}\int _{0}^{x}dyv_{1}(y)f(y)$
Occorre determinare i valori delle costanti $c_{1},c_{2}$ imponendo che $u(x)$ soddisfi le condizioni al bordo. Si ottiene che esse sono soddisfatte se e solo se $c_{1}=c_{2}=0$. La soluzione dell'equazione differenziale coincide con la soluzione della non omogenea, ottenuta per variazione delle costanti:
$u(x)=-{\frac {v_{1}(x)}{pW}}\int _{x}^{L}dyv_{2}(y)f(y)-{\frac {v_{2}(x)}{pW}}\int _{0}^{x}dyv_{1}(y)f(y)$
Generalmente la si riscrive come:
$u(x)=\int _{0}^{L}{\mathcal {G}}(xy)f(y)dy,\;{\mathcal {G}}(xy)=-{\frac {1}{pW}}{\begin{cases}v_{1}(x)v_{2}(y),\;0<x<y\leq L\\v_{1}(y)v_{2}(x),\;0<y<x\leq L\end{cases}}$
La funzione ${\mathcal {G}}(xy)$ si chiama funzione di Green dell'operatore di Sturm-Liouville e coincide con il nucleo integrale di tale operatore. Si osserva quindi che partendo da ${\mathcal {L}}u=f$ e trattandolo come un problema di inversione si ottiene che:
$u={\mathcal {L}}^{-1}f=\int _{0}^{L}{\mathcal {G}}(xy)f(y)dy$
Un'altra importante osservazione che è opportuno fare a questo punto è legata alla regolarità della funzione che si ottiene: partendo dall'azione di un operatore differenziale si è ottenuta una funzione che dipende dall'azione di un operatore integrale, quindi si può concludere che l'inversione del problema di Sturm-Liouville ritorna un risultato, per esempio una funzione, più regolare di quella di partenza.
L'operatore $f\mapsto \int _{0}^{L}{\mathcal {G}}(cy)f(y)dy$ è un operatore lineare in $C^{0}((0,L))\cap C^{2}([0,L])$ e corrisponde all'inverso dell'operatore ${\mathcal {L}}$ su ${\mathcal {D}}({\mathcal {L}})$ se $\lambda =0$ non è autovalore per l'operatore di Sturm-Liouville ${\mathcal {L}}$.
La funzione di Green ${\mathcal {G}}(xy)$ è continua in $[0,L]\times [0,L]$. Collegandoci a quest'ultima osservazione, è opportuno chiedersi anche che cosa si possa concludere sulla derivabilità di ${\mathcal {G}}$. Si può concludere che, oltre che continua, la funzione di Green dell'operatore di Sturm-Liouville è anche differenziabile su $[0,L]\times [0,L]$, tranne che sulla diagonale $x=y$. Concludiamo questo modulo con un'importante osservazione che lega autovalori e autovettori dell'operatore di Sturm-Liouville a quelli della funzione di Green ad esso associata.
Si è osservato che, partendo da ${\mathcal {L}}u=f$ è possibile trovare l'espressione esplicita di $u(x)$ studiando questo come un problema di inversione. Torniamo ora al caso in cui l'equazione da risolvere sia proprio quella agli autovalori per ${\mathcal {L}}$, ovvero ${\mathcal {L}}u=\lambda u$. In questo caso si avrà che:
$u=\lambda \int _{0}^{L}{\mathcal {G}}(xy)u(y)dy,\;u\in {\mathcal {D}}({\mathcal {L}})$
Si definisca:
${\mathcal {G}}u(x)\equiv \int _{0}^{L}{\mathcal {G}}(xy)u(y)dy={\frac {1}{\lambda }}u$
Si conclude quindi che, nell'ipotesi in cui $\lambda \neq 0$, la coppia $(\lambda ,u)$ è coppia autovalore/autovettore per ${\mathcal {L}}$ se e solo se la coppia $\left({\frac {1}{\lambda }},u\right)$ è coppia autovalore/autovettore per ${\mathcal {G}}$.