Click here to load reader

Jacobi Operators - gerald/students/ammann_diss.pdf · PDF file for Jacobi operators [18], is the famous oscillation theorem, which goes back to the seminal work of Sturm from 1836

  • View
    1

  • Download
    0

Embed Size (px)

Text of Jacobi Operators - gerald/students/ammann_diss.pdf · PDF file for Jacobi operators [18],...

  • DISSERTATION

    Titel der Dissertation

    Oscillation Theorems for Semi-Infinite and Infinite

    Jacobi Operators

    Verfasserin

    Kerstin Ammann

    angestrebter akademischer Grad

    Doktorin der Naturwissenschaften (Dr. rer. nat.)

    Wien, im Jänner 2013

    Studienkennzahl lt. Studienblatt: A 091 405 Dissertationsgebiet lt. Studienblatt: Mathematik Betreuer: Univ.-Prof. Dipl.-Ing. Dr. Gerald Teschl

  • Abstract

    The Jacobi difference equation (JDE) plays an important role (not just) in math-

    ematical physics: e.g., it containes the one-dimensional discrete Schrödinger

    equation as a special case and is intimately related to the theory of orthogonal

    polynomials as well as to continued fractions.

    While classical oscillation theory for Jacobi operators puts the sign-changes of

    solutions of one single operator at the centre of consideration, we compare the

    number of sign-changes of solutions of two different Jacobi operators. We show

    that this difference equals the number of weighted sign-changes of the Wronskian

    of those solutions.

    The key discovery in oscillation theory, which goes back to the work of Sturm,

    is the fact that for any real z the number of sign-changes of a solution u(z)

    equals the number of eigenvalues of the operator below z. Our theorem refines

    this observation for the JDE by showing that the number of weighted sign-

    changes of the Wronskian equals the difference of the number of eigenvalues

    of the operators in the corresponding interval. The main advantage of this

    approach is that our theorem is also applicable in gaps of the essential spectrum

    above its infimum, where the classical theorem breaks down (since the solutions

    are oscillatory, but the Wronskian isn’t).

    This theorem is proven for compact, sign-definite perturbations of the potential

    of Jacobi operators on the line and on the half-line. For the finite case, we extend

    earlier work for perturbations of the potential to perturbations of all coefficients.

    Moreover, we show that this idea carries over to the leading principal minors of

    Jacobi matrices, which exhibit the same sign pattern as a solution at 0.

  • Zusammenfassung

    Die Jacobi Differenzengleichung (JDG) spielt (nicht nur) in der mathemati-

    schen Physik eine wichtige Rolle: z.B. beinhaltet sie die eindimensionale diskrete

    Schrödingergleichung als Spezialfall und ist eng mit der Theorie der orthogona-

    len Polynome sowie den Kettenbrüchen verknüpft.

    Während die klassische Oszillationstheorie für Jacobi Operatoren die Vorzei-

    chenwechsel der Lösungen eines einzigen Operators ins Zentrum ihrer Betrach-

    tungen stellt, vergleichen wir die Anzahl der Vorzeichenwechsel von Lösungen

    zweier verschiedener Jacobi Operatoren. Wir zeigen, dass diese Differenz der An-

    zahl der gewichteten Vorzeichenwechsel der Wronski Determinante der beiden

    Lösungen entspricht.

    Die zentrale Entdeckung der Oszillationstheorie geht zurück auf Sturm und be-

    sagt, dass für jedes reelle z die Anzahl der Vorzeichenwechsel einer Lösung u(z)

    der Anzahl der Eigenwerte des Operators unterhalb von z entspricht. Unser

    Theorem entwickelt diese Beobachtung für die JDG dahingehend weiter, dass

    es zeigt, dass die Anzahl der gewichteten Vorzeichenwechsel der Wronski De-

    terminante der Differenz der Anzahl der Eigenwerte der beiden Operatoren im

    zugehörigen Intervall entspricht. Der Vorteil dabei ist, dass unser Theorem auch

    in Lücken des wesentlichen Spektrums überhalb seines Infimums anwendbar ist,

    im Gegensatz zum klassischen Theorem (da die Lösungen hier oszillatorisch

    sind, die Wronski Determinante aber nicht).

    Dieses Theorem wird für kompakte, vorzeichenbestimmte Störungen des Poten-

    tials von singulären Jacobi Operatoren, wie auch von Jacobi Operatoren mit ei-

    nem regulären Endpunkt, bewiesen. Für den endlichen Fall erweitern wir frühere

    Arbeiten über Störungen des Potentials auf Störungen aller Koeffizienten. Wei-

    ters zeigen wir, dass sich diese Idee auch auf die führenden Hauptminoren von

    Jacobi Matrizen übertragen lässt, da sie das selbe Vorzeichenmuster aufweisen

    wie eine Lösung bei 0.

  • Acknowledgments

    First of all I want to thank Gerald Teschl, who already supervised my diploma

    thesis and from whom I’ve learnt a lot in the past years. In particular I thank

    him for his support and for all the helpful suggestions he made. Moreover, I

    thank Günther Hörmann for his support and that he motivated me to solve

    (1.20) and (1.21), and Helge Krüger (Caltech) that he discussed the continu-

    ous case with me. Further, I thank the referees Fritz Gesztesy (University of

    Missouri-Columbia) and Jussi Behrndt (Graz University of Technology) for the

    time they devoted to my thesis and the valuable suggestions they made.

    This thesis was funded by the Austrian Science Fund (FWF) as part of Ger-

    ald’s project Spectral Analysis and Applications to Soliton Equations. This al-

    lowed me moreover to present my work at international conferences, what led to

    new research projects with Uzy Smilansky (Weizmann Institute of Science and

    Cardiff University) and Ram Band (University of Bristol) since they evoked my

    interest for nodal domains on graphs.

    I want to thank my friends, whose support was important for me, in particular

    also those at the math department and my colleagues Alice Mikikits-Leitner

    (TU Munich) and Jonathan Eckhardt; and I thank Jürgen Pfeffer (Carnegie

    Mellon University) for his ongoing encouragement and aid.

  • Contents

    1 Introduction 1

    2 Preliminaries 13

    2.1 Linear operators . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

    2.2 Spectra and resolvents . . . . . . . . . . . . . . . . . . . . . . . . 15

    2.3 Operator convergence . . . . . . . . . . . . . . . . . . . . . . . . 17

    2.4 Green function and Weyl solutions . . . . . . . . . . . . . . . . . 19

    2.5 Weyl m-functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

    3 Weighted nodes 27

    3.1 Wronskian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

    3.2 Discrete Prüfer transformation . . . . . . . . . . . . . . . . . . . 31

    3.3 Difference of the Prüfer angles . . . . . . . . . . . . . . . . . . . 33

    4 Finite Jacobi matrices 41

    5 Determinants 47

    5.1 Solutions and leading principal minors . . . . . . . . . . . . . . . 48

    5.2 A Wronskian of determinants . . . . . . . . . . . . . . . . . . . . 49

    5.3 Proof of Sturm’s theorem by Jacobi’s theorem . . . . . . . . . . . 52

    5.4 A short note on Sylvester’s criterion . . . . . . . . . . . . . . . . 55

    6 Triangle inequality and comparison theorem 59

    7 Criteria for the oscillation of the Wronskian 63

    8 Approximation 71

    8.1 . . . of infinite matrices and their spectra . . . . . . . . . . . . . . 71

    8.1.1 Open and half-open spectral intervals . . . . . . . . . . . 74

    8.1.2 A point . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

    8.2 . . . of the Wronskian with suitable boundary conditions . . . . . . 81

    8.2.1 Nodes on the half-line . . . . . . . . . . . . . . . . . . . . 81

    8.2.2 Nodes on the line . . . . . . . . . . . . . . . . . . . . . . . 83

    8.3 . . . of the Wronskian with foreign boundary conditions . . . . . . 84

  • 9 Below the essential spectra 91

    9.1 The semi-infinite case . . . . . . . . . . . . . . . . . . . . . . . . 92

    9.2 The infinite case . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

    10 Semi-infinite Jacobi operators 99

    10.1 A first theorem on the half-line . . . . . . . . . . . . . . . . . . . 100

    10.2 Main theorem for semi-infinite operators . . . . . . . . . . . . . . 104

    10.3 A proof for finite-rank perturbations . . . . . . . . . . . . . . . . 111

    11 Infinite Jacobi operators 113

    11.1 A first theorem on the line . . . . . . . . . . . . . . . . . . . . . . 113

    11.2 The finite-rank case . . . . . . . . . . . . . . . . . . . . . . . . . 117

    11.3 Main theorem for infinite operators . . . . . . . . . . . . . . . . . 119

    A Linear interpolation 125

    A.1 Derivative of the Prüfer angle . . . . . . . . . . . . . . . . . . . . 128

    Bibliography 132

  • Chapter 1

    Introduction

    In this thesis we present new oscillation theorems for a particular discrete equa-

    tion, namely the Jacobi difference equation (JDE),

    τu = zu, (1.1)

    where z ∈ R,

    τ : `(Z)→ `(Z),

    u(n) 7→ (τu)(n) = a(n)u(n+ 1) + a(n− 1)u(n− 1) + b(n)u(n) (1.2)

    = ∂(a(n− 1)∂u(n− 1)) + (b(n) + a(n) + a(n− 1))u(n),

    and where `(I) = {ϕ | ϕ : I ⊆ Z→ R} is the space of real-valued sequences and ∂ϕ(n) = ϕ(n+ 1)− ϕ(n) is the usual forward difference operator.

    The JDE can be viewed as the discrete counterpart of the famous Sturm–

    Liouville differential equation, τu = zu, where

    τ = 1

    r(x)

    ( − d

    dx p(x)

    d

    dx + q(x)

    ) . (1.3)

    Setting a = 1 (that is p = r = 1 in the continuous case) we obtain the one-

    dimensional Schrödinge

Search related