quantum graphs and their applications - npi rezgemma.ujf.cas.cz/~exner/talks/gregynog07p.pdfquantum...
TRANSCRIPT
![Page 1: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/1.jpg)
Quantum graphs and theirapplications
Part II, following lectures by Peter Kuchment
Pavel Exner
Doppler Institute
for Mathematical Physics and Applied Mathematics
Prague
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 1/87
![Page 2: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/2.jpg)
Overview of Part II
After you learned how metric graphs are used to modelphysical systems and what are their properties, we will lookinto a justification of the model and a modification of it.
Lecture IVOur subject today is the meaning of the vertex coupling,i.e. ways in which one can understand the parametersin the boundary conditions. We will approach theproblem by approximating a quantum graph by a familyof systems with well defined properties
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 2/87
![Page 3: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/3.jpg)
Overview of Part II
After you learned how metric graphs are used to modelphysical systems and what are their properties, we will lookinto a justification of the model and a modification of it.
Lecture IVOur subject today is the meaning of the vertex coupling,i.e. ways in which one can understand the parametersin the boundary conditions. We will approach theproblem by approximating a quantum graph by a familyof systems with well defined properties
Lecture VThe assumption that a quantum particle is strictlyconfined to a graph is an idealization. Tomorrow wewill discuss the concept of a leaky graph a show someproperties of such systems
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 2/87
![Page 4: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/4.jpg)
A recollectionOur basic model describes a non-relativistic quantumconfined to a graph
&%'$
��
@@@�
��
��q q q q Hamiltonian: − ∂2
∂x2
j+ v(xj)
on graph edges,boundary conditions at vertices
which represents locally a one-dimensional Sturm-Liouvilleproblem. It is the boundary conditions through which thegraph topology – and its spectral consequences mentionedin the previous lectures – come into play
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 3/87
![Page 5: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/5.jpg)
A recollectionOur basic model describes a non-relativistic quantumconfined to a graph
&%'$
��
@@@�
��
��q q q q Hamiltonian: − ∂2
∂x2
j+ v(xj)
on graph edges,boundary conditions at vertices
which represents locally a one-dimensional Sturm-Liouvilleproblem. It is the boundary conditions through which thegraph topology – and its spectral consequences mentionedin the previous lectures – come into playThe same is true for other graph models, e.g. Diracoperators on graphs, generalized graphs whose “edges”are manifold of different dimensions, etc. We will notdiscuss them in this lecture
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 3/87
![Page 6: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/6.jpg)
Wavefunction coupling at vertices
��
�
HHHH
��
���
�����
@@
@ qThe most simple example is astar graph with the state Hilbertspace H =
⊕nj=1 L
2(R+) andthe particle Hamiltonian actingon H as ψj 7→ −ψ′′
j
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 4/87
![Page 7: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/7.jpg)
Wavefunction coupling at vertices
��
�
HHHH
��
���
�����
@@
@ qThe most simple example is astar graph with the state Hilbertspace H =
⊕nj=1 L
2(R+) andthe particle Hamiltonian actingon H as ψj 7→ −ψ′′
j
Since it is second-order, the boundary condition involveΨ(0) := {ψj(0)} and Ψ′(0) := {ψ′
j(0)} being of the form
AΨ(0) +BΨ′(0) = 0 ;
by [Kostrykin-Schrader’99] the n× n matrices A,B give riseto a self-adjoint operator if they satisfy the conditions
rank (A,B) = n
AB∗ is self-adjointLMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 4/87
![Page 8: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/8.jpg)
Unique boundary conditionsThe non-uniqueness of the above b.c. can be removed:Proposition [Harmer’00, K-S’00]: Vertex couplings areuniquely characterized by unitary n×n matrices U such that
A = U − I , B = i(U + I)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 5/87
![Page 9: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/9.jpg)
Unique boundary conditionsThe non-uniqueness of the above b.c. can be removed:Proposition [Harmer’00, K-S’00]: Vertex couplings areuniquely characterized by unitary n×n matrices U such that
A = U − I , B = i(U + I)
One can derive them modifying the argument used in[Fülöp-Tsutsui’00] for generalized point interactions, n = 2
Self-adjointness requires vanishing of the boundary form,n∑
j=1
(ψjψ′j − ψ′
jψj)(0) = 0 ,
which occurs iff the norms ‖Ψ(0)± iℓΨ′(0)‖Cn with a fixedℓ 6= 0 coincide, so the vectors must be related by an n× nunitary matrix; this gives (U − I)Ψ(0) + iℓ(U + I)Ψ′(0) = 0
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 5/87
![Page 10: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/10.jpg)
Examples of vertex coupling
Let J be the n× n matrix with all entries one; thenU = 2
n+iαJ − I corresponds to the standard δ coupling,
ψj(0) = ψk(0) =: ψ(0) , j, k = 1, . . . , n ,n∑
j=1
ψ′
j(0) = αψ(0)
with “coupling strength” α ∈ R; α =∞ gives U = −I.The only case with vertex continuity [E-Šeba’89]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 6/87
![Page 11: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/11.jpg)
Examples of vertex coupling
Let J be the n× n matrix with all entries one; thenU = 2
n+iαJ − I corresponds to the standard δ coupling,
ψj(0) = ψk(0) =: ψ(0) , j, k = 1, . . . , n ,n∑
j=1
ψ′
j(0) = αψ(0)
with “coupling strength” α ∈ R; α =∞ gives U = −I.The only case with vertex continuity [E-Šeba’89]
α = 0 corresponds to the “free motion”, the so-calledfree boundary conditions (better name than Kirchhoff)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 6/87
![Page 12: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/12.jpg)
Examples of vertex coupling
Let J be the n× n matrix with all entries one; thenU = 2
n+iαJ − I corresponds to the standard δ coupling,
ψj(0) = ψk(0) =: ψ(0) , j, k = 1, . . . , n ,n∑
j=1
ψ′
j(0) = αψ(0)
with “coupling strength” α ∈ R; α =∞ gives U = −I.The only case with vertex continuity [E-Šeba’89]
α = 0 corresponds to the “free motion”, the so-calledfree boundary conditions (better name than Kirchhoff)
Similarly, U = I − 2n−iβJ describes the δ′s coupling
ψ′
j(0) = ψ′
k(0) =: ψ′(0) , j, k = 1, . . . , n ,n∑
j=1
ψj(0) = βψ′(0)
with β ∈ R; for β =∞ we get Neumann decoupling
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 6/87
![Page 13: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/13.jpg)
Further examplesAnother generalization of 1D δ′ is the δ′ coupling:
n∑
j=1
ψ′
j(0) = 0 , ψj(0)−ψk(0) =β
n(ψ′
j(0)−ψ′
k(0)) , 1 ≤ j, k ≤ n
with β ∈ R and U = n−iαn+iαI − 2
n+iαJ ; the infinite value ofβ refers again to Neumann decoupling of the edges
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 7/87
![Page 14: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/14.jpg)
Further examplesAnother generalization of 1D δ′ is the δ′ coupling:
n∑
j=1
ψ′
j(0) = 0 , ψj(0)−ψk(0) =β
n(ψ′
j(0)−ψ′
k(0)) , 1 ≤ j, k ≤ n
with β ∈ R and U = n−iαn+iαI − 2
n+iαJ ; the infinite value ofβ refers again to Neumann decoupling of the edges
Due to permutation symmetry the U ’s are combinationsof I and J in the examples. In general, interactions withthis property form a two-parameter family described byU = uI + vJ s.t. |u| = 1 and |u+ nv| = 1 giving the b.c.
(u− 1)(ψj(0)− ψk(0)) + i(u− 1)(ψ′
j(0)− ψ′
k(0)) = 0
(u− 1 + nv)n∑
k=1
ψk(0) + i(u− 1 + nv)n∑
k=1
ψ′
k(0) = 0
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 7/87
![Page 15: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/15.jpg)
Why are vertices interesting?
Apart of the general mathematical motivation mentionedabove, there are various specific reasons, e.g.
A nontrivial vertex coupling can lead to numbertheoretic properties of graph spectrum; I will showa simple example below
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 8/87
![Page 16: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/16.jpg)
Why are vertices interesting?
Apart of the general mathematical motivation mentionedabove, there are various specific reasons, e.g.
A nontrivial vertex coupling can lead to numbertheoretic properties of graph spectrum; I will showa simple example below
On the practical side, the conductivity of graphnanostructures is controlled typically by externalfields, vertex coupling can serve the same purpose
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 8/87
![Page 17: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/17.jpg)
Why are vertices interesting?
Apart of the general mathematical motivation mentionedabove, there are various specific reasons, e.g.
A nontrivial vertex coupling can lead to numbertheoretic properties of graph spectrum; I will showa simple example below
On the practical side, the conductivity of graphnanostructures is controlled typically by externalfields, vertex coupling can serve the same purpose
In particular, the generalized point interactionhas been proposed as a way to realize a qubit[Cheon-Tsutsui-Fülöp’04]; vertices with n > 2 cansimilarly model qudits
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 8/87
![Page 18: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/18.jpg)
An example: a rectangular lattice graph
Basic cell is a rectangle of sides ℓ1, ℓ2, the δ coupling withparameter α is assumed at every vertex
x
y
gn
gn+1
fm+1
fm
l 2
1l
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 9/87
![Page 19: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/19.jpg)
An example: a rectangular lattice graph
Basic cell is a rectangle of sides ℓ1, ℓ2, the δ coupling withparameter α is assumed at every vertex
x
y
gn
gn+1
fm+1
fm
l 2
1l
Spectral condition for quasimomentum (θ1, θ2) reads
2∑
j=1
cos θjℓj − cos kℓjsin kℓj
=α
2k
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 9/87
![Page 20: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/20.jpg)
Lattice band spectrumRecall a continued-fraction classification, α = [a0, a1, . . .]:
“good” irrationals have lim supj aj =∞(and full Lebesgue measure)“bad” irrationals have lim supj aj <∞(and limj aj 6= 0, of course)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 10/87
![Page 21: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/21.jpg)
Lattice band spectrumRecall a continued-fraction classification, α = [a0, a1, . . .]:
“good” irrationals have lim supj aj =∞(and full Lebesgue measure)“bad” irrationals have lim supj aj <∞(and limj aj 6= 0, of course)
Theorem [E’95]: Call θ := ℓ2/ℓ1 and L := max{ℓ1, ℓ2}.(a) If θ is rational or “good” irrational, there are infinitelymany gaps for any nonzero α(b) For a “bad” irrational θ there is α0 > 0 such no gapsopen above threshold for |α| < α0
(c) There are infinitely many gaps if |α|L > π2
√5
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 10/87
![Page 22: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/22.jpg)
Lattice band spectrumRecall a continued-fraction classification, α = [a0, a1, . . .]:
“good” irrationals have lim supj aj =∞(and full Lebesgue measure)“bad” irrationals have lim supj aj <∞(and limj aj 6= 0, of course)
Theorem [E’95]: Call θ := ℓ2/ℓ1 and L := max{ℓ1, ℓ2}.(a) If θ is rational or “good” irrational, there are infinitelymany gaps for any nonzero α(b) For a “bad” irrational θ there is α0 > 0 such no gapsopen above threshold for |α| < α0
(c) There are infinitely many gaps if |α|L > π2
√5
This illustrates why it is desirable to understand vertexcouplings. This will be our main task in this lecture
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 10/87
![Page 23: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/23.jpg)
Some references
[CFT’04] T. Cheon, T. Fülöp, I. Tsutsui: Quantum abacus, Phys. Lett. A330 (2004),338-342
[E’95] P.E.: Lattice Kronig–Penney models, Phys. Rev. Lett. 75 (1995), 3503-3506
[EŠ’89] P. Exner, P. Šeba: Free quantum motion on a branching graph, Rep. Math. Phys.28 (1989), 7-26
[FT’00] T. Fülöp, I. Tsutsui: A free particle on a circle with point interaction, Phys. Lett.A264 (2000), 366–374
[Ha’00] M. Harmer: Hermitian symplectic geometry and extension theory, J. Phys. A: Math.Gen. 33 (2000), 9193-9203
[KS’99] V. Kostrykin, R. Schrader: Kirchhoff’s rule for quantum wires, J. Phys. A: Math.Gen. 32 (1999), 595-630
[KS’00] V. Kostrykin, R. Schrader: Kirchhoff’s rule for quantum wires. II: The inverseproblem with possible applications to quantum computers, Fortschr. Phys. 48 (2000),703-716
[Ku’04] P. Kuchment: Quantum graphs: I. Some basic structures, Waves in Random Media14 (2004), S107-S128
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 11/87
![Page 24: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/24.jpg)
A head-on approachTake a more realistic situation with no ambiguity, suchas branching tubes and analyze the squeezing limit :
@@
@@
��
��
@@
��r−→
Unfortunately, it is not so simple as it looks because
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 12/87
![Page 25: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/25.jpg)
A head-on approachTake a more realistic situation with no ambiguity, suchas branching tubes and analyze the squeezing limit :
@@
@@
��
��
@@
��r−→
Unfortunately, it is not so simple as it looks because
after a long effort the Neumann-like case was solved[Freidlin-Wentzell’93], [Freidlin’96], [Saito’01],[Kuchment-Zeng’01], [Rubinstein-Schatzmann’01],[E.-Post’05], [Post’06] giving free b.c. only
there is a recent progress in Dirichlet case [Post’05],[Molchanov-Vainberg’06], [Grieser’07]?, but the fullunderstanding has not yet been achieved here
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 12/87
![Page 26: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/26.jpg)
More on the Dirichlet case
Generically it is expected that that the limit with theenergy around the threshold gives Dirichlet decoupling,but there may be exceptional cases
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 13/87
![Page 27: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/27.jpg)
More on the Dirichlet case
Generically it is expected that that the limit with theenergy around the threshold gives Dirichlet decoupling,but there may be exceptional cases
if the vertex regions squeeze faster than the “tubes”one gets Dirichlet decoupling [Post’05]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 13/87
![Page 28: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/28.jpg)
More on the Dirichlet case
Generically it is expected that that the limit with theenergy around the threshold gives Dirichlet decoupling,but there may be exceptional cases
if the vertex regions squeeze faster than the “tubes”one gets Dirichlet decoupling [Post’05]
on the other hand, if you blow up the spectrum for afixed point separated from thresholds, i.e.
r r r���� r
0 λ1 λ λ2
one gets a nontrivial limit with b.c. fixed by scatteringon the “fat star” [Molchanov-Vainberg’06]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 13/87
![Page 29: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/29.jpg)
The Neumann-like case
The simplest situation in [KZ’01, EP’05] (weights left out)
Let M0 be a finite connected graph with vertices vk, k ∈ Kand edges ej ≃ Ij := [0, ℓj ], j ∈ J ; the state Hilbert space is
L2(M0) :=⊕
j∈J
L2(Ij)
and in a similar way Sobolev spaces on M0 are introduced
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 14/87
![Page 30: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/30.jpg)
The Neumann-like case
The simplest situation in [KZ’01, EP’05] (weights left out)
Let M0 be a finite connected graph with vertices vk, k ∈ Kand edges ej ≃ Ij := [0, ℓj ], j ∈ J ; the state Hilbert space is
L2(M0) :=⊕
j∈J
L2(Ij)
and in a similar way Sobolev spaces on M0 are introduced
The form u 7→ ‖u′‖2M0:=∑
j∈J ‖u′‖2Ijwith u ∈ H1(M0) is
associated with the operator which acts as −∆M0u = −u′′j
and satisfies free b.c.,∑
j, ej meets vk
u′j(vk) = 0
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 14/87
![Page 31: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/31.jpg)
On the other hand, Laplacian on manifoldsConsider a Riemannian manifold X of dimension d ≥ 2 andthe corresponding space L2(X) w.r.t. volume dX equal to(det g)1/2dx in a fixed chart. For u ∈ C∞
comp(X) we set
qX(u) := ‖du‖2X =
∫
X|du|2dX , |du|2 =
∑
i,j
gij∂iu ∂ju
The closure of this form is associated with the s-a operator−∆X which acts in fixed chart coordinates as
−∆Xu = −(det g)−1/2∑
i,j
∂i((det g)1/2gij ∂ju)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 15/87
![Page 32: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/32.jpg)
On the other hand, Laplacian on manifoldsConsider a Riemannian manifold X of dimension d ≥ 2 andthe corresponding space L2(X) w.r.t. volume dX equal to(det g)1/2dx in a fixed chart. For u ∈ C∞
comp(X) we set
qX(u) := ‖du‖2X =
∫
X|du|2dX , |du|2 =
∑
i,j
gij∂iu ∂ju
The closure of this form is associated with the s-a operator−∆X which acts in fixed chart coordinates as
−∆Xu = −(det g)−1/2∑
i,j
∂i((det g)1/2gij ∂ju)
If X is compact with piecewise smooth boundary, one startsfrom the form defined on C∞(X). This yields −∆X as theNeumann Laplacian on X and allows us in this way to treat“fat graphs” and “sleeves” on the same footing
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 15/87
![Page 33: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/33.jpg)
Fat graphs and sleeves: manifolds
We associate with the graph M0 a family of manifolds Mε
M0 Mε
ej
vk
Uε,j
Vε,k
We suppose that Mε is a union of compact edge and vertexcomponents Uε,j and Vε,k such that their interiors aremutually disjoint for all possible j ∈ J and k ∈ K
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 16/87
![Page 34: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/34.jpg)
Manifold building blocks
ε
ε
ej vk
Uε,j
Vε,k
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 17/87
![Page 35: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/35.jpg)
Manifold building blocks
ε
ε
ej vk
Uε,j
Vε,k
However, Mε need not be embedded in some Rd.
It is convenient to assume that Uε,j and Vε,k depend on εonly through their metric:
for edge regions we assume that Uε,j is diffeomorphic toIj × F where F is a compact and connected manifold(with or without a boundary) of dimension m := d− 1
for vertex regions we assume that the manifold Vε,k isdiffeomorphic to an ε-independent manifold Vk
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 17/87
![Page 36: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/36.jpg)
Eigenvalue convergence
Let thus U = Ij × F with metric gε, where cross section Fis a compact connected Riemannian manifold of dimensionm = d− 1 with metric h; we assume that volF = 1. Wedefine another metric gε on Uε,j by
gε := dx2 + ε2h(y) ;
the two metrics coincide up to an O(ε) error
This property allows us to treat manifolds embedded in Rd
(with metric gε) using product metric gε on the edges
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 18/87
![Page 37: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/37.jpg)
Eigenvalue convergence
Let thus U = Ij × F with metric gε, where cross section Fis a compact connected Riemannian manifold of dimensionm = d− 1 with metric h; we assume that volF = 1. Wedefine another metric gε on Uε,j by
gε := dx2 + ε2h(y) ;
the two metrics coincide up to an O(ε) error
This property allows us to treat manifolds embedded in Rd
(with metric gε) using product metric gε on the edges
The sought result now looks as follows.
Theorem [KZ’01, EP’05]: Under the stated assumptionsλk(Mε)→ λk(M0) as ε→ 0 (giving thus free b.c.!)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 18/87
![Page 38: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/38.jpg)
The main tool
Our main tool here will be minimax principle. Suppose thatH, H′ are separable Hilbert spaces. We want to compareev’s λk and λ′k of nonnegative operators Q and Q′ withpurely discrete spectra defined via quadratic forms q and q′
on D ⊂ H and D′ ⊂ H′. Set ‖u‖2Q,n := ‖u‖2 + ‖Qn/2u‖2.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 19/87
![Page 39: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/39.jpg)
The main tool
Our main tool here will be minimax principle. Suppose thatH, H′ are separable Hilbert spaces. We want to compareev’s λk and λ′k of nonnegative operators Q and Q′ withpurely discrete spectra defined via quadratic forms q and q′
on D ⊂ H and D′ ⊂ H′. Set ‖u‖2Q,n := ‖u‖2 + ‖Qn/2u‖2.
Lemma: Suppose that Φ : D → D′ is a linear map such thatthere are n1, n2 ≥ 0 and δ1, δ2 ≥ 0 such that
‖u‖2 ≤ ‖Φu‖′2 + δ1‖u‖2Q,n1, q(u) ≥ q′(Φu)− δ2‖u‖2Q,n2
for all u ∈ D ⊂ D(Qmax{n1,n2}/2). Then to each k there is anηk(λk, δ1, δ2) > 0 which tends to zero as δ1, δ2 → 0, such that
λk ≥ λ′k − ηk
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 19/87
![Page 40: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/40.jpg)
Idea of the proof
Proposition: λk(Mε) ≤ λk(M0) + o(1) as ε→ 0
To prove it apply the lemma to Φε : L2(M0)→ L2(Mε),
Φεu(z) :=
ε−m/2u(vk) if z ∈ Vk
ε−m/2uj(x) if z = (x, y) ∈ Uj
for u ∈ H1(M0)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 20/87
![Page 41: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/41.jpg)
Idea of the proof
Proposition: λk(Mε) ≤ λk(M0) + o(1) as ε→ 0
To prove it apply the lemma to Φε : L2(M0)→ L2(Mε),
Φεu(z) :=
ε−m/2u(vk) if z ∈ Vk
ε−m/2uj(x) if z = (x, y) ∈ Uj
for u ∈ H1(M0)
Proposition: λk(M0) ≤ λk(Mε) + o(1) as ε→ 0
Proof again by the lemma. Here one uses averaging:
Nju(x) :=
∫
F
u(x, ·) dF , Cku :=1
volVk
∫
Vk
u dVk
to build the comparison map by interpolation:
(Ψε)j(x) := εm/2(
Nju(x) + ρ(x)(Cku−Nju(x)))
with a smooth ρ interpolating between zero and oneLMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 20/87
![Page 42: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/42.jpg)
More general b.c.? Recall RS argument
[Ruedenberg-Scher’53] used the heuristic argument:
λ
∫
Vε
φu dVε =
∫
Vε
〈dφ, du〉 dVε +
∫
∂Vε
∂nφu d∂Vε
The surface term dominates in the limit ε→ 0 givingformally free boundary conditions
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 21/87
![Page 43: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/43.jpg)
More general b.c.? Recall RS argument
[Ruedenberg-Scher’53] used the heuristic argument:
λ
∫
Vε
φu dVε =
∫
Vε
〈dφ, du〉 dVε +
∫
∂Vε
∂nφu d∂Vε
The surface term dominates in the limit ε→ 0 givingformally free boundary conditions
A way out could thus be to use different scaling rates ofedges and vertices. Of a particular interest is the borderlinecase, voldVε ≈ vold−1∂Vε, when the integral of 〈dφ, du〉 isexpected to be negligible and we hope to obtain
λ0φ0(vk) =∑
j∈Jk
φ′0,j(vk)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 21/87
![Page 44: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/44.jpg)
Scaling with a powerα
Let us try to do the same properly using different scaling ofthe edge and vertex regions. Some technical assumptionsneeded, e.g., the bottlenecks must be “simple”
transition region Aε,jk
fat edge Uε,j
vertex region Vε,k
scaled as ε
scaled as εα
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 22/87
![Page 45: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/45.jpg)
Two-speed scaling limit
Let vertices scale as εα. Using the comparison lemmaagain (just more in a more complicated way) we find that
if α ∈ (1−d−1, 1] the result is as above: the ev’s at thespectrum bottom converge the graph Laplacian withfree b.c., i.e. continuity and
∑
edges meeting at vk
u′j(vk) = 0 ;
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 23/87
![Page 46: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/46.jpg)
Two-speed scaling limit
Let vertices scale as εα. Using the comparison lemmaagain (just more in a more complicated way) we find that
if α ∈ (1−d−1, 1] the result is as above: the ev’s at thespectrum bottom converge the graph Laplacian withfree b.c., i.e. continuity and
∑
edges meeting at vk
u′j(vk) = 0 ;
if α ∈ (0, 1−d−1) the “limiting” Hilbert space isL2(M0)⊕ C
K , where K is # of vertices, and the“limiting” operator acts as Dirichlet Laplacian at eachedge and as zero on C
K
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 23/87
![Page 47: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/47.jpg)
Two-speed scaling limit
if α = 1−d−1, Hilbert space is the same but the limitingoperator is given by quadratic form q0(u) :=
∑
j ‖u′j‖2Ij,
the domain of which consists of u = {{uj}j∈J , {uk}k∈K}such that u ∈ H1(M0)⊕ C
K and the edge and vertexparts are coupled by (vol (V −
k )1/2uj(vk) = uk
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 24/87
![Page 48: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/48.jpg)
Two-speed scaling limit
if α = 1−d−1, Hilbert space is the same but the limitingoperator is given by quadratic form q0(u) :=
∑
j ‖u′j‖2Ij,
the domain of which consists of u = {{uj}j∈J , {uk}k∈K}such that u ∈ H1(M0)⊕ C
K and the edge and vertexparts are coupled by (vol (V −
k )1/2uj(vk) = uk
finally, if vertex regions do not scale at all, α = 0, themanifold components decouple in the limit again,
⊕
j∈J
∆DIj⊕⊕
k∈K
∆V0,k
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 24/87
![Page 49: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/49.jpg)
Two-speed scaling limit
if α = 1−d−1, Hilbert space is the same but the limitingoperator is given by quadratic form q0(u) :=
∑
j ‖u′j‖2Ij,
the domain of which consists of u = {{uj}j∈J , {uk}k∈K}such that u ∈ H1(M0)⊕ C
K and the edge and vertexparts are coupled by (vol (V −
k )1/2uj(vk) = uk
finally, if vertex regions do not scale at all, α = 0, themanifold components decouple in the limit again,
⊕
j∈J
∆DIj⊕⊕
k∈K
∆V0,k
Hence such a straightforward limiting procedure doesnot help us to justify choice of appropriate s-a extensionHence the scaling trick does not work: one has to addeither manifold geometry or external potentials
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 24/87
![Page 50: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/50.jpg)
Some newer references
[EP’05] P.E., O. Post: Convergence of spectra of graph-like thin manifolds, J. Geom. Phys.54 (2005), 77-115
[KZ’01] P. Kuchment, H. Zeng: Convergence of spectra of mesoscopic systems collapsingonto a graph, J. Math. Anal. Appl. 258 (2001), 671–700
[MV’06] S. Molchanov, B. Vainberg: Scattering solutions in a network of thin fibers: smalldiameter asymptotics, math-ph/0609021
[P’05] O. Post: Branched quantum wave guides with Dirichlet boundary conditions: thedecoupling case, J. Phys. A: Math. Gen. 38 (2005), 4917-4931
[P’06] O. Post: Spectral convergence of non-compact quasi-one-dimensional spaces,math-ph/0512081
[RS’01] J. Rubinstein, M. Schatzmann: Variational problems on multiply connected thinstrips, I. Basic estimates and convergence of the Laplacian spectrum, Arch. Rat.Mech. Anal. 160 (2001), 271-308
[Sa’01] T. Saito: Convergence of the Neumann Laplacian on shrinking domains, Analysis21 (2001), 171-204
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 25/87
![Page 51: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/51.jpg)
And a few previous millennium ones[F’96] M. Freidlin, Markov Processes and Differential Equations: Asymptotic Problems,
Lectures in Mathematics ETH Zürich, Birkhäuser Verlag, Basel 1996
[FW’93] M. Freidlin, A. Wentzell: Diffusion processes on graphs and the averagingprinciple, Ann. Prob. 21 (1993), 2215-2245
[RuS’53] K. Ruedenberg, C.W. Scherr: Free-electron network model for conjugatedsystems, I. Theory, J. Chem. Phys. 21 (1953), 1565-1581
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 26/87
![Page 52: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/52.jpg)
Potential approximation
A more modest goal: let us look what we can achieve withpotential families on the graph alone
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 27/87
![Page 53: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/53.jpg)
Potential approximation
A more modest goal: let us look what we can achieve withpotential families on the graph alone
��
�
HHHH
��
���
�����
@@
@ qConsider once more star graphwith H =
⊕nj=1 L
2(R+) andSchrödinger operator acting onH as ψj 7→ −ψ′′
j + Vjψj
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 27/87
![Page 54: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/54.jpg)
Potential approximation
A more modest goal: let us look what we can achieve withpotential families on the graph alone
��
�
HHHH
��
���
�����
@@
@ qConsider once more star graphwith H =
⊕nj=1 L
2(R+) andSchrödinger operator acting onH as ψj 7→ −ψ′′
j + Vjψj
We make the following assumptions:
Vj ∈ L1loc(R+) , j = 1, . . . , n
δ coupling with a parameter α in the vertex
Then the operator, denoted as Hα(V ), is self-adjoint
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 27/87
![Page 55: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/55.jpg)
Potential approximation of δ coupling
Suppose that the potential has a shrinking component,
Wε,j :=1
εWj
(x
ε
)
, j = 1, . . . , n
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 28/87
![Page 56: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/56.jpg)
Potential approximation of δ coupling
Suppose that the potential has a shrinking component,
Wε,j :=1
εWj
(x
ε
)
, j = 1, . . . , n
Theorem [E’96]: Suppose that Vj ∈ L1loc(R+) are below
bounded and Wj ∈ L1(R+) for j = 1, . . . , n . Then
H0(V +Wε) −→ Hα(V )
as ε→ 0+ in the norm resolvent sense, with the parameterα :=
∑nj=1
∫∞0 Wj(x) dx
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 28/87
![Page 57: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/57.jpg)
Potential approximation of δ coupling
Suppose that the potential has a shrinking component,
Wε,j :=1
εWj
(x
ε
)
, j = 1, . . . , n
Theorem [E’96]: Suppose that Vj ∈ L1loc(R+) are below
bounded and Wj ∈ L1(R+) for j = 1, . . . , n . Then
H0(V +Wε) −→ Hα(V )
as ε→ 0+ in the norm resolvent sense, with the parameterα :=
∑nj=1
∫∞0 Wj(x) dx
Proof: Analogous to that for δ interaction on the line. �
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 28/87
![Page 58: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/58.jpg)
RemarksAlso Birman-Schwinger analysis generalizes easily:
Theorem [E’96]: Let Vj ∈ L1(R+, (1 + |x|)dx),j = 1, . . . , n . Then H0(λV ) has for all small enoughλ > 0 a single negative ev ǫ(λ) = −κ(λ)2 iff
n∑
j=1
∫ ∞
0Vj(x) dx ≤ 0
In that case, its asymptotic behavior is given by
κ(λ) = −λn
n∑
j=1
∫ ∞
0
Vj(x) dx− λ2
2n
{
n∑
j=1
∫ ∞
0
∫ ∞
0
Vj(x)|x−y|Vj(y) dxdy
+
n∑
j,ℓ=1
(
2
n− δjℓ
)∫ ∞
0
∫ ∞
0
Vj(x)(x+y)Vℓ(y) dxdy
}
+O(λ3)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 29/87
![Page 59: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/59.jpg)
RemarksAlso Birman-Schwinger analysis generalizes easily:
Theorem [E’96]: Let Vj ∈ L1(R+, (1 + |x|)dx),j = 1, . . . , n . Then H0(λV ) has for all small enoughλ > 0 a single negative ev ǫ(λ) = −κ(λ)2 iff
n∑
j=1
∫ ∞
0Vj(x) dx ≤ 0
In that case, its asymptotic behavior is given by
κ(λ) = −λn
n∑
j=1
∫ ∞
0
Vj(x) dx− λ2
2n
{
n∑
j=1
∫ ∞
0
∫ ∞
0
Vj(x)|x−y|Vj(y) dxdy
+
n∑
j,ℓ=1
(
2
n− δjℓ
)∫ ∞
0
∫ ∞
0
Vj(x)(x+y)Vℓ(y) dxdy
}
+O(λ3)
A Seto-Klaus-Newton bound on #σdisc(H0(λV )) can beobtained in a similar way
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 29/87
![Page 60: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/60.jpg)
More singular couplingsThe above scheme does not work for graph Hamiltonianswith discontinuous wavefunctions such as δ′s
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 30/87
![Page 61: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/61.jpg)
More singular couplingsThe above scheme does not work for graph Hamiltonianswith discontinuous wavefunctions such as δ′sInspiration: Recall that δ′ on the line can be approximatedby δ’s scaled in a nonlinear way [Cheon-Shigehara’98]Moreover, the convergence is norm resolvent and givesrise to approximations by regular potentials[Albeverio-Nizhnik’00], [E-Neidhardt-Zagrebnov’01]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 30/87
![Page 62: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/62.jpg)
More singular couplingsThe above scheme does not work for graph Hamiltonianswith discontinuous wavefunctions such as δ′sInspiration: Recall that δ′ on the line can be approximatedby δ’s scaled in a nonlinear way [Cheon-Shigehara’98]Moreover, the convergence is norm resolvent and givesrise to approximations by regular potentials[Albeverio-Nizhnik’00], [E-Neidhardt-Zagrebnov’01]
This suggests the following scheme:
��
�
HHHH
��
���
@@
@ q�
��
HHHH
��
���
@@
@ r−→a→ 0
βa
b(a)
c(a)
HβHb,c
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 30/87
![Page 63: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/63.jpg)
δ′s approximation
Theorem [Cheon-E’04]: Hb,c(a)→ Hβ as a→ 0+ in thenorm-resolvent sense provided b, c are chosen as
b(a) := − βa2, c(a) := −1
a
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 31/87
![Page 64: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/64.jpg)
δ′s approximation
Theorem [Cheon-E’04]: Hb,c(a)→ Hβ as a→ 0+ in thenorm-resolvent sense provided b, c are chosen as
b(a) := − βa2, c(a) := −1
a
Proof : Green’s functions of both operators are foundexplicitly be Krein’s formula, so the convergence can beestablished by straightforward computation
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 31/87
![Page 65: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/65.jpg)
δ′s approximation
Theorem [Cheon-E’04]: Hb,c(a)→ Hβ as a→ 0+ in thenorm-resolvent sense provided b, c are chosen as
b(a) := − βa2, c(a) := −1
a
Proof : Green’s functions of both operators are foundexplicitly be Krein’s formula, so the convergence can beestablished by straightforward computation
Remark : Similar approximation can be worked out also forthe other couplings mentioned above – cf. [E-Turek’06]. For“most” permutation symmetric ones, e.g., one has
b(a) :=in
a2
(
u− 1 + nv
u+ 1 + nv+u− 1
u+ 1
)−1
, c(a) := −1
a− iu− 1
u+ 1
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 31/87
![Page 66: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/66.jpg)
Some references
[AN’00] S. Albeverio, L. Nizhnik: Approximation of general zero-range potentials, UkrainianMath. J. 52 (2000), 582-589
[CS’98] T. Cheon, T. Shigehara: Realizing discontinuous wave functions with renormalizedshort-range potentials, Phys. Lett. A243 (1998), 111-116
[CE’04] T. Cheon, P.E.: An approximation to δ′ couplings on graphs, J. Phys. A:Math. Gen. A37 (2004), L329-335
[E’96] P.E.: Weakly coupled states on branching graphs, Lett. Math. Phys. 38 (1996),313-320
[ENZ’01] P.E., H. Neidhardt, V.A. Zagrebnov: Potential approximations to δ′: an inverseKlauder phenomenon with norm-resolvent convergence, CMP 224 (2001), 593-612
[ET’06] P.E., O. Turek: Approximations of permutation-symmetric vertex couplings inquantum graphs, Proc. of the Conference “Quantum Graphs and Their Applications”(Snowbird 2005); AMS “Contemporary Math" Series, vol. 415, pp. 109-120
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 32/87
![Page 67: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/67.jpg)
Summarizing Lecture IV
Vertex coupling: to employ the full potential of thegraph model, it is vital to understand the physicalmeaning of the corresponding boundary conditions
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 33/87
![Page 68: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/68.jpg)
Summarizing Lecture IV
Vertex coupling: to employ the full potential of thegraph model, it is vital to understand the physicalmeaning of the corresponding boundary conditions
“Fat manifold” approximations: using the simplestgeometry only we get free b.c. in the Neumann-likecase, the Dirichlet case investigations are in progress.A little is known about “more geometric” choices ofapproximating operators
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 33/87
![Page 69: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/69.jpg)
Summarizing Lecture IV
Vertex coupling: to employ the full potential of thegraph model, it is vital to understand the physicalmeaning of the corresponding boundary conditions
“Fat manifold” approximations: using the simplestgeometry only we get free b.c. in the Neumann-likecase, the Dirichlet case investigations are in progress.A little is known about “more geometric” choices ofapproximating operators
Potential approximation to δ: well understood as anextension of one-dimensional Schrödinger theory
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 33/87
![Page 70: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/70.jpg)
Summarizing Lecture IV
Vertex coupling: to employ the full potential of thegraph model, it is vital to understand the physicalmeaning of the corresponding boundary conditions
“Fat manifold” approximations: using the simplestgeometry only we get free b.c. in the Neumann-likecase, the Dirichlet case investigations are in progress.A little is known about “more geometric” choices ofapproximating operators
Potential approximation to δ: well understood as anextension of one-dimensional Schrödinger theory
Potential approximation to more singular coupling:there are particular results showing the way, a deeperanalysis needed
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 33/87
![Page 71: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/71.jpg)
Lecture V
Leaky graphs – what they are, andcan one say about their spectral
and scattering properties
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 34/87
![Page 72: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/72.jpg)
Lecture overview
Why we might want something better than the idealgraph model of the previous lecture
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 35/87
![Page 73: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/73.jpg)
Lecture overview
Why we might want something better than the idealgraph model of the previous lecture
A model of “leaky” quantum wires and graphs, withHamiltonians of the type Hα,Γ = −∆− αδ(x− Γ)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 35/87
![Page 74: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/74.jpg)
Lecture overview
Why we might want something better than the idealgraph model of the previous lecture
A model of “leaky” quantum wires and graphs, withHamiltonians of the type Hα,Γ = −∆− αδ(x− Γ)
Geometrically induced spectral properties of leakywires and graphs
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 35/87
![Page 75: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/75.jpg)
Lecture overview
Why we might want something better than the idealgraph model of the previous lecture
A model of “leaky” quantum wires and graphs, withHamiltonians of the type Hα,Γ = −∆− αδ(x− Γ)
Geometrically induced spectral properties of leakywires and graphs
Scattering on leaky wires: existence and properties
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 35/87
![Page 76: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/76.jpg)
Lecture overview
Why we might want something better than the idealgraph model of the previous lecture
A model of “leaky” quantum wires and graphs, withHamiltonians of the type Hα,Γ = −∆− αδ(x− Γ)
Geometrically induced spectral properties of leakywires and graphs
Scattering on leaky wires: existence and properties
How to find spectrum numerically: an approximationby point interaction Hamiltonians with application toresonances
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 35/87
![Page 77: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/77.jpg)
Drawbacks of “ideal” graphs
Presence of ad hoc parameters in the b.c. describingbranchings. A natural remedy: fit these using anapproximation procedure, e.g.
@@
@@
��
��
@@
��r−→
As we have seen in Lecture IV it is possible but notquite easy and a lot of work remains to be done
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 36/87
![Page 78: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/78.jpg)
Drawbacks of “ideal” graphs
Presence of ad hoc parameters in the b.c. describingbranchings. A natural remedy: fit these using anapproximation procedure, e.g.
@@
@@
��
��
@@
��r−→
As we have seen in Lecture IV it is possible but notquite easy and a lot of work remains to be done
More important, quantum tunneling is neglectedin “ideal” graph models – recall that a true quantum-wireboundary is a finite potential jump – hence topology istaken into account but geometric effects may not be
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 36/87
![Page 79: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/79.jpg)
Leaky quantum graphsThe last observation motivates us to consider “leaky”graphs, i.e. motion in the whole space with an attractiveinteraction supported by graph edges. Formally we have
Hα,Γ = −∆− αδ(x− Γ) , α > 0 ,
in L2(R2), where Γ is the graph in question.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 37/87
![Page 80: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/80.jpg)
Leaky quantum graphsThe last observation motivates us to consider “leaky”graphs, i.e. motion in the whole space with an attractiveinteraction supported by graph edges. Formally we have
Hα,Γ = −∆− αδ(x− Γ) , α > 0 ,
in L2(R2), where Γ is the graph in question.
A proper definition of Hα,Γ: it can be associated naturallywith the quadratic form,
ψ 7→ ‖∇ψ‖2L2(Rn) − α∫
Γ|ψ(x)|2dx ,
which is closed and below bounded in W 2,1(Rn); the secondterm makes sense in view of Sobolev embedding. Thisdefinition also works for various “wilder” sets Γ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 37/87
![Page 81: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/81.jpg)
Leaky graph Hamiltonians
For Γ with locally finite number of smooth edges and nocusps we can use an alternative definition by boundaryconditions: Hα,Γ acts as −∆ on functions from W 2,1
loc (R2 \ Γ),which are continuous and exhibit a normal-derivative jump,
∂ψ
∂n(x)
∣
∣
∣
∣
+
− ∂ψ
∂n(x)
∣
∣
∣
∣
−= −αψ(x)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 38/87
![Page 82: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/82.jpg)
Leaky graph Hamiltonians
For Γ with locally finite number of smooth edges and nocusps we can use an alternative definition by boundaryconditions: Hα,Γ acts as −∆ on functions from W 2,1
loc (R2 \ Γ),which are continuous and exhibit a normal-derivative jump,
∂ψ
∂n(x)
∣
∣
∣
∣
+
− ∂ψ
∂n(x)
∣
∣
∣
∣
−= −αψ(x)
Remarks:
for graphs in R3 we use generalized b.c. which define a
two-dimensional point interaction in normal plane
one can combine “edges” of different dimensions aslong as codim Γ does not exceed three
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 38/87
![Page 83: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/83.jpg)
A remark on photonic crystals
On the physical side, description of semiconductor wires isnot the only situation when one can meet similar objectsAn example is given by photonic crystals, i.e. devices inwhich light travels space structured by changes of therefraction index – typically formed by a glass with a varietyof holes filled by the air
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 39/87
![Page 84: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/84.jpg)
A remark on photonic crystals
On the physical side, description of semiconductor wires isnot the only situation when one can meet similar objectsAn example is given by photonic crystals, i.e. devices inwhich light travels space structured by changes of therefraction index – typically formed by a glass with a varietyof holes filled by the airThe dynamics is now naturally governed by the Maxwellequations with varying coefficients corresponding to thematerial propertiesIt appears, however, that if the structure is thin and opticalcontrast high one can reduce approximatively the problemto an operator of the above described type, just the physicalmeaning of the quantities is different – see, for instance,[Figotin-Kuchment’98], [Kuchment-Kunyansky’99, ’02]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 39/87
![Page 85: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/85.jpg)
Geometrically induced spectrum
(a) Bending means binding, i.e. it may create isolatedeigenvalues of Hα,Γ. Consider a piecewise C1-smoothΓ : R→ R
2 parameterized by its arc length, and assume:
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 40/87
![Page 86: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/86.jpg)
Geometrically induced spectrum
(a) Bending means binding, i.e. it may create isolatedeigenvalues of Hα,Γ. Consider a piecewise C1-smoothΓ : R→ R
2 parameterized by its arc length, and assume:
|Γ(s)− Γ(s′)| ≥ c|s− s′| holds for some c ∈ (0, 1)
Γ is asymptotically straight : there are d > 0, µ > 12
and ω ∈ (0, 1) such that
1− |Γ(s)− Γ(s′)||s− s′| ≤ d
[
1 + |s+ s′|2µ]−1/2
in the sector Sω :={
(s, s′) : ω < ss′ < ω−1
}
straight line is excluded , i.e. |Γ(s)− Γ(s′)| < |s− s′|holds for some s, s′ ∈ R
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 40/87
![Page 87: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/87.jpg)
Bending means binding
Theorem [E-Ichinose’01]: Under these assumptions,σess(Hα,Γ) = [−1
4α2,∞) and Hα,Γ has at least one
eigenvalue below the threshold −14α
2
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 41/87
![Page 88: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/88.jpg)
Bending means binding
Theorem [E-Ichinose’01]: Under these assumptions,σess(Hα,Γ) = [−1
4α2,∞) and Hα,Γ has at least one
eigenvalue below the threshold −14α
2
Naturally, this has no analogy in “ideal” graphs!
The same for curves in R3, under stronger regularity,
with −14α
2 is replaced by the corresponding 2D p.i. ev
For curved surfaces Γ ⊂ R3 such a result is proved in
the strong coupling asymptotic regime only
Implications for graphs: let Γ ⊃ Γ in the set sense, thenHα,Γ ≤ Hα,Γ. If the essential spectrum threshold is thesame for both graphs and Γ fits the above assumptions,we have σdisc(Hα,Γ) 6= ∅ by minimax principle
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 41/87
![Page 89: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/89.jpg)
Proof: generalized BS principle
Classical Birman-Schwinger principle based on the identity
(H0 − V − z)−1 = (H0 − z)−1 + (H0 − z)−1V 1/2
×{
I − |V |1/2(H0 − z)−1V 1/2}−1|V |1/2(H0 − z)−1
can be extended to generalized Schrödinger operators Hα,Γ
[BEKŠ’94]: the multiplication by (H0 − z)−1V 1/2 etc. isreplaced by suitable trace maps. In this way we find that−κ2 is an eigenvalue of Hα,Γ iff the integral operator Rκ
α,Γ
on L2(R) with the kernel
(s, s′) 7→ α
2πK0
(
κ|Γ(s)−Γ(s′)|)
has an eigenvalue equal to one
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 42/87
![Page 90: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/90.jpg)
Sketch of the proofWe treat Rκ
α,Γ as a perturbation of the operator Rκα,Γ0
referring to a straight line. The spectrum of the latter isfound easily: it is purely ac and equal to [0, α/2κ)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 43/87
![Page 91: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/91.jpg)
Sketch of the proofWe treat Rκ
α,Γ as a perturbation of the operator Rκα,Γ0
referring to a straight line. The spectrum of the latter isfound easily: it is purely ac and equal to [0, α/2κ)
The curvature-induced perturbation is sign-definite: we
have(
Rκα,Γ −Rκ
α,Γ0
)
(s, s′) ≥ 0 , and the inequality is sharp
somewhere unless Γ is a straight line. Using a variationalargument with a suitable trial function we can check theinequality supσ(Rκ
α,Γ) > α2κ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 43/87
![Page 92: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/92.jpg)
Sketch of the proofWe treat Rκ
α,Γ as a perturbation of the operator Rκα,Γ0
referring to a straight line. The spectrum of the latter isfound easily: it is purely ac and equal to [0, α/2κ)
The curvature-induced perturbation is sign-definite: we
have(
Rκα,Γ −Rκ
α,Γ0
)
(s, s′) ≥ 0 , and the inequality is sharp
somewhere unless Γ is a straight line. Using a variationalargument with a suitable trial function we can check theinequality supσ(Rκ
α,Γ) > α2κ
Due to the assumed asymptotic straightness of Γ theperturbation Rκ
α,Γ −Rκα,Γ0
is Hilbert-Schmidt , hence thespectrum of Rκ
α,Γ in the interval (α/2κ,∞) is discrete
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 43/87
![Page 93: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/93.jpg)
Sketch of the proofWe treat Rκ
α,Γ as a perturbation of the operator Rκα,Γ0
referring to a straight line. The spectrum of the latter isfound easily: it is purely ac and equal to [0, α/2κ)
The curvature-induced perturbation is sign-definite: we
have(
Rκα,Γ −Rκ
α,Γ0
)
(s, s′) ≥ 0 , and the inequality is sharp
somewhere unless Γ is a straight line. Using a variationalargument with a suitable trial function we can check theinequality supσ(Rκ
α,Γ) > α2κ
Due to the assumed asymptotic straightness of Γ theperturbation Rκ
α,Γ −Rκα,Γ0
is Hilbert-Schmidt , hence thespectrum of Rκ
α,Γ in the interval (α/2κ,∞) is discrete
To conclude we employ continuity and limκ→∞ ‖Rκα,Γ‖ = 0.
The argument can be pictorially expressed as follows:
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 43/87
![Page 94: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/94.jpg)
Pictorial sketch of the proof
pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppprpppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppr
r
σ(Rκα,Γ)
1
κα/2
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 44/87
![Page 95: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/95.jpg)
Punctured manifolds
(b) A natural question is what happens with σdisc(Hα,Γ) if Γ
has a small “hole” . We will give the answer for a compact,(n−1)-dimensional, C1+[n/2]-smooth manifold in R
n
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 45/87
![Page 96: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/96.jpg)
Punctured manifolds
(b) A natural question is what happens with σdisc(Hα,Γ) if Γ
has a small “hole” . We will give the answer for a compact,(n−1)-dimensional, C1+[n/2]-smooth manifold in R
n
ΓSε
Consider a family {Sε}0≤ε<η of subsets of Γ such that
each Sε is Lebesgue measurable on Γ
they shrink to origin, supx∈Sε|x| = O(ε) as ε→ 0
σdisc(Hα,Γ) 6= ∅, nontrivial for n ≥ 3
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 45/87
![Page 97: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/97.jpg)
Punctured manifolds: ev asymptotics
Call Hε := Hα,Γ\Sε. For small enough ε these operators
have the same finite number of eigenvalues, naturallyordered, which satisfy λj(ε)→ λj(0) as ε→ 0
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 46/87
![Page 98: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/98.jpg)
Punctured manifolds: ev asymptotics
Call Hε := Hα,Γ\Sε. For small enough ε these operators
have the same finite number of eigenvalues, naturallyordered, which satisfy λj(ε)→ λj(0) as ε→ 0
Let ϕj be the eigenfunctions of H0. By Sobolev trace thmϕj(0) makes sense. Put sj := |ϕj(0)|2 if λj(0) is simple,
otherwise they are ev’s of C :=(
ϕi(0)ϕj(0))
corresponding
to a degenerate eigenvalue
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 46/87
![Page 99: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/99.jpg)
Punctured manifolds: ev asymptotics
Call Hε := Hα,Γ\Sε. For small enough ε these operators
have the same finite number of eigenvalues, naturallyordered, which satisfy λj(ε)→ λj(0) as ε→ 0
Let ϕj be the eigenfunctions of H0. By Sobolev trace thmϕj(0) makes sense. Put sj := |ϕj(0)|2 if λj(0) is simple,
otherwise they are ev’s of C :=(
ϕi(0)ϕj(0))
corresponding
to a degenerate eigenvalue
Theorem [E-Yoshitomi’03]: Under the assumptions madeabout the family {Sε}, we have
λj(ε) = λj(0) + αsjmΓ(Sε) + o(εn−1) as ε→ 0
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 46/87
![Page 100: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/100.jpg)
Remarks
Formally a small-hole perturbation acts as a repulsive δinteraction with the coupling αmΓ(Sε)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 47/87
![Page 101: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/101.jpg)
Remarks
Formally a small-hole perturbation acts as a repulsive δinteraction with the coupling αmΓ(Sε)
No self-similarity of Sε required
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 47/87
![Page 102: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/102.jpg)
Remarks
Formally a small-hole perturbation acts as a repulsive δinteraction with the coupling αmΓ(Sε)
No self-similarity of Sε required
If n = 2, i.e. Γ is a curve, mΓ(Sε) is the length of thehiatus. In this case the same asymptotic formula holdsfor bound states of an infinite curved Γ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 47/87
![Page 103: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/103.jpg)
Remarks
Formally a small-hole perturbation acts as a repulsive δinteraction with the coupling αmΓ(Sε)
No self-similarity of Sε required
If n = 2, i.e. Γ is a curve, mΓ(Sε) is the length of thehiatus. In this case the same asymptotic formula holdsfor bound states of an infinite curved Γ
Asymptotic perturbation theory for quadratic forms doesnot apply, because C∞
0 (Rn) ∋ u 7→ |u(0)|2 ∈ R does notextend to a bounded form in W 1,2(Rn)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 47/87
![Page 104: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/104.jpg)
Illustration: a ring with π20 cut
−10−5
05
10
−10
−5
0
5
10
0
0.01
0.02
0.03
0.04
R=6 α=1 θ=π/20 E0=−0.2535
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 48/87
![Page 105: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/105.jpg)
Strongly attractive curves
(c) Strong coupling asymptotics: let Γ : R→ R2 be as
above, now supposed to be C4-smooth
Theorem [E-Yoshitomi’01]: The j-th ev of Hα,Γ is
λj(α) = −1
4α2 + µj +O(α−1 lnα) as α→∞ ,
where µj is the j-th ev of SΓ := − dds2 − 1
4γ(s)2 on L2((R)
and γ is the curvature of Γ.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 49/87
![Page 106: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/106.jpg)
Strongly attractive curves
(c) Strong coupling asymptotics: let Γ : R→ R2 be as
above, now supposed to be C4-smooth
Theorem [E-Yoshitomi’01]: The j-th ev of Hα,Γ is
λj(α) = −1
4α2 + µj +O(α−1 lnα) as α→∞ ,
where µj is the j-th ev of SΓ := − dds2 − 1
4γ(s)2 on L2((R)
and γ is the curvature of Γ. The same holds if Γ is a loop;then we also have
#σdisc(Hα,Γ) =|Γ|α2π
+O(lnα) as α→∞
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 49/87
![Page 107: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/107.jpg)
Sketch of the proof
For definiteness consider the loop case: take a closed Γand call L = |Γ|. We start from a tubular neighborhood of Γ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 50/87
![Page 108: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/108.jpg)
Sketch of the proof
For definiteness consider the loop case: take a closed Γand call L = |Γ|. We start from a tubular neighborhood of Γ
Lemma: Φa : [0, L)× (−a, a)→ R2 defined by
(s, u) 7→ (γ1(s)− uγ′2(s), γ2(s) + uγ′1(s)).
is a diffeomorphism for all a > 0 small enough
'
&
$
%
'
&
$
%
'
&
$
%Γ
↑→
←→���
@@
us
Σa
D,N
D,N
Λouta
Λina
2a
constant-width strip,do not take the LaTeXdrawing too literary!
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 50/87
![Page 109: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/109.jpg)
DN bracketing
The idea is to apply to the operator Hα,Γ in questionDirichlet-Neumann bracketing at the boundary ofΣa := Φ([0, L)× (−a, a)). This yields
(−∆NΛa
)⊕ L−a,α ≤ Hα,Γ ≤ (−∆D
Λa)⊕ L+
a,α,
where Λa = Λina ∪ Λout
a is the exterior domain, and L±a,α are
self-adjoint operators associated with the forms
q±a,α[f ] = ‖∇f‖2L2(Σa) − α∫
Γ|f(x)|2 dS
where f ∈ W 1,20 (Σa) and W 1,2(Σa) for ±, respectively
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 51/87
![Page 110: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/110.jpg)
DN bracketing
The idea is to apply to the operator Hα,Γ in questionDirichlet-Neumann bracketing at the boundary ofΣa := Φ([0, L)× (−a, a)). This yields
(−∆NΛa
)⊕ L−a,α ≤ Hα,Γ ≤ (−∆D
Λa)⊕ L+
a,α,
where Λa = Λina ∪ Λout
a is the exterior domain, and L±a,α are
self-adjoint operators associated with the forms
q±a,α[f ] = ‖∇f‖2L2(Σa) − α∫
Γ|f(x)|2 dS
where f ∈ W 1,20 (Σa) and W 1,2(Σa) for ±, respectively
Important : The exterior part does not contribute to thenegative spectrum, so we may consider L±
a,α only
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 51/87
![Page 111: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/111.jpg)
Transformed interior operatorWe use the curvilinear coordinates passing from L±
a,α tounitarily equivalent operators given by quadratic forms
b+a,α[f ] =
∫ L
0
∫ a
−a
(1 + uk(s))−2
∣
∣
∣
∣
∂f
∂s
∣
∣
∣
∣
2
du ds+
∫ L
0
∫ a
−a
∣
∣
∣
∣
∂f
∂u
∣
∣
∣
∣
2
du ds
+
∫ L
0
∫ a
−aV (s, u)|f |2 ds du− α
∫ L
0|f(s, 0)|2 ds
with f ∈ W 1,2((0, L)× (−a, a)) satisfying periodic b.c. in thevariable s and Dirichlet b.c. at u = ±a, and
b−a,α[f ] = b+a,α[f ]−1∑
j=0
1
2(−1)j
∫ L
0
k(s)
1 + (−1)jak(s)|f(s, (−1)ja)|2 ds
where V is the curvature induced potential,
V (s, u) = − k(s)2
4(1+uk(s))2+
uk′′(s)2(1+uk(s))3
− 5u2k′(s)2
4(1+uk(s))4
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 52/87
![Page 112: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/112.jpg)
Estimates with separated variablesWe pass to rougher bounds squeezing Hα,Γ between
H±a,α = U±
a ⊗ 1 + 1⊗ T±a,α
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 53/87
![Page 113: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/113.jpg)
Estimates with separated variablesWe pass to rougher bounds squeezing Hα,Γ between
H±a,α = U±
a ⊗ 1 + 1⊗ T±a,α
Here U±a are s-a operators on L2(0, L)
U±a = −(1∓ a‖k‖∞)−2 d2
ds2+ V±(s)
with PBC, where V−(s) ≤ V (s, u) ≤ V+(s) with an O(a) error,and the transverse operators are associated with the forms
t+a,α[f ] =
∫ a
−a|f ′(u)|2 du− α|f(0)|2
and
t−a,α[f ] = t−a,α[f ]− ‖k‖∞(|f(a)|2 + |f(−a)|2)
with f ∈ W 1,20 (−a, a) and W 1,2(−a, a), respectively
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 53/87
![Page 114: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/114.jpg)
Concluding the argumentLemma: There are positive c, cN such that T±
α,a has for αlarge enough a single negative eigenvalue κ±α,a satisfying
−α2
4
(
1 + cNe−αa/2)
< κ−α,a < −α2
4< κ+
α,a < −α2
4
(
1− 8e−αa/2)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 54/87
![Page 115: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/115.jpg)
Concluding the argumentLemma: There are positive c, cN such that T±
α,a has for αlarge enough a single negative eigenvalue κ±α,a satisfying
−α2
4
(
1 + cNe−αa/2)
< κ−α,a < −α2
4< κ+
α,a < −α2
4
(
1− 8e−αa/2)
Finishing the proof:the eigenvalues of U±
a differ by O(a) from those of thecomparison operatorwe choose a = 6α−1 lnα as the neighbourhood widthputting the estimates together we get the eigenvalueasymptotics for a planar loop, i.e. the claim (ii)if Γ is not closed, the same can be done with thecomparison operators SD,N
Γ having appropriate b.c. atthe endpoints of Γ. This yields the claim (i)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 54/87
![Page 116: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/116.jpg)
Further extensions
Hα,Γ with a periodic Γ has a band-type spectrum, butanalogous asymptotics is valid for its Floquetcomponents Hα,Γ(θ), with the comparison operatorSΓ(θ) satisfying the appropriate b.c. over the period cell.It is important that the error term is uniform w.r.t. θ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 55/87
![Page 117: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/117.jpg)
Further extensions
Hα,Γ with a periodic Γ has a band-type spectrum, butanalogous asymptotics is valid for its Floquetcomponents Hα,Γ(θ), with the comparison operatorSΓ(θ) satisfying the appropriate b.c. over the period cell.It is important that the error term is uniform w.r.t. θ
Similar result holds for planar loops threaded by mgfield , homogeneous, AB flux line, etc.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 55/87
![Page 118: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/118.jpg)
Further extensions
Hα,Γ with a periodic Γ has a band-type spectrum, butanalogous asymptotics is valid for its Floquetcomponents Hα,Γ(θ), with the comparison operatorSΓ(θ) satisfying the appropriate b.c. over the period cell.It is important that the error term is uniform w.r.t. θ
Similar result holds for planar loops threaded by mgfield , homogeneous, AB flux line, etc.Higher dimensions: the results extend to loops, infiniteand periodic curves in R
3
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 55/87
![Page 119: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/119.jpg)
Further extensions
Hα,Γ with a periodic Γ has a band-type spectrum, butanalogous asymptotics is valid for its Floquetcomponents Hα,Γ(θ), with the comparison operatorSΓ(θ) satisfying the appropriate b.c. over the period cell.It is important that the error term is uniform w.r.t. θ
Similar result holds for planar loops threaded by mgfield , homogeneous, AB flux line, etc.Higher dimensions: the results extend to loops, infiniteand periodic curves in R
3
and to curved surfaces in R3; then the comparison
operator is −∆LB +K −M2, where K,M , respectively,are the corresponding Gauss and mean curvatures
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 55/87
![Page 120: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/120.jpg)
Some references[BEKŠ’04] J.F. Brasche, P. Exner, Yu.A. Kuperin, P. Šeba: Schrödinger operators with
singular interactions, J. Math. Anal. Appl. 184 (1994), 112-139[BT’92] J.F. Brasche, A. Teta: Spectral analysis and scattering theory for Schrödinger
operators with an interaction supported by a regular curve, in Ideas and Methods inQuantum and Statistical Physics, ed. S. Albeverio, et al., CUP 1992, pp. 197-211
[EI’01] P.E., T. Ichinose: Geometrically induced spectrum in curved leaky wires, J. Phys.A34 ( 2001), 1439-1450
[EK’02] P.E., S. Kondej: Curvature-induced bound states for a δ interaction supported by acurve in R
3, Ann. H. Poincaré 3 (2002), 967-981[EK’03] P.E., S. Kondej: Bound states due to a strong δ interaction supported by a curved
surface, J. Phys. A36 (2003), 443-457[EY’01] P.E., K. Yoshitomi: Band gap of the Schrödinger operator with a strong
δ-interaction on a periodic curve, Ann. H. Poincaré 2 (2001), 1139-1158[EY’02a] P.E., K. Yoshitomi: Asymptotics of eigenvalues of the Schrödinger operator with a
strong δ-interaction on a loop, J. Geom. Phys. 41 (2002), 344-358[EY’02b] P.E., K. Yoshitomi: Persistent currents for 2D Schrödinger operator with a strong
δ-interaction on a loop, J. Phys. A35 (2002), 3479-3487[EY’03] P.E., K. Yoshitomi: Eigenvalue asymptotics for the Schrödinger operator with a
δ-interaction on a punctured surface, Lett. Math. Phys. 65 (2003), 19-26
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 56/87
![Page 121: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/121.jpg)
And on photonic crystals
[FK’98] A. Figotin, P. Kuchment: Spectral properties of classical waves in high contrastperiodic media, SIAM J. Appl. Math. 58 (1998), 683-702
[KK’99] P. Kuchment, L. Kunyansky: Spectral properties of high-contrast band-gapmaterials and operators on graphs, Experimental Mathematics 8 (1999), 1-28
[KK’02] P. Kuchment, L. Kunyansky: Differential operators on graphs and photoniccrystals, Adv. Comput. Math. 16 (2002), 263-290
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 57/87
![Page 122: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/122.jpg)
Scattering on a locally deformed line
Scattering requires to specify a free dynamics. Here wewill suppose that the latter is described by Hα,Σ, where Σ isa straight line, Σ = {(x1, 0) : x1 ∈}, and that the graph Γ inquestion differs from Σ by a local deformation only
� �� �� @@@@ i
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 58/87
![Page 123: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/123.jpg)
AssumptionsWe will consider the following class of local deformations:
there exists a compact M ⊂ R2 such that Γ \M = Σ \M ,
the set Γ \ Σ admits a finite decomposition,
Γ \ Σ =N⋃
i=1
Γi , N <∞ ,
where the Γi’s are finite C1 curves such that no pair ofcomponents of Γ crosses at their interior points, neithera component has a self-intersection; we allow thecomponents to touch at their endpoints but assumethey do not form a cusp there
As we have said, Hα,Γ is then well definedLMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 59/87
![Page 124: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/124.jpg)
Krein’s formulaOur main tool will be a formula comparing the resolvents ofHα,Γ and Hα,Σ. We will use the decomposition
Λ = Λ0 ∪ Λ1 with Λ0 := Σ \ Γ , Λ1 := Γ \ Σ =N⋃
i=1
Γi ;
the coupling constant of the perturbation will be naturallyequal to α on the “subtracted” set Λ0 and −α on Λ1
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 60/87
![Page 125: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/125.jpg)
Krein’s formulaOur main tool will be a formula comparing the resolvents ofHα,Γ and Hα,Σ. We will use the decomposition
Λ = Λ0 ∪ Λ1 with Λ0 := Σ \ Γ , Λ1 := Γ \ Σ =N⋃
i=1
Γi ;
the coupling constant of the perturbation will be naturallyequal to α on the “subtracted” set Λ0 and −α on Λ1
To construct resolvent of Hα,Σ we use Rk, the one of −∆,which is for k2 ∈ ρ(−∆) an integral operator with the kernel
Gk(x−y) =1
(2π)2
∫
R2
eip(x−y)
p2 − k2dp =
1
2πK0(ik|x−y|) ,
where K0(·) stands for the Macdonald functionLMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 60/87
![Page 126: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/126.jpg)
Krein’s formula, continuedA straightforward computation shows that the resolvent Rk
Σ
of Hα,Σ has the kernel GkΣ(x−y) given by
Gk(x−y) +α
4π3
∫
3
eipx−ip′y
(p2−k2)(p′2−k2)
τk(p1)
2τk(p1)−αdp dp′2 ,
where τk(p1) := (p21 − k2)1/2 and p = (p1, p2), p
′ = (p1, p′2)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 61/87
![Page 127: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/127.jpg)
Krein’s formula, continuedA straightforward computation shows that the resolvent Rk
Σ
of Hα,Σ has the kernel GkΣ(x−y) given by
Gk(x−y) +α
4π3
∫
3
eipx−ip′y
(p2−k2)(p′2−k2)
τk(p1)
2τk(p1)−αdp dp′2 ,
where τk(p1) := (p21 − k2)1/2 and p = (p1, p2), p
′ = (p1, p′2)
We need embeddings of RkΣ to L2(ν), where ν ≡ νΛ is the
Dirac measure on Λ. It can be written as νΛ = ν0 +∑N
i=1 νi,where ν0 is the Dirac measure on Λ0. It convenient also tointroduce the space h ≡ L2(ν) which decomposes into
h = h0 ⊕ h1 with h0 ≡ L2(ν0) and h1 ≡N⊕
i=1
L2(νi)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 61/87
![Page 128: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/128.jpg)
Embeddings
Now we are able to introduce the operator
RkΣ,ν : h→ L2 , Rk
Σ,νf = GkΣ ∗ fν for f ∈ h
defined for suitable values of k. Similarly, (RkΣ,ν)∗ : L2 → h is
its adjoint and RkΣ,νν denotes the operator-valued matrix in h
with the “block elements” GkΣ,ij ≡ Gk
Σ,νiνj: L2(νj)→ L2(νi)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 62/87
![Page 129: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/129.jpg)
Embeddings
Now we are able to introduce the operator
RkΣ,ν : h→ L2 , Rk
Σ,νf = GkΣ ∗ fν for f ∈ h
defined for suitable values of k. Similarly, (RkΣ,ν)∗ : L2 → h is
its adjoint and RkΣ,νν denotes the operator-valued matrix in h
with the “block elements” GkΣ,ij ≡ Gk
Σ,νiνj: L2(νj)→ L2(νi)
They have the following properties:
For any κ ∈ (α/2,∞) the operator RiκΣ,ν is bounded. In
fact, RiκΣ,ν is a continuous embedding into W 1,2
For any σ > 0 there exists κσ such that for κ > κσ theoperator Riκ
Σ,νν is bounded with the norm less than σ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 62/87
![Page 130: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/130.jpg)
Krein’s formula, continued
Introduce an operator-valued matrix in h = h0 ⊕ h1 as
Θk = −(α−1I + Rk
Σ,νν) with I =
(
I0 0
0 −I1
)
,
where Ii are the unit operators in hi. Using the properties ofthe embeddings we prove the following claim:
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 63/87
![Page 131: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/131.jpg)
Krein’s formula, continued
Introduce an operator-valued matrix in h = h0 ⊕ h1 as
Θk = −(α−1I + Rk
Σ,νν) with I =
(
I0 0
0 −I1
)
,
where Ii are the unit operators in hi. Using the properties ofthe embeddings we prove the following claim:
Proposition: Let Θk have inverse in B(h) for k ∈ C+ and
suppose that the operator
RkΓ = Rk
Σ + RkΣ,ν(Θk)−1(Rk
Σ,ν)∗
is defined everywhere on L2. Then k2 belongs to ρ(Hα,Γ)
and the resolvent (Hα,Γ − k2)−1 is given by RkΓ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 63/87
![Page 132: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/132.jpg)
Wave operators
The existence and completeness of wave operators forthe pair (Hα,Γ, Hα,Σ) follows from the standard trace-classcriterion, conventionally called Birman-Kuroda theorem.Specifically, we have
Theorem [E-Kondej’05]: Biκ is a trace class operator for κsufficiently large
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 64/87
![Page 133: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/133.jpg)
Wave operators
The existence and completeness of wave operators forthe pair (Hα,Γ, Hα,Σ) follows from the standard trace-classcriterion, conventionally called Birman-Kuroda theorem.Specifically, we have
Theorem [E-Kondej’05]: Biκ is a trace class operator for κsufficiently large
Proof is inspired by [Brasche-Teta’92]. We use the estimate(Θiκ)−1 ≤ C ′(Θiκ,+)−1, where Θiκ,+ := α−1
I + RiκΣ,νν and I is
the (N + 1)× (N + 1) unit matrix, for some C ′ > 0 and all κsufficiently large; it is clear that (Θiκ,+)−1 is positive andbounded. This gives
Biκ ≤ C ′Biκ,+ , Biκ,+ := RiκΣ,ν(Θiκ,+)−1(Riκ
Σ,ν)∗
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 64/87
![Page 134: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/134.jpg)
Proof, continuedDefine Biκ,+
δ as integral operator with the kernel
Biκ,+δ (x, y) = χδ(x)B
iκ,+(x, y)χδ(y) ,
where χδ stands for the indicator function of the ball B(0, δ);one has Biκ,+
δ → Biκ,+ as δ →∞ in the weak sense.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 65/87
![Page 135: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/135.jpg)
Proof, continuedDefine Biκ,+
δ as integral operator with the kernel
Biκ,+δ (x, y) = χδ(x)B
iκ,+(x, y)χδ(y) ,
where χδ stands for the indicator function of the ball B(0, δ);one has Biκ,+
δ → Biκ,+ as δ →∞ in the weak sense.Then∫
R2
Biκ,+δ (x, x)dx =
∫
R2
(GiκΣ (·, x)χδ(x), (Θ
iκ,+)−1GiκΣ (·, x)χδ(x))h dx
≤ ‖(Θiκ,+)−1‖∫
R2
‖GiκΣ (·, x)χδ(x)‖2h dx ≤ C‖(Θiκ,+)−1‖ ,
hence Biκ,+δ is trace class for any δ > 0, and the same is
true for the limiting operator.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 65/87
![Page 136: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/136.jpg)
Proof, continuedDefine Biκ,+
δ as integral operator with the kernel
Biκ,+δ (x, y) = χδ(x)B
iκ,+(x, y)χδ(y) ,
where χδ stands for the indicator function of the ball B(0, δ);one has Biκ,+
δ → Biκ,+ as δ →∞ in the weak sense.Then∫
R2
Biκ,+δ (x, x)dx =
∫
R2
(GiκΣ (·, x)χδ(x), (Θ
iκ,+)−1GiκΣ (·, x)χδ(x))h dx
≤ ‖(Θiκ,+)−1‖∫
R2
‖GiκΣ (·, x)χδ(x)‖2h dx ≤ C‖(Θiκ,+)−1‖ ,
hence Biκ,+δ is trace class for any δ > 0, and the same is
true for the limiting operator.
Similarly one finds a Hermitian trace class operator Biκ,−
which provides an estimate from below, Biκ,− ≤ Biκ; thismeans that Biκ is a trace class operator too. �
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 65/87
![Page 137: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/137.jpg)
Generalized eigenfunctionsWe want to find the S-matrix, Sψ−
λ = ψ+λ , for scattering in
the negative part of the spectrum with a fixed energyλ ∈ (−1
4α2, 0) corresponding to the effective momentum
kα(λ) := (λ+ α2/4)1/2. We employ generalized ef’s of Hα,Σ,
ωλ(x1, x2) = ei(λ+α2/4)1/2x1e−α|x2|/2 ,
their analogues ωz for complex energies and regularizationsωδ
z(x) = e−δx2
1ωz(x) for z ∈ ρ(Hα,Σ), belonging to D(Hα,Σ).
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 66/87
![Page 138: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/138.jpg)
Generalized eigenfunctionsWe want to find the S-matrix, Sψ−
λ = ψ+λ , for scattering in
the negative part of the spectrum with a fixed energyλ ∈ (−1
4α2, 0) corresponding to the effective momentum
kα(λ) := (λ+ α2/4)1/2. We employ generalized ef’s of Hα,Σ,
ωλ(x1, x2) = ei(λ+α2/4)1/2x1e−α|x2|/2 ,
their analogues ωz for complex energies and regularizationsωδ
z(x) = e−δx2
1ωz(x) for z ∈ ρ(Hα,Σ), belonging to D(Hα,Σ).
Consider now ψδz such that (Hα,Γ − z)ψδ
z = (Hα,Σ − z)ωδz .
After taking the limit limǫ→0 ψδλ+iǫ = ψδ
λ in the topology of L2
the function ψδλ still belongs to D(Hα,Σ) and we have
ψδλ = ωδ
λ + Rkα(λ)Σ,ν (Θkα(λ))−1IΛω
δλ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 66/87
![Page 139: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/139.jpg)
Generalized eigenfunctions, continued
Here Rkα(λ)Σ,ν is integral operator on the Hilbert space h with
the kernel Gkα(λ)Σ (x−y) := limε→0G
kα(λ+iε)Σ (x−y) and
Θkα(λ) := −α−1I− R
kα(λ)Σ,νν are the operators on h with R
kα(λ)Σ,νν
being the natural embedding . By a direct computation, thekernel is found to be
Gkα(λ)Σ (x−y) = K0(i
√λ|x−y|)
+P∫ ∞
0
µ0(t;x, y)
t− λ− α2/4dt+ sα(λ) eikα(λ)|x1−y1| e−α/2(|x2|+|y2|),
where sα(λ) := iα(23kα(λ))−1 and
µ0(t;x, y) := − iα
25π
eit1/2(x1−y1) e−(t−λ)1/2(|x2|+|y2|)1/2
t1/2((t− λ)1/2).
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 67/87
![Page 140: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/140.jpg)
Generalized eigenfunctions, continued
Of course, the pointwise limits ψλ = limδ→0 ψδλ cease to L2,
however, they still belong to L2 locally and provide us withthe generalized eigenfunction of Hα,Γ in the form
ψλ = ωλ + Rkα(λ)Σ,ν (Θkα(λ))−1JΛωλ ,
where JΛωλ is an embedding of ωλ to L2(νΛ)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 68/87
![Page 141: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/141.jpg)
Generalized eigenfunctions, continued
Of course, the pointwise limits ψλ = limδ→0 ψδλ cease to L2,
however, they still belong to L2 locally and provide us withthe generalized eigenfunction of Hα,Γ in the form
ψλ = ωλ + Rkα(λ)Σ,ν (Θkα(λ))−1JΛωλ ,
where JΛωλ is an embedding of ωλ to L2(νΛ)
To find the S-matrix we have to investigate the behavior ofψλ for |x1| → ∞. By a direct computation, we find that for yof a compact M ⊂ R
2 and |x1| → ∞ we have
Gkα(λ)Σ (x−y) ≈ sα(λ) eikα(λ)|x1−y1| e−α/2(|x2|+|y2|)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 68/87
![Page 142: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/142.jpg)
S-matrix at negative energyUsing this asymptotics we find the sought on-shell S-matrix:
Theorem [E-Kondej’05]: For a fixed λ ∈ (−14α
2, 0) thegeneralized eigenfunctions behave asymptotically as
ψλ(x) ≈
T (λ) eikα(λ)x1 e−α|x2|/2 for x1 →∞
eikα(λ)x1e−α|x2|/2 +R(λ) e−ikα(λ)x1e−α|x2|/2 for x1 → −∞
where kα(λ) := (λ+ α2/4)1/2 and the transmission andreflection amplitudes T (λ) ,R(λ) are given respectively by
T (λ) = 1− sα(λ)(
(Θkα(λ))−1JΛωλ, JΛωλ
)
h
andR(λ) = sα(λ)
(
(Θkα(λ))−1JΛωλ, JΛωλ
)
h
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 69/87
![Page 143: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/143.jpg)
Strong coupling: a conjecture
Consider Γ which is a C4-smooth local deformation of aline. In analogy with the spectral result of [E-Yoshitomi’01]quoted above one expects that in strong coupling case thescattering will be determined in the leading order by thelocal geometry of Γ through the same comparison operator,namely KΓ := − d
ds2 − 14γ(s)
2 on L2(R).
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 70/87
![Page 144: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/144.jpg)
Strong coupling: a conjecture
Consider Γ which is a C4-smooth local deformation of aline. In analogy with the spectral result of [E-Yoshitomi’01]quoted above one expects that in strong coupling case thescattering will be determined in the leading order by thelocal geometry of Γ through the same comparison operator,namely KΓ := − d
ds2 − 14γ(s)
2 on L2(R).
Let TK(k), RK(k) be the corresponding transmission andreflection amplitudes at a fixed momentum k. Denote bySΓ,α(λ) and SK(λ) the on-shell S−matrixes of Hα,Γ and Kat energy λ, respectively.
Conjecture: For a fixed k 6= 0 and α→∞ we have therelation
SΓ,α
(
k2 − 1
4α2)
→ SK(k2)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 70/87
![Page 145: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/145.jpg)
How can one find the spectrum?
The above general results do not tell us how to find thespectrum for a particular Γ. There are various possibilities:
Direct solution of the PDE problem Hα,Γψ = λψ isfeasible in a few simple examples only
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 71/87
![Page 146: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/146.jpg)
How can one find the spectrum?
The above general results do not tell us how to find thespectrum for a particular Γ. There are various possibilities:
Direct solution of the PDE problem Hα,Γψ = λψ isfeasible in a few simple examples only
Using trace maps of Rk ≡ (−∆− k2)−1 and thegeneralized BS principle
Rk := Rk0 + αRk
dx,m[I − αRkm,m]−1Rk
m,dx ,
where m is δ measure on Γ, we pass to a 1D integraloperator problem, αRk
m,mψ = ψ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 71/87
![Page 147: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/147.jpg)
How can one find the spectrum?
The above general results do not tell us how to find thespectrum for a particular Γ. There are various possibilities:
Direct solution of the PDE problem Hα,Γψ = λψ isfeasible in a few simple examples only
Using trace maps of Rk ≡ (−∆− k2)−1 and thegeneralized BS principle
Rk := Rk0 + αRk
dx,m[I − αRkm,m]−1Rk
m,dx ,
where m is δ measure on Γ, we pass to a 1D integraloperator problem, αRk
m,mψ = ψ
discretization of the latter which amounts to apoint-interaction approximations to Hα,Γ
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 71/87
![Page 148: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/148.jpg)
2D point interactions
Such an interaction at the point a with the “couplingconstant” α is defined by b.c. which change locally thedomain of −∆: the functions behave as
ψ(x) = − 1
2πlog |x− a|L0(ψ, a) + L1(ψ, a) +O(|x− a|) ,
where the generalized b.v. L0(ψ, a) and L1(ψ, a) satisfy
L1(ψ, a) + 2παL0(ψ, a) = 0 , α ∈ R
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 72/87
![Page 149: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/149.jpg)
2D point interactions
Such an interaction at the point a with the “couplingconstant” α is defined by b.c. which change locally thedomain of −∆: the functions behave as
ψ(x) = − 1
2πlog |x− a|L0(ψ, a) + L1(ψ, a) +O(|x− a|) ,
where the generalized b.v. L0(ψ, a) and L1(ψ, a) satisfy
L1(ψ, a) + 2παL0(ψ, a) = 0 , α ∈ R
For our purpose, the coupling should depend on the set Yapproximating Γ. To see how compare a line Γ with thesolvable straight-polymer model [AGHH]
← r r r r r r r rαn
ℓ/n
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 72/87
![Page 150: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/150.jpg)
2D point-interaction approximation
Spectral threshold convergence requires αn = αn whichmeans that individual point interactions get weaker . Hencewe approximate Hα,Γ by point-interaction HamiltoniansHαn,Yn
with αn = α|Yn|, where |Yn| := ♯Yn.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 73/87
![Page 151: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/151.jpg)
2D point-interaction approximation
Spectral threshold convergence requires αn = αn whichmeans that individual point interactions get weaker . Hencewe approximate Hα,Γ by point-interaction HamiltoniansHαn,Yn
with αn = α|Yn|, where |Yn| := ♯Yn.
Theorem [E-Nemcová’03]: Let a family {Yn} of finite setsYn ⊂ Γ ⊂ R
2 be such that
1
|Yn|∑
y∈Yn
f(y) →∫
Γf dm
holds for any bounded continuous function f : Γ→ C,together with technical conditions, then Hαn,Yn
→ Hα,Γ
in the strong resolvent sense as n→∞.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 73/87
![Page 152: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/152.jpg)
Comments on the approximation
A more general result is valid: Γ need not be a graphand the coupling may be non-constant; also a magneticfield can be added [Ožanová’06] (=Nemcová)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 74/87
![Page 153: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/153.jpg)
Comments on the approximation
A more general result is valid: Γ need not be a graphand the coupling may be non-constant; also a magneticfield can be added [Ožanová’06] (=Nemcová)
The result applies to finite graphs, however, an infinite Γcan be approximated in strong resolvent sense by afamily of cut-off graphs
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 74/87
![Page 154: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/154.jpg)
Comments on the approximation
A more general result is valid: Γ need not be a graphand the coupling may be non-constant; also a magneticfield can be added [Ožanová’06] (=Nemcová)
The result applies to finite graphs, however, an infinite Γcan be approximated in strong resolvent sense by afamily of cut-off graphs
The idea is due to [Brasche-Figari-Teta’98], whoanalyzed point-interaction approximations of measureperturbations with codim Γ = 1 in R
3. There aredifferences, however, for instance in the 2D case wecan approximate attractive interactions only
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 74/87
![Page 155: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/155.jpg)
Comments on the approximation
A more general result is valid: Γ need not be a graphand the coupling may be non-constant; also a magneticfield can be added [Ožanová’06] (=Nemcová)
The result applies to finite graphs, however, an infinite Γcan be approximated in strong resolvent sense by afamily of cut-off graphs
The idea is due to [Brasche-Figari-Teta’98], whoanalyzed point-interaction approximations of measureperturbations with codim Γ = 1 in R
3. There aredifferences, however, for instance in the 2D case wecan approximate attractive interactions only
A uniform resolvent convergence can be achievedin this scheme if the term −ε2∆2 is added to theHamiltonian [Brasche-Ožanová’06]
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 74/87
![Page 156: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/156.jpg)
Scheme of the proof
Resolvent of Hαn,Ynis given Krein’s formula. Given
k2 ∈ ρ(Hαn,Yn) define |Yn| × |Yn| matrix by
Λαn,Yn(k2;x, y) =
1
2π
[
2π|Yn|α+ ln
(
ik
2
)
+ γE
]
δxy
−Gk(x−y) (1−δxy)
for x, y ∈ Yn, where γE is Euler’ constant.
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 75/87
![Page 157: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/157.jpg)
Scheme of the proof
Resolvent of Hαn,Ynis given Krein’s formula. Given
k2 ∈ ρ(Hαn,Yn) define |Yn| × |Yn| matrix by
Λαn,Yn(k2;x, y) =
1
2π
[
2π|Yn|α+ ln
(
ik
2
)
+ γE
]
δxy
−Gk(x−y) (1−δxy)
for x, y ∈ Yn, where γE is Euler’ constant. Then
(Hαn,Yn− k2)−1(x, y) = Gk(x−y)
+∑
x′,y′∈Yn
[
Λαn,Yn(k2)
]−1(x′, y′)Gk(x−x′)Gk(y−y′)
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 75/87
![Page 158: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/158.jpg)
Scheme of the proof
Resolvent of Hα,Γ is given by the generalized BS formulagiven above; one has to check directly that the difference ofthe two vanishes as n→∞ �
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 76/87
![Page 159: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/159.jpg)
Scheme of the proof
Resolvent of Hα,Γ is given by the generalized BS formulagiven above; one has to check directly that the difference ofthe two vanishes as n→∞ �
Remarks:
Spectral condition in the n-th approximation, i.e.det Λαn,Yn
(k2) = 0, is a discretization of the integralequation coming from the generalized BS principleA solution to Λαn,Yn
(k2)η = 0 determines theapproximating ef by ψ(x) =
∑
yj∈YnηjGk(x− yj)
A match with solvable models illustrates theconvergence and shows that it is not fast, slowerthan n−1 in the eigenvalues. This comes from singular“spikes” in the approximating functions
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 76/87
![Page 160: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/160.jpg)
Something more on resonances
Consider infinite curves Γ, straight outside a compact, andask for examples of resonances. Recall the L2-approach: in1D potential scattering one explores spectral properties ofthe problem cut to a finite length L. It is time-honored trickthat scattering resonances are manifested as avoidedcrossings in L dependence of the spectrum – for a recentproof see [Hagedorn-Meller’00]. Try the same here:
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 77/87
![Page 161: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/161.jpg)
Something more on resonances
Consider infinite curves Γ, straight outside a compact, andask for examples of resonances. Recall the L2-approach: in1D potential scattering one explores spectral properties ofthe problem cut to a finite length L. It is time-honored trickthat scattering resonances are manifested as avoidedcrossings in L dependence of the spectrum – for a recentproof see [Hagedorn-Meller’00]. Try the same here:
Broken line: absence of “intrinsic” resonances due lackof higher transverse thresholds
Z-shaped Γ: if a single bend has a significant reflection,a double band should exhibit resonances
Bottleneck curve: a good candidate to demonstratetunneling resonances
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 77/87
![Page 162: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/162.jpg)
Broken line
α = 1
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 78/87
![Page 163: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/163.jpg)
Broken line
α = 1
10 20 30 40 50 60
−0.25
−0.2
−0.15
−0.1
−0.05
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 78/87
![Page 164: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/164.jpg)
Z shape with θ =π2
α = 5
Lc = 10
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 79/87
![Page 165: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/165.jpg)
Z shape with θ =π2
α = 5
Lc = 10
0 2 4 6 8 10 12−4
−3.5
−3
−2.5
−2
−1.5
−1
−0.5
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 79/87
![Page 166: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/166.jpg)
Z shape with θ = 0.32π
���α = 5
Lc = 10
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 80/87
![Page 167: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/167.jpg)
Z shape with θ = 0.32π
���α = 5
Lc = 10
0 2 4 6 8 10 12−5
−4.5
−4
−3.5
−3
−2.5
−2
−1.5
−1
−0.5
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 80/87
![Page 168: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/168.jpg)
A bottleneck curve
Consider a straight line defor-mation which shaped as anopen loop with a bottleneck thewidth a of which we will vary
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 81/87
![Page 169: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/169.jpg)
A bottleneck curve
Consider a straight line defor-mation which shaped as anopen loop with a bottleneck thewidth a of which we will vary ←→ a
← → ← →L L
If Γ is a straight line, the transverse eigenfunction ise−α|y|/2, hence the distance at which tunneling becomessignificant is ≈ 4α−1. In the example, we choose α = 1
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 81/87
![Page 170: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/170.jpg)
Bottleneck with a = 5.2
0 10 20 30 40 50 60−0.25
−0.2
−0.15
−0.1
−0.05
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 82/87
![Page 171: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/171.jpg)
Bottleneck with a = 2.9
0 10 20 30 40 50 60
−0.25
−0.2
−0.15
−0.1
−0.05
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 83/87
![Page 172: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/172.jpg)
Bottleneck with a = 1.9
0 10 20 30 40 50 60
−0.25
−0.2
−0.15
−0.1
−0.05
0
L
E
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 84/87
![Page 173: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/173.jpg)
Some references[AGHH’05] S. Albeverio, F. Gesztesy, R. Høegh-Krohn, H. Holden, Solvable Models in
Quantum Mechanics, 2nd edition, AMS Chelsea, Providence, RI, 2005
[BFT’98] J.F. Brasche, R. Figari, A. Teta: Singular Schrödinger operators as limits of pointinteraction Hamiltonians, Potential Anal. 8 (1998), 163-178
[BO’06] J.F. Brasche, K. Ožanová: Convergence of Schrödinger operators,math-ph/0511029
[BT’92] J.F. Brasche, A. Teta: Spectral analysis and scattering theory for Schrödingeroperators with an interaction supported by a regular curve, in Ideas and Methods inQuantum and Statistical Physics, ed. S. Albeverio, et al., CUP 1992, pp. 197-211
[EK’05] P.E., S. Kondej: Scattering by local deformations of a straight leaky wire, J. Phys.A38 (2005), 4865-4874
[EN’03] P.E., K. Nemcová: Leaky quantum graphs: approximations by point interactionHamiltonians, J. Phys. A36 (2003), 10173-10193
[HM’00] G.A. Hagedorn, B. Meller: Resonances in a box, J. Math. Phys. 41 (2000), 103-117
[Ož’06] K. Ožanová: Approximation by point potentials in a magnetic field , J. Phys. A39
(2006), 3071-3083
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 85/87
![Page 174: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/174.jpg)
Summarizing Lecture V
“Leaky” graphs are a more realistic model of graph-likenanostructures because they take quantum tunnelinginto account
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 86/87
![Page 175: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/175.jpg)
Summarizing Lecture V
“Leaky” graphs are a more realistic model of graph-likenanostructures because they take quantum tunnelinginto account
Geometry plays essential role in determining spectraland scattering properties of such systems
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 86/87
![Page 176: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/176.jpg)
Summarizing Lecture V
“Leaky” graphs are a more realistic model of graph-likenanostructures because they take quantum tunnelinginto account
Geometry plays essential role in determining spectraland scattering properties of such systems
There are efficient numerical methods to determinespectra of leaky graphs
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 86/87
![Page 177: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/177.jpg)
Summarizing Lecture V
“Leaky” graphs are a more realistic model of graph-likenanostructures because they take quantum tunnelinginto account
Geometry plays essential role in determining spectraland scattering properties of such systems
There are efficient numerical methods to determinespectra of leaky graphs
Rigorous results on spectra and scattering are availableso far in simple situations only
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 86/87
![Page 178: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/178.jpg)
Summarizing Lecture V
“Leaky” graphs are a more realistic model of graph-likenanostructures because they take quantum tunnelinginto account
Geometry plays essential role in determining spectraland scattering properties of such systems
There are efficient numerical methods to determinespectra of leaky graphs
Rigorous results on spectra and scattering are availableso far in simple situations only
The theory described in the lecture is far from complete,various open questions persist
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 86/87
![Page 179: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/179.jpg)
Summarizing the course
Quantum graphs and various generalizations of themoffer a wide variety of solvable models
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 87/87
![Page 180: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/180.jpg)
Summarizing the course
Quantum graphs and various generalizations of themoffer a wide variety of solvable models
They describe numerous systems of physicalimportance, both of quantum and classical nature
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 87/87
![Page 181: Quantum graphs and their applications - NPI Rezgemma.ujf.cas.cz/~exner/Talks/gregynog07p.pdfQuantum graphs and their applications Part II, following lectures by Peter Kuchment Pavel](https://reader034.vdocument.in/reader034/viewer/2022050514/5f9ecd0b7728486cd2536f14/html5/thumbnails/181.jpg)
Summarizing the course
Quantum graphs and various generalizations of themoffer a wide variety of solvable models
They describe numerous systems of physicalimportance, both of quantum and classical nature
The field offers many open questions, some of themdifficult, presenting thus a challenge for ambitiousyoung people
LMS/EPSRC Short Course Analysis on Graphs and its Applications ; Gregynog Hall, University of Wales, January 10-15, 2007 – p. 87/87