<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/css" href="math.css"?>
<article xmlns="http://xml-maiden.com">
<title>Неканоническая симметрия модифицированных уравнений Бусинеска</title>
<authors>Георгий Чавчанидзе</authors>
<affiliation>
Отдел Теоретической Физики,
Институт Математики им. Размадзе,
ул. Алексидзе 1, Тбилиси 0193, Грузия
</affiliation>
<abstract>
Рассматривается однопараметрическая группа симметрии
модифицированных уравнений Бусинеска. Показано, что
эта симметрия естественно порождает бесконечное
семейство законов сохранения.
</abstract>
<keywords>Неканоническая симметрия; Законы сохранения; модифицированные уравнения Бусинеска;</keywords>
<msc> 70H33; 70H06; 58J70; 53Z05; 35A30</msc>
<paragraph>
В гамильтоновых системах законы сохранения тесно связаны с симметриями
эволюционных уравнений. В случае уравнения Бусинеска эта связь особенна
тесна, так как весь бесконечный набор законов сохранения лежит на одной
орбите простой однопараметрической группы симметрии.
Мы рассматриваем некоторые геометрические свойства этой симметрии
и доказываем что эти свойства гарантируют инволютивность законов сохранения.
</paragraph>
<paragraph>
Напомним, что модифицированная система Бусинеска задается
следующим набором диференциальных уравнений в частных производных
<formula xml:id="e1">
u<sub>t</sub> = cv<sub>xx</sub> + u<sub>x</sub>v + uv<sub>x</sub><line />
v<sub>t</sub> = − cu<sub>xx</sub> + uu<sub>x</sub> + kvv<sub>x</sub>
</formula>
где <math>u = u(x, t), v = v(x, t)</math> — гладкие функции на <math>ℝ²</math>,
которые удовлетворяют граничным условиям <math>u(±∞, t) = v(±∞, t) = 0</math>,
а <math>c</math> и <math>k</math> вещественные константы.
В случаях, когда <math>k = − 1</math> или <math>k = 3</math>, модифицированная
система Бусинеска обладает нетривиальной бигамильтоновой структурой,
которая существенно облегчает анализ системы в этих двух случаях. 
Первый случай описан в статьях <cross ref="r2">[2]</cross>,<cross ref="r5">[5]</cross>,<cross ref="r6">[6]</cross>,
в то время как в этой статье мы хотим обратить внимание на второй сектор
и показать, что в случае <math>k = 3</math> бигамильтонова структура модифицированной
системы Бусинеска связана с неканонической симметрией
<cross ref="r1">[1]</cross> уравнений <cross ref="e1">(1)</cross>.
Итак, в случае <math>k = 3</math> модифицированные уравнения Бусинеска
<formula xml:id="e2">
u<sub>t</sub> = cv<sub>xx</sub> + u<sub>x</sub>v + uv<sub>x</sub><line />
v<sub>t</sub> = − cu<sub>xx</sub> + uu<sub>x</sub> + 3vv<sub>x</sub>
</formula>
могут быть записаны в бигамильтоновой форме
<formula xml:id="e3">
u<sub>t</sub> = W(dh ∧ du) = Ŵ(dĥ ∧ du)<line />
v<sub>t</sub> = W(dh ∧ dv) = Ŵ(dĥ ∧ dv)
</formula>
где <math>W</math> и <math>Ŵ</math> — согласованные пуассоновы бивекторные поля,
т.е. выполнено
<formula>
[W , W] = [W , Ŵ] = [Ŵ , Ŵ] = 0,
</formula>
которые имеют вид
<formula xml:id="e5">
W = <scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> ½(A ∧ A<sub>x</sub> + B ∧ B<sub>x</sub>)dx<line />
Ŵ = <scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (uB ∧ A<sub>x</sub> + vB ∧ B<sub>x</sub> − cA<sub>x</sub> ∧ B<sub>x</sub>)dx,
</formula>
а <math>A, B</math> — векторные поля, которые для каждого гладкого функционала
<math>R = R(u)</math> могут быть определены с помощью вариационных производных
<formula>
A(R) = <fraction><num>δR</num><den>δu</den></fraction>,          B(R) = <fraction><num>δR</num><den>δv</den></fraction>.
</formula>
Соответствующие гамильтонианы которые участвуют в бигамильтоновой
реализации <cross ref="e3">(3)</cross> имеют вид
<formula>
h = ½<scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (u²v + v³ + 2cuv<sub>x</sub>)dx<line />
ĥ = ½<scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (u² + v²)dx
</formula>
Эта бигамильтонова структура связана с симметрией уравнений <cross ref="e2">(2)</cross>,
но прежде чем мы установим эту связь, напомним, что симметрия эволюционных
уравнений задается группой преобразований
<formula>
(u , v) ↦ (g(u) , g(v))</formula>
которая коммутирует с оператором эволюции
<formula xml:id="e9">
<fraction><num>d</num><den>dt</den></fraction>g(u) = g(u<sub>t</sub>),          <fraction><num>d</num><den>dt</den></fraction>g(v) = g(v<sub>t</sub>).
</formula>
В случае непрерывных однопараметрических групп преобразований
<formula>
g(u) = e<sup>zL<sub>E</sub></sup>(u) = u + zL<sub>E</sub>u + ½z²(L<sub>E</sub>)²u + ⋯<line />
g(v) = e<sup>zL<sub>E</sub></sup>(v) = v + zL<sub>E</sub>v + ½z²(L<sub>E</sub>)²v + ⋯
</formula>
генерируемых неким векторным полем <math>E</math>,
условие <cross ref="e9">(9)</cross> может быть заменено следующим
условием для генератора симметрии <math>E</math>
<formula xml:id="e11">
E(u)<sub>t</sub> = cE(v)<sub>xx</sub> + E(u)<sub>x</sub>v + uE(v)<sub>x</sub> + u<sub>x</sub>E(v) + E(u)v<sub>x</sub><line />
E(v)<sub>t</sub> = − cE(u)<sub>xx</sub> + uE(u)<sub>x</sub> + 3vE(v)<sub>x</sub> + E(u)u<sub>x</sub> + 3E(v)v<sub>x</sub>
</formula>
Среди решений уравнений <cross ref="e11">(11)</cross> следует отметить одно важное
векторное поле — генератор неканонической симметрии, который имеет следующий вид
<formula xml:id="e12">
E = <scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> 
{[xuv + 2t(u³ + 3uv² + 6cvv<sub>x</sub> − 2c²u<sub>xx</sub>)]A<sub>x</sub> − cxvA<sub>xx</sub><line />
+ (xuu<sub>x</sub> + xvv<sub>x</sub>)B + 
[xu² + 2xv² + 2t(5v³ + 3u²v − 6cvu<sub>x</sub> − 2c²v<sub>xx</sub>)]B<sub>x</sub><line />
+ cxuB<sub>xx</sub>}dx
</formula>
Применяя однопараметрическую группу преобразований
<formula>
g(z) = e<sup>zL<sub>E</sub></sup>,
</formula>
генерируемых векторным полем <math>E</math> к центру пуассоновой алгебры,
которая в нашем случае состоит из функционалов вида
<formula>
J = <scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (ku + mv)dx
</formula>
где <math>k, m</math> — произвольные  константы, мы получаем однопараметрическое
семейство функций
<formula xml:id="e15">
J(z) = e<sup>zL<sub>E</sub></sup>J = J + zL<sub>E</sub>J
+ ½(zL<sub>E</sub>)<sup>2</sup>J + ⋯
</formula>
(в действительности это орбита группы неканонических преобразований
которая проходит через центр пуассоновой алгебры).
Интересно что функционалы <math>(L<sub>E</sub>)<sup>m</sup>J</math> находятся в инволюции.
</paragraph>
<theorem>
Орбита <cross ref="e15">(15)</cross> группы неканонических преобразований,
генерированных векторным полем <cross ref="e12">(12)</cross>, является инволютивной
орбитой
<formula>
{J(x) , J(y)} = 0,          ∀x, y ∈ ℝ,
</formula>
а функционалы
<formula xml:id="e17">
J<sup>(m)</sup> = (L<sub>E</sub>)<sup>m</sup>J
</formula>
составляют схему Ленарда бигамильтоновой структуры <cross ref="e5">(5)</cross>
и порождают инволютивное семейство законов сохранения
модифицированной иерархии Бусинеска.
</theorem>
<proof>
Теорема естественным образом следует из геометрических свойств векторного поля <math>E</math>. 
Более конкретно, производная Ли бивекторного поля
<math>W</math> по полю <math>E</math> дает второе бивекторное поле,
входящее  в бигамильтонову систему <cross ref="e5">(5)</cross> 
<formula>
Ŵ = [E , W],
</formula>
в то время как производная Ли второго бивекторного поля <math>Ŵ</math> по <math>E</math>
равна нулю <math>[E , Ŵ] = 0</math>.
Этих свойств достаточно для того, чтобы доказать инволютивность семейства
функционалов <cross ref="e17">(17)</cross>
(т.е. доказать что скобка Пуассона любых двух законов сохранения из бесконечного семейства <cross ref="e17">(17)</cross> равна нулю)
<formula>
{J<sup>(k)</sup> , J<sup>(m)</sup>} = 0          k, m = 0, 1, 2 ...
</formula>
Применяя производную Ли порядка <math>m</math>, т.е.  <math>(L<sub>E</sub>)<sup>m</sup></math>,
к формуле
<formula>
W(dJ<sup>(0)</sup>) = 0,
</formula> 
которая просто означает что <math>J<sup>(0)</sup></math> находится в центре пуассоновой алгебры,
легко доказать что функционалы <cross ref="e17">(17)</cross> составляют схему Ленарда
<formula>
W(dJ<sup>(m + 1)</sup>) = − (1 + m)[E , W](dJ<sup>(m)</sup>)
</formula>
бигамильтоновой системы <cross ref="e5">(5)</cross>.
С другой стороны, хорошо известно <cross ref="r4">[4]</cross>, что функционалы,
учавствующие в схеме Ленарда, находятся в инволюции.
В то же время функционал
<formula>
J<sup>(2)</sup> = (L<sub>E</sub>)²J<sup>(0)</sup> = m<scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (u²v + v³ + 2cuv<sub>x</sub>)dx = 2mH
</formula>
воспроизводит гамильтониан модифицированной системы Бусинеска, так что
функционалы <math>J<sup>(m)</sup></math>, находясь в инволюции с гамильтонианом,
являются законами сохранения.
</proof>
<paragraph>
Подсчитывая производные <math>J<sup>(0)</sup></math> по векторному полю <math>E</math>,
можно получить законы сохранения модифицированной системы Бусинеска в явном виде:
<formula xml:id="e14">
J<sup>(0)</sup> = <scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (ku + mv)dx<line />
J<sup>(1)</sup> = L<sub>E</sub>J<sup>(0)</sup> = <fraction><num>m</num><den>2</den></fraction><scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts>(u² + v²)dx<line />
J<sup>(2)</sup> = (L<sub>E</sub>)²J<sup>(0)</sup> = m<scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (u²v + v³ + 2cuv<sub>x</sub>)dx<line />
J<sup>(3)</sup> = (L<sub>E</sub>)³J<sup>(0)</sup> = 
<fraction><num>3m</num><den>4</den></fraction><scripts><ins>+ ∞</ins><core>∫</core><ins>− ∞</ins></scripts> (u<sup>4</sup> + 5v<sup>4</sup> + 6u²v²<line />
 − 12cv²u<sub>x</sub> + 4c²u<sub>x</sub>² + 4c²v<sub>x</sub>²)dx<line />
J<sup>(m)</sup> = (L<sub>E</sub>)<sup>m</sup>J<sup>(0)</sup> = L<sub>E</sub>J<sup>(m − 1)</sup>
</formula>
</paragraph>
<summary>
Тпт факт что бесконечное семейство законов сохранения модифицированной иерархии
Бусинеска лежит на одной орбите однопараметрической группы неканонической
симметрии наводит на мысль, что неканонические симметрии могут играть
ключевую роль в анализе некоторых интегрируемых моделей, где они могут
существенно облегчить вычисление законов сохранения и пролить свет на
геометрические предпосылки интегрируемости.
Основные результаты статьи могут быть распостранены на случай
периодических граничных условий <math>u(− ∞) = u(+ ∞)</math>, <math>v(− ∞) = v(+ ∞)</math>,
в котором модифицированные уравнения Бусинеска можно рассматривать как
бигамильтонову систему на пространстве петель <cross ref="r4">[4]</cross>,
однако в периодическом случае симметрия <cross ref="e12">(12)</cross> может не сохранять
граничные условия.
</summary>

<acknowledgements>
The research described in this publication was made possible in part by
Award No. GEP1-3327-TB-03 of  the Georgian Research and Development Foundation 
(GRDF) and the 
U.S. Civilian Research &amp; Development Foundation for the 
Independent States of the Former Soviet Union (CRDF).
</acknowledgements>

<references>
<ref xml:id="r1">G. Chavchanidze, Non-Noether symmetries and their influence on phase space geometry, 
J. Geom. Phys. 48 (2003) 190-202</ref>
<ref xml:id="r2">A. Fordy and J. Gibbons, Factorization of operators. II, J. Math. Phys. 22, No. 6 (1981), 1170–1175</ref>
<ref xml:id="r3">F. Magri, A simple model of the integrable Hamiltonian equation, J. Math. Phys. 19 No. 5 (1978), 1156-1162</ref>
<ref xml:id="r4">O. Mokhov, Symplectic and Poisson Geometry on Loop Spaces of Smooth Manifolds and	
Integrable Equations, Routledge, 2004</ref>
<ref xml:id="r5">J.P. Wang, A list of 1 + 1 dimensional integrable equations and their properties,
J. Nonlinear Math. Phys. 9 (2002), suppl. 1, 213–233</ref>
<ref xml:id="r6">J.P. Wang, Symmetries and conservation laws of evolution equations, 
Ph.D. Thesis, Vrije Universiteit van Amsterdam, 1998</ref>
</references>
</article>
