Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике I. Интегрируемая система Вольтерра определяется уравнениями Одним из важнейших свойств системы Вольтерра является то, что в континуальном пределе уравнения (1.1) переходят в уравнение Кортевега – де Фриза и тем самым являются его интегрируемой дискретизацией. Теорема 1. При любом целом $p \geqslant 2$ динамическал систела допускает представление Лакса с произвольным спектральным параметром и в континуальном пределе переходит в уравнение КдФ (1.2). Доказательство. Рассмотрим уравнение Јакса $\dot{\mathrm{L}}=[\mathrm{L}, \mathrm{A}]$ вида где $E$ – произвольпый параметр, матрицы $a$ и $k$ имеют только один непулевой элемент в каждой строке и каждом столбце, которые определяются формулами Уравнение (1.4) эквивалентно системе трех матричных уравнений (коэффициенты при степенях спектрального параметра $E$ ): Второе уравнепие (1.6) удовлетворено, если матрица $b$ имеет вид При этом в силу (1.5) матрица $b$ является диагональной со следующими ненулевыми элементами: Первое уравнение (1.6) эквивалентно уравнениям $\dot{a}_{i}=$ $=a_{i}\left(b_{i}-b_{i+1-p}\right)$, которые после подстановки формул (1.8) принматот вид (1.3). Поэтому динамическая система (1.3) эквивалентна уравнепию Лакса (1.4), (1.5), (1.7). Для получения континуалыпого предела динамической системы (1.3) предположим, что справедтивы равенства где $u(t, x)$ – некоторая гладкая функция. Система (1.3) после подстановки (1.9) переходит в систему После подстановти разложения фупкции $u\left(t, x_{j} \pm k \varepsilon\right)$ в ряд Тейлора в точке $\left(t, x_{j}\right)$ находим $\left(\mu=\frac{1}{3} \sum_{h=1}^{p-1} k^{3}\right)$ Уравнение (1.11) после перехода $\kappa$ новым переменшым $t^{\prime}=t, x^{\prime}=x+p(p-1) \varepsilon t$ принимает вид После замены переменных и перехода к пределу $\varepsilon \rightarrow 0$ уравнение (1.12) преобразуется в уравнение Кортевега – де Фриза $u_{\tau}=6 u u_{x}-u_{x x x}$. Теорема 1 доказана. Динамическую систему (1.3) можпо представить в виде где ядро $T_{h k^{\prime}}$ аштисимметрично и определяется формулами Поэтому система (1.3) является кинетическим уравнением, описывающим перенос энергии ленгмюровских колебаний в случае, когда спектр (в $k$-пространстве) имеет струйную структуру [43]. Простое вычисление приводит к следующим формулам: где $s_{i} \geqslant 0, s_{0}=0, C(s)=(k+1) r+1-s_{1}-\ldots-s_{k}, s_{1}+\ldots$ $\ldots+s_{k} \leqslant(k+1) r$. Интегралы $I_{k}$ определены при условиях: 1) периодичности, $a_{i} \equiv a_{i+n}$;2) непериодичности, при $a_{k}=0$ для $k \leqslant p-1$ и $k>n$. Интеграл $I_{k}(a)$ является однородным многочленом степени $k$. Разумеется, между иптегралами $I_{k}(k=1,2, \ldots)$ имеются некоторые функциональные соотношения. Простейший интеграл $I_{1}$ имеет вид $I_{1}=\sum_{i=1}^{n} a_{i}$. В периодическом случае имеется еще один шервый интеграл $J_{1}=\prod_{i=1}^{n} a_{i}$. С динамической системой (1.3) в периодическом случае $\left(a_{i+n} \equiv a_{i}\right.$ ) связана риманова поверхность $\Gamma$, определенная уравнением Коэффициенты уравнения (1.15) тажже являются первыми интегралами динамической системы (1.3). где $H=\sum_{m} \exp u_{m}$. Оператор $I_{i m}$ является кососимметрическим и имеет следующие ненулевые компоненты: В силу представления (1.16) динамическая система (1.3) является гамильтоновой с гамильтонианом $H$. По-видимому, интегралы $I_{h}$ (1.14) инволютивны относительно скобок Пуассона $\{F, G\}=\sum_{i, m} I_{i m} \frac{\partial F}{\partial u_{i}} \frac{\partial G}{\partial u_{m}}$, и система является вполле интегрируемой по Лиувиллю. Из представления Лакса (1.4) со спектральным параметром $E$ следует пнтегрируемость системы (1.3) в периодическом случае $a_{i+n} \equiv a_{i}$ в тэта-функциях римановой поверхности $\Gamma$ (1.15). IV. Динамические системы (1.3) входят в общий класс систем, выделенных В. Вольтерра в математической теории борьбы за существование биологических видов [23]. При этом величина $a_{k}(t)$ является численностью популяции $k$-го вида (или ее плотностью); предполагается, что пищей для $i$-го вида являются особи видов $i+1, i+2, \ldots, i+p-1$. В работе [46] рассматривался, независимо от работ $[12,21,47]$, спедиальный случай конечномерных динамических систем (1.3) в периодическом случае $a_{i+n} \equiv a_{i}$ и при условии $n=2 p-1$. В этом случае любые два вида $a_{i}, a_{j}$ «взаимодействуют» друг с другом (как хищник и жертва). В работе [46] при $n=2 p-1$ с помощью комбинаторных методов найдены формулы для $p$ первых интегралов рассматриваемой динамической системы. Формулы (1.14) в специальном случае $n=2 p-1$ отличаются от формул первых интегралов, полученных в работе [46]. В частности, все первые интегралы, указанные в работе [46], имеют нечетные степени $a_{j}: 1,3, \ldots, 2 p-1$. Совпадают только первые интегралы $I_{1}$ и $J_{1}$. где $k \in \mathbb{C}-$ спектральный параметр. Линейное пространство решений уравнений (1.18) имеет размерность p. Выделим в этом пространстве два базиса собственных функций $\varphi_{i}(k, t)$ и $\psi_{i}(k, t)$, которые имеют следующие асимштотики при $n \rightarrow \pm \infty$ : Числа $z_{i}(k), z_{j}(k)$ являются корнями уравнения Два базиса собственных функций $\varphi_{i}(k, t), \psi_{j}(k, t)$ связаны линейным соотношением Матрица $\mathrm{B}_{i j}(k, t)$ называется матрицей рассеяния. Покажем, что функции $\varphi_{i}(k, t)$ п $\psi_{i}(k, t)$ удовлетворяют уравнению Действительно, из уравнения Лакса, как известно, следует уравнение в силу которого функция $\varphi=\varphi_{i}+A \varphi_{i}$ является собственной функцией оператора $L$ и поэтому имеет представление в виде $\varphi=c_{1} \varphi_{1}+\ldots+c_{p} \varphi_{p}$. В силу асимптотики (1.19) имеем Поэтому $c_{j}=-\left(p+z_{i}^{p}\right) \delta_{i j}$, и уравнение (1.22) доказано. Подставим соотношения (1.21) в уравнения (1.22), получим равенства Отсюда находим уравнения, определяющие динамику комнонент $B_{i j}(k, t)$ : Поэтому динамика компонент матрицы рассеяния полностью интегрируется: Очевидно, справедливы соотношения Решение оистемы уравнений (1.3) по методу обратной задачи рассеяния состоит из трех этапов: Этап I состопт в пахождении начальных дапных рассеяния по известной начальной матриде $\mathrm{L}(0)$, т. е. сводится к решению задачи на собственные значения для бесконечной матрицы L. Этап II заключается в исследовании динамики компонент матрицы рассеяния. Решение этой задачи получено выше и определяется формулами (1.26). Этап III состоит в восстановлении коэффициентов $a_{n}(t)$ по найденным данным рассеяния $\widehat{B}_{i j}(k, t)$. Эта задача, видимо, будет исследована в дальнейшем. Заведомо ясно, что полная матрица расісеяния $\mathrm{B}_{i j}(k, t)$, зависящая от произвольного комплексного параметра $k$, содержит избыточную информацию. Если ограничиться вещественными значениями параметра $k$, то множество корней уравнения (1.20) разбивается на пары комплексно сопряженных корпей и между коэффициентами $\mathrm{B}_{i j}(k, t)$ появляются тождественные соотношения. Лишь при исключительном значении параметра $k=0$ все решения уравнений (1.18) являются ограниченными при $n \rightarrow$ $\rightarrow \pm \infty$, т. е. все корни $z_{i}$ уравнения (1.20) удовлетворяют условию $\left|z_{i}\right|=1$; при этом $z_{i}^{p}=-1$. Система (1.3) эквивалентна второму матричному уравнению со спектральным параметром $E$, имеющему вид где компоненты матриц $\mathrm{L}(t, E)$ и $\mathrm{A}(t, E)$ определены формулами (1.29). Уравнение (1.30) имеет набор перівх интегралов $I_{k}=\operatorname{Tr}(\mathrm{L}(t, E))^{k}, k=1,2, \ldots$, поэтому собственные числа матрицы $\mathrm{L}(t, E)$ являются первыми интегралами динамической системы (1.3). В случае обратимых матриц $L$ уравнение (1.30) эквивалентно уравнению $\mathrm{L}=\left[\mathrm{L}, \mathrm{AL}^{-1}\right]$. При этом матрица $\mathrm{AL}^{-1}$ имеет весьма сложную структуру: все ее элементы, вообще говоря, являются ненулевыми. где матрицы $\mathrm{A}, \mathrm{B}, \mathrm{K}$ имеют размер $n \times n$ и их ненулевые матричные әлементы являются двумерными блоками следующего вида: где коэффициенты $a_{i}, b_{i}$ – комплеконые числа и $\tau(a)=$ $=\bar{a}$. Уравнение (1.31) является следствием уравнений Из формул (1.32), (1.33) получаем Первое уравнение (1.33) после подстановки формул (1.34) принимает вид динамической системы Следствие 1. Динамическая система (1.35) допускает представление Лакса (1.31), (1.32) со спектральным параметром и имеет поэтому набор первых интегралов $I_{m}=\operatorname{Tr}(\mathrm{A}+\mathrm{K} E)^{m}$.
|
1 |
Оглавление
|