Научная статья на тему 'ФУНКЦИИ ГРИНА УРАВНЕНИЙ ПЕРВОГО ПОРЯДКА'

ФУНКЦИИ ГРИНА УРАВНЕНИЙ ПЕРВОГО ПОРЯДКА Текст научной статьи по специальности «Математика»

CC BY
26
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Труды МАИ
ВАК
Область наук
Ключевые слова
ДЕЛЬТА ФУНКЦИИ / ГРАНИЦА ПОЛЯ / ОПЕРАЦИЯ ХОДЖА / РАЗЛОЖЕНИЕ ГЕЛЬМГОЛЬЦА

Аннотация научной статьи по математике, автор научной работы — Храпко Радий Игоревич

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «ФУНКЦИИ ГРИНА УРАВНЕНИЙ ПЕРВОГО ПОРЯДКА»

Электронный журнал «Труды МАИ». Выпуск № 36 www.mai.ru/science/trudv/

УДК 537.86

Функции Грина уравнений первого порядка

Р.И.Храпко

Аннотация

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

Ключевые слова

дельта функции; граница поля; операция Ходжа; разложение Гельмгольца

1. Введение. Функция Грина второго порядка

Сначала вспомним, что обычная функция Грина

Л

(х х') =

4пг (х, х')

для уравнения Пуассона

удовлетворяет сингулярному уравнению

Рл (х) = У Фл (х)

¿л (х, х') = У 2Ол (х, х').

(1.1)

(1.2)

(13)

Здесь V2 = Vi V^ есть оператор Лаплпса, рл (х) , а, значит, и фл (х) являются скалярными

плотностями веса +1. Об этом свидетельствует знак л . Мы используем его на уровне нижних или верхних индексов в качестве указателя плотности веса +1 или — 1. Соответственно, дельта функция Дирака 5л (х, х') и функция Грина Gл (х, х') суть скалярные

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

Соотношение (1.3) можно считать определением дельта функции Дирака. Ее свойства выражаются интегралами

Рл (х) = |рл ' (хХ (х, х')ё¥л' и /(х') = \/(х)3А (х, х')ё¥л (1.4) где рл (х) и / (х) суть скалярная плотность и скалярная функция соответственно.

Для решения уравнения (1.2) обе части уравнения (1.3) умножают на рл • (х' ) и интегрируют:

Рл (х) = ¡Рл' (х>л (х, х')йУл' = V2 ¡Рл' (х')Ол (х, х')йУл' =У 2фл (х). (1.5) Таким образом находят интеграл

¡Рл' (х')Ол (х, х ')ёУ Л'=фЛ (х), (1.6) который удовлетворяет уравнению (1.2) в качестве фл (х) .

2. Модифицированная функция Грина второго порядка

Тот же метод решения применим в отношении уравнения для векторной плотности

/л (х) = V2 ал (х). (2.1)

Однако в этом случае для сохранения ковариантности при интегрировании, аналогичном (1.6), должен быть использован транслятор, 0/ , (х, х'), связывающий тензорные

компоненты в разных точках, х и х', например, / (х') ©1,(х, х')©„ (х, х') = / (х) . Поэтому вместо (1.6) имеем решение в виде

\г, (х ')©:,(х, х ')0Л (х, х ')йУ= ал (х). (2.2)

В декартовой системе координат транслятор 0/ - (х, х') совпадает с символом Кронекера 5/ -.

Однако индексы этого символа Кронекера принадлежат разным точкам. Поэтому, при использовании криволинейных (т.е. не декартовых) координат, компоненты транслятора не равны 1 или 0. Транслятор осуществляет параллельный пернос тензоров из одной точки в другую. Обозначение 0/.(х, х') было использовано в работе [1]. Этот транслятор,

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

©1, (х, х') = -д г (х, х') = д г (х', х), (2.3)

причем сам вектор Г (х, х') определен интегралом, который суммирует элементы йх1 пути от х ' до х в конечной точке хг с помощью этого самого транслятора:

гг (х, х' ) = Г 0г- (х, х)йх] . (2.4)

ах' 1

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

Решение (2.2) уравнения (2.1) получено при использовании сингулярного уравнения

0г ' 5Л(х,х') = V2(0г,ал(х,х')), (2.5)

полученного умножением уравнения (1.3) на транслятор 01 - (х, х'), поскольку транслятор 01, гармоничен,

V2 01 = 0 (2.6)

(равенство (2.6) верно, потому что оно ковариантно и очевидно верно в декартовоых координатах).

Отметим, что решение (2.2) существует для любой достаточно хорошей функции /л (х), поскольку равенство

1л (х) = |Г,(х ')01 (х, х ' )5л (х, х ')йУл' . (2.7) является свойством дельта функции (1.3). В разделе 3 это обстоятельство не имеет место.

3. Функции Грина первого порядка, С 3.1. Уравнение рл (х) = д кЕкл (х)

Двухточечную дельта функцию Дирака 5л (х, х') (1.3) можно определить другим равенством

5л (х, х') = дкС л (х, х'), (3.1.1)

в котором

С л (х, х ') = 4ГГХ(,Х 0 (3.1.2)

4п г (х, х )

есть функция Грина первого порядка, называемая так потому, что решение уравнения первого порядка

Рл (х) = д Е (х) (3.1.3)

получается в виде

|рл,(x')G* (X,x')dVл = Екл (x), (3.1.4)

если обе части равенства (3.1.1) умножить на скалярную плотность рл , (х') и проинтегрировать,

Рл (X) = |рл (х')5л (X, x')dV л'=дк |рл' (x')G л (X, x')dV л'=дкЕЛл (х). (3.1.5)

Функция G л (x, x') является векторной плотностью в точке x и скаляром в точке x '. Решение (3.1.4) существует для произвольной достаточно хорошей функции рл (x), как и решение (1.6) уравнения (1.2).

Мы напомним здесь некоторые обозначения из работ [1-4], которые будут использованы ниже.

Поднимание и опускание тензорных индексов обычно выполняется метрическим тензором g'k или gik . Однако в электромагнетизме этот процесс сопровождается переходом между дифференциальной формой и контравариантной плотностью, например, между ковектором Et и векторной плотностью Е'л . Поэтому в этот процесс включен корень из

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

+1. Так что, вместо g'k или gik, в электромагнетизме используется тензорная плотность

gf. = g k yfg л или g'ik = gik / yfg л . Если применяются декартовы координаты, то абсолютное

значение детерминанта равно единице, однако корень из детерминанта имеет вполне определенное геометрическое значение. Процесс поднятия или опускания тензорных индексов в электродинамике мы называем сопряжением [3,4] и обозначаем пяти-лучевой звездочкой * (в отличие от оператора Ходжа * [5,6]). Например,

* Еi = g'kE, = Ел, * ел = gkEk, = Еi, * Bmn = gmig;B:n = B9, * B4 = g'mg^Bj = Bm.

Сопряжение, очевидно, инволютивно: * * = 1. Пара взаимно сопряженных полей образует тандем, например, B v & Bmn

Операция интегрирования типа (3.1.4), использующая функцию Грина первого порядка, называется порождением. В данном случае плотность рл (x) является источником,

который порождает поле Екл (x) . Эта операция обозначается символом dagger иногда с индексом, например, Е'л =f Рл .

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

дф = дiф о gradф, dBv = 3d[kBi}] о divB, дEЛ = дE о divE дЛ] = 2dtl A}] о rot A dB* = дkB* о rot B

Она является внешним дифференцированием, когда применяется к дифференциальным формам. Мы называем производную величину границей, а дифференцируемую величину называем наполнением этой границы. Поле с границей, равной нулю, называется замкнутым. Магнитное поле Blj обычно замкнуто, д B lj = 0, замкнутость мы отмечаем ноликом o .

Порожденное поле (3.1.4), E* = tk рЛ , замкнуто после сопряжения, т.е. сопряженно

х

замкнуто (кратко, козамкнуто),

д [i (g *]k E Л) = д * E Л=д *t Рл = 0. (3.1.6)

Козамккнутые поля отмечаются крестиком х. Козамкнутость (3.1.6) вытекает из козамкнутости функции Грина первого порядка: д{i (g*]kr* /r3) = 0, т.е. д[lGj] = д * G* = 0 . Можно утверждать, что вообще

д *t = 0, (3.1.7)

т. е. порождение козамкнуто.

Выражение (3.1.4) всегда является решением уравнения (3.1.3), но оно не единственно. К полю E* (х) (3.1.4) может быть добавлено любое замкнутое поле E* (х) (для

х o

которого дk E Л(х) = 0 ).

3.2. Уравнение j (х) = дB (х).

Для получения решения уравнения

j Л (х) = д B (х) (3.2.1)

в виде порождения j (х) ^ B*k (х),

tk j* (х) = J jЛ'' (х') G Л, (х, х ')dVЛ' = BЛ (х), (3.2.2)

(это - закон Био-Савара) требуется другая дельта функция и другая функция Грина. Мы определим их на основе (3.1.2) равенством

(х, х') = д k Giki- (х, х'). (3.2.3)

где новая дельта функция S'Ai>(х, х') является векторной плотностью в точке х и ковектором в точке х', а функция Грина

def

Gk, (х, х') = 2©i: G Л](х, х') (3.2.4)

является бивекторной плотностью в точке х и ковектором в точке х '. Обратите внимание, что формулы (3.2.1), (3.2.3), как и формулы (3.1.1), (3.1.3), ковариантны, хотя используют частную производную. Дельта функция (3.2.3) существенно отличается от простого произведения в левой части равенства (2.5).

Если для получения решения (3.2.2) уравения (3.2.1) обе части равенства (3.2.3) умножить на векторную плотность УЛ, (х') и проинтегрировать,

I (х, х')йУ< = д , 17д-( х ') С%,(х, х')йУ" = дВ (х), (3.2.5)

образовавшаяся величина (3.2.2) не обязательно будет являться решением уравнения (3.2.1), потому что уравнение (3.2.1) имеет решение только для замкнутого поля УЛ (х) = У Л(х), т.е.

для поля, удовлетворяющего

дг УЛ (х) = 0. (3.2.6)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Если поле УЛ(х) не замкнуто, то граница, дкВ'л (х) (3.2.5), поля В'л (х) (3.2.2), равна не полю УЛ (х), а его замкнутой части у Л (х). То есть граница порождения равна замкнутой части

Л у

источника. Покажем это, используя для простоты декартовы координаты. Сначала запишем д кВ'Лк (х) = 2д к IУ Л (х ') ^¿^ ау Л =д к IУЛ (х ') ^^ ау Л'-д к I Ук(х ') ^^ ау Л =

гЛ(х, х ')

IУЛ (х ')8Л (х, хууу Л -| у ¿к' (х ')д аУЛ = К (3.2.7)

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

йк^ -д/-^. (3.2.8)

Тогда получим в продолжение строчки (3.2.7)

К = УЛ (х) + | УлЛ'(х ')д ауЛ ' = К (3.2.9)

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

К = УЛ (х) -|д к 'УЛ'' (х')ауЛ' =уЛ д УЛ. (3.2.10)

В результате, в соответствии с разложением Гельмгольца поля 7л (х) на козамкнутую и замкнутую части,

7> 7л+ 7>! д ]кг„+д | у*, (3.2.11)

X о

имеем

дВ =д!ул= 7 л-!дул= у л, (3.2.12)

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

часть 7 л(х) из поля 7'л (х) :

7л(х) = [&(х')5л,(х,х')ё¥л'. (3.2.13)

о

Заметим, что представленное здесь разложение (3.2.11) является отнюдь не стандартным разложением Гельмгольца. Стандартное разложение сложнее; оно использует оператор порождения второго порядка. Эта тема подробно обсуждена в [4].

Свойство (3.2.13) дельта функции (3.2.3) можно доказать непосредственно. Действительно,

д гдл, (х, X) = д г д к с Ъ (х, х') = 0 (3.2.14)

из-за антисимметрии функции Грина С^. (х, х') . Это означает, что дельта функция 5'л(х, х') замкнута, причем замкнута нетривиально, в отличие от обычной дельта функции 5л (х, х'), которая замкнута просто потому что является скалярной плотностью. Таким образом, любой интеграл типа J7л. (х ' )5'л^, (х, х ' )ё¥л замкнут.

Итак, граница порождения |к /л поля 7'л равна замкнутой части 7 л этого поля.

л

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

д | ул = 7 л и д 7), = о. (3.2.15)

Мы говорим, что порождение создает истинное наполнение границы.

Получим теперь интересные формулы, связывающие рассматриваемые операции. Разложение Гельмгольца (3.2.11) подвергнем сопряжению

„• к , х ^ 4. к

* 7 л= П д 7л + * д ! Ул. (3.2.16)

С другой стороны, подвергнем разложению Гельмгольца сопряженное поле * 7

* 7 л=! д * 7кг, +д !* 7л. (3.2.17)

Приравнивая козамкнутые составляющие, *д I7\ = I д * 7^, и замкнутые составляющие

*|д7кл =д|*7к,, находим

*д| = |д* и *|д = д|* , (3.2.18)

Соотношения (3.2.15) и (3.1.18) показывают что операции д и I взаимно обратны в следующем смысле:

д 17\ = 7л, I д 7г,= 7л, (3.2.19)

л л л л

о О XX

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

л

поля 7л. Другими словами, порождение козамкнутого поля равно нулю,

17л= 0 (3.2.20)

л

X

Это следует из того, что, согласно (3.2.11) и (3.1.7), поле 17 л замкнуто и козамкнуто:

л

X

д 17 л= 7 л-1 д 7л = 7 л-7 л= 0, и д *| 7 л= 0. (3.2.21)

XX XX

Формула (3.2.20) означает, что порождение порождения равно нулю,

II = 0, (3.2.22)

как и граница границы, дд = 0. Мы говорим, что порождение стерильно. Справедлива формула, симметричная формуле (3.1.7)

|*д = 0 (3.2.23)

3.3. Уравнение Ек (х) = д к ф( х).

Для получения решения уравнения

Ек (х) = д к ф( х). (3.3.1)

в виде порождения Ек (х) ^ ф(х),

Iк Ек (х) = | Ек, (х') С л' (х, х уу л' =ф(х), (3.3.2)

требуется специальная дельта функция и специальная функция Грина. Мы определим их на основе (3.1.2) равенством

8*. (х, х') = дк Сл (х, х'). (3.3.3)

где новая дельта функция 8 кл - (х, х') является векторной плотностью в точке х' и ковектором

в точке х , а функция Грина

С л ' (х, х ') = 0 к ©л-ел (х, х ') (3.3.4)

является векторной плотностью в точке х и ковектором в точке х .

X

Если для получения решения (3.3.2) уравения (3.3.1) обе части равенства (3.3.3) умножить на ковектор Ек, (х') и проинтегрировать,

| Ек, (х ')5 кЛ (х, х уу Л ' = д к | Ек, (х') СЛ' (х, х уу Л ' = д к ф, (3.3.5)

образовавшаяся величина (3.3.2) не обязательно будет являться решением уравнения (3.3.1), потому что уравнение (3.3.1) имеет решение только для замкнутого поля Ек(х) = Ек(х) , т.е.

для поля, удовлетворяющего

д [гЕ к ](х) = 0. (3.3.6)

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

дкФ(х) = Ек(х) - 2|д[,Ел(х')Ск;,(х,х')ёуЛ = ЕкдЕк = Ек -Ек = Ек ; (3.3.7) здесь использована функция Грина

СкЛ(х, х') = СЛ (х, х')©: 0к ©Л, (3.3.8)

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

А :

| В1Г (х ')С У (х, х уу Л = Ак (х). (3.3.9)

Заметьте, этот порожденный потенциал выделяется из всех калибровочно эквивалентных потенциалов [3].

Таким образом, (3.3.7) показывает, что дельта функция 5 кЛ - (х, х') (3.3.3) в выражении (3.3.5) элиминирует козамкнутую составляющую источника Ек(х) :

Ек =|Ек,(х')5кЛ(х,х ууЛ ' . (3.3.10)

3.4. Компоненты тандема как источник

В качестве резюме раздела 3 продемонстрируем, как взаимно сопряженные поля дают два различных порождения.

Взаимно сопряженные поля

ЕЛ = ЕЛ+ ЕЛ и * ЕЛ = Ек = Ек + Ек (3.4.1)

X О О X

дают порождения

|кЕЛ =|кЕЛ=ПЛк и IкЕк =|кЕк =ф, (3.4.2)

где П ^ и ф суть электрические потенциалы.

х

Взаимно сопряженные поля

Б1 = + В* и *Б1 = Вг] = Вг] + Вг] (3.4.3)

дают порождения

Iк Вф =|к ВI = П1]к и В ц =|' В ф = А ,, (3.4.4)

о х ^ о ^ х ^

где П ф и А . суть магнитные потенциалы.

хх

4. Разложение Пуанкаре

Разложение Гельмгольца поля на замкнутую и не замкнутую части, конечно, не однозначно. Оно зависит в от метрики. Однако, мы обращаем внимание, что существует совершенно другое такое разложение, при котором интегрирование перемежается с дифференцированием как в формуле (3.2.11). Мы называем его разложением Пуанкаре.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Пусть ш есть внешняя дифференциальная форма (коротко, форма); ее разложение на замкнутую и не замкнутую части выглядит [5,6]:

ш = дКш + Кдш = ш + ш (4.1)

о +

(замкнутая часть формы отмечается кружком, однако не замкнутая часть, в отличие от разложения (3.2.11), отмечается знаком +, а не х ). Эта формула является важной в теории внешних дифференциальных форм. В (4.1) К есть оператор, обратный по отношению к внешнему дифференцированию в следующем смысле. Если ш = ш есть замкнутая форма, т.е.

д ш = 0, то, в силу теоремы Пуанкаре, в области, не усложненной топологически, существует (не однозначное) наполнение этой формы а, т.е. форма, для которой ш является границей,

+ о

ш = да . Так вот, оператор К осуществляет переход к некоторому такому наполнению,

о +

К ш = а . Таким образом,

о +

ш = да & Кш = а влечет а = Кда & ш = дКш. (4.2)

о + о + + + оо

Для примера здесь представлен К -оператор в явном индексном виде, действующий на 3-ф°р^ шУк (х):

а]к = К'шг]к = ЮX2х'шф. (4.3)

Мы называем К -оператор порождающим оператором Пуанкаре, мы называем а ^ = Кш^ Пуанкаре-порождением формы ш^, и мы называем ш^ источником

порожденной формы К шь-к. Заметьте, что порождающий оператор Пуанкаре не содержит

метрического тензора.

Легко показать, что двукратное применение К -оператора дает ноль, т.е. КК = 0. Например,

aljk = jxxj 2Xa*(tx)dt

dx = 0, (4.4)

потому что х1 хгШук = 0 . Мы говорим, что порождение порождения есть ноль или что

порождение стерильно. Это свойство аналогично свойству внешнего дифференцирования дд = 0, которое выражается словами: граница границы есть ноль, и свойству обычного порождения (3.2.22). Так что К элиминирует стерильную часть формы ш в разложении (4.1), а д элиминирует замкнутую часть формы:

Кш = Кш, дш = дш . (4.5)

О +

Таким образом, (4.1) есть разложение формы ш на замкнутую часть ш и Пуанкаре-стерильную часть ш .

х=тх

Библиографический список

1. Храпко Р.И. Функции пути. // ТМФ - 1995 65, 334-346

2. Храпко Р.И. Силовые трубки и биповерхности в электромагнетизме.

http://www.mai.ru/science/trudy/articles/num4/article7/auther.htm (18.05.2001)

3. Khrapko R. I., "Violation of the gauge equivalence", http://arXiv.org/abs/physics/0105031

(11.12.2001)

4. Храпко Р.И. Разложение Гельмгольца, etc.

http://www.mai.ru/science/trudy/articles/num19/article9/auther.htm (05.07.2005)

5. Cartan H. Calcul Differentiel. Formes Differentielles (Herman, Paris, 1967). Картан А.

Дифференциальное исчисление, Дифференциальные формы (М.: Мир, 1971) 392c.

6. Flanders H. Differential Forms (Academic, New York, 1963)

Сведения об авторе

Храпко Радий Игоревич, доцент кафедры физики Московского авиационного института (государственного технического университета), к.ф.-м.н.

Контакты: 4991446312, кЬгарко ri@hotmail.com, персональный сайт http://khrapkori.wm site.ru

125993 Москва, Волоколамское шоссе 4, Российская Федерация

i Надоели баннеры? Вы всегда можете отключить рекламу.