Notes on Lewin Ch2: Self-adjointness

Let β„Œ be a separable Hilbert space over β„‚.

Graphs

  • Definition: the graph of an operator (𝐴,𝐷(𝐴)) is the vector subpsace of β„ŒΓ—β„Œ given by
𝐺(𝐴)={(𝑣,𝐴𝑣):π‘£βˆˆπ·(𝐴)}βŠ‚π·(𝐴)Γ—β„Œ
  • Lemma: πΊβŠ‚β„ŒΓ—β„Œ is the graph of an operator (𝐴,𝐷(𝐴)) iff

    1. (vector space) 𝐺 is a vector subspace of β„ŒΓ—β„Œ
    2. (linearity at zero) (0,𝑦)∈𝐺 implies 𝑦=0
    3. (dense projection to β„Œ) 𝐷≔{π‘₯βˆˆβ„Œ:βˆƒπ‘¦βˆˆβ„Œsuch that(π‘₯,𝑦)∈𝐺} is dense in β„Œ.

Spectrum

  • Definition: Let (𝐴,𝐷(𝐴)) be an operator. the resolvent set 𝜌(𝐴)βŠ‚β„‚ is

    𝜌(𝐴)≔{
    π‘§βˆˆβ„‚ such that π΄βˆ’π‘§:𝐷(𝐴)β†’β„Œ is invertible with bounded inverse
    }

    and the spectrum 𝜎(𝐴)≔ℂ\𝜌(𝐴).

    • πœ† can belong to 𝜎(𝐴) (1) if π΄βˆ’πœ† is not injective [if (π΄βˆ’πœ†)𝑣=(π΄βˆ’πœ†)𝑀 then π‘£βˆ’π‘€ is an eigenvalue of 𝐴], (2) if π΄βˆ’πœ† is injective but not surjective (so the inverse cannot be defined), or (3) if it is invertible but not boundedly.

      • right shift on β„“2(β„•) is injective but not surjective - there is a left inverse but no right inverse. Said differently - there is an inverse but only on a non-dense subspace of β„Œ.
      • for an example of the third kind: Consider β„Œ=𝐿2(0,1) with operator 𝐴𝑓≔𝑑𝑓. Generically you can take 𝐴=(π΅βˆ’π‘§)βˆ’1 with 𝐡 an unbounded operator with π‘§βˆˆπœŒ(𝐡). The inverse is of course π΄βˆ’1=π΅βˆ’π‘§ which is densely defined but is not bounded. We can consider also π΄βŠ•π΄βˆ’1 on β„ŒβŠ•β„Œ for an operator that is unbounded with unbounded inverse.
  • Let (𝐴,𝐷(𝐴)) be a d.d. operator with π‘§βˆˆπœŒ(𝐴). The ball around 𝑧 with radius

    1β€–(π΄βˆ’π‘§)βˆ’1β€–

    is contained in 𝜌(𝐴), and in this ball we have the norm convergent power series for the resolvent,

    (π΄βˆ’π‘§β€²)βˆ’1=(π΄βˆ’π‘§)βˆ’1βˆ‘π‘›β‰₯0(π‘§β€²βˆ’π‘§)𝑛(π΄βˆ’π‘§)βˆ’π‘›
  • Remark: 𝜎(𝐴)β‰ βˆ… if 𝐴 is bounded.
  • Lemma: 𝜎((π΄βˆ’π‘§)βˆ’1)={1πœ†βˆ’π‘§:πœ†βˆˆπœŽ(𝐴)}βˆͺ{βˆ…if𝐴is bounded{0}otherwise

Closure

  • We say 𝐴 is closed if 𝐺(𝐴) is closed, i.e. if π‘₯π‘›βˆˆπ·(𝐴) with π‘₯π‘›β†’β„Œπ‘₯ and π‘¦π‘›β†’β„Œπ‘₯ then π‘₯∈𝐷(𝐴) and 𝐴π‘₯=𝑦.
  • If (𝐴,𝐷(𝐴)) is not closed then 𝜎(𝐴)=β„‚.
  • generically 𝐺(𝐴)Β― will always satisfy (i),(ii) of the above lemma characterising graphs. But it is (ii) that may fail, i.e. there can be some nonzero 𝑦 with (0,𝑦)∈𝐺, (giving the absurdity 𝐴0=𝑦≠0). Evaluation on 𝐿2→𝐿2 is like this, since convergence in 𝐿2 of highly oscillatory functions to 0 can break evaluation (the next exercise).
  • We say that 𝐴 is closable if 𝐴 has at least one closed extension. Then 𝐺(𝐴)Β―=𝐺(𝐴¯) for a uniquely defined operator (𝐴¯,𝐷(𝐴¯)), called the closure of 𝐴.
  • For βˆ’π‘–πœ•π‘—, Ξ” on πΆπ‘βˆž(ℝ𝑑) the domain of the closure are 𝐻1 and 𝐻2 respectively.

    • proof idea: the operator is clearly closed on 𝐻1 and 𝐻2 resp. To show that the closure of the operator is this closed operator, we can directly check what the closure of the graph is, which amounts to checking convergence of πΆπ‘βˆž functions to Sobolev functions.

Adjoint

  • cute observation: the wanted equality βŸ¨π‘£,π΄π‘’βŸ©=βŸ¨π΄βˆ—π‘£,π‘’βŸ© can be written

    ⟨(𝑣,π΄βˆ—π‘£),(𝐴𝑒,βˆ’π‘’)βŸ©β„ŒΓ—β„Œ=0

    So we make the definition

    𝐺(π΄βˆ—)≔{(𝐴𝑒,βˆ’π‘’):π‘’βˆˆπ·(𝐴)}βŸ‚
    • clearly a vector space so (i) is OK. Suppose (0,𝑦) in 𝐺(π΄βˆ—). Then for all π‘’βˆˆπ·(𝐴), 0=⟨(0,𝑦),(𝐴𝑒,βˆ’π‘’)βŸ©β„ŒΓ—β„Œ=βŸ¨π‘¦,βˆ’π‘’βŸ©. As 𝐷(𝐴) is dense this implies 𝑒=0. So (ii) is also OK. Finally for (iii): recall 𝐷≔{π‘₯βˆˆβ„Œ:βˆƒπ‘¦βˆˆβ„Œsuch that(π‘₯,𝑦)∈𝐺}. We want that π·βŸ‚={0}. But note π‘£βˆˆπ·βŸ‚ iff (𝑣,0)βˆˆπΊβŸ‚ (zeroing out the second inner product in the product space), and

      (𝑣,0)βˆˆπΊβŸ‚={(𝐴𝑒,βˆ’π‘’):π‘’βˆˆπ·(𝐴)}βŸ‚βŸ‚={(𝐴𝑒,βˆ’π‘’):π‘’βˆˆπ·(𝐴)}Β―

      i.e. iff (0,𝑣)∈𝐺(𝐴)Β―, which is precisely the condition needed for closability. It follows:

      • density of 𝐷(𝐴) allows a definition of π΄βˆ—, but 𝐷(π΄βˆ—) may not be dense. And it is dense iff 𝐴 is closeable. So we will henceforth only use closeable d.d. operators.
    • Once upon a time I learned that we should define

      𝐷(π΄βˆ—)={π‘£βˆˆβ„Œ:βˆƒπ‘€such that for allπ‘₯∈𝐷(𝐴),βŸ¨π‘£,𝐴π‘₯⟩=βŸ¨π‘€,π‘₯⟩}

      this is a reformulation of the graph definition above, which you can see by projecting 𝐺(π΄βˆ—) to the first coordinate.

  • If 𝐴 is closeable then π΄βˆ— is closed. Also, 𝐴¯=π΄βˆ—βˆ— and π΄βˆ—=π΄Β―βˆ—.
  • If (𝐴,𝐷(𝐴)) is a closeable operator, then ker(π΄βˆ—βˆ’π‘§Β―)=ran(π΄βˆ’π‘§)βŸ‚=ran(π΄Β―βˆ’π‘§)βŸ‚.

    • Proof: Observe that

      π‘£βˆˆker(π΄βˆ—βˆ’π‘§Β―)iffπ΄βˆ—π‘£=𝑧¯𝑣.

      Then note that (𝑣,𝑧𝑣)∈𝐺(π΄βˆ—) iff for all π‘’βˆˆπ·(𝐴), log(π‘₯)

      βŸ¨π‘£,π΄π‘’βŸ©=βŸ¨π‘§Β―π‘£,π‘’βŸ©=βŸ¨π‘£,π‘§π‘’βŸ©,

      i.e. iff π‘£βˆˆran(π΄βˆ’π‘§)βŸ‚.

  • Exercise: If 𝐴∈𝐡(β„Œ) then 𝐷(π΄βˆ—)=β„Œ also. [this is an application of Riesz representation. The start of proof: Let 𝑣 be fixed, and consider 𝑓𝑣(π‘₯)=βŸ¨π‘£,𝐴π‘₯βŸ©β€¦]

Symmetry

  • (𝐴,𝐷(𝐴)) is symmetric if βŸ¨π‘£,π΄π‘€βŸ©=βŸ¨π΄π‘£,π‘€βŸ© for all 𝑣,π‘€βˆˆπ·(𝐴). Equivalently 𝐺(𝐴)βŠ‚πΊ(π΄βˆ—).
  • Exercise: show that if 𝐴 is symmetric then its closure is as well. [This is trivial as 𝐺(𝐴)βŠ‚πΊ(𝐴¯)βŠ‚πΊ(π΄βˆ—) by minimality]
  • Theorem (Spectrum of symmetric operators): Let (𝐴,𝐷(𝐴)) be a symmetric operator. Then its spectrum is nonempty, and is either:

    1. all of β„‚,
    2. closed upper half plane {ℑ𝑧β‰₯0},
    3. closed lower half plane {ℑ𝑧≀0},
    4. some nonempty subset of ℝ.

    Furthermore, any eigenvalues must be real, and if π΄βˆ’π‘§ is surjective for π‘§βˆ‰β„, then π‘§βˆˆπœŒ(𝐴), and 𝜎(𝐴) is contained in the half plane that does not contain 𝑧.

    • Proof uses the important identity for symmetric operators: for π‘Ž,π‘βˆˆβ„,

      β€–(π΄βˆ’π‘Žβˆ’π‘–π‘)𝑒‖2=β€–(π΄βˆ’π‘Ž)𝑒‖2+𝑏2‖𝑒‖2>𝑏2‖𝑒‖2.

      Hence

      1. if 𝑏≠0 then (π΄βˆ’π‘Žβˆ’π‘–π‘)𝑒=0 implies 𝑒=0. So all eigenvalues must be real.
      2. if 𝑏≠0 and π΄βˆ’π‘Žβˆ’π‘–π‘ is invertible then it is automatically bounded by 1𝑏.

      So the only way to be in the spectrum when 𝑏≠0 is for π΄βˆ’π‘Žβˆ’π‘–π‘ to be not surjective.

      • Proof: Suppose that there is a point in 𝜌(𝐴)∩{ℑ𝑧>0}. Assume for a contradiction that 𝜎(𝐴)∩{ℑ𝑧>0} is not empty. Let 𝑧=π‘Ž+𝑖𝑏 on the boundary of this set with 𝑏>0, and let 𝑧𝑛=π‘Žπ‘›+π‘–π‘π‘›βˆˆπœŒ(𝐴) approach 𝑧. By the above it follows that the ball of radius |𝑏𝑛| around 𝑧𝑛 is contained in 𝜌(𝐴). But eventually |𝑏𝑛|>𝑏2 and |π‘§βˆ’π‘§π‘›|<𝑏2, so in fact 𝑧 is not on the boundary which is absurd. It follows that if 𝜌(𝐴)∩{ℑ𝑧>0} has a single point, it is the entire half plane. [If a half plane is excluded then the real line is a subset of 𝜎(𝐴) since it is closed.]
      • For the fact that the spectrum is always non-empty: we know this already for bounded operators. Suppose not for an unbounded 𝐴. Then 0∈𝜌(𝐴) so π΄βˆ’1 exists and is bounded and symmetric. We know that 𝜎(𝐴)={} implies 𝜎(π΄βˆ’1)={0}. But it turns out that the only bounde symmetric operator with zero spectrum is the trivial operator, which follows form the next exercise:

        • Exercise 2.24 (Bounded Symmetric Operators)

          Let 𝐡 be a bounded and symmetric operator on 𝐷(𝐡)=𝐻. Following [Bre11, Prop. 6.9], we will show that

          π‘šβ‰”infπ‘£βˆˆπ»,‖𝑣‖=1βŸ¨π‘£,π΅π‘£βŸ©,𝑀≔supπ‘£βˆˆπ»,‖𝑣‖=1βŸ¨π‘£,π΅π‘£βŸ©

          both belong to the spectrum of 𝐡. We recall that βŸ¨π‘£,π΅π‘£βŸ© is always real since 𝐡 is symmetric. Show that for all 𝑣,π‘€βˆˆπ» we have

          |βŸ¨π‘€,(π΅βˆ’π‘š)π‘£βŸ©|β‰€βŸ¨π‘£,(π΅βˆ’π‘š)π‘£βŸ©12βŸ¨π‘€,(π΅βˆ’π‘š)π‘€βŸ©12

          and deduce that

          β€–(π΅βˆ’π‘š)π‘£β€–β‰€βŸ¨π‘£,(π΅βˆ’π‘š)π‘£βŸ©12β€–π΅βˆ’π‘šβ€–12.

          Using a minimizing sequence for the minimization problem π‘š, deduce that π‘šβˆˆπœŽ(𝐡). Similarly, we have π‘€βˆˆπœŽ(𝐡) (we will see later in Theorem 2.33 that 𝜎(𝐡)βŠ†[π‘š,𝑀]). Deduce from the fact that π‘š,π‘€βˆˆπœŽ(𝐡) that if 𝜎(𝐡)={0} then 𝐡≑0. [proof is just Cauchy-Schwarz and reading the outline.]

Self-adjointness

An operator is self-adjoint if 𝐴=π΄βˆ—, i.e. if 𝐴 is symmetric and 𝐷(𝐴)=𝐷(π΄βˆ—). 𝐴 is essentially self-adjoint if 𝐴¯ is self-adjoint.

  • Interpretation. For any symmetric operator we always have π΄βŠ‚π΄βˆ—, i.e. we have the inclusion of graphs

    {(𝑣,𝐴𝑣):π‘£βˆˆπ·(𝐴)}βŠ‚{(𝑣,π΄βˆ—π‘£):π‘£βˆˆπ·(π΄βˆ—)}.

    In finite dimension these two sets coincide (as they are both 𝑑-dimensional subspaces of β„ŒΓ—β„Œ), but in infinite dimension the second can be strictly larger. Self-adjointness is the condition that they coincide,

    {(𝑣,𝐴𝑣):π‘£βˆˆπ·(𝐴)}={(𝑣,π΄βˆ—π‘£):π‘£βˆˆπ·(π΄βˆ—)}.

    An operator is self-adjoint iff it satisfies for any 𝑣,π‘€βˆˆβ„Œ

    βŸ¨π‘£,π΄π‘§βŸ©=βŸ¨π‘€,π‘§βŸ©for allπ‘§βˆˆπ·(𝐴)impliesπ‘£βˆˆπ·(𝐴)and𝐴𝑣=𝑀

    the left hand side is a weak formulation of the equation 𝐴𝑣=𝑀. So a self-adjoint operator is one for which a weak solution is in fact strong.

  • All self-adjoint extensions (note: plural) are between 𝐴¯ and π΄βˆ—.
  • Exercise: Let (𝐴,𝐷(𝐴)) be a symmetric operator. Show that 𝐴¯ is self-adjoint iff π΄βˆ— is symmetric. [ If 𝐴¯ is self-adjoint, then π΄βˆ—=(𝐴¯)βˆ—=𝐴¯ is symmetric. Conversely, if π΄βˆ— is symmetric then π΄Β―βŠ‚π΄βˆ—βŠ‚π΄βˆ—βˆ—=𝐴¯ so 𝐴¯=π΄βˆ— is self-adjoint.]
  • If 𝐷(𝐴)=β„Œ and 𝐴 is symmetric then 𝐴 is self-adjoint and bounded. [This is because 𝐷(π΄βˆ—)βŠƒπ·(𝐴). Thus 𝐴 is a closed operator defined on the full Banach space - by the closed graph theorem it is bounded.]

Characterisation and Weyl Sequences

  • Theorem (Characterisation) Let (𝐴,𝐷(𝐴)) be a symmetric operator. Then the following are equivalent:

    1. 𝐴 is self-adjoint.
    2. 𝜎(𝐴)βŠ‚β„.
    3. there exists πœ†βˆˆβ„‚ such that π΄βˆ’πœ† and π΄βˆ’πœ†Β― are both surjective from 𝐷(𝐴) to β„Œ.

    NB 2 is a priori much stronger than 3 as it implies that 3 holds for all πœ†βˆˆβ„‚\ℝ.

  • Exercise: Let (𝐴,𝐷(𝐴)) be a symmetric operator. Show that 𝐴 is essentially self-adjoint iff there exists πœ†βˆˆβ„‚ such that π΄βˆ’πœ† and π΄βˆ’πœ†Β― have dense range in β„Œ.

  • Theorem. Let (𝐴,𝐷(𝐴)) be self-adjoint. Then TFAE:

    1. πœ†βˆˆπœŽ(𝐴).
    2. infπ‘£βˆˆπ·(𝐴)‖𝑣‖=1β€–(π΄βˆ’πœ†)𝑣‖ = 0.
    3. there exists a sequence π‘£π‘›βˆˆπ·(𝐴) with ‖𝑣𝑛‖=1 and β€–(π΄βˆ’πœ†)𝑣𝑛‖→0.

    A sequence as in (3) is called a Weyl sequence for 𝐴 and πœ†.

    Proof: (2)⟺(3) is trivial. For (2)⟹(1): if π΄βˆ’πœ† is not invertible we are done. If π΄βˆ’πœ† is invertible, then (2) implies it cannot be bounded. Indeed, for any π‘€βˆˆβ„Œ with 𝑣=(π΄βˆ’πœ†)βˆ’1𝑀 we would have

    β€–(π΄βˆ’πœ†)βˆ’1𝑀‖≀𝐢‖𝑀‖i.e.‖𝑣‖≀𝐢‖(π΄βˆ’πœ†)𝑣‖

    which contradicts (2), so (1) holds. Conversely if the infimum is some πœ€>0 then we would have β€–(π΄βˆ’πœ†)𝑣‖β‰₯πœ€β€–π‘£β€–, so injective i.e. ker(π΄βˆ’πœ†)={0}, and hence has dense range. If (π΄βˆ’πœ†)𝑣𝑛→𝑀 then this inequality implies 𝑣𝑛 is Cauchy, so the range is closed. Hence π΄βˆ’πœ† is surjective, so πœ†βˆ‰πœŽ(𝐴).

  • Theorem. Let (𝐴,𝐷(𝐴)) be self-adjoint. We have

    inf𝜎(𝐴)=infπ‘£βˆˆπ·(𝐴)‖𝑣‖=1βŸ¨π‘£,π΄π‘£βŸ©,sup𝜎(𝐴)=supπ‘£βˆˆπ·(𝐴)‖𝑣‖=1βŸ¨π‘£,π΄π‘£βŸ©.

    In particular, the spectrum is bounded below iff βŸ¨π‘£,π΄π‘£βŸ©β‰³β€–π‘£β€–2 for all π‘£βˆˆπ·(𝐴).

Diagonalization

  • Theorem Let 𝐴 be a symmetric operator on a domain 𝐷(𝐴)βŠ‚π», such that there exists a Hilbert basis (𝑒𝑛)𝑛β‰₯1 of 𝐻 composed of elements of 𝐷(𝐴), which are all eigenvectors: 𝐴𝑒𝑛=πœ†π‘›π‘’π‘› with πœ†π‘›βˆˆβ„. Then, the closure of 𝐴 is the operator
𝐴¯𝑣=βˆ‘π‘›β‰₯1πœ†π‘›βŸ¨π‘’π‘›,π‘£βŸ©π‘’π‘›,𝐷(𝐴¯)≔{π‘£βˆˆπ»:βˆ‘π‘›β‰₯1|πœ†π‘›|2|βŸ¨π‘’π‘›,π‘£βŸ©|2<∞}.

The latter is a self-adjoint operator whose spectrum is

𝜎(𝐴¯)={πœ†π‘›,𝑛β‰₯1}Β―.

In other words, (𝐴,𝐷(𝐴)) is essentially self-adjoint.

Momentum and Laplacian on ℝ𝑑

  • π‘ƒπ‘—β‰”βˆ’π‘–πœ•π‘—,π΄β‰”βˆ’Ξ” with 𝐷(𝑃𝑗)≔{π‘“βˆˆπΏ2:πœ•π‘—π‘“βˆˆπΏ2}βŠ‚β„Œ=𝐿2 and 𝐷(𝐴)=𝐻2 are self-adjoint. Moreover, 𝜎(𝑃𝑗)=ℝ and 𝜎(𝐴)=[0,∞), and they have no eigenvalues.

    • Only proof for Ξ” is given. Symmetry (integration by parts) is easy. Then to check self-adjointness we can check the surjectivity of π΄βˆ’πœ† for πœ†=βˆ’1=πœ†Β―, which is convenient as this gives us a japanese bracket on the Fourier side to work with. The claim on the spectrum comes from

Momentum on (0,1)

  • Let 𝐷(𝑃min)=πΆπ‘βˆž, 𝐷(𝑃max)=𝐻1 and 𝐷(𝑃0)=𝐻01(0,1). Then

    𝑃minβŠ‚(𝑃max)βˆ—=𝑃0βŠŠπ‘ƒ0βˆ—=(𝑃min)βˆ—=𝑃max

    in particular/addition

    • 𝑃min is symmetric but not self-adjoint, and its closure is 𝑃0.
    • 𝑃max=(𝑃min)βˆ—=𝑃0βˆ—, and is not symmetric.
    • 𝑃0 is closed and symmetric but not self-adjoint.

      • A symmetric operator has π΄βŠ‚π΄βˆ—. So π΄βˆ— is always a closed extension of such an operator. But this example shows that the closure of a symmetric operator need not be self-adjoint, and that the adjoint of a symmetric operator need not be symmetric. When we try to compute the adjoint we see the issues: the domain has all functions in 𝐿2 satisfying the adjoint equation, and the vanishing of π‘£βˆˆπ·(𝑃0) gives freedom to have a nonzero value at the boundary for π‘£βˆˆπ·(𝑃0βˆ—), and breaks symmetry.
    • We have 𝜎(𝑃0)=𝜎(𝑃min)=𝜎(𝑃max)=β„‚. The spectrum of 𝑃max consists only of eigenvalues, while the other spectra have none.

      • this is because all solutions to the eigenvalue equation for 𝑃max are π‘’π‘–πœ†π‘₯, and also separately check that 0β‰ π‘’π‘–πœ†π‘₯∈ran(𝑃0βˆ’πœ†)βŸ‚.
  • The strict symmetric extensions of 𝑃0 are defined by 𝑃per,πœƒπ‘“=βˆ’π‘–π‘“β€² on the domain

    𝐷(𝑃per,πœƒ)={π‘“βˆˆπ»1:𝑓(1)=π‘’π‘–πœƒπ‘“(0)}.

    These operators are all self-adjoint, and their spectrum is 𝜎(𝑃per,πœƒ)={2πœ‹π‘›+πœƒ:π‘›βˆˆβ„€}, consisting only of eigenvalues.

    • the condition 𝑓(1)=π‘’π‘–πœƒπ‘“(0) is known as the Born-von Karman boundary condition.
    • In the proof it is shown that 𝐻01 is codimension 1 in 𝐻per,πœƒ.

Momentum on ℝ+

Making the similar definitions of 𝐻1,𝐻01,𝑃min,𝑃max, and 𝑃0 mutatis mutandis we have EquationΒ 22, but 𝑃0 in this case has no self-adjoint extensions, with 𝜎(𝑃0)=β„‚βˆ’β‰”{π‘§βˆˆβ„‚:β„‘(𝑧)<0}, without eigenvalues.

Exercises

  1. (𝐻per1 and Fourier Series) Skipping for now as it seems routine
  2. (Beware of Commutators) The issue here is that 𝑃per𝑋 wont necessarily be defined as 𝑋 could take you out of 𝐷(𝑃per).
  3. Exercise 2.48 (Deficiency Indices) Let (𝐴,𝐷(𝐴)) be a closed symmetric operator.

    1. Show that β€–(𝐴+𝑖)𝑣‖=β€–(π΄βˆ’π‘–)𝑣‖ for all π‘£βˆˆπ·(𝐴). Deduce that the operator π‘ˆ=(𝐴+𝑖)(π΄βˆ’π‘–)βˆ’1 is an isometry from ran(π΄βˆ’π‘–) into ran(𝐴+𝑖).

      • This follows from the nice identity from before that

        β€–π΄βˆ’π‘Žβˆ’π‘–π‘β€–π‘’2=β€–(π΄βˆ’π‘Ž)𝑒‖2+𝑏2‖𝑒‖2

        with π‘Ž=0 and 𝑏=Β±1. (GPT tells me the formula for π‘ˆ has the inverse defined only as a map on ran(π΄βˆ’π‘–), not necessarily a proper resolvent.)

    2. What can we conclude in finite dimension?

      • Peeking ahead at the later parts of the exercise, I think we are supposed to see that dimker(π΄βˆ’π‘–)=dimker(𝐴+𝑖) (using the finiteness of dimension to conclude from the rank).
    3. Let 𝐡=π΅βˆ— be a self-adjoint extension of 𝐴. Show that 𝑉=(𝐡+𝑖)(π΅βˆ’π‘–)βˆ’1 is an isometry from β„Œ into β„Œ, which is an extension of π‘ˆ, that is, such that 𝑉𝑓=π‘ˆπ‘“ for all π‘“βˆˆπ·(𝐴).

      • This is easy because we already know that π‘–βˆ‰πœŽ(𝐡) and that 𝐡+𝑖 is surjective.
    4. Then show that the image of ran(𝐴+𝑖)βŸ‚=ker(π΄βˆ—βˆ’π‘–) by 𝑉 contains ran(π΄βˆ’π‘–)βŸ‚=ker(π΄βˆ—+𝑖).

      • We want to show that 𝑉(ker(π΄βˆ—βˆ’π‘–))βŠƒker(π΄βˆ—+𝑖). Let π΄βˆ—π‘£=βˆ’π‘–π‘£; we want to show that there is 𝑀 in ker(π΄βˆ—βˆ’π‘–) such that 𝑉𝑀=𝑣. Clearly such 𝑀 would be defined by 𝑀=π‘‰βˆ’1𝑣=(π΅βˆ’π‘–)(𝐡+𝑖)βˆ’1𝑣. Lets check that π‘€βˆˆker(π΄βˆ—+𝑖)=ran(π΄βˆ’π‘–)βŸ‚. For π‘’βˆˆπ·(𝐴)βŠ‚π·(𝐡):
      ⟨(π΄βˆ’π‘–)𝑒,π‘€βŸ©=βŸ¨π‘’,(𝐡+𝑖)(π΅βˆ’π‘–)(𝐡+𝑖)βˆ’1π‘£βŸ©=βŸ¨π‘’,(π΅βˆ’π‘–)(𝐡+𝑖)(𝐡+𝑖)βˆ’1π‘£βŸ©=βŸ¨π‘’,(π΅βˆ’π‘–)π‘£βŸ©=⟨(𝐡+𝑖)𝑒,π‘£βŸ©=⟨(𝐴+𝑖)𝑒,π‘£βŸ©=0.
    5. Deduce that a symmetric operator can only have self-adjoint extensions if dimker(π΄βˆ—βˆ’π‘–)=dimker(π΄βˆ—+𝑖) (which can be finite or infinite). [Follows as 𝑉 is an isometry]

    6. Reinterpret the result of Theorem 2.40 in this perspective.

      • (This theorem concerns the lack of self adjoint extensions for the momentum operator on the half line.) The result on the spectrum 𝜎(𝑃)=β„‚βˆ’ is enough to show that there can be no self adjoint extension.

Related Posts