Гиперболические функции интуитивно: за пределами тригонометрии

Когда на калькуляторе впервые появляются кнопки sinh, cosh и tanh, они выглядят как запасные версии синуса, косинуса и тангенса. Названия будто говорят, что кто-то взял тригонометрию, добавил букву h и придумал ещё три формулы для заучивания.

Но это перевёрнутая картина. Гиперболические функции начинаются со степеней и экспонент, а не с углов. Они берут два простейших экспоненциальных движения, рост $e^{x}$ и затухание $e^{-x}$, а затем складывают или вычитают их в идеально уравновешенных парах. Сходство с тригонометрией возникает позже, когда эти пары оказываются координатами на гиперболе, а не на окружности.

Стоит увидеть, как две экспоненты тянут в разные стороны, и определения перестают казаться произвольными. Главное тождество превращается в уравнение кривой, производные становятся почти неизбежными, а висящий трос из учебника по анализу наконец получает понятную связь с cosh.

Гипербола как родственница окружности

У тригонометрии есть одна главная картина: точка движется по единичной окружности. При параметре t её координаты равны

$$(\cos t, \sin t)$$

Эти координаты удовлетворяют равенству

$$\cos^{2} t + \sin^{2} t = 1$$

потому что любая точка лежит на окружности $x^{2} + y^{2} = 1$. Косинус задаёт горизонтальную координату, синус вертикальную, а основное тригонометрическое тождество просто повторяет уравнение окружности их именами.

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

$$(\cosh t, \sinh t)$$

лежит на правой ветви единичной гиперболы

$$x^{2} - y^{2} = 1$$

поэтому её координаты удовлетворяют равенству

$$\cosh^{2} t - \sinh^{2} t = 1$$

Изменившийся знак определяет характер новой кривой. Окружность сохраняет сумму $x^{2} + y^{2}$. Гипербола сохраняет разность $x^{2} - y^{2}$. Эта единственная замена плюса на минус объясняет, почему многие гиперболические тождества похожи на тригонометрические, но отличаются одним знаком.

Здесь важно не перепутать две вещи. График y = cosh x имеет U-образную форму. Это не единичная гипербола $x^{2} - y^{2} = 1$. Гипербола появляется, когда cosh и sinh работают вместе как координаты: x = cosh t и y = sinh t. Одна функция задаёт горизонтальную координату, другая вертикальную, как косинус и синус совместно описывают окружность.

Параметр t иногда называют гиперболическим углом, но это не обычный угол поворота по окружности. На единичной гиперболе t равен удвоенной ориентированной площади гиперболического сектора от точки (1, 0) до движущейся точки. Для большинства вычислений достаточно считать t общим аргументом, который двигает точку по гиперболе. При t = 0 точка находится в (1, 0). При положительных t она движется вверх по правой ветви, при отрицательных вниз.

sinh и cosh уравновешивают рост и затухание

Геометрия объясняет названия. Определения показывают, как функции действительно устроены:

$$\sinh x = \frac{e^{x} - e^{-x}}{2}$$ $$\cosh x = \frac{e^{x} + e^{-x}}{2}$$

Обе начинаются с одной пары экспонент. Одна растёт вместе с x, другая убывает. Cosh складывает их и измеряет симметричную сумму. Sinh вычитает их и показывает, какая из двух экспонент преобладает.

При x = 0 обе экспоненты равны 1. Их сумма равна 2, а разность 0, поэтому

$$\cosh 0 = 1, \quad \sinh 0 = 0$$

Мы получаем точку (1, 0), вершину правой ветви гиперболы.

Теперь заменим x на -x. Два экспоненциальных слагаемых меняются местами. Их сумма остаётся прежней, поэтому cosh(-x) = cosh x. Функция cosh чётная, и её график симметричен относительно оси y. Разность меняет знак, поэтому sinh(-x) = -sinh x. Функция sinh нечётная, и её график обладает центральной симметрией относительно начала координат.

Небольшой точный пример показывает весь механизм. Возьмём x = ln 2. Тогда $e^{x} = 2$ и $e^{-x} = \frac{1}{2}$, значит

$$\cosh(\ln 2) = \frac{2 + \frac{1}{2}}{2} = \frac{5}{4}$$ $$\sinh(\ln 2) = \frac{2 - \frac{1}{2}}{2} = \frac{3}{4.}$$

Получилась точка (5/4, 3/4). Проверим гиперболу:

$$(5/4)^{2} - (3/4)^{2} = 25/16 - 9/16 = 1$$

Тождество не является совпадением, добавленным после определений. Сбалансированные сумма и разность автоматически приводят к этому равенству.

При больших положительных x величина $e^{-x}$ становится крошечной, поэтому и sinh x, и cosh x приближаются к половине $e^{x}$. При больших отрицательных x функция cosh остаётся положительной, а sinh становится отрицательной. Поэтому их графики родственны, но не совпадают: cosh представляет собой U-образную сумму двух положительных экспонент, а sinh хранит их разность со знаком.

Тождество с минусом

Главная формула гиперболических функций:

$$\cosh^{2} x - \sinh^{2} x = 1$$

Её можно помнить как уравнение гиперболы, а можно вывести одной строкой алгебры. Обозначим A = $e^{x}$ и B = $e^{-x}$. Тогда AB = 1, а

$$\cosh x = \frac{A + B}{2}, \quad \sinh x = \frac{A - B}{2}$$

Вычтем квадраты:

$$\left(\frac{A + B}{2}\right)^{2} - \left(\frac{A - B}{2}\right)^{2} = AB = 1$$

Всю работу выполняет формула разности квадратов. Слагаемые $A^{2}$ и $B^{2}$ при вычитании сокращаются, а перекрёстные члены объединяются и дают AB = $e^{x}$ · $e^{-x} = 1$.

Из этого тождества получается всё остальное семейство. Разделим на $\cosh^{2} x$ и получим

$$1 - \tanh^{2} x = \operatorname{sech}^{2} x$$

где tanh x = sinh x / cosh x, а sech x = 1 / cosh x. Если sinh x не равен нулю, можно разделить исходное тождество на $\sinh^{2} x$ и получить соответствующую формулу для coth и csch. Названия выглядят громоздко, но структура та же, что в тригонометрии: тангенс является отношением, sech и csch являются обратными величинами, а уравнение главной кривой порождает тождества.

Надёжная подсказка для памяти звучит не как «у гиперболической тригонометрии странные знаки». Смотрите на кривую. Окружность означает плюс. Гипербола означает минус. Если держать в уме нужное уравнение, знак перестаёт быть случайным выбором.

Что измеряет tanh

Гиперболический тангенс представляет собой отношение

$$\tanh x = \frac{\sinh x}{\cosh x} = \frac{e^{x} - e^{-x}}{(e^{x} + e^{-x}).}$$

Оно сравнивает разность роста и затухания с их суммой. При x = 0 две экспоненты уравновешены, поэтому tanh 0 = 0. С ростом x экспонента $e^{x}$ начинает преобладать и в числителе, и в знаменателе, поэтому отношение приближается к 1. При больших отрицательных x преобладает $e^{-x}$, и отношение приближается к -1.

Поэтому tanh имеет S-образный график, зажатый между -1 и 1. Вблизи нуля функция ведёт себя почти как x, а затем постепенно выравнивается, когда одна экспонента подавляет другую. В отличие от обычного тангенса, у неё нет повторяющихся ветвей и вертикальных асимптот. Общее название связано с отношением синусоподобной и косинусоподобной координат, а не с одинаковым графиком.

Такой ограниченный диапазон полезен, когда неограниченный аргумент должен давать гладкий результат в заданных пределах. Но для чистой математики важнее более простая мысль: tanh получается, когда разность со знаком sinh нормируется положительной суммой cosh.

Остальные функции следуют той же схеме:

• $\operatorname{sech} x = \frac{1}{\cosh x}$
• $\operatorname{csch} x = \frac{1}{\sinh x}$
• $\coth x = \frac{\cosh x}{\sinh x}$

Для вещественных x функция cosh никогда не обращается в ноль, поэтому sech определена всюду. Функция sinh равна нулю при x = 0, поэтому csch и coth там не определены. Если исходить из определений, эти факты не приходится заучивать отдельно.

Почему математический анализ любит гиперболические функции

Экспоненциальные определения делают производные удивительно простыми. Продифференцируем sinh:

$$\frac{d}{dx} \sinh x = \frac{d}{dx} \left[\frac{e^{x} - e^{-x}}{2}\right] = \frac{e^{x} + e^{-x}}{2} = \cosh x$$

Второе слагаемое меняет минус на плюс, потому что при дифференцировании $e^{-x}$ появляется ещё один минус. При дифференцировании cosh знаки меняются в обратную сторону:

$$\frac{d}{dx} \cosh x = \sinh x$$

В производной обычного косинуса появляется минус, а у гиперболического косинуса нет. Это даёт полезное сравнение:

• sin x и cos x удовлетворяют y'' = -y, что приводит к колебаниям
• sinh x и cosh x удовлетворяют y'' = y, что приводит к экспоненциальному росту и затуханию

Поэтому гиперболические функции естественно возникают в дифференциальных уравнениях, описывающих связи между производными. Общее решение y'' = y можно записать как A $e^{x}$ + B $e^{-x}$, но можно и как C cosh x + D sinh x. Обе формы содержат одну и ту же информацию. Cosh и sinh лишь упаковывают симметричную и антисимметричную комбинации так, что начальные условия часто читаются проще.

Например, решение с y(0) = 1 и y'(0) = 0 равно cosh x. Оно начинается на высоте 1 с горизонтальной касательной. Решение с y(0) = 0 и y'(0) = 1 равно sinh x. Оно начинается в начале координат с наклоном 1. Эти начальные условия сразу видны на графиках.

Производная tanh не менее аккуратна:

$$\frac{d}{dx} \tanh x = \operatorname{sech}^{2} x$$

Поскольку $\operatorname{sech}^{2} x$ положительна, tanh всегда возрастает. Вдали от начала координат sech стремится к нулю, поэтому наклон tanh тоже стремится к нулю. Так объясняется уплощение графика на концах.

Гиперболические функции встречаются и при интегрировании, в том числе при заменах переменных. Их обратные функции позволяют записывать первообразные, содержащие корни вроде sqrt($x^{2}$ + 1) или sqrt($x^{2}$ - 1). Для понимания самих функций эти формулы не нужны, но связь объясняет, почему в курсе анализа тему вводят вскоре после экспонент и тригонометрических подстановок.

Почему висящие тросы описываются через cosh

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

$$y = a \cosh(x / a) + C$$

Постоянная C задаёт вертикальное положение. Если начало координат выбрать так, чтобы C была равна нулю, получится знакомая формула y = a cosh(x / a). Постоянная a определяет, насколько пологой или глубокой будет кривая. Большая a даёт более плоский трос, а малая a создаёт более сильный провис. Вблизи низшей точки форма напоминает параболу, поэтому висящие цепи часто ошибочно считают параболическими. Но точная равновесная кривая троса под собственным весом задаётся через cosh.

Это не случайное совпадение. Горизонтальная составляющая натяжения троса остаётся постоянной, а изменение вертикальной составляющей уравновешивает накопленный вес. Этот баланс сил приводит к дифференциальному уравнению, одним из решений которого является cosh. Функция, появившаяся из равновесия $e^{x}$ и $e^{-x}$, снова возникает там, где физические силы уравновешиваются вдоль кривой.

Откуда берутся ошибки

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

Первая ошибка состоит в чтении sinh x как sin(hx), будто h является переменной, на которую умножают угол. Название произносится как «гиперболический синус» и обозначает одну функцию. Буква h является частью обозначения, а не аргументом.

Вторая ошибка: перенос тождества окружности со знаком плюс. Верная формула: $\cosh^{2} x$ - $\sinh^{2} x$ = 1. Представьте $x^{2} - y^{2} = 1$, и знак определится сам.

Третья ошибка: производная -sinh у функции cosh по аналогии с обычным косинусом. Вернитесь к экспонентам: cosh является их суммой, а производная cosh является их разностью, поэтому $\frac{d}{dx} \cosh x = \sinh x$.

Четвёртая ошибка: смешение обратных функций и обратных величин. В разных учебниках обратную к sinh функцию обозначают asinh, arcsinh или sinh⁻¹. Обратная величина для sinh называется csch, а не sinh⁻¹. Аналогично, обратная к cosh функция называется acosh или arcosh, а обратная величина называется sech.

Области определения обратных функций тоже важны. Sinh принимает все вещественные значения, поэтому asinh принимает любой вещественный аргумент. Cosh имеет минимум 1 и повторяет значения по обе стороны от нуля, поэтому для вещественной обратной функции cosh ограничивают ветвью x не меньше 0, а аргумент acosh должен быть не меньше 1. Tanh выдаёт значения строго между -1 и 1, поэтому atanh принимает аргументы только из этого интервала.

Наконец, не говорите, что y = cosh x «является гиперболой». Её график представляет собой U-образную цепную линию. Гиперболу описывает пара (cosh t, sinh t). Если разделять график функции и параметрическую кривую, этой распространённой путаницы не возникнет.

Где здесь Math Zen

Гиперболические функции находятся на пересечении экспонент, тождеств и производных. Если экспоненциальные определения усвоены, большую часть темы можно восстановить вместо заучивания. Если нет, sinh, cosh, tanh, sech, csch и coth превращаются в шесть новых кнопок с шестью несвязанными таблицами правил.

Упражнения Math Zen по гиперболическим функциям следуют этой зависимости. Вычисления с sinh и cosh закрепляют определения. Задачи на тождества подчёркивают минус в уравнении гиперболы. Задачи на производные показывают простую взаимную замену sinh и cosh, а более поздние упражнения развивают навык работы с обратными гиперболическими функциями. Цель не в том, чтобы один раз воспроизвести таблицу. Нужно увидеть картину, из которой эта таблица становится неизбежной.

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

Главное

Гиперболические функции представляют собой уравновешенные экспоненты. Cosh складывает рост и затухание, sinh вычитает их, а tanh сравнивает их разность с суммой. Если использовать cosh и sinh как координаты, они зададут гиперболу $x^{2} - y^{2} = 1$. Поэтому многие аналогичные тождества напоминают тригонометрические, но плюс окружности заменён минусом гиперболы.

Вместе картина гиперболы и экспоненциальные определения объясняют главное тождество, графики и производные. Они также показывают, почему эти функции возникают при сочетании роста и затухания, от дифференциального уравнения y'' = y до цепной линии висящего троса. Буква h не создаёт новую стену формул. Она указывает на другую кривую и другой тип движения, лежащий в их основе.