# Meccanica analitica/La corda vibrante

Meccanica analitica
Copertina Tutti i moduli · Sviluppo
Meccanica lagrangiana
* Introduzione alla meccanica lagrangianaMeccanica analitica/Introduzione alla meccanica lagrangiana
* Vincoli, virtualismi, variabili lagrangianeMeccanica analitica/Vincoli, virtualismi, variabili lagrangiane
* Equazione simbolica di d'AlembertMeccanica analitica/Equazione simbolica di d'Alembert
* La lagrangiana e le equazioni di Eulero-LagrangeMeccanica analitica/La lagrangiana e le equazioni di Eulero-Lagrange
* Quantità conservateMeccanica analitica/Quantità conservate
* Punti di equilibrioMeccanica analitica/Punti di equilibrio
* Piccole oscillazioni attorno a punti di equilibrio stabiliMeccanica analitica/Piccole oscillazioni attorno a punti di equilibrio stabili
Meccanica hamiltoniana
* Hamiltoniana, equazioni canoniche di HamiltonMeccanica analitica/Hamiltoniana, equazioni canoniche di Hamilton
* Spazi delle fasiMeccanica analitica/Spazi delle fasi
* Prede e predatori: le equazioni di Lotka e VolterraMeccanica analitica/Prede e predatori: le equazioni di Lotka e Volterra
* Parentesi di PoissonMeccanica analitica/Parentesi di Poisson
* Quantità conservate e quantità compatibili attraverso le parentesi di PoissonMeccanica analitica/Quantità conservate e quantità compatibili attraverso le parentesi di Poisson
* Il problema della brachistocrona, elementi di analisi funzionaleMeccanica analitica/Il problema della brachistocrona, elementi di analisi funzionale
* Il principio variazionale di Hamilton, condizioni alla DirichletMeccanica analitica/Il principio variazionale di Hamilton, condizioni alla Dirichlet
* Il principio variazionale di Hamilton ampliatoMeccanica analitica/Il principio variazionale di Hamilton ampliato
* Funzione principale di HamiltonMeccanica analitica/Funzione principale di Hamilton
* Trasformazioni canonicheMeccanica analitica/Trasformazioni canoniche
* Parentesi di Poisson e trasformazioni canonicheMeccanica analitica/Parentesi di Poisson e trasformazioni canoniche
* Metodo di Hamilton-JacobiMeccanica analitica/Metodo di Hamilton-Jacobi
* Il confine tra meccanica hamiltoniana e meccanica statisticaMeccanica analitica/Il confine tra meccanica hamiltoniana e meccanica statistica
* La corda vibranteMeccanica analitica/La corda vibrante
Relatività speciale
* La fisica dopo MaxwellMeccanica analitica/La fisica dopo Maxwell
* Esperienza di Michelson-Morley e l'ipotesi di EinsteinMeccanica analitica/Esperienza di Michelson-Morley e l'ipotesi di Einstein
* Trasformazioni di Lorentz e composizione delle velocitàMeccanica analitica/Trasformazioni di Lorentz e composizione delle velocità
* Conseguenze dell'ipotesi di Einstein: dilatazione dei tempi e contrazione delle lunghezzeMeccanica analitica/Conseguenze dell'ipotesi di Einstein: dilatazione dei tempi e contrazione delle lunghezze
* Spazio di MinkowskyMeccanica analitica/Spazio di Minkowsky
* Cinematica relativisticaMeccanica analitica/Cinematica relativistica
* Dinamica relativisticaMeccanica analitica/Dinamica relativistica
* Lagrangiana in relatività e l'effetto ComptonMeccanica analitica/Lagrangiana in relatività e l'effetto Compton
Modifica il sommario

## Il sistema della corda vibrante e l'equazione del moto

Per concludere la parte del corso che riguarda la meccanica nei formalismi lagrangiano e hamiltoniano, studiamo il caso interessante di un sistema a infiniti gradi di libertà: la corda vibrante. Studiando il modello, vedremo come, scrivendo l'azione del sistema, minimizzandola, si possono ricavare le equazioni del moto.
Per semplificare il nostro modello, consideriamo una corda orizzontale sovrapposta all'asse delle $x$, che viene tenuta tesa grazie a una tensione $\tau$. La corda può oscillare nello spazio.
Il sistema è elastico, in buona approssimazione lo è perfettamente; questo vuol dire che, a ogni sollecitazione di tipo elastico (allungamento), il sistema restituisce l'energia potenziale accumulata, tornando alla posizione iniziale, senza dissipazioni. Per ciò che riguarda l'energia potenziale, posta $l$ la lunghezza della corda a riposo, avremo che questa sarà pari, per la legge di Hook, a:
$\delta U=\tau \cdot dl$
La corda si trova nello spazio, e si muove nel tempo. Il nostro intento è studiarne la posizione al variare del tempo; preso quindi un punto della corda a riposo, che chiameremo $x^{*}$, la posizione della corda può essere espressa come:
$\left|{\begin{aligned}&x=x(x^{*},t)\\&y=y(x^{*},t)\\&z=z(x^{*},t)\\\end{aligned}}\right.$
Posto così, il sistema appare molto complicato da risolvere. Per poter semplificare lo studio, poniamo delle particolari condizioni che questo deve rispettare. In primis, assumiamo che la corda non compia grandi oscillazioni; questo si traduce imponendo che le oscillazioni nello spazio sia piccole a piacere, ovvero:
${\frac {|x-x^{*}|}{l}}<\varepsilon \quad {\frac {|y|}{l}}<\varepsilon \quad {\frac {|z|}{l}}<\varepsilon$
Ovviamente, le oscillazioni lungo le tre variabili sono normalizzate alla lunghezza della corda. Se ciò non venisse fatto, la scrittura $|x-x^{*}|<\varepsilon$ avrebbe poco senso: le dimensioni fisiche non sono rispettate e $\varepsilon$ ha poco significato. Una variazione di un metro è enorme, per una corda lunga due metri, ma è insignificante se la corda è lunga svariati chilometri (ammesso che esista). Normalizzare la variazione con la lunghezza effettiva della corda dà senso alla condizione che abbiamo posto.
La seconda condizione che andiamo a porre è quella che le deformazioni sono regolari, ovvero non presentano asperità o singolarità (come cuspidi o effetti simili); questo si traduce limitando le derivate delle deformazioni:
$\left|{\frac {\partial (x-x^{*})}{\partial x^{*}}}\right|<\varepsilon \quad \left|{\frac {\partial y}{\partial x^{*}}}\right|<\varepsilon \quad \left|{\frac {\partial z}{\partial x^{*}}}\right|<\varepsilon$
Queste condizioni che abbiamo posto sulle deformazioni ci semplificano lo studio dei casi critici, come dei nodi non voluti e singolari durante il moto. Per semplificare invece lo studio generale, consideriamo che il moto sia piano e trasversale; questo si traduce con $z=0\,\forall t$, ovvero il sistema si muove solo nel piano $(x,y)$; affinché sia trasversale, poniamo che si muova solo lungo l'asse delle $y$: il punto studiato $x^{*}$ non oscillerà lungo l'asse $x$. Alla luce di queste considerazioni, possiamo sostituire la variabile $x^{*}$ con la generica posizione $x$, che resta costante nel tempo:
$\left|{\begin{aligned}&x(x,t)=x^{*}\\&y(x,t)\\&z(x,t)=0\\\end{aligned}}\right.$
In tutto ciò, inoltre, affinché abbia senso lo studio del moto, gli estremi della corda devono restare fissi (altrimenti diamo un impulso alla corda e ci troviamo a rincorrerla in giro perché è volata via); tutto questo si traduce ponendo $y(0,t)=y(l,t)=0$.
Tutte le condizioni che abbiamo imposto al sistema hanno una conseguenza interessante: compiendo piccole oscillazioni e rispondendo linearmente, il sistema avrà delle equazioni del moto lineari, il che non può far altro che farci piacere. Un esempio interessante di onde descritte da equazioni non lineari è il solitone, per chiunque fosse interessato. Passiamo ora allo studio vero e proprio del sistema.
L'energia potenziale l'abbiamo già espressa e definita. Per quanto riguarda l'energia cinetica, invece, abbiamo bisogno del contributo della massa. Approssimando la massa del filo come se fosse contenuta in delle palline (di dimensioni minime e massa uguale), numerate da un indice $i=1,\cdots ,N$, possiamo descrivere il sistema come un sistema discreto a $N$ gradi di libertà, dove $N$ indica il numero di palline. Se adesso rimpiccioliamo le palline, aumentandone in numero, e portiamo $N\to \infty$, otteniamo un sistema continuo a infiniti gradi di libertà, e l'indice $i$ discreto diventa un indice $dx$ continuo. Posta $\mu$ la massa per unità di lunghezza del filo, potremo quindi calcolarci la massa totale del filo.
Il sistema, allora, quali equazioni deve soddisfare? Per determinare ciò, ci scriviamo la lagrangiana, definita come $L=T-U$. Nel caso discreto, questo avremmo potuto scriverlo come:
$L=\sum _{i=1}^{N}\left(T_{i}-U_{i,j}\right)$
Essendo noi passati a un sistema continuo, a infiniti gradi di libertà, le energie diventano due funzioni $T(x)$ e $U(x)$. Consideriamo ora la deformazione della corda. Nel caso statico, la deformazione $ds=dx$; se, invece, il sistema è in moto e deformato, possiamo approssimare la deformazione come:
$ds={\sqrt {dy^{2}+dx^{2}}}=dx{\sqrt {1+\left({\frac {\partial y}{\partial x}}\right)^{2}}}$
Poiché precedentemente abbiamo posto che il sistema compie piccole oscillazioni, ovvero $\left|{\frac {\partial y}{\partial x}}\right|<\varepsilon$, possiamo sviluppare secondo Taylor l'espressione di $ds$:
$ds\approx dx\left(1+{\frac {1}{2}}\left({\frac {\partial y}{\partial x}}\right)^{2}\right)$
La variazione di energia potenziale vale quindi (posto ovviamente $dl=ds-dx$, ovvero lo spostamento deformato meno lo spostamento statico):
$dU=\tau \left[dx\left(1+{\frac {1}{2}}\left({\frac {\partial y}{\partial x}}\right)^{2}\right)-dx\right]=\tau {\frac {1}{2}}dx\left({\frac {\partial y}{\partial x}}\right)^{2}$
L'energia potenziale totale sarà la somma di questa variazione; essendo il sistema continuo, la sommatoria diventa un integrale lungo tutta la lunghezza della corda:
$U=\int _{0}^{l}dx{\frac {\tau }{2}}\left({\frac {\partial y}{\partial x}}\right)^{2}$
Passiamo ora all'energia cinetica. L'infinitesimo di corda ha una massa pari a $dm=\mu dx$, per quanto detto prima. Quindi la variazione di energia cinetica sarà:
$dT={\frac {\mu }{2}}dx\left({\frac {\partial y}{\partial t}}\right)^{2}$
Dove vale, ovviamente, ${\frac {\partial y}{\partial t}}=v_{y}$, ovvero la velocità lungo $y$, che è l'unico asse su cui avviene il moto. L'energia cinetica totale diventa quindi:
$T=\int _{0}^{l}dx{\frac {\mu }{2}}\left({\frac {\partial y}{\partial t}}\right)^{2}$
Ora osserviamo che sia l'energia cinetica che quella potenziale dipendono dalla traiettoria $y(x,t)$ percorsa dalla corda. Sono, quindi, due funzionali, $T_{[y]}$ e $U_{[y]}$. La lagrangiana del sistema sarà quindi:
$L=\int _{0}^{l}dx\left[{\frac {1}{2}}\mu \left({\frac {\partial y}{\partial t}}\right)^{2}-{\frac {1}{2}}\tau \left({\frac {\partial y}{\partial x}}\right)^{2}\right]$
Ricordando la definizione di azione, possiamo scriverla come:
$A=\int _{t_{0}}^{t_{1}}dtL=\int _{t_{0}}^{t_{1}}\int _{0}^{l}\left[{\frac {1}{2}}\mu \left({\frac {\partial y}{\partial t}}\right)^{2}-{\frac {1}{2}}\tau \left({\frac {\partial y}{\partial x}}\right)^{2}\right]dxdt$
Per trovare le equazioni del moto, dobbiamo minimizzare l'azione, ponendo $\delta A=0$. Ricordiamo che gli estremi sono fissi, ovvero $y(0,t)=y(l,t)=0$, per cui anche le rispettive variazioni lo saranno, ovvero $\delta y(o,t)=\delta y(l,t)=0$. Inoltre, come facemmo nella dimostrazione del principio variazionale di Hamilton, poniamo:
${\begin{aligned}&\delta y(x,t_{0})=0\\&\delta y(x,t_{1})=0\end{aligned}}$
Facciamo adesso variare l'azione:
${\begin{aligned}\delta A&=\int _{t_{0}}^{t_{1}}dt\int _{0}^{l}dx\left[{\frac {1}{2}}\mu \left({\frac {\partial (y+\delta y)}{\partial t}}\right)^{2}-{\frac {1}{2}}\tau \left({\frac {\partial (y+\delta y)}{\partial x}}\right)^{2}\right]=0\\&=\int _{t_{0}}^{t_{1}}dt\int _{0}^{l}dx\left[\mu {\frac {\partial y}{\partial t}}{\frac {\partial \delta y}{\partial t}}-\tau {\frac {\partial y}{\partial x}}{\frac {\partial \delta y}{\partial x}}\right]=0\end{aligned}}$
Ricordiamo ora come abbiamo dimostrato il principio variazionale; il fattore nell'integrale ${\frac {\partial L}{\partial {\dot {q}}}}\delta {\dot {q}}$ lo integravamo per parti. Anche qui ripetiamo lo stesso procedimento, ottenendo:
${\begin{aligned}\delta A&=\underbrace {\left.\int _{0}^{l}dx\mu {\frac {\partial y}{\partial t}}\delta y\right]_{t_{0}}^{t_{1}}} _{=0}-\int _{t_{0}}^{t_{1}}dt\int _{0}^{l}dx\mu {\frac {\partial ^{2}y}{\partial t^{2}}}\delta y-\\&-\left(\underbrace {\left.\int _{t_{0}}^{t_{1}}dt\tau {\frac {\partial y}{\partial x}}\right]_{0}^{l}} _{=0}-\int _{t0}^{t_{1}}dt\int _{0}^{l}dx\tau {\frac {\partial ^{2}y}{\partial x^{2}}}\delta y\right)\end{aligned}}$
Gli elementi integrati per parti sono nulli perché abbiamo posto le variazioni agli istanti iniziali e finali nulle (prima riga) e gli estremi fissi, con rispettive variazioni nulle (seconda riga). Otteniamo quindi l'espressione di $\delta A$:
$\delta A=\int _{t_{0}}^{t_{1}}dt\int _{0}^{l}dx\left[\tau {\frac {\partial ^{2}y}{\partial x^{2}}}-\mu {\frac {\partial ^{2}y}{\partial x^{2}}}\right]\delta y(x,t)=0$
Dal lemma fondamentale delle variazioni, per un $\delta y(x,t)$ arbitrario, l'integrale si annulla se il termine tra parentesi è nullo. Posto $v={\sqrt {\frac {\tau }{\mu }}}$, otteniamo finalmente l'equazione del moto d'onda:
${\frac {\partial ^{2}y}{\partial x^{2}}}-{\frac {1}{v^{2}}}{\frac {\partial ^{2}y}{\partial t^{2}}}=0$
Nota anche come equazione delle onde di d'Alembert. Nei prossimi paragrafi vedremo due diversi modi di risolvere questa equazione.

## Onde progressive e regressive

Il primo modo che studiamo per risolvere l'equazione parte da un'osservazione preliminare: l'equazione è lineare. Quindi, prese due soluzioni, la loro somma è ancora soluzione dell'equazione. Allora, tramite un opportuno cambio di variabili:
$\left|{\begin{aligned}&\xi =x-vt\\&\eta =x+vt\end{aligned}}\right.$
L'equazione diventa quindi ${\frac {\partial ^{2}y}{\partial \xi \partial \eta }}=0$; in particolare, abbiamo che:
$\left|{\begin{aligned}&{\frac {\partial }{\partial \eta }}\left({\frac {\partial y}{\partial \xi }}\right)=0\\&{\frac {\partial }{\partial \xi }}\left({\frac {\partial y}{\partial \eta }}\right)=0\\\end{aligned}}\right.$
Ovvero, possiamo scrivere $y(\xi ,\eta )=\varphi (\xi )+\psi (\eta )$, il che vuol dire anche che $y(x,t)=\varphi (x-vt)+\psi (x+vt)$.
Studiamo ora le due soluzioni $\varphi ,\psi$. Prendiamo una particolare deformazione: la legge $\varphi (x-vt)$ ci dice che quella deformazione avanza lungo la corda all'avanzare del tempo, ovvero è un'onda progressiva. Al contrario, la $\psi (x+vt)$ ci indica che una qualsiasi deformazione arretra lungo la corda, all'avanzare del tempo: è un' onda regressiva. Tuttavia, noi sappiamo che la corda non avanza o arretra, ma resta dove si trova oscillando verticalmente. Ne possiamo concludere che qualunque deformazione dipendente dal tempo è combinazione di due onde, una progressiva e una regressiva, il cui risultato è un'onda stazionaria.

## Metodo di separazione delle variabili

Ora, invece, proviamo un approccio diverso. Cerchiamo una soluzione del tipo $y(x,t)=G(x)F(t)$, ovvero la soluzione è prodotto di due soluzioni dipendenti solo da una delle due variabili in gioco. Andando a sostituire questo tipo di soluzione nell'equazione di d'Alembert otteniamo:
${\begin{aligned}&v^{2}{\frac {\partial ^{2}y}{\partial x^{2}}}-{\frac {\partial ^{2}y}{\partial t^{2}}}=0\\&v^{2}G''(x)F(t)-G(x)F''(t)=0\\&v^{2}{\frac {G''(x)}{G(x)}}={\frac {F''(t)}{F(t)}}\end{aligned}}$
Poiché le due funzioni sono di diverse variabili, affinché sia valida l'equazione scritta devono essere entrambi i membri uguali a una costante $C$; in particolare, otteniamo il sistema:
$\left|{\begin{aligned}&F''(t)-CF(t)=0\\&v^{2}G''(x)-CG(x)=0\end{aligned}}\right.$
L'espressione che risolve l'equazione per la funzione $G$ è:
$G(x)=ae^{{\frac {\sqrt {C}}{v}}x}+be^{-{\frac {\sqrt {C}}{v}}x}$
Studiamo i vari casi; se $C>0$, applicando la condizione al contorno $G(0)=G(l)=0$:
$0=a+b\quad \Leftrightarrow \quad ae^{{\frac {\sqrt {C}}{v}}l}+be^{-{\frac {\sqrt {C}}{v}}l}$
L'unica soluzione possibile è quando i coefficienti si annullano, ovvero $a=b=0$, che ha poco interesse fisico. Ne consegue che deve essere $C<0$; possiamo allora scrivere $C=-\omega ^{2}\in \mathbb {R}$ per indicare un qualsiasi numero negativo; poiché ${\sqrt {C}}={\sqrt {-\omega ^{2}}}=\pm \imath \omega$, entrando nel campo dei complessi, la soluzione assume un carattere oscillante, ed è ciò cerchiamo per un'onda. Quindi l'espressione di $G(x)$ può essere scritta, generalmente, come somma di un coseno e un seno (lo stesso discorso si fa per la funzione $F(t)$):
${\begin{cases}&G(x)=c\cos \left({\frac {\omega }{v}}x\right)+d\sin \left({\frac {\omega }{v}}x\right)\\&F(t)=a\cos(\omega t)+b\sin(\omega t)\end{cases}}$
Sfruttando ancora una volta le condizioni al contorno del nostro problema, ricaviamo i coefficienti:
$G(0)=0\quad \Rightarrow \,c\cos(0)+d\sin(0)=0\,\Rightarrow c=0$
Ovvero possiamo scrivere $G(x)=d\sin \left({\frac {\omega }{v}}x\right)$; applicando la seconda condizione $G(l)=0$, possiamo determinare la pulsazione $\omega$ (escludendo il caso $d=0$ in cui ricadiamo nella soluzione banale):
$d\sin \left({\frac {\omega }{v}}l\right)=0\,\Rightarrow \,{\frac {\omega }{v}}l=n\pi \,\omega _{n}={\frac {v\pi n}{l}}$
Otteniamo quindi $G(x)=d\sin \left({\frac {\pi n}{l}}\right)$; posto $d\cdot a=a_{n}$ e $d\cdot b=b_{n}$, otteniamo che una soluzione particolare dell'equazione differenziale risulta essere:
$y_{n}(x,t)=\sin \left({\frac {n\pi }{l}}x\right)\left[a_{n}\cos \left({\frac {v\pi n}{l}}t\right)+b_{n}\sin \left({\frac {v\pi n}{l}}t\right)\right]$
Notiamo come questa abbia la parte spaziale sinusoidale: così facendo, ci siamo assicurati che agli estremi sia nulla. Supponiamo ora sia $b_{n}=0$, così da poterci concentrare sul fattore $\sin \left({\frac {\pi n}{l}}x\right)\cos \left({\frac {v\pi n}{l}}t\right)$; questa è un'onda stazionaria armonica, ovvero, al crescere di $n$, diminuisce il suo periodo, e aumentano i nodi che restano fissi; i nodi si trovano in posizione $x={\frac {l}{n}}$; nell'immagine seguente si vedono le prime otto armoniche di una corda. La prima armonica, in musica, viene anche chiamata armonica fondamentale.
Il contributo del coseno, invece, ne modifica l'ampiezza, senza interferire sulla periodicità. La frequenza di oscillazione della corda è $\nu _{n}={\frac {nv}{2l}}$. Se $b_{n}\neq 0$, possiamo osservare che il seno è solo un coseno traslato, e quindi l'oscillazione dell'onda varia solo in ampiezza.
La domanda è: cosa hanno a che fare tutte queste funzioni trigonometriche con il metodo usato prima? Cioè, prese due soluzioni $\varphi (x-vt)$ e $\psi (x+vt)$, cosa ha a che fare tutto ciò con le onde progressive e regressive? La risposta risiede nell'analisi di Fourier, chiamata anche analisi armonica.
Scegliamo una particolare deformazione iniziale $y(x,0)=h(x)$, a cui corrisponde un rispettivo profilo di velocità ${\frac {\partial y(x,0)}{\partial t}}=k(t)$. Come descriviamo questa deformazione combinandole con la soluzione $y_{n}$ scritta poco sopra?
L'analisi di Fourier permette di decomporre una funzione in somme di onde elementari: ogni funzione (sotto opportune ipotesi) è in realtà una somma di seni e coseni. Consideriamo una successione di funzioni trigonometriche:
${\begin{cases}&\sin \left({\frac {k\pi }{l}}x\right)\\&\cos \left({\frac {k\pi }{l}}x\right)\end{cases}}$
Con $k=0,1,\cdots N\in \mathbb {N}$. Queste funzioni sono tutte $C^{\infty }$ e periodiche di periodo $2l$. Queste funzioni trigonometriche rispettano le condizioni di ortogonalità, ovvero sono valide le seguenti espressioni.
${\begin{aligned}&\int _{-l}^{l}dx\sin \left({\frac {k\pi }{l}}x\right)\sin \left({\frac {k'\pi }{l}}x\right)=0\quad \forall k'\neq k\\&\int _{-l}^{l}dx\cos \left({\frac {k\pi }{l}}x\right)\cos \left({\frac {k'\pi }{l}}x\right)=0\quad \forall k'\neq k\\&\int _{-l}^{l}dx\sin \left({\frac {k\pi }{l}}x\right)\cos \left({\frac {k\pi }{l}}x\right)=0\quad \forall k',k\end{aligned}}$
L'unico caso particolare è per il prodotto di coseni: se $k=0$, si ha che $\int \cos(0)\cos 0)dx=|b-a|$, ovvero, nel nostro caso, $2l$.
Analizziamo un po' meglio tutto questo. Ricordiamo a tal proposito il generale prodotto scalare euclideo:
${\vec {a}}\cdot {\vec {b}}=\sum _{i=1}^{N}a_{i}b_{i}$
Se $N\to \infty$, l'indice $i$ discreto diventa un indice continuo, e la sommatoria diventa integrale. Quindi il prodotto scalare diventa:
${\vec {a}}\cdot {\vec {b}}=\int _{-l}^{l}a(x)\cdot b(x)dx$
Questo vuol dire che le tre espressioni scritte sopra sono prodotti scalari, e che quindi le funzioni $\sin$ e $\cos$ sono la base di uno spazio vettoriale a infinite dimensioni (noto anche come spazio di Hilbert), e l'integrale è il particolare prodotto scalare definito in questo spazio. Inoltre, sono anche una base ortonormale, ovvero si possono normalizzare le funzioni seno e coseno affinché il loro prodotto scalare sia unitario.
A questo punto, presa una funzione $f(x)$ abbastanza regolare (ci basta che sia di classe $C^{1}$), questa potrà essere scritta come somma di seni e coseni:
$f(x)=\sum _{n=0}^{\infty }\left[a_{n}\cos \left({\frac {n\pi }{l}}x\right)+b_{n}\sin \left({\frac {\pi n}{l}}x\right)\right]$
Con i coefficienti $a_{n},b_{n}$ univocamente determinati. Inoltre, se la funzione $f(x)$ è pari nell'intervallo $[-l,l]$, questa potrà essere scritta come solo somma di coseni:
$f(x)=\sum _{n=0}^{\infty }a_{n}\cos \left({\frac {n\pi }{l}}x\right)$
Allo stesso modo, se la funzione $f(x)$ è dispari in $[-l,l]$, si può scrivere come sola somma di seni:
$f(x)=\sum _{n=0}^{\infty }b_{n}\sin \left({\frac {n\pi }{l}}x\right)$
Come si possono determinare i coefficienti? Ricordiamo che, preso un generico vettore $V$ appartenente allo spazio, questo può essere scritto come una combinazione lineare della base $\phi _{i}$ dello spazio $V=\sum a_{i}\phi _{i}$. Per poter avere il coefficiente $a_{m}$ si proietta il vettore sulla base, ovvero:
$a_{m}=\phi _{m}\cdot V=\sum _{i=1}^{N}a_{i}\phi _{i}\cdot \phi _{m}$
Allo stesso modo, per poter avere i nostri coefficienti $a_{n},b_{n}$, occorre proiettare la funzione $f(x)$ sulla base di seni e coseni. Per avere $a_{n}$, infatti:
$a_{m}=\int _{-l}^{l}dxf(x)\cos \left({\frac {m\pi }{l}}x\right)=\sum _{n=0}^{\infty }\left[a_{n}\int _{-l}^{l}dx\cos \left({\frac {n\pi }{l}}x\right)\cos \left({\frac {m\pi }{l}}x\right)+b_{n}\int _{-l}^{l}dx\cos \left({\frac {n\pi }{l}}x\right)\sin \left({\frac {m\pi }{l}}x\right)\right]=a_{m}\cdot l$
Il secondo integrale è sempre nullo, mentre il primo, se $m=n$, dà come risultato $l$, altrimenti è sempre nullo. Otteniamo quindi che
${\begin{aligned}&a_{m}={\frac {1}{l}}\int _{-l}^{l}dxf(x)\cos \left({\frac {m\pi }{l}}x\right)\\&b_{m}={\frac {1}{l}}\int _{-l}^{l}dxf(x)\sin \left({\frac {m\pi }{l}}x\right)\end{aligned}}$
Per $b_{m}$ si è fatto lo stesso ragionamento fatto per $a_{m}$.
Possiamo adesso tornare al nostro discorso fisico, dopo questa breve parentesi matematica. Avevamo trovato una soluzione particolare:
$y_{n}(x,t)=\sin \left({\frac {n\pi }{l}}x\right)\left[a_{n}\cos \left({\frac {v\pi n}{l}}t\right)+b_{n}\sin \left({\frac {v\pi n}{l}}t\right)\right]$
Prese infinite di queste soluzioni e sommate tra loro, otteniamo la soluzione generale:
$y(x,t)=\sum _{n=1}^{\infty }\sin \left({\frac {n\pi }{l}}x\right)\left[a_{n}\cos \left({\frac {v\pi n}{l}}t\right)+b_{n}\sin \left({\frac {v\pi n}{l}}t\right)\right]$
Ricordiamo che la parte spaziale è sinusoide perché si annulla agli estremi. Il nostro profilo di deformazione $h(x)$ assomiglia a una funzione dispari, ma purtroppo vale solo nell'intervallo $[0,l]$. Allora, affinché sia una funzione dispari, possiamo prolungarla nel semiasse negativo, in cui sarà pari $-h(-x)$; la funzione così ottenuta è dispari, e può essere scritta, secondo Fourier, come somma di seni:
$h(x)=\sum _{n=1}^{\infty }A_{n}\sin \left({\frac {n\pi }{l}}x\right)$
Dove
$A_{n}=a_{n}={\frac {1}{l}}\int _{-l}^{l}dxh(x)\sin \left({\frac {n\pi }{l}}x\right)={\frac {2}{l}}\int _{0}^{l}dxh(x)\sin \left({\frac {n\pi }{l}}x\right)$
Questo perché il prodotto $h(x)\cdot \sin$ dà origine a una funzione pari, che quindi è simmetrica rispetto all'asse $y$.
Derivando ora l'espressione $y(x,t)$ e imponendo $t=0$ otteniamo l'espressione di $k(t)$:
$\left.{\frac {\partial y}{\partial t}}\right|_{t=0}=\sum _{n=1}^{\infty }{\frac {b_{n}(n\pi v)}{l}}\cos(0)\cdot \sin \left({\frac {n\pi }{l}}x\right)=k(x)$
Chiamato $B_{n}={\frac {b_{n}(n\pi v)}{l}}$, questo si può esprimere con lo stesso ragionamento di $A_{n}$:
$B_{n}={\frac {2}{l}}\int _{0}^{l}dxk(x)\sin \left({\frac {n\pi }{l}}x\right)$
Da cui ricaviamo che
$b_{n}={\frac {B_{n}\cdot l}{n\pi v}}={\frac {2}{n\pi v}}\int _{0}^{l}dxf(x)\sin \left({\frac {n\pi }{l}}x\right)$
Abbiamo quindi trovato i coefficienti da sostituire alla soluzione generale trovata. L'analisi di Fourier, come visto, è uno strumento molto potente, che permette di risolvere tantissimi problemi fisici e di poter analizzare i fenomeni sotto un'ottica diversa.