Springer Tracts in Modern Physics
Volume 263
Honorary Editor
G. Höhler, Karlsruhe, Germany Series editors
Yan Chen, Shanghai, China Atsushi Fujimori, Tokyo, Japan Johann H. Kühn, Karlsruhe, Germany Thomas Müller, Karlsruhe, Germany Frank Steiner, Ulm, Germany
William C. Stwalley, Storrs CT, USA Joachim E. Trümper, Garching, Germany Peter Wölfle, Karlsruhe, Germany Ulrike Woggon, Berlin, Germany
Springer Tracts in Modern Physics
Springer Tracts in Modern Physics provides comprehensive and critical reviews of topics of current interest in physics. The followingfields are emphasized: Elementary Particle Physics, Condensed Matter Physics, Light Matter Interaction, Atomic and Molecular Physics, Complex Systems, Fundamental Astrophysics.
Suitable reviews of otherfields can also be accepted. The editors encourage prospective authors to correspond with them in advance of submitting a manuscript. For reviews of topics belonging to the above mentionedfields, they should address the responsible editor as listed below.
Special offer: For all clients with a print standing order we offer free access to the electronic volumes of the Series published in the current year.
More information about this series at http://www.springer.com/series/426
Elementary Particle Physics Johann H. Kühn
Institut für Theoretische Teilchenphysik Karlsruhe Institut für Technologie KIT Postfach 69 80
76049 Karlsruhe, Germany Email: johann.kuehn@KIT.edu www-ttp.physik.uni-karlsruhe.de/*jk Thomas Müller
Institut für Experimentelle Kernphysik Karlsruhe Institut für Technologie KIT Postfach 69 80 76049 Karlsruhe, Germany Email: thomas.muller@KIT.edu www-ekp.physik.uni-karlsruhe.de Complex Systems Frank Steiner
Institut für Theoretische Physik Universität Ulm Albert-Einstein-Allee 11 89069 Ulm, Germany Email: frank.steiner@uni-ulm.de www.physik.uni-ulm.de/theo/qc/group.html Fundamental Astrophysics Joachim E. Trümper
Max-Planck-Institut für Extraterrestrische Physik Postfach 13 12
85741 Garching, Germany Email: jtrumper@mpe.mpg.de www.mpe-garching.mpg.de/index.html Solid State and Optical Physics Ulrike Woggon
Institut für Optik und Atomare Physik Technische Universität Berlin Straße des 17. Juni 135 10623 Berlin, Germany
Email: ulrike.woggon@tu-berlin.de www.ioap.tu-berlin.de
Condensed Matter Physics Yan Chen Fudan University Department of Physics 2250 Songhu Road, Shanghai, China 400438 Email: yanchen99@fudan.edu.cn www.physics.fudan.edu.cn/tps/branch/cqc/en/people/ faculty/ Atsushi Fujimori Editor for The Pacific Rim Department of Physics University of Tokyo 7-3-1 Hongo, Bunkyo-ku Tokyo 113-0033, Japan Email: fujimori@phys.s.u-tokyo.ac.jp http://wyvern.phys.s.u-tokyo.ac.jp/welcome_en.html Peter Wölfle
Institut für Theorie der Kondensierten Materie Karlsruhe Institut für Technologie KIT Postfach 69 80
76049 Karlsruhe, Germany Email: peter.woelfle@KIT.edu www-tkm.physik.uni-karlsruhe.de Atomic, Molecular and Optical Physics William C. Stwalley
University of Connecticut Department of Physics 2152 Hillside Road, U-3046 Storrs, CT 06269-3046, USA Email: w.stwalley@uconn.edu
Oktay Veliev
Multidimensional Periodic
Schr
ödinger Operator
Perturbation Theory and Applications
Oktay Veliev
Department of Mathematics Dogus University
Istanbul Turkey
ISSN 0081-3869 ISSN 1615-0430 (electronic)
Springer Tracts in Modern Physics
ISBN 978-3-319-16642-1 ISBN 978-3-319-16643-8 (eBook) DOI 10.1007/978-3-319-16643-8
Library of Congress Control Number: 2015935421 Springer Cham Heidelberg New York Dordrecht London © Springer International Publishing Switzerland 2015
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made.
Printed on acid-free paper
Springer International Publishing AG Switzerland is part of Springer Science+Business Media (www.springer.com)
To the memory of my mother and father and
to my family.
Preface
The book is devoted to the spectral theory of the multidimensional Schrödinger operator LðqÞ generated in L2ðRdÞ by the differential expression
ΔuðxÞ þ qðxÞuðxÞ;
where x 2 Rd; d 2 and q is a real periodic, relative to a lattice Ω, potential. This operator describes the motion of a particle in the bulk matter. To describe the brief synopsis of the book let us introduce some notations and recall some well-known definitions. It is well known that the spectrum of LðqÞ is the union of the spectra of the operators LtðqÞ for t 2 F generated in L2ðFÞ by the same differential
expression and the conditions
uðx þ ωÞ ¼ eiht;ωiuðxÞ; 8ω 2 Ω;
whereh; i is the inner product in Rd, t is a crystal momentum (quasimomentum), F ¼: Rd=Ω and F¼: Rd=Γ are the fundamental domains (primitive cells) of the latticesΩ and Γ respectively, and
Γ ¼: fδ 2 Rd: hδ; ωi 2 2πZ; 8ω 2 Ωg
is the reciprocal lattice, i.e., is the lattice dual toΩ. The spectrum of LtðqÞ consists of the eigenvalues
Λ1ðtÞ Λ2ðtÞ . . .
These eigenvalues are called the Bloch eigenvalues. They define functions Λn: t ! ΛnðtÞ for n ¼ 1; 2; . . . of t that are called the band functions of LðqÞ.
The n-th band function Λn is continuous with respect to t and its range
δn¼: Λf nðtÞ : t 2 Fg
is the n-th band of the spectrum σðLðqÞÞ of LðqÞ : σðLðqÞÞ ¼ [1
n¼1δn:
The eigenfunctions of LtðqÞ are known as the Bloch functions.
The book consists offive chapters. The first chapter presents preliminary defi-nitions and statements to be used in the next chapters. Besides, we give a brief discussion of what is known from the literature and what is presented in the book about the perturbation theory of LðqÞ. In the second chapter, first, we obtain the asymptotic formulas of arbitrary order for the Bloch eigenvalue and Bloch function of the periodic Schrödinger operator LðqÞ of arbitrary dimension, when the corre-sponding quasimomentum lies far from the diffraction hyperplanes
Dδ¼: fx 2 Rd : jxj2 ¼ jx þ δj2g
for small values of δ: Then we study the case, when the corresponding quasimo-mentum lies near a diffraction hyperplane and gets the complete perturbation theory for the multidimensional Schrödinger operator with a periodic potential. Moreover, we construct and estimate the measures of the isoenergetic surfaces in the high energy region which implies the validity of the Bethe-Sommerfeld conjecture for arbitrary dimension and arbitrary lattice. This conjecture was formulated in 1928 and claims that there exist only a finite number of gaps (the spaces between the bandsδnandδnþ1for n ¼ 1; 2; . . .) in the spectrum σðLðqÞÞ of LðqÞ. Note that the construction of the perturbation theory of LðqÞ is connected with the investigation of the complicated picture of the crystal diffraction. The regular perturbation theory does not work in this case, since the Bloch eigenvalues of the free operator are situated very close to each other in the high energy region.
In the third chapter, using the asymptotic formulas obtained in the second chapter, we determine constructively a family of the spectral invariants of LðqÞ from the given Bloch eigenvalues. Some of these invariants are explicitly expressed by the Fourier coefficients of the potential which present the possibility of determining the potential constructively by using the Bloch eigenvalues as the input data.
In the fourth chapter, we consider the inverse problems of the three-dimensional Schrödinger operator with a periodic potential q by the spectral invariants obtained in the third chapter. First, we construct a set of trigonometric polynomials which is dense in the Sobolev space W2sðFÞ; where s [ 3; in the C
1- topology and every
element of this set can be determined constructively and uniquely, modulo inver-sion x ! x and translations x ! x þ τ for τ 2 R3; from the given spectral invariants that were determined constructively from the given Bloch eigenvalues. Then a special class V of the periodic potentials is constructed, which can be easily and constructively determined from the spectral invariants and hence from the given Bloch eigenvalues. Moreover, we consider the stability of the algorithm for the unique determination of the potential q 2 V of the three-dimensional Schrödinger operator with respect to the spectral invariants and Bloch eigenvalues.
In the fifth chapter we summarize our results from the point of view of both physicists and mathematicians. I am thankful to Claus Ascheron and Peter Wölfle for their advices that help to improve the readability of the book.
Contents
1 Preliminary Facts. . . 1
1.1 Lattices, Brillouin Zones, and Periodic Functions inRd. . . 1
1.2 Schrödinger Operator and Bloch Functions . . . 7
1.3 Band Structure, Fermi Surfaces and Perturbations . . . 15
1.4 Some Discussions of the Perturbation Theory . . . 24
References . . . 29
2 Asymptotic Formulas for the Bloch Eigenvalues and Bloch Functions. . . 31
2.1 Introduction . . . 31
2.2 Asymptotic Formulas for the Eigenvalues . . . 46
2.3 Bloch Eigenvalues Near the Diffraction Planes. . . 58
2.4 Asymptotic Formulas for the Bloch Functions . . . 79
2.5 Simple Sets and Isoenergetic Surfaces . . . 85
2.6 Bloch Functions Near the Diffraction Hyperplanes . . . 106
References . . . 125
3 Constructive Determination of the Spectral Invariants. . . 127
3.1 Introduction and Preliminary Facts . . . 127
3.2 First and Second Terms of the Asymptotics . . . 131
3.3 On the Derivatives of the Band Functions . . . 142
3.4 The Construction of the Spectral Invariants . . . 151
References . . . 169
4 Periodic Potential from the Spectral Invariants . . . 171
4.1 Introduction . . . 171
4.2 On the Simple Invariants . . . 178
4.3 Finding the Fourier Coefficients Corresponding to the Boundary . . . 187
4.4 Inverse Problem in a Dense Set . . . 197
4.5 Finding the Simple Potential from the Invariants . . . 202
4.6 On the Stability of the Algorithm . . . 209
4.7 Uniqueness Theorems . . . 216 References . . . 225 5 Conclusions. . . 227 References . . . 238 Index . . . 241 x Contents