Обратные гиперболические функции - Inverse hyperbolic functions

Луч, проходящий через единичную гиперболу в точке , где вдвое больше площади между лучом, гиперболой и осью.
Обратные гиперболические функции

В математике , то обратные гиперболические функции являются обратными функциями этих гиперболических функций .

Для данного значения гиперболической функции соответствующая обратная гиперболическая функция обеспечивает соответствующий гиперболический угол . Размер гиперболического угла равен площади соответствующего гиперболического сектора гиперболы xy = 1 , или в два раза больше площади соответствующего сектора единичной гиперболы x 2 - y 2 = 1 , точно так же, как круговой угол в два раза больше. площадь кругового сектора на единичной окружности . Некоторые авторы назвали обратные гиперболические функции « функциями площади », чтобы реализовать гиперболические углы.

Гиперболические функции встречаются при вычислении углов и расстояний в гиперболической геометрии . Это также происходит в решениях многих линейных дифференциальных уравнений (таких как уравнение, определяющее цепную связь ), кубических уравнений и уравнения Лапласа в декартовых координатах . Уравнения Лапласа важны во многих областях физики , включая теорию электромагнетизма , теплопередачу , гидродинамику и специальную теорию относительности .

Обозначение

Наиболее распространены сокращения, указанные в стандарте ISO 80000-2 . Они состоят из ар- и аббревиатуры соответствующей гиперболической функции (например, арсинх, аркош).

Тем не менее, дуговой следует соответствующей гиперболической функция (например, arcsinh, arccosh) также часто наблюдается, по аналогии с номенклатурой для обратных тригонометрических функций . Это неправильное употребление, поскольку префикс arc - это сокращение от arcus , а префикс ar означает площадь ; гиперболические функции не имеют прямого отношения к дугам.

Другие авторы предпочитают использовать обозначения arg sinh, argcosh, argtanh и т. Д., Где префикс arg является сокращением латинского argumentsum . В информатике это часто сокращается до asinh .

Обозначения sinh −1 ( x ) , ch −1 ( x ) и т. Д. Также используются, несмотря на то, что необходимо проявлять осторожность, чтобы избежать неправильной интерпретации надстрочного индекса −1 как степени, в отличие от сокращения для обозначения обратная функция (например, ch −1 ( x ) по сравнению с ch ( x ) −1 ).

Определения в терминах логарифмов

Поскольку гиперболические функции являются рациональными функциями от e x , числитель и знаменатель которых имеют степень не выше двух, эти функции могут быть решены в терминах e x , используя формулу корней квадратного уравнения ; затем, взяв натуральный логарифм, получаем следующие выражения для обратных гиперболических функций.

Для сложных аргументов обратные гиперболические функции, квадратный корень и логарифм являются многозначными функциями , а равенства следующих подразделов можно рассматривать как равенства многозначных функций.

Для всех обратных гиперболических функций (за исключением обратного гиперболического котангенса и обратного гиперболического косеканса) область определения действительной функции является связной .

Обратный гиперболический синус

Обратный гиперболический синус (он же гиперболический синус площади) (латинское: Area sinus hyperbolicus ):

Домен - это целая реальная линия .

Обратный гиперболический косинус

Обратный гиперболический косинус (он же гиперболический косинус площади ) (лат. Area cosinus hyperbolicus ):

Область - отрезок [1, + ∞) .

Обратный гиперболический тангенс

Обратный гиперболический тангенс (он же реальный гиперболический тангенс ) (лат. Area tangens hyperbolicus ):

Область - это открытый интервал (−1, 1) .

Обратный гиперболический котангенс

Обратный гиперболический котангенс (он же гиперболический котангенс площади ) (лат. Area cotangens hyperbolicus ):

Область представляет собой объединение открытых интервалов (−∞, −1) и (1, + ∞) .

Обратный гиперболический секанс

Обратный гиперболический секанс (он же гиперболический секанс площади ) (лат. Area secans hyperbolicus ):

Область представляет собой полуоткрытый интервал (0, 1) .

Обратный гиперболический косеканс

Обратный гиперболический косеканс (также известный как гиперболический косеканс площади ) (лат. Area cosecans hyperbolicus ):

Домен - это реальная строка с удаленным 0.

Формулы сложения

Другие личности

Состав гиперболических и обратных гиперболических функций

Состав обратных гиперболических и тригонометрических функций

Конверсии

Производные

Для примера дифференцирования: пусть θ = arsinh x , поэтому (где sinh 2 θ = (sinh θ ) 2 ):

Расширения серии

Ряд расширения может быть получен для вышеуказанных функций:

Асимптотическое разложение для arsinh x дается выражением


Основные значения в комплексной плоскости

Как функции комплексной переменной обратные гиперболические функции являются многозначными функциями, которые являются аналитическими , за исключением конечного числа точек. Для такой функции обычно определяют главное значение , которое представляет собой однозначную аналитическую функцию, которая совпадает с одной конкретной ветвью многозначной функции, в области, состоящей из комплексной плоскости, в которой конечное число дуг (обычно половина линии или сегменты ) были удалены. Эти дуги называются сечениями ветвей . Для указания ветви, то есть определения того, какое значение многозначной функции рассматривается в каждой точке, обычно определяют ее в конкретной точке и выводят значение повсюду в области определения главного значения путем аналитического продолжения . По возможности лучше определять главное значение напрямую, не обращаясь к аналитическому продолжению.

Например, для квадратного корня главное значение определяется как квадратный корень с положительной действительной частью . Это определяет однозначную аналитическую функцию, которая определена везде, за исключением неположительных действительных значений переменных (где два квадратных корня имеют нулевую действительную часть). Это главное значение функции квадратного корня обозначается ниже. Точно так же главное значение логарифма, обозначаемое ниже, определяется как значение, для которого мнимая часть имеет наименьшее абсолютное значение. Он определен везде, кроме неположительных действительных значений переменной, для которых два разных значения логарифма достигают минимума.

Для всех обратных гиперболических функций главное значение может быть определено в терминах главных значений квадратного корня и функции логарифма. Однако в некоторых случаях формулы из § Определения в терминах логарифмов не дают правильного главного значения, поскольку дают область определения, которая слишком мала и, в одном случае, не связана .

Главное значение обратного гиперболического синуса

Главное значение обратного гиперболического синуса определяется выражением

Аргумент квадратного корня является неположительным действительным числом тогда и только тогда, когда z принадлежит одному из интервалов [ i , + i ∞) и (- i ∞, - i ] мнимой оси. Если аргумент логарифм действительный, тогда он положительный. Таким образом, эта формула определяет главное значение для arsinh с отрезками ветвей [ i , + i ∞) и (- i ∞, - i ] . Это оптимально, поскольку разрезы ветвей должны соединять особые точки i и - i на бесконечность.

Главное значение обратного гиперболического косинуса

Формула для обратного гиперболического косинуса, приведенная в § Обратный гиперболический косинус, неудобна, поскольку, как и в случае с основными значениями логарифма и квадратного корня, главное значение arcosh не может быть определено для мнимого z . Таким образом, квадратный корень необходимо разложить на множители, что приведет к

Оба главных значения квадратных корней определены, за исключением случая, когда z принадлежит действительному интервалу (−∞, 1] . Если аргумент логарифма действительный, то z действительный и имеет тот же знак. Таким образом, приведенная выше формула определяет главное значение arcosh вне действительного интервала (−∞, 1] , который, таким образом, является единственным разрезом ветви.

Основные значения обратного гиперболического тангенса и котангенса

Формулы, приведенные в § Определения в терминах логарифмов, предлагают

для определения главных значений обратного гиперболического тангенса и котангенса. В этих формулах аргумент логарифма действительный тогда и только тогда, когда z действительно. Для artanh этот аргумент находится в вещественном интервале (−∞, 0] , если z принадлежит либо (−∞, −1], либо [1, ∞) . Для arcoth аргумент логарифма находится в (−∞ , 0] , тогда и только тогда, когда z принадлежит вещественному интервалу [−1, 1] .

Следовательно, эти формулы определяют удобные главные значения, для которых сечения ветвей равны (−∞, −1] и [1, ∞) для обратного гиперболического тангенса и [−1, 1] для обратного гиперболического котангенса.

Ввиду лучшей численной оценки вблизи сечений ветвей некоторые авторы используют следующие определения главных значений, хотя второе вводит устранимую особенность при z = 0 . Два определения различаются для реальных значений с . Для реальных значений с различаются .

Главное значение обратного гиперболического косеканса

Для обратного гиперболического косеканса главное значение определяется как

.

Он определяется, когда аргументы логарифма и квадратного корня не являются неположительными действительными числами. Таким образом, главное значение квадратного корня определяется за пределами интервала [- i , i ] мнимой прямой. Если аргумент логарифма действительный, тогда z - ненулевое действительное число, и это означает, что аргумент логарифма положительный.

Таким образом, главное значение определяется по приведенной выше формуле вне отрезка ветви , состоящего из интервала [- i , i ] воображаемой прямой.

При z = 0 есть особая точка, которая входит в разрез ветви.

Главное значение обратного гиперболического секанса

Здесь, как и в случае обратного гиперболического косинуса, мы должны факторизовать квадратный корень. Это дает главное значение

Если аргумент квадратного корня вещественный, то z вещественно, и отсюда следует, что определены оба главных значения квадратных корней, за исключением случая, когда z вещественно и принадлежит одному из интервалов (−∞, 0] и [1, + ∞) . Если аргумент логарифма действительный и отрицательный, то z также действительный и отрицательный. Отсюда следует, что главное значение arsech корректно определяется указанной выше формулой вне двух разрезов ветвей , вещественных интервалов (−∞, 0] и [1, + ∞) .

При z = 0 имеется особая точка, входящая в одно из сечений ветвления.

Графическое представление

В следующем графическом представлении главных значений обратных гиперболических функций сечения ветвей выглядят как разрывы цвета. Тот факт, что все сечения ветвей выглядят как разрывы, показывает, что эти главные значения не могут быть расширены до аналитических функций, определенных для более крупных областей. Другими словами, определенные выше сечения ветвей минимальны.

Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Квадрат, представляющий центральную часть сложной Z-плоскости, окрашенной в психоделические цвета
Обратные гиперболические функции в комплексной z-плоскости: цвет в каждой точке плоскости представляет комплексное значение соответствующей функции в этой точке.

Смотрите также

использованная литература

Библиография

внешние ссылки