Professional Documents
Culture Documents
Compactness Properties For Trace-Class Operators and Applications To Quantum Mechanics
Compactness Properties For Trace-Class Operators and Applications To Quantum Mechanics
Compactness Properties For Trace-Class Operators and Applications To Quantum Mechanics
!M השKברו
jrmayorga@espe.edu.ec
Sexta Conferencia Ítalo-Latinoamericana
de Matemática Aplicada e Industrial
dsfd fsdfsd
fds fdss fsfs
dsfd fsdfsd
fds fdss fsfs
gfdgd gfdgfd
dsfd fsdfsd
fds fdss fsfs
gfdgd gfdgfd
Introduction
We shall consider free energy functionals like
Our first task is to bound from below the free energy functional,
that is to establish adapted Lieb-Thirring inequalities.
The second step consists in reformulating these inequalities in
terms of Gagliardo-Nirenberg type interpolation inequalities for
operators, and to study the compactness properties of the
corresponding embeddings.
Applying these results to the minimization of various free energy
functionals, we determine for instance stationary states of the
Hartree problem with temperature corresponding to various
statistics.
Our first task is to bound from below the free energy functional,
that is to establish adapted Lieb-Thirring inequalities.
The second step consists in reformulating these inequalities in
terms of Gagliardo-Nirenberg type interpolation inequalities for
operators, and to study the compactness properties of the
corresponding embeddings.
Applying these results to the minimization of various free energy
functionals, we determine for instance stationary states of the
Hartree problem with temperature corresponding to various
statistics.
is in L1 (Ω) and does not depend on the special choice {ψi }i∈N . If,
additionally, L ≥ 0, ρL is also non-negative and it is called the
density function associated to L.
X Z
K(L) ≡ νi |∇ψi (x)|2 dx.
i∈N Ω
Proposition.-
1. Given L ∈ H1 , hhLii2 depends only on L and not on the
particular eigenbasis of L.
2. αL ∈ H1 , for all α ∈ R.
3. For every L ∈ H1 and α ∈ R
hhαLii2 = |α|hhLii2 ,
Example 1
(
∞ if s < 0 ,
Let γ > γd ≡ d/2 and βm (s) = m
where
− cm s if s ≥ 0 ,
γ
cm = (1 − m)m−1 m−m and m = γ+1 ∈ d+2 d
, 1 . The entropy
seed βm is generated by the function
(
s −γ if s ≥ 0 ,
F (s) =
+∞ if s < 0 ,
Interpolation inequalities
Theorem.- Let V be a potential verifying (V1 ). Let β be an
entropy seed generated by F ∈ CV1 . Then
1
FV ,β (L) ≥ −Tr [F (−∆ + V )] , ∀ L ∈ H+ . (5)
Example 1 (cont.)
q 1−q q −q
where κ(γ) ≡ (C(γ))1−q [( q−1 ) + ( q−1 ) ].
Example 2
s log s − s if s > 0 ,
Consider the entropy seed β(s) = 0 if s = 0 , which is
+∞ if s < 0 .
−s
generated by F (s) = e . If G (s) = (4π) −d/2 −s
e , then (L-Th)
and (G-N) become respectively
X Z
−λV ,i −d/2
e ≤ (4π) e −V (x) dx,
Ω
Z Z
d
K(L) + Eβ (L) ≥ β(ρL )dx + log(4π) ρL dx .
Ω 2 Ω
Coercivity Estimates
(1−ε)
For λ ≤ λV ,i we consider the free energy FVλ ,β : H+
1 → R ∪ {∞}
given by
FVλ ,β (L) ≡ FV ,β (L) − λ kLk1 . (9)
h ε i ε
FVλ ,β (L) ≥ −Tr F − ∆ + K(L) . (10)
2 2
(1−ε)
If F ∈ CV1−ε 1
−λ and λ ≤ λV ,1 , then for any L ∈ H+ we have that
Compactness
[−∆ + V − λ, L] = 0 ,
Z
G(L) = g (ρL (x)) dx,
Ω
FVλ,g
≡ FVλ ,β + G(L),
,β (L)
Y (L) = (β 0 )−1 −(−∆ + V ) + λ − g 0 ◦ ρL .
FVλ,g λ,g
,β (L∞ ) = inf FV ,β (L) .
1
L∈H+
where Z Z
1 1
P(L) = VL ρL dx = |∇VL |2 dx
2 Ω 2 Ω
1.
is the Poisson potential energy of L ∈ H+
LF = (β 0 )−1 (∆ − VLF )