Русская Википедия:Обратные гиперболические функции
Обра́тные гиперболи́ческие фу́нкции (известные также как а̀реафу́нкции или ареа-функции) — семейство элементарных функций, определяющихся как обратные функции к гиперболическим функциям. Эти функции определяют площадь сектора единичной гиперболы Шаблон:Math аналогично тому, как обратные тригонометрические функции определяют длину дуги единичной окружности Шаблон:Math. Для этих функций часто используются обозначения arcsinh, arcsh, arccosh, arcch и т.д., хотя такие обозначения являются, строго говоря, ошибочными, так как префикс arc является сокращением от arcus (дуга) и потому относится только к обратным тригонометрическим функциям, тогда как ar обозначает area — площадь. Более правильными являются обозначения arsinh, arsh и т.д. и названия обратный гиперболический синус, ареасинус и т.д. Также применяют[1] названия гиперболический ареасинус, гиперболический ареакосинус и т.д., но слово «гиперболический» здесь является лишним, поскольку на принадлежность функции семейству обратных гиперболических функций однозначно указывает префикс «ареа». Иногда названия соответствующих функций записывают через дефис: ареа-синус, ареа-косинус и т.д.
В комплексной плоскости гиперболические функции являются периодическими, а обратные им функции — многозначными. Поэтому подобно обратным тригонометрическим функциям обозначения ареафункций принято записывать с большой буквы, если подразумевается множество значений функции (логарифм в соответствующем определении функции также понимается как общее значение логарифма, обозначаемое Ln). С маленькой буквы записываются главные значения соответствующих функций.
В русской литературе обозначения большинства прямых и обратных гиперболических функций (так же как и части тригонометрических) отличаются от английских обозначений.
| Название функции | Обозначение в русской литературе | Обозначение в английской литературе |
|---|---|---|
| ареасинус | arsh | arsinh, sinh−1 |
| ареакосинус | arch | arcosh, cosh−1 |
| ареатангенс | arth | artanh, tanh−1 |
| ареакотангенс | arcth | arcoth, coth−1 |
| ареасеканс | arsch, arsech | arsech, sech−1 |
| ареакосеканс | arcsch | arcsch, csch−1 |
Определения функций
В комплексной плоскости главные значения функций можно определить формулами:
- ареасинус
- <math>
\operatorname{arsh}\, z = \ln(z + \sqrt{z^2 + 1} \,);</math>
- ареакосинус
- <math>\operatorname{arch}\, z = \ln(z + \sqrt{z^2-1});</math>
- ареатангенс
- <math>\operatorname{arth}\, z = \tfrac12\ln\left(\frac{1+z}{1-z}\right);</math>
- ареакотангенс
- <math>\operatorname{arcth}\, z = \tfrac12\ln\left(\frac{z+1}{z-1}\right);</math>
- ареасеканс
- <math>\operatorname{arsech}\, z = \ln\left( \frac{1}{z} + \sqrt{ \frac{1}{z^2} - 1 }\right);</math>
- ареакосеканс
- <math>\operatorname{arcsch}\, z = \ln\left( \frac{1}{z} + \sqrt{ \frac{1}{z^2} +1 } \,\right).</math>
Квадратными корнями в этих формулах являются главные значения квадратного корня (то есть <math>\sqrt{z} = \sqrt{r} \, e^{i \varphi / 2},</math> если представить комплексное число Шаблон:Math как <math> z=r e^{i \varphi} </math> при <math> -\pi < \varphi \le \pi </math>), а логарифмические функции являются функциями комплексной переменной. Для действительных аргументов можно осуществить некоторые упрощения, например <math>\sqrt{x+1}\sqrt{x-1}=\sqrt{x^2-1},</math> которые не всегда верны для главных значений квадратных корней.
Разложение в ряд
Обратные гиперболические функции можно разложить в ряды:
- <math>\begin{align}\operatorname{arsh}\, x & = x - \left( \frac {1} {2} \right) \frac {x^3} {3} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^5} {5} - \left( \frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^7} {7} +\cdots \\
& = \sum_{n=0}^\infty \left( \frac {(-1)^n(2n-1)!!} {(2n)!!} \right) \frac {x^{2n+1}} {(2n+1)} , \qquad \left| x \right| < 1. \end{align} </math>
- <math>\begin{align}\operatorname{arch}\, x & = \ln 2x - \left( \left( \frac {1} {2} \right) \frac {x^{-2}} {2} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{-4}} {4} + \left( \frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{-6}} {6} +\cdots \right) \\
& = \ln 2x - \sum_{n=1}^\infty \left( \frac {(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-2n}} {(2n)} , \qquad x > 1. \end{align} </math>
- <math>\begin{align}\operatorname{arth}\, x & = x + \frac {x^3} {3} + \frac {x^5} {5} + \frac {x^7} {7} +\cdots \\
& = \sum_{n=0}^\infty \frac {x^{2n+1}} {(2n+1)} , \qquad \left| x \right| < 1. \end{align} </math>
- <math>\begin{align}\operatorname{arcsch}\, x = \operatorname{arsh} \frac1x & = x^{-1} - \left( \frac {1} {2} \right) \frac {x^{-3}} {3} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{-5}} {5} - \left( \frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{-7}} {7} +\cdots \\
& = \sum_{n=0}^\infty \left( \frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-(2n+1)}} {(2n+1)} , \qquad \left| x \right| > 1. \end{align} </math>
- <math>\begin{align}\operatorname{arsech}\, x = \operatorname{arch} \frac1x & = \ln \frac{2}{x} - \left( \left( \frac {1} {2} \right) \frac {x^{2}} {2} + \left( \frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{4}} {4} + \left( \frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{6}} {6} +\cdots \right) \\
& = \ln \frac{2}{x} - \sum_{n=1}^\infty \left( \frac {(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{2n}} {2n} , \qquad 0 < x \le 1. \end{align} </math>
- <math>\begin{align}\operatorname{arcth}\, x = \operatorname{arth} \frac1x & = x^{-1} + \frac {x^{-3}} {3} + \frac {x^{-5}} {5} + \frac {x^{-7}} {7} +\cdots \\
& = \sum_{n=0}^\infty \frac {x^{-(2n+1)}} {(2n+1)} , \qquad \left| x \right| > 1. \end{align} </math>
Асимптотическое разложение Шаблон:Math даётся формулой
- <math>\operatorname{arsh}\, x = \ln 2x + \sum\limits_{n = 1}^\infty {\left( { - 1} \right)^{n - 1} \frac{{\left( {2n - 1} \right)!!}}{{2n\left( {2n} \right)!!}}} \frac{1}{{x^{2n} }}.</math>
Производные
| Функция <math>f(x)</math> | Производная <math>f'(x)</math> | Примечание |
|---|---|---|
| <math>\mathrm{arsh}\ x</math> | <math>\frac{1}{\sqrt{x^2 + 1}}</math> | Шаблон:Hider \cdot (x + \sqrt{x^2 + 1})' = \frac{1}{x + \sqrt{x^2 + 1}} \cdot ((x)' + (\sqrt{x^2 + 1})') = \frac{1}{x + \sqrt{x^2 + 1}} \cdot (1 + (\sqrt{x^2 + 1})') = \frac{1}{x + \sqrt{x^2 + 1}} \cdot (1 + \frac{1}{2\sqrt{x^2 + 1}} \cdot (x^2 + 1)') = \frac{1}{x + \sqrt{x^2 + 1}} \cdot (1 + \frac{2x}{2\sqrt{x^2 + 1}}) = \frac{1}{x + \sqrt{x^2 + 1}} \cdot (\frac{x + \sqrt{x^2 + 1}}{\sqrt{x^2 + 1}}) = \frac{x + \sqrt{x^2 + 1}}{(x + \sqrt{x^2 + 1}) \cdot (\sqrt{x^2 + 1})} = \frac{1}{\sqrt{x^2 + 1}}</math>
}} |
| <math>\mathrm{arch}\ x</math> | <math>\frac{1}{\sqrt{x^2 - 1}}</math> | Шаблон:Hider \cdot (x + \sqrt{x^2 - 1})' = \frac{1}{x + \sqrt{x^2 - 1}} \cdot ((x)' + (\sqrt{x^2 - 1})') = \frac{1}{x + \sqrt{x^2 - 1}} \cdot (1 + (\sqrt{x^2 - 1})') = \frac{1}{x + \sqrt{x^2 - 1}} \cdot (1 + \frac{1}{2\sqrt{x^2 - 1}} \cdot (x^2 - 1)') = \frac{1}{x + \sqrt{x^2 - 1}} \cdot (1 + \frac{2x}{2\sqrt{x^2 - 1}}) = \frac{1}{x + \sqrt{x^2 - 1}} \cdot (\frac{x + \sqrt{x^2 - 1}}{\sqrt{x^2 - 1}}) = \frac{x + \sqrt{x^2 - 1}}{(x + \sqrt{x^2 - 1}) \cdot (\sqrt{x^2 - 1})} = \frac{1}{\sqrt{x^2 - 1}}</math>
}} |
| <math>\mathrm{arth}\ x</math> | <math>\frac{1}{1 - x^2}</math> | Шаблон:Hider |
| <math>\mathrm{arcth}\ x</math> | <math>\frac{1}{1 - x^2}</math> | Шаблон:Hider |
| <math>\mathrm{arsech}\ x</math> | <math>-\frac{1}{x(x+1)\sqrt{\frac{1-x}{1+x}}}</math> | |
| <math>\mathrm{arcsch}\ x</math> | <math>-\frac{1}{x(x+1)\sqrt{1 + \frac{1}{x^2}}}</math> |
Для действительных Шаблон:Math:
- <math>
\begin{align} \frac{d}{dx} \operatorname{arsech}\, x & {}= \mp \frac{1}{x\,\sqrt{1-x^2}}; \qquad \Re\{x\} \gtrless 0.\\ \frac{d}{dx} \operatorname{arcsch}\, x & {}= \mp \frac{1}{x\,\sqrt{1+x^2}}; \qquad \Re\{x\} \gtrless 0. \end{align}</math> Пример дифференцирования: если Шаблон:Math, то:
- <math>\frac{d\,\operatorname{arsh}\, x}{dx} = \frac{d \theta}{d \operatorname{sh} \theta} = \frac{1} {\operatorname{ch} \theta} = \frac{1} {\sqrt{1+\operatorname{sh}^2 \theta}} = \frac{1}{\sqrt{1+x^2}}.</math>
Комбинация гиперболических и обратных гиперболических функций
- <math>\begin{align}
&\operatorname{sh}(\operatorname{arch}\,x) = \sqrt{x^{2} - 1}, \quad \quad |x| > 1; \\
&\operatorname{sh}(\operatorname{arth}\,x) = \frac{x}{\sqrt{1-x^{2}}}, \quad \quad -1 < x < 1; \\
&\operatorname{ch}(\operatorname{arsh}\,x) = \sqrt{1+x^{2}}; \\
&\operatorname{ch}(\operatorname{arth}\,x) = \frac{1}{\sqrt{1-x^{2}}}, \quad \quad -1 < x < 1; \\
&\operatorname{th}(\operatorname{arsh}\,x) = \frac{x}{\sqrt{1+x^{2}}}; \\
&\operatorname{th}(\operatorname{arch}\,x) = \frac{\sqrt{x^{2} - 1}}{x}, \quad \quad |x| > 1.
\end{align}</math>
Дополнительные формулы
- <math>\operatorname{arsh} \;u \pm \operatorname{arsh} \;v = \operatorname{arsh} \left(u \sqrt{1 + v^2} \pm v \sqrt{1 + u^2}\right).</math>
- <math>\operatorname{arch} \;u \pm \operatorname{arch} \;v = \operatorname{arch} \left(u v \pm \sqrt{(u^2 - 1) (v^2 - 1)}\right).</math>
- <math>\operatorname{arth} \;u \pm \operatorname{arth} \;v = \operatorname{arth} \left( \frac{u \pm v}{1 \pm uv} \right).</math>
- <math>\begin{align}\operatorname{arsh} \;u + \operatorname{arch} \;v & = \operatorname{arsh} \left(u v + \sqrt{(1 + u^2) (v^2 - 1)}\right) \\
& = \operatorname{arch} \left(v \sqrt{1 + u^2} + u \sqrt{v^2 - 1}\right). \end{align}</math>
- <math>\begin{align}
2\operatorname{arch} x &=\operatorname{arch}(2x^2-1), &\quad\quad x\geq 1; \\ 4\operatorname{arch} x &=\operatorname{arch}(8x^4-8x^2+1), &\quad\quad x\geq 1; \\ 2\operatorname{arsh} x &= \operatorname{arch}(2x^2+1), &\quad\quad x\geq 0; \\ 4\operatorname{arsh} x &= \operatorname{arch}(8x^4+8x^2+1), &\quad\quad x\geq 0. \\ \end{align}</math>
См. также
- Гиперболические функции
- Обратные тригонометрические функции
- Таблица интегралов обратных гиперболических функций
Источники
- Herbert Busemann, Paul J. Kelly (1953) Projective Geometry and Projective Metrics, с. 207, Academic Press.
Ссылки
