diff options
Diffstat (limited to '')
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/Makefile.inc | 2 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/bessel.tex | 3 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/chapter.tex | 58 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/gaussquadratur.tex | 25 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/legendredgl.tex | 36 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/orthogonal.tex | 14 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/rekursion.tex | 52 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/rodrigues.tex | 163 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/saev.tex | 1 | ||||
| -rw-r--r-- | buch/chapters/070-orthogonalitaet/sturm.tex | 158 |
10 files changed, 425 insertions, 87 deletions
diff --git a/buch/chapters/070-orthogonalitaet/Makefile.inc b/buch/chapters/070-orthogonalitaet/Makefile.inc index 286ab2e..8f58489 100644 --- a/buch/chapters/070-orthogonalitaet/Makefile.inc +++ b/buch/chapters/070-orthogonalitaet/Makefile.inc @@ -4,7 +4,7 @@ # (c) 2022 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule # -CHAPTERFILES = $(CHAPTERFILES) \ +CHAPTERFILES += \ chapters/070-orthogonalitaet/orthogonal.tex \ chapters/070-orthogonalitaet/rekursion.tex \ chapters/070-orthogonalitaet/rodrigues.tex \ diff --git a/buch/chapters/070-orthogonalitaet/bessel.tex b/buch/chapters/070-orthogonalitaet/bessel.tex index 3e9412a..0ef28fd 100644 --- a/buch/chapters/070-orthogonalitaet/bessel.tex +++ b/buch/chapters/070-orthogonalitaet/bessel.tex @@ -1,7 +1,8 @@ % % Besselfunktionen also orthogonale Funktionenfamilie % -\section{Bessel-Funktionen als orthogonale Funktionenfamilie} +\section{Bessel-Funktionen als orthogonale Funktionenfamilie +\label{buch:orthogonalitaet:section:bessel}} \rhead{Bessel-Funktionen} Auch die Besselfunktionen sind eine orthogonale Funktionenfamilie. Sie sind Funktionen differenzierbaren Funktionen $f(r)$ für $r>0$ diff --git a/buch/chapters/070-orthogonalitaet/chapter.tex b/buch/chapters/070-orthogonalitaet/chapter.tex index 4756844..fba1298 100644 --- a/buch/chapters/070-orthogonalitaet/chapter.tex +++ b/buch/chapters/070-orthogonalitaet/chapter.tex @@ -8,20 +8,66 @@ \label{buch:chapter:orthogonalitaet}} \lhead{Orthogonalität} \rhead{} +In der linearen Algebra lernt man, dass orthonormierte Basen für die +Lösung vektorgeometrischer Probleme, bei denen auch das Skalarprodukt +involviert ist, besonders günstig sind. +Die Zerlegung eines Vektors in einer Basis verlangt normalerweise nach +der Lösung eines linearen Gleichungssystems, für orthonormierte +Basisvektoren beschränkt sie sich auf die Berechnung von Skalarprodukten. + +Oft dienen spezielle Funktionen als Basis der Lösungen einer linearen +partiellen Differentialgleichung (siehe Kapitel~\ref{buch:chapter:pde}). +Die Randbedingungen müssen dazu in der gewählten Basis von Funktionen +zerlegt werden. +Fourier ist es gelungen, die Idee des Skalarproduktes und der Orthogonalität +auf Funktionen zu verallgemeinern und so zum Beispiel das Wärmeleitungsproblem +zu lösen. + +Der Orthonormalisierungsprozess von Gram-Schmidt wird damit auch auf +Funktionen anwendbar +(Abschnitt~\ref{buch:orthogonalitaet:section:orthogonale-funktionen}), +der Nutzen führt aber noch viel weiter. +Da $K[x]$ ein Vektorraum ist, führt er von der Basis der Monome +$\{1,x,x^2,\dots,x^n\}$ +auf orthonormierte Polynome. +Diese haben jedoch eine ganze Reihe weiterer nützlicher Eigenschaften. +So wird in Abschnitt~\ref{buch:orthogonal:section:drei-term-rekursion} +gezeigt, dass sich die Werte aller Polynome einer solchen Familie mit +einer Rekursionsformel effizient berechnen lassen, die höchstens drei +Terme umfasst. +In Abschnitt~\ref{buch:orthogonalitaet:section:rodrigues} werden +die Rodrigues-Formeln vorgeführt, die Polynome durch Anwendung eines +Differentialoperators hervorbringen. +In Abschnitt~\ref{buch:orthogonal:section:orthogonale-polynome-und-dgl} +schliesslich wird gezeigt, dass diese Polynome auch Eigenfunktionen +eines selbstadjungierten Operators sind. +Da man in der linearen Algebra auch lernt, dass die Eigenvektoren einer +symmetrischen Matrix zu verschiedenen Eigenwerten orthogonal sind, +ist die Orthogonalität plötzlich nicht mehr überraschend. + +Die Bessel-Funktionen von +Abschnitt~\ref{buch:differntialgleichungen:section:bessel} +sind auch Eigenfunktionen eines Differentialoperators. +Abschnitt~\ref{buch:orthogonalitaet:section:bessel} findet das zugehörige +Skalarprodukt, welches andeutet, dass auch für andere Funktionenfamilien +eine entsprechende Konstruktion möglich ist. +Das in Abschnitt~\ref{buch:integrale:subsection:sturm-liouville-problem} +präsentierte Sturm-Liouville-Problem führt sie durch. +Das Kapitel schliesst mit dem +Abschnitt~\ref{buch:orthogonal:section:gauss-quadratur} +über die Gauss-Quadratur, welche die Eigenschaften orthogonaler Polynome +für einen besonders effizienten numerischen Integrationsalgorithmus +ausnutzt. + \input{chapters/070-orthogonalitaet/orthogonal.tex} \input{chapters/070-orthogonalitaet/rekursion.tex} \input{chapters/070-orthogonalitaet/rodrigues.tex} -%\input{chapters/070-orthogonalitaet/jacobi.tex} \input{chapters/070-orthogonalitaet/legendredgl.tex} \input{chapters/070-orthogonalitaet/bessel.tex} \input{chapters/070-orthogonalitaet/sturm.tex} \input{chapters/070-orthogonalitaet/gaussquadratur.tex} -%\section{TODO} -%\begin{itemize} -%\end{itemize} - -\section*{Übungsaufgaben} +\section*{Übungsaufgabe} \rhead{Übungsaufgaben} \aufgabetoplevel{chapters/070-orthogonalitaet/uebungsaufgaben} \begin{uebungsaufgaben} diff --git a/buch/chapters/070-orthogonalitaet/gaussquadratur.tex b/buch/chapters/070-orthogonalitaet/gaussquadratur.tex index 55f9700..a5af7d2 100644 --- a/buch/chapters/070-orthogonalitaet/gaussquadratur.tex +++ b/buch/chapters/070-orthogonalitaet/gaussquadratur.tex @@ -1,7 +1,8 @@ % % Anwendung: Gauss-Quadratur % -\section{Anwendung: Gauss-Quadratur} +\section{Anwendung: Gauss-Quadratur +\label{buch:orthogonal:section:gauss-quadratur}} \rhead{Gauss-Quadratur} Orthogonale Polynome haben eine etwas unerwartet Anwendung in einem von Gauss erdachten numerischen Integrationsverfahren. @@ -135,12 +136,12 @@ p(x)&=x^2\colon& \frac23 &= A_0x_0^2 + A_1x_1^2\\ p(x)&=x^3\colon& 0 &= A_0x_0^3 + A_1x_1^3. \end{aligned} \] -Dividiert man die zweite und vierte Gleichung in der Form +Dividiert man die vierte durch die zweite Gleichung in der Form \[ \left. \begin{aligned} -A_0x_0 &= -A_1x_1\\ -A_0x_0^2 &= -A_1x_1^2 +A_0x_0^3 &= -A_1x_1^3 &\qquad&\text{(vierte Gleichung)}\\ +A_0x_0 &= -A_1x_1 &\qquad&\text{(zweite Gleichung)} \end{aligned} \quad \right\} @@ -155,7 +156,7 @@ x_1=-x_0. \] Indem wir dies in die zweite Gleichung einsetzen, finden wir \[ -0 = A_0x_0 + A_1x_1 = A_0x_1 -A_1x_0 = (A_0-A_1)x_0 +0 = A_0x_0 + A_1x_1 = A_0x_0 -A_1x_0 = (A_0-A_1)x_0 \quad\Rightarrow\quad A_0=A_1. \] @@ -229,6 +230,7 @@ Sei $R_n=\{p(X)\in\mathbb{R}[X] \mid \deg p\le n\}$ der Vektorraum der Polynome vom Grad $n$. \begin{satz} +\index{Satz!Gaussquadratur}% \label{buch:integral:satz:gaussquadratur} Sei $p$ ein Polynom vom Grad $n$, welches auf allen Polynomen in $R_{n-1}$ orthogonal sind. @@ -263,7 +265,7 @@ werden können, muss auch = \int_{-1}^1 q(x)p(x)\,dx = -\sum_{i=0}^n q(x_i)p(x_i) +\sum_{i=0}^n A_iq(x_i)p(x_i) \] für jedes beliebige Polynom $q\in R_{n-1}$ gelten. Da man für $q$ die Interpolationspolynome $l_j(x)$ verwenden @@ -272,9 +274,11 @@ kann, den Grad $n-1$ haben, folgt 0 = \sum_{i=0}^n -l_j(x_i)p(x_i) +A_il_j(x_i)p(x_i) = -\sum_{i=0}^n \delta_{ij}p(x_i), +\sum_{i=0}^n A_i\delta_{ij}p(x_i) += +A_jp(x_j), \] die Stützstellen $x_i$ müssen also die Nullstellen des Polynoms $p(x)$ sein. @@ -282,7 +286,7 @@ $p(x)$ sein. Der Satz~\ref{buch:integral:satz:gaussquadratur} begründet das {\em Gausssche Quadraturverfahren}. -Die in Abschnitt~\ref{buch:integral:section:orthogonale-polynome} +Die in Abschnitt~\ref{buch:orthogonal:subsection:legendre-polynome} bestimmten Legendre-Polynome $P_n$ haben die im Satz verlangte Eigenschaft, dass sie auf allen Polynomen geringeren Grades orthogonal sind. @@ -304,6 +308,7 @@ Für eine beliebige Funktion kann man die folgende Fehlerabschätzung angeben \cite[theorem 7.3.4, p.~497]{buch:numal}. \begin{satz} +\index{Satz!Gausssche Quadraturformel und Fehler}% Seien $x_i$ die Stützstellen und $A_i$ die Gewichte einer Gaussschen Quadraturformel mit $n+1$ Stützstellen und sei $f$ eine auf dem Interval $[-1,1]$ $2n+2$-mal stetig differenzierbare @@ -549,7 +554,7 @@ w(x)=e^{-x} \text{ und } g(x)=f(x)e^x. \] -Dann approximiert $g(x)$ man durch ein Interpolationspolynom, +Dann approximiert man $g(x)$ durch ein Interpolationspolynom, so wie man das bei der Gauss-Quadratur gemacht hat. Als Stützstellen müssen dazu die Nullstellen der Laguerre-Polynome verwendet werden. diff --git a/buch/chapters/070-orthogonalitaet/legendredgl.tex b/buch/chapters/070-orthogonalitaet/legendredgl.tex index de8f63f..f3dd53f 100644 --- a/buch/chapters/070-orthogonalitaet/legendredgl.tex +++ b/buch/chapters/070-orthogonalitaet/legendredgl.tex @@ -3,7 +3,8 @@ % % (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule % -\section{Orthogonale Polynome und Differentialgleichungen} +\section{Orthogonale Polynome und Differentialgleichungen +\label{buch:orthogonal:section:orthogonale-polynome-und-dgl}} \rhead{Differentialgleichungen orthogonaler Polynome} Legendre hat einen ganz anderen Zugang zu den nach ihm benannten Polynomen gefunden. @@ -16,8 +17,13 @@ Die Orthogonalität wird dann aus einer Verallgemeinerung der bekannten Eingeschaft folgen, dass Eigenvektoren einer symmetrischen Matrix zu verschiedenen Eigenwerten orthogonal sind. +% +% Legendre-Differentialgleichung +% \subsection{Legendre-Differentialgleichung} Die {\em Legendre-Differentialgleichung} ist die Differentialgleichung +\index{Differentialgleichung!Legendre-}% +\index{Legendre-Differentialgleichung}% \begin{equation} (1-x^2) y'' - 2x y' + n(n+1) y = 0 \label{buch:integral:eqn:legendre-differentialgleichung} @@ -61,7 +67,10 @@ zerlegen, die als Linearkombinationen der beiden Lösungen $y(x)$ und $y_s(x)$ ebenfalls Lösungen der Differentialgleichung sind. -\subsection{Potenzreihenlösung} +% +% Potenzreihenlösungen +% +\subsubsection{Potenzreihenlösung} Wir suchen eine Lösung in Form einer Potenzreihe um $x=0$ und verwenden dazu den Ansatz \[ @@ -170,7 +179,10 @@ eine Polynomlösung $\bar{P}_n(x)$ vom Grad $n$ gibt. Dies kann aber nicht erklären, warum die so gefundenen Polynome orthogonal sind. -\subsection{Eigenfunktionen} +% +% Eigenfunktionen +% +\subsubsection{Eigenfunktionen} Die Differentialgleichung \eqref{buch:integral:eqn:legendre-differentialgleichung} Kann mit dem Differentialoperator @@ -198,7 +210,10 @@ des Operators $D$ zum Eigenwert $n(n+1)$ sind: D\bar{P}_n = -n(n+1) \bar{P}_n. \] -\subsection{Orthogonalität von $\bar{P}_n$ als Eigenfunktionen} +% +% Orthogonalität von P_n als Eigenfunktionen +% +\subsubsection{Orthogonalität von $\bar{P}_n$ als Eigenfunktionen} Ein Operator $A$ auf Funktionen heisst {\em selbstadjungiert}, wenn für zwei beliebige Funktionen $f$ und $g$ gilt \[ @@ -274,7 +289,10 @@ die $\bar{P}_n$ orthogonale Polynome vom Grad $n$ sind, die die gleiche Standardierdisierungsbedingung wie die Legendre-Polyonome erfüllen, also ist $\bar{P}_n(x)=P_n(x)$. -\subsection{Legendre-Funktionen zweiter Art} +% +% Legendre-Funktionen zweiter Art +% +\subsubsection{Legendre-Funktionen zweiter Art} %Siehe Wikipedia-Artikel \url{https://de.wikipedia.org/wiki/Legendre-Polynom} % Die Potenzreihenmethode liefert natürlich auch Lösungen der @@ -368,7 +386,7 @@ Q_1(x) = x \operatorname{artanh}x-1 verwendet werden. % -% +% Laguerre-Differentialgleichung % \subsection{Laguerre-Differentialgleichung \label{buch:orthogonal:subsection:laguerre-differentialgleichung}} @@ -427,11 +445,15 @@ schlägt eine zweite Lösung vor, im vorliegenden Fall mit $b=1$ ist die zweite Lösung jedoch identisch zu ersten, es muss daher ein anderer Weg zu einer zweiten Lösung gesucht werden. -XXX TODO: zweite Lösung der Differentialgleichung. +%XXX TODO: zweite Lösung der Differentialgleichung. +% +% +% \subsubsection{Die assoziierte Laguerre-Differentialgleichung} \index{assoziierte Laguerre-Differentialgleichung}% \index{Laguerre-Differentialgleichung, assoziierte}% +\index{Differentialgleichung!assoziierte Laguerre-}% Die {\em assoziierte Laguerre-Differentialgleichung} ist die Differentialgleichung \begin{equation} diff --git a/buch/chapters/070-orthogonalitaet/orthogonal.tex b/buch/chapters/070-orthogonalitaet/orthogonal.tex index a84248a..df04514 100644 --- a/buch/chapters/070-orthogonalitaet/orthogonal.tex +++ b/buch/chapters/070-orthogonalitaet/orthogonal.tex @@ -11,9 +11,13 @@ Funktionenreihen mit Summanden zu bilden, die im Sinne eines Skalarproduktes orthogonal sind, welches mit Hilfe eines Integrals definiert sind. Solche Funktionenfamilien treten jedoch auch als Lösungen von -Differentialgleichungen. +Differentialgleichungen auf. Besonders interessant wird die Situation, wenn die Funktionen Polynome sind. +In diesem Abschnitt soll zunächst das Skalarprodukt definiert +und an Hand von Beispielen gezeigt werden, wie verschiedenartige +interessante Familien von orthogonalen Polynomen gewonnen werden +können. % % Skalarprodukt @@ -520,7 +524,7 @@ Tabelle~\ref{buch:integral:table:legendre-polynome}. Die Graphen sind in Abbildung~\ref{buch:integral:orthogonal:legendregraphen} dargestellt. Abbildung~\ref{buch:integral:orthogonal:legendreortho} illustriert, -dass die die beiden Polynome $P_4(x)$ und $P_7(x)$ orthogonal sind. +dass die beiden Polynome $P_4(x)$ und $P_7(x)$ orthogonal sind. Das Produkt $P_4(x)\cdot P_7(x)$ hat Integral $=0$. % @@ -634,7 +638,7 @@ Der Vektorraum $H_w$ von auf $(a,b)$ definierten Funktionen sei H_w = \biggl\{ -f:\colon(a,b) \to \mathbb{R} +f\colon(a,b) \to \mathbb{R} \;\bigg|\; \int_a^b |f(x)|^2 w(x)\,dx \biggr\}. @@ -842,14 +846,14 @@ bei geeigneter Normierung die {\em Hermite-Polynome}. % % Laguerre-Gewichtsfunktion % -\subsection{Laguerre-Gewichtsfunktion} +\subsubsection{Laguerre-Gewichtsfunktion} Ähnlich wie die Hermite-Gewichtsfunktion ist die {\em Laguerre-Gewichtsfunktion} \index{Laguerre-Gewichtsfunktion}% \[ w_{\text{Laguerre}}(x) = -w^{-x} +e^{-x} \] auf ganz $\mathbb{R}$ definiert, und sie geht für $x\to\infty$ wieder sehr rasch gegen $0$. diff --git a/buch/chapters/070-orthogonalitaet/rekursion.tex b/buch/chapters/070-orthogonalitaet/rekursion.tex index 5ec7fed..3dd9de5 100644 --- a/buch/chapters/070-orthogonalitaet/rekursion.tex +++ b/buch/chapters/070-orthogonalitaet/rekursion.tex @@ -30,10 +30,21 @@ Skalarproduktes $\langle\,\;,\;\rangle_w$, wenn für alle $n$, $m$. \end{definition} -\subsection{Allgemeine Drei-Term-Rekursion für orthogonale Polynome} -Der folgende Satz besagt, dass $p_n$ eine Rekursionsbeziehung erfüllt. +\subsubsection{Allgemeine Drei-Term-Rekursion für orthogonale Polynome} +Die Multiplikation mit $x$ macht aus einem Polynom vom Grad $n$ ein +Polynom vom Grad $n+1$. +Das Polynom $xp_n(x)$ lässt sich daher als Linearkombination der +Polynome $p_k(x)$ mit $k\le n+1$ schreiben. +Es muss also eine lineare Beziehung zwischen den Polynomen $p_k(x)$ und +$xp_n(x)$ geben, die man nach $p_{n+1}(x)$ auflösen kann, um eine lineare +Darstellung von $p_{n+1}(x)$ durch die $p_k(x)$ und $p_n(x)$ zu +bekommen. +A priori muss man damit rechnen, dass sehr viele Summanden nötig sind. +Der folgende Satz besagt, dass $p_n(x)$ eine Rekursionsbeziehung mit +nur drei Termen erfüllt. \begin{satz} +\index{Satz!Drei-Term-Rekursion}% \label{buch:orthogonal:satz:drei-term-rekursion} Eine Folge bezüglich $\langle\,\;,\;\rangle_w$ orthogonaler Polynome $p_n$ mit dem Grade $\deg p_n = n$ erfüllt eine Rekursionsbeziehung der Form @@ -55,9 +66,13 @@ C_{n+1} = \frac{A_{n+1}}{A_n}\frac{h_{n+1}}{h_n}. \end{equation} \end{satz} -\subsection{Multiplikationsoperator mit $x$} -Man kann die Relation auch nach dem Produkt $xp_n(x)$ auflösen, dann -wird sie +Die Rekursionsbeziehung~\eqref{buch:orthogonal:eqn:rekursion} bedeutet, +dass sich die Werte $p_n(x)$ für alle $n$ ausgehend von $p_1(x)$ und +$p_0(x)$ mit nur $O(n)$ Operationen ermitteln lassen. + +\subsubsection{Multiplikationsoperator mit $x$} +Man kann die Relation \eqref{buch:orthogonal:eqn:rekursion} +auch nach dem Produkt $xp_n(x)$ auflösen, dann wird sie \begin{equation} xp_n(x) = @@ -68,11 +83,14 @@ xp_n(x) \frac{C_n}{A_n}p_{n-1}(x). \label{buch:orthogonal:eqn:multixrelation} \end{equation} -Die Multiplikation mit $x$ ist eine lineare Abbildung im Raum der Funktionen. +Die Multiplikation mit $x$ ist eine lineare Abbildung im Raum der Funktionen, +die wir weiter unten auch $M_x$ abkürzen. Die Relation~\eqref{buch:orthogonal:eqn:multixrelation} besagt, dass diese Abbildung in der Basis der Polynome $p_k$ tridiagonale Form hat. +Ein Beispiel dafür ist im nächsten Abschnitt in +\eqref{buch:orthogonal:eqn:Mx} -\subsection{Drei-Term-Rekursion für die Tschebyscheff-Polynome} +\subsubsection{Drei-Term-Rekursion für die Tschebyscheff-Polynome} Eine Relation der Form~\eqref{buch:orthogonal:eqn:multixrelation} wurde bereits in Abschnitt~\ref{buch:potenzen:tschebyscheff:rekursionsbeziehungen} @@ -80,12 +98,28 @@ hergeleitet. In der Form~\eqref{buch:orthogonal:eqn:rekursion} geschrieben lautet sie \[ -T_{n+1}(x) = 2x\,T_n(x)-T_{n-1}(x). +T_{n+1}(x) = 2x\,T_n(x)-T_{n-1}(x), \] also $A_n=2$, $B_n=0$ und $C_n=1$. +Die Matrixdarstellung des Multiplikationsoperators $M_x$ in der +Basis der Tschebyscheff-Polynome hat wegen +\eqref{buch:orthogonal:eqn:multixrelation} die Form +\begin{equation} +M_x += +\begin{pmatrix} + 0&\frac12& 0& 0& 0&\dots \\ +\frac12& 0&\frac12& 0& 0&\dots \\ + 0&\frac12& 0&\frac12& 0&\dots \\ + 0& 0&\frac12& 0&\frac12&\dots \\ + 0& 0& 0&\frac12& 0&\dots \\ + \vdots& \vdots& \vdots& \vdots& \vdots&\ddots +\end{pmatrix}. +\label{buch:orthogonal:eqn:Mx} +\end{equation} -\subsection{Beweis von Satz~\ref{buch:orthogonal:satz:drei-term-rekursion}} +\subsubsection{Beweis von Satz~\ref{buch:orthogonal:satz:drei-term-rekursion}} Die Relation~\eqref{buch:orthogonal:eqn:multixrelation} zeigt auch, dass der Beweis die Koeffizienten $\langle xp_k,p_j\rangle_w$ berechnen muss. diff --git a/buch/chapters/070-orthogonalitaet/rodrigues.tex b/buch/chapters/070-orthogonalitaet/rodrigues.tex index 9fded85..4852624 100644 --- a/buch/chapters/070-orthogonalitaet/rodrigues.tex +++ b/buch/chapters/070-orthogonalitaet/rodrigues.tex @@ -14,7 +14,8 @@ mit der Ableitung kann man den Grad aber auch senken, man könnte daher auch nach einer Rekursionsformel fragen, die bei einem Polynom hohen Grades beginnt und mit Hilfe von Ableitungen zu geringeren Graden absteigt. -Solche Formeln heissen Rodrigues-Formeln nach dem Entdecker Olinde +Solche Formeln heissen {\em Rodrigues-Formeln} nach dem Entdecker Olinde +\index{Rodriguez, Olinde}% Rodrigues, der eine solche Formal als erster für Legendre-Polynome gefunden hat. @@ -27,12 +28,17 @@ Die Skalarprodukte sollen \] sein. +% +% Pearsonsche Differentialgleichung +% \subsection{Pearsonsche Differentialgleichung} Die {\em Pearsonsche Differentialgleichung} ist die Differentialgleichung \begin{equation} B(x) y' - A(x) y = 0, \label{buch:orthogonal:eqn:pearson} \end{equation} +\index{Differentialgleichung!Pearsonsche}% +\index{Pearsonsche Differentialgleichung}% wobei $B(x)$ ein Polynom vom Grad höchstens $2$ ist und $A(x)$ ein höchstens lineares Polynom. Die Gleichung~\eqref{buch:orthogonal:eqn:pearson} @@ -45,33 +51,46 @@ Dann kann man die Gleichung umstellen in = \frac{A(x)}{B(x)} \qquad\Rightarrow\qquad -y = \exp\biggl( \int\frac{A(x)}{B(x)}\biggr)\,dx. +y += +\exp\biggl( +\int\frac{A(x)}{B(x)} +\,dx +\biggr) +. \] -Im folgenden nehmen wir zusätzlich an, dass +Im Folgenden nehmen wir zusätzlich an, dass an den Intervallenden \begin{equation} \lim_{x\to a+} w(x)B(x) = 0, \qquad\text{und}\qquad -\lim_{x\to b-} w(x)B(x) = 0. +\lim_{x\to b-} w(x)B(x) = 0 \end{equation} +gilt. + Falls $w(x)$ an den Intervallenden einen von $0$ verschiedenen Grenzwert hat, bedeutet dies, dass $B(a)=B(b)=0$ sein muss. Falls $w(x)$ am Intervallende divergiert, muss $B(x)$ dort eine Nullstelle höherer Ordnung haben, was aber für ein Polynom zweiten Grades nicht möglich ist. +% +% Rekursionsformel +% \subsection{Rekursionsformel} Multiplikation mit $B(x)$ wird den Grad eines Polynomes typischerweise um $2$ erhöhen, die Ableitung wird ihn wieder um $1$ reduzieren. Etwas formeller kann man dies wie folgt formulieren: \begin{satz} +\index{Satz!Rodrigues-Rekursionsformel}% Für alle $n\ge 0$ ist -\[ +\begin{equation} q_n(x) = \frac{1}{w(x)} \frac{d^n}{dx^n} B(x)^n w(x) -\] +\label{buch:orthogonalitaet:rodrigues:eqn:rekursion} +\end{equation} ein Polynom vom Grad höchstens $n$. \end{satz} @@ -85,51 +104,67 @@ r_0(x) B(x)^n w(x) \\ &= \frac{d^{n-1}}{dx^{n-1}} -\bigl(r_0'(x)B(x)+ nB'(x)B(x)^{n-1}w(x) + B(x)^n w'(x) \bigr) +\bigl(r_0'(x)B(x)+ nr_0(x)B'(x)B(x)^{n-1}w(x) + r_0(x)B(x)^n w'(x) \bigr) \\ &= \frac{d^{n-1}}{dx^{n-1}} -(r_0'(x)B(x)+nB'(x)+A(x)) B(x)^{n-1} w(x) -= +(\underbrace{r_0'(x)B(x)+nr_0(x)B'(x)+r_0(x)A(x)}_{\displaystyle = r_1(x)}) +B(x)^{n-1} w(x) +\\ +&= \frac{d^{n-1}}{dx^{n-1}} r_1(x)B^{n-1}(x) w(x). \end{align*} -Für die Funktionen $r_k$ gilt die Rekursionsformel +Iterativ lässt sich eine Folge von +Funktionen $r_k(x)$ definieren, für die Rekursionsformel \begin{equation} -r_k(x) = r_{k-1}'(x)B(x) + kB'(x) + A(x). +r_k(x) = r_{k-1}'(x)B(x) + \bigl((n+1-k)B'(x) + A(x)\bigr)r_{k-1}(x) \label{buch:orthogonal:rodrigues:rekursion:beweis1} \end{equation} +gilt. Wenn $r_0(x)$ ein Polynom ist, dann sind alle Funktionen $r_k(x)$ ebenfalls Polynome. -Durch wiederholte Anwendung dieser Formel kann man schliessen, dass +Aus der Konstruktion kann man schliessen, dass \[ \frac{d^n}{dx^n} r_0(x) B(x)^n w(x) = r_n(x) w(x). \] -Insbesondere folgt für $r_0(x)=1$, dass man durch $w(x)$ dividieren kann -und dass $r_n(x)=q_n(x)$. +Insbesondere folgt für $r_0(x)=1$, dass die $n$-te Ableitung den +Faktor $w(x)$ enthält und dass somit $r_n(x)=q_n(x)$ ein Polynom ist. -Wir müssen auch noch den Grad von $r_k(x)$ bestimmen. -Dazu verwenden wir -\eqref{buch:orthogonal:rodrigues:rekursion:beweis1} und berechnen den -Grad: +Wir müssen auch noch den Grad von $r_k(x)$ bestimmen, wobei wir +wieder von $r_0(x)=1$ ausgehen. +Wir behaupten, dass $\deg r_k(x)\le k$ ist, und beweisen dies +mit vollständiger Induktion. +Für $k=0$ ist $\deg r_0(x) = 0 \le k$ die Induktionsverankerung. + +Wir nehmen jetzt also an, dass $\deg r_{k-1}(x)\le k-1$ ist und +verwenden +\eqref{buch:orthogonal:rodrigues:rekursion:beweis1} um den Grad zu berechnen: \begin{equation*} \deg r_k(x) = \max \bigl( -\underbrace{\deg(r_{k-1}'(x) B(x))}_{\displaystyle \deg r_{k-1}(x) -1 + 2} +\underbrace{\deg(r_{k-1}'(x) B(x))}_{\displaystyle (k-1) -1 + 2} , -\underbrace{\deg(B'(x))}_{\displaystyle \le 1} +\underbrace{\deg(r_{k-1}(x)B'(x))}_{\displaystyle \le (k-1)+1} , -\underbrace{\deg(A(x))}_{\displaystyle \le 1} +\underbrace{\deg(r_{k-1}(x)A(x))}_{\displaystyle \le (k-1)+1} \bigr) -\le \max r_{k-1}(x) + 1. +\le k. \end{equation*} -Aus $\deg r_0(x)=0$ kann man jetzt ablesen, dass $\deg r_k(x)\le k$ ist. -Damit ist gezeigt, dass $\deg q_n(x)\le n$. +Damit ist der Induktionsschritt und $\deg r_k(x)\le k$ bewiesen. +Damit ist auch gezeigt, dass $\deg q_n(x)\le n$. \end{proof} +Die Rodrigues-Formel~\eqref{buch:orthogonalitaet:rodrigues:eqn:rekursion} +produziert eine Folge von Polynomen aufsteigenden Grades, es ist aber +noch nicht klar, dass diese Polynome bezüglich des gewählten Skalarproduktes +orthogonal sind. +Dies ist der Inhalt des folgenden Satzes. + \begin{satz} +\index{Satz!Rodrigues-Formel für orthonormierte Polynome}% Es gibt Konstanten $c_n$ derart, dass \[ p_n(x) @@ -140,7 +175,7 @@ gilt. \end{satz} \begin{proof}[Beweis] -Wir müssen zeigen, dass die Polynome orthogonal sind auf allen Monomen +Wir zeigen, dass die Polynome orthogonal sind auf allen Monomen von geringerem Grad. \begin{align*} \langle q_n, x^k\rangle_w @@ -148,15 +183,17 @@ von geringerem Grad. \int_a^b q_n(x)x^kw(x)\,dx \\ &= -\int_a^b \frac{1}{w(x)}\frac{d^n}{dx^n}(B(x)^n w(x)) x^k w(x)\,dx +\int_a^b \frac{1}{w(x)} +\biggl(\frac{d^n}{dx^n}\bigl(B(x)^n w(x)\bigr)\biggr) +x^k w(x)\,dx \\ &= -\int_a^b \frac{d^n}{dx^n}(B(x)^n w(x)) x^k \,dx +\int_a^b \frac{d^n}{dx^n}\bigl(B(x)^n w(x)\bigr) x^k \,dx \\ &= -\biggl[\frac{d^{n-1}}{dx^{n-1}}(B(x)^n w(x)) x^k \biggr]_a^b +\biggl[\frac{d^{n-1}}{dx^{n-1}}\bigl(B(x)^n w(x)\bigr) x^k \biggr]_a^b - -\int_a^b \frac{d^{n-1}}{dx^{n-1}}(B(x)^n w(x))kx^{k-1}\,dx +\int_a^b \frac{d^{n-1}}{dx^{n-1}}\bigl(B(x)^n w(x)\bigr)kx^{k-1}\,dx \end{align*} Durch $n$-fache Iteration wird das Integral auf $0$ reduziert. Es bleiben nur die eckigen Klammern stehen, doch wenn man die Produktregel @@ -164,9 +201,32 @@ auswertet, bleibt immer mindestens ein Produkt $B(x)w(x)$ stehen, nach den Voraussetzungen an den Grenzwert dieses Produktes an den Intervallenden verschwinden diese Terme alle. Damit sind die $q_n(x)$ Polynome, die $w$-orthogonal sind auf allen -$x^k$ mit $k<n$, also Vielfache der $w$-Orthgonalpolynome. +$x^k$ mit $k<n$. + +Die Polynome $q_k(x)$ mit $k< n$ haben Grad $<n$ und sind daher +Linearkombinationen von Monomen vom Grad $<n$. +Soeben wurde gezeigt, dass $q_n(x)$ orthogonal auf diesen Monomen +ist, also auch auf $q_k(x)$ mit $k<n$. +Damit ist gezeigt, dass Polynome $q_n(x)$ eine orthogonale Familie +von Polynomen bilden. +Durch Normierung müssen sich daraus die Polynome $p_n(x)$ ergeben. \end{proof} +\subsection{Differentialgleichung} +Man kann auch zeigen (siehe z.~B.~\cite{buch:pearsondgl}, +dass die orthogonalen Polynome, die die +Rodrigues-Formel liefert, einer Differentialgleichung zweiter +Ordnung genügen, deren möglicherweise nicht konstante Koeffizienten +sich direkt aus $A(x)$, $B(x)$ und $w(x)$ bestimmen lassen. + +\subsection{Beispiel} +Im folgenden zeigen wir, wie sich für viele der früher eingeführten +Gewichtsfunktionen Rodrigues-Formeln für die zugehörigen orthogonalen +Polynome konstruieren lassen. + +% +% Legendre-Polynome +% \subsubsection{Legendre-Polynome} Legendre-Polynome sind orthogonale Polynome zum Standardskalarprodukt mit $w(x)=1$. @@ -195,6 +255,9 @@ P_n(x) (x^2-1)^n. \] +% +% Hermite-Polynome +% \subsubsection{Hermite-Polynome} Die Hermite-Polynome sind auf ganz $\mathbb{R}$ definiert und verwenden die Gewichtsfunktion @@ -205,13 +268,13 @@ Für jedes beliebige Polynome $B(x)$, auch für höheren Grad als $2$, ist \[ \lim_{x\to-\infty} B(x) w(x) = -\lim_{x\to-\infty} B(x)^e{-x^2} +\lim_{x\to-\infty} B(x)e^{-x^2} = 0 \qquad\text{und}\qquad \lim_{x\to\infty} B(x) w(x) = -\lim_{x\to\infty} B(x)^e{-x^2} +\lim_{x\to\infty} B(x)e^{-x^2} = 0, \] @@ -222,7 +285,7 @@ Die Ableitung der Gewichtsfunktion ist \[ w'(x) = -2xe^{-x^2}. \] -Eingsetzt in die Pearsonsche Differentialgleichung findet man +Eingesetzt in die Pearsonsche Differentialgleichung findet man \[ \frac{w'(x)}{w(x)} = @@ -238,6 +301,8 @@ B(x) = 1. \] Die Gradbedingung ist also immer erfüllt und es folgt die Rodrigues-Formel für die Hermite-Polynome +\index{Hermite-Polynom}% +\index{Polynome!Hermite}% \begin{equation} H_n(x) = @@ -249,13 +314,15 @@ e^{x^2}\frac{d^n}{dx^n} e^{-x^2}. \label{buch:orthogonal:eqn:hermite-rodrigues} \end{equation} -Die Hermite-Polynome können mit der Rodrigues-Formel berechnen, aber die -Form~\eqref{buch:orthogonal:eqn:hermite-rodrigues} ist dazu nicht gut -geeignet. -Dazu dient die Berechnung +Die Hermite-Polynome können mit der Rodrigues-Formel berechnet werden, +aber die Form~\eqref{buch:orthogonal:eqn:hermite-rodrigues} ist dazu +nicht gut geeignet. +Zur Vereinfachung dient die Berechnung \[ -\frac{d}{dx} +\bigl( e^{-x^2}f(x) +\bigr) = 2xe^{-x^2}f(x) - @@ -270,15 +337,15 @@ vertauscht werden kann, wenn er durch die grosse Klammer auf der rechten Seite ersetzt wird. Die Rodrigues-Formel bekommt daher die Form \[ -H_n(x) = \biggl(\frac{d}{dx}-2x\biggr)^n \cdot 1 +H_n(x) = \biggl(2x-\frac{d}{dx}\biggr)^n \cdot 1. \] -TODO: Relation zu hypergeometrischen Funktionen $\mathstrut_1F_1$ +%TODO: Relation zu hypergeometrischen Funktionen $\mathstrut_1F_1$ %\url{https://en.wikipedia.org/wiki/Rodrigues%27_formula} % -% Jacoib-Gewichtsfunktion +% Jacobi-Gewichtsfunktion % \subsubsection{Jacobi-Gewichtsfunktion} %(%i1) w: (1-x)^a*(1+x)^b; @@ -303,6 +370,8 @@ TODO: Relation zu hypergeometrischen Funktionen $\mathstrut_1F_1$ % x - 1 % Die Jacobi-Gewichtsfunktion +\index{Jacobi-Gewichtsfunktion}% +\index{Gewichtsfunktion!Jacobi}% \[ w(x) = @@ -357,9 +426,14 @@ Die Konstanten $c_n$ werden durch die Normierung % XXX in welchem Abschnitt festgelegt. +% +% Tschebyscheff-Gewichtsfunktion +% \subsubsection{Die Tschebyscheff-Gewichtsfunktion} Die Tschebyscheff-Gewichtsfunktion ist der Spezialfall $a=b=-\frac12$ der Jacobi-Gewichtsfunktion. +\index{Tschebyscheff-Gewichtsfunktion}% +\index{Gewichtsfunktion!Tschebyscheff}% Die Rodrigues-Formel für die Tschebyscheff-Polynome lautet daher \[ T_n(x) @@ -373,8 +447,13 @@ c_n\sqrt{1-x^2} \frac{d^n}{dx^n} \] wobei wir den korrekten Wert von $c_n$ nicht nachgewiesen haben. +% +% Laguerre Gewichtsfunktion +% \subsubsection{Die Laguerre-Gewichtsfunktion} Die Laguerre-Gewichtsfunktion +\index{Laguerre-Gewichtsfunktion}% +\index{Gewichtsfunktion!Laguerre}% \[ w_{\text{Laguerre}}(x) = @@ -387,6 +466,8 @@ hat die Ableitung w'(x) = -e^{-x}, \] die Pearsonsche Differentialgleichung ist daher +\index{Pearsonsche Differentialgleichung}% +\index{Differentialgleichung!Pearsonsche}% \[ \frac{w'(x)}{w(x)}=\frac{-1}{1}. \] @@ -485,6 +566,8 @@ an der Stelle $0$. Wir fassen die Resultate im folgenden Satz zusammen. \begin{satz} +\index{Satz!Laguerre-Polynome}% +\index{Polynome!Laguerre-}% Die Laguerre-Polynome vom Grad $n$ haben die Form \begin{equation} L_n(x) diff --git a/buch/chapters/070-orthogonalitaet/saev.tex b/buch/chapters/070-orthogonalitaet/saev.tex index c667297..599d3a0 100644 --- a/buch/chapters/070-orthogonalitaet/saev.tex +++ b/buch/chapters/070-orthogonalitaet/saev.tex @@ -18,6 +18,7 @@ Der Beweis ist direkt übertragbar, wir halten das Resultat hier für spätere Verwendung fest. \begin{satz} +\index{Satz!orthogonale Eigenvektoren}% Sind $f$ und $g$ Eigenvektoren eines selbstadjungierten Operators $A$ zu verschiedenen Eigenwerten $\lambda$ und $\mu$, dann sind $f$ und $g$ orthogonal. diff --git a/buch/chapters/070-orthogonalitaet/sturm.tex b/buch/chapters/070-orthogonalitaet/sturm.tex index c9c9cc6..742ec0a 100644 --- a/buch/chapters/070-orthogonalitaet/sturm.tex +++ b/buch/chapters/070-orthogonalitaet/sturm.tex @@ -7,10 +7,14 @@ \label{buch:integrale:subsection:sturm-liouville-problem}} \rhead{Das Sturm-Liouville-Problem} Sowohl bei den Bessel-Funktionen wie bei den Legendre-Polynomen +\index{Bessel-Funktion}% konnte die Orthogonalität der Funktionen dadurch gezeigt werden, dass sie als Eigenfunktionen eines bezüglich eines geeigneten Skalarproduktes selbstadjungierten Operators erkannt wurden. +% +% Differentialgleichungen +% \subsection{Differentialgleichung} Das klassische Sturm-Liouville-Problem ist das folgende Eigenwertproblem. Gesucht sind Lösungen der Differentialgleichung @@ -30,6 +34,9 @@ erfüllen, wobei $|k_i|^2 + |h_i|^2\ne 0$ mit $i=a,b$. Weitere Bedingungen an die Funktionen $p(x)$, $q(x)$, $w(x)$ sowie die Lösungsfunktionen $y(x)$ sollen später geklärt werden. +% +% Das verallgemeinerte Eigenwertproblem für symmetrische Matrizen +% \subsection{Das verallgemeinerte Eigenwertproblem für symmetrische Matrizen} Ein zu \eqref{buch:integrale:eqn:sturm-liouville} analoges Eigenwertproblem für Matrizen ist das folgende verallgemeinerte Eigenwertproblem. @@ -51,6 +58,7 @@ Für symmetrische Matrizen lässt sich dieses Problem auf ein Optimierungsproblem reduzieren. \begin{satz} +\index{Satz!verallgemeinertes Eigenwertproblem}% Seien $A$ und $B$ symmetrische $n\times n$-Matrizen und sei ausserdem $B$ positiv definit. Ist $v$ ein Vektor, der die Grösse @@ -121,6 +129,7 @@ Eigenwert $\lambda$ ist. \end{proof} \begin{satz} +\index{Satz!Orthogonalität verallgemeinerter Eigenvektoren}% Verallgemeinerte Eigenvektoren $u$ und $v$ von $A$ und $B$ zu verschiedenen Eigenwerten erfüllen $u^tBv=0$. \end{satz} @@ -147,6 +156,8 @@ dass $u^tBv=0$ sein muss. Verallgemeinerte Eigenwerte und Eigenvektoren verhalten sich also ganz analog zu den gewöhnlichen Eigenwerten und Eigenvektoren. Da $B$ positiv definit ist, ist $B$ auch invertierbar. +\index{verallgemeinertes Skalarprodukt}% +\index{Skalarprodukt!verallgemeinertes}% Zudem kann $B$ zur Definition des verallgemeinerten Skalarproduktes \[ \langle u,v\rangle_B = u^tBv @@ -175,6 +186,9 @@ ist damit ein gewöhnliches Eigenwertproblem für selbstadjungierte Matrizen des Operators $\tilde{A}$ bezüglich des verallgemeinerten Skalarproduktes $\langle\,\;,\;\rangle_B$. +% +% Der Operator L_0 und die Randbedingung +% \subsection{Der Operator $L_0$ und die Randbedingung} Die Differentialgleichung kann auch in Operatorform geschrieben werden. Dazu schreiben wir @@ -192,6 +206,7 @@ Bezüglich des gewöhnlichen Skalarproduktes für Funktionen auf dem Intervall $[a,b]$ ist der Operator $L_0$ tatsächlich selbstadjungiert. Mit partieller Integration rechnet man nach: +\index{partielle Integration}% \begin{align} \langle f,L_0g\rangle &= @@ -275,6 +290,9 @@ Ausgeschrieben bedeutet dies, dass die Randbedingung \eqref{buch:integrale:sturm:randbedingung} erfüllt sein muss. +% +% Skalarprodukt +% \subsection{Skalarprodukt} Das Ziel der folgenden Abschnitte ist, das Sturm-Liouville-Problem als Eigenwertproblem für einen selbstadjungierten Operator in einem @@ -314,6 +332,9 @@ mit der Gewichtsfunktion $w(x)$ verwendet werden. Damit dies ein vernünftiges Skalarprodukt ist, muss $w(x)>0$ im Innerend es Intervalls sein. +% +% Der Vektorraum H +% \subsection{Der Vektorraum $H$} Damit können wir jetzt die Eigenschaften der in Frage kommenden Funktionen zusammenstellen. @@ -346,17 +367,23 @@ f\in L^2([a,b],w)\;\bigg|\; \biggr\}. \] -\subsection{Differentialoperator} +% +% Der Sturm-Liouville-Differentialoperator +% +\subsection{Der Sturm-Liouville-Differentialoperator} Das verallgemeinerte Eigenwertproblem für $A$ und $B$ ist ein gewöhnliches Eigenwertproblem für die Operator $\tilde{A}=B^{-1}A$ bezüglich des modifizierten Skalarproduktes. Das Sturm-Liouville-Problem ist also ein Eigenwertproblem im Vektorraum $H$ mit dem Skalarprodukt $\langle\,\;,\;\rangle_w$. Der Operator -\[ +\begin{equation} L = \frac{1}{w(x)} \biggl(-\frac{d}{dx} p(x)\frac{d}{dx} + q(x)\biggr) -\] +\label{buch:orthogonal:sturm-liouville:opL1} +\end{equation} heisst der {\em Sturm-Liouville-Operator}. +\index{Sturm-Liouville-Operator}% +\index{Operator!Sturm-Liouville-}% Eine Lösung des Sturm-Liouville-Problems ist eine Funktion $y(x)$ derart, dass \[ @@ -365,17 +392,32 @@ Ly = \lambda y, $\lambda$ ist der zu $y(x)$ gehörige Eigenwert. Der Operator ist definiert auf Funktionen des im vorangegangenen Abschnitt definierten Vektorraumes $H$. +Führt man die Differentiation aus, bekommt der Operator die Form +\begin{equation} +L += +-\frac{p(x)}{w(x)} \frac{d^2}{dx^2} +-\frac{p'(x)}{w(x)} \frac{d}{dx} ++\frac{q(x)}{w(x)}. +\label{buch:orthogonal:sturm-liouville:opL2} +\end{equation} +% +% Beispiele +% \subsection{Beispiele} Die meisten der früher vorgestellten Funktionenfamilien stellen sich als Lösungen eines geeigneten Sturm-Liouville-Problems heraus. Alle Eigenschaften aus der Sturm-Liouville-Theorie gelten daher automatisch für diese Funktionenfamilien. +% +% Trignometrische Funktionen +% \subsubsection{Trigonometrische Funktionen} Die trigonometrischen Funktionen sind Eigenfunktionen des Operators $d^2/dx^2$, also eines Sturm-Liouville-Operators mit $p(x)=1$, $q(x)=0$ -und $w(x)=0$. +und $w(x)=1$. Auf dem Intervall $(-\pi,\pi)$ können wir die Randbedingungen \bgroup \renewcommand{\arraycolsep}{2pt} @@ -434,6 +476,9 @@ Dann ist wegen die Bedingung~\eqref{buch:integrale:sturm:sabedingung} ebenfalls erfüllt, $L_0$ ist in diesem Raum selbstadjungiert. +% +% Bessel-Funktionen J_n(x) +% \subsubsection{Bessel-Funktionen $J_n(x)$} Der Bessel-Operator \eqref{buch:differentialgleichungen:bessel-operator} kann wie folgt in die Form eines Sturm-Liouville-Operators gebracht @@ -478,6 +523,9 @@ Es folgt damit sofort, dass die Besselfunktionen orthogonale Funktionen bezüglich des Skalarproduktes mit der Gewichtsfunktion $w(x)=1/x$ sind. +% +% Bessel-Funktionen J_n(sx) +% \subsubsection{Bessel-Funktionen $J_n(s x)$} Das Sturm-Liouville-Problem mit den Funktionen \eqref{buch:orthogonal:sturm:bessel:n} @@ -489,7 +537,10 @@ Im Folgenden sollen hingegen die Funktionen $J_n(s x)$ für konstantes $n$, aber verschiedene $s$ untersucht und als orthogonal erkannt werden. -Die Funktion $y(x) = J_n(x)$ ist eine Lösung der Bessel-Differentialgleichung +Die Funktion $y(x) = J_n(x)$ ist eine Lösung der Besselschen +Differentialgleichung +\index{Besselsche Differentialgleichung}% +\index{Differentialgleichung!Besselsche}% \[ x^2y'' + xy' + x^2y = n^2y. \] @@ -576,6 +627,7 @@ des Sturm-Liouville-Problems für den Eigenwert $\lambda = -s^2$. \begin{satz}[Orthogonalität der Bessel-Funktionen] +\index{Satz!Orthogonalität der Bessel-Funktionen}% Die Bessel-Funktionen $J_n(sx)$ für verschiedene $s$ sind orthogonal bezüglich des Skalarproduktes mit der Gewichtsfunktion $w(x)=x$, d.~h. @@ -608,6 +660,9 @@ Damit sind geeignete Randbedingungen für das Sturm-Liouville-Problem gefunden. \end{proof} +% +% Laguerre-Polynome +% \subsubsection{Laguerre-Polynome} Die Laguerre-Polynome sind orthogonal bezüglich des Skalarprodukts mit der Laguerre-Gewichtsfunktion $w(x)=e^{-x}$ und erfüllen die @@ -646,9 +701,15 @@ also die Laguerre-Differentialgleichung. Somit folgt, dass die Laguerre-Polynome orthogonal sind bezüglich des Skalarproduktes mit der Laguerre-Gewichtsfunktion. +% +% Tschebyscheff-Polynome +% \subsubsection{Tschebyscheff-Polynome} Die Tschebyscheff-Polynome sind Lösungen der -Tschebyscheff-Differentialgleichung +bereits in Kapitel~\ref{buch:chapter:potenzen} hergeleiteten +Tschebyscheff-Differentialgleichung~\eqref{buch:potenzen:tschebyscheff:dgl} +\index{Tschebyscheff-Differentialgleichung}% +\index{Differentialgleichung!Tschebyscheff-}% \[ (1-x^2)y'' -xy' = n^2y \] @@ -680,19 +741,100 @@ xy'(x) \lambda y(x). \end{align*} Es folgt, dass die Tschebyscheff-Polynome orthogonal sind +\index{Tschebyscheff-Polynom}% bezüglich des Skalarproduktes \[ \langle f,g\rangle = \int_{-1}^1 f(x)g(x)\frac{dx}{\sqrt{1-x^2}}. \] +% +% Jacobi-Polynome +% \subsubsection{Jacobi-Polynome} -TODO - +Die Jacobi-Polynome sind orthogonal bezüglich des Skalarproduktes +\index{Jacobi-Polynome}% +\index{Polynome!Jacobi-}% +mit der Gewichtsfunktion +\[ +w^{(\alpha,\beta)}(x) = (1-x)^\alpha(1+x)^\beta, +\] +definiert in Definition~\ref{buch:orthogonal:def:jacobi-gewichtsfunktion}. +%Bei der Herleitung der Rodrigues-Formel für die Jacobi-Polynome wurde erkannt, +%dass $B(x)=1-x^2$ und $A(x)=\beta-\alpha-(\alpha+\beta)x$ sein muss. +Man kann zeigen, dass sie Lösungen der +{\em Jacobi-Diffe\-ren\-tial\-gleichung} +\index{Jacobi-Differentialgleichung}% +\index{Differentialgleichung!Jacobi}% +\begin{equation} +(1-x^2)y'' + (\beta-\alpha-(\alpha+\beta + 2)x)y' + n(n+\alpha+\beta+1)y=0 +\label{buch:orthogonal:jacobi:dgl} +\end{equation} +sind. +Es stellt sich die Frage, ob sich Funktionen $p(x)$ und $q(x)$ finden lassen +derart, dass die Differentialgleichung~\eqref{buch:orthogonal:jacobi:dgl} +eine Sturm-Liouville-Gleichung wird. +Gemäss der Form~\eqref{buch:orthogonal:sturm-liouville:opL2} muss +$p(x)$ so gefunden werden, dass +\begin{align*} +\frac{p(x)}{w^{(\alpha,\beta)}(x)} &= 1-x^2 \\ +\frac{p'(x)}{w^{(\alpha,\beta)}(x)} &= \beta-\alpha-(\alpha+\beta+2)x +\end{align*} +gilt. +Der Quotient der beiden Gleichungen ist die logarithmische Ableitung +\[ +(\log p(x))' += +\frac{p'(x)}{p(x)} += +\frac{1-x^2}{\beta-\alpha-(\alpha+\beta+2)x} +\] +von $p(x)$, +die sich in geschlossener Form integrieren lässt. +Man findet als Stammfunktion +\[ +p(x) += +(1-x)^{\alpha+1}(1+x)^{\beta+1}. +\] +Tatsächlich ist +\begin{align*} +\frac{p(x)}{w^{(\alpha,\beta)}(x)} +&= +\frac{(1-x)^{\alpha+1}(1+x)^{\beta+1}}{(1-x)^\alpha(1+x)^\beta} += +(1-x)(1+x)=1-x^2 +\\ +\frac{p'(x)}{w^{(\alpha,\beta)}(x)} +&= +\frac{ +-(\alpha+1) +(1-x)^{\alpha}(1+x)^{\beta+1} ++ +(\beta+1) +(1-x)^{\alpha+1}(1+x)^{\beta} +}{ +(1-x)^{\alpha}(1+x)^{\beta} +} +\\ +&= +-(\alpha+1)(1+x) + (\beta+1)(1-x) += +\beta-\alpha-(\alpha+\beta+2)x. +\end{align*} +Damit ist +die Jacobische Differentialgleichung +als Sturm-Liouville-Differentialgleichung erkannt. +% +% Hypergeometrische Differentialgleichungen +% \subsubsection{Hypergeometrische Differentialgleichungen} %\url{https://encyclopediaofmath.org/wiki/Hypergeometric_equation} Auch die Eulersche hypergeometrische Differentialgleichung +\index{Eulersche hypergeometrische Differentialgleichung}% +\index{Differentialgleichung!Eulersche hypergeometrische}% lässt sich in die Form eines Sturm-Liouville-Operators +\index{Eulersche hypergeometrische Differentialgleichung!als Sturm-Liouville-Gleichung}% bringen. Dazu setzt man \begin{align*} |