some spectral properties of pseudo-di erential operators...
TRANSCRIPT
![Page 1: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/1.jpg)
Some Spectral Properties of Pseudo-Di�erentialOperators on the Sierpi«ski Gasket
Marius Ionescu
Joint with Kasso Okoudjou and Luke G. Rogers
U.S. Naval Academy
5th Cornell Conference on Analysis, Probability, and
Mathematical Physics on Fractals
M. Ionescu Spectral Properties of PSDO
![Page 2: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/2.jpg)
The classical Szegö Theorem
Theorem
If Pn is projection onto the span of {e imθ, 0 ≤ m ≤ n} in L2(T) and
[f ] is multiplication by a positive C 1+α function for α > 0 then
limn→∞
log detPn[f ]Pnn + 1
=
ˆ 2π
0
log f (θ) dθ/2π.
Equivalently, (n + 1)−1 Tr logPn[f ]Pn has the same limit.
M. Ionescu Spectral Properties of PSDO
![Page 3: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/3.jpg)
Set up and notation
X is the Sierpi«ski gasket.
µ is the standard measure
∆ is the Dirichlet Laplacian on X de�ned by the the
symmetric self-similar resistance on X .
For λ ∈ sp(−∆), let Eλ be its eigenspace, dλ = dimEλ, and
Pλ the projection onto Eλ.
For Λ > 0, let EΛ be the span of all eigenfunctions
corresponding to λ ≤ Λ and let PΛ be the projection onto EΛ.
M. Ionescu Spectral Properties of PSDO
![Page 4: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/4.jpg)
Set up and notation
X is the Sierpi«ski gasket.
µ is the standard measure
∆ is the Dirichlet Laplacian on X de�ned by the the
symmetric self-similar resistance on X .
For λ ∈ sp(−∆), let Eλ be its eigenspace, dλ = dimEλ, and
Pλ the projection onto Eλ.
For Λ > 0, let EΛ be the span of all eigenfunctions
corresponding to λ ≤ Λ and let PΛ be the projection onto EΛ.
M. Ionescu Spectral Properties of PSDO
![Page 5: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/5.jpg)
The Szegö Theorem for the Sierpi«ski Gasket
Theorem (Okoudjou, Rogers, Strichartz, 2010)
Let f > 0 be a continuous function on X . Then
limΛ→∞
1
dΛlog detPΛ[f ]PΛ =
ˆX
log f (x)dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 6: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/6.jpg)
Main Theorem
Theorem (I., Okoudjou, Rogers, 2014)
Let p : X × (0,∞)→R be a bounded measurable function such
that p(·, λn) is continuous for all n ∈ N. Assume that
limn→∞ p(x , λn) = q(x) is uniform in x. Then, for any continuous
function F supported on [A,B], we have that
limΛ→∞
1
dΛTr F (PΛp(x ,−∆)PΛ) =
ˆX
F (q(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 7: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/7.jpg)
Spectrum of the Laplacian
Fact
The spectrum decomposes naturally into three sets called the
2-series, 5-series and 6-series eigenvalues.
Each eigenvalue has a generation of birth j .
2-series eigenfunctions have j = 1 and multiplicity 1.
Each j ∈ N occurs in the 5-series and the corresponding
eigenspace has multiplicity (3j−1 + 3)/2.
Each j ≥ 2 occurs in the 6-series with multiplicity (3j − 3)/2.
There are 5 and 6-series eigenfunctions that are localized.
M. Ionescu Spectral Properties of PSDO
![Page 8: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/8.jpg)
Pseudo-di�erential operators on the Sierpi«ski Gasket
De�nition
If p : (0,∞)→ C is measurable then
p(−∆)u =∑n
p(λn)〈u, ϕn〉ϕn
for u ∈ D gives a densely de�ned operator on L2(µ) called a
constant coe�cient pseudo-di�erential operator.
If p : X × (0,∞)→ C is measurable we de�ne a variable
coe�cient pseudo-di�erential operator p(x ,−∆) via
p(x ,−∆)u(x) =∑n
ˆX
p(x , λn)Pλn(x , y)u(y)dµ(y).
M. Ionescu Spectral Properties of PSDO
![Page 9: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/9.jpg)
Pseudo-di�erential operators on the Sierpi«ski Gasket
De�nition
If p : (0,∞)→ C is measurable then
p(−∆)u =∑n
p(λn)〈u, ϕn〉ϕn
for u ∈ D gives a densely de�ned operator on L2(µ) called a
constant coe�cient pseudo-di�erential operator.
If p : X × (0,∞)→ C is measurable we de�ne a variable
coe�cient pseudo-di�erential operator p(x ,−∆) via
p(x ,−∆)u(x) =∑n
ˆX
p(x , λn)Pλn(x , y)u(y)dµ(y).
M. Ionescu Spectral Properties of PSDO
![Page 10: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/10.jpg)
Pseudo-di�erential operators on the Sierpi«ski Gasket
De�nition
If p : (0,∞)→ C is measurable then
p(−∆)u =∑n
p(λn)〈u, ϕn〉ϕn
for u ∈ D gives a densely de�ned operator on L2(µ) called a
constant coe�cient pseudo-di�erential operator.
If p : X × (0,∞)→ C is measurable we de�ne a variable
coe�cient pseudo-di�erential operator p(x ,−∆) via
p(x ,−∆)u(x) =∑n
ˆX
p(x , λn)Pλn(x , y)u(y)dµ(y).
M. Ionescu Spectral Properties of PSDO
![Page 11: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/11.jpg)
Assumptions
Fact
We assume that p : X × (0,∞)→ R is measurable and that
p(·, λ) is continuous for all λ ∈ sp(−∆) and
limλ∈sp(−∆),λ→∞ p(x , λ) = q(x) uniformly in x.
M. Ionescu Spectral Properties of PSDO
![Page 12: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/12.jpg)
Some key lemmas
Theorem
The eigenvalues of PΛp(x ,−∆)PΛ are contained in a bounded
interval [A,B] for all Λ > 0.
Theorem
Let Λ > 0. Then the map on C [A,B] de�ned by
F 7→ 1
dΛTr F (PΛp(x ,−∆)PΛ)
is a continuous non-negative functional.
M. Ionescu Spectral Properties of PSDO
![Page 13: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/13.jpg)
Some key lemmas
Theorem
The eigenvalues of PΛp(x ,−∆)PΛ are contained in a bounded
interval [A,B] for all Λ > 0.
Theorem
Let Λ > 0. Then the map on C [A,B] de�ned by
F 7→ 1
dΛTr F (PΛp(x ,−∆)PΛ)
is a continuous non-negative functional.
M. Ionescu Spectral Properties of PSDO
![Page 14: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/14.jpg)
Single Eigenspace
Fact
If λ ∈ sp(−∆) then Γλ := Pλp(x ,−∆)Pλ is a dλ × dλ matrix with
entries
γλ(i , j) =
ˆp(x , λ)ui (x)uj(x)dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 15: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/15.jpg)
Single Eigenspace
Theorem
Let {λj} be an increasing sequence of 6- or 5-series eigenvalues
where λj has generation of birth j . Let N ≥ 1 be �xed, and
suppose f =∑3N
i=1 aiχCiis a simple function. Then for all k ≥ 0
limj→∞
Tr(Pj [f ]Pj)k
dj=
ˆf (x)kdµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 16: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/16.jpg)
Sketch of the Proof
Sketch of the proof.
The matrix Pj [f ]Pj has the following structure with respect to the
basis {um}djm=1: [
Rj 0
0 Nj
].
Moreover
Tr(Rj)k =
3N∑i=1
mNj a
ki = dNj
3N∑i=1
aki3N
= dNj
ˆf (x)kdµ(x)
and
|Tr(Nj)k | ≤ (αN)k‖f ‖k∞.
M. Ionescu Spectral Properties of PSDO
![Page 17: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/17.jpg)
Sketch of the Proof
Sketch of the proof.
The matrix Pj [f ]Pj has the following structure with respect to the
basis {um}djm=1: [
Rj 0
0 Nj
].
Moreover
Tr(Rj)k =
3N∑i=1
mNj a
ki = dNj
3N∑i=1
aki3N
= dNj
ˆf (x)kdµ(x)
and
|Tr(Nj)k | ≤ (αN)k‖f ‖k∞.
M. Ionescu Spectral Properties of PSDO
![Page 18: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/18.jpg)
Single Eigenspace
Theorem
Let {λj} be an increasing sequence of 6- or 5-series eigenvalues
where λj has generation of birth j . Then
limj→∞
1
djTr F (Pjp(x ,−∆)Pj) =
ˆX
F (q(x))dµ(x)
for any continuous F supported on [A,B].
M. Ionescu Spectral Properties of PSDO
![Page 19: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/19.jpg)
Sketch of the Proof
Sketch of the proof.
It su�ces to prove
limj→∞
1
djTr(Pjp(x ,−∆)Pj)
k =
ˆX
q(x)kdµ(x).
It su�ces to assume that p(x , λ) ≥ C > 0 for all (x , λ).Approximate p(x , λ) with a simple function fN such that
0 ≤ Pj [fN − δ]Pj ≤ Pjp(x ,−∆)Pj ≤ Pj [fN + δ]Pj .
Then ∣∣∣∣ 1dj Tr(Pjp(x ,−∆)Pj)k − 1
djTr(Pj [fN ]Pj)
k
∣∣∣∣ < ε.
M. Ionescu Spectral Properties of PSDO
![Page 20: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/20.jpg)
Sketch of the Proof
Sketch of the proof.
It su�ces to prove
limj→∞
1
djTr(Pjp(x ,−∆)Pj)
k =
ˆX
q(x)kdµ(x).
It su�ces to assume that p(x , λ) ≥ C > 0 for all (x , λ).
Approximate p(x , λ) with a simple function fN such that
0 ≤ Pj [fN − δ]Pj ≤ Pjp(x ,−∆)Pj ≤ Pj [fN + δ]Pj .
Then ∣∣∣∣ 1dj Tr(Pjp(x ,−∆)Pj)k − 1
djTr(Pj [fN ]Pj)
k
∣∣∣∣ < ε.
M. Ionescu Spectral Properties of PSDO
![Page 21: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/21.jpg)
Sketch of the Proof
Sketch of the proof.
It su�ces to prove
limj→∞
1
djTr(Pjp(x ,−∆)Pj)
k =
ˆX
q(x)kdµ(x).
It su�ces to assume that p(x , λ) ≥ C > 0 for all (x , λ).Approximate p(x , λ) with a simple function fN such that
0 ≤ Pj [fN − δ]Pj ≤ Pjp(x ,−∆)Pj ≤ Pj [fN + δ]Pj .
Then ∣∣∣∣ 1dj Tr(Pjp(x ,−∆)Pj)k − 1
djTr(Pj [fN ]Pj)
k
∣∣∣∣ < ε.
M. Ionescu Spectral Properties of PSDO
![Page 22: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/22.jpg)
Main Theorem
Theorem
Let p : X × (0,∞)→R be a bounded measurable function such
that p(·, λn) is continuous for all n ∈ N. Assume that
limn→∞ p(x , λn) = q(x) is uniform in x. Then, for any continuous
function F supported on [A,B], we have that
limΛ→∞
1
dΛTr F (PΛp(x ,−∆)PΛ) =
ˆX
F (q(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 23: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/23.jpg)
Sketch of the Proof
Sketch of the proof.
∣∣∣∣Tr(PΛp(x ,−∆)PΛ)k
dΛ−ˆ
q(x)kdµ(x)
∣∣∣∣≤∑
λ∈Γ̃J(Λ) |Tr(Pλp(x ,−∆)Pλ)k − dλ´q(x)kdµ(x)|
dΛ
+
∑λ∈ΓJ(Λ) |Tr(Pλp(x ,−∆)Pλ)k − dλ
´q(x)kdµ(x)|
dΛ.
M. Ionescu Spectral Properties of PSDO
![Page 24: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/24.jpg)
Examples
Examples
1 If p : (0,∞)→ R is a bounded measurable map such that
limj→∞ p(λj) = q, then for any continuous F supported on
[−‖p(−∆)‖, ‖p(−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(−∆)PΛ) = F (q).
2 Riesz and Bessel Potentials: If p(λ) = 1 + λ−β or
p(λ) = 1 + (1 + λ)−β , λ > 0, β > 0, then
limΛ→∞
Tr F (PΛp(−∆)PΛ)
dΛ= F (1).
M. Ionescu Spectral Properties of PSDO
![Page 25: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/25.jpg)
Examples
Examples
1 If p : (0,∞)→ R is a bounded measurable map such that
limj→∞ p(λj) = q, then for any continuous F supported on
[−‖p(−∆)‖, ‖p(−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(−∆)PΛ) = F (q).
2 Riesz and Bessel Potentials: If p(λ) = 1 + λ−β or
p(λ) = 1 + (1 + λ)−β , λ > 0, β > 0, then
limΛ→∞
Tr F (PΛp(−∆)PΛ)
dΛ= F (1).
M. Ionescu Spectral Properties of PSDO
![Page 26: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/26.jpg)
Examples
Examples
1 If p : (0,∞)→ R is a bounded measurable map such that
limj→∞ p(λj) = q, then for any continuous F supported on
[−‖p(−∆)‖, ‖p(−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(−∆)PΛ) = F (q).
2 Riesz and Bessel Potentials: If p(λ) = 1 + λ−β or
p(λ) = 1 + (1 + λ)−β , λ > 0, β > 0, then
limΛ→∞
Tr F (PΛp(−∆)PΛ)
dΛ= F (1).
M. Ionescu Spectral Properties of PSDO
![Page 27: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/27.jpg)
Example
Examples
1 If p is a 0-symbol, then for any continuous F supported on
[−‖p(x ,−∆)‖, ‖p(x ,−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(x ,−∆)PΛ) =
ˆX
F (q(x))dµ(x).
2 If p(x , λ) = f (x), then for any continuous F supported on
[−‖[f ]‖, ‖[f ]‖] we have
limΛ→∞
1
dΛTr F (PΛ[f ]PΛ) =
ˆX
F (f (x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 28: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/28.jpg)
Example
Examples
1 If p is a 0-symbol, then for any continuous F supported on
[−‖p(x ,−∆)‖, ‖p(x ,−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(x ,−∆)PΛ) =
ˆX
F (q(x))dµ(x).
2 If p(x , λ) = f (x), then for any continuous F supported on
[−‖[f ]‖, ‖[f ]‖] we have
limΛ→∞
1
dΛTr F (PΛ[f ]PΛ) =
ˆX
F (f (x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 29: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/29.jpg)
Example
Examples
1 If p is a 0-symbol, then for any continuous F supported on
[−‖p(x ,−∆)‖, ‖p(x ,−∆)‖] we have
limΛ→∞
1
dΛTr F (PΛp(x ,−∆)PΛ) =
ˆX
F (q(x))dµ(x).
2 If p(x , λ) = f (x), then for any continuous F supported on
[−‖[f ]‖, ‖[f ]‖] we have
limΛ→∞
1
dΛTr F (PΛ[f ]PΛ) =
ˆX
F (f (x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 30: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/30.jpg)
Example: General Schrödinger operators
De�nition
Let p : (0,∞)→ R be a measurable function and let χ be a
real-valued bounded measurable function on X . We call the
operator H = p(−∆) + [χ] a generalized Schrödinger operator with
potential χ.
M. Ionescu Spectral Properties of PSDO
![Page 31: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/31.jpg)
General Schrödinger operators
Example
Assume that that limλ→∞ p(λ) = l exists and χ is a continuous
function on X . Let F be a continuous function supported on
[−‖H‖, ‖H‖]. Then, if {λj}j≥1 is an increasing sequence of 6-series
or, respectively, 5-series eigenvalues, we have that
limj→∞
Tr F (PjHPj)
dj=
ˆF (l + χ(x))dµ(x).
Hence
limΛ→∞
Tr F (PΛHPΛ)
dΛ=
ˆF (l + χ(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 32: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/32.jpg)
General Schrödinger operators
Example
Assume that that limλ→∞ p(λ) = l exists and χ is a continuous
function on X . Let F be a continuous function supported on
[−‖H‖, ‖H‖]. Then, if {λj}j≥1 is an increasing sequence of 6-series
or, respectively, 5-series eigenvalues, we have that
limj→∞
Tr F (PjHPj)
dj=
ˆF (l + χ(x))dµ(x).
Hence
limΛ→∞
Tr F (PΛHPΛ)
dΛ=
ˆF (l + χ(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 33: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/33.jpg)
Non-uniform limit
Theorem
Let {λj}j∈N be an increasing sequence of 6- or 5-series eigenvalues
such that λj has generation of birth j , for all j ≥ 1. Assume that
limj→∞
p(x , λj) = q(x) for all x ∈ X .
Suppose that p(·, λj) ∈ Dom(∆) for all j ∈ N and that both
p(·, λj) and ∆xp(·, λj) are bounded uniformly in j . Then there is a
subsequence {λkj} of {λj} such that
limj→∞
1
dkjF (Pkjp(x ,−∆)Pkj ) =
ˆX
F (q(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 34: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/34.jpg)
Application: Asymptotics of eigenvalue clusters for generalSchrödinger operators
Let H = p(−∆) + [χ] be a Schrödinger operator, where
p : (0,∞)→ R is a continuous function, such that there is
λ > 0 so that p is increasing on [λ,∞) and
|p(λ)− p(λ′)| ≥ c |λ− λ′|β
for all λ, λ′ ≥ λ, and χ is a continuous function on X .
Let {λj} be a sequence of 6-series eigenvalues of −∆ such
that the separation between λj and the next higher and lower
eigenvalues of −∆ grows exponentially in j .
M. Ionescu Spectral Properties of PSDO
![Page 35: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/35.jpg)
Application: Asymptotics of eigenvalue clusters for generalSchrödinger operators
Let H = p(−∆) + [χ] be a Schrödinger operator, where
p : (0,∞)→ R is a continuous function, such that there is
λ > 0 so that p is increasing on [λ,∞) and
|p(λ)− p(λ′)| ≥ c |λ− λ′|β
for all λ, λ′ ≥ λ, and χ is a continuous function on X .
Let {λj} be a sequence of 6-series eigenvalues of −∆ such
that the separation between λj and the next higher and lower
eigenvalues of −∆ grows exponentially in j .
M. Ionescu Spectral Properties of PSDO
![Page 36: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/36.jpg)
Schrödinger operators (cont'd)
Fact
Let Λ̃j be the portion of the spectrum of H lying in
[p(λj) + minχ, p(λj) + maxχ].
For large j , Λ̃j contains exactly dj eigenvalues {ν ji }dji=1.
We call this the p(λj) cluster of the eigenvalues of H.
The characteristic measure of the p(λj) cluster of H is
Ψj(λ) =1
dj
dj∑i=1
δ(λ− (ν ji − p(λj)).
M. Ionescu Spectral Properties of PSDO
![Page 37: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/37.jpg)
Schrödinger operators (cont'd)
Fact
Let Λ̃j be the portion of the spectrum of H lying in
[p(λj) + minχ, p(λj) + maxχ].
For large j , Λ̃j contains exactly dj eigenvalues {ν ji }dji=1.
We call this the p(λj) cluster of the eigenvalues of H.
The characteristic measure of the p(λj) cluster of H is
Ψj(λ) =1
dj
dj∑i=1
δ(λ− (ν ji − p(λj)).
M. Ionescu Spectral Properties of PSDO
![Page 38: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/38.jpg)
Schrödinger operators (cont'd)
Fact
Let Λ̃j be the portion of the spectrum of H lying in
[p(λj) + minχ, p(λj) + maxχ].
For large j , Λ̃j contains exactly dj eigenvalues {ν ji }dji=1.
We call this the p(λj) cluster of the eigenvalues of H.
The characteristic measure of the p(λj) cluster of H is
Ψj(λ) =1
dj
dj∑i=1
δ(λ− (ν ji − p(λj)).
M. Ionescu Spectral Properties of PSDO
![Page 39: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/39.jpg)
Schrödinger operators (cont'd)
Fact
Let Λ̃j be the portion of the spectrum of H lying in
[p(λj) + minχ, p(λj) + maxχ].
For large j , Λ̃j contains exactly dj eigenvalues {ν ji }dji=1.
We call this the p(λj) cluster of the eigenvalues of H.
The characteristic measure of the p(λj) cluster of H is
Ψj(λ) =1
dj
dj∑i=1
δ(λ− (ν ji − p(λj)).
M. Ionescu Spectral Properties of PSDO
![Page 40: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/40.jpg)
Schrödinger operators (cont'd)
Fact
Let Λ̃j be the portion of the spectrum of H lying in
[p(λj) + minχ, p(λj) + maxχ].
For large j , Λ̃j contains exactly dj eigenvalues {ν ji }dji=1.
We call this the p(λj) cluster of the eigenvalues of H.
The characteristic measure of the p(λj) cluster of H is
Ψj(λ) =1
dj
dj∑i=1
δ(λ− (ν ji − p(λj)).
M. Ionescu Spectral Properties of PSDO
![Page 41: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/41.jpg)
Schrödinger operators (cont'd)
Theorem
The sequence {Ψj}j≥1 converges weakly to the pullback of the
measure µ under χ de�ned for all continuous functions f supported
on [minχ,maxχ] by
〈Ψ0, f 〉 =
ˆX
f (χ(x))dµ(x).
M. Ionescu Spectral Properties of PSDO
![Page 42: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/42.jpg)
Sketch of the Proof: some lemmas
Theorem
If p : (0,∞)→ C is continuous then sp p(−∆) = p(sp(−∆)).
Theorem
Let p : (0,∞)→ R be a continuous function such that there is
A ∈ R with p(λ) ≥ A for all λ ≥ λ1, where λ1 is the smallest
positive eigenvalue of −∆. For i = 1, 2, let χi be real-valued
bounded measurable functions on X . Let Hi = p(−∆) + [χi ]denote the corresponding generalized Schrödinger operators. For
n ≥ 1, the nth eigenvalues ν in of Hi , i = 1, 2, satisfy the following
inequality:
|ν1n − ν2n | ≤ ‖χ1 − χ2‖L∞ .
M. Ionescu Spectral Properties of PSDO
![Page 43: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/43.jpg)
Sketch of the Proof: some lemmas
Theorem
If p : (0,∞)→ C is continuous then sp p(−∆) = p(sp(−∆)).
Theorem
Let p : (0,∞)→ R be a continuous function such that there is
A ∈ R with p(λ) ≥ A for all λ ≥ λ1, where λ1 is the smallest
positive eigenvalue of −∆. For i = 1, 2, let χi be real-valued
bounded measurable functions on X . Let Hi = p(−∆) + [χi ]denote the corresponding generalized Schrödinger operators. For
n ≥ 1, the nth eigenvalues ν in of Hi , i = 1, 2, satisfy the following
inequality:
|ν1n − ν2n | ≤ ‖χ1 − χ2‖L∞ .
M. Ionescu Spectral Properties of PSDO
![Page 44: Some Spectral Properties of Pseudo-Di erential Operators ...pi.math.cornell.edu/~fractals/5/ionescu.pdf · Joint with Kasso Okoudjou and Luke G. Rogers U.S. Naval Academy 5th Cornell](https://reader034.vdocument.in/reader034/viewer/2022051921/600eb5bbe9313c4c9e42499a/html5/thumbnails/44.jpg)
Another lemma
Theorem
Assume that N > 0 and that χN =∑N
i=1 aiχCiis a simple
function. Let HN = p(−∆) + [χN ] be the corresponding
generalized Schrödinger operator, Λ̃Nj the p(λj) cluster of HN , and
let PN
j be the spectral projection for HN associated with the p(λj)cluster. Then
limj→∞
Tr(PN
j (p(−∆) + [χN ]− p(λj))PN
j
)kdj
= limj→∞
Tr(Pj [χN ]Pj)k
dj
=
ˆX
χN(x)kdµ(x),
for all k ≥ 0.
M. Ionescu Spectral Properties of PSDO