Interested Article - Оператор Лапласа — Бельтрами

Опера́тор Лапла́са — Бельтра́ми (называется иногда оператором Бельтра́ми — Лапла́са или просто оператором Бельтра́ми ) — дифференциальный оператор второго порядка, действующий в пространстве гладких (или аналитических) функций на римановом многообразии M {\displaystyle M} .

В координатах x 1 , , x n , {\displaystyle x_{1},\ldots ,x_{n},} где n = dim M , {\displaystyle n=\dim M,} оператор Лапласа — Бельтрами задается следующим образом. Пусть ( g i j ) {\displaystyle (g_{ij})} — матрица метрического тензора риманова многообразия, ( g i j ) {\displaystyle (g^{ij})} — обратная матрица и g = det ( g i j ) {\displaystyle g=\det(g_{ij})} , тогда оператор Лапласа — Бельтрами имеет вид

i , j 1 g x i ( g i j g x j ) . ( ) {\displaystyle -\sum _{i,j}{\frac {1}{\sqrt {g}}}{\frac {\partial }{\partial x_{i}}}{\biggl (}g^{ij}{\sqrt {g}}{\frac {\partial }{\partial x_{j}}}{\biggr)}.\qquad (*)}

Примеры

  • В случае, когда M {\displaystyle M} — область в евклидовом пространстве со стандартной метрикой ( g i j ) = ( δ i j ) {\displaystyle (g_{ij})=(\delta _{ij})} — единичная матрица, оператор Лапласа — Бельтрами (*) превращается (с точностью до знака) в оператор Лапласа .
  • Пусть dim M = 2 {\displaystyle \dim M=2} и метрический тензор имеет вид d s 2 = E ( x , y ) d x 2 + 2 F ( x , y ) d x d y + G ( x , y ) d y 2 , {\displaystyle ds^{2}=E(x,y)\,dx^{2}+2F(x,y)\,dxdy+G(x,y)\,dy^{2},} тогда формула (*) принимает вид
    x ( F y G x E G F 2 ) + y ( F x E y E G F 2 ) . ( ) {\displaystyle {\frac {\partial }{\partial x}}{\biggl (}{\frac {F{\frac {\partial }{\partial y}}-G{\frac {\partial }{\partial x}}}{\sqrt {EG-F^{2}}}}{\biggr)}+{\frac {\partial }{\partial y}}{\biggl (}{\frac {F{\frac {\partial }{\partial x}}-E{\frac {\partial }{\partial y}}}{\sqrt {EG-F^{2}}}}{\biggr)}.\qquad (**)}
  • Дифференциальное уравнение с частными производными второго порядка L f = 0 , {\displaystyle Lf=0,} где оператор L {\displaystyle L} задан формулой (**), разрешимо, если функции E , F , G {\displaystyle E,F,G} аналитические или достаточно гладкие. Этот факт используется для доказательства существования локальных изометрических (конформных) координат на поверхности M {\displaystyle M} , т. е. доказательства того, что каждое двумерное риманово многообразие локально конформно эквивалентно евклидовой плоскости.

Литература

  • Розенблюм Г. В., Соломяк М. З., Шубин М. А. Спектральная теория дифференциальных операторов, — Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, 64, ВИНИТИ, М., 1989.
  • Трев Ф. Введение в теорию псевдодифференциальных операторов и интегральных операторов Фурье, — М., Мир, 1984.
  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия (методы и приложения), — Любое издание.

Примечания

  1. Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия (методы и приложения), гл. 2, параграф 13.

Same as Оператор Лапласа — Бельтрами