Тождество Похожаева

Материал из testwiki
Перейти к навигации Перейти к поиску

Тождество Похожаева — это интегральное соотношение, которому удовлетворяют стационарные локализованные решения нелинейного уравнения Шредингера или нелинейного уравнения Клейна-Гордона. Оно было получено С.И. Похожаевым[1] и аналогично теореме о вириале. Это соотношение также известно как теорема Д.Г. Деррика. Аналогичные тождества могут быть получены и для других уравнений математической физики.

Тождество Похожаева для стационарного нелинейного уравнения Шредингера

Приведём общую форму, предложенную Шаблон:Iw и П.-Л. Лионсом[2].

Положим g(s) в качестве непрерывной вещественной функции, с g(0)=0. Определим G(s)=∫0sg(t)dt. Пусть

u∈Lloc∞(ℝn),∇u∈L2(ℝn),G(u)∈L1(ℝn),n∈ℕ,

будет решением уравнения

−∇2u=g(u),

в терминах распределений. Тогда u удовлетворяет соотношению

n−22∫ℝn|∇u(x)|2dx=n∫ℝnG(u(x))dx.

Тождество Похожаева для стационарного нелинейного уравнения Дирака

Существует форма вириального тождества для стационарного Шаблон:Iw в трёх пространственных измерениях (а также уравнения Максвелла-Дирака[3]) и в произвольном пространственном измерении[4]. Положим n∈ℕ,N∈ℕ и пусть αi,1≤i≤n и β будут самосопряжёнными матрицами Дирака размера N×N:

αiαj+αjαi=2δijIN,β2=IN,αiβ+βαi=0,1≤i,j≤n.

Пусть D0=−iα⋅∇=−i∑i=1nαi∂∂xi будет безмассовым оператором Дирака. Положим g(s) в качестве непрерывной вещественной функции, с g(0)=0. Определим G(s)=∫0sg(t)dt. Пусть ϕ∈Lloc∞(ℝn,ℂN) будет спинорным решением, удовлетворяющим стационарной форме нелинейного уравнения Дирака,

ωϕ=D0ϕ+g(ϕ∗βϕ)βϕ,

в терминах распределений, с некоторой ω∈ℝ. Предположим, что

ϕ∈H1(ℝn,ℂN),G(ϕ∗βϕ)∈L1(ℝn).

Тогда ϕ удовлетворяет

ω∫ℝnϕ(x)∗ϕ(x)dx=n−1n∫ℝnϕ(x)∗D0ϕ(x)dx+∫ℝnG(ϕ(x)∗βϕ(x))dx.

См. также

Примечания

Шаблон:Примечания