Notes on Lewin Ch3: Self-adjointness Criteria: Rellich, Kato and Friedrichs

Rellich–Kato

  • Let (𝐴,𝐷(𝐴)) be a self-adjoint operator and 0≀𝛼<1. We say that an operator 𝐡 defined on 𝐷(𝐴) is 𝐴-bounded with relative bound 𝛼 if there exists 𝐢 such that
‖𝐡𝑣‖≀𝛼‖𝐴𝑣‖+𝐢‖𝑣‖.
  • 𝐡 is infinitesimally 𝐴-bounded if it is 𝐴-bounded with relative bound 𝛼 for all 𝛼>0.
  • Theorem (Rellich–Kato) Suppose that 𝐡 is 𝐴-bounded with relative bound 𝛼. Then 𝐴+𝐡 is self-adjoint on 𝐷(𝐴).

    Moreover, if π’ŸοΈ€βŠ‚π·(𝐴) is a dense subspace such that 𝐴|π’ŸοΈ€Β―=𝐴, then we also have 𝐴+𝐡=(𝐴+𝐡)|π’ŸοΈ€Β―, i.e. (𝐴+𝐡)|π’ŸοΈ€ is essentially self-adjoint.

    Finally, if 𝜎(𝐴)βŠ‚[π‘Ž,∞) for some π‘Žβˆˆβ„, then 𝜎(𝐴+𝐡)βŠ‚[π‘Žβˆ’πΆ1βˆ’π›Ό,∞).

    • π’ŸοΈ€ in the above theorem is called the core of the operator 𝐴.
    • Proof uses the identity

      𝐴+𝐡+π‘–πœ‡=(1+𝐡(𝐴+π‘–πœ‡)βˆ’1)(𝐴+π‘–πœ‡)

      and then exploits 𝛼<1 to get invertibility of (1+𝐡(𝐴+π‘–πœ‡)βˆ’1) for large enough πœ‡.

  • Theorem Let π‘‰βˆˆπΏπ‘+𝐿∞ where

    {𝑝=2if𝑝<4𝑝>2if𝑝=4𝑝=𝑑2otherwise

    Then 𝑉 is infinitesimally (βˆ’Ξ”)-bounded, and

    |βˆ«β„π‘‘π‘‰|𝑓|2|β‰€πœ€βˆ«β„π‘‘|βˆ‡π‘“|2+πΆπœ€βˆ«β„π‘‘|𝑓|2
  • As a corollary, we have that βˆ’Ξ”+𝑉 is self-adjoint on 𝐷(Ξ”)=𝐻2(ℝ𝑑) with spectrum that is bounded below.

Friedrichs

Let πœ‘(β‹…,β‹…) be a sesquilinear form on a dense domain π’¬οΈ€βŠ‚β„Œ. Let π‘ž denote the associated real-valued quadratic form.

  • Definition (Coercivity and Closure) We say π‘ž an πœ‘ are bounded from below, or semi-bounded, if there is an π›Όβˆˆβ„ such that π‘ž(𝑒)β‰₯𝛼‖𝑒‖2.

    If we can take 𝛼>0, we say π‘ž and πœ‘ are coercive.

    We say that π‘ž and πœ‘ are closed if they are coercive and (𝒬︀,πœ‘) is a Hilbert space.

    We say that π‘ž and πœ‘ are closable in β„Œ when they admit a closed extension, in which case there is a minimal closed extension which we denote (𝒬︀¯,πœ‘Β―) and call the closure.

  • Lemma Let πœ‘ be a coercive sesquilinear form on π’¬οΈ€βŠ‚β„Œ. Then πœ‘ is closable iff for any Cauchy sequence π‘£π‘›βˆˆπ’¬οΈ€ satisfying in addition 𝑣𝑛→0 in β„Œ, we have π‘ž(𝑣𝑛)β†’0.

Symmetric Operators

  • Let (𝐴,𝐷(𝐴)) be a symmetric operator. The quadratic form associated with 𝐴 is the form

    π‘žπ΄(𝑣)β‰”βŸ¨π‘£,π΄π‘£βŸ©,𝒬︀≔𝐷(𝐴).

The associated sesquilinear form is πœ‘π΄(𝑣,𝑀)β‰”βŸ¨π‘£,π΄π‘€βŸ©.

  • A symmetric operator (𝐴,𝐷(𝐴)) is bounded from below/semi-bounded, or coercive, if the associated form π‘žπ΄ is, and in which case we will write 𝐴β‰₯𝛼.

  • Theorem Let 𝐴β‰₯𝛼>0 be a coercive symmetric operator. Then π‘žπ΄ is closable to a form π‘žπ΄Β― defined on

    𝒬︀𝐴≔{π‘£βˆˆβ„Œ:βˆƒπ‘£π‘›βˆˆπ·(𝐴)such that𝑣𝑛→𝑣,lim𝑛,π‘šβ†’βˆžπ‘ž(π‘£π‘›βˆ’π‘£π‘š)=0}

    Furthermore, we have

    • 𝐷(𝐴) is dense in 𝒬︀𝐴 with respect to the norm π‘žπ΄Β―
    • 𝒬︀𝐴 is dense in β„Œ
    • For all π‘’βˆˆπ·(𝐴) and all π‘£βˆˆπ’¬οΈ€π΄, πœ‘π΄Β―(𝑣,𝑒)=βŸ¨π‘£,π΄π‘’βŸ©
    • the embedding 𝒬︀𝐴β†ͺοΈŽβ„Œ is continuous, i.e. 𝛼‖𝑣‖2β‰€π‘žπ΄Β―(𝑣) for all π‘£βˆˆπ’¬οΈ€π΄.
    • If 𝐴 is closed, then the embedding 𝐷(𝐴)β†ͺοΈŽπ’¬οΈ€π΄ is also continuous, i.e. for all π‘£βˆˆπ·(𝐴),
    π‘žπ΄Β―(𝑣)=βŸ¨π‘£,π΄π‘£βŸ©β‰€12‖𝑣‖𝐷(𝐴)2=‖𝑣‖22+‖𝐴𝑣‖22.

    If 𝐴β‰₯𝛼 is only bounded below we can apply the above with 𝐴+𝛼+πœ€ to get a closed form.

    Self-adjoint Operators

    • Theorem Let 𝐴β‰₯𝛼 and let πœ‘π΄Β― be the associated closed form defined in the previous Theorem. For any 𝑣,π‘§βˆˆβ„Œ, the following are equivalent:

      1. π‘£βˆˆπ’¬οΈ€π΄ and πœ‘π΄Β―(𝑣,β„Ž)=βŸ¨π‘§,β„ŽβŸ© for all β„Žβˆˆπ’¬οΈ€π΄.
      2. π‘£βˆˆπ·(𝐴) and 𝐴𝑣=𝑧.

      In particular we can reconstruct 𝐴 from the closure of its quadratic form.

      • The equation πœ‘π΄Β―(𝑣,β„Ž)=βŸ¨π‘§,β„ŽβŸ© is the weak formulation of the equation 𝐴𝑣=𝑧. It is β€œweak” because we only suppose that 𝑣 belongs to 𝒬︀𝐴. 𝐷(𝐴) is the subset
      𝐷(𝐴)={π‘£βˆˆπ’¬οΈ€π΄:βˆƒπ‘§βˆˆβ„Œ:πœ‘π΄Β―(𝑣,β„Ž)=βŸ¨π‘§,β„ŽβŸ©,βˆ€β„Žβˆˆπ’¬οΈ€π΄}.
    • As a self-adjoint operator is fully characterized by the closure π‘žπ΄Β―, we will abusively write π‘žπ΄β‰π‘žπ΄Β―, πœ‘π΄β‰πœ‘π΄Β―, 𝑄(𝐴)≝𝒬︀𝐴.

    Friedrichs Realisation

    • Theorem 3.14 showed that every semi-bounded self-adjoint operator is given by a closed quadratic form. Below we show that every closed quadratic form that is bounded below is given by a self-adjoint operator.

      • this allows us to define the Friedrichs extension of any bounded below symmetric operator 𝐴: from 𝐴 compute π‘žπ΄. Since it is bounded below, we can close it. Then the Theorem gives us a self-adjoint operator that extends 𝐴.
    • Theorem Let π’¬οΈ€βŠ‚β„Œ be Hilbert spaces such that 𝒬︀ is dense and continuously embedded in β„Œ. Then there is a unique self-adjoint operator 𝐴 on 𝐷(𝐴)βŠ‚β„Œ, with
    𝐷(𝐴)={π‘£βˆˆπ’¬οΈ€:βˆƒπ‘£βˆˆβ„Œ:βŸ¨π‘£,β„ŽβŸ©π’¬οΈ€=βŸ¨π‘§,β„ŽβŸ©β„Œ,βˆ€β„Žβˆˆβ„Œ}

    such that π‘žπ΄=‖⋅‖𝒬︀2, πœ‘π΄=βŸ¨β‹…,β‹…βŸ©π’¬οΈ€, and 𝒬︀=𝑄(𝐴).

    Moreover, if 𝐡 is a self-adjoint operator on 𝐷(𝐡)βŠ‚π’¬οΈ€ such that 𝐷(𝐡) is dense on 𝒬︀ and π‘žπ΅=π‘ž on 𝐷(𝐡), then 𝐡=𝐴.

    Theorem (Kato-Lions-Milgram-Nelson) Let 𝐴 be a coercive self-adjoint operator and let π‘žπ΄ be its associated closed quadratic form with domain 𝑄(𝐴). Let 𝑏 be another quadratic form on 𝑄(𝐴) such that for some πœ‚βˆˆ[0,1), πœ…>0 and for all π‘£βˆˆπ‘„(𝐴),

    |𝑏(𝑣)|β‰€πœ‚π‘žπ΄(𝑣)+πœ…β€–π‘£β€–2

    Then π‘žπ΄+𝑏 is closed and coercive on 𝑄(𝐴), and hence it is associated with a unique self-adjoint operator 𝐢, with 𝑄(𝐢)=𝑄(𝐴).

    If in particular 𝑏 is the quadratic form of a symmetric operator 𝐡 defined on 𝐷(𝐴), then 𝐢 is the unique self-adjoint extension of 𝐴+𝐡 defined on 𝐷(𝐴+𝐡)=𝐷(𝐴), such that 𝐷(𝐴)βŠ‚π·(𝐢)βŠ‚π‘„(𝐴).

Theres more on specific examples and exercises which I didn’t get to.

Related Posts