WikiDer > Инвариант Лапласа

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

${ displaystyle partial _ {x} , partial _ {y} + a , partial _ {x} + b , partial _ {y} + c, ,}$

чьи коэффициенты

${ Displaystyle а = а (х, у), б = с (х, у), с = с (х, у),}$

являются гладкими функциями двух переменных. Его Инварианты Лапласа иметь форму

${ displaystyle { hat {a}} = c-ab-a_ {x} quad { text {and}} quad { hat {b}} = c-ab-b_ {y}.}$

Их важность обусловлена ​​классической теоремой:

Теорема: Два оператора вида эквивалентны относительно калибровочные преобразования тогда и только тогда, когда их инварианты Лапласа попарно совпадают.

Здесь операторы

${ displaystyle A quad { text {and}} quad { tilde {A}}}$

называются эквивалент если есть калибровочное преобразование что переводит одно в другое:

${ displaystyle { tilde {A}} g = e ^ {- varphi} A (e ^ { varphi} g) Equiv A _ { varphi} g.}$

Инварианты Лапласа можно рассматривать как "остатки" факторизации для исходного оператора А:

${ displaystyle partial _ {x} , partial _ {y} + a , partial _ {x} + b , partial _ {y} + c = left {{ begin {array} {c} ( partial _ {x} + b) ( partial _ {y} + a) -ab-a_ {x} + c, ( partial _ {y} + a) ( partial _ { x} + b) -ab-b_ {y} + c. end {array}} right.}$

Если хотя бы один из инвариантов Лапласа не равен нулю, т.е.

${ displaystyle c-ab-a_ {x} neq 0 quad { text {и / или}} quad c-ab-b_ {y} neq 0,}$

то это представление является первым шагом Преобразования Лапласа – Дарбу. используется для решениянефакторизуемый двумерные линейные дифференциальные уравнения в частных производных (LPDE).

Если оба инварианта Лапласа равны нулю, т.е.

${ displaystyle c-ab-a_ {x} = 0 quad { text {and}} quad c-ab-b_ {y} = 0,}$

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

Инварианты Лапласа были введены для двумерного линейного дифференциального оператора в частных производных (LPDO) порядка 2 и гиперболического типа. Это частный случай обобщенные инварианты который может быть построен для двумерного LPDO произвольного порядка и произвольного типа; видеть Инвариантная факторизация LPDO.

Смотрите также

• Частная производная
• Инвариант (математика)
• Теория инвариантов

Рекомендации

• Ж. Дарбу, "Leçons sur la théorie général des поверхностей", Gauthier-Villars (1912) (издание: второе)
• G. Tzitzeica G., "Sur un теорема де М. Дарбу". Comptes Rendu de l'Academie des Sciences 150 (1910), стр. 955–956; 971–974
• Л. Бьянки, "Lezioni di geometria Differenziale", Zanichelli, Болонья, (1924)
• Шабат А.Б. К теории преобразований Лапласа – Дарбу. J. Theor. Математика. Phys. Vol. 103, N.1, стр. 170–175 (1995) [1]
• А.Н. Лезнов, М. Савельев. "Теоретико-групповые методы интегрирования нелинейных динамических систем", Москва, Наука (1985). Английский перевод: Progress in Physics, 15. Birkhauser Verlag, Basel (1992)