La identidad de Pokhozhaev es una relación integral satisfecha por soluciones localizadas estacionarias a una ecuación de Schrödinger no lineal o ecuación de Klein-Gordon no lineal . Fue obtenido por SI Pokhozhaev y es similar al teorema del virial . Esta relación también se conoce como teorema de DH Derrick . Se pueden derivar identidades similares para otras ecuaciones de física matemática.
La identidad de Pokhozhaev para la ecuación de Schrödinger no lineal estacionaria
Aquí hay una forma general debida a H. Berestycki y P.-L. Leones .
Sea continuo y de valor real, con . Denotar . Dejar
gramo
(
s
)
{\ Displaystyle g (s)}
gramo
(
0
)
=
0
{\ Displaystyle g (0) = 0}
GRAMO
(
s
)
=
∫
0
s
gramo
(
t
)
D
t
{\ Displaystyle G (s) = \ int _ {0} ^ {s} g (t) \, dt}
tu
∈
L
l
o
C
∞
(
R
norte
)
,
∇
tu
∈
L
2
(
R
norte
)
,
GRAMO
(
tu
)
∈
L
1
(
R
norte
)
,
norte
∈
norte
,
{\ Displaystyle u \ in L _ {\ mathrm {loc}} ^ {\ infty} (\ mathbb {R} ^ {n}), \ qquad \ nabla u \ in L ^ {2} (\ mathbb {R} ^ {n}), \ qquad G (u) \ in L ^ {1} (\ mathbb {R} ^ {n}), \ qquad n \ in \ mathbb {N},}
ser una solución a la ecuación
-
∇
2
tu
=
gramo
(
tu
)
{\ Displaystyle - \ nabla ^ {2} u = g (u)}
,
en el sentido de distribuciones . Entonces satisface la relación
tu
{\ Displaystyle u}
(
norte
-
2
)
∫
R
norte
|
∇
tu
(
X
)
|
2
D
X
=
norte
∫
R
norte
GRAMO
(
tu
(
X
)
)
D
X
.
{\ Displaystyle (n-2) \ int _ {\ mathbb {R} ^ {n}} | \ nabla u (x) | ^ {2} \, dx = n \ int _ {\ mathbb {R} ^ { n}} G (u (x)) \, dx.}
La identidad de Pokhozhaev para la ecuación de Dirac no lineal estacionaria
Deje
y dejar y ser el autoadjunta Dirac matrices de tamaño :
norte
∈
norte
,
norte
∈
norte
{\ Displaystyle n \ in \ mathbb {N}, \, N \ in \ mathbb {N}}
α
I
,
1
≤
I
≤
norte
{\ Displaystyle \ alpha ^ {i}, \, 1 \ leq i \ leq n}
β
{\ Displaystyle \ beta}
norte
×
norte
{\ Displaystyle N \ times N}
α
I
α
j
+
α
j
α
I
=
2
δ
I
j
I
norte
,
β
2
=
I
norte
,
α
I
β
+
β
α
I
=
0
,
1
≤
I
,
j
≤
norte
.
{\ Displaystyle \ alpha ^ {i} \ alpha ^ {j} + \ alpha ^ {j} \ alpha ^ {i} = 2 \ delta _ {ij} I_ {N}, \ quad \ beta ^ {2} = I_ {N}, \ quad \ alpha ^ {i} \ beta + \ beta \ alpha ^ {i} = 0, \ quad 1 \ leq i, j \ leq n.}
Sea el operador de Dirac sin masa . Sea continuo y de valor real, con . Denotar . Dejado ser un spinor solución -valued que satisface la forma estacionaria de la ecuación de Dirac no lineal ,
D
0
=
-
I
α
⋅
∇
=
-
I
∑
I
=
1
norte
α
I
∂
∂
X
I
{\ Displaystyle D_ {0} = - \ mathrm {i} \ alpha \ cdot \ nabla = - \ mathrm {i} \ sum _ {i = 1} ^ {n} \ alpha ^ {i} {\ frac {\ parcial} {\ parcial x ^ {i}}}}
gramo
(
s
)
{\ Displaystyle g (s)}
gramo
(
0
)
=
0
{\ Displaystyle g (0) = 0}
GRAMO
(
s
)
=
∫
0
s
gramo
(
t
)
D
t
{\ Displaystyle G (s) = \ int _ {0} ^ {s} g (t) \, dt}
ϕ
∈
L
l
o
C
∞
(
R
norte
,
C
norte
)
{\ Displaystyle \ phi \ in L _ {\ mathrm {loc}} ^ {\ infty} (\ mathbb {R} ^ {n}, \ mathbb {C} ^ {N})}
ω
ϕ
=
D
0
ϕ
+
gramo
(
ϕ
∗
β
ϕ
)
β
ϕ
,
{\ Displaystyle \ omega \ phi = D_ {0} \ phi + g (\ phi ^ {\ ast} \ beta \ phi) \ beta \ phi,}
en el sentido de distribuciones , con algunos . Asumir que
ω
∈
R
{\ Displaystyle \ omega \ in \ mathbb {R}}
ϕ
∈
H
1
(
R
norte
,
C
norte
)
,
GRAMO
(
ϕ
∗
β
ϕ
)
∈
L
1
(
R
norte
)
.
{\ Displaystyle \ phi \ in H ^ {1} (\ mathbb {R} ^ {n}, \ mathbb {C} ^ {N}), \ qquad G (\ phi ^ {\ ast} \ beta \ phi) \ en L ^ {1} (\ mathbb {R} ^ {n}).}
Entonces satisface la relación
ϕ
{\ Displaystyle \ phi}
ω
∫
R
norte
ϕ
(
X
)
∗
ϕ
(
X
)
D
X
=
norte
-
1
norte
∫
R
norte
ϕ
(
X
)
∗
D
0
ϕ
(
X
)
D
X
+
∫
R
norte
GRAMO
(
ϕ
(
X
)
∗
β
ϕ
(
X
)
)
D
X
.
{\ Displaystyle \ omega \ int _ {\ mathbb {R} ^ {n}} \ phi (x) ^ {\ ast} \ phi (x) \, dx = {\ frac {n-1} {n}} \ int _ {\ mathbb {R} ^ {n}} \ phi (x) ^ {\ ast} D_ {0} \ phi (x) \, dx + \ int _ {\ mathbb {R} ^ {n}} G (\ phi (x) ^ {\ ast} \ beta \ phi (x)) \, dx.}
Ver también
Referencias
<img src="https://en.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">