Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике $1^{\circ}$. Общая теория интегральных инвариантов создана Пуанкаре и изложена им в III томе «Новых методов небесной механики». Ряд важных дополнений сделал Эли Картан. Они подытожены в его «Интегральных инвариантах» [28]. Основная идея книги Картана – автономизация дифференциальных уравнений, т. е. переход от пространства положений к пространству-времени, в котором координаты $x$ и время $t$ считаются совершенно равноправными переменными. Эта последовательная релятивистская точка зрения оказалась весьма плодотворной и мы применим ее к уравнениям Ламба. Введем $(n+1)$-мерное пространство-время $\widetilde{M}=M^{n} \times \mathbb{R}_{t}$. Его точки (наборы переменных $x_{1}, \ldots, x_{n}, t$ ) будем обозначать буквой $z$. Для дальнейшего несущественно, что пространство-время имеет структуру прямого произведения. или, более кратко, В координатах $z=\{x, t\}$ поле $\tilde{v}$, конечно, имеет компоненты $v, 1$. Для уравнения (2.1) на самом деле несущественно, что его решения параметризованы временем $t$. Ключевую роль здесь играют интегральные кривые поля $\tilde{v}$ : они касаются во всех своих точках векторов из поля $\tilde{v}$. Если параметризовать интегральные кривые в $\widetilde{M}$ переменной $t$ и затем спроектировать их на $M$, то получим решения исходного уравнения (2.1). С этой точки зрения важно не само поле $\tilde{v}$, а определяемое им поле направлений (векторы $\tilde{v}$ можно умножить на любую функцию от $z$, отличную от нуля). Следуя релятивистской механике, интегральные кривые поля $\tilde{v}$ можно называть мировыми линиями. Уравнения Ламба (1.1) имеют следующее эквивалентное представление: Первые $n$ уравнений (по строкам) в точности совпадают с соответствующими уравнениями Ламба, а последнее уравнение есть простое следствие (1.1) (с учетом кососимметричности матрицы $\operatorname{rot} u$ ). Кососимметричная матрица ( $n+1$ )-го порядка в левой части (2.2) есть матрица ротора 1-формы определенной на $\widetilde{M}$. Следовательно, уравнение (2.2) допускает следующую инвариантную запись: Пусть $n$ четно и 2-форма $\phi$ является неособой. Тогда вектор $\tilde{v}$ определен однозначно с точностью до ненулевого множителя. В общем случае у формы $\phi$ имеются другие линейно независимые вихревые векторы. Среди них – векторы $\tilde{w}$, имеющие в координатах $x, t$ компоненты $w, 0$, где $w-$ вихревой вектор 2 -формы $\Omega=d \omega$ в $n$ мерном пространстве $M$. Число независимых вихревых векторов $w$ равно $n-\operatorname{rank}(\operatorname{rot} u)$. Эти векторы играют в нашей теории ключевую роль. Ясно, что векторы вида $\tilde{v}+\tilde{w}$ также будут вихревыми для формы $\phi$. Приведем еще один пример из электродинамики (заимствованный у Картана $[28]$, п.81), где появляется уравнение (2.3). Пусть $E$ и $H-$ электрическое и магнитное поля в пустоте, $c$ – скорость света. Рассмотрим тензор электромагнитного поля $\left\|F_{i j}\right\|$ – кососимметрическую матрицу Ей можно поставить в соответствие внешнюю 2-форму где $x_{1}, x_{2}, x_{3}$ – пространственные декартовы координаты в трехмерном евклидовом пространстве, а $x_{4}=t$ – время. Форма $F$ – замкнута: $d F=0$. Это – следствие двух уравнений Максвелла Следовательно, $F=d f$, где 1-форма называется 4-потенциалом электромагнитного поля. Оставшиеся два уравнения Максвелла приводят к волновому уравнению для коэффициентов $f_{i}$. Ранг кососимметрической матрицы (2.4) может быть одним из чисел: $4,2,0$. Ее определитель равен $c^{2}(E, H)^{2}$. Следовательно, $\operatorname{rank} F=2$, если поля $E$ и $H$ ортогональны и отличны от нуля. Именно этот случай представляет наибольший интерес с точки зрения теории электромагнитных волн. Итак, пусть всюду $(E, H)=0$ и $E^{2}+H^{2} и Проекции интегральных кривых поля (2.6) на $\mathbb{R}^{3}=\left\{x_{1}, x_{2}, x_{3}\right\}$ будут магнитными силовыми линиями, а пространственные компоненты поля (2.7) определяют направление распространения электромагнитной волны. Из леммы о вариации действия ( $§ 6$ гл. I) сразу же выводится вариационный принцип: интегральные кривые поля $\tilde{v}$ являются экстремалями функционала (2.8) в классе кривых с фиксированными концами. Это принцип справедлив и для вихревых полей $\tilde{w}$. Поскольку $t$ компоненты векторов $\tilde{w}$ равны нулю, то интегральные кривые поля $\tilde{w}$ (вихревые линиии) лежат на гиперповерхностях $t=$ const и поэтому их можно считать кривыми на конфигурационном пространстве $M$. В этом случае вариационный принцип можно слегка изменить: вихревые линии являются экстремалями функционала где $\gamma$ – ориентированные кривые на $M$. Здесь время $t$ считается параметром. Если коэффициенты 1-формы $\varphi$ периодичны по $t$ (скажем, с периодом $\tau$ ), то в качестве пространства-времени $\widetilde{M}$ можно принять «цилиндр» – прямое произведение $M$ и окружности $\{t \bmod \tau\}$. В этом случае среди мировых линий могут оказаться замкнутые кривые. Легко понять, что они доставляют стационарные значения функционалу (2.8), определенному на пространстве всех замкнутых кривых. Этот простой результат может оказаться полезным для доказательства существования периодических решений системы (2.1). Примером может служить теорема Конли-Цендера [67] о наличии $n+1$ различных $\tau$-периодических решений уравнений Гамильтона на $2 n$-мерном торе с $\tau$-периодическим гамильтонианом. Действительно, по теореме Стокса, разность этих интегралов равна Однако этот интеграл равен нулю, поскольку 2-форма $\phi$ обращается в нуль на любой паре линейно независимых векторов, касающихся $\Gamma$ (ввиду (2.3), поскольку $\tilde{v}$ касается $\Gamma$ по построению). Равенство (2.9) содержит как частный случай интегральный инвариант Пуанкаре -Картана ( $\S 6$ гл. I). В качестве формы $\varphi$ надо взять 1-форму энергии-импульса в расширенном фазовом пространстве. Если $\gamma_{1}$ и $\gamma_{2}$ – сечения трубки мировых линий гиперповерхностями $t=t_{1}$ и $t=t_{2}$, то равенство (2.9) переходит в теорему 2 из $\S 1$. Заменим теперь мировые линии вихревыми линиями – интегральными Рис. 18. Трубка мировых линий кривыми вихревого поля $\tilde{w}$. Поскольку поле $\tilde{w}$ также удовлетворяет (2.3), то интеграл по замкнутому циклу от 1-формы $\varphi$ будет относительным инвариантом для системы уравнений задающая вихревые линии, при каждом значении $t$ допускает (как и система $\dot{x}=v(x, t))$ интегральный инвариант Здесь $\gamma$ – любой замкнутый контур на конфигурационном пространстве $M$. Этот факт обобщает наблюдение Картана ([28], п.24), что дифференциальные уравнения траекторий и дифференциальные уравнения вихревых линий в гидродинамике идеальной жидкости допускают один и тот же линейный интегральный инвариант. $5^{\circ}$. По формуле Стокса каждому относительному интегральному инварианту (порождаемому $k$-формой $\omega$ ) отвечает абсолютный интегральный инвариант (порождаемый $(k+1)$-формой $\Omega=d \omega)$. Это замечание принадлежит Пуанкаре (как и общая формула (2.10)). Таким образом, система дифференциальных уравнений (1.2) допускает абсолютный инвариант где $\sigma$ – произвольная двумерная поверхность (в общем случае с краем). Этот результат несложно получить прямым вычислением. Для этого применим операцию внешнего дифференцирования к обеим частям равенства (1.8): Мы использовали известные тождества: Для доказательства инвариантности интеграла (2.11) осталось использовать равенство (1.9). Точнее говоря, это – матричная форма уравнения Поскольку форма $\Omega$ замкнута ( $d \Omega=0$ ), то (2.12) и (2.14) эквивалентны. К уравнению (2.14) приводится известное уравнение (1.1) (гл. I) для изменения соленоидального поля, вмороженного в поток. Для обычного уравнения Ламба в трехмерном евклидовом пространстве уравнение (2.13) принимает вид хорошо известного уравнения для изменения вихря: Легко показать, что 2-формы $\Omega$ и $\phi$ связаны соотношением Действительно, так как $\varphi=\omega-h d t$, то Согласно (1.7), $-d h=\partial \omega / \partial t+i_{v} \Omega$. Отсюда сразу следует (2.16). Предложение 2. Предположим, что система (1.2) имеет абсолютный интегральный инвариант с $k$-формой $\Omega$. Тогда система (2.1) допускает абсолютный инвариант (2.15) с $k$-формой При $k=2$ получаем (2.16). Предложение 2 фактически принадлежит Картану ([28], п.30), только вместо явной формулы для $\phi$ Картан приводит правило ее вывода: в явное выражение для формы $\Omega$ вместо дифференциалов $d x_{i}$ надо подставить разности $d x_{i}-v_{i} d t$. В качестве примера рассмотрим движение сплошной среды в евклидовом пространстве $E^{3}=\left\{x_{1}, x_{2}, x_{3}\right\}$, описываемое системой уравнений Функции $v_{i}$, разумеется, зависят от $x$ и $t$. Пусть $\rho(x, t)$ – плотность вещества в точке $x$ и в момент времени $t$. Масса, заполняющая трехмерный объем $\tau$ в момент времени $t$, равна интегралу Этот интеграл представляет, конечно, абсолютный инвариант системы (2.18). Сохранность интеграла (2.19) выражается известным уравнением неразрывности (1.3) из гл. I. Применяя к 3 -форме $\Omega=\rho d^{3} x$ преобразование (2.17), приходим к 3 -форме Картан назвал эту форму элементом материи. Если мы рассмотрим трехмерную совокупность частиц сплошной среды, причем каждая частица рассматривается в свой определенный момент ее движения, то в четырехмерном пространстве-времени $\left\{x_{1}, x_{2}, x_{3}, t\right\}$ получим трехмерную область $\tau^{*}$. Интеграл от 3-формы $\phi$ по $\tau^{*}$, очевидно, равен общей массе совокупности рассматриваемых частиц. Как заметил Картан, в общем случае предложение 2 не справедливо для относительных инвариантов. Мы дополним наблюдения Картана следующим утверждением. Предложение 3. Предположим, что система (1.2) имеет относительный интегральный инвариант с $k$-формой $\Omega$ : причем $(k-1)$-форма $\Lambda$ порождает абсолютный инвариант: Тогда система (2.1) допускает относительный инвариант с $k$-формой (2.17), причем где Здесь $\tilde{d}$ обозначает операцию внешнего дифференцирования в $(n+1)$-мерном пространстве-времени. Фазовый поток этой системы $g_{u}^{\alpha}$ при малых значениях $\alpha$ можно трактовать как операцию варьирования. Пусть $\gamma$ – любой отрезок на мировой линии. Будем говорить, что действие (2.8) инвариантно относительно однопараметрической группы $g_{u}^{\alpha}$, если Теорема 4. Если группа преобразований g $_{\text {и }}$ пространства-времени не меняет значений функционала действия, то уравнения (1.2) имеют первый интеграл $\varphi(u)$. Доказательство. Здесь $z_{1}, z_{2}$ – концевые точки отрезка $\gamma$. Поскольку вектор $\tilde{v}$ касается $\gamma$ и справедливо равенство (2.3), то интеграл в правой части равенства (2.21) обращается в нуль. Следовательно, функция $\varphi(u)$ принимает постоянные значения на каждой мировой линии.
|
1 |
Оглавление
|