commutators, eigenvalues, and quantum mechanics · pdf filecommutators, eigenvalues, and...
TRANSCRIPT
![Page 1: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/1.jpg)
Commutators,eigenvalues,
andquantum mechanics
on surfaces.Evans HarrellGeorgia Tech
www.math.gatech.edu/~harrell
Tucson and Tours, 2004
![Page 2: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/2.jpg)
Dramatis personae
![Page 3: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/3.jpg)
Dramatis personae
• Commutator [A,B] = AB - BA
![Page 4: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/4.jpg)
Dramatis personae
• Commutator [A,B] = AB - BA
• The “nano” world
![Page 5: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/5.jpg)
Dramatis personae
• Commutator [A,B] = AB - BA
• The “nano” world
• Curvature
![Page 6: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/6.jpg)
Eigenvalues
• H uk = λ uk
• For simplicity, the spectrum will often beassumed to be discrete. For example, theoperators might be defined on boundedregions.
![Page 7: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/7.jpg)
Eigenvalues
• Laplacian - squares of frequencies ofnormal modes of vibration(acoustics/electromagnetics, etc.)
![Page 8: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/8.jpg)
Eigenvalues
• Laplacian - squares of frequencies ofnormal modes of vibration(acoustics/electromagnetics, etc.)
• Schrödinger Operator - energies of an atomor quantum system.
![Page 9: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/9.jpg)
The spectral theorem for a general self-adjoint operator
• The spectrum can be any closed subset of R.
![Page 10: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/10.jpg)
The spectral theorem for a general self-adjoint operator
• For each u, there exists a measure µ, such that
![Page 11: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/11.jpg)
The spectral theorem for a general self-adjoint operator
• Implication:
– If f(λ) ≥ g(λ) on the spectrum, then
– <u, f(H) u> ≥ <u, g(H) u>
![Page 12: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/12.jpg)
The spectrum of H
• For Laplace or Schrödinger not just any oldset of numbers can be the spectrum!
![Page 13: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/13.jpg)
“Universal” constraints on the spectrum
• H. Weyl, 1910, Laplace, λn ~ n2/d
![Page 14: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/14.jpg)
“Universal” constraints on the spectrum• H. Weyl, 1910, Laplace, λn ~ n2/d
• W. Kuhn, F. Reiche, W. Thomas, W. Heisenberg,1925, “sum rules” for atomic energies.
![Page 15: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/15.jpg)
“Universal” constraints on the spectrum• H. Weyl, 1910, Laplace, λn ~ n2/d
• W. Kuhn, F. Reiche, W. Thomas, W. Heisenberg,1925, “sum rules” for atomic energies.
• L. Payne, G. Pólya, H. Weinberger, 1956: Thegap is controlled by the average of the smallereigenvalues:
![Page 16: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/16.jpg)
“Universal” constraints on the spectrum• H. Weyl, 1910, Laplace, λn ~ n2/d
• W. Kuhn, F. Reiche, W. Thomas, W. Heisenberg,1925, “sum rules” for atomic energies.
• L. Payne, G. Pólya, H. Weinberger, 1956: Thegap is controlled by the average of the smallereigenvalues:
• E. Lieb and W. Thirring, 1977, P. Li, S.T. Yau,1983, sums of powers of eigenvalues, in terms ofthe phase-space volume.
![Page 17: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/17.jpg)
“Universal” constraints on the spectrum• H. Weyl, 1910, Laplace, λn ~ n2/d
• W. Kuhn, F. Reiche, W. Thomas, W. Heisenberg, 1925,“sum rules” for atomic energies.
• L. Payne, G. Pólya, H. Weinberger, 1956: The gap iscontrolled by the average of the smaller eigenvalues:
• E. Lieb and W. Thirring, 1977, P. Li, S.T. Yau, 1983,sums of powers of eigenvalues, in terms of the phase-spacevolume.
• Hile-Protter, 1980, Like PPW, but morecomplicated.
![Page 18: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/18.jpg)
PPW vs. HP• L. Payne, G. Pólya, H. Weinberger, 1956:
• Hile-Protter, 1980:
![Page 19: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/19.jpg)
The universal industry after PPW
• Ashbaugh-Benguria 1991, proof of theisoperimetric conjecture of PPW.
![Page 20: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/20.jpg)
![Page 21: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/21.jpg)
“Universal” constraints on eigenvalues
• Ashbaugh-Benguria 1991, isoperimetric conjecture ofPPW proved.
• H. Yang 1991-5, unpublished, complicated formulae likePPW, respecting Weyl asymptotics.
• Harrell, Harrell-Michel, Harrell-Stubbe, 1993-present,commutators.
• Hermi PhD thesis• Levitin-Parnovsky, 2001?
![Page 22: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/22.jpg)
In this industry….
![Page 23: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/23.jpg)
In this industry….
1. The arguments have varied, but alwaysessentially algebraic.
![Page 24: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/24.jpg)
In this industry….
1. The arguments have varied, but alwaysessentially algebraic.
2. Geometry often shows up - isoperimetrictheorems, etc.
![Page 25: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/25.jpg)
On a (hyper) surface,what object is most like
the Laplacian?
(Δ = the good old flat scalar Laplacian of Laplace)
![Page 26: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/26.jpg)
• Answer #1 (Beltrami’s answer): Consideronly tangential variations.
• At a fixed point, orient Cartesian x0 with thenormal, then calculate
![Page 27: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/27.jpg)
Difficulty:
• The Laplace-Beltrami operator is anintrinsic object, and as such is unawarethat the surface is immersed!
![Page 28: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/28.jpg)
Answer #2The nanophysicists’ answer
• E.g., Da Costa, Phys. Rev. A 1981
![Page 29: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/29.jpg)
Answer #2:
- ΔLB + q,
Where the effective potential q responds tohow the surface is immersed in space.
![Page 30: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/30.jpg)
Nanoelectronics
• Nanoscale = 10-1000 X width of atom
![Page 31: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/31.jpg)
Nanoelectronics
• Nanoscale = 10-1000 X width of atom
• Foreseen by Feynman in 1960s
![Page 32: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/32.jpg)
Nanoelectronics
• Nanoscale = 10-1000 X width of atom
• Foreseen by Feynman in 1960s
• Laboratories by 1990.
![Page 33: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/33.jpg)
Nanoelectronics
• Quantum wires - etched semiconductors,wires of gold in carbon nanotubes.
![Page 34: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/34.jpg)
Nanoelectronics
• Quantum wires• Quantum waveguides - macroscopic in two
dimensions, nanoscale in the width
![Page 35: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/35.jpg)
Nanoelectronics
• Quantum wires• Quantum waveguides• Designer potentials - STM places individual
atoms on a surface
![Page 36: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/36.jpg)
• Answer #2 (The nanoanswer):
- ΔLB + q
• Since Da Costa, PRA, 1981: Perform asingular limit and renormalization toattain the surface as the limit of a thindomain.
![Page 37: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/37.jpg)
Thin domain of fixed widthvariable r= distance from edge
Energy form in separated variables:
![Page 38: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/38.jpg)
Energy form in separated variables:
First term is the energy form of Laplace-Beltrami.
Conjugate second term so as to replace it by a potential.
![Page 39: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/39.jpg)
Some subtleties
• The limit is singular - change of dimension.• If the particle is confined e.g. by Dirichlet
boundary conditions, the energies alldiverge to +infinity
• “Renormalization” is performed to separatethe divergent part of the operator.
![Page 40: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/40.jpg)
The result:
- ΔLB + q,
![Page 41: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/41.jpg)
Principal curvatures
![Page 42: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/42.jpg)
The result:
- ΔLB + q,
d=1, q = -κ2/4 ≤ 0 d=2, q = - (κ1-κ2)2/4 ≤ 0
![Page 43: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/43.jpg)
Consequence of q(x) ≤ 0:
![Page 44: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/44.jpg)
Consequence of q(x) ≤ 0:
• If there is any bending at all, and the wire orwaveguide is large and asymptotically flat,then there is always a bound state below theconduction level.
![Page 45: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/45.jpg)
Consequence of q(x) ≤ 0:
• If there is any bending at all, and the wire orwaveguide is large and asymptotically flat,then there is always a bound state below theconduction level.
• By bending or straightening the wire,current can be switched off or on.
![Page 46: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/46.jpg)
Difficulty:
• Tied to a particular physical model -other effective potentials arise from otherphysical models or limits.
![Page 47: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/47.jpg)
Some other answers
• In other physical situations, such asreaction-diffusion, q(x) may be otherquadratic expressions in the curvature,usually q(x) ≤ 0.
• The conformal answer: q(x) is amultiple of the scalar curvature.
![Page 48: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/48.jpg)
Heisenberg's Answer(if he had thought about it)
![Page 49: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/49.jpg)
Heisenberg's Answer(if he had thought about it)
Note: q(x) ≥ 0 !
![Page 50: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/50.jpg)
Commutators: [A,B] := AB-BA
![Page 51: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/51.jpg)
Commutators: [A,B] := AB-BA
1. Quantum mechanics is the effect that observables do not commute:
![Page 52: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/52.jpg)
• Canonical commutation:
[Q, P] = i
• Equations of motion, “Heisenberg picture”
![Page 53: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/53.jpg)
Canonical commutation
[Q, P] = i
= 1
Represented by Q = x, P = - i d/dxCanonical commutation is then justthe product rule:
Set
![Page 54: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/54.jpg)
Commutators: [A,B] := AB-BA2. Eigenvalue gaps are connected to commutators:
H uk = λk uk , H self-adjoint
Elementary gap formula:
![Page 55: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/55.jpg)
Commutators: [A,B] := AB-BA
![Page 56: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/56.jpg)
What do you get whenyou put canonical
commutation togetherwith the gap formula?
![Page 57: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/57.jpg)
Commutators and gaps
![Page 58: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/58.jpg)
The fundamental eigenvalue gap
• In quantum mechanics, an excitation energy• In “spectral geometry” a geometric quantity small gaps indicate decoupling (dumbbells) (Cheeger, Yang-Yau, etc.) large gaps indicate convexity/isoperimetric (Ashbaugh-Benguria)
Γ := λ2 - λ1
![Page 59: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/59.jpg)
Gap Lemma
H = your favorite self-adjoint operator, u1 thefundamental eigenfunction, and G is whatever youwant.
![Page 60: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/60.jpg)
Gap Lemma
H = your favorite self-adjoint operator, u1 thefundamental eigenfunction, and G is whatever youwant. CHOOSE IT WELL!
![Page 61: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/61.jpg)
Commutators and gaps
![Page 62: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/62.jpg)
Commutators and gaps
![Page 63: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/63.jpg)
Commutators and gaps
![Page 64: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/64.jpg)
![Page 65: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/65.jpg)
But on the spectrum, (λ - λ1) (λ2 - λ1) ≤ (λ - λ1)2
![Page 66: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/66.jpg)
Universal Bounds using Commutators
– Play off canonical commutation relationsagainst the specific form of the operator:
H = p2 + V(x)– Insert projections, take traces.
![Page 67: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/67.jpg)
Universal Bounds using Commutators
• A “sum rule” identity (Harrell-Stubbe, 1997):
Here, H is any Schrödinger operator, p is the gradient(times -i if you are a physicist and you use atomic units)
![Page 68: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/68.jpg)
Universal Bounds with Commutators
• Compare with Hile-Protter:
![Page 69: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/69.jpg)
Universal Bounds with Commutators
• No sum on j - multiply by f(λj), sum andsymmetrize
• Numerator only kinetic energy - nopotential.
![Page 70: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/70.jpg)
Among the consequences:
• All gaps: [λn,λn+1] ⊆ [λ-(n),λ+(n)], where
• The constant σ is a bound for the kineticenergy/total energy. (σ=1 for Laplace, but1/2 for the harmonic oscillator)
![Page 71: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/71.jpg)
Among the consequences:
• All gaps: [λn,λn+1] ⊆ [λ-(n),λ+(n)], where
• Dn is a statistical quantity calculated fromthe lower eigenvalues.
![Page 72: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/72.jpg)
Among the consequences:
• All gaps: [λn,λn+1] ⊆ [λ-(n),λ+(n)], where
• Sharp for the harmonic oscillator for all n!
![Page 73: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/73.jpg)
And now for some completelydifferent commutators….
![Page 74: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/74.jpg)
Commutators: [A,B] := AB-BA3. Curvature is the effect that motions do not commute:
![Page 75: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/75.jpg)
Commutators: [A,B] := AB-BA
• More formally (from, e.g., Chavel,Riemannian Geometry, A ModernIntroduction: Given vector fields X,Y,Zand a connection ∇, the curvature tensor isgiven by:
R(X,Y) = [∇Y ,∇X ] - ∇[Y,X]
![Page 76: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/76.jpg)
Commutators: [A,B] := AB-BA3a. The equations of space curves are commutators:
![Page 77: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/77.jpg)
Commutators: [A,B] := AB-BA3a. The equations of space curves are commutators:
![Page 78: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/78.jpg)
Commutators: [A,B] := AB-BA3a. The equations of space curves are commutators:
Note: curvature is defined by a second commutator
![Page 79: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/79.jpg)
The Serret-Frenet equations ascommutator relations:
![Page 80: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/80.jpg)
Sum on m and integrate. QED
![Page 81: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/81.jpg)
Sum on m and integrate. QED
![Page 82: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/82.jpg)
Interpretation:
Algebraically, for quantum mechanics on awire, the natural H0 is not
p2,
but rather
H1/4 := p2 + κ2/4.
![Page 83: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/83.jpg)
![Page 84: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/84.jpg)
That is, the gap for any H iscontrolled by an expectation valueof H1/4.
![Page 85: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/85.jpg)
![Page 86: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/86.jpg)
Bound is sharp for the circle:
![Page 87: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/87.jpg)
Gap bounds for (hyper) surfaces
Here h is the sum of the principal curvatures.
![Page 88: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/88.jpg)
where
![Page 89: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/89.jpg)
Bound is sharp for the sphere:
![Page 90: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/90.jpg)
Spinorial CanonicalCommutation
![Page 91: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/91.jpg)
Spinorial CanonicalCommutation
![Page 92: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/92.jpg)
Sum Rules
![Page 93: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/93.jpg)
Corollaries of sum rules
• Sharp universal bounds for all gaps
• Some estimates of partition function Z(t) = ∑ exp(-t λk)
![Page 94: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/94.jpg)
Speculations and open problems
• Can one obtain/improve Lieb-Thirring bounds as aconsequence of sum rules?
• Full understanding of spectrum of Hg. What spectral data needed to determine the curve? What is the bifurcation value for the minimizer of λ1?• Physical understanding of Hg and of the spinorial operators
it is related to.
![Page 95: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/95.jpg)
Sharp universal boundfor all gaps
![Page 96: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/96.jpg)
Partition function
Z(t) := tr(exp(-tH)).
![Page 97: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/97.jpg)
Partition function
![Page 98: Commutators, eigenvalues, and quantum mechanics · PDF fileCommutators, eigenvalues, and quantum mechanics on surfaces. Evans Harrell Georgia Tech ... •Ashbaugh-Benguria 1991, isoperimetric](https://reader033.vdocuments.us/reader033/viewer/2022042708/5a799ad77f8b9ab45c8d15e8/html5/thumbnails/98.jpg)
which implies