Прикладная математика и механика, 2023, T. 87, № 2, стр. 176-185

Решения некоторых волновых моделей механики

О. В. Капцов 1*, Д. О. Капцов 1**

1 Институт вычислительного моделирования СО РАН
Красноярск, Россия

* E-mail: kaptsov@icm.krasn.ru
** E-mail: hot.dok@gmail.com

Поступила в редакцию 24.10.2022
После доработки 13.02.2023
Принята к публикации 15.02.2023

Полный текст (PDF)

Аннотация

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

Ключевые слова: нелинейные волновые уравнения, подстановки Эйлера, общие решения

1. Введение. Волновые движения представляют большой интерес в различных разделах механики сплошной среды [14]. Значительные трудности для исследования представляют нелинейные модели и линейные модели неоднородных сред. Наиболее изученными являются одномерные нестационарные уравнения, для которых получен ряд точных решений, составляющих “золотой фонд” теории [3]. Основными методами построения точных решений является групповой анализ дифференциальных уравнений [5, 6], теория солитонов [7, 8] и метод дифференциальных связей [9]. Однако имеются классические методы, восходящие к Эйлеру, Амперу, Дарбу, позволяющие иногда находить общие решения уравнений с частными производными [1012]. Напомним, что метод Монжа заключается в том, для заданного уравнения с частными производными второго порядка

$~F(t,x,u,{{u}_{t}},{{u}_{x}},~{{u}_{{tt}}},{{u}_{{tx}}},{{u}_{{xx}}}) = 0$
нужно найти уравнение первого порядка
$~f(t,x,u,{{u}_{t}},{{u}_{x}}) = c$
такое, что каждое решение последнего уравнения, для любого $c \in \mathbb{R}$, является решением исходного уравнения. Ампер и Дарбу обобщили метод Монжа, предложив дополнять исходное уравнение другими уравнениями произвольного порядка так, чтобы полученная система была совместной. При этом левые части дополнительных уравнений должны быть постоянными на характеристиках исходного уравнения. Подробное описание этих методов c примерами можно найти в [11, 12].

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

(1.1)
$~{{u}_{{tt}}} = {{(f\left( u \right){{u}_{x}})}_{x}}$
(1.2)
${{u}_{{tt}}} = s\left( x \right){{u}_{{xx}}}$
(1.3)
${{u}_{{tt}}} = {{u}_{{xx}}} + g\left( x \right){{u}_{x}},$
где $f,s,g$ – гладкие функции своих аргументов. Уравнение (1.1) служит для описания одномерных неустановившихся движений идеального газа [3, 13] и упругопластических волн [4, 14]. Уравнение (1.2) используется в теоретической акустике [1, 15], кроме того, подобное уравнение известно, как уравнение Чаплыгина [3, 13]. Уравнение (1.3) возникает в результате применения преобразований годографа к уравнениям газовой динамики [3, 13]. В работах [1618] найдены группы точечных и нелокальных преобразований, допускаемые этими уравнениями; проведена групповая классификация уравнений и построены инвариантные решения. С другой стороны, в работах [12, 19], методом Эйлера–Дарбу, были найдены общие решения линейных уравнений (1.2), (1.3) для особых функций $s\left( x \right)$, $g\left( x \right)$.

В работе сначала приводятся преобразования, связывающие уравнения (1.1)(1.3). В разд. 2 изучается вопрос о том, когда решения уравнения (1.3) переводятся в решения уравнения

(1.4)
${{{v}}_{{tt}}} = {{{v}}_{{xx}}} + Ag\left( x \right){{{v}}_{x}};\quad A \in \mathbb{R},$
с помощью дифференциальной подстановки Эйлера

${v} = s\left( x \right){{u}_{x}} + r\left( x \right)u$

Кроме классического случая $g\left( x \right) = c{\text{/}}x$ ($c \in \mathbb{R}$), найдены еще две функции $g = c{\text{/}}\sin x$ и $g = c{\text{/}}\operatorname{sh} x$, для которых существуют такие подстановки. Дополнительно получена функция $g\left( x \right)$, не выражающаяся в элементарных функциях, но для которой соответствующее уравнение (1.3) допускает подстановку Эйлера. Отмечается, что дифференциальная подстановка

${v} = s\left( x \right){{u}_{x}}$
переводит решения уравнения
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{s{\kern 1pt} '}}{s}{{u}_{x}}$
в решения уравнения
${{{v}}_{{tt}}} = {{{v}}_{{xx}}} - \frac{{s{\kern 1pt} '}}{s}{{{v}}_{x}}$
для любой гладкой функции $s$. В разд. 3 показано как построить параметрические решения, зависящие от двух произвольных функций, для уравнения
${{u}_{{tt}}} = {{\left( {{{u}^{{\frac{{4n}}{{1 - 2n}}}}}{{u}_{x}}} \right)}_{x}}$
при любых целых $n$. Кроме того, найдены общие решения уравнений

${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{2n}}{{\operatorname{sh} \left( x \right)}}{{u}_{x}},\quad {{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{2n}}{{\sin \left( x \right)}}{{u}_{x}};\quad n \in \mathbb{Z}$

2. Контактные преобразования и подстановки. Рассмотрим уравнение (1.1) и введем новую функцию ${v}$ с помощью дифференциальной замены ${{{v}}_{x}} = u$. В результате получим уравнение третьего порядка, затем, интегрируя его по $x$, приходим к уравнению второго порядка

(2.1)
${{{v}}_{{tt}}} = f\left( {{{{v}}_{x}}} \right){{{v}}_{{xx}}}$

Последнее уравнение сводится к линейному уравнению Чаплыгина

(2.2)
${{w}_{{\tau \tau }}} = \frac{1}{{f\left( y \right)}}{{w}_{{yy}}}$
преобразованием Лежандра
$\tau = {{{v}}_{t}},\quad y = {{{v}}_{x}},\quad w = t{{{v}}_{t}} + x{{{v}}_{x}} - {v},\quad {{w}_{\tau }} = t,\quad {{w}_{y}} = x,$
при условии, что гессиан ${{{v}}_{{tt}}}{{{v}}_{{xx}}} - {v}_{{tx}}^{2}$ не равен нулю.

Введем новую независимую переменную $z = \int {\sqrt {f\left( y \right)} dy} $. Тогда уравнение (2.2) приводится к уравнению Дарбу

(2.3)
${{w}_{{\tau \tau }}} = {{w}_{{zz}}} + g\left( z \right){{w}_{z}},$
где функция $g$ сложной формулой выражается через функцию $f$. Обратный переход от уравнения (2.3) к уравнению (2.2) выполняется проще.

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

(2.4)
${v} = s\left( x \right){{u}_{x}} + r\left( x \right)u,$
которые переводят решения уравнения (2.3) в решения уравнения (1.4). В результате подстановки функции ${v}$ вида (2.4) в (1.4) получаем уравнение третьего порядка

$\begin{gathered} \left( {{{u}_{{ttx}}} - {{u}_{{xxx}}}} \right)s + r{{u}_{{tt}}} - {{u}_{{xx}}}\left( {Asg + r + 2{{s}^{2}}} \right) - \\ - \;{{u}_{x}}\left( {Ag\left( {r + s{\kern 1pt} '} \right) + s{\kern 1pt} ''\; + 2r{\kern 1pt} '} \right) - u\left( {Ar{\kern 1pt} '{\kern 1pt} g + r{\kern 1pt} ''} \right) = 0 \\ \end{gathered} $

Последнее уравнение должно быть следствием уравнения (1.3). Следовательно, если подставить производные ${{u}_{{tt}}}$, ${{u}_{{ttx}}}$, полученные из (1.3), то левая часть уравнения третьего порядка должна обратиться в ноль. Подставляя эти производные и собирая подобные члены при ${{u}_{{xx}}},{{u}_{x}},u$, имеем следующую систему из трех обыкновенных дифференциальных уравнений

(2.5)
$2s{\kern 1pt} ' = \left( {1 - A} \right)sg,\quad s{\kern 1pt} '' = sg{\kern 1pt} '\; - 2r{\kern 1pt} '\; + g\left( {r - Ar - s{\kern 1pt} '} \right),\quad r{\kern 1pt} '' = - Agr{\kern 1pt} '$

Предположим сначала, что функция $r$ постоянна. Тогда третье уравнение системы удовлетворяется тождественно. Не ограничивая общности, можно считать, что $r = 0$ или $r = 1$. Пусть сначала $r = 1$ и $A \ne \pm 1$. Тогда из первого уравнения системы выражаем $g$ и подставляем во второе уравнение. В результате получаем обыкновенное дифференциальное уравнение второго порядка на функцию $s$. Вводим новую функцию $y = {\text{1/}}s\left( x \right)$ и приходим к уравнению

$y{\kern 1pt} '' = \frac{{2\left( {A - 1} \right)}}{{A + 1}}yy{\kern 1pt} '$

Интегрируя один раз последнее уравнение, имеем уравнение первого порядка

(2.6)
$y{\kern 1pt} ' = \frac{{A - 1}}{{A + 1}}{{y}^{2}} + c;\quad c \in \mathbb{R}$

Если $c = 0$, то функция $y$ равна

$y = \frac{{1 + A}}{{\left( {1 - A} \right)x + {{c}_{1}}}};\quad {{c}_{1}} \in \mathbb{R}$

Значит, в этом случае функции $s$ и $g$ имеют вид

$s = \frac{{\left( {1 - A} \right)x + {{c}_{1}}}}{{A + 1}},\quad g = \frac{2}{{\left( {1 - A} \right)x + {{c}_{1}}}}$

Полагая ${{c}_{1}} = 0$ и используя обозначение $\alpha = \frac{2}{{1 - A}}$, можно утверждать что преобразование

${v} = \frac{x}{{\alpha - 1}}{{u}_{x}} + u$
переводит решения уравнения
(2.7)
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{\alpha }{x}{{u}_{x}}$
в решения уравнения

${{{v}}_{{tt}}} = {{{v}}_{{xx}}} + \frac{{\alpha - 2}}{x}{{u}_{x}}$

Данное утверждение хорошо известно [10, 11]. Уравнение (2.5) является частным случаем уравнения Эйлера–Пуассона–Дарбу. Полагая $\alpha = 0$ и применяя последовательно указанное преобразование, легко найти решение уравнения

(2.8)
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{2n}}{x}{{u}_{x}};\quad n \in \mathbb{Z},$
зависящее от двух произвольных функций и их производных. Более общие дифференциальные подстановки для уравнения Эйлера–Пуассона–Дарбу изучались в работе [20].

Следует отметить, что при $r = A = 1$ решениями системы (2.5) являются постоянные функции. Пусть теперь $r = 1$ и $A = - 1$. Тогда второе уравнение в системе (2.5) следует из первого. Это приводит к следующему полезному утверждению.

Дифференциальная подстановка

(2.9)
${v} = s\left( x \right){{u}_{x}}$
переводит решения уравнения
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{s{\kern 1pt} '}}{s}{{u}_{x}}$
в решения уравнения

${{{v}}_{{tt}}} = {{{v}}_{{xx}}} - \frac{{s{\kern 1pt} '}}{s}{{{v}}_{x}}$

Пусть теперь постоянная $c$ в уравнении (2.6) не равна нулю. Обозначим величину $\left( {A - 1} \right){\text{/}}\left( {A + 1} \right)$ через $b$ и предположим, что $cb > 0$. Тогда решение уравнения (10) имеет вид

$y = \sqrt {\frac{c}{b}} \operatorname{tg} \left( {x\sqrt {cb} + {{c}_{1}}} \right);\quad {{c}_{1}} \in \mathbb{R}$

Если же $cb < 0$, то решение уравнения (2.6) есть

$y = \sqrt {\frac{{ - c}}{b}} \operatorname{th} \left( {x\sqrt { - cb} + {{c}_{1}}} \right);\quad {{c}_{1}} \in \mathbb{R}$

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

Лемма 1. Решения уравнения

${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{\alpha }{{\operatorname{sh} x}}{{u}_{x}};\quad \alpha \in \mathbb{R}$
переводятся в решения уравнения
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{\alpha - 2}}{{\operatorname{sh} x}}{{u}_{x}};\quad \alpha \in \mathbb{R}$
с помощью дифференциальной подстановки

${v} = \frac{{2{{u}_{x}}}}{{\alpha - 1}}\operatorname{th} \frac{x}{2} + u$

Справедлив также тригонометрический аналог предыдущей леммы.

Лемма 2. Решения уравнения

${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{\alpha }{{\sin x}}{{u}_{x}};\quad \alpha \in \mathbb{R}$
переводятся в решения уравнения
${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{\alpha - 2}}{{\sin x}}{{u}_{x}};\quad \alpha \in \mathbb{R}$
с помощью дифференциальной подстановки

${v} = \frac{{2{{u}_{x}}}}{{\alpha - 1}}\operatorname{tg} \frac{x}{2} + u$

Теперь предположим, что функция $r$ не является постоянной и $s \ne 0$. Рассмотрим сначала случай $A = 1$. В этом случае из первого уравнения системы (2.5) следует, что функция $s$ – постоянна. При этом система редуцируется к двум уравнениям

$2r{\kern 1pt} ' = ag{\kern 1pt} ',\quad r{\kern 1pt} '{\kern 1pt} g + r{\kern 1pt} '' = 0$
где $a = s \in \mathbb{R}$. Интегрируя первое уравнение, имеем $r = ag{\text{/2}} + {{c}_{1}}$ (${{c}_{1}} \in \mathbb{R}$). Тогда из второго уравнения получаем

(2.10)
$g{\kern 1pt} '\; + \frac{{{{g}^{2}}}}{2} + c = 0;\quad c \in \mathbb{R}$

В зависимости от знака константы $c$ имеются три типа решений уравнения (2.10):

$g = - 2\operatorname{tg} \left( {x + b} \right)\quad {\text{при}}\;c = 2$
$g = 2\operatorname{th} \left( {x + b} \right)\quad {\text{при}}\;c = - 2$
$g = \frac{2}{{x + b}}\quad {\text{при}}\;c = 0$

Здесь $b \in \mathbb{R}$, а значения константы $c$ выбраны из соображений удобства. Соответствующие дифференциальные подстановки Эйлера имеют вид

${v} = a{{u}_{x}} + agu;\quad a \in \mathbb{R}~$

Эти подстановки порождены симметриями соответствующих уравнений (1.3).

Теперь предположим, что функции r и s не постоянные. Тогда из первого и третьего уравнений системы (2.5) выражаем функцию $g$ и получаем соотношения

(2.11)
$g = \frac{{2s{\kern 1pt} '}}{{\left( {A - 1} \right)s}} = \frac{{r{\kern 1pt} ''}}{{Ar{\kern 1pt} '}}~$

Интегрируя последнее соотношение, имеем

$s = k{{(r{\kern 1pt} ')}^{m}},\quad m = \frac{{A - 1}}{{2A}}~,$
где $k$ – произвольная константа. Подставляя $g$ и $s$ во второе уравнение системы (2.5), приходим (при $m \ne {\text{1/3}}$) к уравнению третьего порядка

$r{\kern 1pt} '''\; + \frac{{{{{(m - 1)}}^{2}}}}{{3m - 1}}\frac{{{{{(r{\kern 1pt} '')}}^{2}}}}{{r{\kern 1pt} '}} + \frac{{2mrr{\kern 1pt} ''}}{{k\left( {3m - 1} \right){{{(r{\kern 1pt} ')}}^{m}}}} + \frac{{2{{{(r{\kern 1pt} ')}}^{{2 - m}}}}}{{\left( {3m - 1} \right)k}} = 0$

В общем случае решить это уравнение не удается. Однако при $m = - 1$ можно свести его к уравнению первого порядка. Действительно, при $m = - 1$, оно обладает первым интегралом

$\frac{{rr{\kern 1pt} ''\; - {{{(r{\kern 1pt} ')}}^{2}}}}{{r{\kern 1pt} '}}{\text{exp}}\left( {{{r}^{2}}{\text{/}}4k} \right) = {{c}_{2}}$

Последнее выражение также имеет первый интеграл

$\frac{{r{\kern 1pt} '}}{r} - {{c}_{2}}\pi \operatorname{erf} \left( {\frac{r}{{2\sqrt k }}} \right) - \frac{{2\sqrt k {{c}_{2}}}}{{r\exp \left( { - {{r}^{2}}{\text{/}}4k} \right)}} = {{c}_{1}},$
где ${\text{erf}}\left( z \right)$ – функция ошибок. Таким образом, для нахождения функции $r$ необходимо обращать интеграл, который не выражается через элементарные функции. В свою очередь, функции $g$, $s$ выражаются через функцию $r$.

3. Построение решений. Рассмотрим сначала уравнение (1.3). Мы хотим перейти от этого уравнения к уравнениям (1.1) и (1.2). Для этого введем новую независимую переменную $y = \alpha \left( x \right)$ в уравнении (1.3), т.е. положим $u\left( {t,x} \right)$ = ${v}\left( {t,\alpha \left( x \right)} \right)$. В результате замены новое уравнение будет иметь вид

${{{v}}_{{tt}}} = {{(\alpha {\kern 1pt} ')}^{2}}{{{v}}_{{xx}}} + \left( {\alpha {\kern 1pt} ''\; + \alpha {\kern 1pt} '{\kern 1pt} g} \right){{{v}}_{x}}$

Приравнивая к нулю второе слагаемое в правой части последнего уравнения, получаем уравнение на функцию $\alpha \left( x \right)$

$\alpha {\kern 1pt} ''\; + \alpha {\kern 1pt} '{\kern 1pt} g = 0$

Его решение имеет вид

$\alpha = {{c}_{1}}\int {{\text{exp}}\left( { - \int {gdx} } \right)dx} + {{c}_{2}};\quad {{c}_{1}},{{c}_{2}} \in \mathbb{R}$

Если взять уравнение Эйлера–Пуассона

${{u}_{{tt}}} = {{u}_{{xx}}} + \frac{{2n}}{x}{{u}_{x}},$
то функция замены переменной $y = \alpha \left( x \right)$ задается формулой ${{c}_{1}}{{x}^{{1 - 2n}}} + {{c}_{2}}$. Для простоты полагая ${{c}_{2}} = 0$, ${{c}_{1}} = 1$, обращая функцию α и подставляя в α′, получаем уравнение

(3.1)
${{{v}}_{{tt}}} = {{y}^{{\frac{{4n}}{{2n - 1}}}}}{{{v}}_{{yy~}}}$

Заметим, что общее решение этого уравнения, для целых $n$, получены Эйлером ([10], задача 55). Приведем решения для некоторых $n$.

Если $n = 1$, то

${v} = y\left( {Y\left( {\frac{1}{y} + t} \right) + T\left( {\frac{1}{y} - t} \right)} \right)$

Если $n = 2$, то

${v} = y\left( {Y\left( {{{z}_{1}}} \right) + T\left( {{{z}_{2}}} \right)} \right) - \frac{1}{2}{{y}^{{\frac{2}{3}}}}\left( {Y{\kern 1pt} '\left( {{{z}_{1}}} \right) + T{\kern 1pt} '\left( {{{z}_{2}}} \right)} \right),$
где ${{z}_{1}} = 3{{y}^{{\frac{1}{3}}}} - t$, ${{z}_{2}} = 3{{y}^{{\frac{1}{3}}}} + t$. Если $n = - 1$, то
${v} = Y\left( {{{z}_{1}}} \right) + T\left( {{{z}_{2}}} \right) - \frac{1}{2}{{y}^{{\frac{1}{3}}}}\left( {Y{\kern 1pt} '\left( {{{z}_{1}}} \right) + T{\kern 1pt} '\left( {{{z}_{2}}} \right)} \right),$
где ${{z}_{1}} = 3{{y}^{{\frac{1}{3}}}} - t$, ${{z}_{2}} = 3{{y}^{{\frac{1}{3}}}} + t$. Если $n = - 2$, то
${v} = Y\left( {{{z}_{1}}} \right) + T\left( {{{z}_{2}}} \right) - \frac{1}{2}{{y}^{{\frac{1}{5}}}}\left( {Y{\kern 1pt} '\left( {{{z}_{1}}} \right) + T{\kern 1pt} '\left( {{{z}_{2}}} \right)} \right) + \frac{1}{{12}}{{y}^{{\frac{2}{5}}}}\left( {Y{\kern 1pt} ''\left( {{{z}_{1}}} \right) + T{\kern 1pt} ''\left( {{{z}_{2}}} \right)} \right),$
где ${{z}_{1}} = 5{{y}^{{\frac{1}{5}}}} - t$, ${{z}_{2}} = 5{{y}^{{\frac{1}{5}}}} + t$.

С помощью преобразования Лежандра

(3.2)
$x = {{{v}}_{y}},\quad \tau = {{{v}}_{t}},\quad \omega = t{{{v}}_{t}} + y{{{v}}_{y}} - {v},$
уравнение (3.1) преобразуется в уравнение

(3.3)
${{{{\omega }}}_{{\tau \tau }}} = {{({{{{\omega }}}_{x}})}^{{\frac{{4n}}{{1 - 2n}}}}}{{{{\omega }}}_{{xx}}}$

Вводя новую функцию $z = {{{{\omega }}}_{x}}$, получаем уравнение

${{z}_{{\tau \tau }}} = {{\left( {{{z}^{{\frac{{4n}}{{1 - 2n}}}}}{{z}_{x}}} \right)}_{x}}$

Преобразование Лежандра (3.2) позволяет найти параметрические решения последнего уравнения для всех $n \in \mathbb{Z}$. В качестве примера рассмотрим уравнение

${{{v}}_{{tt}}} = {{y}^{4}}{{{v}}_{{yy~}}},$
имеющее решение
${v} = y\left( {f\left( {t + \frac{1}{y}} \right) + g\left( {t - \frac{1}{y}} \right)} \right),$
где $f,~g$ – произвольные гладкие функции. Используя преобразование Лежандра (3.2), находим параметрическое решение уравнения (3.3) при n = 1

$x = X = f + g - \frac{{f{\kern 1pt} '}}{y} + \frac{{g{\kern 1pt} '}}{y}~,\quad \tau = T = y(f{\kern 1pt} '\; + g{\kern 1pt} '),\quad \omega = tT - f{\kern 1pt} '\; + g{\kern 1pt} '$

Тогда параметрическое решение уравнения

${{z}_{{\tau \tau }}} = {{({{z}^{{ - 4}}}{{z}_{x}})}_{x}}$
задается формулой
$x = X,\quad \tau = T,\quad z = \frac{{J\left( {\omega ,X} \right)}}{{J\left( {T,X} \right)}}~,$
здесь $J\left( {h,k} \right)$ – определитель матрицы $\left( {~\begin{array}{*{20}{c}} {{{D}_{t}}h}&{{{D}_{y}}h} \\ {{{D}_{t}}k}&{{{D}_{y}}k} \end{array}} \right)~$, a ${{D}_{t}}h$, ${{D}_{y}}h$ – полные производные от функции $h$ по t и y соответственно. Совершенно аналогично находятся параметрические решения для других уравнений вида (3.3) при целых значениях параметра n.

Используя Лемму 1 можно построить решения уравнения

(3.4)
${{u}_{{tt}}} = {{u}_{{xx}}} - \frac{{2n}}{{\operatorname{sh} x}}{{u}_{x}};\quad n \in \mathbb{N}$

Действительно, пусть $n = 0$. Тогда $u = T\left( {t + x} \right) + X\left( {t - x} \right)$ – общее решение этого уравнения, где $T,X$ – произвольные гладкие функции. Значит, функция

${{u}_{1}} = u - 2{{u}_{x}}\operatorname{th} \frac{x}{2}$
удовлетворяет уравнению

${{({{u}_{1}})}_{{tt}}} = {{({{u}_{1}})}_{{xx}}} - \frac{2}{{\operatorname{sh} x}}{{({{u}_{1}})}_{x}}$

Последовательно применяя дифференциальную подстановку, указанную в лемме, получаем формулу для решения

${{u}_{n}} = \mathop \prod \limits_{k = 0}^{n - 1} \left( {1 - \frac{2}{{1 + 2k}}\operatorname{th} \frac{x}{2}\frac{\partial }{{\partial x}}} \right)u$
уравнения

(3.5)
${{({{u}_{n}})}_{{tt}}} = {{({{u}_{n}})}_{{xx}}} - \frac{{2\left( {n + 1} \right)}}{{\operatorname{sh} x}}{{({{u}_{n}})}_{x}};\quad n \in \mathbb{N}$

Если взять функцию

$g = \frac{{2n}}{{\operatorname{sh} x}};\quad n \in \mathbb{Z}$
то в этом случае функция замены переменной имеет вид

$\alpha = x - 2{\kern 1pt} \mathop \sum \limits_{i = 1}^n \frac{{\operatorname{cth} \left( {x{\text{/}}2} \right)}}{{2i - 1}}$

Обратная функция для $\alpha $ не является элементарной, поэтому функция $s$ в соответствующем уравнении (1.2) не элементарная. Переход от уравнения (1.2) к уравнению (1.1) тоже осуществляется с использованием преобразования Лежандра. Однако само уравнение (1.1) и его параметрические решения не выражаются с помощью элементарных функций.

Следует отметить, что уравнение (2.1) обладает двумя промежуточными интегралами (инвариантами характеристик первого порядка) вида

${{{v}}_{t}} \pm \int {\sqrt {f\left( {{{{v}}_{x}}} \right)} d{{{v}}_{x}}} = \operatorname{const} $

В частности, уравнение

(3.6)
${{{v}}_{{tt}}} = {v}_{x}^{{2n}}{{{v}}_{{xx}}};\quad n \in \mathbb{R}$
имеет два промежуточных интеграла

${{{v}}_{t}} \pm \frac{1}{{n + 1}}{v}_{x}^{{n + 1}} = {\text{const}}$

Таким образом, после выбора знака плюс или минус, мы приходим к уравнению с частными производными первого порядка

${{{v}}_{t}} \pm \frac{1}{{n + 1}}{v}_{x}^{{n + 1}} + c = 0;\quad c \in \mathbb{R},$
любое решение которого удовлетворяет уравнению (3.6). Интегральными поверхностями данного уравнения первого порядка являются специальные развертывающиеся поверхности, образованные из прямых. Подробности построения этих поверхностей можно найти в [21].

Заключение. Применяемые в работе методы можно распространить на другие типы математических моделей. Прежде всего, следует рассмотреть эллиптические и параболические уравнения. Особенно интересно развить эти методы для многомерных уравнений. Некоторые примеры представлены в [12].

В последние годы появился новый способ построения решений уравнений с частными производными – метод инвариантных подпространств. Подробное описание этого метода можно найти в [22].

Работа поддержана Красноярским математическим центром, финансируемым Минобрнауки РФ в рамках мероприятий по созданию и развитию региональных НОМЦ (Соглашение 075-02-2022-873).

Список литературы

  1. Бреховских Л.М. Волны в слоистых средах. М.: Наука, 1973.

  2. Куликовский А.Г., Свешникова Е.И. Нелинейные волны в упругих средах. М.: Московский лицей, 1998.

  3. Овсянников Л.В. Лекции по основам газовой динамики. Ижевск: Ин-т компьют. исслед., 2003.

  4. Работнов Ю.Н. Механика деформируемого твердого тела. М.: Наука, 1988.

  5. Овсянников Л.В. Групповой анализ дифференциальных уравнений. М.: Наука, 1978.

  6. Ибрагимов Н.Х. Группы преобразований в математической физике. М.: Наука, 1983.

  7. Захаров В.Е., Манаков С.В., Новиков С.П., Питаевский Л.П. Теория солитонов: метод обратной задачи. М.: Наука, 1980.

  8. Абловиц М., Сегур Х. Солитоны и метод обратной задачи М.: Мир, 1987.

  9. Сидоров А.Ф., Шапеев В.П., Яненко Н.Н. Метод дифференциальных связей и его приложения в газовой динамике. Новосибирск: Наука, 1984.

  10. Эйлер Л. Интегральное исчисление. Т. 3. М.: ГИФМЛ, 1958.

  11. Дарбу Ж.Г. Лекции по общей теории поверхностей и геометрические приложения анализа бесконечно малых. В 4 тт. Том 2. Ижевск: Ин-т компьют. исслед., 2013.

  12. Капцов О.В. Методы интегрирования уравнений с частными производными. М.: Физматлит, 2009.

  13. Черный Г.Г. Газовая динамика. М.: Наука, 1988.

  14. Новацкий В.К. Волновые задачи теории пластичности. М.: Мир, 1978.

  15. Medwin H., Clay C. Fundamentals of Acoustical Oceanography. Acad. Press, 1997.

  16. Ames W.F., Lohner R.J., Adams E. Group properties of ${{u}_{{tt}}} = {{[f\left( u \right){{u}_{x}}]}_{x}}$ // Int. J. Nonlin. Mech. 1981. V. 16. P. 439–447.

  17. Bluman G.W., Kumei S. On invariance properties of the wave equation // J. Math. Phys. 1987. V. 28. P. 307–318.

  18. Bluman G.W., Cheviakov A.F. Nonlocally related systems, linearization and nonlocal symmetries for the nonlinear wave equation // J. Math. Anal. Appl. 2007. V. 333. P. 93–111.

  19. Pelinovsky E., Kaptsov O. Traveling waves in shallow seas of variable depths // Symmetry. 2022. V. 14(7). P. 1448.

  20. Аксенов А.В. Симметрии и соотношения между решениями класса уравнений Эйлера–Пуассона–Дарбу // Докл. РАН. 2001. Т. 381. № 2. С. 176–179.

  21. Камке Э. Справочник по дифференциальным уравнениям в частных производных первого порядка. М.: Наука, 1966.

  22. Galaktionov V., Svirshchevskii S. Exact Solutions and Invariant Subspaces of Nonlinear PDEs in Mechanics and Physics. Chapman&Hall/CRC Appl. Math.&Nonlin. Sci., 2006.

Дополнительные материалы отсутствуют.