Математические модели и современные физические теории поля Текст научной статьи по специальности «Физика»

УДК 514.774.2:517.972/.974:539.3

МАТЕМАТИЧЕСКИЕ МОДЕЛИ И СОВРЕМЕННЫЕ ФИЗИЧЕСКИЕ ТЕОРИИ ПОЛЯ

В.А. Ковалев, Ю.Н. Радаев*

Московский городской университет управления Правительства Москвы, кафедра прикладной математики; * Самарский государственный университет, кафедра механики сплошных сред E-mail: vlad_koval@mail.ru, radayev@ssu.samara.ru

Работа посвящена основам современной теории поля. Вводятся базовые понятия и определения теории поля в 4-мерном пространстве - времени и развивается лагранжев формализм в самом его сложном варианте, связанный с принципом наименьшего действия Гамильтона и возможностью вариационного описания поля с помощью указанного принципа. Развивается теория геометрических и обобщенных вариационных симметрий и приводится вывод законов сохранения (включая ряд их новых форм) на основе геометрических вариационных симметрий действия. На основе канонических тензорных характеристик поля, определяемых с помощью групп геометрических симметрий действия, найден ряд новых форм первой вариации интеграла действия. Приводится полная теория лагранжиана пустого пространства (нулевого лагранжиана) для пространственно-временного многообразия произвольной размерности. С помощью дивергентного представления лагранжиана пустого пространства для звездообразной области получено его общее выражение, содержащее градиенты поля порядка не выше первого. Показано, что в случае трехкомпонентного поля в трехмерном пространстве нулевой лагранжиан может содержать в общей сложности 15 независимых элементов. Исследован также случай, когда лагранжиан пустого пространства не зависит от сдвигов физических полевых величин. Заключительная часть работы содержит полное изложение теоретико-группового формализма, связанного с современной теорией поля.

Ключевые слова: теория поля, лагранжев формализм, вариационный принцип, законы сохранения, нулевой лагранжиан, теоретико-групповой формализм.

Mathematical Models and Contemporary Theories of Physical Fields

V.A. Kovalev, Yu.N. Radayev*

Moscow City Government University of Management,

Chair of Applied Mathematics;

* Samara State University,

Chair of Continuum Mechanics

E-mail: vlad_koval@mail.ru, radayev@ssu.samara.ru

Elements of the classical field theory based on a variational formulation of the Hamilton type are discussed and corresponding 4-dimensional Lagrange formalism is presented both as the variational and the group theoretical script. Variational symmetries (geometric and generalized) of field equations and the Noethertheorem providing a regular way of obtaining a conservation law for every given variational symmetry are revisited in the study in order to give a complete version of the contemporary field theory. All developments are presented in the non-linear frame (i.e. of finite strains as to continuum mechanics). Natural derivations of all tensor attributes of a physical field are given by the variational symmetry technique. The null Lagrangian theory for n-dimensional manifold (including 4-dimensional Minkowski space-time) is developed in an attempt to extend the canonical formalism of non-linear field theory. By the aid of divergence formula for the null Lagrangians regular in n-dimensional star-shaped domains, a general representation of the null Lagrangian depending as maximum on the first order field gradients is obtained. A method of systematic and derivation of the null Lagrangians for n-dimensional manifold is proposed. It is shown that in the case of nonlinear 3-component field in 3-dimensional space the null Lagrangian is represented, in general, via 15 arbitrary independentfield functions.

Key words: field theory, Lagrange formalism, variational principle, conservation law, null Lagrangian, group theoretical formalism.

ВВЕДЕНИЕ

Вариационная формулировка как средство математического представления физической теории часто рассматривается в качестве самого элегантного и экономичного (в духе принципа «экономии мышления» Маха (E.Mach)) такого представления, по крайней мере для физических теорий, не претендующих на описание диссипативных процессов. Компактность, с которой в вариационных принципах выражаются физические законы, рассматривалась Махом лишь как один из способов «экономии мышления» в познавательной деятельности и никогда не связывалась им с возможностью проявления действующих в природе физических законов в подобной математической форме. Следуя концепции Лейбница (G.W.Leibniz), наш мир является наилучшим из всех возможных миров и, следовательно, его законы выражаются экстремальными принципами.

Классическая аналитическая механика Лагранжа (J.L. Lagrange) и Гамильтона (W.R. Hamilton) является великолепным образцом теории, реализованной с помощью вариационного описания. Базисом вариационного описания здесь служит принцип Гамильтона - Остроградского, или принцип наименьшего действия1. Принцип наименьшего действия часто служит отправной точкой при построении аналитической механики (см., например, [1]). Наконец, следует отметить, что вариационные принципы были положены в основу теории электромагнитного и гравитационного поля в курсе теоретической физики [2]. Механика континуума, являясь классической теорией поля, не должна быть исключением: исследование геометрических и обобщенных (высших) симметрий функционала действия, а также соответствующих им законов сохранения, есть, по-видимому, не только самое мощное средство проникновения в сущность самой механики континуума, но и регулярный метод вывода законов сохранения и соответствующих им инвариантных интегралов, которые часто могут иметь и важное прикладное значение2. Следует к тому же отметить, что теория поля исторически строилась как логическое продолжение механики сплошных материальных сред. Современная термомеханика сплошных сред уже давно выросла в классическую физическую теорию поля. Ярким примером здесь может служить теория связанной гиперболической термоупругости (GN II), которая допускает вариационную формулировку, а следовательно, и полевой Лагранжев вариант представления всех тензорных характеристик и уравнений, относящихся к динамическому связанному термоупругому полю.

Представленный здесь материал3 будет излагаться в следующей последовательности: сначала (разд. 1) рассматриваются вводные понятия классической теории поля в 4-мерном пространстве -времени4, сформулирован принцип Гамильтона - Остроградского (принцип наименьшего действия), критерии абсолютной и инфинитезимальной инвариантности интеграла действия, изложен ограниченный вариант теории геометрических вариационных симметрий действия; теорема Нетер [3] и вывод законов сохранения на основе геометрических вариационных симметрий действия (также пока еще в ограниченном варианте) рассматриваются в разд. 2; следующий раздел работы (разд. 3) посвящен классическим законам сохранения, соответствующим преобразованиям сдвига и поворота пространства - времени, а также повороту трехкомпонентного динамического поля, в этом же разделе приводятся определения и «естественные» канонические представления всех важнейших векторных и тензорных полей нелинейной механики сплошных сред, необходимые для записи законов сохранения в самом общем нелинейном случае (в том числе с учетом динамического вклада в функционал действия); обобщенные геометрические вариационные симметрии действия и соответствующий более общий вариант теоремы Нетер рассматриваются в разд. 4, здесь же выводится одна новая форма вариации действия, которая с помощью трех способов варьирования пространственно-временных координат и полевых переменных позволяет получить (см. разд. 5) ряд новых форм законов сохранения; далее, в разд. б, получена общая форма закона сохранения, соответствующая полному варьированию координат и полей, представленная через два канонических тензора (первого тензора напряжений

1Принцип наименьшего действия был сформулирован Гамильтоном в работах 1834, 1835 гг. (Hamilton W.R. On a general method in dynamics, by which the study of the motions of all free systems of attracting or repelling points is reduced to the search and differentiation of one central relation, or characteristic function Il Philos. Trans. Roy. Soc. L., 1834. Pt. II. P. 247-308; Hamilton W.R. Second assay on a general method in dynamics Il Philos. Trans. Roy. Soc. L., 1835. Pt. I. P. 95-144) и независимо от него М.В. Остроградским в 1848 г.

2См., например: Knowles J.K., Sternberg E. On a class of conservation laws in linearized and finite elastostatics II Arch. Rat. Mech. Anal. 1972. V. 44. P. 187-211; Olver P.J. Conservation laws in elasticity I. General results// Arch. Rational Mech. Anal. 1984. V. 85. P. 119-129; Olver P.J. Conservation laws in elasticity II. Linear homogeneous isotropic elastostatics II Arch. Rational Mech. Anal. 1984. V. 85. P. 131-160; Olver P.J. Symmetry Groups and Path-Independent Integrals II Fundamentals of Deformation and Fracture I Eds. B.A.Bilby et al. Eshelby Memorial Symposium, Sheffield 2-5 April, 1984. Cambridge: Cambridge University Press, 1985. P. 57-71.

3См. также: Радаев Ю.Н. Нелинейная теория упругости как физическая теория поля// Проблемы механики: Сб. статей. К 90-летию со дня рождения А.Ю.Ишлинского I Под ред. акад. Д.М.Климова. М.: Физматлит, 2003. С. 658-684.

4Следует заметить, что число «пространственных» координат в пространстве - времени чаще всего не играет никакой роли. При исследовании некоторых вопросов (таких как, например, повороты трехкомпонентного поля) указанное число существенно.

Пиола - Кирхгофа и тензора напряжений Эшелби); в разд. 7 рассматриваются не геометрические обобщенные группы преобразований (преобразования Ли - Бэклунда) и обобщенные негеометрические вариационные симметрии действия, т.е. самый общий вариант теории вариационных симметрий поля; в качестве важного элемента теории поля следует рассматривать разд. 8, посвященный лагранжиану «пустого пространства» (нулевому лагранжиану)5; теория геометрических и негеометрических обобщенных вариационных симметрий поля во всей своей полноте излагается в разд. 9 в терминах и с помощью алгоритмов группового анализа дифференциальных уравнений в частных производных6.

Теория поля является весьма важной частью современной физики, но систематические изложения ее классических основ недостаточно доступны. Последовательное изложение затрагиваемого круга проблем заинтересованный читатель может найти также в известной монографии [5]. К сожалению, на русском языке имеется весьма ограниченный набор литературных источников по проблеме применения геометрических и обобщенных вариационных симметрий в таких разделах механики сплошных сред, как нелинейная упругость или связанная термоупругость. Так, в известной монографии [6] вообще нет никаких указаний на это.

Вариационное исчисление является на редкость всеобъемлющим математическим методом. Именно в рамках этой науки выкристаллизовались многие понятия математики, механики и физики. Поэтому вариационное исчисление выступает не только как самостоятельная математическая дисциплина, но и как в определенном смысле летопись этих трех наук. По поводу формализма исчисления вариаций для функционалов с переменной областью интегрирования и доказательства теоремы Нетер см. работы [7-12].

Систематическое изложение теории геометрических вариационных симметрий и законов сохранения для систем дифференциальных уравнений в частных производных, следующих из вариационного принципа, дано в 4-й главе монографии [13] (перевод на русский язык см. [14]). В 5-й главе указанной книги приводится теория обобщенных симметрий. Новый вариант изложения этого круга вопросов читатель может найти в монографии [15].

1. ВВОДНЫЕ ПОНЯТИЯ ТЕОРИИ ПОЛЯ

Ниже будут даны необходимые сведения (преимущественно формального плана) из современной теории поля, с помощью которых на единой основе могут быть получены уравнения поля, динамические инварианты поля (энергия, импульс, момент импульса) и инвариантные интегралы. Для по-

5Действие, лагранжиан которого является нулевым, называется нейтральным. Оно стационарно на произвольных физических полях, и поэтому никак не связано со свойствами каких бы то ни было физических полей, что, собственно, и позволяет ассоциировать такое действие не с физическими полями, а с пространством, их «вмещающим». Изложение теории лагранжиана пустого пространства в основном следует по статье [4]. Добавление лагранжиана пустого пространства в силу его дивергентной структуры к лагранжиану физического поля не изменяет условий стационарности действия, хотя и может изменить условие инфинитезимальной инвариантности интеграла действия и выражения для канонических тензоров. Понятие о лагранжиане пустого пространства совершенно необходимо для установления степени определенности канонических тензорных полей, входящих в формулировку законов сохранения. В п. 8.4 приводится полная теория лагранжиана пустого пространства для п-мерного пространственно-временного многообразия (включая 4-мерное пространство - время Минковского). С помощью дивергентного представления лагранжиана пустого пространства для звездообразной области (см. п. 8.1) получено его общее выражение, содержащее градиенты поля порядка не выше первого, в случае произвольного числа измерений пространства -времени. Показано (п. 8.2), что в случае статического трехкомпонентного физического поля в трехмерном пространстве нулевой лагранжиан может содержать в общей сложности 15 независимых элементов. Исследован также случай, когда лагранжиан пустого пространства не зависит от сдвигов физических полевых величин (см. п. 8.5). Лагранжианы пустого пространства выступают в качестве основы решения одной важной задачи вариационного исчисления об «интегрирующем множителе». Эта проблема, которой посвящен п. 8.6, состоит в поиске таких функций, зависящих от пространственно-временных переменных, полевых переменных и их градиентов, которые позволяли бы для данной системы дифференциальных уравнений в частных производных которая не вытекает из вариационного принципа, гарантировать выполнение равенства между скалярным произведением вектор-множителя и вектор-системы и некоторым дивергентным выражением для произвольных полевых переменных, и тем самым сформулировать на решениях системы дивергентный закон сохранения.

6В этом разделе работы формализм теории геометрических и обобщенных вариационных симметрий распространяется на лагранжианы, зависящие от градиентов полевых переменных, сколь угодно высокого порядка.

нимания излагаемой далее теории необходимо достаточно свободное владение исчислением вариаций (например, в рамках замечательного курса вариационного исчисления [10]). Компактное изложение имеется в работе [8, p. 260-264]. Можно рекомендовать также монографию [5, p. 96-115].

Рассмотрим функционал типа Гамильтонова действия

9 = У £(/,dacpk ,d7 da / в )d4X, (1.1)

D

где — упорядоченный массив физических полевых величин (или динамических переменных), число которых предполагается конечным; Xв (в = 1, 2,3,4) — пространственно-временные координаты7; X4 = ct (константа c имеет смысл характерной скорости и ее можно положить равной единице); d4X — элемент объема; D — область 4-пространства8, в пределах которой изменяются пространственно-временные координаты X1, X2, X3, X4. При этом речь может идти о лагранжиане и действии как всего тела, так и любой его части. Именно поэтому мы чаще всего не будем в дальнейшем явно указывать область интегрирования в (1.1) и вообще не будем ее специфицировать9.

Пространство - время релятивистских теорий является четырехмерным псевдоевклидовым пространством10, метрика которого в галилеевой координатной системе задается знаконеопределенной квадратичной формой

ds2 = ее(dXв)2 (в = 1, 2, 3,4),

где ei = 1, е2 = 1, ез = 1, е4 = -1.

Определенное подобным образом 4-пространство обычно называют пространством Минковского (H.Minkowski), или пространством событий.

В пространстве Минковского может быть введена криволинейная координатная система X в; метрика в этом случае задается квадратичной формой

ds2 = дав dX adXв. (1.2)

Такое задание линейного метрического элемента характерно для пространств Римана11. В принципе, n-мерное риманово пространство, квадрат метрического элемента которого знаконеопределен, — это вполне достаточный для развития теории поля образец пространственно-временного многообразия. Гиперболическое риманово пространство размерности 4 служит в качестве пространственно-временного многообразия в общей теории относительности. Физическое содержание этой типично полевой теории состоит в объяснении всего лишь одного явления — всемирного тяготения.

Под d4X мы понимаем «естественный» пространственно-временной элемент объема

d4X = dX1 dX2 dX3 dX4. (1.3)

7Аналогия между пространством и временем была известна еще древним грекам. Аристотель включал время в число непрерывных величин наряду с линиями, поверхностями и телами. В современной физике равноправие пространственных координат и времени утверждалось в процессе становления теории относительности. Пространственно-временное многообразие — неотъемлемый элемент теории относительности. Геометрия пространства - времени как объект физической теории рассматривается, например, в [16, с. 457-472]. С точки зрения классической механики сплошных сред переменные X1, X2, X3 вполне аналогичны координатам Лагранжа, а оперирование с четырехмерным пространственно-временным многообразием исключительно удобно при описании динамических процессов в деформируемых средах. Большинство положений теории поля обобщается на случай пространства - времени с произвольным числом пространственных измерений.

8В рамках классической нелинейной механики сплошных сред и действия для трехмерного деформируемого тела следует считать, что D — декартово произведение отсчетной конфигурации тела, деформацию которого обычно описывают, сравнивая отсчетную конфигурацию с актуальной деформированной, и интервала времени с границами ti, t2.

9Граница неспецифицированной 4-области интегрирования (в данном случае — замкнутая трехмерная гиперповерхность в четырехмерном пространства - времени) обозначается далее через д.

10Геометрия псевдоевклидовых пространств и пространственно-временного многообразия в деталях изложена в кн.: Розен-фельд Б.А. Многомерные пространства. М.: Наука, 1966. 648 с.

"Теория пространств Римана изложена в ряде известных монографий: Эйзенхарт Л.П. Риманова геометрия. М.: Гос. изд-во иностр. лит., 1948. 316 с.; Рашевский П.К. Риманова геометрия и тензорный анализ. М.: Наука, 1967. 664 с.; Розенфельд Б.А. Неевклидовы пространства. М.: Наука, 1969. 548 с.

Поэтому С — «естественная» плотность лагранжиана. Лагранжиан предполагается локальным, т.е. его значение в точке Xе определяется значениями динамических переменных <к и конечного числа их частных производных по пространственно-временным координатам, вычисленных в той же самой точке.

Инвариантный элемент объема ¿4т пространственно-временного многообразия, параметризованного криволинейными координатами Xв, определяется на основании

¿4т = ^д^Х ^Х 2^Х 3^Х4, (1.4)

где д — определитель (точнее, его абсолютная величина), составленный из метрических коэффициентов пространственно-временного многообразия да^. В том случае, когда метрика пространства -времени гиперболична, то обычно вместо ^/д пишут у/—д12, ибо в последнем случае величина под корнем будет положительной. Тогда инвариант у/—д^Х1 ¿X2¿X3¿X4 — величина четырехмерного объема, измеренного в локальной координатной системе посредством твердых масштабов и часов по принципам специальной теории относительности.

Инвариантный элемент объема следует отличать от «естественного» элемента объема ¿4Х = = ¿X1 ¿X2¿X3^Х4, поскольку координатная система пространственно-временного многообразия может быть криволинейной, и в этом случае величина у/—д отлична от единицы. Использование «естественного» элемента объема вместо инвариантного предпочтительнее с точки зрения формализма исчисления вариаций.

При использовании криволинейной координатной системы в пространственно-временном многообразии функционал действия следует записывать в форме

9 = У С(<к / ,д7да <к ,...,Хв )У-д^4Х. (1.5)

V

Ясно поэтому, что характер координатной системы можно вообще не специфицировать, но тогда в уравнениях поля под функцией Лагранжа следует понимать не С, а у/—д С. Следует поэтому помнить, что символ С тогда не будет указывать на плотность по отношению к инвариантному элементу объема пространственно-временного многообразия. Величина С будет являться скалярной плотностью по отношению к «естественному» элементу объема. Как уже отмечалось, величину С можно поэтому называть «естественной» плотностью лагранжиана.

В дальнейшем изложении будет предполагаться, что при использовании криволинейной координатной системы в пространстве - времени в интеграле действия с самого начала следует выполнить замену

с^С, (1.6)

а в уравнениях поля — замену

С^^—д С, (1.7)

и мы, таким образом, возвращаемся к выражению действия в первоначально данной форме (1.1).

Сделаем еще одно важное замечание относительно расстановки и индексов у пространственно-временных координат и полевых переменных. В первом случае греческий индекс пишется в верхней позиции, поскольку координаты X в преобразуются как 1-контравариантный «отсчетный» вектор. Во втором случае «пространственный» индекс к пишется в верхней позиции чисто условно: полевая

переменная может быть скаляром или тензором произвольного ранга. Принятое нами обозначение

к

однако подразумевает, что < к есть эйлеровы переменные в том самом смысле, который приписывается им в классических теориях поля механики сплошных деформируемых сред.

12Часто для краткости применяется также сокращенное обозначение ^ (см., например, [17, с. 39]).

Как это принято в вариационном исчислении, через др в (1.1) и в дальнейшем обозначается оператор полного частного дифференцирования по пространственно-временной координате Xв. Оператор полного дифференцирования действует на функцию Р(ук, даук, д7даук,... ,Хи) по формуле

др

двР = двХр1 Р + £ (да да . . . да дв^^-. (1.8)

5>0 д(д«1 да2 . . . да3 у )

В сумме справа верхний предел суммирования можно не указывать, поскольку функция Р (ук ,даук, д7 даук ,...,Хи) зависит лишь от конечного числа аргументов, и поэтому суммирование в (1.8) рано или поздно обрывается.

Мы будем систематически использовать именно этот дифференциальный оператор с тем, чтобы изложение было выдержано в духе классического вариационного исчисления, тем более, что уравнения поля (которые мы будем систематически записывать исключительно с помощью операторов полного дифференцирования др и частного дифференцирования д^хр1 по явному вхождению переменной Xв), как известно, ковариантны, т.е. правило составления уравнений поля при использовании «естественной» плотности лагранжиана остается неизменным и не зависящим от выбора координатной системы в пространственно-временнном многообразии. Впрочем, все уравнения исчисления вариаций без труда представляются в прямой тензорной записи, общепринятой в рамках рациональной механики. «Прямая» тензорная запись уравнений поля, несмотря на известные преимущества, которые в полной мере были использованы направлением «рациональной механики сплошных сред»13, часто оказывается неудобной, так как она скрывает истинную природу тензорных характеристик поля: при построении канонических тензоров теории поля заимствуются элементы как пространства - времени (греческий индекс), так и самих физических полей (латинский индекс), которые «скрываются» за «прямой» тензорной записью уравнений поля.

Заметим, что в рамках формализма группового анализа дифференциальных уравнений оператор полного дифференцирования обозначается как Дд.

Большинство современных физических теорий поля ограничивается градиентами первого порядка

к

от динамических переменных ук и соответствующим лагранжианом:

£ = £(ук ,даук, Xв). (1.9)

Это согласуется с тем обстоятельством, что в обычной практике уравнения поля являются дифференциальными уравнениями самое большее второго порядка.

Для классической механики сплошных сред физические поля ук — это закон движения (или деформирования) тела, представленный как зависимости координат Эйлера (т.е. координат в пространстве, которые выбираются наблюдателем для представления положений точек сплошной среды в процессе ее деформации) от координат Лагранжа (координаты Лагранжа, согласно традиционным представлениям механики сплошных сред, индивидуализируют точки континуума, являясь для каждой из них уникальной меткой14):

хк = хк (X \Х 2 ,Х 3 ,Х4).

Таким образом, в дальнейшем, интерпретируя развиваемую теорию в аспекте механики деформируемых сред, можно считать, что полевые переменные ук есть эйлеровы координаты: ук = хк.

В принципе деформацию сплошного тела можно описывать обратным отображением (так называемое обратное лагранжево описание):

Xв = Xв (х1 ,х2 ,х3 ,£).

13См., например: Truesdell C., Toupin R.A. The Classical Field Theories // Principles of Classical Mechanics and Field Theory. Encyclopedia of Physics, V. III/1 (ed. S.Flugge). Berlin: Springer, 1960. P. 226-793.

14Различные представления деформации сплошного тела и теория тензоров конечных деформаций приводятся в известных монографиях [18-20].

Тогда роль физических полевых величин будут играть переменные Лагранжа. Ни одно из описаний — прямое лагранжево и обратное лагранжево — не имеет никаких преимуществ по сравнению с другим. Исторически сложилось так, что широкое распространение получило лишь прямое описание. И только в последнее время обратное описание стало проникать в работы по нелинейной механике деформируемого твердого тела (см., например, [5]).

Нелинейная теория упругости в варианте прямого лагранжева описания — великолепный пример теории, реализуемой с помощью принципа наименьшего действия. Пространство - время при этом распадается на трехмерное евклидово пространство и абсолютное время, а лагранжиан равен разности кинетической и потенциальной энергий. Полевые переменные в этом случае суть компоненты вектора перемещения.

Отправным пунктом для математического описания физических полей служит принцип Гамильтона - Остроградского (или принцип наименьшего действия), который гласит, что действительное поле реализуется таким образом, что действие оказывается экстремальным, т.е. первая вариация действия обращается в нуль для всех допустимых вариаций физических полей ^к:

= 0. (1.10)

Здесь не подвергаются варьированию пространственно-временные координаты Xе и 4-область интегрирования. В аналитической механике такому способу варьирования отвечают так называемые изохронные вариации.

Принцип наименьшего действия позволяет сформулировать задачу о вычислении поля внутри 4-области V как вариационную задачу об отыскании экстремумов интегрального функционала (1.1).

Осознанное оперирование с вариацией интеграла действия 9 подразумевает ясное и строгое опре-

к

деление различных видов варьирования как самих полевых переменных , так и пространственно-временных координат X в. Поэтому мы начнем с базовых понятий и определений.

Основным исходным элементом, необходимым для определения понятия вариации, является од-нопараметрическое семейство (группа) геометрических (точечных) преобразований пространственно-временных координат и физических полей

(Xв) ^ (Xв), (1.11)

где

Xв = Xв (X7, е), ¡рк = Фк (<рв, X7, е), (1.12)

причем

Xе (X7, е)|е=0 = Xе, Фк (р-, X7, е)|е=0 = . (1.13)

Величина е — параметр группы преобразований (1.12), который может быть скалярным, векторным или тензорным. В дальнейшем изложении параметр группы обычно будет считаться скалярным.

Следует обратить внимание на тот факт, что пространственно-временные координаты X в и физические поля входят в группу преобразований (1.12) явно несимметрично, ибо закон преобразования (1.12) не допускает трансформацию переменных X в, зависящую от полевых переменных ^ . Подобного рода ограничение не является непреодолимым препятствием для построения теории поля. Впоследствии мы рассмотрим более широкий спектр однопараметрических геометрических преобразований

Xв = Xе(^, е), фк = Фк(^X7, е), (1.14)

и соответствующие обобщенные геометрические симметрии действия с целью устранения указанной несимметричности.

Итак, мы пока ограничиваемся случаем, когда трансформация (1.12) пространственно-временных координат X в не зависит от динамических переменных к. В большинстве практически важных

случаев однопараметрические группы будут принадлежать именно такому типу преобразований (fiber-preserving transformations). В частности, можно вести речь только о преобразованиях пространственно-временных координат (base transformations)

Xe = Xе(XY, е), фк = рк или только полевых переменных (standard transformations)

Xe = Xв, фк = Фк (ps ,XY, е).

Исключительный интерес представляют однопараметрические геометрические группы преобразований, которые не изменяют форму функционала действия и его величину (или при неизменной форме функционала изменение величины функционала действия является бесконечно малым, порядка более высокого, чем е) любой 4-области пространственно-временного многообразия, т.е.

У L( рк ,дарк,д7 да/,...,Xe )d4 X = J L( рк А Фк Д да Фк ,...,Xe )d4 X (1.15)

D D

при преобразовании координат и полей, согласно (1.12), и соответствии пространственно-временных 4-областей интегрирования в переменных X в и X в.

Указанные группы обычно называют геометрическими группами абсолютной инвариантности функционала действия, а также абсолютными геометрическими симметриями действия по Гамильтону (или просто — вариационными симметриями действия).

Если при неизменной форме функционала действия изменение его значения, отвечающее преобразованию (1.12), является бесконечно малой величиной, порядка более высокого, чем е, то говорят об инфинитезимальной инвариантности функционала действия под действием геометрической группы преобразований (1.12). В этом случае равенство (1.15) выполняется с невязкой о(е). Группа преобразований (1.12) при этом называется инфинитезимальной геометрической вариационной симметрией действия. Ясно, что абсолютная инвариантность функционала действия влечет его инфинитезималь-ную инвариантность.

Прежде чем дать дополнительный комментарий понятию абсолютной (или инфинитезимальной) инвариантности функционала действия относительно группы преобразований (1.12), введем представление об эквивалентности функционалов ([15, p. 230]) 9 и $5. Функционалы

9 = J L( рк,даР к,д7да/, . . . , Xв)d4X, (1.16)

D

9 = J L( рк ,да Фк А да рк ,...,Xe )d4X (1.17)

D

называются эквивалентными при их преобразовании группой (1.12) тогда и только тогда, когда выполняется равенство 9 = 9.

Заметим, что абсолютная инвариантность функционала действия относительно однопараметриче-ской группы преобразований (1.12) означает не только сохранение величины действия, т.е. не только эквивалентность функционалов в смысле выполнения равенства15

9 = 9 (1.18)

или

Ld4 X = Ld4X, (1.19)

15Или в случае, когда речь идет об инфинитезимальной инвариантности функционала действия относительно группы преобразований (1.12), приводимое далее равенство должно удовлетворяться с точностью до бесконечно малой величины порядка выше, чем е.

где С — «естественная» плотность лагранжиана, выраженная с помощью новых пространственно-временных координат X в и физических полей <к в результате замены переменных согласно (1.12)

с = С(<дк дк эа<к ,...,Х в),

но и подразумевает, что в условии (1.19) также выполнена замена

С(<дк ,да <к ,ау да <к ,...,Х в) ^С(<к дк А да<дк ,...,Хв), (1.20)

гарантирующая неизменность формы функционала действия.

Итак, в результате преобразования однопараметрической геометрической группой (1.12), если только при этом величина действия не изменяется, «естественная» плотность лагранжиана преобразуется (возможно, в случае, когда речь идет об инфинитезимальной инвариантности функционала действия относительно группы преобразований (1.12), с точностью до бесконечно малой величины, порядка выше, чем е) в соответствии с формулой (1.19), которую можно также представить в виде

I дХдв \ ~ ~ ~ ~ ~

ёе^ дХ^ I С(дк, дадк, д7 дадк, . . . , Xв) = С(<к, да<к, д7 да<к, . . . , Xв). (1.21)

Абсолютная инвариантность функционала действия относительно группы геометрических преобразований (1.12) означает, что (1.21) выполняется после замены (1.20), т.е.

^ ( ^ С(дк, дадк, д1 дадк, . . . , Xв) = С(<к, да<к, да<к, . . . , Xв). (1.22)

Это необходимое и достаточное условие абсолютной инвариантности функционала действия относительно группы геометрических преобразований (1.12).

Равенство (1.21) выступает в качестве критерия эквивалентности функционалов (1.16), (1.17) относительно группы геометрических преобразований (1.12).

Инфинитезимальная инвариантность функционала действия (в отличие от абсолютной инвариантности, выражаемой критерием (1.22)) относительно группы преобразований (1.12) означает, что равенство (1.22) выполняется с точностью до бесконечно малой величины порядка выше, чем е. Условие инфинитезимальной инвариантности функционала действия, к сожалению, не может быть выражено чисто как условие на «естественную» плотность лагранжиана. Далее условие инфинитезимальной инвариантности действия будет сформулировано как условие на вариации «естественной» плотности лагранжиана и вариации пространственно-временных координат.

Рассмотрим сначала однопараметрические преобразования (1), т.е. полагаем, что пространственно-временные координаты Xе не варьируются. Полная вариация полевой переменной <к в этом случае определяется как

V = ^^ХМ) ^ . (,.23)

Поскольку дифференцирования по пространственно-временным координатам и параметру е перестановочны, операторы др и 5 также перестановочны

5дв = дв 5. (1.24)

В случае, когда лагранжиан С зависит от градиентов переменных поля порядка не выше первого, вариациям физических полей <к при неварьируемых пространственно-временных координатах отвечает вариация действия ([9, с. 152; 15, р. 223, 224]):

59 = /{^ + щК) * (5<к ^й4А"

или, выделяя дивергентное слагаемое, —

* Ч{ ^ -дв щУ ^ *Х+/ ЧХ (1-25)

Исчезающим как на границе пространственной области интегрирования, так и на границах временного интервала вариациям физических полей рк будет отвечать вариация действия

дС „ дС 1 к .л-

(L) = «• (|-27)

Стационарность действия (при произвольных допустимых вариациях поля) необходимо влечет уравнения Эйлера - Лагранжа (уравнения поля):

дС дС

дрк в д( рк)

Действительное физическое поле (при условии его гладкости) должно удовлетворять системе уравнений Эйлера - Лагранжа.

Обобщение уравнений Эйлера - Лагранжа на тот случай, когда плотность лагранжиана зависит от частных производных порядка выше первого, есть16

Ek(L) = - de+ ^п^г, - • • • = 0. (|-28)

dL д dL +д д dL

дрк в д( dß рк) 7 в д( dYdß рк)

Оператор Ек, определенный согласно (1.28), называется оператором Эйлера (его применение к лагранжиану дает так называемую вариационную производную лагранжиана). Вариационная производная лагранжиана есть 1-ковариантный пространственный вектор.

Структура дифференцирований в операторе Эйлера становится более понятной и обозримой, если ввести обозначения

д _ _д

dip1 о ' д( да1 да2 ... даз р1) S и записать его символически в форме (см. также [15, p. 223])

= Ol, ^^-= d(aia2-as (1.29)

El = V (-1)sdai да2 . . . да3 d'à1 а2-as . (1.30)

— s

s>0

Здесь и в дальнейшем в такого рода суммах при s = 0 подразумевается слагаемое di.

0

Уравнения Эйлера - Лагранжа (1.28) ковариантны относительно группы преобразований (1), т.е. при заменах пространственно-временных координат Действительно, прямой расчет показывает,

17

что1'

ÎdX~ ~

оха) Ek(L), (1.31)

где

ç <7\ dL я dL , я я dL

Ek(L) = - dß n^ + d^dß

dX x

d-k Ид(dß-k) 7 Ид(d^dß-k) k я ~k я я ~k vß\ _ rf,„k я ,„k я Я ,„k

дХ^) ^,да ^, д^дафк, в )= С^к, д«^к, , в) (1.32)

при условии, что переменные рк, Xв и рк, XXв связаны формулами преобразования (1). На основании (1.31) можно заключить, что выполнение уравнения Ек (С) = 0 влечет выполнение уравнения Ек (С) = 0

16Мы не будем в деталях развивать далее теорию поля для лагранжиана, зависящего от градиентов полевых переменных <рк, порядка выше первого, а ограничимся лишь минимумом необходимых в прикладном аспекте формул. По поводу соответствующего обобщения см., например, [5, р. 116, 117].

17См., например, [7, с. 213-221]. Инвариантности функционала действия относительно группы преобразований (1) при этом не требуется. Более того сама замена переменных (1) может и не быть однопараметрической группой.

и обратно. Следовательно, в новых переменных правило составления уравнений Эйлера - Лагранжа не изменяется: они составляются по той же самой схеме, что и в исходных переменных, но для преобразованной согласно (1.32) «естественной» плотности лагранжиана.

Ковариантность уравнений Эйлера - Лагранжа относительно более широкой группы преобразований (1.14) рассмотрена, например, в [14, с. 323-327; 15, р. 230-235]. Заметим, что в литературе чаще всего говорят (что противоречит действительному положению дел) об инвариантности уравнений Эйлера - Лагранжа. Строгое определение инвариантности системы уравнений относительно группы преобразований известно из группового анализа и означает сохранение формы уравнений при их преобразовании к новым переменным согласно (1.14). Относительно произвольной однопара-метрической геометрической группы преобразований (1.14) уравнения Эйлера - Лагранжа, вообще говоря, не инвариантны, но они ковариантны, поскольку в новых переменных не изменяется правило их составления.

Полные вариации пространственно-временных координат X в и физических полей ук при их преобразовании согласно (1.12) определены:

= Е /дх^ л , = Е / л . (1.33)

V де /в=0 V де /в=0

Полная вариация полевой переменной ук в данной точке пространства - времени складывается из изменения поля вследствие изменения его функциональной зависимости и изменения, вызванного перемещением ¿X в в близлежащую точку пространства - времени. Поэтому мы определяем частичную вариацию ¿ук полевой переменной ук с помощью соотношения

¿Ук = ¿Ук + ¿Xа. (1.34)

В современной теории поля частичную вариацию полевой переменной часто называют локальной (а также функциональной) вариацией, а полную вариацию — субстанциональной. Второе слагаемое в правой части соотношения (1.34) можно назвать конвективной вариацией. В разд. 9 будет показано, что частичная вариация поля под действием однопараметрической геометрической группы преобразований соответствует характеристике инфинитезимального оператора группы.

Как уже отмечалось, инфинитезимальная инвариантность функционала действия относительно группы преобразований (1.12) означает, что равенство (1.22) выполняется с точностью до бесконечно малой величины, порядка выше, чем е. Так как

п /дХ Л , д (5Х 7) ^ дХа] + ^ + °(е)'

то критерий инфинитезимальной инвариантности функционала действия имеет вид

¿£ + £ ® = «■ (1-35)

где вариация лагранжиана 5£ — линейная по е часть приращения

£(ук, , , . . . , Xв) - £(ук, даук, д7даук, . . . , Xв). (1.36)

Если лагранжиан зависит от градиентов поля порядка не выше первого, то вариация лагранжиана, очевидно, равна

" =(Ш) вхр1 7 + ^ + ^У*).

Учитывая затем формулу для полной вариации первых градиентов поля ¿(де ук) = де (5ук) + + (д7деук)5Х7, а также ¿ук = ¿ук + (д7ук)5Х7, получаем

дГ - дС -

5£ = (д7 £)^ + —к ¿Ук + дв (¿Ук) (1.37)

или

= (I? - *Щ^) V + №£МХ 1 + ^ы) . (1.38)

Оценка приращения (1.36) в случае, когда лагранжиан зависит от градиентов поля более высокого порядка, будет дана в разд. 9.

Полное варьирование действия (при условии, что «естественная» плотность лагранжиана зависит от градиентов поля порядка не выше первого) по пространственно-временным координатам Xе и физическим полям приводит к следующему результату [7, с. 246-248; 10, р. 168-176]:

* = " + дв ) + в И =

{ - *ШТ)} ^*х + / Ч ^ + ах 1 Х (1'39)

Если функционал ^ инвариантен18 относительно группы преобразований (1.12), то его первая вариация (1.39), соответствующая варьированию координат и полей по закону (1.12), очевидно, будет равна нулю.

Сделаем одно важное замечание по поводу вариации действия в (1.10) и (1.39). В (1.39) варьирование действия отвечает одной вполне конкретной группе преобразований координат и полей согласно (1.12). Вариационное уравнение (1.10) должно выполняться при произвольных допустимых однопара-метрических преобразованиях полей, не обязательно являющихся однопараметрическими группами. Пространственно-временные координаты при этом считаются не подлежащими никаким преобразованиям.

Инфинитезимальный критерий инвариантности функционала действия (1.35) относительно геометрической группы преобразований (1.12) может быть заменен более слабым условием, следуя [21],

К + £ в = е^ (1.40)

дХа ЗХ^

так, что первая вариация действия будет вычисляться в виде = е / (д7В7)^4Х, где в правой части подынтегральное выражение представляет собой дивергенцию векторного поля В7.

Здесь 1-контравариантный отсчетный вектор В7 может зависеть от пространственно-временных координат и полей (включая и градиенты поля порядка равного, большего или меньшего, чем входящие в лагранжиан) В7 = В7(?к, да, дрда?к,..., Xи).

Группа преобразований (1.12) в случае, когда выполняется (1.40) с некоторым вектором В7, называется инфинитезимальной дивергентной симметрией функционала действия (см. [14, с. 358]).

Формула (1.39) остается справедливой и для более широкого класса преобразований, в которые пространственно-временные координаты X в и физические поля входят уже совершенно симметрично

Xв = Xв,Х7, е), = Фк,Х7, е), (1.41)

где, по-прежнему, Xв(?3,Х7, е)| 0 = Xв, Фк(?3,Х7, е)| 0 = .

Инвариантность функционала действия относительно обобщенных геометрических преобразований (1.41) исследуется в разд. 6.

2. ТЕОРЕМА НЕТЕР ДЛЯ ИНВАРИАНТНЫХ ВАРИАЦИОННЫХ ФУНКЦИОНАЛОВ

Теорема Нетер (по поводу доказательства см. [7, с. 248-250; 10, р. 176-178; 11, с. 377-386]) является классическим результатом теории поля и устанавливает закон сохранения, соответствующий однопараметрической группе геометрических преобразований, не изменяющих функционала

18Или, делая тем самым более общее предположение, — инфинитезимально инвариантен.

действия (или изменяющих его, но на бесконечно малую величину порядка выше, чем е) любой 4-области пространственно-временного многообразия. Другими словами, инвариантность функционала действия (вариационная симметрия действия) относительно однопараметрической геометрической группы преобразований (1.12)

(Xe, рk) ^ (Xe, pk)

порождает некоторый дивергентный закон сохранения19.

Пока мы рассмотрим ограниченный вариант теоремы Нетер для геометрических преобразований (1.12) и случая, когда лагранжиан зависит от градиентов поля порядка не выше первого.

Требование инвариантности действия прежде всего выражает основные свойства пространства -времени, хотя отнюдь и не ограничивается лишь этими последними свойствами.

Априорно можно указать следующие преобразования 4-пространства Минковского, относительно которых действие инвариантно (и, следовательно, инвариантны уравнения поля):

1) трансляции начала координат (однородность 4-пространства - времени);

2) вращения 4-пространства - времени, содержащие как обычные повороты в 3-пространстве, так и преобразования Лоренца (H.A. Lorentz) в собственном смысле этого слова (изотропия пространства и специальный принцип относительности);

3) зеркальные отражения (инверсии) и обращение времени.

Произвольные точечные преобразования координат в пространстве Минковского, т.е. переход к криволинейным координатам (общий принцип относительности — отсутствие преимущественных систем отсчета), не являются, вообще говоря, симметриями действия и уравнений поля. Но можно вести речь о ковариантности уравнений поля по отношению к указанным преобразованиям.

Перечисленным преобразованиям, относительно которых уравнения поля ковариантны, соответствуют фундаментальные законы сохранения, имеющие смысл сохранения импульса, момента импульса и энергии (всего десять законов сохранения). Если удается разыскать иные группы инвариантности функционала действия и получить дополнительный нетривиальный закон сохранения, то его принято называть существенным20.

Исходным пунктом рассуждений является полученная ранее формула для полной вариации действия, отвечающей заданной однопараметрической группе преобразований (1.12).

Поскольку физические полевые величины k в любом случае обеспечивают стационарность действия, то уравнения Эйлера - Лагранжа

— _ d d L =0 dp k в д (dePk)

должны удовлетворяться и, следовательно, вариацию действия (1.39) можно вычислить в виде

Г д L т

Jß\ д(дер k)'

= дЛ k. ¿pk + £5Xe l d4X, (2.1)

19Общая теория законов сохранения для систем дифференциальных уравнений в частных производных, следующих из существования геометрических вариационных симметрий действия, излагается, например, в [11, с. 377-386; 13, с. 337362]. Дивергентный закон сохранения является обобщением известного из теории обыкновенных дифференциальных уравнений понятия первого интеграла и всегда имеет форму дивергентного дифференциального уравнения др 7е = 0, где 7е(<к, да<к, д7да<к,..., X— 1-ковариантный пространственно-временной 4-вектор, которое должно удовлетворяться для любого решения уравнений поля. Тривиальность закона сохранения означает, что уравнение 7е = 0 удовлетворяется тождественно для любых физических полей <к; вектор 7 в в этом случае называется нулевой дивергенцией. Тривиальный закон сохранения никак не связан с той или иной системой уравнений поля, поскольку выполняется на любом решении произвольно выбранной системы дифференциальных уравнений в частных производных и поэтому не несет никакой информации о решениях уравнений поля. Общая форма тривиального закона сохранения известна (см., например, [13, с. 341-343]) в силу известной дифференциальной структуры нулевой дивергенции в пределах звездообразных областей: 7е = даЬав, где Ьав = Ьав(<к,да<к, д7да<к,..., X^) — антисимметричный тензор второго ранга (Ьав = —Ьва).

20Часто оказывается невозможным установить физический смысл дополнительных существенных законов сохранения. Что касается теории упругости, то уже не поддаются физической интерпретации законы сохранения, следующие из изотропии пространства и возможности преобразования масштаба координатных осей.

или, учитывая связь между частичной и полной вариацией поля (к, —

=/ Ч шъ - дха +м * (2-2)

Вводя 1-контравариантный отсчетный четырехмерный вектор

3в = ±

1 Г д£ /г _к д(

£ \ д (дв(к)

(к - ддха а) + ^ , (2.3)

вариацию действия, отвечающую однопараметрической группе преобразований (1.12), можно также представить в форме

= £ у др3ей4X. (2.4)

Не составляет труда получить для вектора 3е вместо (2.3) следующее выражение:

3в=Нщ^^+- (д- ) щУ • (2-5)

Воспользуемся теперь предположением об инвариантности функционала действия относительно однопараметрической группы преобразований (1.12) (достаточно, однако, предположить, что функционал действия не изменяет своей величины с точностью до малых порядка выше, чем £):

(Xв, (к) ^ (Xв, /)•

Ясно, что тогда в (2.4) следует полагать = 0 и соответствующий закон сохранения имеет следующую четырехмерную дивергентную форму:

дв 3е = 0. (2.6)

Таким образом, поток 4-вектора 3е через любую поверхность, замкнутую в пространстве - времени, равен нулю:

У 3е N йА = 0. (2.7)

д

Теорема Нетер в принципе не может дать более общего закона сохранения, чем (2.6), где четырехмерный вектор 3 в удобно представить в форме

-3е = 1 {Б^к + ра-хЛ , (2.8)

обозначив через Брк и Р.а противоположные величины коэффициентов при полных вариациях к и ¿Xа соответственно в (2.5).

Из каждого соотношения (2.7) может быть получен инвариант поля, существующего в неограниченной среде, не изменяющий своего значения с течением времени. Действительно, рассмотрим четырехмерную область в форме цилиндра, основания которого X4 = Сь X4 = С2 есть гиперплоскости, перпендикулярные оси времени. Поток 4-вектора 3 в через границу этой области равен нулю. Если физические поля достаточно быстро затухают на бесконечности, то, удаляя боковую поверхность цилиндра в бесконечность, находим, что

J 3е N й3 X + J 3е N ^ = 0.

X4 =С х4=С2

Поскольку на гиперплоскостях X4 = С, X4 = С2 компоненты нормали N1 =0, N =0, Ы3 =0 и соответственно Ы4 = -1, Ы4 = 1, то

У 34 й3 X = у 34 й3 X,

х4=с х 4=С2

т.е. интеграл по неограниченному 3-пространству

[ X

(2.9)

не зависит от времени.

Ясно, что полученный только что результат обобщается на случай произвольной гиперповерхности в пространстве Минковского X4 = X4(X1 ,Х2,Х3), края которой уходят в бесконечно удаленную точку: интеграл

J N ¿А (2.10)

X 4 =Х 4(Х1 ,Х 2 ,Х 3) не зависит от формы указанной гиперповерхности.

Компоненты вектора 7е (вектор тока), очевидно, без проблем вычисляются по формуле (2.3), если известна однопараметрическая группа инвариантности функционала действия21:

,7в = С

+

дС

е=0

д (дв <к)

д Фк (< ,Х 7 ,е) де

дXа (X7, е) де

д<

дХа

(2.11)

е=0 V / е=0

Заметим, что каждой инфинитезимальной дивергентной симметрии действия, которая определяется обобщенным условием (1.40), соответствует закон сохранения

дв (7в — Вв) = 0.

(2.12)

3. ОСНОВНЫЕ ГЕОМЕТРИЧЕСКИЕ ГРУППЫ ИНВАРИАНТНОСТИ ФУНКЦИОНАЛА ДЕЙСТВИЯ

Мы рассмотрим основные группы инвариантности гамильтонова действия и формулировку соответствующих законов сохранения. Изложение в формальном плане будет в основном опираться на материал, представленный в [2, 10]. Законы сохранения для статического упругого поля, следующие из теоремы Нетер, обсуждаются также в [14, с. 355-358].

3.1. Преобразования сдвига в пространстве - времени

Зафиксируем отсчетный 4-индекс а и рассмотрим однопараметрическую группу трансляций пространства - времени вдоль прямолинейной а-оси:

X в ^ Xв = Xе(X7, е) = Xв + е5в. (3.1)

Такого рода преобразования включают сдвиги временной координаты.

Функционал действия любой 4-области пространственно-временного многообразия должен быть абсолютно инвариантен относительно группы трансляций пространства - времени, если плотность лагранжиана явно не зависит от координат Xв (т.е. д^хр1С = 0), следовательно, для координатного направления а 4-вектор 7(0,) = Т.«, где

г) Г

т«= С5в — (д- ) , (3-2)

и канонический закон сохранения, соответствующий группе трансляций пространства - времени, есть

дв Тв = 0. (3.3)

Полученный канонический закон сохранения может быть найден также с помощью следующего рассуждения. Если лагранжиан явно не зависит от пространственно-временных координат Xв, то, вычисляя полную поизводную, находим

дС дС д< + дС д д<

дХв д< дХв д(д7<) дХв дХ7

21Известны функциональные зависимости Xв(•, •), Фк(•, •, •).

и, заменяя в этом уравнении производную лагранжиана по полевой переменной согласно уравнениям Эйлера - Лагранжа

д

д

приходим к уравнению

откуда немедленно получаем

ду3 дХ7 д (д7 у)'

д £ = П л д £ дХ^ = дХ^ V д(д7у3)

(£5в— (дву3' ) ^ !=«.

Заметим, что тензор Т.а не симметричен, однако само его выражение (3.2), обеспечивающее выполнение закона сохранения (3.3), не уникально: трансформируя тензор Тв' по формуле Т.« + д7 В 2е •, где тензор В^^ ' = ' (ук ,длук ,длд^ук,... ,Хи) антисимметричен при перестановке контравариант-ных индексов ВТ^ ' = —Вв2 ', также получаем закон сохранения:

дв (Тв+ д7 В2в •) = 0.

Указанную трансформацию тензора Т.^' можно использовать для построения симметричного тензора, для которого будет по-прежнему справедлив закон сохранения вида (3.3).

Если плотность лагранжиана зависит явно от пространственно-временных координат Xв, то дивергентный закон сохранения нарушается, и для 4-вектора ) имеем закон «сохранения»:

дв Тв =

д£

ехр1

Для доказательства достаточно заметить, что, с одной стороны,

= е I дв7(ва}¿4Х,

а с другой — непосредственное вычисление вариации действия приводит к

дС

59 = е

дХа

Й4Х.

(3.4)

(3.5)

(3.6)

ехр1

Сравнивая (3.5) и (3.6), приходим к (3.4).

Компоненты канонического 4-тензора Т.в' имеют размерность плотности энергии22. Тензор Т.в' часто называют также тензором энергии - импульса (см., например, [2, с. 105-109, 345-349]), поскольку канонические уравнения баланса энергии (а = 4) и импульса являются непосредственным следствием канонического закона «сохранения» (3.4), точнее не сохранения (применительно к уравнению (3.4) лучше говорить об уравнении баланса).

Действительно, чтобы, например, вывести канонические уравнения баланса импульса, заметим сначала, что три первых уравнения (3.4) можно представить следующим образом:

д4 Т4 — дв рв =

д £

дХа

(а, в = 1, 2,3),

ехр1

где Р.а' = —Т.в' (а, в = 1,2,3) — тензор напряжений Эшелби. Затем, учитывая преобразуем уравнение (3.7) к виду

—ркд4^кда хк) — дврв = (а, в =1, 2,3),

д

д (д4хк)

(3.7)

= рк^к,

22Этот тензор называется каноническим тензором энергии [22, с. 143, 144]. Обратим внимание читателя на тот факт, что, согласно определению канонического тензора энергии, его естественное координатное представление — 1-контравариантное и 1-ковариантное.

д

обозначая при этом vk = , что означает, что скорость есть 1-контравариантный пространственный вектор, и

^ = (exp, = 1' 2' 3).

Принимая во внимание далее, что

-Pa = PR Vk da /, (3.8)

приходим к уравнению баланса канонического импульса

3AVa - dePea = /inh = 1, 2,3). (3.9)

Здесь производные по времени вычисляются при фиксированных лагранжевых координатах. Уравнение (3.8) ясно указывает на то, что канонический импульс — 1-ковариантный отсчетный вектор. Это уравнение можно также представить в виде Pa = pRVa, где va = — Vkda^>k есть отсчетный вектор скорости, который в силу определения представляет собой 1-ковариантный отсчетный вектор23.

Опираясь на результаты, изложенные в предыдущем разделе, заключаем, что 1-ковариантный отсчетный вектор

Рв = — J TJ" Ny dA

X 4 =X 4 (X1,X 2 ,X 3)

не зависит от координаты X4. Этот вектор обычно называют полным 4-импульсом поля (или волновым импульсом поля).

Определяя «естественную» плотность функции Гамильтона,

H = ^) в(&) — (3Л0)

для компоненты Р4 полного 4-импульса поля находим

Р4 = J Hd3X, (3.11)

X 4=const

т.е. эта компонента представляет собой полную энергию поля и, поскольку значение интеграла не зависит от положения гиперповерхности X4 = const, полная энергия поля сохраняется. Здесь d3X — «естественный» элемент объема трехмерного пространства.

На основании (3.10) можно заключить, что выполняется равенство T44 = —H. Закон «сохранения» (3.4) при a = 4 приводит к уравнению

d4 T44 + дв Т.в ' = d4xpl L (в = 1,2,3)

или, поскольку Тв' = —vk.,. = vkSek , Sek = — , , ч, получаем уравнение баланса энергии

д (дв ) ' k ' k д (дв )

д4H — дв(SJvk) = —д|хр1 L (k = 1, 2,3; в = 1, 2, 3).

Здесь Qв = Sвк vk есть вектор Умова - Пойнтинга. Его естественные компоненты 1-контравариантные отсчетные.

23Не следует путать компоненты ук и уа, представляющие различные векторы, — пространственную и отсчетную скорости соответственно.

3.2. Преобразования поворота трехкомпонентного поля

Функционал действия 9, если отождествить полевые переменные <к (к = 1, 2, 3) с декартовыми эйлеровыми координатами Хк, в силу принципа объективности (галилеевой инвариантности, принципа относительности Галилея) должен быть абсолютно инвариантен относительно преобразований поворота:

дк = фк; Х, (3.12)

где фк; — компоненты ортогонального тензора второго ранга. Пространственно-временные координаты при этом не подвергаются никакому преобразованию, т.е. X7 = X7 (7 = 1, 2,3,4).

Инвариантность действия относительно поворотов эйлерова координатного репера является проявлением изотропии эйлерова координатного пространства, т.е. отсутствия предпочтительных направлений в этом пространстве.

Выясним прежде всего условия, при которых действие будет абсолютно инвариантно относительно преобразований поворота трехкомпонентного поля Хк.

Предполагая, что в силу галилеевой инвариантности относительно сдвигов эйлеровых координат лагранжиан не зависит явно от Хк, можно считать, что абсолютная инвариантность действия относительно преобразований поворота (3.12) означает выполнение равенства

С(дадкдк,Хв,*) = С(даХкХк,Хв,*) (а, в = 1, 2,3) (3.13)

для произвольного ортогонального тензора второго ранга , т.е.

С(фк;да Х; , фк; д^ , Xв, *) = С(даХк, дХк, Xв, *) (а, в = 1, 2,3). (3.14)

Последнее обстоятельство позволяет заключить, что выражение С(фк;даХ;, д^Х; ,Хв, £) на самом деле не зависит от , если только Ф^ = — = 0. Поэтому можно сформулировать экстремальную задачу С(фк;даХ;, д^Х;, Xв, £) ^ extremum, т.е.

дС(фк;даХ;, фк;д^Х;, Xв,£)

=0

дфк;

при ограничении Фв1 = — = 0. Вводя множители Лагранжа А^, сформулируем условие

экстремальности функции Лагранжа С — А^ Фв1 в форме

дС дФвг

— А^^^;— = 0,

дфк; дфк откуда, сворачивая с , находим

дС дС

— АвК5вк + 51к 5т; = 0 или ТГ^— = Акг + Агк .

О/О ^ г; '.ы V «к <//п ' ~/п; .ът / г; ~ ^^^ О/О

дфк; дфк

д£

Следовательно, тензор второго ранга дот фу симметричен. Поскольку для произвольного ортогонального тензора второго ранга

д£ ^ ( дС ч д£

/ дС дС \

= I ЩА)) + Щад(дХ V ^,

дфк; \д(дадк)

то симметричной будет правая часть этого равенства, которая при = 5; будет равна

м" = щХо (ааХ') + а(Ик)(д^ (а = 1,2,3). (3Л5)

Таким образом, тензор второго ранга Мгк симметричен.

дС дС

Замечая, что тензор второго ранга -7-7--г(д^Хг) = —— V = ри,-иг-ик (-ик = д^Хк) симметричен,

д (д Хк) д^к

д С

приходим к выводу, что тензор (да-т (а = 1, 2,3) также симметричен. Он лишь скалярным

д (даЖк )

множителем отличается от тензора напряжений Коши, определяемого согласно

д

Т'к = -3-1(дв^)(в = 1, 2,3). (3.16)

Итак, действие абсолютно инвариантно относительно поворотов полевых переменных при выполнении следующего условия симметрии:

дС дС

(даЖг)^-г = (даХк)тттг;-т (а = 1, 2, 3). (3.17)

д(даЖк) д(даХг)

Найдем законы сохранения, соответствующие инвариантности действия относительно поворотов трехкомпонентного поля Хк.

Бесконечно малый поворот полевых переменных ^>к можно задать линейными преобразованиями:

Xв = Xв (в = 1, 2,3,4),Хк = Хк + ШкзХ3 (к,з = 1, 2, 3),

где Шк] = —Шjk (к,з = 1, 2,3) есть антисимметричный второго ранга, компоненты которого выступают как тензорные параметры группы малых поворотов. Естественные компоненты этого тензора — 3-пространственные.

Шесть величин Шк] (к = 3) связаны соотношениями Шк] = —Ш]к, следовательно, среди них имеется лишь три независимых. В качестве независимых тензорных параметров в (3.18) возьмем те Шк], для которых к < 3.

дхк

Ясно, что вариации эйлеровых координат вычисляются как ¿Хк = —-ш7-в = ШквХ5 или

дШ]5

¿Хк = ^ ш^ (¿кг Хs — ¿ks Хг). 1<в

Здесь суммирование производится по всем парам индексов I, 5: I < 5, 1,5 = 1, 2, 3. Ясно, что ¿Xв =0 (в = 1, 2, 3,4).

Производя необходимые вычисления, находим компоненты 4-вектора 3 в в виде

д

= 7^-Т(¿к1Хз — ¿ksХг) (к,1,5 = 1, 2,3; в = 1, 2,3,4). (3.18)

д(дв Хк)

Полагая

д

имеем

—^ = ЩвХк) (к = 1-23! в = 1,2,3,4), (3Л9)

3в = — (^ • Жs — Бва Хг) (I, 5 = 1, 2, 3; в =1, 2,3,4).

Поскольку для ^^ (1,5 = 1, 2,3) выполняется свойство антисимметрии по нижним индексам, то можно ввести эквивалентный пространственный 3-вектор

3(вк) = eks1 бва Хг. (3.20)

Соответствующий группе вращений полевых переменных закон сохранения есть

дв3(вк) =0 (к = 1, 2, 3; а = 1, 2,3,4). (3.21)

Преобразуем его сначала к виду

да3(ак) + д43(4к) =0 (к = 1, 2,3; а = 1, 2, 3),

затем, принимая во внимание, что S4s = — = — pRvs, J4u = — eks1 pR, получаем

О(d4xs ) ( '

da(efceixjSS) — ^(e^pr) = 0 (k, s, l = 1, 2,3; a = 1, 2,3).

Это закон сохранения момента количества движения. Вектор e^PrXvs представляет собой момент количества движения поля (в расчете на единицу объема в отсчетном состоянии). Его часто называют также вращательным моментом, или угловым моментом (angular momentum) поля.

3.3. Преобразования поворота 4-пространства - времени

Рассмотрим далее группу вращений пространственно-временного многообразия Функционал действия 9 должен быть абсолютно инвариантен относительно этой группы преобразований, если в качестве модели пространственно-временного многообразия выступает пространство Минковского.

Линейные преобразования пространства Минковского, сохраняющие неизменными его метрику, называются преобразованиями Лоренца. Преобразования Лоренца включают повороты прямоугольных реперов в этом пространстве. Введем в пространстве Минковского прямоугольную координатную систему Xe. Поворот прямоугольной системы координат X^ в 4-пространстве Минковского порождает некоторый псевдоортогональный тензор второго ранга Л, представляемый в выбранной системе координат псевдоортогональной матрицей. Признак псевдоортогональности тензора второго ранга выражается соотношением Лт ■ E ■ Л = E, или AavЕ.дЛд^ =

Псевдоединичный тензор E в прямоугольной системе координат пространства Минковского имеет компоненты (по a не суммировать) E.e = g.e = £a^.в.

Итак, конечный поворот пространственно-временного многообразия может быть задан псевдоортогональным тензором второго ранга24 XY ^ XY = Л7^Xv. Естественные компоненты псевдоортогонального тензора второго ранга в пространстве Минковского — отсчетные.

Повороты 4-пространства Минковского образуют группу по умножению25, зависящую от шести независимых вещественных параметров.

Бесконечно малое вращение пространства Минковского можно задать линейными преобразованиями

Xe = Xe + Цва Xa, (3.22)

где Цва = —Цств есть антисимметричный 4-тензор второго ранга, компоненты которого выступают как тензорные параметры группы малых вращений. Естественные компоненты этого тензора — отсчетные.

Двенадцать величин Ц.в (a = в) связаны соотношениями Ц.в = — Цв. следовательно, среди них имеется лишь шесть независимых. В качестве независимых возьмем те Цв., для которых в < a.

Ясно, что вариации пространственно-временных координат вычисляются следующим образом:

5Xe = дц в Цтст = Цвст Xct или, поскольку (5Xe = X] XCTЦ^-о" + Y1 XCT,

= ^^ Ц7. (^в7Xa — ^0aX7).

7<a

Здесь суммирование производится по всем парам индексов 7, a: 7 < a.

Будем считать, что группа Лоренца действует лишь на пространственно-временные координаты (которые мы трактуем как переменные, связанные с отсчетной конфигурацией) и не действует на

24Теория псевдоортогональных тензоров второго ранга в многомерном псевдоевклидовом пространстве изложена, например, в уже цитированной кн.: Розенфельд Б.А. Многомерные пространства. М.: Наука, 1966. 648 с.

25

Эта группа называется группой Лоренца.

физические поля ук (координатное представление которых осуществляется в эйлеровой системе координат). Поэтому можно заключить, что 5ук = 0.

Производя необходимые вычисления, находим компоненты 4-вектора 7 в в виде

д

7в(7а} = Я^ ^ [(даУ5)Х7 — (д7У5)Ха] + £(Ха57в — Х7¿ав)• д (дв У5)

Определим далее тензор третьего ранга М.7'а следующим образом:

Мва = 7в(7а}. (3.23)

Тензор М.7'а называется тензором момента количества движения. Он антисимметричен по индексам 7, а. Заметим, что каноническое определение тензора момента количества движения указывает также и на его естественное координатное представление — 1-контравариантное и 2-ковариантное.

Следует отметить, что тензор момента количества движения поля (3.23) выражается через тензор энергии - импульса (3.2) поля по формуле

м.в7а = Т?- Ха — Тв Х7. (3.24)

Соответствующий группе вращений пространства - времени закон сохранения имеет вид

дв Мв"а = 0. (3.25)

Интеграл (2.9), величина которого не зависит от времени, в рассматриваемом случае будет иметь вид / М.4^ й3Х. Поскольку Т4 = Ра (а = 1, 2, 3), где Ра (а = 1, 2,3) — канонический импульс (псевдоимпульс), то полный момент канонического импульса поля / (ХаР7 — Х7Ра) й3Х (а, 7 = = 1, 2, 3) будет сохраняющейся величиной.

4. ОБОБЩЕННЫЕ ГЕОМЕТРИЧЕСКИЕ ГРУППЫ ПРЕОБРАЗОВАНИЙ

Как было отмечено, пространственно-временные координаты и физические поля входят в группу преобразований (1.12), определяющую трансформацию переменных (Xв, Ук) ^ (Xв, 9к), несимметрично. С целью восстановления симметрии расширим определение однопараметрической группы (1.12), допуская более общие геометрические преобразования пространственно-временных координат и полевых переменных

Xв = Xв(У5,Х7, е), У = Фк(у5,Х7, е), (4.1)

где, по-прежнему, мы считаем выполненными «начальные условия»

Хв (у5,Х7 ,е)|£=0 = Хв, Фк (у5 ,Х7 ,е)|£=0 = Ук.

Геометрические преобразования (4.1) трансформируют физические поля у3 (Ха) в новые поля $(Ха). В самом деле, подставляя в первую группу соотношений (4.1) зависимости поля от пространственно-временных координат ув = ув(Ха), выразим из указанных соотношений пространственно-временные координаты Ха через «новые» координаты Ха; далее с помощью второй группы соотношений (4.1) выразим «новые» полевые переменные фк как функции «новых» координат Ха. Ясно, что затем можно пересчитать по обычным правилам дифференциального исчисления частные производные да9к, дада9к, ...и вести речь о преобразовании пространственно-временных переменных X7 ^ X7 и всего дифференциального комплекса

у5, даУ5, дадаУ5,...

1 _ (4.2)

9ада. . .

в результате замены переменных (4.1).

Пространственно-временные координаты и полевые переменные совершенно симметрично входят в закон преобразования (4.1). Это позволяет в некоторых случаях менять ролями зависимые и независимые переменные (или в физической терминологии — пространственно-временные координаты и полевые переменные), не меняя вариационной природы всей полевой теории. Так, можно построить математическое представление нелинейно упругого поля с помощью так называемого обратного описания деформации тела, развитого в работах Маженна (G.A. Maugin), которые подытожены в монографии [5] (см. также обзорную статью [23]). Обратное описание деформации сплошной среды и соответствующая вариационная формулировка нелинейной теории упругости (когда действие для упругого тела представлено на основе эйлерова описания и варьированию подвергается обратное отображение Xe = Xe(xk, t)) неожиданно оказываются удобными для исследования сингулярного упругого поля и позволяют, в частности, с иных позиций взглянуть на энергетические соотношения нелинейной механики разрушения. Сам автор этого подхода называет обратное описание деформации описанием Пиола (G. Piola) и отмечает, что обратная вариационная формулировка в сущности совпадает с использованной Пиола еще в XIX в. [24, 25] (затем забытой и никогда на деле не применявшейся). Ясно, что и два традиционных способа описания деформации сплошного тела (в духе Лагранжа и Эйлера), и возможность расширения понятия группы инвариантности функционала действия и обобщенного варьирования — следствия универсального принципа двойственности и полной равноправности отсчетной и актуальной конфигураций тела в состоянии его деформации, пронизывающих механику деформируемых тел как единую теорию.

Действие

9 = У L(pk 13aPk ,8y da pk ,...,Xe )d4X (4.3)

D

в результате обобщенного геометрического преобразования (4.1), определяющего замену переменных

(Xe,<pk) ^ (Xe,pk),

трансформируется в «эквивалентное» действие

9 = J C(pk ,dapk da p в )d4X,

D

где L(pk, Oapk, dYdapk,..., Xe) ^ L(pk, daípk, pYdaP,..., XXe) есть преобразование «естественной» плотности лагранжиана в соответствии с заменой переменных (4.1).

Интеграл действия как объект физического измерения должен сохранять свою величину при преобразовании (4.1), т.е. функционалы 9 и 9 эквивалентны: 9 = 9.

Эквивалентность функционалов 9 и 9 означает, что это на самом деле один и тот же объект, только представленный с помощью разных наборов переменных.

Если данное ранее равенство выполняется26 также и после замены в 9

, daP, p daP, ...,Xв ) ^ L(pk, pa P, p7 pa P, • • • , Xв ),

обеспечивающей неизменность формы функционала действия, то говорят, что функционал действия абсолютно инвариантен относительно обобщенной геометрической группы преобразований (4.1).

Ясно, что первая вариация функционала действия, абсолютно или инфинитезимально инвариантного относительно обобщенной геометрической группы преобразований (4.1), отвечающая преобразованиям (4.1), равна нулю.

Принцип наименьшего действия сводится к условию равенства нулю первой вариации функционала действия на реальном физическом поле при всех допустимых вариациях переменных поля и

26Указанное равенство может выполняться не точно, а с невязкой порядка о(е). В этом случае речь должна идти об инфини-тезимальной инвариантности функционала действия относительно обобщенной геометрической группы преобразований (4.1).

неварьируемых пространственно-временных координатах. Из этого условия получаются уравнения поля в форме уравнений Эйлера - Лагранжа:

Ек (Г) = 0.

(4.4)

Заметим, что всякая группа обобщенных геометрических вариационных симметрий функционала (4.3) будет также группой симметрий уравнений Эйлера - Лагранжа (4.4) (см., например, [14, с. 330, 331]; обратное утверждение неверно), т.е. система уравнений

д С

дук

-д,

дС

д (др ук)

+ д7 д/з

д

д (д7 д/з ук)

----= 0,

где вместо символа С следует подставить С(ук,даук, д7даук,... ,Хв), будет эквивалентна системе, имеющей в новых переменных (т.е. после ее пересчета к новым переменным, переход к которым определяется обобщенной геометрической симметрией действия (4.1)) в точности такую же форму

д С

д(рк

-дв

д

д (дв д)

+ д1 д@

д

д (д дв ук)

----= 0,

где вместо символа С следует выполнить подстановку С(<дк, да(рк, дда<£к,..., XXв).

Уравнения Эйлера - Лагранжа ковариантны относительно обобщенной геометрической замены переменных (4.1) и в случае наиболее общей формы «естественной» плотности лагранжиана (т.е. когда он зависит от градиентов поля сколь угодно высокого порядка). Действительно, можно показать [14, с. 323-327], что справедливо соотношение

(С) = Азк Ек (С),

(4.5)

где

р (П = д дС

Ек (С) - д^к дв д(двук)

дС д дд —— дв —~-

дд в д(двдк)

Ек(С) - -Т^дк - дв

+ дв + д.у дв

д

д (д1 дв ук)

дС

д (д1 дв ук)

(

А^к = det

дг X1

дх X в* дгФк

дв*Х1

дв* X в*

дв* Фк

д X1 \

дфЭ

дХ в*

д Фк

(4.6)

дуз /

дв — оператор полного дифференцирования по пространственно-временной координате Xв, в * число пространственно-временных координат,

det

дХ в

С(д, дад, д7 да ук, ...,Хв ) = С(ук, да ук, д7 да ук, ...,Хв )

при условии, что переменные ук, Хв и ук, Хв связаны формулами преобразования (4.1) или даже более общего геометрического преобразования, не являющегося, например, однопараметрической группой. Поэтому системы уравнений Эйлера - Лагранжа Ек(С) =0 и Ек(С) = 0 обе выполняются, если выполняется хотя бы одна из них27 .

27Формула преобразования оператора Эйлера в том случае, когда в замене переменных фигурируют частные производные полевых переменных, имеется в работе [14, с. 468, 469].

Полные вариации пространственно-временных координат и физических полей / при их преобразовании согласно (4.1) определяются равенствами

¿X в = Е ( дх в -Х ^ ■')) , ¿^ = е ( д -Х 7 ■')) . (4.7)

V де /в=0 V де /е=о

Частичную вариацию полевой переменной / мы определяем с помощью соотношения

V = V + ддха ¿Xа- (4.8)

Условие инфинитезимальной инвариантности функционала действия относительно обобщенной геометрической группы преобразований (4.1) имеет вид

+ £ ^ =0. (4.9)

где вариация лагранжиана ¿£ — линейная по е часть приращения

£(/. /. /. . . . . Xв) - £(/. да/. д7да/. . . . . Xв).

Если лагранжиан зависит от градиентов поля порядка не выше первого, то вариация лагранжиана равна

дГ _ дС -

¿£ = (а,+ —^ V + де (V) (4-10)

или в несколько преобразованной форме

¿£ = - д? дсЦ^)+(й> ^7+д? ( щ^) ^) • (4-|1)

Полная вариация действия (при условии, что «естественная» плотность лагранжиана зависит от градиентов поля порядка не выше первого), отвечающая полному его варьированию по пространственно-временным координатам Xе и полевым переменным / в соответствии с (4.1), вычисляется в виде

Ц+ 5011^) д? ) + дЬ^ е ^ * X = - д? ШЬ } X Ч Ч V + ^ е } я. (4-12)

Если функционал действия ^ абсолютно инвариантен28 относительно группы преобразований (4.1), то его первая вариация (4.12), соответствующая варьированию координат и полей по закону (4.1), очевидно, будет равна нулю.

Инфинитезимальный критерий инвариантности функционала действия (4.9) относительно обобщенной геометрической группы преобразований (4.1) может быть заменен более слабым условием ([21])

+ £еЦ: (4.13)

дXa 5X7

так, что первая вариация действия будет вычисляться в виде = е § (д7В7)^4X, где в правой части подынтегральное выражение представляет собой дивергенцию векторного поля В7, которое может зависеть от пространственно-временных координат и полевых переменных (включая и градиенты поля порядка равного, большего или меньшего, чем входящие в лагранжиан) В7 = В7.да/■ д7да/■...■Xе). Группа преобразований (4.1) в этом случае называется щенной инфинитезимальной дивергентной симметрией функционала действия.

28Или, делая тем самым более общее предположение, — инфинитезимально инвариантен.

ВЛ Ковалев, ЮЛ. Радаев. Математические модели п современные физические теории поля Вводя четырехмерный вектор

•=н —на5Ха)+^, (4-14>

вариацию действия, отвечающую обобщенной геометрической группе преобразований (4.1), представим в форме

59 = е у дв ¿4Х. (4.15)

Воспользуемся теперь предположением об абсолютной (инфинитезимальной) инвариантности функционала действия относительно обобщенной геометрической группы преобразований (4.1). Ясно, что тогда в (4.15) следует полагать 59 = 0 и соответствующий закон сохранения имеет следующую четырехмерную дивергентную форму:

дв = 0, (4.16)

где компоненты 4-вектора • вычисляются по формуле (4.14), если группа обобщенных геометрических симметрий (4.1) известна:

е^ \ я г г /Ягъкл^з

•в /дХв ,Х7 ,е)\ дС Г/д Фк (<?а ,Х7 ,е)\ /дХа (у5,Х7 ,е)\

V де Л=0 д (дв Н\ де Л=0 V де /

в=а дХа

(4.17)

Каждой обобщенной инфинитезимальной дивергентной симметрии действия, которая определяется условием (4.13), соответствует закон сохранения:

дв (7в — Вв ) = 0. (4.18)

Далее мы рассмотрим ряд различных форм первой вариации функционала действия, отвечающих полному его варьированию по пространственно-временным координатам Xв и полевым переменным в соответствии с (4.1), отличных от (4.12). Однако сначала необходимо получить ряд необходимых для дальнейшего изложения формул.

Непосредственной проверкой нетрудно убедиться, что

к\п ( дС \ дС д „, дС \

—(да^ )Ек(С) = дХа^ — дХа + дХв ),

откуда сразу же следует

дГ \ Г д / дС М

(да^5д Л 5Ха + (да^к)Ек(С)5ХС

дС 5Ха = ( т5^ ) 5Ха +

дХа VдX а / ехр1

дХв V" а ^ Уд(дв ^ )

и, таким образом,

г)Г / г)Г \ г)Г

^^ = (^)ех 15Ха — (^)(дв(5Ха))+ (да^к)Ек(С)5Ха+

д ( дС \

+ дХв 5Ха) • (4Л9)

Вычисляя первую вариацию действия (считаем, что лагранжиан зависит от градиентов поля не выше первого порядка) согласно (4.12) и учитывая (4.19), находим

59 =! Щ5^ + дв+ (дв**^(С)5Хв + 5X7 )5Хв) +

Чехр1 5Хв + (С5'а — (дв^) в(&) ^ (5Хв^ ^ (4-20)

где

5хв = ^, = Е(

дФк (.а,Х 7 ,е) де

е=0

— по-прежнему полные вари-

ации29 пространственно-временных координат и физических полей , а частичные вариации полевых переменных определяются соотношением

V=^ + «Х7 •

Если предположить, что полные вариации полей и полные вариации пространственно-временных координат Xе исчезают на границе рассматриваемой 4-области, то, очевидно, частичные вариации 5.к также обращаются в нуль на границе д и, следовательно, формулу для вариации действия (4.20) можно также представить в виде

=

* ( д £ Ч д (дв )

+ ( © «Р,— д" (£5<а — (дв^ >

дС

д (да )

или в следующей замечательной симметричной форме: 59 =

к + (двБ3*)) 5.к + ( (|£в) ^ + (даРа )) 5x4 й4Х,

5Хв| й4Х

(4.21)

где

_ Бв • = д £ • к д(дв ),

—Рв' = £5а - (дв )

д

д (да )'

(4.22)

(4.23)

Таким образом, можно ввести еще два канонических тензора с естественными 1-контравариант-ными и 1-ковариантными компонентами30.

Следует еще раз подчеркнуть, что при выводе формулы (4.21) для вариации действия полные вариации пространственно-временных координат Xв и полей считались нулевыми на границе д, откуда, в свою очередь, в силу соотношения (4.8) следует, что частичные вариации полей исчезают на границе д. Если снять эти требования, то в правую часть формулы (4.21) необходимо добавить слагаемое

да (*?«в )+ *( V) + ✓ ) ^ 5Хв

Ясно также, что в применении к классической механике сплошных сред

д

й4 X.

4

Б • к =

= —Рк ^ (^к = д4 ),

д

Р4 = (дв )

д (д4.к)

= Рк^дв(в =1, 2,3),

д (д4 )

Р44 = Н,

где -ик — контравариантные компоненты эйлеровой скорости, рк — плотность среды в отсчетном состоянии, Н — «естественная» плотность гамильтониана, определенная согласно (3.10).

Заметим, что тензор Б^' (в = 1,2,3) аналогичен31 отсчетному тензору напряжений (первому тензору напряжений Пиола - Кирхгофа) 8 = — , а тензор (а, в =1, 2,3) — тензору напряжений Эшелби32 Р = — (£1 + 8 ■ Ет).

29Иногда используется несколько другая терминология: например, в монографии [5] эти вариации называются соответственно лагранжевой и эйлеровой элементарными вариациями.

30Следует отметить, что канонический тензор Бвк 1-контравариантен по «отсчетному» индексу и 1-ковариантен по «пространственному».

31Под аналогией мы понимаем соответствие того или иного объекта традиционным определениям, известным из механики континуума.

32

Дополнительно заметим также, что —Рва = Тва, где Тва — тензор энергии - импульса.

Для удобства приведем здесь известные из рациональной механики сплошных сред определения и соотношения: Е — градиент деформации,33 8 = 7Е-Т ■ Т — первый тензор напряжений Пиола -Кирхгофа, 7 = det Е, Т — тензор напряжений Коши.

5. СТАНДАРТНЫЕ, ВНУТРЕННИЕ И ВНЕШНИЕ ВАРИАЦИИ

Обобщенное геометрическое преобразование пространственно-временных координат Xе и физи-

ческих полей у

(Xв, рк) ^ (Xв, ¡рк)

естественно порождает три различных класса преобразований и три класса вариаций, к обсуждению которых мы и переходим.

Класс так называемых стандартных однопараметрических преобразований (Xв, рк) ^ (Xв, фк), где фк = рк + е-0к(X7) и функции -0к исчезают на границе д 4-области интегрирования Р, позволяет ввести стандартные вариации ¿Xв = 0, 5рк = 5рк = е-0к.

Опираясь на формулу вариации действия (4.21), нетрудно заметить, что

+ (дв • Л 5 ,,к

д к

= / 7ГТ + (двС ) 5рк^ (5.1)

и на основании стационарности действия в силу произвольности стандартных вариаций — получить уравнения Эйлера - Лагранжа

д

дрк+(дв * вк)=о,

которые, по-существу, выражают баланс импульса при отсчетном (т.е. в пространственно-временных координатах X в) описании физических полей.

Рассмотрим далее преобразования вида (Xв, рк) ^ (Xв, ) (к = 1, 2,3), где = рк + е^к( р5,Ь).

Мы, по-прежнему, предполагаем, что функции <^к(рв,Ь) исчезают на границе д 4-области интегрирования Р.

Вариации пространственно-временных координат Xв и физических полей рк принято в этом случае называть внешними вариациями ¿Xв = 0, 5 рк = 5 рк = е^к( ри рассматривать их как функции эйлеровых переменных и времени.

Введем обозначения хк = рк, х4 = Ь и будем трактовать хк по аналогии с переменными Эйлера (пространственно-временные координаты Xв — переменные Лагранжа).

Подсчитывая первую вариацию действия, находим34

5* = / Ш + (дв^ ) -д4д(|р)) 5рк^ (к =1'23; в = 1 2,3),

^ = £ Ц+ (дв^ - д4щУ ^(^'X4)'4X =

= £ /(/-1 дЦрк + (д1Тк -1д4 Щ^к)) ^ (X5 'Х4)^4 X =

дГ дС \

7-1 дХ1 + (д1 Тк-1д4 д(д4рк)] 5 рк¿4х = 1, 2,3; в = 1, 2, 3), (5.2)

или

33Градиент деформации в рамках классической теории поля определяется каноническим соотношением: = и имеет

1-контравариантные пространственные и 1-ковариантные отсчетные естественные компоненты.

34В приводимых далее формулах следует различать операторы д @ и д^: первый обозначает дифференцирование по пространственно-временным координатам Xе (в = 1,2,3), второй — по эйлеровой координате х1 (I = 1,2, 3). Греческий индекс всегда ассоциируется с пространственно-временными координатами и отсчетным представлением векторных и тензорных полей, латинский — с эйлеровыми координатами и актуальным (пространственным) представлением. В рамках формализма

группового анализа дифференциальных уравнений (см. разд. 9) частное дифференцирование д[ будет обозначаться через д¡.

о

где 1 — якобиан преобразования от переменных Лагранжа к переменным Эйлера

J = ёеЬ(двх3) (в =1, 2,3; 5 = 1, 2, 3), дС

Т1к = 1 -1 (дв<р1 )Бвк= -1-1 (двр1)-Що^Т) (в =1, 2,3; к,1 = 1, 2, 3). (5.3)

^ • тчт_)/~\гтт;г'т,г»гт п„ тт™Лт_т 7"-1Я„ Св ' — Я.Т1 •

При преобразованиях в (5.2) тензор Т к вводится так, чтобы 1 -1двБрк = д1 Тк (в = 1, 2,3; к,1 = , 2, 3). Ясно, что Бвк = 1 (дгХв)Т!к, поэтому 1-1 -в= 1-1 Т%-в(1дгXв) + (дгXв)-вТ!к = д1 Т1к

в силу того, что дв(J-íXв) =0 (в = 1, 2,3; i = 1, 2,3). Последнее равенство является следствием равенств 2JdkXY = eYae£kim(da)(дв) и перестановочности дифференцирований dYдвpk = двdYpk, которая влечет е1вх (д7двpk) = 0.

Таким образом, может быть получено каноническое определение еще одного тензора — T^. Далее будет показано, что 1-контравариантный и 1-ковариантный пространственный канонический тензор Tlk есть тензор истинных напряжений (тензор напряжений Коши).

В силу произвольности выбора внешних вариаций Spk внутри соответствующей 4-области интегрирования по эйлеровым переменным получим уравнение

дд

+ J-Igxk + = 0 (кЛ = 1'2-3)- (5-4)

выражающее баланс импульса в форме Эйлера. Действительно, так как (или просто считая, что вводятся обозначения) дтд—к) = PrVk, Pr = pJ, то уравнение (5.4) может быть преобразовано к следующему виду:

д

рд-,tvk = д1 Tlk + det^s Xв) , (5.5)

где дифференцирование по времени дг производится при фиксированных лагранжевых координатах Xв, т.е. эйлерово поле скоростей Vk(x1,x2,x ,t) в (5.5) дифференцируется по времени следующим образом:

д-Vk = дг\xj Vk + (дsVk)vs.

Следует также отметить, что в уравнении баланса импульса в форме Эйлера (5.5) не следует пренебрегать слагаемым det^sXв) дд^к, поскольку как только пространственное описание ведется в

криволинейной координатной сетке xk, то, в частности, кинетическая энергия будет явным образом

k

зависеть от пространственных переменных xk, так как метрический тензор gks явно от них зависит. Напомним также, что в выражение для «естественной» плотности лагранжиана может также входить потенциальная энергия внешнего силового поля, которая в явной форме зависит от пространственных переменных. Если исключить влияние внешнего потенциального силового поля и ввести в пространстве декартовы координаты, то лагранжиан не должен явно от них зависеть (галилеева инвариантность), следовательно, уравнение баланса импульса будет иметь вид

р( дг\3:j Vk + (дsVk)vs) = -iTÍ (k,s = 1, 2, 3).

Принимая во внимание уравнение неразрывности

дг\хз P + дs(pVs) = 0 (s = 1, 2, 3), (5.6)

уравнение баланса импульса можно преобразовать к дивергентной (в эйлеровых переменных) форме

дг\xj (pVk) + дs(pVsVk - T:%) = 0 (k, s = 1, 2, 3). (5.7)

Уравнения (5.6), (5.7) составляет единое 4-тензорное уравнение:

дSJsk =0 (s,k = 1,2,3,4), (5.8)

где три первых координаты — пространственные эйлеровы, четвертая координата — время, тензор кинетических напряжений (в, к = 1, 2,3,4) определяется матрицей

( pv1v1 - T}{ pv1 V2 - Tl> pv1vs - T13 pv1 pv2v1 - T\ pv2v2 - T22 pv2v3 - T23 pv2 pv3v1 - T3{ pv3v2 - T32 pv3v3 - T33 pv3

V

pvi

pv2

pv3

(5.9)

p

Пространственный 4-тензор имеет 1-контравариантные и 1-ковариантные пространственные компоненты (в, к = 1, 2, 3,4) в качестве естественных.

Заметим, что 1-ковариантный пространственный вектор рк = рУк (к = 1, 2, 3) представляет собой плотность классического импульса поля (в расчете на единицу объема в актуальной конфигурации). Чисто «пространственная» часть тензора кинетических напряжений в прямой тензорной записи

имеет вид

а уравнение баланса (5.7)

J = v 0 p - T,

dt |x p + V ■ (v 0 p - T) = 0.

(5.10)

Здесь символом дг |х обозначается частное дифференцирование по времени при фиксированном эйлеровом положении х.

Формулировка вариационного принципа стационарности действия для нелинейно упругого тела в переменных Эйлера и вывод уравнения баланса импульса из него на основе канонического определения тензора напряжений Коши приводятся в [6, с. 190-195].

На основании (5.5) нетрудно заключить, что тензор Тк вполне аналогичен тензору истинных напряжений Коши35 Т = 1-1ЕТ ■ 8.

Наконец, рассмотрим однопараметрическую группу преобразований (Хв,ук) ^ (Хв,ук), где Хв = Хв + фв(Х7) и функции фв исчезают на границе 4-области интегрирования V.

Вариации пространственно-временных координат Хв и физических полей у3 принято в этом случае называть внутренними вариациями: -Xв = ефв, -ук = 0.

Заметим, что для внутренних вариаций будет справедливо соотношение

-ук = - Ёу!. -Х 7.

dX y

Варьируя действие согласно (4.21), находим

=/( Ш етр1+(а"р-a 0 íx e d4 X

Пользуясь произвольностью выбора внутренних вариаций внутри 4-области интегрирования, приходим к уравнениям Эйлера - Лагранжа:

которые представляют собой по сути закон, найденный Эшелби [26].

(5.11)

5Не следует отождествлять тензоры T^ и T:a, поскольку это разные тензоры. Первый из них имеет естественное простран-

ственное представление, а второй — отсчетное

яг

тв = те = C6Í - (дарк)я(я ks, Tlk = -J-l(de<pl)

дС

'д(др рк )' "к (дв рк)' В приведенных естественных выражениях «естественная» плотность лагранжиана С включает множитель у.

6. ОБОБЩЕННЫЕ ГЕОМЕТРИЧЕСКИЕ ГРУППЫ ИНВАРИАНТНОСТИ ДЕЙСТВИЯ

Расширение класса однопараметрических геометрических преобразований до (4.1) позволяет установить уравнения поля и законы сохранения сразу в канонических формах.

Мы, по-прежнему, будем рассматривать обобщенные геометрические группы преобразований:

Xв = Xв(<рв7, е), рк = Фк(<рв7, е).

Если функционал действия (для любой 4-области пространственно-временного многообразия) абсолютно инвариантен относительно обобщенной геометрической однопараметрической группы преобразований (4.1), т.е. при сохранении формы функционала действия не изменяется его величина 9 = 9, то такая группа, как указывалось, называется обобщенной геометрической группой инвариантности действия (или обобщенной геометрической вариационной симметрией действия)36.

Мы будем считать, что лагранжиан зависит от градиентов полевых переменных порядка не выше первого. В этом случае абсолютная инвариантность функционала действия означает, что

J £(/рк)й4X = у £кв)й4XX,

V V

где преобразование пространственно-временных координат и полевых переменных осуществляется в соответствии с (4.1).

Покажем, что каждая обобщенная геометрическая группа инвариантности действия позволяет, при условии выполнения уравнений Эйлера - Лагранжа

к + (дв= о, (д^з)ех1 + (д*) = ° (6Л)

дР V— /ехр1

сформулировать дивергентный закон сохранения:

дв Iе = (6.2)

где ток Iв определяется следующей формулой:

Iе = 1 (ввк ¿рк + рв¿X7) . (6.3)

Действительно, варьируя действие, находим (см. (4.20))

¿9 = / {+ ъёг) дв <^к) Ч Щ ехр1 ¿^ + (дв рк )Ек(^в+

((двР к) Щ^к)+ - (двР к) д(^) ^^ *Х =

д (д7 рк)) Vе ' д (дарк)

^к - ^ дв (¿Р к) + (дхв) ехр1 ¿Хв - Рав да (¿Хв) +

+(дврк)Ек(£)5Хв + д7 ((дврк) ¿Xе) } й4X = 0.

В силу произвольности 4-области интегрирования необходимо

дГ — —

(дврк)ЕкОС^ - д7((двр к^^) + —k¿р к - £вкдв(¿р к)+

Ч д^в) ¿Xв - да (¿Xв ) = 0.

V д / ехр1

(6.4)

36Достаточно, как всегда, предположить, что при неизменной форме действия изменение величины действия имеет порядок более высокий, чем е: Э — Э = о(е).

Учитывая, что ¿р* = ¿р* + (д?р*)¿Xе, я? д?(5р*) = д?(£?'¿р*) - (¿р*)(д?я? ), Р^да(¿Xе) = да(Ре¿Xе) — (¿Xе)(даРе'), уравнение (6.4) представим в виде

\др

+ (де¿р* Л (5x0)ех 1 + (даР/З ') I ¿Xе-

-д?(я? ¿р* + р?¿X7) - де((д7р*^еда7) = о.

Таким образом, если уравнения Эйлера - Лагранжа (6.1) удовлетворяются, то можно сформулировать дивергентный закон сохранения:

де (я? ¿р * + р? ¿X7) = о. (6.5)

Полученный результат37, кроме всего прочего, ясно указывает на то, что тензор напряжений Пио-ла - Кирхгофа и тензор напряжений Эшелби — основные конструктивные элементы, необходимые для построения законов сохранения, соответствующих вариационным симметриям действия.

7. ОБОБЩЕННЫЕ ГРУППЫ ПРЕОБРАЗОВАНИЙ (ПРЕОБРАЗОВАНИЯ ЛИ - БЭКЛУНДА).

ОБОБЩЕННЫЕ ВАРИАЦИОННЫЕ СИММЕТРИИ ДЕЙСТВИЯ

Можно еще более расширить класс однопараметрических геометрических преобразований (4.1), допуская их зависимость также и от градиентов первого порядка (или более высоких порядков) полевых переменных р *. Такие (уже не геометрические) однопараметрические преобразования пространственно-временных координат и полевых переменных называются обобщенными (или преобразованиями Ли - Бэклунда) и имеют вид

Xе = Xе^ дад,дар*■ ...■XТ■ е) = Ф ^ дад,дар*■ ...■X^■е). (7.1)

По-прежнему считаются выполненными «начальные условия»:

Xе (р* ■дар* ■ д, дарS■•••■X7 ■ е)|£=0 = Xе ■ Ф ■дар* ■ д, дар* ■•••■XY ■е)|£=0 = р *.

Обобщенные однопараметрические группы преобразований (7.1) фигурировали уже в оригинальной работе Нетер [3] (имеется перевод этой статьи на русский язык: Нетер Э. Инвариантные вариационные задачи // Вариационные принципы механики. М.: Физматгиз, 1959. С. 611-630.) и в настоящее время рассматриваются как наиболее перспективный инструмент изучения нелинейных систем дифференциальных уравнений в частных производных и поэтому привлекают все более пристальное внимание математиков, механиков и физиков. В 5-й главе монографии [13] приводится теория обобщенных симметрий и законов сохранения для систем дифференциальных уравнений в частных производных. Новый вариант изложения этого круга вопросов читатель может найти в монографии

[15].

Обобщенные преобразования, допускающие зависимости от градиентов полевых переменных порядка не выше первого, являются простейшими представителями (7.1). Их общая форма есть

Xе = Xе (р* ■да р* ■X7 ■ е) р* = Ф ^■да р*^7 ■е). (7.2)

Обобщенные преобразования, так же как и геометрические, можно продолжить, следуя стандартной процедуре, многократно описанной ранее, на частные производные от полевых переменных.

37Приведем также квазистатический аналог 'У'и, • (8 • ¿х + Р • ¿X) = 0, где, по-прежнему, 8 — первый тензор напряжений

Пиола - Кирхгофа, Р — тензор напряжений Эшелби и соответствующий инвариантный интеграл § (8 • ¿х + Р • ¿X) • ¿Б = 0

5

для любой замкнутой в отсчетной конфигурации поверхности Б, внутри которой поле регулярно.

Нетрудно заметить, что, задавшись полевыми функциями ( (X а), можно на основании формул обобщенного преобразования (7.1) получить «новые» функциональные представления поля (Ха). Действительно, подставляя в первую группу соотношений (7.1) поля у3 = у3(Ха), выразим из указанных соотношений пространственно-временные координаты Ха через «новые» координаты X а, а затем с помощью второй группы соотношений (7.1) выразим «новые» полевые переменные дк через «новые» координаты Ха. Ясно, что затем можно вычислить частные производные ддк, дддк, .. ., и вести речь о преобразовании пространственно-временных переменных X7 ^ X7 и всего дифференциального комплекса полей и их градиентов

у3,дау3дау3,...

1 _ (7.3)

(р3 ,<9а д3 ,<9ада д3,...

в результате действия обобщенной замены переменных (7.1).

Уравнения поля в результате обобщенного преобразования (7.1) также трансформируются. Формула преобразования оператора Эйлера при замене переменных (7.1), в которой фигурируют частные производные сколь угодно высокого порядка от полевых переменных, имеется в [14, с. 468, 469].

Действие по Гамильтону

9 = У £((к ,д7 ,...,Хв (7.4)

V

в результате обобщенного преобразования (7.1), определяющего также замену X7 ^ XX7, полей и их градиентов согласно (7.3), трансформируется в «эквивалентное» (т.е. представленное в новых переменных) действие

9 = У £(дк ,да дк А да дк в ,

V

где £(ук, даук, д7даук,..., Xв) ^ £(дк, дрк, дддк,..., Xв) есть преобразование «естественной» плотности лагранжиана в соответствии с заменой переменных (7.3). «Эквивалентность» действий 9 и 9 означает 9 = 9 и, как следствие, то что «естественная» плотность лагранжиана преобразуется в результате замены переменных (7.3) как обычная скалярная плотность.

Если в условии «эквивалентности» (приводимое далее равенство может выполняться не точно, а с невязкой порядка о(е); в этом случае следует говорить об инфинитезимальной инвариантности функционала действия) 9 = 9, положить £(дк, дрк, р7дрк,... , Xв) = £(дк, ддк, дддк,... в), то говорят, что функционал действия абсолютно инвариантен относительно обобщенной группы преобразований (7.1).

Теория обобщенных симметрий для интегральных функционалов дается в книге [13, с. 368-470].

Теория вариационных симметрий типа (7.2) довольно детально изложена в монографии [9, с. 167188]. Она, в целом, повторяет (с небольшими отклонениями) то, что уже было изложено в предыдущих разделах работы, поэтому далее приводятся только основные формулы, относящиеся к вариационным симметриям действия указанного типа. Лагранжиан при этом предполагается зависящим от градиентов поля порядка не выше первого.

Функционал действия будет инвариантен относительно обобщенных преобразований (7.2), если

J £((к^)^4X = J £(дкдк)^4X.

V V

Полные вариации пространственно-временных координат X в и физических полей ук при их преобразовании согласно (7.2) определяются равенствами

(дXв(у3, X7,е)\ к = (дФк(у3, X7,е)\ (7 5)

V / е=0 ' V ) е=0

Частичную вариацию 5рк полевой переменной рк мы определяем с помощью соотношения

5рк = 5рк +

дрк

(7.6)

Критерий инфинитезимальной инвариантности функционала действия относительно обобщенной группы преобразований (7.2) имеет вид

5£ + £ ^дР =0, (7.7)

где вариация лагранжиана 5£ — линейная по е часть приращения

£(рк, рк, д7рк,..., XXв) - £(рк, дарк, д7дарк,..., Xв). Этот критерий, как известно, обобщается до

д (5X7) дБ7 (78)

где В7 = В7(рк,дарк,дадарк'...'Xв).

Если лагранжиан зависит от градиентов поля порядка не выше первого, то вариация лагранжиана равна:

д£

д

5£ = к£)5^ + ^+ в (дв рк)

а„ (5рк)

или

следовательно,

д

д

- / дС -

5Рк + (а, £)и ^ + Ц д(э-рк) V

д) „ _^ , „ ^ д£

5£ дрк дв д (дв рк)

5£ + = Е (£)5р + дв + д(д,р-)

5рк

(7.9)

(7.10)

(7.11)

Полная вариация действия (при условии, что «естественная» плотность лагранжиана зависит от градиентов поля порядка не выше первого), отвечающая полному его варьированию по пространственно-временным координатам Xе и полевым переменным рк в соответствии с формулами преобразования (7.2), вычисляется в виде

59 = д£

д £

дрк

5рк +

д£ д, (5рк ) + 4в и ¿4 X =

дв

д

дрк в д (д, рк) Вводя 4-вектор тока

д(дврк) в ^ 7 ' дXв

5Рк * x + /5рк+£5^ ^

3 в = и д £

е I д(дврк)

к дРк

5рк-

дXa

5Xa^ + £5Xв | ,

вариацию действия, отвечающую группе преобразований (7.2), представить в форме

59 = е / (дв3в)^4X.

(7.12)

(7.13)

(7.14)

Если действие абсолютно (инфинитезимально) инвариантно относительно группы преобразований (7.2), тогда в (7.14) следует полагать 59 = 0 и соответствующий закон сохранения имеет обычную четырехмерную дивергентную форму:

дв 7в = 0, (7.15)

где компоненты 4-вектора тока 3в вычисляются по формуле (7.13), если обобщенная симметрия (7.2) известна

7в = £ ^ дХ^^Р^))

+

е=0

+

д

д (дв рк)

дФк(р5, дар5, X7, е) ^ (дХа(р5, дар5, X7, е)

е=0

де

де

е=0

дрк

(7.16)

8. ЛАГРАНЖИАН ПУСТОГО ПРОСТРАНСТВА

Еще одно обобщение теории вариационных симметрий достигается путем аддитивной трансформации «естественной» плотности лагранжиана С ^ С + С' так, чтобы добавочное слагаемое С' (рк, дарк, dYдарк,..., Xв) не нарушал выполнения уравнений Эйлера - Лагранжа. Другими словами, добавление С' к лагранжиану С не оказывает влияния на условия стационарности действия, хотя, возможно, и приводит к изменению граничных условий для поля и, самое главное, — к изменению условия инфинитезимальной инвариантности действия. Эта процедура часто называется калибровкой лагранжиана. Лагранжианы С и С + С' оказываются физически эквивалентными.

Вообще всякая функция

С' = С'(рк, дарк, д1дарк,..., Xе), (8.1)

для которой уравнения Эйлера - Лагранжа

дС' дС' дС

Ек(С) " дрк - двЩ^кГ) + дyдв д^дврк) - • • =0 (8.2)

тождественно удовлетворяются для любого набора физических полевых величин рк, называется лагранжианом «пустого пространства»38, поскольку любой подобный аддитивный добавок формально не изменяет вариационного представления физических полей и поэтому может быть ассоциирован с пространством, «вмещающим» поля.

В качестве примера (см. [7, с. 241-243]) рассмотрим скалярное двумерное поле с лагранжианом, представляющим собой Гессиан поля, т.е.

С = (дхдцр)(дьд2р) - (д1д2р)2. (8.3)

Непосредственной проверкой устанавливается, что для любого поля р уравнения поля E(С) = 0 удовлетворяются тождественно, следовательно, лагранжиан (8.3) нулевой. Нетрудно заметить, что он представляет собой дивергенцию С = дхР1 + д2P2, вектора Р1 = (дхр)(д2д2р), P2 = -(д1р)(д1 д2р).

Если С' — нулевой лагранжиан, то действие с нулевым лагранжианом

9' = J С'(рк, дврк, д1 дврк,..., XA)d4X (8.4)

называется нейтральным действием. Принцип наименьшего действия в случае нейтрального действия заведомо выполнен, поскольку оно стационарно на произвольных физических полях, и поэтому вообще никак не связано со свойствами каких бы то ни было физических полей, что, собственно, и позволяет ассоциировать такое действие не с физическими полями, а с пространством их «вмещающим».

Понятие о лагранжиане пустого пространства совершенно необходимо для установления степени определенности канонических тензорных полей, входящих в формулировку как классических, так и дополнительных существенных законов сохранения. Теория лагранжиана пустого пространства излагается, например, в монографии [20, p. 224-226]. Наше изложение следует статье [4].

Лагранжианы пустого пространства выступают в качестве основы решения задачи вариационного исчисления об «интегрирующем множителе». Суть проблемы состоит в поиске таких функций Qj(рк,дврк,д<удврк,...,Xа), которые позволяли бы для данной системы дифференциальных уравнений в частных производных Fj(рк,двркдврк,...,Xа) = 0, которая не вытекает из принципа наименьшего действия, гарантировать выполнение равенства дв J3 = Qj Fj с некоторым вектором Jв для произвольных полей рк и тем самым сформулировать на решениях указанной системы дивергентный закон сохранения

дв Jв = 0.

8Или нулевым лагранжианом (null Lagrangian). Часто употребляется также термин «калибровочный лагранжиан».

8.1. Дивергентное представление нулевого лагранжиана, регулярного в звездообразной области

Основной результат развиваемой теории состоит в том, что лагранжиан пустого пространства (8.1) всегда представляется (при предположении о «звездообразности» области39 изменения его аргументов) в форме полной дивергенции

д Фа (ук, др ук, д7 др ук, ...,Х Л)

С' (ук ,др ук 1д1 др ук ,...,Х Л) =

дХа

(8.5)

Представимость лагранжиана в форме полной дивергенции (8.5) является необходимым и достаточным условием того, чтобы он был нулевым. Достаточность проверяется прямым вычислением оператора Эйлера в применении к (8.5): Ек(даФа) = 0. Необходимость также без труда обосновывается. Мы приведем доказательство, существенно использующее звездообразную геометрию области определения лагранжиана в продолженном пространстве, следуя [14, с. 322, 323; 15, р. 225, 226].

Предположим, что лагранжиан С'(ук,д7ук,д7друк,...,ХЛ) есть лагранжиан пустого пространства, определенный и регулярный в некоторой области изменения аргументов ук, д7ук, д7друк, ..., звездообразной относительно нулевой точки.

Рассмотрим значения лагранжиана на лучах, исходящих из нулевой точки. Для этого введем параметр е, изменяющийся на отрезке [0,1]. Пользуясь звездообразной геометрией области, можно заключить, что функция от г

С' (еук, ед7 ук, ед7 др ук, ...,Х Л)

корректно определена и регулярна на отрезке [0,1].

Дифференцирование по параметру е приводит к

1

(е

д'

С' (еук, ед7ук, ед7др ук,..., XЛ) = —т ук +

(-

Замечая, что

(д1 ук)

+

д'

д'

(дд (д7 ук)

д (д1 др ук)

= д1 у

дС'

дук^ ' ^д(д1 ук) (д7друк) + ... .

(д7 ук) +

(8.6)

д'

(д7 др ук)

д'

д (д7 др ук)

= д1 др у

д (д7 ук)

д'

к ( дС'

- у дЧ д(д7ук)

д (д7 др ук)

- укд7др

д'

д (д7 др ук)

—2(др ук )д7 у

д'

а также

(д7 др ук)

д'

д(д7 др ук)

= др д7 у

д'

д(д1 др ук )у ' — др (2укд7

д(дрд7ук)) \^^1 д(д7друк).' + ^^др

д'

д(д7 др ук)

находим формулу (см. символические обозначения (1.29))

£ £ (дв1 да 2 . . . да, у1)( дГ а2С') = £ у^ ( —1)3 да1 да2 ...да( д^ С') + др Фр =

I в>0 ' 1 ->о V-3 /

Еу'Е

I в>0

39Область многомерного пространства называется звездообразной (или звездной [27, с. 271; 28, с. 222]) относительно некоторой своей точки, если любую точку области можно соединить с этой точкой отрезком прямой, целиком расположенным внутри области. Выпуклая область звездообразна относительно любой своей точки. Понятие звездообразности области — обобщение на многомерный случай требования односвязности плоской области так, чтобы по-прежнему для поля Р7, удовлетворяющего условиям совместности дрР1 = д1 Рр, было справедливо заключение о том, что его циркуляция по любому замкнутому контуру равна нулю: / Р7¿X7 = 0. Требование о звездообразной форме области может быть несколько ослаблено (см., например, [27, с. 144-150]). В частности, речь может идти об областях, каждая точка которой достижима из некоторой фиксированной точки области по двузвенной ломаной, целиком расположенной внутри области: одно из звеньев ломаной всегда располагается в некоторой фиксированной гиперплоскости, а второе — перпендикулярно этой гиперплоскости. Вопрос о форме нулевого лагранжиана в областях, отличающихся от звездообразной, нуждается в дополнительном исследовании.

к

к

к

= р1 Е (С') + де Фе ■

где Фе — некоторое векторное поле, также зависящее от полевых переменных р*, их градиентов и пространственно-временных координат Xе, явное выражение которого нам в дальнейшем не потребуется.

Для производной (8.6), следовательно, находим формулу

АС'(ер*■ е«,р*^дер*■ Л) = р* { § - ^ (д^) ^^ (ЩдУ - + деФ".

Принимая во внимание, что С' есть лагранжиан пустого пространства, т.е. для любого поля р* выполняются уравнения поля Е*(С') = 0, получим, интегрируя по е на отрезке [0^ 1],

С'(р*■ д7р*■ д7дар*■ ...■XЛ) - С'(0^ 0^ 0■•••■Xл) = деФе■

—е 1

где Ф = / Фе(ер*■ ед7р*■ ед7дар*■ ...■ XЛ)^е. 0

Выбирая далее поле Фе так, чтобы С'(0^ 0^ 0^... ■Xа) = деФе, что заведомо возможно и многими способами40, и обозначая Фе = фе + Фе■ приходим к дивергентному представлению лагранжиана пустого пространства: С'(р*■ д7р*■ д7дар*■... ■XЛ) = деФе(р*■ д7р*■ д7дар*■... ■ Xл).

Плотность лагранжиана в 4-пространстве - времени, таким образом, всегда определяется с точностью до аддитивной полной дивергенции 4-вектора, зависящего от переменных поля, включая и градиенты поля41. Поэтому приходится также учитывать то обстоятельство, что в результате подсчета указанная дивергенция на самом деле может зависеть от градиентов поля порядка более высокого, чем сам 4-вектор Ф7.

8.2. Вычисление нулевого лагранжиана статического трехкомпонентного поля в трехмерном пространстве

Вычисление нулевого лагранжиана, зависящего лишь от градиентов первого порядка статического трехкомпонентного поля в трехмерном пространстве, представляет интерес в связи с исследованием нелинейно упругого поля в деформируемом твердом теле.

Если размерность пространства Xе равна трем и к = 1 3, то лагранжиан пустого пространства, зависящий от градиентов поля порядка не выше первого, всегда можно разложить в сумму

С'(р* ■ дар* ■ X Л) = А(р* ■ Xе) + В*е (р* ■Xе )де р* + С* (р* ■Xе)3д* Xе + £(р* ■ Xе) 3, (8.7)

где А(р*■Xе), В*3(р*■Xе), С*(р*■Xе), Д(р*■Xе) — некоторые поля, зависящие от пространственно-временных координат Xа и физических полей р*42, 3 — якобиан отображения Xе ^ х* = р*:

3 = ёе^де р*).

Приведенное только что соотношение может быть переписано в прямую тензорную запись

С' = А + ^(Б ■ 0 х)) + 31г(С ■ (^^к, 0 х)-1) + ЗД (8.8)

где 0 х)/* = дех*.

Непосредственный расчет показывает, что полная дивергенция трехмерного векторного поля Ф7, зависящего от трех координат Xе, трех компонент поля р* и их градиентов порядка не выше первого, также будет зависеть от градиентов поля порядка не выше первого, только если

Ф7 (р* ■да р* ■X Л) = £7 (р* ■Xе) + е7ел (де р* )К*Л(р* ■Xе) + 3 (д* X7 )М * (р* ■Xе )■ (8.9)

40Действительно, поле фа по заданной дивергенции можно разыскивать в безвихревом виде фв = дрф. Для определения потенциала ф (ф есть функция только пространственно-временных координат) тогда имеется уравнение Пуассона, разрешимость которого гарантирована, если правая часть этого уравнения — непрерывная функция пространственно-временных координат Xв.

41Как следует из (8.5), естественное представление вектора Ф7 — 1-контравариантное отсчетное.

42Выражения для А, Б'^, Ск^, О, как будет показано далее, не могут быть выбраны произвольно.

где LY = LY(рк,Хв), = (рк,Хa), Ms = Ms(рк,Хв) - произвольные поля. Прямая запись уравнения (8.9) есть:

Ф = L + ((Vr 0 x) ■ K)x + J(Vr 0 x)-T ■ M,

где крестом (крест Гиббса (Gibbsian cross)) обозначается векторный инвариант тензора второго ранга:

(Ax )y = е7вЛАвЛ 43.

С целью обоснования (8.9) вычислим полную дивергенцию поля Ф7(рк, дарк, Хв) как

/ дФ7

д Ф7 (д Ф7\ /д к, f

expl

Полная дивергенция не зависит от частных производных дФ1 дФ2

д(дврк)) 7 д2рк д2 рк

д7 (дв ^). д V

(8.10)

д (д1^к)

= 0,

д (д2^к)

= 0,

(дХ1 )2' (дХ2)2' (дХ3)2 дФ3

только если

д(дз рк)

= 0 (к = 1, 2, 3).

(8.11)

Но это означает, что компонента Фв не зависит от дврк (к = 1, 2,3). Аналогично должны выполняться условия

дФ1 дФ2 дФ1 дФ3 дФ2

д (д2рк) + д (д1^к)

= 0,

д(д3 рк) + д (д1^к)

= 0,

+

дФ3

д (д3 рк) д (д2 рк)

= 0,

чтобы была исключена зависимость от смешанных частных производных

2к

(8.12)

д2 рк

дХ 1дХ 2 ' дХ1 дХ 3 '

2к

д2 р

д 2р

дX 2дX 3'

На основании (8.11), (8.12) можно заключить, что компоненты Фв выражаются через первые градиенты поля как

Ф1 = Як' к'' (д2 рк' )(дзрк'') + Ьк (д2 рк) + Ск (дз рк) + Л1,

Ф2 = вк'к» (д1рк' )(дзрк'') + /к (д1 рк) + дк (дз рк) + Л2, (8.13)

Ф3 = Рк' к'' (д1 </ )(д2Рк'') + 9к (д1 рк) + ^к (д2рк) + Л3,

где Як'к''(рк,Xв), вк'к''(рк,Xв), рк'к''(рк,Xв), Ьк(рк,Xв), /к(рк,Xв), ^(рк,Xв), Ск(рк,Xв), дк(рк,Xв), 5к(рк^), (рк,Xв).

Действительно, поскольку, например, компонента Ф2 не зависит от частных производных д2рк, а Ф3 — от д3рк, то два первых уравнения в (8.12) устанавливают, что Ф1 может зависеть от градиента д2рк только линейно с коэффициентом, линейно зависящим от д3рк, и, наоборот, Ф1 может зависеть от градиента д3рк только линейно с коэффициентом, линейно зависящим от д2рк. Учитывая еще, что компонента Ф1 не зависит от градиентов д1 рк, сразу же приходим к представлению (8.13) для Ф1.

Подставляя (8.13) в (8.12), находим, что для любых градиентов поля должны удовлетворяться соотношения

(вкк'' + Якк'' )(д3рк") + /к + Ьк = °,

(«к» к + Ркк'' )(д2Рк'') + Ск + ^к = °, (8.14)

(вк'к + Рк' к )(д1 ) + дк + £к =°,

откуда следуют равенства вкк' = -«кк', Ркк' = -«к'к, «кк' = -«к'к; /к = -Ьк, ?к = -Ск, ^к = -дк, пользуясь которыми формулы (8.13) представим в виде

Ф1 = «к' к'' (д2 рк' )(д3 рк'') + Ьк (д2рк) + Ск (д3 рк) + Л1,

Ф2 = —«к'к" (д1рк)(д3) - Ьк(д1рк) + дк(д3рк) + h2, Ф3 = «к к'' (д1 )(д2 ) — Ск (д1рк) — дк (д2рк) + h3.

(8.15)

43Заметим, что векторный инвариант диадного произведения двух векторов трехмерного пространства есть векторное произведение векторов, составляющих диаду: (а ® Ъ)х = а х Ь.

Вводя затем аксиальный вектор а--, соответствующий антисимметричному тензору второго ранга

ак^- согласно

2а- = е-кз

е ■'а^-, получим

Ф1 =а3((д2^1)(дэ^2) - у2)(дзу1)) - а2((д2^1)(дэ^3) - у3)(5зу1))+ + а1((д2^2)(дз^3) - (д2у3)(дзу2)) + Ьк(д2ук) + Ск(53ук) + Л1,

Ф2 = - а3((д1^1)(дз^2) - (51 у2)(дзу1)) + а2((д1^1)(дз^3) - (51У)(53у1 ))-- а1((51^2)(5з^3) - (51У)(5зу2)) - Ьк(51 ук) + дк(53ук) + Л2,

Ф3 =а3((51¥>1)(52¥>2) - (51У)(52у1)) - а2«^1)^3) - (51 у3)(52у1))+ + а1((51^2)(52^3) - (51 у3)(52у2)) - Ск(51 ук) - дк(52ук) + Л3.

(8.16)

Наконец, учитывая, что

д^1 52 у1 5з у1 51 у2 52 У 5з у2 51 у3 52 у3 5з у3

-1

51X1 52 X1 5з X1 51X2 52 X 2 53 X 2 51X3 52X3 5з X 3

т.е. 235кX7 = е7авек1т(5ауг)(5^), или в развернутой записи

751X1 = (52 у2 )(5з у3) - (52 у3 -Jд2X1 = (52у1 )(5зу3) - (52у3 JдзX1 = (52у1 )(5зу2) - (52у2

-751X2 = (51 у2)(5зу3) - (51 у3 Jд2X2 = (51 у1 )(5зу3) - (51 у3

-JдзX2 = (51 у1 )(дзу2) - (51 у2

751X3 = (51 у2)(д2у3) - (51 у3 -Jд2X3 = (51 у1 )(д2у3) - (51 у3 JдзX3 = (51 у1 )(д2у2) - (51 у2

(дзу2 (дзу1 (дзу1

(дзу2 (дзу1 (дзу1

(д2у2 (д2у1 (д2^1

и обозначая Л7 = £7, а-- = Мв, Ьк = Кк3, ск = -Кк2, дк = Кк1, формулы (8.16) сразу же приводятся к (8.9).

Как следует из проведенных рассуждений, £7 — контравариантный отсчетный вектор, М-- — аксиальный пространственный вектор, Кка — 1-ковариантный пространственный и 1-ковариантный отсчетный тензор второго ранга.

Вычислим далее полную дивергенцию поля Ф7, определенного согласно (8.9). Прежде всего находим

д7 Ф7 = (д7 Ь7 )ехр1 + (дк Ь7 )(д7 ук) + е7вЛ(5в ук )(д7 КкЛ)ехр! + е7вл(5в ук )(д7 у1 )(д Ккл)+ +3 (дк X7 )(д7 М к )ехр1 + 2 е7ав £к1т (дп М к )(5аУ)(5в )(д7 ).

Здесь уже учтено, что е7вл(575^ук) = 0, и в силу 235кX7 = е7авек1то(5аУ)(5в) также равенство д7 (35к X7) = 0.

44

Замечая далее, что е7ав(д7уп)(дауг)(5^ут) = 3еп1т, еп1тек1т = 2^П, получим

кк

2 е7ав £к1т(дпМ к )(5«<рг )(5в )(д7 ) = 2 еп1т £к1т3 (5пМ к) = 3 (дк Мк).

4Приводимые формулы читатель может найти, например, в [29, с. 23, 24].

На основании (см., например, [29, с. 28]) е1рЛ(дррк)(д7р1) = ет1кДЛЛ, где — алгебраическое дополнение элемента д\в определителе

дгр1 д ю 1 д СО 1

дгр2 д2р2 дзр2

1 со д2р3 дзр3

и учитывая Д^ = 7(дгXЛ), имеем е1рЛ(дррк)(д7р) = ет1к7(дгXл), следовательно,

е^рл (др рк )(д7 р1)(д1 Ккл) = ек1р (д1 Крр )(дк Xе) = -екр1 (д1 Крр )(дк Xе),

что сразу же позволяет найти выражение (8.7) для лагранжиана пустого пространства, причем поля А, Б'р,, Скр, Б, фигурирующие в этом представлении, определяются в следующем виде:

А(х, Xв)= (Щ^1)

Б(хк .X в )= (ИМИд^ )

ехр1

ехр1

Бкр (xs,Xр) = + {дк Ьр (х- .Xр))

ехр1

/дК (х- X7)\

Скв (Х-^ ) = (дЭр Мк )) ехр1 -

(8.17)

(8.18)

(8.19)

(8.20)

ехр1

Приведем также прямую запись соотношений (8.17)-(8.20):

А = Б1Уехр1Ь, Б = ё1Уехр1М, В = RotexplК + ^гаёехр1Ь)Т, С = Огаёехр1 м - (rotexplKT)T и необходимые для понимания формул определения дифференциальных операторов:

01Уехр1 Ь = ■ Ь)ехр1,

RotexplK = (К X ^^)ехр1,

1Ь = (Ь 0 ^)ехр1,

ё1Уехр1 М = (V ■ М)ехр1,

(гotexp1 КТ)Т = (КТ X V)Txp1, Огаёехр1 М = (М 0 )ехр1,

или в координатной записи:

Б!Уехр1Ь = (д7 Ь7 )ехр1

• р = ^ ( дКка (хк .Xр) )

^7 лхрг

)Т)• 7 = (д, Т!

(RotexplK)kP = £Р

ё1Уехр1М = {дкМк) ехр1

((гotexpl КТ )Т)кр = екр

дКрр (х-, X7)

дх1

ехр1

((8Гаёехр1Ь) Т )к7 = (дкЬ)ехр1 , (0гаёехр1М)-7 = (д7М-)ехр1

В силу тождеств дкд7Ь7 = д7дкЬ7, ера7е^к-д-д7Кка = ера7е^к-д1 д-Кка, д1 дкМк = д-д7М-находим

§гаЙехр1 С1Уехр1Ь = Б1Уехр1 (8г^ехр1Ь)Т,

ГOtexpl(Rotexp1 К)Т = (Rotexp1 ^ехр1КТ)Т)Т, Огаёехр1 ё1Уехр1М = ё1Уехр1(Сгаёехр1 М)Т,

что приводит к соотношениям совместности

45

ёгаёехр1А = Б1Уехр1В, (RotexplC)T = -гotexpl ВТ, Огаёехр1Б =ё1Уехр1СТ, (8.21)

45Соотношениям совместности необходимо должны удовлетворять поля А, В, С, Б в выражении (8.7) для лагранжиана пустого трехмерного пространства.

где Б1Уехр1 В = ^к ■ ВТ)ехр1, ^Уехр1 СТ = (V ■ С)ехр1, или для компонент (Б1Уехр1 В)к = (даВка)ехр1,

(^Уехр1СТ )в = (дк С^д )ехр1.

Условия совместности (8.21) могут быть получены прямой подстановкой (8.7) в уравнения Эйлера - Лагранжа (8.2) и приравниванием к нулю сумм коэффициентов при одинаковых степенях градиентов (к.

8.3. Вычисление нулевого лагранжиана 4-мерного пространства - времени

Найдем выражение для лагранжиана пустого пространства для случая, когда пространство - время четырехмерно, а число т физических полевых величин ук может быть произвольным. При этом будем считать, что лагранжиан £' и векторное поле Ф7 в самом общем представлении лагранжиана пустого пространства (8.5) зависят от градиентов полей ук порядка не выше первого. Поскольку

£'(ук .Д^А- в ) = * Ф^ ■X в), (8.22)

то, как и в трехмерном случае, необходимо исследовать условия, когда дивергенция в правой части не будет зависеть от вторых производных (дадв(к).

Учитывая, во-первых, что в выражении для лагранжиана пустого пространства £' коэффициент при второй частной производной (двдв(к) (по в не суммировать) должен быть нулевым, можно заключить, что должны выполняться условия:

дФв

= 0 (по в не суммировать),

д (дв ук)

т.е. компонента Ф7 не зависит от (д7ук) (к = 1, 2,..., т).

Во-вторых, лагранжиан пустого пространства £' не зависит от смешанных частных производных (да^в(к) (« = в) только при условии

дФЛ дф^

+ =0 (Д = А). (8.23)

) д(дл (к)

Положим А = «1, д = а2 и, используя то обстоятельство, что Фа2 от производной (да2ук2) не зависит, получим, что Фа1 линейно зависит от производной да2ук2, т.е.

Фа1 = а^1"2да2ук2 + Г1 (по «2, к2 не суммировать), (8.24)

где коэффициенты а^1 а2 и Ьа1 не зависят от производной да2 у 2.

Затем, подставляя выражение (8.24) для Фа1 в соотношение (8.23) при А = а1, д = а3, а1 = а3, получим, что ак21а2 и Ьа1 линейно зависят от производной (дазукз).

Продолжая рассуждения дальше, заключаем, что поле Ф7 можно представить в виде многочлена по возрастающим степеням градиентов ук

Ф7 = ¿7 + В• (&1 (к1) + СГк22.к? ' (да1 (к1) (да2 ) +

Г (д«1 (к1 )(да2 (к2 )(даз (к3 ) + . . . , (8.25)

где коэффициенты А7, В^1', С7^2 ко*1', £^.Г2.Г1' могут зависеть от X в, у к, и не выписаны полиномиальные по градиентам слагаемые более высоких степеней.

Подставляя (8.25) в (8.23), получим В^1' = — В.0^', т.е. коэффициенты В^1' антисимметричны по индексам 7, а1; аналогично заключаем, что коэффициенты С7022/О!1' антисимметричны по парам индексов 7, а1 и 7, а2; коэффициенты ^ад.^2ка1' антисимметричны по парам индексов 7, а1; 7, а2; 7, а3; и т.д. для всех невыписанных в (8.25) коэффициентов.

Из антисимметричности коэффициентов С1*^'к1 по индексам 7, а\ и 7, а2 получаются следующие равенства: переставляя 7, а\: С1*2*1' = —С*'*2'1'; переставляя а2: С*!*'1' = —С*'*, Ц'; переставляя 7, «2: С^.27 • = —С^* *

Откуда следует, что коэффициенты С1*2'Ц1 антисимметричны по паре греческих индексов а\, а2.

Аналогично доказывается, что коэффициенты Б1 к*3'Ц антисимметричны по любой паре греческих индексов46 и все остальные коэффициенты в (8.25) также антисимметричны по любой паре греческих индексов.

Таким образом, для любого, отличного от нуля, коэффициента в (8.25) все греческие индексы должны быть различны, но у греческих индексов может быть всего четыре различных значения 1, 2,3,4, и поэтому более четырех различных верхних индексов у коэффициентов в (8.25) быть не может, т.е. в разложении (8.25) невыписанные слагаемые на самом деле отсутствуют:

ф7 = А<т + В^ (д*1 ук1) + С**(д*1 ук1 )(д*2ук2) + Б^ака1 (д*1 ук1 )(д*2ук2)(д*зукз). (8.26)

Рассмотрим теперь индивидуальные суммы в (8.26). Переставляя в сумме С1*2*1'(дк1 ук1 )(дк2ук2) у коэффициентов С1*2'к1 индексы а\, а2, находим:

СТЛ! (дк1 ук1 )(дк2 у к2) = — С^Г (дк1 ук 1 )(дк2 ук2),

и переименовывая по схеме а\ ^ а2, а2 ^ а\, к\ ^ к2, к2 ^ к\ немые латинские и греческие индексы, приходим к следующим равенствам:

С.ГЛ1 (дк1 ук1 )(дк2 ук2) = —С^к! (дк2 ук1 )(дк1 ук2) = —СТкТкТ (дк1 у'1 )(д*2 у'2 ).

Следовательно, коэффициенты С1*^'к1 антисимметричны по паре латинских индексов кь к2.

Аналогично доказывается, что коэффициенты Б^кк•а2к^ антисимметричны по любой паре латинских индексов.

Резюмируя сказанное, имеем, что коэффициенты В1*1 антисимметричны по греческим индексам, коэффициенты С1^ Г1Г, Б „к к к1 антисимметричны по любой паре греческих и любой паре латинских индексов.

Вычисляя дивергенцию Ф7, после ряда преобразований получим выражение для лагранжиана пустого пространства в случае 4-мерного пространственно-временного многообразия:

= =/ ТАЛ + ( дТАк! + (ТВкЛ I ,д ук,)+

С 7X1 \7Х-У) + 1 7хк1 Л 7Х-У I (7к 1 у )+

дВ*2 к1• / дС^к2 • к1У

+1+ ( I (7к. у 1 )(д» у2)+

ехр1 ,

7Ск" к2 • к1• / дБ1*3 • к2 • к1•

• •к2•'1 . I • • к з • к2•к1

+ + ^ "7х2'к1 ) I (дк1 ук 1 )(дк2ук2)(дазукз)+

дБ^аз • к2 • к1•

+ ^ ^ ^к1 (7*1 ук 1 )(дк2 ук2 )(даз укз )(д7 у к4). (8.27)

Последнее слагаемое в (8.27) в силу Б^к3*2к = Бкзк2к1 е1к3к2к1 и при условии, что число физических полевых величин также равно четырем, приводится к следующему виду:

дБ^аз • к2 • к1•

• •к1к:к1 (дк1 у к1 )(дк2 у 2 2 )(даз у к 3 )(ду у к4) =

46Последнее означает, что для коэффициентов П~к3.'к22 к1 справедливо также следующее представление:

П7°3 • а2 • «1- = П, , , р7°3«2«1 П• • к3 • к2 • к1 = П к3к2к1 ь ,

где Пк3к2к1 — антисимметричный 3-ковариантный пространственный тензор.

= (да1 рк1 )(да2 рк2 )(даз ркз )(д7 рк4 )е7!з "2 !1 ^ к1 = 7ек4 кзк2к1 ^^^кГ1,

где 7 — якобиан отображения (X1 , X2, X3,X4) ^ (ж1, ж2, ж3, ж4).

С целью оптимизации записи дальнейших рассуждений введем обозначения

л = (дА! ^ га, = дА1 + (дВГ ' т а2 • а, = дВ X1' + ( ^Х2'!1'

V дXV ехр1' • к1 джк1 +1 дX ^ I ' • к2 • к1 джк2 +1

• к1 джк1 I дX 1 } ' • к2 • к1 джк2 I дX 7 I '

ехр1 ехр1 ехр1

дС аз а2 • а1 • /д^7" • а2 • а1'\ д^"4аз • "2 • аг

таз• а2• "1' _ • • к2• к1__, I • • кз• к2• кц | Ь"4• "з• а2• "1' _ • • кз• к2• к1

• кз • к2 • к1 = джкз + \ дXY I ' • к4 • кз • к2 • к1 = джк4

ехр1

и представим лагранжиан пустого 4-мерного пространственно-временного многообразия в форме

Пк1)+ та2• а1-(Я рк1 )(да2 рк2 )+ Т"3'!2 ;а! (да1 ^ )(д -к2 )(д -кз ^

С = А + ЬЦ (да1 рк1) + Ь^' (да1 рк1 )(да2 рк2 ) + Ь^ (да1 р* )(да2 р** )(даз ркз ) +

+Т"4Лзз 'а: Г (да1 Рк 1 )(да2 рк2 )(даз ркз )(д"4 рк4 ). (8.28)

Заметим, что в этом представлении нулевого лагранжиана все коэффициенты могут быть анти-

Lа2 • а 1 • 22 11 ,

Т!^''"2, 'а1, Т"44аз'• а2 •' а11' антисимметричны по любой паре латинских индексов. Формула (8.28), следовательно, может быть также записана в форме

С = А + ЬЦ (д"1 р к 1) + ТаС/11](да1 р к 1 )(д"2 р к2 ) + таазз!22!11](да1 р к 1 )(д"2 р к2 )(д"з р кз) +

+тасй22 ](д"1 рк 1 )(д"2 рк2 )(даз ркз )(д"4 рк4), (8.29)

где квадратные скобки применяются для обозначения операции альтернирования по заключенным в них индексам.

В дальнейшем можно считать, что

а2 а1 а2 а1 а3 а2 а1 а3 а2 а1 а4 а3 а2 а1 а4 а3 а2 а1

' к2 ' к1 ' [ к 2 ' к1 ]' ' кз' к2 ' к1 '[кз' к2 ' к1]' ' к4 ' кз' к2 ' к1 '[к4 ' кз ' к2 ' к1].

Подставляя (8.28) в уравнение Эйлера - Лагранжа (8.2) и приравнивая нулю последовательно суммы коэффициентов при одинаковых степенях градиентов полевых величин р , можно получить условия совместности для коэффициентов в разложении (8.28).

Так, условие равенства нулю суммы коэффициентов при нулевой степени градиентов есть

дА ( д Ь!1 Л =°, (8.30)

дж к 1 V дX "1 ' к1 у ехр1

или также

?7"1'

д / дА7 \ д I дА"1 / дВ.'к

дХ^ Vд^у ехр1 - 1 джк 1 + ""

+ -^Н I =°. (8.31)

дX 7

ехр1

ехр1

Ясно, что это условие совместности тождественно удовлетворяется в силу

д (дА7 \ = ( д дА"1 \

дХ11 Уд^) ехр1 V д^"1 ехр1

и, поскольку тензор В^"1' антисимметричен по верхним индексам,

д2 В7!1' \

' ' к1 ' = °.

\ дX "1 дX ^ /

ехр1

Следующим в ряду условий совместности будет

д а1 д а1 д д

—^ - —^ + ТПТ^Ь"2 '"2 ' - 7^^Ьа2''!1' ) = (8.32)

джк 2 джк1 VдXа2 ' к1'к2 у ехр1 VдXа2 ' к2' к1у ехр1 82 Научный отдел

или

д

дАс

дх*2 I дх*1

+

/«во; V 5X7

дВ."*"1 •

ехр1 ,

дX а2

дх*2

+

дX 7

+

ехр1

ехр1

+-

д

дВ ^*2а1'

*(

дС70(2 • £21-

д

дА"1 / дВ 7*1' дх*2 + у дX7

= 0.

дX дх*1 \ дX7 I I дх*1 _

ехр1 ехр1 ехр1

Это условие тождественно удовлетворяется в силу перестановочности частного дифференцирования и антисимметрии тензора С7*2*1' по любой паре греческих индексов.

Используя, по-прежнему, квадратные скобки для обозначения операции альтернирования по заключенным в них индексам, условие совместности (8.32) представим в форме

дЧ11

дх*2]

д

д^С а 2 • [*2 • *1 ]

ехр1

Аналогично могут быть найдены еще два условия совместности:

•[*1 • *2 дх*з]

д^а3 • «2 • «1-

•[*1 • *2 • *3

дх*4]

д

Газ' а 2 • аг дXа3 '[*3 • *2 • *1 ]

ехр1

• «3 • «2 • а1 • дXa4 '[*4 ' *3 • *2 • *1]

ехр1

Приведем также необходимые для понимания формул (8.33)-(8.35) соотношения:

Р«1 _

Р*1*2 =

дх*2

•[*1 дх*2]

_ р«1 _ _(ра1 _ ра1 ).

Р [*1*2] 2 *1 *2 Р *2*1 ^

(8.33)

(8.34)

(8.35)

дьа2-«1- дь«? -а1'

ра2 а1 = • *1 • *2 4*1 • *2

*1 *2*3 = дх*3 ■ дх*3]

=

[*1 *2 *3] ■

р«2«1 _ ( ра2«1

[*1*2*3 ] = 3! ( *1*2 *3

_ Р«2 «1 _ р«2 «1 _ ра=2 «1 I ра2«1

Р*2*1*3 Р*3 *2*1 Р*1 *3*2

*2 *3 *1 + *3*1 *2 );

дь«3 • «2 • «1 • «ь«3 • "я • 01'

_ ~ • *1 • *2 • *3 '[*1 • *2 • *3

*1*2 *3 *4 = дх*4 ■ дх*4]

=

[*1 *2 *3*4] ■

Р,

«3 «2 «1 _

= ^т р

-Р

- Рс

-I I,

- Рс

-I I,

[*1 *2 *3*4] 4^ *1 *2 *3*4 *3 *2 *1*4 *1 *3*2*4 *2 *1*3 *4

+ Р

«3 «2 «1 *2*3*1 *4

+ Р

«3Й2«1 *3*1*2 *4

+

. р«3«2«1 | р«3«2^1 I раза2аl _ раза2аl _ раза2аl _ раза2«1

+ *4*2*1 *з + р * 1*4*2 *з + *2*1 *4 *3 *4*1 *2 *3 *1 *2 *4*3 *2 *4 *1*3

"Р

«з «2 «1 *4 *3 * 1 *2

-Р

«3 «2«1 *1*4*3 *2

-Р

аза2аl

*3*1*4*2

аза2аl

*3*4*1*2

аза2аl

*1 *з *4*2

аза2«1 *4 *1 *3*2

+

I раза2аl + раза2«1 + р^з«2«1 _ р«з«2«1 _ р«з«2«1 _ р«з«2^1

+ *4 *з *2*1 + *2 *4 *з*1 + *з *2*4*1 *з *4*2 *1 *2*з*4 *1 *4*2*з *1

8.4. Вычисление нулевого лагранжиана пространства произвольной размерности

Приведенные рассуждения о форме лагранжиана пустого пространства без труда обобщаются на случай произвольного числа пространственно-временных координат Xе (в = 1 2^... ■ п+1): векторное поле Ф7 определяется в виде

Ф7 = А7 + А^1' (д«1 р*1) + А^2 Х1' (д«1 р*1 )(д«2 р*2 ) + ... +

*1

+Ат*;.*аг11. •;;. *7 (д« р*1 )... (да„_1 р*;—1 )(да„ р*; )■

(8.36)

(8.37)

где тензоры А7(Xе■х*), А/^1' (Xе■х*), A7а2;аl1 ' (Xе■х*), ... , А^.;

-1 • •••«1

• *; • *; — 1 ••• • *1

•(X е ■ хв) антисимметрич-

ны по любой паре латинских и любой паре греческих индексов

47

'Применительно к тензору А __к _к 1 _^ антисимметричность по любой паре греческих индексов означает, что

' ' к; • к;—1... • к1 тензор.

1...к1 е7«;«;—1---«1, где Ак

антисимметричный п-коварнантный пространственный

д

Ак; к

.. к

; к; — 1

Вычисляя дивергенцию поля Ф7, определенного согласно (8.37), находим выражение для лагранжиана пустого пространства в случае (п + 1)-мерного пространственно-временного многообразия:

в®: = /в£Л + I дАО! +(дА^! | ,д

ь эх^ \дх-:)ехр1 + ^ Эх* + ^ ахт ) 1 (да■р )+

яд а 2«1- / Я47а 2 ' а1'

+ I "аХ^ + "ахт^) I (а« 1 )(а«Vе) + • • • +

\ / ехр1 ,

дАа па п—1 • •••а 1- /дА7а ™ ' а"-1' "'а 1''

+ I • ^ + • • '"¿кХг1"''1 (да 1 ^) • • • (дап —1 1 )(дап V*" ) +

ехр1

дА7а " ' а п—1' '''а 1'

+ • ^ ^ (да 1 ^) • • • (дап—1 —1 )(да„ р*" )(д7<А+1 )• (8.38)

Здесь последнее слагаемое при условии, что число физических полевых величин в точности равно п + 1, может быть представлено в форме

дА7 а п ' «п —1 • •••<:»: 1-

• 'д^Т ^ (да 1 ^) • • • (да п —1 —11 )(да „ ^) =

= №. 1V- ) ••• (да . 1 )(«.. ^ )(„ ^ ^ _ ^ = ^^

где 3 — якобиан отображения (X1, X2, • • •, Xп+1) ^ (х1, х2, • • •, жп+1).

8.5. Нулевые лагранжианы, инвариантные относительно сдвигов полевых переменных

Поставим далее задачу о разыскании наиболее общей формы лагранжиана пустого пространства, инвариантного относительно сдвигов полевых переменных у. Эта проблема особенно интересна в связи, например, с возможностью представления нелинейно упругого поля лагранжианом, который заведомо явно не будет зависеть от эйлеровых переменных.

Сформулированная проблема сразу же решается в случае, когда число пространственно-временных координат Xв равно трем и имеется три полевых величины у, которые в применении к нелинейной теории упругости мы, как обычно, отождествим с переменными Эйлера

Действительно, скалярные и тензорные поля А, В, С, Б в выражении (8.7) для лагранжиана пустого трехмерного пространства необходимо должны удовлетворять соотношениям совместности (8.21)

gradexpl А = Б1Уехр1 В, (БО;ехр1 С)Т = -1^ехр1Вт, Огаёехр1 Б = ё1Уехр1 СТ-

Учитывая, что А, В, С не зависят от переменных приходим к уравнениям

Б1Уехр1 В = 0, БО;ехр1 С = 0, Gradexpl Б = 0,

из которых следует, что лагранжиан пустого трехмерного пространства будет инвариантен относительно сдвигов эйлеровых переменных X, только если А = А^в), Б есть некоторая постоянная, и найдутся 1-ковариантное пространственное 1-ковариантное отсчетное тензорное поле = )

и контравариантное пространственное векторное поле Ак = Ак(Xв) такие, что

В = ^ехр1Е = (Е X )ехр1, С = Gradexp1 А = (А 0 )ехр1, (8.39)

или в координатной записи —

Вкв = ева7 д7 Ека, С$ = дв Ак • (8.40)

Таким образом, наиболее общая форма лагранжиана пустого трехмерного пространства, инвари-

ч 48

антного относительно сдвигов эйлеровых переменных х-, есть48

С (да рк лр) = А^Л) + ер^ (дррк )д1 Ека (XЛ) + 3(дкXр )др Ак (Xл) + Бо 3. (8.41)

Переходим к нахождению наиболее общей формы лагранжиана пустого четырехмерного пространства, инвариантного относительно сдвигов полевых переменных р-.

Исходя из представления лагранжиана (8.28) и учитывая условия совместности49

д . \ „ ( д

La1 Ч =0, [—— Ь°Ц '"У ] =0,

дХа ^ kl Axpi ' V^2 ^

д La3 • а2 • a1 • | =0 [ д La4 • а3 • а2 • 1 = 0

• Ik • кт кл 1 I ' l ^лтал • \кл • ki • ко • к 1 I '

дХаз •[кз • к2 • ку] у ^ ' удХа4 •[к4 • кз • к2 • ку i

(8.42)

тау^ = ( д м Yai\ Та2 • ау • = ( д MYa2 • аг

^ • к1 = I дХ7 M• • к1 ) expi ' ^ ^^к1 Ч дХ7 M• • к2• к1 /ехр1

таз • «2 • «1- _ ( д M 7"з • а2 • | т а4 • аз • а2 • «1 • _ ^«4030201 м

Lкз • к2 • к1 = ^ дХ7 M • • кз • к2 • к1 J ' •к4 • кз • к2 • к1 = fc мк4кз к2 к1

сразу же заключаем относительно коэффициентов в разложении (8.28), что

(8.43)

где все тензоры не зависят от полевых переменных рк; M1^' антисимметричен по верхним индексам; И7^.'¡а1 антисимметричен по парам верхних индексов 7 и а2, а1 и а250, и по паре нижних латинских индексов; И1'3'антисимметричен по паре верхних индексов 7 и а3 и любой паре верхних индексов, не содержащей индекс 751, и по любой паре нижних латинских индексов; Ик4кзк2к1 — постоянные величины, антисимметричные по любой паре нижних латинских индексов.

8.6. Построение законов сохранения для систем дифференциальных уравнений в частных производных, не следующих из вариационного принципа

Как уже было отмечено, лагранжианы пустого пространства выступают в качестве основы решения задачи вариационного исчисления об «интегрирующем множителе». Эта проблема состоит в поиске таких функций Qj(рк,дррк,д7дррк,...,Ха), которые позволяли бы для данной системы дифференциальных уравнений в частных производных

Ц (рк, др рк, д7 др рк,Xа) = 0, (8.44) которая не вытекает из вариационного принципа, гарантировать выполнение равенства

др 3р = Я? Ц (8.45)

с некоторым вектором

3р

для произвольных полей рк и тем самым сформулировать на решениях системы (8.44) дивергентный закон сохранения

др 3р = 0. (8.46)

«Множители» Я? называются характеристиками закона сохранения.

Равенство (8.45), которое должно выполняться для произвольных физических полей рк, устанавливает, что Я?Ц? есть нулевой лагранжиан, т.е. действие

9 = у Я?Ц d4X (8.47)

нейтрально.

48Заметим, что тензор , по существу, совпадает с тензором в формуле (8.19).

49Коэффициент А в (8.28) может, очевидно, зависеть лишь от пространственно-временных координат Xв.

50И, следовательно, антисимметричен по индексам 7 и а.\.

51И, следовательно, антисимметричен по парам индексов 7 и а2, 7 и а.\.

Метод «интегрирующего множителя» является обобщением классического метода поиска законов сохранения с помощью вариационных симметрий действия. Критерий инфинитезимальной инвариантности функционала действия относительно обобщенной группы преобразований (7.2) имеет вид

¿, + , д (¿X7)

¿£ + =0'

он, как известно, обобщается до

АГ + гд(¿X7) = 0(В7)

у а у , да у /. на основании .11/ заключаем, что в

ционная симметрия действия известна, то

где В7 = В7(у к,дау к,дадау k,...,Xв). На основании (7.11) заключаем, что в случае, когда вариа-

Е (£) V + дв в + д^двук)¿у к) = 0, (8.48)

^ 1 р\ д(двук)

либо

Е (£)5у + ев (£«в + ^ V) = е^ • (8-49)

Разделив левые и правые части (8.48) и (8.49) на е и обозначая 0 = ^, = £^Хт^ + ЩвИ^Г, приходим к равенству

0 Е (£)= дв (—^) (8.50)

или соответственно —

0 Е (£) = дв (Вв — ). (8.51)

Сравнивая с (8.45) убеждаемся, что метод Нетер поиска законов сохранения на основе вариационных симметрий есть частный случай метода «интегрирующего множителя», а «интегрирующий множитель» сразу же находится, если известна вариационная симметрия действия, в виде

0 = ¿^. (8.52)

е

Формулы (8.50) и (8.51) показывают, что 0Е (£) есть лагранжиан пустого пространства, следо-

олняется равенство

Е (0 Е (£)) = 0. (8.53)

и

вательно, для произвольных полей у к выполняется равенство

9. ТЕОРИЯ ГЕОМЕТРИЧЕСКИХ И ОБОБЩЕННЫХ ВАРИАЦИОННЫХ СИММЕТРИИ В ТЕРМИНАХ ГРУППОВОГО АНАЛИЗА ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИИ

Мы будем следовать терминологии и обозначениям, принятым в монографии [11].

9.1. Формализм геометрических (точечных) групп Ли

Введем непрерывную однопараметрическую группу геометрических преобразований зависимых и независимых переменных (группу Ли) в форме разложения по степеням е

Xв = Xв (у5 X7, е) = Xв + еСв (у5 X7) + ... , ук = Ф .(у^7 ,е) = у к + е^ к (у5^7) + ..., (9.1)

где при е = 0 выполняются условия Xв, X7, е)| 0 = Xв, Ф к(ув, X7, е)| 0 = у к.

Явно выписанные члены определяют инфинитезимальное преобразование (9.1); Св, ^ к — инфини-тезимальные образующие группы Ли (9.1).

Полные вариации переменных у, X7 пропорциональны инфинитезимальным образующим:

С7 = ¿^, ^ = ¿^. (9.2)

ее

Следуя Ли, введем символ инфинитезимального преобразования (9.1), представляющий собой дифференциальный оператор первого порядка

4 ■ д = ^д^) ехР, + " ^' (9-3)

действие которого на дифференцируемую функцию Р(рк, Xв) дается формулой

( дР \ дР

(4 ■д = К ехР, + " ^ •

Здесь частные дифференцирования по независимым переменным Xа производятся лишь по их явным вхождениям, что как обычно мы будем отмечать символом ехр1 при соответствующей частной производной. В противном случае дифференцирование по координате Xа будет считаться полным. Мы будем пользоваться компактными символами да, д^хр1 для указания на полное или частное (по явным вхождениям переменной Xа) дифференцирование.

Действие однопараметрической группы преобразований (9.1) распространить (продолжить) также и на частные производные произвольного сколь угодно высокого порядка, считая их дополнительными к р-7, Xа координатами в продолженном пространстве. Оно вычисляется как результат замены переменных согласно (9.1). Действительно, преобразования вида (9.1) трансформируют функции р7(X") в новые функции р77(X"), поскольку, подставляя в первую группу соотношений (9.1) зависимости рв = рв(Xа), можно выразить из указанных соотношений «старые» независимые переменные Xа через «новые» независимые переменные Xа, а затем с помощью второй группы соотношений (9.1) — «новые» полевые переменные рк через «новые» независимые переменные XXа. После этого можно, используя «новый» набор зависимых и независимых переменных, вычислить частные производные да1 рк, да1 да2 рк, .... Все это позволяет ввести один, два, три и т.д. раза продолженные однопа-раметрические группы преобразований и говорить о преобразовании как независимых переменных X7 ^ X7, так и всего дифференциального комплекса

р5, д"1 р5, д"1 д"2 р5, •••

£ _ (9.4)

р5, д"1 р5, д"1 д"2 р5, •••

под действием группового преобразования (9.1).

Инфинитезимальный оператор один раз продолженной группы (первое продолжение инфинитезимального оператора (9.3)) имеет вид

/ д \ д д 1 ^ = + "V + ^Щрк).

где дополнительные координаты "" зависят от координат продолженного пространства и выражаются согласно формулам первого продолжения [11, с. 58]:

= < Й ехр, + (дар') ^ - И* р1 ) ( ( ехр, + ^) ^ I • ^

Можно придать формулам для вычисления дополнительных координат инфинитезимального оператора "" несколько иную форму, отражающую их рекуррентный характер, если ввести усеченный

а

оператор Ва «полного» дифференцирования по независимой переменной с номером а: 1

= В а (" ) - (да р1 )В а (Г ), (9.7)

где

В а = + (да рк) ^ • (9.8)

ехр1

1" VдXаУ ехр, У ^ Удрк'

Ясно, что можно также вести речь о втором продолжении однопараметрической группы преобразований (9.1) и ее инфинитезимальном операторе 2 ■«, который имеет вид

д

с ■« = 2 -д + Л«? —^■

2 1 «в д (д«де р')

(9.9)

где

^ = (1X0 ехр1 + («зр*)«р* + ^вер') д(1р*) - ^««р'Ч (ш) ехр1 + («зр*) I*

Эта же формула с использованием оператора Дв представляется как

2

(9.10)

Л«? = Де) - («ад«р'?(Г)■

(9.11)

где

,*) д

2' 1.....д (да р*)

Д? = д? + («а д? р* )-

(9.12)

Приведем также формулы для п раз продолженной однопараметрической группы преобразований

(9.1):

с ■« = с -д + Л«

п п —1

д

д (д«1 д«2 ...д«; р' )'

где

^«1^2 •••«;—1в = Де (^ «2 •••«; —1) - (д«1 д«2...1 «а р' )Де (Г )■

п1

д

= + (««1 ... а».—,р) 9((,„1 •••аа._l р).

Заметим, что в некоторых случаях удобно использовать обозначения

(«Xе) ехр1 = «ехр1 ■ «р' = 0' ■

д

= д '

др' о ' д(д«1 д«2 р') *

(9.13)

(9.14)

(9.15)

(9.16)

с целью наиболее обозримого представления формул. Так, весь комплекс формул продолжения приобретает тогда следующий наиболее компактный вид:

п -д = — 1 ■« + «2...«;п«

п п—1 1 2 ;п

«1^2 1/

е = Де(л«, «2...«;—1) - (д«1 д«2... д«;—1 дар')Де(Г)■

Д? = Б ? + (д«1 д«2...д«;—1 де р ) д г

п п—1 п—1

Ь „ «1 «2 —1

(9.17)

(9.18)

(9.19)

Для координат продолженных операторов имеем развернутую формулу

п—1

-1в = ^Г1 + ХО (д?1 д?2 ... д?8 д?р*) д*1*-^ Л«1 «2...«;—1

-(д«1 д«2...д«;—1 дар')(д?хр1 + (д?р*)д*)Г.

(9.20)

Поскольку координаты продолженных операторов foQlQ2•••Q1 зависят от градиентов переменных р* порядка не выше, чем п - 1, то последнюю формулу можно переписать, используя операторы полного дифференцирования, в следующем виде:

Л' = даЬ'

.1 - (д«1 д«2...д«;—1 «ар')деСа■

(9.21)

Л

«1 «2 ... «

ВА Ковалев, ЮЛ. Радаев. Математические модели и современные физические теории поля откуда последовательно имеем

hi, = dai hl - (daT)daiСa = dai (hl - (daУ )Г) + (daidaT)Г,

hLia2 = dai da2 (hl - (da^)Г) + (dai da2 da^ )Г, (9.22)

hiia2...a„ = dai da2 . . . da„ (hl - (da^)Г) + (dai da2 . . . da„dapl)Г.

Вводя обозначение (характеристика инфинитезимального оператора с ■ d)

Ql = hl - (daT)Сa, (9.23) для координат продолженных операторов находим

hLia2 ...a„ = dai da2 . . . dan Ql + (dai da2 . . . da„ da^*. (9.24)

Знание координат продолжений инфинитезимального оператора позволяет вычислить инфините-зимальную часть преобразований частных производных (9.4) как

dai da2 . . . da„ Г = dai da2 . . . da„ У + ...a„ + .... (9.25)

Изменение функции F(ps,daiTs, daida2 которая зависит от градиентов порядка не

выше, чем m, вследствии преобразования ее аргументов согласно (9.1) определяется формулой

F (У, dai T, dai da 2 У,..., Xe) - F (£s, d^ £s, ^i ^ У,..., Xв) = £( с ■d )F + .... (9.26)

m

Следовательно, вариация функции F, обусловленная вариацией ее аргументов согласно (9.1), есть

— = (m ■d)F, (9.27)

£ m

где

md m -а = с ■ а + £ AjLi a, ...a, —^. <®-28)

ai a2 d (dai da 2 ...da. T )'

или в сокращенных обозначениях

m

m -d=с ■ d hai a2 ...a, dai a2-as, (9.29)

s=1

^ а2-а. = да1 • • • ^ (Л - (даV)Г) + ^ • • • V)Г• (9.30)

Еще одно важное представление т раз продолженного инфинитезимального оператора будет дано далее (см. (9.45)):

т

? -д = У (да1 да2 • • • да3 ^)д*1а2"а + Г• (9.31)

т с—' в

в=0

Начиная с этого места мы будем использовать еще более компактную форму записи, вводя «прямые» аналоги Б, д дифференциальных операторов да, д^1 а2•"аз. В результате вместо (9.31) имеем

в

с ■d = y(DsQ) ■ d + С ■ D. (9.32)

m *—' s

s=0

Из формулы (9.31), опираясь на доказываемый далее результат (см. (9.50)):

m

V (daida2... da, Ql)daia2L = У (-1)i-1 d^ Jai + QlEi(L) - QldiL, (9.33)

s=1 s i=1 0

можно получить

(с ■d)L = V (-1)i-1 dai JT + QlEl (L) + СadaL. (9.34)

m

i=1

s

9.2. Теоретико-групповой формализм в теории геометрических вариационных симметрий

Снова рассмотрим группу Ли геометрических преобразований (9.1) и ее инфинитезимальный опе-

ратор

С ■ д = садахр1 + Лб^. (9.35)

Критерий инфинитезимальной инвариантности действия относительно однопараметрической группы преобразований (9.1) в терминах исчисления вариаций имеет вид (см. (4.9))

*£ + £ ^ =0, (9.36)

а его обобщенный вариант (см. (4.13))

,£ + £ дт = ^. (9.37)

дХа дХ^

В терминах теоретико-группового анализа дифференциальных уравнений в частных производных они могут быть с помощью (9.27) записаны в форме

дС 7

(Я -д )£ + £ = 0 <9-38)

дСа дБ7

пригодной для лагранжианов, зависящих от градиентов полевых переменных порядка, не превышающего т.

Здесь действие оператора С ■д на лагранжиан определяется формулами продолжения:

т -д = с ■ д + ^ ^5Г1 а2, (9.40)

в=1

^«2...а. = да1 д«2 . . . да. (Л - (да)Г) + ^ да2 . . . да. да)£*. (9.41)

На основании (9.39) заключаем, что

Е((С ■д)£ + £даСа) = 0.

т

Оператор Эйлера в символике теоретико-группового анализа дифференциальных уравнений в частных производных имеет форму

Е = У (-1)5да1 да2 . . . да. да1 а2'''^ , (9.42)

в

в>0

где нулевое слагаемое суммы есть дг.

о

Вводя «прямые» аналоги Д, д вместо дифференциальных операторов да, да1а2'"аз, формулу (9.42)

в в

можно переписать как

Е = ^](-1)5Д5 ■ д. (9.43)

Левая часть (9.39) допускает преобразование, которое позволяет быстро найти дивергентный закон сохранения в случае лагранжианов, которые зависят от градиентов полевых переменных выше первого порядка.

Прежде всего, нетрудно заметить, что

(т ■д)£ = (с ■ д)£ + £ ^...а.5а1 а2'''а.

в=1

т

т т

( С ■д)С = С"д^хр1£ + Н д1 С + V (дах да2 . . . да дар1 )Сада1аа-а" С + У (дах да2 . . . дав Я)да1 °-ав С

- = 1 - = 1

(с -д)С = С" д"хр1 С + Н дС + С" да С - (Г д"хр1 С + С" (да р1 )д С) + У (да1 да2 ...дав Я1 )д01а2-ав С.

т 0 0 А—' -

-=1

Из последнего равенства находим

(с ■д )С = да (Са С) - С(да Са) + Я1д1 С + V (да1 да 2 ...да3 Я )д0102-ав С. (9.44)

т0

-=1

Заметим, что полученная формула допускает более компактную запись, если включить третье по счету слагаемое в правой части в сумму:

С ■д = У (да1 да 2 ...дав Я ^О102"0 + С" да, (9.45)

т

-=0

или

с ■д = У(Б-Я) ■ д + С ■ Б, (9.46)

т-

-=0

понимая при этом нулевое по счету слагаемое в этой сумме как Я1дI.

0

Рассмотрим далее сумму

У (Б-Я) ■ дС = У (да1 да 2 ...да3 Я1)да1 а2-аа С, -=1 - -=1 -

и наряду с ней суммы (г = 1, 2,... ,т)

т

Б = У (даг даг+1 ...дав Я^ да2 . . . д^ д01а2-Ов С = У (Б--г+1 Я) ■ Бг-1 ■ дС.

-

-=г

Выполняя «дифференцирование по частям», последовательно находим

тт

У (да1 да2 ... дав Я1 )да1 а2-ав С = да^ (да2 да3 ... дав Я1 Ж а2-аВ С --

-=1 -=2 т

оа1а2...а^ гЛ о О01 Г 1 Я I г\1 сО-1

- У (да2 даз ... дав Я1 )да1 дО102-0 С - Яда, д"1 С + да, (Я1 д"1 С) —„ - 11

'Ов я )э01 эI С Я э01 эI С I э01

-=2 -

У (даг да+ ...дав Я )да, да2 . . . даг_, д"1 °-° С

-

даг У (даг+1 да+2 ■■■дав Я )да, да, ...да-, д"1 °-ов С

-=г+1

Я Я С1а1а2...ав

- У (да+1 да+2 ...дав Я )да, да2 . . . да, дО102"0 С~

'01 + 1^01+2 • • • 1уав Я ) ^01^02 • • • дI

-

-=г+1

-Я1да1 да2 ... даг дО102-аг С + даг (Я1 да1 да2 ■ ■ ■ да-1 д0102-аг С) (г = 2, 3,...,т - 1),

тт

У (дат Я1)да1 да2 . . . дат-1 та102-0т С = дат Я1да1 да2 • • • дат_1 дО102-ат С-

тт -=т -=т

-Я1 да1 да2 ...датд0102-атС.

т

Вводя обозначения

т

ЛО1 = У (да2 даз ... дав Я1 )д0102-ав С + Я1 дО1 С,

-1

= У (даг + 1 даг+2 ...даа ^^ д"2 • • • д^- д"1"2"". С + ^ д"1 д"2 •••да4_1 д"1 "С (9.47)

в

/ (да; + 1 да;+2 • • • да. 2 )д"1 д"2 • • • да;_1 д/ С I 2 д"2 • • • да

в=г+1

(г = 2, 3, - 1),

Т-ат = /Л / д д д оа1а2---атоГ

^га = 2 д"2 •••дато-1 д/

т

Г = д"1 д"2 • • • дагд!1 а2-агС (г = 1, 2,... ,т), (9.48)

г

т

или в прямой записи 3 = £ (В5-г2) ■ Вг-1 ■ дС (г = 1, 2,...,т), Г, = (В4 ■ д) (по г не

в=г в г

суммировать, г = 1, 2,... , т), полученные ранее соотношения можно представить в форме

т

Я = Г (д"1 д"2 • • .даа 21 )да1"2-"3 С = д"1 3! - ^2 - Г1 (г = 1),

в=1

Я = дагЛ - Я+1 - Г (г), (9.49)

Я = д 7а™ — Г (г = т)

'-'т 3т т по).

Заменим затем в (9.49) последовательно, начиная с первой строки, в строке с номером ] сумму ее значением, указываемым строкой с номером ] + 1. В результате получим:

т т т

(д"1 д"2 • • • да. а1)'"1 "2 С = £ (-1)г-1даг Л + £ (-1)4 Г г •

в=1 г=1 г = 1

т

Поскольку (-1)гГг = Е/(С) - д/С, то окончательно имеем фундаментальную для теории

г=1 0

вариационных симметрий формулу

тт

V (д"1 да2 • • • да. й1)да1"2-".С = V (-1)г-1 даг+ й1Е/(С) - й1д/С, (9.50)

в=1 5 г=1 0

или

т

■>/\ "2...а. р _ \ Л ( 1 \г — 1 о т-а; . г\/

V (д"1 да2 • • • да. й1)д"1 а2С = У (-1)г-1 да;+ й1Е/(С). (9.51)

' ' в

в=0 г=1

На основании (9.44) и (9.50) имеем

т

(4 -д)С + Сд*С* = д*(С*С) + й1Е/ (С) + У (-1)г-1даг• (9.52)

т

=1

Последнее соотношение в прямой записи будет иметь вид

(4 -д)С + СВ ■ С = В ■ (СС) + 2 ■ Е(С) + У (-1)г-1 В ■ 3. (9.53)

т

4

т

=1

Таким образом, обобщенный критерий инфинитезимальной инвариантности действия (9.37) окончательно представляется в виде

т

д*(В* - С*С) + £ (-1)гда;3а; = Е/(С), (9.54) =1

который позволяет быстро определить вектор 7* в каноническом представлении

д*(В* - 7*) = й1Е/(С). (9.55)

в

Уравнение (9.54) в прямой записи есть

Б • (В — £С — А) = й^Е(С), (9.56)

т

где —А = £(—1)гЛ.

г = 1

Сейчас мы проведем необходимые вычисления для случаев т = 1, 2,3. Случай т = 1. Л*1 = й1д*1 С, Jа = СаС + й1 С.

Случай т = 2. Л*1 = (д*2 й1)д*1 *2С + й1 д*1 С, Л*2 = й1д*1 д*1 *2С,

та _ ¿а п | Г~\1 ^а г . /о Г

J 1 = ^^ С + Qld1 L + (de Ql) д-в С - Qldßdf С.

1" ' ' 2l '2'

Случай m = 3. Ja = (da2 Ql)öf1"2L + (да2даз Ql)df1 a2азL + Qldf1 С

2 ^ ^ 1 V-a^a^ l ^u¡

Ja = (даз Ql) dai fa1 a2 a3 С + Qldai д^1 ^ С, J^3 = Ql да, да2 C^ a2 ^ С J1 = e1 С + Ql С + (двQl)д-вС - Q^eд-вС + (дaдßQl)¿ГвС - (двQl)дaдГвС + Q^ßдГвС.

Библиографический список

1. Ландау Л.Д., Лифшиц Е.М. Теоретическая физика: В 2 т. Т. I. Механика. М.: Наука, 1973. 208 с.

2. Ландау Л.Д., Лифшиц Е.М. Теоретическая физика: В 2 т. Т. II. Теория поля. М.: Наука, 1973. 504 с.

3. Noether E. Invariante Variationsprobleme // Kgl. Ges. Wiss. Nachr. Gottingen. Math.-Physik. Kl. 2. 1918. S. 235-257.

4. Радаев Ю.Н., Гудков В.А. О вычислении нулевых Лагранжианов нелинейно упругого поля // Вестн. Са-мар. гос. ун-та. Естественно-науч. сер. 2002. Спец. вып. С. 39-56.

5. Maugin G.A. Material Inhomogeneities in Elasticity. L.: Chapman & Hall, 1993. 276 p.

6. Бердичевский В.Л. Вариационные принципы механики сплошной среды. М.: Наука, 1983. 448 с.

7. Курант Р., Гильберт Д. Методы математической физики: В 2 т. Т. 1. М.; Л.: Гостехтеоретиздат, 1933. 528 с.

8. Courant R, Hilbert D. Methods of Mathematical Physics. Vol. 1. N.Y.: Interscience Publishers, 1953. 562 p. (Пер. на рус. яз. см. [6]).

9. Гельфанд И.М., Фомин С.В. Вариационное исчисление. М.: Физматгиз, 1961. 228 с.

10. Gelfand I.M., Fomin S.K Calculus of Variations. (Revised English ed. Translated and edited by R.A.Silverman.) Englewood Cliffs, New Jersey: Prentice-Hall, 1963. 232 p. (Оригинальное издание см. [9]).

11. Овсянников Л.В. Групповой анализ дифференциальных уравнений. М.: Наука, 1978. 400 с.

12. Ибрагимов Н.Х. Группы преобразований в математической физике. М.: Наука, 1983. 280 с.

13. Olver P.J. Application of Lie Groups to Differential

Equations. N.Y.: Springer, 1986. (Пер. на рус. яз. см. [14]).

14. Олвер П. Приложения групп Ли к дифференциальным уравнениям. М: Мир, 1989. 639 с.

15. Olver P.J. Equivalence, Invariants and Symmetry. Cambridge; N.Y.; Melbourne: Cambridge University Press, 1995. 526 p.

16. Эйнштейн А. Собрание научных трудов: В 4 т. Т. 1. Работы по теории относительности. М.: Наука, 1965. 700 с.

17. Дирак П.А.М. Общая теория относительности. М.: Атомиздат, 1978. 64 с.

18. Truesdell C., Toupin R.A. The Classical Field Theories/ Principles of Classical Mechanics and Field Theory. Encyclopedia of Physics, V.III/1 (ed. S. Flugge). Berlin: Springer, 1960. P. 226-793.

19. Лурье А.И. Нелинейная теория упругости. М.: Наука, 1980. 512 с.

20. Silhavy M. The Mechanics and Thermodynamics of Continuous Media. Berlin; Heidelberg; N.Y.: SpringerVerlag, 1997. 506 p.

21. Bessel-Hagen E. Uber die Erhaultungssatze der Elektrodynamik // Math. Ann. 1921. V. 84. P. 258-276.

22. Меллер К. Теория относительности. М.: Атомиздат, 1975. 400 с.

23. Maugin G.A. Material forces: Concepts and applications// Applied Mechanics Reviews. 1995. V. 48. P. 213-245.

24. Piola G. Nuovo analisi per tutti le questioni della meccanica moleculare// Mem. Mat. Fis. Soc. Ital. Modena. 1835. V. 21. P. 155-321.

25. Piola G. Intorno alle equazioni fondamentali del

movimento di corpi qualsivoglioni considerati secondo la naturale loro forma e costituva// Mem. Mat. Fis. Soc. Ital. Modena. 1848. V. 24(1). P. 1-186.

26. Eshelby J.D. The Force on an Elastic Singularity// Phil. Trans. Roy. Soc. L., 1951. V. A244. P. 87-112.

27. Шварц Л. Анализ: В 2 т. М.: Мир, 1972. Т. II. 528 с.

28. Картан А. Дифференциальное исчисление. Дифференциальные формы. М.: Мир, 1971. 392 с.

29. Мак-Коннел А.Дж. Введение в тензорный анализ с приложениями к геометрии, механике и физике. М.: Физматгиз, 1963. 412 с.

УДК 539.374

СВЯЗАННЫЕ ДИНАМИЧЕСКИЕ ЗАДАЧИ ГИПЕРБОЛИЧЕСКОЙ ТЕРМОУПРУГОСТИ

В.А. Ковалев, Ю.Н. Радаев*, Д.А. Семенов*

Московский городской университет управления Правительства Москвы, кафедра прикладной математики; "Самарский государственный университет, кафедра механики сплошных сред E-mail: vlad_koval@mail.ru, radayev@ssu.samara.ru, semenow@ssu.samara.ru

В представляемой работе в рамках линейной теории недисси-пативной термоупругости Грина-Нахди (йМИ, гиперболическая термоупругость), рассматривающей термоупругую деформацию среды как волновой недиссипативный процесс, с помощью связанных гиперболических уравнений движения и теплопроводности дается анализ гармонических волн, распространяющихся вдоль оси свободного теплоизолированного цилиндрического волновода. Проведен анализ частотного уравнения и форм гармонических волн в бесконечном цилиндрическом термоупругом волноводе. Численно определена зависимость волнового числа от частоты. Особое внимание уделяется волнам второго азимутального порядка. Исследованию предшествует изучение (с помощью геометрических и кинематических условий совместности Адамара - Томаса) слабых разрывов решений связанных уравнений гиперболической термоупругости, а также полный анализ вопросов распространения плоских гармонических связанных незатухающих термоупругих волн.

Ключевые слова: гиперболическая термоупругость, термоупругая деформация, недиссипативный процесс, гармоническая волна, волновое число, цилиндрический волновод.

Coupled Dynamic Problems of Hyperbolic Thermoelasticity

V.A. Kovalev, Yu.N. Radayev*, D.A. Semenov*

Moscow City Government University of Management,

Chair of Applied Mathematics

* Samara State University,

Chair of Continuum Mechanics

E-mail: vlad_koval@mail.ru, radayev@ssu.samara.ru,

semenow@ssu.samara.ru

In the present paper in the framework of the linear non-dissipative coupled thermoelasticity (GNII, hyperbolic thermoelasticity), treating the heat transport as propagation with finite speed of undamped waves of second sound, harmonic coupled thermoelastic waves propagating in an infinite free from tractions thermoisolated cylinder are studied. Dispersion relation is derivedforthistype of thermoelastic waves for an arbitrary azimuthal order. Numerical results for wave numbers depending on frequency are obtained. Special attention is paid to the waves of the second azimuthal order. The study follows investigation of weak discontinuities propagation in GNII media by the Thomas - Hadamard technique and analysis of plane harmonic thermoelastic coupled waves.

Key words: hyperbolic thermoelasticity, thermoelastic strain, non-dissipative process, harmonic wave, wave number, cylindrical waveguide.

ВВЕДЕНИЕ

Классическая теория термоупругости (см., например, [1,2]) основывается на законе теплопроводности Фурье, который устанавливает пропорциональность вектора потока тепла h и отрицательного градиента температуры 0:

h = -A*V0,

где Л* — коэффициент теплопроводности (thermal conductivity). Соответствующее уравнение теплопроводности, как известно, принадлежит к параболическому типу. Поэтому температурное возмущение, локализованное в определенном месте термоупругого тела, должно немедленно ощущаться и в любом другом месте, а это, вообще говоря, противоречит принципу причинности. Классическая теория термоупругости предсказывает, таким образом, бесконечно большую скорость распространения любого термического сигнала.