diff options
Diffstat (limited to '')
-rw-r--r-- | buch/papers/0f1/teil1.tex | 156 |
1 files changed, 101 insertions, 55 deletions
diff --git a/buch/papers/0f1/teil1.tex b/buch/papers/0f1/teil1.tex index aca84d2..2ca9647 100644 --- a/buch/papers/0f1/teil1.tex +++ b/buch/papers/0f1/teil1.tex @@ -1,55 +1,101 @@ -% -% teil1.tex -- Beispiel-File für das Paper -% -% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil -% -\section{Teil 1 -\label{0f1:section:teil1}} -\rhead{Problemstellung} -Sed ut perspiciatis unde omnis iste natus error sit voluptatem -accusantium doloremque laudantium, totam rem aperiam, eaque ipsa -quae ab illo inventore veritatis et quasi architecto beatae vitae -dicta sunt explicabo. -Nemo enim ipsam voluptatem quia voluptas sit aspernatur aut odit -aut fugit, sed quia consequuntur magni dolores eos qui ratione -voluptatem sequi nesciunt -\begin{equation} -\int_a^b x^2\, dx -= -\left[ \frac13 x^3 \right]_a^b -= -\frac{b^3-a^3}3. -\label{0f1:equation1} -\end{equation} -Neque porro quisquam est, qui dolorem ipsum quia dolor sit amet, -consectetur, adipisci velit, sed quia non numquam eius modi tempora -incidunt ut labore et dolore magnam aliquam quaerat voluptatem. - -Ut enim ad minima veniam, quis nostrum exercitationem ullam corporis -suscipit laboriosam, nisi ut aliquid ex ea commodi consequatur? -Quis autem vel eum iure reprehenderit qui in ea voluptate velit -esse quam nihil molestiae consequatur, vel illum qui dolorem eum -fugiat quo voluptas nulla pariatur? - -\subsection{De finibus bonorum et malorum -\label{0f1:subsection:finibus}} -At vero eos et accusamus et iusto odio dignissimos ducimus qui -blanditiis praesentium voluptatum deleniti atque corrupti quos -dolores et quas molestias excepturi sint occaecati cupiditate non -provident, similique sunt in culpa qui officia deserunt mollitia -animi, id est laborum et dolorum fuga \eqref{000tempmlate:equation1}. - -Et harum quidem rerum facilis est et expedita distinctio -\ref{0f1:section:loesung}. -Nam libero tempore, cum soluta nobis est eligendi optio cumque nihil -impedit quo minus id quod maxime placeat facere possimus, omnis -voluptas assumenda est, omnis dolor repellendus -\ref{0f1:section:folgerung}. -Temporibus autem quibusdam et aut officiis debitis aut rerum -necessitatibus saepe eveniet ut et voluptates repudiandae sint et -molestiae non recusandae. -Itaque earum rerum hic tenetur a sapiente delectus, ut aut reiciendis -voluptatibus maiores alias consequatur aut perferendis doloribus -asperiores repellat. - - +%
+% teil1.tex -- Mathematischer Hintergrund
+%
+% (c) 2022 Fabian Dünki, Hochschule Rapperswil
+%
+\section{Mathematischer Hintergrund
+\label{0f1:section:mathHintergrund}}
+\rhead{Mathematischer Hintergrund}
+Basierend auf den Herleitungen des vorhergehenden Kapitels \ref{buch:rekursion:section:hypergeometrische-funktion}, werden im nachfolgenden Abschnitt nochmals die Resultate
+beschrieben.
+
+\subsection{Hypergeometrische Funktion
+\label{0f1:subsection:hypergeometrisch}}
+Als Grundlage der umgesetzten Algorithmen dient die Hypergeometrische Funktion $\mathstrut_0F_1$. Diese ist eine Unterfunktion der allgemein definierten Funktion $\mathstrut_pF_q$.
+
+\begin{definition}
+ \label{0f1:math:qFp:def}
+ Die hypergeometrische Funktion
+ $\mathstrut_pF_q$ ist definiert durch die Reihe
+ \[
+ \mathstrut_pF_q
+ \biggl(
+ \begin{matrix}
+ a_1,\dots,a_p\\
+ b_1,\dots,b_q
+ \end{matrix}
+ ;
+ x
+ \biggr)
+ =
+ \mathstrut_pF_q(a_1,\dots,a_p;b_1,\dots,b_q;x)
+ =
+ \sum_{k=0}^\infty
+ \frac{(a_1)_k\cdots(a_p)_k}{(b_1)_k\cdots(b_q)_k}\frac{x^k}{k!}.
+ \]
+\end{definition}
+
+Angewendet auf die Funktion $\mathstrut_pF_q$ ergibt sich für $\mathstrut_0F_1$:
+
+\begin{equation}
+ \label{0f1:math:0f1:eq}
+ \mathstrut_0F_1
+ \biggl(
+ \begin{matrix}
+ \\
+ b_1
+ \end{matrix}
+ ;
+ x
+ \biggr)
+ =
+ \mathstrut_0F_1(;b_1;x)
+ =
+ \sum_{k=0}^\infty
+ \frac{x^k}{(b_1)_k \cdot k!}.
+\end{equation}
+
+
+
+
+\subsection{Airy Funktion
+\label{0f1:subsection:airy}}
+Die Airy-Funktion $Ai(x)$ und die verwandte Funktion $Bi(x)$ werden als Airy-Funktion bezeichnet. Sie werden zur Lösung verschiedener physikalischer Probleme benutzt, wie zum Beispiel zur Lösung der Schrödinger-Gleichung. \cite{0f1:wiki-airyFunktion}
+
+\begin{definition}
+ \label{0f1:airy:differentialgleichung:def}
+ Die Differentialgleichung
+ $y'' - xy = 0$
+ heisst die {\em Airy-Differentialgleichung}. \cite{0f1:wiki-airyFunktion}
+\end{definition}
+
+Die Airy Funktion lässt sich auf verschiedene Arten darstellen. \cite{0f1:wiki-airyFunktion}
+Als hypergeometrische Funktion berechnet, ergibt sich wie in Kapitel \ref{buch:differentialgleichungen:section:hypergeometrisch} hergeleitet, folgende Lösungen der Airy-Differentialgleichung zu den Anfangsbedingungen $A(0)=1$ und $A'(0)=0$, sowie $B(0)=0$ und $B'(0)=0$.
+
+\begin{align}
+\label{0f1:airy:hypergeometrisch:eq}
+Ai(x)
+=
+\sum_{k=0}^\infty
+\frac{1}{(\frac23)_k} \frac{1}{k!}\biggl(\frac{x^3}{9}\biggr)^k
+=
+\mathstrut_0F_1\biggl(
+\begin{matrix}\text{---}\\\frac23\end{matrix};\frac{x^3}{9}
+\biggr).
+\\
+Bi(x)
+=
+\sum_{k=0}^\infty
+\frac{1}{(\frac43)_k} \frac{1}{k!}\biggl(\frac{x^3}{9}\biggr)^k
+=
+x\cdot\mathstrut_0F_1\biggl(
+\begin{matrix}\text{---}\\\frac43\end{matrix};
+\frac{x^3}{9}
+\biggr).
+\qedhere
+\end{align}
+
+In diesem speziellem Fall wird die Airy Funktion $Ai(x)$ \eqref{0f1:airy:hypergeometrisch:eq}
+benutzt, um die Stabilität der Algorithmen zu $\mathstrut_0F_1$ zu überprüfen.
+
+
|