Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
Построения данного параграфа во многом, аналогичны построениям § 2 и в случае $p=2$ (модель Вольтерра) переходят в построение работы [30]. Рассмотрим динамическую систему (3.1) в конечномерном непериодическом случае, т. е. при $a_{0}=a_{n}=0$. В представлении Лакса $\overline{\mathrm{L}}=[\mathrm{L}, \mathrm{A}]$ (3.3) матрицы $\mathrm{L}$ и $\mathrm{A}$ размера $n \times n$ имеют следующие ненулевые элементы: Из представления Лакса (3.3) следует, что собственные числа $\lambda_{1}, \ldots, \lambda_{n}$ матрицы $\mathrm{L}$ являются первыми интегралами динамической системы (3.1). Пусть $\psi^{1}, \ldots, \psi^{n}-$ соответствующие им собственные функции, $\mathbf{e}_{1}, \ldots, \mathbf{e}_{n}$ векторы с координатами $\left(\mathbf{e}_{i}\right)_{j}=\delta_{i j}$. Пусть $\mathbf{e}_{1}=\sum_{k=1}^{n} \alpha_{k} \psi^{k}$. В дальнейшем, как и в § 2 , существенпо используется резольвента $\mathrm{R}(\lambda)=(\lambda-\mathrm{L})^{-1}$ оператора $\overline{\mathrm{L}}$; очевидно, справедливы равенства и дифференциальное уравнение Определим функцию Матрица L (4.1) пмеет ненулевые элементы в тех же клетках, что и матрица $\mathrm{L}$ из § 2 . Поэтому в рассматриваемом случае также справедливы лемма 1 § 2 и все равенства (2.4). Следователыно, матрица L (4.1) вместе с любым собственным числом $\lambda$ имеет $p$ собственных чисел $z^{k} \lambda, k=1,2, \ldots, p$, где $z=\exp (2 \pi i / p) ; z^{p}=1$. Так же как и в $\S 2$, из равенства $f(\lambda)=z f(z \lambda)$ следует, что величины $\rho_{k}$ и $\rho_{j}$ совпадают, если соответствующие собственные числа $\lambda_{k}, \lambda_{j}$ связаны соотношением $\lambda_{k}=z^{m} \lambda_{j}$. Переменные $\rho_{k}$ удовлетворяют связи $\rho_{1}+\ldots+\rho_{n}=1$, которая следует из асимптотиюи резольвенты $\mathrm{R}(\lambda)=\lambda^{-1}$ id при $\lambda \rightarrow \infty$. Поэтому число пезависимых коэффициентов $\rho_{h}$, как и число собственных тисел $\lambda_{j}$, не превосхюдит $[n / p]$. Продифферепцируем функцию $f(\lambda)$ (4.4) по времени; в силу уравнения (4.3) имеем Из формул (4.1) следует $\mathrm{Ae}_{1}=0, \mathrm{~A}^{t} \mathbf{e}_{1}=x_{1} \mathbf{e}_{p+1}$, поэтому Обозначим $\psi_{i}^{k}=\left(\psi^{k}, \mathbf{e}_{i}\right)$. В силу определения $\mathrm{L} \psi^{k}=\lambda_{k} \psi^{k}$ имеем систему уравнений из которой следует соотношение После подстановки этого выражения в формулу (4.6) и сокращения на $x_{1}=a_{1} a_{2} \ldots a_{p}$, получаем Дифференцируя разложение (4.4) функции $f(\lambda)$, находим Из равенств (4.7), (4.8) следует система дифференциальных уравнений Покажем, что справедливо равенство Действителыно, в силу определений имеем Асимптотика резольвепты при $\lambda \rightarrow \infty$ имеет вид $\mathrm{R}(\lambda)=$ $=\lambda^{-1} \mathrm{id}$. Для оператора L (4.1) справедлива формула ( $\left.\mathrm{L}^{p} \mathbf{e}_{1}, \mathbf{e}_{1}\right)=a_{1} a_{2} \ldots a_{p-1}$. Поэтому приравнивая асимптотики обеих частей равенства (4.11) при $\lambda \rightarrow \infty$, получаем выражение (4.10). Как отмечалось выше, справедливо равенство $\rho_{1}+$ $+\rho_{2}+\ldots+\rho_{n}=1$. Вследствие этого можно ввести проективные координаты $r_{h}$, для которых Переменные $r_{k}$ определены с точностью до общего множителя. Система уравнений (4.9) в силу равенства (4.10) әквивалентна системе уравнений Уравнения (4.13) являются интегрируемой редукцией динамической системы (3.1). Их решения имеют вид Эти формулы, очевидно, сохраняют равенство переменных $r_{k}, r_{j}$, для которых $\lambda_{k}=z^{m} \lambda_{j}$, так как $z^{p}=1$. Переменные $r_{k}$ как фушкции от $a_{1}, \ldots, a_{n-1}$ строятся с помощью операций линейной алгебры (вычисление резольвенты), которые вполне эффективны. Полное число независимых переменных в системе (4.13) не превосходит $2[n / p]$. При $p=2$ переменные $r_{k}, \lambda_{j}$ образуют систему координат в пространстве $a_{1}, \ldots, a_{n-1}$. В силу этого обстоятелыства в работе [30] было проинтегрировано дискретное уравнение КдФ (уравнения (3.1) при $p=2$ совпадают с дискретным КдФ). В общем случае $p>2$ из проведенных рассуждений следует, что система (3.1) в некоторых координатах $r_{k}, \lambda_{j}, b_{i}$ имеет эквивалентный вид Здесь число координат $b_{i}$ равно $d=n-1-2[n / p]$.
|
1 |
Оглавление
|