Orthogonalität des Produktes zweier Sinus-Funktionen
10.06.2010
Behauptung

mit dem
Kroneckerdelta.
Beweisidee
Eine zweifache partielle Integration führt das Integral auf sich selbst zurück. Vertauscht man bei einer der beiden Integrationen den Integranden, erhält man einen aus m und n bestehenden Vorfaktor, aus dem die obige Behauptung folgt.
Beweis

Partielle Integration führt auf
![\left[-\sin\left(\frac{n\pi}{L}x\right)\frac{L}{m\pi}\cos\left(\frac{m\pi}{L}x\right)\right]^L_0-\int^L_0-\frac{L}{m\pi}\cos\left(\frac{m\pi}{L}x\right)\frac{n\pi}{L}\cos\left(\frac{n\pi}{L}x\right)dx \left[-\sin\left(\frac{n\pi}{L}x\right)\frac{L}{m\pi}\cos\left(\frac{m\pi}{L}x\right)\right]^L_0-\int^L_0-\frac{L}{m\pi}\cos\left(\frac{m\pi}{L}x\right)\frac{n\pi}{L}\cos\left(\frac{n\pi}{L}x\right)dx](/images/latex/54eb4b4039dc10597ff9974869704033.png)
Das lässt sich vereinfachen

Erneute partielle Integration mit diesmal jedoch vertauschen Integranden führt auf
![\frac{n}{m}\left[\left[\cos\left(\frac{n\pi}{L}x\right)\frac{L}{m\pi}\sin\left(\frac{m\pi}{L}x\right)\right]_0^L-\int^L_0-\frac{L}{m\pi}\sin\left(\frac{m\pi}{L}x\right)\sin\left(\frac{n\pi}{L}x\right)\frac{n\pi}{L}dx\right] \frac{n}{m}\left[\left[\cos\left(\frac{n\pi}{L}x\right)\frac{L}{m\pi}\sin\left(\frac{m\pi}{L}x\right)\right]_0^L-\int^L_0-\frac{L}{m\pi}\sin\left(\frac{m\pi}{L}x\right)\sin\left(\frac{n\pi}{L}x\right)\frac{n\pi}{L}dx\right]](/images/latex/3d95018e0379d8e87954a7d3aedd13f5.png)
Auch dieser Ausdruck lässt sich zusammenfassen

Für die natürlichen Zahlen

gilt das nur, wenn das Integral Null ist, oder wenn

. Damit ist das Integral für

Null, was den ersten Fall des Kroneckerdeltas belegt. Für

kann das Ausgangsintegral vereinfacht werden

Durch Substitution erhält man
![\left[\frac{x}{2}-\frac{L\sin(2\frac{n\pi}{L}x}{2n\pi}\right]_0^L=\frac{L}{2} \left[\frac{x}{2}-\frac{L\sin(2\frac{n\pi}{L}x}{2n\pi}\right]_0^L=\frac{L}{2}](/images/latex/4cac97c28a51f273e9b74ece48ccbde1.png)
Damit ist auch der zweite Teil für das Kroneckerdelta bewiesen.