How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Positive scalar multiples of self-adjoint operators: domains, resolvents, spectra and eigenbases
Statement
Assume the Axiom of Countable Choice and the Axiom of Choice (The Axiom of Countable Choice (), The Axiom of Choice). Let be a complex Hilbert space (Hilbert space), let be a densely defined self-adjoint operator (Symmetric, self-adjoint and essentially self-adjoint operators, Adjoint of a densely defined operator), and let be real. Write for the operator with domain and . Then:
(a) is self-adjoint.
(b) For every one has if and only if , and then ; consequently and .
(c) If some, hence every, resolvent of is compact (Resolvent and spectrum of an unbounded operator, Compact linear operator), then every resolvent of is compact and and have the same complete orthonormal eigenfamily . If , take ; if is infinite dimensional, take , with and each eigenvalue repeated according to its finite multiplicity. In both cases , , and with no other spectral points. The finite-dimensional conclusion also holds without a separate compactness assumption, since bounded operators on such are compact.
(d) Eigenvectors correspond exactly: for and , , one has and if and only if and ; and every eigenvalue of has the same eigenspace as the corresponding eigenvalue of .
(e) If in the quadratic-form sense, meaning that for every , then in the same sense.
Only the scaling of the given operator is asserted; no domain, spectrum or eigenvector is claimed for any other rescaling, and no physical interpretation is attached.
Facts & Assumptions
Given: A complex Hilbert space ; a densely defined self-adjoint ; a real ; the operator with domain .
Adjoints and symmetry. For densely defined , the adjoint has domain consisting of those for which is bounded on , and is self-adjoint when including domains; is symmetric when for all (Adjoint of a densely defined operator, Symmetric, self-adjoint and essentially self-adjoint operators).
Inner-product algebra. The inner product is linear in its first argument and conjugate-linear in its second, and , for (Hilbert space).
Resolvent and spectrum. For a closed operator , the resolvent set consists of the for which is a bijection of onto with bounded inverse , and (Resolvent and spectrum of an unbounded operator, A bounded linear operator between normed spaces).
Compactness of scalar multiples. If is compact and , then is compact (Compact linear operator; scalar multiples of compact operators are compact as part of the linear-subspace statement of the compact-operator ideal).
Compact spectral decomposition. Every compact self-adjoint bounded operator has a complete orthonormal eigenfamily, allowing a kernel basis; each nonzero eigenspace is finite dimensional and only finitely many nonzero eigenvalues have modulus above a fixed positive threshold (Spectral theorem for compact self adjoint operators, Orthonormal eigenbasis for a compact self adjoint operator). Products with a bounded operator preserve compactness (Compositions with a compact operator are compact). For a self-adjoint unbounded , with bounded resolvents (Resolvent of a self-adjoint operator: nonreal resolvents and the estimate); if a real compact resolvent has already been obtained, the infinite-dimensional conclusion is also Self-adjoint operators with compact resolvent: eigenbasis and discrete spectrum.
Proof
Given: The data and hypotheses of the statement and [F1]-[F5].
[Symmetry] For , [F2] gives ; since is real, the scalar passes through the pairing in both slots, so is symmetric.
[Resolvent identity] Fix and write and on the common domain . Then as operators, since for every . If , then is a bijection with bounded inverse, so is a bijection with inverse , which is the displayed identity; conversely if , then is a bijection with bounded inverse , so . Therefore and, taking complements in , ; this is (b).
[Eigenpairs] Let and , . Since , if and only if . For such , if and only if , because multiplication by is injective; hence the eigenspaces coincide, which is (d).
[Adjoint domain] Let . Then is bounded on , and since , is bounded on as well; hence and . For every the defining identity of the adjoint and [F2] then give , and density of in gives . Hence ; the reverse inclusion holds because is symmetric, so and . This proves (a).
[All resolvents are compact] Write and suppose is compact. The resolvent identity, obtained by subtracting the two inverses on their common operator domain, is . Thus every is compact by [F5], irrespective of whether is real. Step 1.2 now gives compactness of every resolvent of .
[Finite-dimensional case] If , the dense linear domain equals , since every finite-dimensional subspace is closed (A finite-dimensional normed subspace is closed). The operator is then bounded and compact, and its self-adjointness and [F5] give an orthonormal eigenbasis of precisely vectors, including a basis of its zero eigenspace if necessary. In that basis is the diagonal matrix with real entries , so its spectrum is exactly those entries: off that set the diagonal inverse exists and is bounded, while at an entry there is a nonzero kernel vector. Step 1.3 gives the same family for , and step 1.2 gives the scaled spectrum.
[Infinite-dimensional eigenfamily from an arbitrary compact resolvent] Suppose is infinite dimensional. By step 2.2 both and are compact; their adjoint relation follows from the defining self-adjoint pairings, and the resolvent identity shows they commute. Hence is compact, self-adjoint, positive and injective. Its range lies in : maps into , preserves and commutes there with , by and on . [F5] decomposes into the closed span of its finite-dimensional positive -eigenspaces , with no kernel part. For , and , so is invariant under . The restriction of there is a finite-dimensional self-adjoint operator; step 2.3 gives an orthonormal eigenbasis of that restriction. The union is a complete orthonormal eigenfamily of . If , direct resolvent evaluation gives . There are only finitely many such vectors with for each fixed , since [F5] gives only finitely many -eigenvalues above and each has finite multiplicity. The union is countable and infinite, hence can be indexed by under the retained choice assumptions, and .
[No additional spectrum] In the eigenbasis of step 3.1, self-adjointness gives for , so . Conversely, if this sum is finite, the finite sums and converge to and ; passing to the limit in for every puts in and gives . Thus has exactly this maximal diagonal domain. Since , a complex outside has positive distance from that set. The diagonal map with entries is bounded and maps into the displayed domain because ; it is the two-sided inverse of . Every is an eigenvalue. This proves , and steps 1.2 and 1.3 give the scaled spectrum and common eigenfamily, completing (c).
[Quadratic forms] If for every , then for the same inequality scaled by gives ; this is (e), and steps 2.1, 1.2, 2.3, 4.1 and 1.3 complete the proof.
Remarks
- Where positivity is used. is used in step 2.1 (boundedness of the pairing is preserved under multiplication by , but the adjoint computation needs real, and the resolvent identity needs ), and in step 5.1 for the direction of the form inequality. For the operator is still self-adjoint when is, but the form inequality reverses; no such statement is used here.
- What is not asserted. The lemma transfers self-adjointness, resolvents, spectra, eigenfamilies and form lower bounds along positive scaling of a fixed operator. It does not construct a self-adjoint operator from a symmetric one, does not assert any min-max formula, and does not identify any operator with a physical energy.
Depends on
Adjoint of a densely defined operator
Symmetric, self-adjoint and essentially self-adjoint operators
Resolvent and spectrum of an unbounded operator
Compact linear operator
A bounded linear operator between normed spaces
Hilbert space
Self-adjoint operators with compact resolvent: eigenbasis and discrete spectrum
The Axiom of Countable Choice ()
The Axiom of Choice
Spectral theorem for compact self adjoint operators
Orthonormal eigenbasis for a compact self adjoint operator
Compositions with a compact operator are compact
Resolvent of a self-adjoint operator: nonreal resolvents and the estimate
A finite-dimensional normed subspace is closed
Dependency tree · 2 levels
Sources
- G. Teschl, Mathematical Methods in Quantum Mechanics, 1st edition 2009, Section 2.2 printed pages 58-67 (PDF pages 70-79): self-adjoint operators, adjoints and the spectrum under scaling
- M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised edition, Section VIII.1 (closed, symmetric and self-adjoint operators; scaling and resolvents)