Die Stammfunktion der Arkuskosekans-Funktion (abgekürzt: arccsc, acsc) lässt sich mithilfe von partieller Integration, Integration durch Substitution sowie einer notwendigen Fallunterscheidung bestimmen. Dieser Artikel bietet eine detaillierte Schritt-für-Schritt-Herleitung der Stammfunktion, demonstriert deren Anwendung an einigen Beispielen und beschäftigt sich mit den Integrationsregeln für ganzzahligePotenzen der Arkuskosekans-Funktion.
Grundlagen
Die Arkuskosekans-Funktion ist eine der Arkusfunktionen. Sie ist für alle reellen Zahlen $x \in \R$ mit $|x| \geq 1$ definiert und kann als Umkehrfunktion der Kosekans-Funktion formal wie folgt definiert werden (mit $y \in \R$, $-\frac{\pi}{2} \leq y \leq \frac{\pi}{2}$ und $y \neq 0$):
\[ \arccsc(x) = y \quad\Leftrightarrow\quad \csc(y) = x. \]
Integrationsregel
Die Stammfunktion der Arkuskosekans-Funktion (abgekürzt: arccsc, acsc) ist für alle $x$ mit $|x| \geq 1$ wie folgt definiert:
Hinweis: Bei $\mathcal{C}$ handelt es sich wie üblich um die Integrationskonstante. Für Potenzen der Arkuskosekans-Funktion mit positiven ganzzahligen Exponenten $n \gt 1$ sowie für Potenzen mit negativen ganzzahligen Exponenten $n \leq -1$ existieren keine geschlossenen Integrationsregeln – diese sind nicht elementar integrierbar.
Beispiele
Beispiel 1
Gegeben sei die folgende Funktion, deren Stammfunktion mithilfe der Integrationsregel der Arkuskosekans-Funktion bestimmt werden soll:
\[ f(x) = \arccsc(5x) \]
Mithilfe der Integration durch Substitution und der Faktorregel für Integrale ergibt sich für die gesuchte Stammfunktion von $f(x)$ die folgende Lösung. Hierbei wird $t = 5x$ substituiert, woraus sich $dt = 5\ dx$ bzw. $dx = \frac{1}{5}\ dt$ ergibt.
Gegeben sei die folgende Funktion, deren Stammfunktion mithilfe der Integrationsregel der Arkuskosekans-Funktion bestimmt werden soll:
\[ g(x) = \arccsc\left(x^2+1\right) \cdot x \]
Mithilfe der Integration durch Substitution und der Faktorregel für Integrale ergibt sich für die gesuchte Stammfunktion von $g(x)$ die folgende Lösung. Hierbei wird $t = x^2+1$ substituiert, woraus sich $dt = 2x\ dx$ bzw. $x\ dx = \frac{1}{2}\ dt$ ergibt.
Da die Betragsfunktion nicht elementar integrierbar ist, muss der Betrag vor dem Integrieren aufgelöst werden. Da die Arkuskosekans-Funktion nur für $|x| \geq 1$ definiert ist, werden die Fälle $x \leq -1$ und $x \geq 1$ unterschieden, für die der Betrag sauber aufgelöst werden kann.
Fall 1: x ≥ 1
Für $x \geq 1$ kann der Betrag sauber aufgelöst und das Integral anschließend mithilfe von Integration durch Substitution bestimmt werden.
\begin{align*} \int{\arccsc(x)\ dx} &\overset{(4)}{=} x \cdot \arccsc(x) + \int{\frac{x}{x \cdot \sqrt{x^2-1}}\ dx} \\[0.75em] &\overset{(5)}{=} x \cdot \arccsc(x) + \int{\frac{1}{\sqrt{x^2-1}}\ dx} \\[0.75em] &\overset{(6)}{=} x \cdot \arccsc(x) + \int{\frac{1}{t}\ dt} \\[0.75em] &\overset{(7)}{=} x \cdot \arccsc(x) + \ln|t| \\[0.75em] &\overset{(8)}{=} x \cdot \arccsc(x) + \ln\left| \sqrt{x^2-1} + x \right| \\[0.75em] &\overset{(9)}{=} x \cdot \arccsc(x) + \ln\left( \sqrt{x^2-1} + x \right) + \mathcal{C} \end{align*}
Auflösen des Betrags; für $x \geq 1$ gilt stets $\sqrt{x^2-1} + x \geq 0$
Hinzufügen der Integrationskonstante $\mathcal{C}$
Fall 2: x ≤ -1
Für $x \leq -1$ kann der Betrag sauber aufgelöst und das Integral anschließend mithilfe von Integration durch Substitution bestimmt werden – analog zum vorausgehenden Fall.
\begin{align*} \int{\arccsc(x)\ dx} &\overset{(4)}{=} x \cdot \arccsc(x) + \int{\frac{x}{(-x) \cdot \sqrt{x^2-1}}\ dx} \\[0.75em] &\overset{(5)}{=} x \cdot \arccsc(x) + \int{\frac{-1}{\sqrt{x^2-1}}\ dx} \\[0.75em] &\overset{(6)}{=} x \cdot \arccsc(x) + \int{\frac{1}{t}\ dt} \\[0.75em] &\overset{(7)}{=} x \cdot \arccsc(x) + \ln|t| \\[0.75em] &\overset{(8)}{=} x \cdot \arccsc(x) + \ln\left| \sqrt{x^2-1} - x \right| \\[0.75em] &\overset{(9)}{=} x \cdot \arccsc(x) + \ln\left( \sqrt{x^2-1} - x \right) + \mathcal{C} \end{align*}
Erklärungen zu den Schritten
(4)
Auflösen des Betrags
Es gilt $|x| = -x$ wegen $x \leq -1$
(5)
Kürzen von $x$
Erweitern des Terms im Integral mit $-1$, um das Vorzeichen in den Zähler zu ziehen
Auflösen des Betrags; für $x \leq -1$ gilt stets $\sqrt{x^2-1} - x \geq 0$
Hinzufügen der Integrationskonstante $\mathcal{C}$
Zusammenführung beider Fälle
Die gefundenen Lösungen gelten jeweils nur für ihren Fall; die Formel für $x \geq 1$ ist für $x \leq -1$ nicht berechenbar – und umgekehrt. Als Gesamtlösung ergibt sich somit zunächst die folgende Fallunterscheidung:
\[ \int{\arccsc(x)\ dx} = \begin{cases} x \cdot \arccsc(x) + \ln\left( \sqrt{x^2-1} + x \right) + \mathcal{C} &(\text{für } x \geq 1) \\[0.75em] x \cdot \arccsc(x) + \ln\left( \sqrt{x^2-1} - x \right) + \mathcal{C} &(\text{für } x \leq -1) \end{cases} \]
Beide Formeln unterscheiden sich nur im Vorzeichen des Terms $x$ innerhalb der Logarithmusfunktion: $+x$ für $x \geq 1$ und $-x$ für $x \leq -1$. Dies kann mithilfe der Betragsfunktion wie folgt zusammenfassend dargestellt werden:
Herleitung der Integrationsregel von arccscn(x) für n > 1 und n ≤ -1
Für positive ganzzahlige Exponenten $n \gt 1$ sowie für negative ganzzahlige Exponenten $n \leq -1$ können Potenzen der Arkuskosekans-Funktion nicht integriert werden. Es existiert weder eine explizite Integrationsregel noch eine Rekursionsformel. Partielle Integration führt stets zu Integralen, die nicht elementar integrierbar sind.
Die Nicht-Integrierbarkeit ist ein bekanntes Resultat der Differentialalgebra und kann beispielsweise mithilfe des Risch-Algorithmus formal bewiesen werden.