From c771727f3d404d7d79f36b3871e540a8539edfcf Mon Sep 17 00:00:00 2001
From: runterer <r.unterer@gmx.ch>
Date: Sat, 30 Apr 2022 22:03:05 +0200
Subject: wip copying my handwritten stuff to LaTex

---
 buch/papers/zeta/Makefile.inc              |   7 +-
 buch/papers/zeta/analytic_continuation.tex | 165 +++++++++++++++++++++++++++++
 buch/papers/zeta/einleitung.tex            |  11 ++
 buch/papers/zeta/main.tex                  |  32 ++----
 buch/papers/zeta/teil0.tex                 |  22 ----
 buch/papers/zeta/teil1.tex                 |  55 ----------
 buch/papers/zeta/teil2.tex                 |  40 -------
 buch/papers/zeta/teil3.tex                 |  40 -------
 buch/papers/zeta/zeta_gamma.tex            |  53 +++++++++
 9 files changed, 239 insertions(+), 186 deletions(-)
 create mode 100644 buch/papers/zeta/analytic_continuation.tex
 create mode 100644 buch/papers/zeta/einleitung.tex
 delete mode 100644 buch/papers/zeta/teil0.tex
 delete mode 100644 buch/papers/zeta/teil1.tex
 delete mode 100644 buch/papers/zeta/teil2.tex
 delete mode 100644 buch/papers/zeta/teil3.tex
 create mode 100644 buch/papers/zeta/zeta_gamma.tex

(limited to 'buch/papers')

diff --git a/buch/papers/zeta/Makefile.inc b/buch/papers/zeta/Makefile.inc
index 11c7697..14babe2 100644
--- a/buch/papers/zeta/Makefile.inc
+++ b/buch/papers/zeta/Makefile.inc
@@ -7,8 +7,7 @@ dependencies-zeta =						\
 	papers/zeta/packages.tex					\
 	papers/zeta/main.tex					\
 	papers/zeta/references.bib				\
-	papers/zeta/teil0.tex					\
-	papers/zeta/teil1.tex					\
-	papers/zeta/teil2.tex					\
-	papers/zeta/teil3.tex
+	papers/zeta/einleitung.tex					\
+	papers/zeta/analytic_continuation.tex					\
+    papers/zeta/zeta_gamma.tex \
 
diff --git a/buch/papers/zeta/analytic_continuation.tex b/buch/papers/zeta/analytic_continuation.tex
new file mode 100644
index 0000000..943647a
--- /dev/null
+++ b/buch/papers/zeta/analytic_continuation.tex
@@ -0,0 +1,165 @@
+\section{Analytische Fortsetzung} \label{zeta:section:analytische_fortsetzung}
+\rhead{Analytische Fortsetzung}
+
+%TODO missing Text
+
+\subsection{Fortsetzung auf $\Re(s) > 0$} \label{zeta:subsection:auf_bereich_ge_0}
+Zuerst definieren die Dirichletsche Etafunktion als
+\begin{equation}\label{zeta:equation:eta}
+    \eta(s)
+    =
+    \sum_{n=1}^{\infty}
+    \frac{(-1)^{n-1}}{n^s},
+\end{equation}
+wobei die Reihe bis auf die alternierenden Vorzeichen die selbe wie in der Zetafunktion ist.
+Diese Etafunktion konvergiert gemäss dem Leibnitz-Kriterium im Bereich $\Re(s) > 0$, da dann die einzelnen Glieder monoton fallend sind.
+
+Wenn wir es nun schaffen, die sehr ähnliche Zetafunktion mit der Etafunktion auszudrücken, dann haben die gesuchte Fortsetzung.
+Die folgenden Schritte zeigen, wie man dazu kommt:
+\begin{align}
+    \zeta(s)
+    &=
+    \sum_{n=1}^{\infty}
+    \frac{1}{n^s} \label{zeta:align1}
+    \\
+    \frac{1}{2^{s-1}}
+    \zeta(s)
+    &=
+    \sum_{n=1}^{\infty}
+    \frac{2}{(2n)^s} \label{zeta:align2}
+    \\
+    \left(1 - \frac{1}{2^{s-1}} \right)
+    \zeta(s)
+    &=
+    \frac{1}{1^s}
+    \underbrace{-\frac{2}{2^s} + \frac{1}{2^s}}_{-\frac{1}{2^s}}
+    + \frac{1}{3^s}
+    \underbrace{-\frac{2}{4^s} + \frac{1}{4^s}}_{-\frac{1}{4^s}}
+    \ldots
+    && \text{\eqref{zeta:align1}} - \text{\eqref{zeta:align2}}
+    \\
+    &= \eta(s)
+    \\
+    \zeta(s)
+    &=
+    \left(1 - \frac{1}{2^{s-1}} \right)^{-1} \eta(s).
+\end{align}
+
+\subsection{Fortsetzung auf ganz $\mathbb{C}$} \label{zeta:subsection:auf_ganz}
+Für die Fortsetzung auf den Rest von $\mathbb{C}$, verwenden wir den Zusammenhang von Gamma- und Zetafunktion aus \ref{zeta:section:zusammenhang_mit_gammafunktion}.
+Wir beginnen damit, die Gammafunktion für den halben Funktionswert zu berechnen als
+\begin{equation}
+    \Gamma \left( \frac{s}{2} \right)
+    =
+    \int_0^{\infty} t^{\frac{s}{2}-1} e^{-t} dt.
+\end{equation}
+Nun substituieren wir $t$ mit $t = \pi n^2 x$ und $dt=\pi n^2 dx$ und erhalten
+\begin{align}
+    \Gamma \left( \frac{s}{2} \right)
+    &=
+    \int_0^{\infty}
+    (\pi n^2)^{\frac{s}{2}}
+    x^{\frac{s}{2}-1}
+    e^{-\pi n^2 x}
+    dx
+    && \text{Division durch } (\pi n^2)^{\frac{s}{2}}
+    \\
+    \frac{\Gamma \left( \frac{s}{2} \right)}{\pi^{\frac{s}{2}} n^s}
+    &=
+    \int_0^{\infty}
+    x^{\frac{s}{2}-1}
+    e^{-\pi n^2 x}
+    dx
+    && \text{Zeta durch Summenbildung } \sum_{n=1}^{\infty}
+    \\
+    \frac{\Gamma \left( \frac{s}{2} \right)}{\pi^{\frac{s}{2}}}
+    \zeta(s)
+    &=
+    \int_0^{\infty}
+    x^{\frac{s}{2}-1}
+    \sum_{n=1}^{\infty}
+    e^{-\pi n^2 x}
+    dx. \label{zeta:equation:integral1}
+\end{align}
+Die Summe kürzen wir ab als $\psi(x) = \sum_{n=1}^{\infty} e^{-\pi n^2 x}$.
+%TODO Wieso folgendes -> aus Fourier Signal
+Es gilt
+\begin{equation}\label{zeta:equation:psi}
+    \psi(x)
+    =
+    - \frac{1}{2}
+    + \frac{\psi\left(\frac{1}{x} \right)}{\sqrt{x}}
+    + \frac{1}{2 \sqrt{x}}.
+\end{equation}
+
+Zunächst teilen wir nun das Integral aus \eqref{zeta:equation:integral1} auf als
+\begin{equation}\label{zeta:equation:integral2}
+    \int_0^{\infty}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    =
+    \int_0^{1}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    +
+    \int_1^{\infty}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx,
+\end{equation}
+wobei wir uns nun auf den ersten Teil konzentrieren werden.
+Dabei setzen wir das Wissen aus \eqref{zeta:equation:integral2} ein und erhalten
+\begin{align}
+    \int_0^{1}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    &=
+    \int_0^{1}
+    x^{\frac{s}{2}-1}
+    \left(
+    - \frac{1}{2}
+    + \frac{\psi\left(\frac{1}{x} \right)}{\sqrt{x}}
+    + \frac{1}{2 \sqrt{x}}.
+    \right)
+    dx
+    \\
+    &=
+    \int_0^{1}
+    x^{\frac{s}{2}-\frac{3}{2}}
+    \psi \left( \frac{1}{x} \right)
+    + \frac{1}{2}
+    \left(
+    x^{\frac{s}{2}-\frac{3}{2}}
+    -
+    x^{\frac{s}{2}-1}
+    \right)
+    dx
+    \\
+    &=
+    \int_0^{1}
+    x^{\frac{s}{2}-\frac{3}{2}}
+    \psi \left( \frac{1}{x} \right)
+    dx
+    + \frac{1}{2}
+    \int_0^1
+    x^{\frac{s}{2}-\frac{3}{2}}
+    -
+    x^{\frac{s}{2}-1}
+    dx.
+\end{align}
+Dabei kann das zweite integral gelöst werden als
+\begin{equation}
+    \frac{1}{2}
+    \int_0^1
+    x^{\frac{s}{2}-\frac{3}{2}}
+    -
+    x^{\frac{s}{2}-1}
+    dx
+    =
+    \frac{1}{s(s-1)}.
+\end{equation}
+
+
diff --git a/buch/papers/zeta/einleitung.tex b/buch/papers/zeta/einleitung.tex
new file mode 100644
index 0000000..3b70531
--- /dev/null
+++ b/buch/papers/zeta/einleitung.tex
@@ -0,0 +1,11 @@
+\section{Einleitung} \label{zeta:section:einleitung}
+\rhead{Einleitung}
+
+Die Riemannsche Zetafunktion ist für alle komplexe $s$ mit $\Re(s) > 1$ definiert als
+\begin{equation}\label{zeta:equation1}
+    \zeta(s)
+    =
+    \sum_{n=1}^{\infty}
+    \frac{1}{n^s}.
+\end{equation}
+
diff --git a/buch/papers/zeta/main.tex b/buch/papers/zeta/main.tex
index 1d9e059..e0ea8e1 100644
--- a/buch/papers/zeta/main.tex
+++ b/buch/papers/zeta/main.tex
@@ -3,34 +3,16 @@
 %
 % (c) 2020 Hochschule Rapperswil
 %
-\chapter{Thema\label{chapter:zeta}}
-\lhead{Thema}
+\chapter{Riemannsche Zetafunktion\label{chapter:zeta}}
+\lhead{Riemannsche Zetafunktion}
 \begin{refsection}
-\chapterauthor{Hans Muster}
+\chapterauthor{Raphael Unterer}
 
-Ein paar Hinweise für die korrekte Formatierung des Textes
-\begin{itemize}
-\item
-Absätze werden gebildet, indem man eine Leerzeile einfügt.
-Die Verwendung von \verb+\\+ ist nur in Tabellen und Arrays gestattet.
-\item
-Die explizite Platzierung von Bildern ist nicht erlaubt, entsprechende
-Optionen werden gelöscht. 
-Verwenden Sie Labels und Verweise, um auf Bilder hinzuweisen.
-\item
-Beginnen Sie jeden Satz auf einer neuen Zeile. 
-Damit ermöglichen Sie dem Versionsverwaltungssysteme, Änderungen
-in verschiedenen Sätzen von verschiedenen Autoren ohne Konflikt 
-anzuwenden.
-\item 
-Bilden Sie auch für Formeln kurze Zeilen, einerseits der besseren
-Übersicht wegen, aber auch um GIT die Arbeit zu erleichtern.
-\end{itemize}
+%TODO Einleitung
 
-\input{papers/zeta/teil0.tex}
-\input{papers/zeta/teil1.tex}
-\input{papers/zeta/teil2.tex}
-\input{papers/zeta/teil3.tex}
+\input{papers/zeta/einleitung.tex}
+\input{papers/zeta/zeta_gamma.tex}
+\input{papers/zeta/analytic_continuation.tex}
 
 \printbibliography[heading=subbibliography]
 \end{refsection}
diff --git a/buch/papers/zeta/teil0.tex b/buch/papers/zeta/teil0.tex
deleted file mode 100644
index 56c0b1b..0000000
--- a/buch/papers/zeta/teil0.tex
+++ /dev/null
@@ -1,22 +0,0 @@
-%
-% einleitung.tex -- Beispiel-File für die Einleitung
-%
-% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
-%
-\section{Teil 0\label{zeta:section:teil0}}
-\rhead{Teil 0}
-Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam
-nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam
-erat, sed diam voluptua \cite{zeta:bibtex}.
-At vero eos et accusam et justo duo dolores et ea rebum.
-Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum
-dolor sit amet.
-
-Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam
-nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam
-erat, sed diam voluptua.
-At vero eos et accusam et justo duo dolores et ea rebum.  Stet clita
-kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit
-amet.
-
-
diff --git a/buch/papers/zeta/teil1.tex b/buch/papers/zeta/teil1.tex
deleted file mode 100644
index 4017ee8..0000000
--- a/buch/papers/zeta/teil1.tex
+++ /dev/null
@@ -1,55 +0,0 @@
-%
-% teil1.tex -- Beispiel-File für das Paper
-%
-% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
-%
-\section{Teil 1
-\label{zeta: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{zeta: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{zeta: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{zeta: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{zeta: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.
-
-
diff --git a/buch/papers/zeta/teil2.tex b/buch/papers/zeta/teil2.tex
deleted file mode 100644
index 9e8a96e..0000000
--- a/buch/papers/zeta/teil2.tex
+++ /dev/null
@@ -1,40 +0,0 @@
-%
-% teil2.tex -- Beispiel-File für teil2 
-%
-% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
-%
-\section{Teil 2 
-\label{zeta:section:teil2}}
-\rhead{Teil 2}
-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. 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{zeta:subsection:bonorum}}
-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. Et harum quidem rerum facilis
-est et expedita distinctio. 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. 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.
-
-
diff --git a/buch/papers/zeta/teil3.tex b/buch/papers/zeta/teil3.tex
deleted file mode 100644
index 6610cc3..0000000
--- a/buch/papers/zeta/teil3.tex
+++ /dev/null
@@ -1,40 +0,0 @@
-%
-% teil3.tex -- Beispiel-File für Teil 3
-%
-% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
-%
-\section{Teil 3
-\label{zeta:section:teil3}}
-\rhead{Teil 3}
-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. 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{zeta:subsection:malorum}}
-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. Et harum quidem rerum facilis
-est et expedita distinctio. 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. 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.
-
-
diff --git a/buch/papers/zeta/zeta_gamma.tex b/buch/papers/zeta/zeta_gamma.tex
new file mode 100644
index 0000000..59c8744
--- /dev/null
+++ b/buch/papers/zeta/zeta_gamma.tex
@@ -0,0 +1,53 @@
+\section{Zusammenhang mit Gammafunktion} \label{zeta:section:zusammenhang_mit_gammafunktion}
+\rhead{Zusammenhang mit Gammafunktion}
+
+Dieser Abschnitt stellt die Verbindung zwischen der Gamma- und der Zetafunktion her.
+
+%TODO ref Gamma
+Wenn in der Gammafunkion die Integrationsvariable $t$ substituieren mit $t = nu$ und $dt = n du$, dann können wir die Gleichung umstellen und erhalten den Zusammenhang mit der Zetafunktion
+\begin{align}
+    \Gamma(s)
+    &=
+    \int_0^{\infty} t^{s-1} e^{-t} dt
+    \\
+    &=
+    \int_0^{\infty} n^{s\cancel{-1}}u^{s-1} e^{-nu} \cancel{n}du
+    &&
+    \text{Division durch }n^s
+    \\
+    \frac{\Gamma(s)}{n^s}
+    &=
+    \int_0^{\infty} u^{s-1} e^{-nu}du
+    &&
+    \text{Zeta durch Summenbildung } \sum_{n=1}^{\infty}
+    \\
+    \Gamma(s) \zeta(s)
+    &=
+    \int_0^{\infty} u^{s-1}
+    \sum_{n=1}^{\infty}e^{-nu}
+    du.
+    \label{zeta:equation:zeta_gamma1}
+\end{align}
+Die Summe über $e^{-nu}$ können wir als geometrische Reihe schreiben und erhalten
+\begin{align}
+    \sum_{n=1}^{\infty}e^{-u^n}
+    &=
+    \sum_{n=0}^{\infty}e^{-u^n}
+    -
+    1
+    \\
+    &=
+    \frac{1}{1 - e^{-u}} - 1
+    \\
+    &=
+    \frac{1}{e^u - 1}.
+\end{align}
+Wenn wir dieses Resultat einsetzen in \eqref{zeta:equation:zeta_gamma1} und durch $\Gamma(s)$ teilen, erhalten wir
+\begin{equation}\label{zeta:equation:zeta_gamma_final}
+    \zeta(s)
+    =
+    \frac{1}{\Gamma(s)}
+    \int_0^{\infty}
+    \frac{u^{s-1}}{e^u -1}
+    du.
+\end{equation}
-- 
cgit v1.2.1


From e26f12668c78fab5f0d8c5c9625396fd34970c82 Mon Sep 17 00:00:00 2001
From: runterer <r.unterer@gmx.ch>
Date: Sat, 30 Apr 2022 22:39:22 +0200
Subject: Erster Entwurf der analytischen Fortsetzung geschrieben

---
 buch/papers/zeta/analytic_continuation.tex | 107 +++++++++++++++++++++++++++--
 1 file changed, 103 insertions(+), 4 deletions(-)

(limited to 'buch/papers')

diff --git a/buch/papers/zeta/analytic_continuation.tex b/buch/papers/zeta/analytic_continuation.tex
index 943647a..f5de6e7 100644
--- a/buch/papers/zeta/analytic_continuation.tex
+++ b/buch/papers/zeta/analytic_continuation.tex
@@ -110,7 +110,7 @@ Zunächst teilen wir nun das Integral aus \eqref{zeta:equation:integral1} auf al
     dx,
 \end{equation}
 wobei wir uns nun auf den ersten Teil konzentrieren werden.
-Dabei setzen wir das Wissen aus \eqref{zeta:equation:integral2} ein und erhalten
+Dabei setzen wir das Wissen aus \eqref{zeta:equation:psi} ein und erhalten
 \begin{align}
     \int_0^{1}
     x^{\frac{s}{2}-1}
@@ -148,9 +148,9 @@ Dabei setzen wir das Wissen aus \eqref{zeta:equation:integral2} ein und erhalten
     x^{\frac{s}{2}-\frac{3}{2}}
     -
     x^{\frac{s}{2}-1}
-    dx.
+    dx. \label{zeta:equation:integral3}
 \end{align}
-Dabei kann das zweite integral gelöst werden als
+Dabei kann das zweite Integral gelöst werden als
 \begin{equation}
     \frac{1}{2}
     \int_0^1
@@ -161,5 +161,104 @@ Dabei kann das zweite integral gelöst werden als
     =
     \frac{1}{s(s-1)}.
 \end{equation}
-
+Das erste Integral aus \eqref{zeta:equation:integral3} mit $\psi \left(\frac{1}{x} \right)$ ist nicht lösbar in dieser Form.
+Deshalb substituieren wir $x = \frac{1}{u}$ und $dx = -\frac{1}{u^2}du$.
+Die untere Integralgrenze wechselt ebenfalls zu $x_0 = 0 \rightarrow u_0 = \infty$.
+Dies ergibt
+\begin{align}
+    \int_{\infty}^{1}
+    {\frac{1}{u}}^{\frac{s}{2}-\frac{3}{2}}
+    \psi(u)
+    \frac{-du}{u^2}
+    &=
+    \int_{1}^{\infty}
+    {\frac{1}{u}}^{\frac{s}{2}-\frac{3}{2}}
+    \psi(u)
+    \frac{du}{u^2}
+    \\
+    &=
+    \int_{1}^{\infty}
+    x^{(-1) \left(\frac{s}{2}+\frac{1}{2}\right)}
+    \psi(x)
+    dx,
+\end{align}
+wobei wir durch Multiplikation mit $(-1)$ die Integralgrenzen tauschen dürfen.
+Es ist zu beachten das diese Grenzen nun identisch mit den Grenzen des zweiten Integrals von \eqref{zeta:equation:integral2} sind.
+Wir setzen beide Lösungen ein in Gleichung \eqref{zeta:equation:integral3} und erhalten
+\begin{equation}
+    \int_0^{1}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    =
+    \int_{1}^{\infty}
+    x^{(-1) \left(\frac{s}{2}+\frac{1}{2}\right)}
+    \psi(x)
+    dx,
+    +
+    \frac{1}{s(s-1)}.
+\end{equation}
+Dieses Resultat setzen wir wiederum ein in \eqref{zeta:equation:integral2}, um schlussendlich
+\begin{align}
+    \frac{\Gamma \left( \frac{s}{2} \right)}{\pi^{\frac{s}{2}}}
+    \zeta(s)
+    &=
+    \int_0^{1}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    +
+    \int_1^{\infty}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    \nonumber
+    \\
+    &=
+    \frac{1}{s(s-1)}
+    +
+    \int_{1}^{\infty}
+    x^{(-1) \left(\frac{s}{2}+\frac{1}{2}\right)}
+    \psi(x)
+    dx,
+    +
+    \int_1^{\infty}
+    x^{\frac{s}{2}-1}
+    \psi(x)
+    dx
+    \\
+    &=
+    \frac{1}{s(s-1)}
+    +
+    \int_{1}^{\infty}
+    \left(
+    x^{-\frac{s}{2}-\frac{1}{2}}
+    +
+    x^{\frac{s}{2}-1}
+    \right)
+    \psi(x)
+    dx
+    \\
+    &=
+    \frac{-1}{s(1-s)}
+    +
+    \int_{1}^{\infty}
+    \left(
+    x^{\frac{1-s}{2}}
+    +
+    x^{\frac{s}{2}}
+    \right)
+    \frac{\psi(x)}{x}
+    dx,
+\end{align}
+zu erhalten.
+Wenn wir dieses Resultat genau anschauen, erkennen wir dass sich nichts verändert wenn $s$ mit $1-s$ ersetzt wird.
+Somit haben wir die analytische Fortsetzung gefunden als
+\begin{equation}\label{zeta:equation:functional}
+    \frac{\Gamma \left( \frac{s}{2} \right)}{\pi^{\frac{s}{2}}}
+    \zeta(s)
+    =
+    \frac{\Gamma \left( \frac{1-s}{2} \right)}{\pi^{\frac{1-s}{2}}}
+    \zeta(1-s).
+\end{equation}
 
-- 
cgit v1.2.1


From 2041283fe8afc6c80451208e239913f52f767d93 Mon Sep 17 00:00:00 2001
From: runterer <r.unterer@gmx.ch>
Date: Sat, 30 Apr 2022 22:46:13 +0200
Subject: minor fix

---
 buch/papers/zeta/analytic_continuation.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'buch/papers')

diff --git a/buch/papers/zeta/analytic_continuation.tex b/buch/papers/zeta/analytic_continuation.tex
index f5de6e7..bb95b92 100644
--- a/buch/papers/zeta/analytic_continuation.tex
+++ b/buch/papers/zeta/analytic_continuation.tex
@@ -194,7 +194,7 @@ Wir setzen beide Lösungen ein in Gleichung \eqref{zeta:equation:integral3} und
     \int_{1}^{\infty}
     x^{(-1) \left(\frac{s}{2}+\frac{1}{2}\right)}
     \psi(x)
-    dx,
+    dx
     +
     \frac{1}{s(s-1)}.
 \end{equation}
@@ -220,7 +220,7 @@ Dieses Resultat setzen wir wiederum ein in \eqref{zeta:equation:integral2}, um s
     \int_{1}^{\infty}
     x^{(-1) \left(\frac{s}{2}+\frac{1}{2}\right)}
     \psi(x)
-    dx,
+    dx
     +
     \int_1^{\infty}
     x^{\frac{s}{2}-1}
-- 
cgit v1.2.1


From 3259e5f02e8a1b8e9fd22038bbbbec2929f8105c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Wed, 4 May 2022 08:18:47 +0200
Subject: remove template paper

---
 buch/papers/common/addpapers.tex | 1 -
 buch/papers/common/paperlist     | 1 -
 2 files changed, 2 deletions(-)

(limited to 'buch/papers')

diff --git a/buch/papers/common/addpapers.tex b/buch/papers/common/addpapers.tex
index dd2b07a..eb353d7 100644
--- a/buch/papers/common/addpapers.tex
+++ b/buch/papers/common/addpapers.tex
@@ -3,7 +3,6 @@
 %
 % (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
 %
-\input{papers/000template/main.tex}
 \input{papers/lambertw/main.tex}
 \input{papers/fm/main.tex}
 \input{papers/parzyl/main.tex}
diff --git a/buch/papers/common/paperlist b/buch/papers/common/paperlist
index d4e5c20..f607279 100644
--- a/buch/papers/common/paperlist
+++ b/buch/papers/common/paperlist
@@ -1,4 +1,3 @@
-000template
 lambertw
 fm
 parzyl
-- 
cgit v1.2.1


From a7a12c313b1a4fb528337eb354668e69d6d20942 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Wed, 11 May 2022 22:13:59 +0200
Subject: dreiecksgraphik

---
 buch/papers/nav/images/Makefile    | 11 ++++++
 buch/papers/nav/images/dreieck.tex | 68 ++++++++++++++++++++++++++++++++++++++
 buch/papers/nav/images/macros.tex  | 54 ++++++++++++++++++++++++++++++
 buch/papers/nav/images/pk.m        | 55 ++++++++++++++++++++++++++++++
 4 files changed, 188 insertions(+)
 create mode 100644 buch/papers/nav/images/Makefile
 create mode 100644 buch/papers/nav/images/dreieck.tex
 create mode 100644 buch/papers/nav/images/macros.tex
 create mode 100644 buch/papers/nav/images/pk.m

(limited to 'buch/papers')

diff --git a/buch/papers/nav/images/Makefile b/buch/papers/nav/images/Makefile
new file mode 100644
index 0000000..a0d7b34
--- /dev/null
+++ b/buch/papers/nav/images/Makefile
@@ -0,0 +1,11 @@
+#
+# Makefile to build images 
+#
+# (c) 2022
+#
+
+dreieck.pdf:	dreieck.tex dreieckdata.tex macros.tex
+	pdflatex dreieck.tex
+
+dreieckdata.tex:	pk.m
+	octave pk.m
diff --git a/buch/papers/nav/images/dreieck.tex b/buch/papers/nav/images/dreieck.tex
new file mode 100644
index 0000000..55f6a81
--- /dev/null
+++ b/buch/papers/nav/images/dreieck.tex
@@ -0,0 +1,68 @@
+%
+% dreieck.tex -- sphärische Dreiecke für Positionsbestimmung
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\documentclass[tikz]{standalone}
+\usepackage{amsmath}
+\usepackage{times}
+\usepackage{txfonts}
+\usepackage{pgfplots}
+\usepackage{csvsimple}
+\usetikzlibrary{arrows,intersections,math,calc}
+\begin{document}
+
+\definecolor{darkgreen}{rgb}{0,0.6,0}
+
+\def\skala{1}
+
+\def\punkt#1#2{
+	\fill[color=#2] #1 circle[radius=0.08];
+}
+
+\begin{tikzpicture}[>=latex,thick,scale=\skala]
+
+\input{dreieckdata.tex}
+\input{macros.tex}
+
+\def\punktbeschriftung{
+	\node at (A) [above] {$A$};
+	\node at (B) [left] {$B$};
+	\node at (C) [right] {$C$};
+	\node at (P) [below] {$P$};
+}
+
+\winkelKappa{gray}
+
+\winkelAlpha{red}
+\winkelGamma{blue}
+\winkelBeta{darkgreen}
+
+\winkelOmega{gray}
+\winkelBetaEins{brown}
+
+\seiteC{black}
+\seiteB{black}
+\seiteA{black}
+
+\seiteL{gray}
+\seitePB{gray}
+\seitePC{gray}
+
+\draw[line width=1.4pt] \kanteAB;
+\draw[line width=1.4pt] \kanteAC;
+\draw[color=gray] \kanteAP;
+\draw[line width=1.4pt] \kanteBC;
+\draw[color=gray] \kanteBP;
+\draw[color=gray] \kanteCP;
+
+\punkt{(A)}{black};
+\punkt{(B)}{black};
+\punkt{(C)}{black};
+\punkt{(P)}{gray};
+
+\punktbeschriftung
+
+\end{tikzpicture}
+\end{document}
+
diff --git a/buch/papers/nav/images/macros.tex b/buch/papers/nav/images/macros.tex
new file mode 100644
index 0000000..69a620d
--- /dev/null
+++ b/buch/papers/nav/images/macros.tex
@@ -0,0 +1,54 @@
+\def\winkelAlpha#1{
+	\begin{scope}
+		\clip (A) circle[radius=1.1];
+		\fill[color=#1!20] \kanteAB -- \kanteCA -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(A)+(222:0.82)$) {$\alpha$};
+}
+
+\def\winkelOmega#1{
+	\begin{scope}
+		\clip (A) circle[radius=0.7];
+		\fill[color=#1!20] \kanteAP -- \kanteCA -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(A)+(285:0.50)$) {$\omega$};
+}
+
+\def\winkelGamma#1{
+	\begin{scope}
+		\clip (C) circle[radius=1.0];
+		\fill[color=#1!20] \kanteCA -- \kanteBC -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(C)+(155:0.60)$) {$\gamma$};
+}
+
+\def\winkelKappa#1{
+	\begin{scope}
+		\clip (B) circle[radius=1.2];
+		\fill[color=#1!20] \kanteBP -- \kanteAB -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(B)+(15:1.00)$) {$\kappa$};
+}
+
+\def\winkelBeta#1{
+	\begin{scope}
+		\clip (B) circle[radius=0.8];
+		\fill[color=#1!20] \kanteBC -- \kanteAB -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(B)+(35:0.40)$) {$\beta$};
+}
+
+\def\winkelBetaEins#1{
+	\begin{scope}
+		\clip (B) circle[radius=0.8];
+		\fill[color=#1!20] \kanteBP -- \kanteCB -- cycle;
+	\end{scope}
+	\node[color=#1] at ($(B)+(330:0.60)$) {$\beta_1$};
+}
+
+\def\seiteC#1{ \node[color=#1] at (-1.9,5.9) {$c$}; }
+\def\seiteB#1{ \node[color=#1] at (3.2,6.5) {$b$}; }
+\def\seiteL#1{ \node[color=#1] at (-0.2,4.5) {$l$}; }
+\def\seiteA#1{ \node[color=#1] at (2,3) {$a$}; }
+\def\seitePB#1{ \node[color=#1] at (-2.1,1) {$p_b$}; }
+\def\seitePC#1{ \node[color=#1] at (2.5,1.5) {$p_c$}; }
diff --git a/buch/papers/nav/images/pk.m b/buch/papers/nav/images/pk.m
new file mode 100644
index 0000000..6e89e9a
--- /dev/null
+++ b/buch/papers/nav/images/pk.m
@@ -0,0 +1,55 @@
+#
+# pk.m -- Punkte und Kanten für sphärisches Dreieck
+#
+# (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+#
+
+A = [  1, 8 ];
+B = [ -3, 3 ];
+C = [  4, 4 ];
+P = [  0, 0 ];
+
+global fn;
+fn = fopen("dreieckdata.tex", "w");
+
+fprintf(fn, "\\coordinate (P) at (%.4f,%.4f);\n", P(1,1), P(1,2));
+fprintf(fn, "\\coordinate (A) at (%.4f,%.4f);\n", A(1,1), A(1,2));
+fprintf(fn, "\\coordinate (B) at (%.4f,%.4f);\n", B(1,1), B(1,2));
+fprintf(fn, "\\coordinate (C) at (%.4f,%.4f);\n", C(1,1), C(1,2));
+
+function retval = seite(A, B, l, nameA, nameB)
+	global fn;
+	d = fliplr(B - A);
+	d(1, 2) = -d(1, 2);
+	# Zentrum
+	C = 0.5 * (A + B) + l * d;
+	# Radius:
+	r = hypot(C(1,1)-A(1,1), C(1,2)-A(1,2))
+	# Winkel von
+	winkelvon = atan2(A(1,2)-C(1,2),A(1,1)-C(1,1));
+	# Winkel bis
+	winkelbis = atan2(B(1,2)-C(1,2),B(1,1)-C(1,1));
+	if (abs(winkelvon - winkelbis) > pi)
+		if (winkelbis < winkelvon)
+			winkelbis = winkelbis + 2 * pi
+		else
+			winkelvon = winkelvon + 2 * pi
+		end
+	end
+	# Kurve
+	fprintf(fn, "\\def\\kante%s%s{(%.4f,%.4f) arc (%.5f:%.5f:%.4f)}\n",
+		nameA, nameB,
+		A(1,1), A(1,2), winkelvon * 180 / pi, winkelbis * 180 / pi, r);
+	fprintf(fn, "\\def\\kante%s%s{(%.4f,%.4f) arc (%.5f:%.5f:%.4f)}\n",
+		nameB, nameA,
+		B(1,1), B(1,2), winkelbis * 180 / pi, winkelvon * 180 / pi, r);
+endfunction
+
+seite(A, B, -1, "A", "B");
+seite(A, C, 1, "A", "C");
+seite(A, P, -1, "A", "P");
+seite(B, C, -2, "B", "C");
+seite(B, P, -1, "B", "P");
+seite(C, P, 2, "C", "P");
+
+fclose(fn);
-- 
cgit v1.2.1


From 1067af52a6b066174b7306e96766e9e4e11cbac7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=BCller?= <andreas.mueller@ost.ch>
Date: Wed, 11 May 2022 22:14:11 +0200
Subject: dreiecksdaten

---
 buch/papers/nav/images/dreieckdata.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 buch/papers/nav/images/dreieckdata.tex

(limited to 'buch/papers')

diff --git a/buch/papers/nav/images/dreieckdata.tex b/buch/papers/nav/images/dreieckdata.tex
new file mode 100644
index 0000000..c0fb720
--- /dev/null
+++ b/buch/papers/nav/images/dreieckdata.tex
@@ -0,0 +1,16 @@
+\coordinate (P) at (0.0000,0.0000);
+\coordinate (A) at (1.0000,8.0000);
+\coordinate (B) at (-3.0000,3.0000);
+\coordinate (C) at (4.0000,4.0000);
+\def\kanteAB{(1.0000,8.0000) arc (114.77514:167.90524:7.1589)}
+\def\kanteBA{(-3.0000,3.0000) arc (167.90524:114.77514:7.1589)}
+\def\kanteAC{(1.0000,8.0000) arc (63.43495:10.30485:5.5902)}
+\def\kanteCA{(4.0000,4.0000) arc (10.30485:63.43495:5.5902)}
+\def\kanteAP{(1.0000,8.0000) arc (146.30993:199.44003:9.0139)}
+\def\kantePA{(0.0000,0.0000) arc (199.44003:146.30993:9.0139)}
+\def\kanteBC{(-3.0000,3.0000) arc (-95.90614:-67.83365:14.5774)}
+\def\kanteCB{(4.0000,4.0000) arc (-67.83365:-95.90614:14.5774)}
+\def\kanteBP{(-3.0000,3.0000) arc (-161.56505:-108.43495:4.7434)}
+\def\kantePB{(0.0000,0.0000) arc (-108.43495:-161.56505:4.7434)}
+\def\kanteCP{(4.0000,4.0000) arc (-30.96376:-59.03624:11.6619)}
+\def\kantePC{(0.0000,0.0000) arc (-59.03624:-30.96376:11.6619)}
-- 
cgit v1.2.1