ЦЕПНАЯ ЛИНИЯ И ГИПЕРБОЛИЧЕСКИЕ ФУНКЦИИ
УРАВНЕНИЕ ЦЕПНОЙ ЛИНИИ


        Тысячелетия человечество использовало канаты, цепи, провода и другие приспособления, используемые на практике для закрепления отдельных частей сооружений, ограждений и прочих нужд. Под воздействием гравитационного поля Земли такие элементы конструкций провисают и изгибаются (см. рисунок 1 и 2).

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

        Долгое время считалось, что цепная линия представляет собой параболу, подобно тому, как траектория движения камня в поле земного тяготения есть парабола. Однако уже в начале 17 века великий итальянский мыслитель Галилео Галилей высказал предположения, что цепная линия не является параболой. Строгое решение задачи с выводом уравнения цепной линии впервые было найдено в трудах великих немецких мыслителей Готфрида Лейбница и Иоганна Бернулли, а также великого нидерландского естествоиспытателя Христиана Гюйгенса в 1691 году.

        Рассмотрим элементарный участок нити длиной \(\Delta l\) (Рисунок 3). Масса этого участка равна \(\Delta m = \rho S \Delta l\) и на него действуют распределенная по длине сила тяжести интенсивности \(\rho gS\), направленная вниз и равная \(\Delta m g = \rho g S \Delta l\). Здесь \(\rho\) — объемная плотность материала нити, \(g\) — ускорение свободного падения, \(S\) — площадь поперечного сечения нити.

        Также на концах данного участка действуют силы натяжения \(T(l)\) и \(T(l+\Delta l)\).


Рисунок 1. Цепи, используемые при штабелирование парахода “Бремен”.
Фото из Федерального архива Германии.
Bundesarchiv Bild 102-06406, Bremen, Stapellauf des Dampfers "Bremen".






Рисунок 2. Цепи ограждения Царь-пушки в московском кремле.
http://www.fotokonkurs.ru/photo/58515


        Условие равновесия рассматриваемого участка запишется в виде: $$ \vec T(l) + \vec T(l+\Delta l) + \Delta m\vec g = 0. $$         В проекции на оси координат получим $$ - T(l)\cos(\alpha) + T(l+\Delta l)\cos(\alpha + \Delta \alpha) = 0. $$ $$ - T(l)\sin(\alpha) + T(l+\Delta l)\sin(\alpha + \Delta \alpha) - \rho gS\Delta l = 0.$$         Из первого уравнения получаем, что горизонтальная компонента силы натяжения \(T(l)\) всегда постоянна: \( T(l)\cos\alpha(l) = T_0 = const.\) Второе уравнение перепишем в виде: $$ d(T(l)\sin(\alpha(l)) = d(\rho gSl).$$         С учётом сказанного, можем записать $$ T_0 d(tg(\alpha(l)) = \rho gSdl).$$         Памятуя о геометрическом смысле производной, запишем \(tg\alpha = y'\) и тогда получим $$\frac{dy'}{dl} = \frac{\rho gS}{T_0}.$$         Переходя к переменной x, используя правило дифференцирования сложной функции и выражение для дифференциала дуги кривой, получим $$\frac{dy'}{dl} = \frac{dy'}{dx} \cdot \frac{dx}{dl} = \frac{dy'}{dx} \cdot \frac{dx}{dx \cdot \sqrt{1+(y')^2}} = $$ $$ = \frac{dy'}{dx} \cdot \frac {1}{\sqrt{1+(y')^2}} = \frac {\rho gS}{T_0}.$$         Отсюда, учитывая, что производная от первой производной есть вторая производная, получаем $$y'' = \frac {\rho gS}{T_0} \cdot \sqrt{1+(y')^2}.$$
        Последнее уравнение называется дифференциальным уравнением цепной линии. Это уравнение второго порядка, допускающее понижение порядка. Чтобы понизить порядок уравнения сделаем замену \(z(x)=y'\). Тогда \(y''=z'\). Подставляя в последнее дифференциальное уравнение, получим $$\frac {dz}{dx} = z' \frac {\rho gS}{T_0} \cdot \sqrt{1+z^2}.$$



Рисунок 3. Ценная линия и расчётная схема.



        Получили уравнение с разделяющимися переменными, которое после элементарных преобразований принимает вид $$\frac{dz}{\sqrt{1+z^2}} = \frac{\rho gS}{T_0} \cdot dx.$$         Интегрируем последнее уравнение $$\int\frac{dz}{\sqrt{1+z^2}} = \frac{\rho gS}{T_0} \int dx,$$ $$\ln|z + \sqrt{1+z^2}| = \frac{\rho gS}{T_0} \cdot x + C_1.$$         Принимая за начало координат нижнюю точку цепной линии, заметим, что касательная в нижней точке горизонтальная, другими словами, нижняя точка является точкой экстремума для функции \(y(x)\). Следовательно, \(y’(0)=z(0)=0\). Подставим в последнее выражение \(x=0, y=0, z=0\). В результате получим \(С_1 = 0\). Тогда уравнение цепной линии перепишется в виде $$\ln|z + \sqrt{1+z^2}| = \frac{\rho gS}{T_0} \cdot x.$$         Потенцируя полученное уравнение, перепишем его в показательной форме

                            \( z + \sqrt{1+z^2} = exp\left(\frac{\rho gS}{T_0} \cdot x\right) = e^{\kappa x}.\)                           (1)

        Здесь для сокращения записи мы ввели обозначение \(\frac{\rho gS}{T_0} = \kappa.\)
        Умножим обе части уравнение (1) на выражение сопряжённое к левой части \(z-\sqrt{1+z^2}\). Получим $$(z + \sqrt{1+z^2})\cdot(z - \sqrt{1+z^2}) = e^{\kappa x}\cdot(z - \sqrt{1+z^2}).$$         Нетрудно заметить, что $$(z + \sqrt{1+z^2})\cdot(z - \sqrt{1+z^2}) = z^2 - (\sqrt{1+z^2})^2 = z^2 -1 + z^2 = -1.$$         Вследствие последнего замечания, уравнение можно переписать в виде $$e^{\kappa x}\cdot(z - \sqrt{1+z^2}) = -1.$$ или в виде $$z - \sqrt{1+z^2} = -e^{\kappa x}. $$         Прибавим последнее выражением к выражению (1), и поделим полученное равенство на 2. В результате получим $$z = \frac {e^{\kappa x} - e^{-\kappa x}}{2}. $$         Определение 1. Гиперболическим синусом от \(x\) называется функция, определённая следующим выражением $$sh(x) = \frac {e^{x} - e^{-x}}{2}. $$         Определение 2. Гиперболическим косинусом от \(x\) называется функция, определённая следующим выражением $$sh(x) = \frac {e^{x} + e^{-x}}{2}. $$         Предложение 1. Производная от гиперболического косинуса есть гиперболический синус, производная от гиперболического синуса есть гиперболический косинус, то есть$$sh'(x) = ch(x),$$ $$ch'(x) = sh(x).$$         Доказательство. $$sh'(x) = \left(\frac {e^{x} - e^{-x}}{2}\right)' = \frac {(e^{x} - e^{-x})'}{2} = \frac {(e^{x})' - (e^{-x})'}{2} = \frac {(e^{x})' + (e^{-x})'}{2} = ch(x);$$ $$ch'(x) = \left(\frac {e^{x} + e^{-x}}{2}\right)' = \frac {(e^{x} + e^{-x})'}{2} = \frac {(e^{x})' + (e^{-x})'}{2} = \frac {(e^{x})' - (e^{-x})'}{2} = sh(x).$$         Доказательство завершено.     ❑

    Следствие 1. Первообразная от гиперболического косинуса есть гиперболический синус, а первообразная от гиперболического синуса есть гиперболический косинус.

        Следствие 2. $$\int sh(x)dx = ch(x) + C, $$ $$ \int ch(x)dx = sh(x) + C.$$
        С учётом сформулированных определений, а также памятуя о сделанной ранее замене \(z(x)\), перепишем выражение для прогиба в следующем виде $$ y' = z = \frac {e^{\kappa x} - e^{-\kappa x}}{2} = sh(\kappa x).$$
        На основании предложения 1 и следствий к нему, после интегрирования получим $$ y(x) = \int sh(\kappa x)dx = \frac {1}{\kappa} \cdot ch(\kappa x) + C.$$
        В принятой системе координат, когда нижняя точка цепной линии является началом системы координат, справедливо следующее начальное условие \(y(0)=0\). Подставим это условие в найденное уравнение цепной линии и получим $$ y(0) = \frac {ch(0)}{\kappa} + C = 0,$$ $$ \frac {1}{\kappa} \cdot \frac {e^0+e^0}{2} +C = \frac {1}{\kappa} \cdot \frac {1+1}{2} +C = \frac {1}{\kappa} + C = 0. $$ Отсюда \(С=-\frac {1}{\kappa}\) и уравнение цепной линии запишется в виде $$ y(x) = \frac {1}{\kappa} \left(ch(\kappa x) - 1\right).$$
        Таким образом, форма цепной линии определяется как гиперболический косинус с параметром \(\kappa\). Кроме гиперболического синуса и гиперболического косинуса существуют также гиперболический тангенс и котангенс, которые определяются по тому же принципу, что и тригонометрический тангенс и котангенс, а именно:

        Определение 3. Гиперболическим тангенсом от \(x\) называется функция, определённая следующим выражением $$th(x) = \frac {sh(x)}{ch(x)}.$$
        Определение 4. Гиперболическим котангенсом от \(x\) называется функция, определённая как частное гиперболического скосинуса и гиперболического синуса. То есть гиперболический котангенс это функция, определённая следующим выражением $$cth(x) = \frac {ch(x)}{sh(x)}.$$
        Из сделанных определений следуют равенства $$th(x) \cdot cth(x) = 1;$$ $$th(x) =\frac {e^x - e^{-x}}{e^x + e^{-x}};$$ $$cth(x) =\frac {e^x + e^{-x}}{e^x - e^{-x}}.$$
        Исследуем ряд других замечательных свойств гиперболических функций.

        Предложение 2. Справедливы следующие тождества $$сh^2(x) - sh^2(x) = 1;$$ $$1-th^2(x) = \frac {1}{ch^2(x)},$$ $$cth^2(x) - 1 = \frac {1}{sh^2(x)}.$$         Доказательство.

        Из определений гиперболического косинуса и гиперболического синуса следует: $$ch^2(x) - sh^2(x) = \left(\frac {e^{x} + e^{-x}}{2}\right)^2 - \left(\frac {(e^{x} - e^{-x})}{2}\right)^2 = $$ $$ = \frac {(e^{x})^2 + 2e^xe^{-x} + (e^{-x})^2}{4} - \frac {(e^{x})^2 - 2e^xe^{-x} + (e^{-x})^2}{4} = e^xe^{-x} = e^{x-x} = e^0 = 1.$$ Первое тождество доказано. Из него следует $$ch^2(x) = 1 + sh^2(x);$$ $$sh^2(x) = ch^2(x) - 1.$$ Тогда $$1 - th^2(x) = 1 - \frac {sh^2(x)}{ch^2(x)} = \frac {ch^2(x) - sh^2(x)}{ch^2(x)} = \frac {1}{ch^2(x)}.$$ $$cth^2(x) - 1 = \frac {ch^2(x)}{sh^2(x)} - 1 = \frac {ch^2(x) - sh^2(x)}{sh^2(x)} = \frac {1}{sh^2(x)}.$$ Все три тождества доказаны.         ❑


        Задание.
        Найти производные гиперболического тангенса и гиперболического котангенса.

        Решение.
        По правилу дифференцирования частного, получим для производной гиперболического тангенса $$th'(x) = \left(\frac{sh(x)}{ch(x)}\right)' = \frac{sh'(x)\cdot ch(x) - sh(x)\cdot ch'(x)}{ch^2(x)} = $$ $$ = \frac {ch(x) \cdot ch(x) - sh(x) \cdot sh(x)} {ch^2(x)} = \frac {ch^2(x) - sh^2(x)}{ch^2(x)} = \frac {1}{ch^2(x)}.$$
        Аналогично получим производную для функции гиперболический котангенс $$cth'(x) = \left(\frac{ch(x)}{sh(x)}\right)' = \frac{ch'(x)\cdot sh(x) - sh'(x)\cdot ch(x)}{sh^2(x)} = $$ $$ = \frac{sh(x)\cdot sh(x) - ch(x)\cdot ch(x)}{sh^2(x)} = \frac{sh^2(x) - ch^2(x)}{sh^2(x)} = - \frac {1}{sh^2(x)}.$$
        Таким образом, мы доказали следующие соотношения $$ th'(x) = \frac {1}{ch^2(x)};$$ $$ cth'(x) = - \frac {1}{sh^2(x)}.$$
        Обратим внимание на некоторое сходство полученных тождеств с соответствующими тригонометрическими тождествами.