SCATTERING ALONG A CURVE IN THE PLAIN J. DITTRICH NUCLEAR PHYSICS - - PowerPoint PPT Presentation

SCATTERING ALONG A CURVE IN THE PLAIN

• J. DITTRICH

NUCLEAR PHYSICS INSTITUTE CAS, ˇ REˇ Z, CZECH REPUBLIC

Physical motivation Nanochannels in some solids - effectively 1-D motion

• f electrons

Simplified mathematical models in the plane

1/18

d > 0 d = 0 δΓ in R2 quantum quantum leaky quantum waveguide graph graph

2/18

• J. F. Brasche, P. Exner, Yu. A. Kuperin and P. ˇ

Seba, Schr¨

• dinger
• perators with singular interactions, J. Math. Anal. Appl.

184 (1994) 112–139.

• P. Exner and T. Ichinose, Geometrically induced spectrum in

curved leaky wires, J. Phys. A: Math. Gen. 34 (2001) 1439– 1450.

• P. Exner, S. Kondej: Scattering by local deformations of a

straight leaky wire, J. Phys. A: Math. Gen. 38 (2005), 4865– 4874.

• P. Exner: Leaky quantum graphs: a review, in: Proc. Sympos.

Pure Math., 77 (2008), 523–564. [arXiv: 0710.5903 [math-ph]]

3/18

Present talk based on

• J. Dittrich: Scattering of particles bounded to infinite planar

curve, arXive: 1912.03958 [math-ph] We consider formal Hamiltonian H = −∆ − αδΓ , α > 0 in L2(R2) precisely defined as the self-adjoint operator associated with the sesquilinear form q(f, g) = (∇f, ∇g) − α ∫

R

f(Γ(s))g(Γ(s)) ds D(q) = H1(R2)

4/18

✘ ✛ ✚ ✙ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ✔ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚ ❚

Exner present excluded Kondej (2005) work case

5/18

Assumptions on the curve Γ : R → R2 , Γ ∈ C3, |Γ′(s)| = 1 for s ∈ R Curvature K = Γ′

1Γ′′ 2 − Γ′ 2Γ′′ 1

, lim

s→∞ K(s) = 0

, lim

s→∞ K′(s) = 0

There exists ρ ∈ (0, 1] such that for every s, t ∈ R ρ|s − t| ≤ |Γ(s) − Γ(t)| ≤ |s − t|

6/18

Let us write Γ(s) = a± + v±s + ν±(s) , a−, a+, v−, v+ ∈ R2 |v−| = |v+| = 1 , v+ ̸= −v− ϕ−(s) = sup

t≤s

|ν′

−(t)|

, ϕ+(s) = sup

t≥s

|ν′

+(t)|

There exist R > 0 and δ > 3 such that ∫ −R

−∞

(1+s2)δ |ϕ−(s)|2 ds < ∞ , ∫ ∞

R

(1+s2)δ |ϕ+(s)|2 ds < ∞ i.e. ϕ− ∈ L2

δ((−∞, −R))

, ϕ+ ∈ L2

δ((R, ∞))

Then we can choose lim

s→±∞ ν±(s) = 0

7/18

Example: |ν±(s)| < c|s|−n , |ν′

±(s)| < c|s|−n−1

, n > 5 2 lim

s→±∞ ν′′ ±(s) = 0

, lim

s→±∞ ν′′′ ±(s) = 0

8/18

Theorem 1. There exists at most discrete subset E of open interval (−α2

4 , 0) such that

σess(H) = [0, +∞) , ( −α2 4 , 0 ) ∩ σpp(H) = E , ( −α2 4 , 0 ) ⊂ σac(H) , ( −α2 4 , 0 ) ∩ σsc(H) = ∅ .

• Proof. Based on the limiting absorbtion principle, inspired

by the proof of Agmon-Kato-Kuroda theorem for the standard Schr¨

• dinger operators, technical and long.

9/18

Scattering - Wave Operators Transversally bounded particles, energy in (−α2

4 , 0)

Asymptotic lines and free Hamiltonians Γ±(s) = a± + v±s H(±) = −∆ − αδΓ±

in

• ut

in

• ut

(-) 10/18

Wave operators Ω(+)

in = s −

lim

t→−∞ eiHtP (+) < e−iH(+)tJ(+)

Ω(+)

• ut = s −

lim

t→+∞ eiHtP (+) > e−iH(+)tJ(+)

Ω(−)

in = s −

lim

t→−∞ eiHtP (−) > e−iH(−)tJ(−)

Ω(−)

• ut = s −

lim

t→+∞ eiHtP (−) < e−iH(−)tJ(−)

where J(±) is the spectral projector of H(±) corresponding to the interval (−α2

4 , 0) (spectrum is absolutely continuous)

11/18

P (±)

≷

is the spectral projector of the momentum −iv± · ∇ in the direction of the asymptotic line corresponding to the inter- val (0, +∞) resp. (−∞, 0) These spectral projectors can be explicitly constructed, e.g. for v+ = (1, 0) P (+)

> J(+) = F−1 1 χ(0,α/2)F1⊗ϕ0(ϕ0, ·)2

, ϕ0(y) = √α 2e−α

2|y|

• D. W. Fox, Spectral measures and separation of variables, J.
• f Research of the National Bureau of Standards - B. Mathe-

matical Sciences 80 (1976) 347–351.

12/18

• Definition. Let B be a self-adjoint operator in a separable

Hilbert space H and Eλ its spectral projectors. We denote as M(B) the set of all ϕ ∈ H such that d(ϕ, Eλϕ) = |f(λ)|2dλ with f ∈ L∞(R). Theorem 2 (Generalized Kuroda-Birman). Let A and B be self-adjoint operators in a separable Hilbert space H, K a bounded operator in H, z a complex number in the resolvent sets of both A and B, K(B − z)−1 − (A − z)−1K = C1 + C2 where C1 ∈ J1(H) is a trace class operator and C2 is a bounded operator in H. Let there further exists a dense set

13/18

M ⊂ M(B) such that lim

t→+∞ C2e−iBtϕ = 0

, ∫ +∞ ∥C2e−iBtϕ∥ dt < ∞ for every ϕ ∈ M. Then there exists Ωout(A, B; K) = s − lim

t→+∞ eiAtKe−iBtPac(B)

.

• Proof. Amendments in the textbook proofs of Pearson and

Kuroda-Birman theorems. Theorem 3. The wave operators Ω(+)

in , Ω(+)

• ut, Ω(−)

in , Ω(−)

• ut

exist. Proof for Ω(+)

• ut, others by symmetry, v+ = (1, 0).

1) Use known formula for the resolvent of H, show that it is expressible through integral operators, kernels given by Mac- donald function K0 or bounded by such expressions.

14/18

2) Remember H(+) = −∂2

x ⊗ I2 + I1 ⊗ H2,α

, H2,α = −∂2

y − αδ

choose κ > 0 large enough M1 = F−1

1 C∞ 0 ((−∞, 0) ∪ (0, α

2) ∪ (α 2, +∞)) , M2 = M(H2,α) , M = {M1 × M2}lin C1 = ( (H(+) − iκ)−1 − (H − iκ)−1) θ(x)P (+)

> J(+)

C2 = ( (H(+) − iκ)−1 − (H − iκ)−1) θ(−x)P (+)

> J(+)

3) Verify the assumptions of generalized Kuroda-Birman theo- rem with A = H, B=H(+), K = P (+)

> J(+).

C1 ∈ J1 ⇐ ⇒ sup

{ϕn},{ψn}

(∑

n

|(ϕn, C1ψn)| ) < ∞

15/18

C1 = D1 + similar terms D1 an integral operator with kernel of the form ∫

R

A(x, s)B(s, y) ds , x, y ∈ R2 Then ∑

n

|(ϕn, D1ψn)| ≤ ∫

R

∑

n

|(ϕn, A(·, s))||(B(s, ·), ψn)| ds ≤ ∫

R

[∑

n

|(ϕn, A(·, s))|2 ]1/2 [∑

n

|(ψn, B(s, ·))|2 ]1/2 ds ≤ ∫

R

[∫

R2 |A(x, s)|2 dx

]1/2 [∫

R2 |B(s, y)|2 dy

]1/2 ds Convergence of this integral can be proved.

16/18

Conclusions The interval ( −α2

4 , 0

) belongs to the absolutely continuous spectrum of the considered Hamiltonian, with possible at most discrete set E of embedded eigenvalues. The accumulation of the eigenvalues at −α2

4 and 0 is not ex-

cluded by our proof. Wave operators Ω(±)

in,out := Ωin,out(H, H(±); P (±) ≷ J(±))

for the energy range (−α2

4 , 0) exist.

17/18

However, we know nothing on the wave operators of the type Ωin,out(H(±), H) . This means that our wave operators map each scattering state

• f the ”free” Hamiltonians H(±) (incoming or outgoing along

the asymptotic half-lines) to the one of H but we did not prove that all scattering states of H are covered and the opposite map- pings exist. In other words, completeness of the wave operators is not proved. The absence of singular continuous spectrum means that if the wave operators would be complete they would be also asymp- totically complete.

18/18