Обернені гіперболічні функції

Шаблон:UniboxОбернені гіперболічні функції — визначаються як обернені функції до гіперболічних функцій. Ці функції визначають площу сектора одиничної гіперболи Шаблон:Nowrap аналогічно до того, як обернені тригонометричні функції визначають довжину дуги одиничного кола Шаблон:Nowrap. Для цих функцій часто використовуються позначення arcsinh, arcsh, arccosh, arcch і т.д., хоча таке позначення є загалом помилковим, оскільки arc є скороченням від arcus — дуга, тоді як префікс ar означає area — площа. Тож правильними є позначення arsinh, arsh і т.д. і назви гіперболічний ареасинус, гіперболічний ареакосинус і т.д.

Визначення функцій

Гіперболічний ареасинус для дійсного аргумента

Гіперболічний ареакосинус для дійсного аргумента

Гіперболічний ареатангенс для дійсного аргумента

Гіперболічний ареакотангенс для дійсного аргумента

Гіперболічний ареасеканс для дійсного аргумента

Гіперболічний ареакосеканс для дійсного аргумента

В комплексній площині функції можна визначити формулами:

• Шаблон:ЯкірецьГіперболічний ареасинус

$\mathrm{arsh}z=\ln (z+\sqrt{z^2+1}),$

• Шаблон:ЯкірецьГіперболічний ареакосинус

$\mathrm{arch}z=\ln (z+\sqrt{z+1}\sqrt{z-1}),$

• Шаблон:ЯкірецьГіперболічний ареатангенс

$\mathrm{arth}z=\frac{1}{2}\ln \left(\frac{1+z}{1-z}\right).$

• Шаблон:ЯкірецьГіперболічний ареакотангенс

$\mathrm{arcth}z=\frac{1}{2}\ln \left(\frac{z+1}{z-1}\right).$

• Шаблон:ЯкірецьГіперболічний ареасеканс

$\mathrm{arsch}z=\ln (\frac{1}{z}+\sqrt{\frac{1}{z^2}+1}),$

• Шаблон:ЯкірецьГіперболічний ареакосеканс

$\mathrm{arcsch}z=\ln (\frac{1}{z}+\sqrt{\frac{1}{z}+1}\sqrt{\frac{1}{z}-1}).$

Квадратними коренями в цих формулах є головні значення квадратного кореня і логарифмічні функції є функціями комплексної змінної. Для дійсних аргументів можна здійснити деякі спрощення, наприклад $\sqrt{x+1}\sqrt{x-1}=\sqrt{x^2-1}$, що не завжди вірно для головних значень квадратних коренів.

Розклад в ряди

Обернені гіперболічні функції можна розкласти в ряди:

$\begin{array}{cc}\mathrm{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}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n+1}}{(2n+1)},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arch}x& =\ln 2x-(\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 )\\ & =\ln 2x-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-2n}}{(2n)},x>1\end{array}$

$\begin{array}{cc}\mathrm{arth}x& =x+\frac{x^3}{3}+\frac{x^5}{5}+\frac{x^7}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{(2n+1)},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arcsch}x=\mathrm{arsh}\frac{1}{x}& =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}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-(2n+1)}}{(2n+1)},\left|x\right|>1\end{array}$

$\begin{array}{cc}\mathrm{arsch}x=\mathrm{arch}\frac{1}{x}& =\ln \frac{2}{x}-(\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 )\\ & =\ln \frac{2}{x}-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n}}{2n},0<x\le 1\end{array}$

$\begin{array}{cc}\mathrm{arcth}x=\mathrm{arth}\frac{1}{x}& =x^{-1}+\frac{x^{-3}}{3}+\frac{x^{-5}}{5}+\frac{x^{-7}}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{-(2n+1)}}{(2n+1)},\left|x\right|>1\end{array}$

Asymptotic expansion for the arsinh x is given by

$\mathrm{arsh}x=\ln 2x+\sum _{n=1}^{\mathrm{\infty }}{\left(-1\right)}^{n-1}\frac{\left(2n-1\right)!!}{2n\left(2n\right)!!}\frac{1}{x^{2n}}$

Похідні

$\begin{array}{cc}\frac{d}{dx}\mathrm{arsh}x& =\frac{1}{\sqrt{1+x^2}}\\ \frac{d}{dx}\mathrm{arch}x& =\frac{1}{\sqrt{x^2-1}}\\ \frac{d}{dx}\mathrm{arth}x& =\frac{1}{1-x^2}\\ \frac{d}{dx}\mathrm{arcth}x& =\frac{1}{1-x^2}\\ \frac{d}{dx}\mathrm{arsch}x& =\frac{-1}{x(x+1)\sqrt{\frac{1-x}{1+x}}}\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{-1}{x^2\sqrt{1+\frac{1}{x^2}}}\\ \end{array}$

Для дійсних x:

$\begin{array}{cc}\frac{d}{dx}\mathrm{arsch}x& =\frac{\mp 1}{x\sqrt{1-x^2}};\mathrm{\Re }\{x\}\gtrless 0\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{\mp 1}{x\sqrt{1+x^2}};\mathrm{\Re }\{x\}\gtrless 0\end{array}$

Приклад диференціювання: якщо θ = arsh x, то:

$\frac{d\mathrm{arsh}x}{dx}=\frac{d\theta }{d\mathrm{sh}\theta }=\frac{1}{\mathrm{ch}\theta }=\frac{1}{\sqrt{1+{\mathrm{sh}}^2\theta }}=\frac{1}{\sqrt{1+x^2}}$

Композиція гіперболічних і обернених гіперболічних функцій

$\begin{array}{cc}& \mathrm{sh}(\mathrm{arch}x)=\sqrt{x^2-1}\text{for}|x|>1\\ & \mathrm{sh}(\mathrm{arth}x)=\frac{x}{\sqrt{1-x^2}}\text{for}-1<x<1\\ & \mathrm{ch}(\mathrm{arsh}x)=\sqrt{1+x^2}\\ & \mathrm{ch}(\mathrm{arth}x)=\frac{1}{\sqrt{1-x^2}}\text{for}-1<x<1\\ & \mathrm{th}(\mathrm{arsh}x)=\frac{x}{\sqrt{1+x^2}}\\ & \mathrm{th}(\mathrm{arch}x)=\frac{\sqrt{x^2-1}}{x}\text{for}|x|>1\end{array}$

Додаткові формули

$\mathrm{arsh}u\pm \mathrm{arsh}v=\mathrm{arsh}(u\sqrt{1+v^2}\pm v\sqrt{1+u^2})$

$\mathrm{arch}u\pm \mathrm{arch}v=\mathrm{arch}(uv\pm \sqrt{(u^2-1)(v^2-1)})$

$\mathrm{arth}u\pm \mathrm{arth}v=\mathrm{arth}\left(\frac{u\pm v}{1\pm uv}\right)$

$\begin{array}{cc}\mathrm{arsh}u+\mathrm{arch}v& =\mathrm{arsh}(uv+\sqrt{(1+u^2)(v^2-1)})\\ & =\mathrm{arch}(v\sqrt{1+u^2}+u\sqrt{v^2-1})\\ \mathrm{arch}(2u^2-1)& =2\mathrm{arch}u\\ \mathrm{arch}(2u^2+1)& =2\mathrm{arsh}u\end{array}$

Див. також

• Гіперболічні функції
• Обернені тригонометричні функції
• Таблиця інтегралів обернених гіперболічних функцій

Джерела

• Шаблон:Фіхтенгольц.укр
• Herbert Busemann, Paul J. Kelly (1953) Projective Geometry and Projective Metrics, с. 207, Academic Press.

Посилання

• Inverse hyperbolic functions на сайті MathWorld
• Inverse hyperbolic functions