Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике I. Бесконечная (по индексу $k$ ) цепочка Тода в опредленном континуальном пределе переходит в уравнение нелинейной струны [70] которое оказывается связанным с уравнением КдФ [70]. Предположим, что существует гладкая функция $u(t, x)$ такая, что $q_{k}(t)=u\left(t, x_{k}\right)$, где $x_{k}=k \varepsilon$. После указанной подстановки система (5.2) в пределє при $\varepsilon \rightarrow 0$ переходит в уравнение Уравнение (5.3) лагранжево с лагранжианом Эквивалентная форма уравнения (5.3) имеет вид Здесь функции $u(t, x)$ и $v(t, x)$ связаны соотношениями которые разрешимы в силу уравнения (5.3). Доказательство. Рассмотрим в алгебре линейных операторов на пространстве гладких функций на прямой уравнение Лакса со спектральным параметром $E$ : где линейные операторы $\mathrm{L}(E, t)$ и $\mathrm{A}(E, t)$ имеют вид Здесь $a(t, x), b(t, x)$ – некоторые гладкие функции, $\mathrm{P}_{\varepsilon}-$ оператор сдвига являющийся автоморфизмом в алгебре функций на прямой. Уравнение $(5.8),(5.9)$ эквивалентно уравнениям Уравнения (5.11) после перехода к пределу при $\varepsilon \rightarrow 0$ принимдют вид В силу вұорого уравнения (5.12) существует функция $v(t, x)$, удовлетворяющая равенствам Первое уравнение (5.12) после подстановки формул (5.13) переходит в уравнение (5.5). Уравнения (5.11). при любом $\varepsilon$ эквивалентны уравнению Лакса (5.8), (5.9), к которому применима лемма 1 из § 1 гл. VII. Поэтому уравнения (5.11) имеют счетный набор первых интегралов $I_{m}$, которые являются интегралами по $x$ от коэффициента при нулевом сдвиге в операторе При $\varepsilon \rightarrow 0$ уравнения (5.11) переходят в уравнение (5.5)’. Поэтому первые интегралы $I_{m}$ уравнений (5.11) при $\varepsilon \rightarrow 0$ переходят в первые интегралы уравнения (5.5). Коәффициент при нулевом сдвиге в операторе (5.14) при $\varepsilon \rightarrow 0$ переходит в коэфициент $c_{m}$ при $E^{0}$ в разложении функции по степеням параметра $E$. Этот коэффициент $c_{m}$ определяется формулой Поэтому после подстановки (5.13) получаем первые пнтегралы (5.7) уравнения (5.5). Утверждение 1 доказано. Простейшее автомодельное решение уравнения имеет вид II. Покажем, что уравнения (5.3), (5.5) имеют решения, которые с течением времени становятся многозначными. Уравнение (5.3) после дифференцированыя по $x$ п замены $u_{x}=w$ принимает вид Рассмотрим дифференциальное уравнение Дифференцируя уравнение (5.17) по $t$ и подставляя выражение $w_{t}$, в силу (5.17) получаем Поэтому любое решение уравнения (5.17) является также решением уравнения (5.16). Уравнение (5.17) после замены $f=\exp (w / 2)$ переходит в классическое уравнение опрокидывающейся волны Римана В силу уравнения (5.18) каждая точка графика функции $f(t, x)$ перемещается при изменении времени $t$ горизонтально со скоростью \&f. Такое изменение графика приводит к явлению «перехлеста»- возникновению неоднозначности функции $f(t, x)$. В газовой динамике это явление служит формальной причиной возникновения ударных волн. Таким образом, уравнение (5.16) (и следовательно, уравнения (5.3), (5.5)) имеет решения, удовлетворяющие уравнению (5.17) – (5.18), которые при изменении времени $t$ становятся многозначными. Предположим, что существует гладкая функция $u(t, x, y)$ такая, что $q_{k}(t, x)=u\left(t, x, y_{k}\right)$, где $y_{k}=k \varepsilon$. После указанной подстановки и перехода к пределу при $\varepsilon \rightarrow 0$ уравнения (5.19) переходят в уравнение Уравнение (5.20) является лагранжевым с лагранжианом Эквивалентная форма уравнения (5.20) имеет вид Здесь функции $u(t, x, y)$ и $v(t, x, y)$ связаны соотношениями которые разрешимы в силу уравнения (5.20). переходит в уравнение Лиувилля для фупкции $\varphi(t, x)$ : Замена (5.24) после использования точных формул для решений уравнения Лиувилля приводит к следующим точным решениям уравнения (5.20): где $A(x), B(t), C(x), D(t)$ – произвольные функции. переходит в неоднородное волновое уравнение $\varphi_{t x}=b$. Поэтому уравпение (5.20) имеет следующие точные решения: где $A(x)$ и $B(t)$ – произвольные функции. очевидно эквивалентному уравнению (5.3). Уравнение (5.20), (5.28) впервые было выведено в 1987 году в работе [12]. Оно существенно отличается от уравнения которое возникло при изучении автодуальных решений уравнений Эйнштейна для положительно определенных метрик $[82,83]$. Связь уравнений вида с континуальными алгебрами Ли изучалась в работах $[86,87]$. где $f(w), g(w)$ – некоторые функции. Продифференцировав первое уравнение (5.30) по $x$, а второе по $t$ и подставив выражения $w_{t}$ и $w_{x}$, в силу уравнений (5.30) находим Поэтому уравнения (5.30) совместны. Из уравнений (5.30), (5.32) следуют уравнения Каждое из этих уравнений совпадает с уравнением опрокидывающейся волны Римана. Поэтому непостоянные решения уравнений (5.33) и, следовательно, соответствующие им решения уравнения (5.28) при изменении времени $t$ становятся многозначными. В простейшем случае $f(w)=c_{1} \exp (w / 2), \quad g(w)=$ $=c_{2} \exp (w / 2)$ из уравнений (5.30) находим и уравнения (5.30) сводятся к одному уравнению опрокидывающейся волны Римана $f_{\tau}=f f_{y}$. Замечание. Уравнение (5.29) для функций вида $w(x, y, z)=w(\tau, x), \tau=\alpha x+\beta y$ переходит в уравнение $\left(\alpha^{2}+\beta^{2}\right) w_{\tau \tau}=(\exp w)_{z z}$, эквивалентное уравнению (5.3), (5.16). Поэтому уравнение (5.29) для решений вида $w(\tau, z)$ имеет счетное множество первых интегралов и может быть линеаризовано с помощью преобразования годографа (см. § 6). Пусть $\mathrm{L}(E, t, x)$ и $\mathrm{A}(E, t, x)$ – линейные операторы, действующие на пространстве функций $\varphi(y)$, определенные формулами где $\mathrm{P}_{\varepsilon}$ – оператор сдвига по $y: \mathrm{P}_{\varepsilon}(\varphi)(y)=\varphi(y+\varepsilon)$; $E, \varepsilon-$ произвольные параметры. Уравнение (5.34), (5.35) эквивалентно системе уравнений Уравнения (5.36) после замены $t_{1}=t+x_{1}, x=\varepsilon^{-1} x_{1}$ и перехода к пределу при $\varepsilon \rightarrow 0$ преобразуются в уравнения В силу второго уравнения (5.37) существует функция $v(t, x, y)$ такая, что $a=v_{t}, b=v_{y}$. После подстановки этих выражений первое уравнение (5.37) переходит в уравнение (5.22),
|
1 |
Оглавление
|