REVIEW
Self-adjoint differential operators assosiated with self-adjoint differential expressions
Quantum Physics · Submitted 21 Mar 2006 · 33 references
Pith's verdict: Useful review with correct mathematics, but the advertised shortcut is not a shortcut—the boundary-condition method reproduces deficiency-subspace data in disguise.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Self-adjoint extensions of differential operators can be specified directly by boundary conditions, skipping the usual deficiency-subspace calculation.
The reading
What carries the argument
The load-bearing object is the sesquilinear asymmetry form $\omega_*(\eta_*,\xi_*)=(\eta_*,\hat f^+\xi_*)-(\hat f^+\eta_*,\xi_*)$ on the domain of the adjoint, together with its quadratic version $\Delta_*(\xi_*)=\omega_*(\xi_*,\xi_*)$. For a symmetric operator the form vanishes exactly on the closure domain, and a self-adjoint extension is a maximal domain on which it vanishes. For ordinary differential expressions the integration-by-parts identity converts it into the boundary term $[\chi_*,\psi_*]|_a^b$ of a local form in the functions and their (quasi)derivatives, which is what turns abstract extension theory into boundary conditions. The key modification, stated as an addition to the main theorem, is that a self-adjoint extension is specified by any $m$ vectors $w_k$ in the adjoint domain that are linearly independent modulo the closure domain and satisfy $\omega_*(w_k,w_l)=0$; no explicit diagonalization of the adjoint into deficiency subspaces is needed.
Extended reading notes
Core claim
The paper establishes that every self-adjoint extension of a symmetric differential operator with equal nonzero deficiency indices $m_+=m_-=m$ can be written as a restriction of the adjoint to the domain $D_{f_U}=\{\psi_U\in D_{f^+}:\omega_*(w_k,\psi_U)=0,\ k=1,\ldots,m\}$, where the $w_k$ lie in the adjoint domain, are linearly independent modulo the closure domain, and satisfy $\omega_*(w_k,w_l)=0$. Conversely, any such $m$-tuple defines a self-adjoint extension. Because for an ordinary differential expression the sesquilinear asymmetry form $\omega_*(\chi_*,\psi_*)$ equals the boundary term $[\chi_*,\psi_*]|_a^b$ of the local form, these abstract conditions become explicit boundary conditions, interpreted asymptotically at singular ends. The paper demonstrates the route on momentum on a segment, which yields a one-parameter $U(1)$ family with boundary condition $\psi(l)=e^{i\vartheta}\psi(0)$, and on the free Hamiltonian on a half-line, which yields the $U(1)$ family $\psi'(0)=\lambda\psi(0)$ with $\lambda\in[-\infty,\infty]$.
Load-bearing premise
The shortcut assumes one can explicitly construct the $m$ boundary-behavior vectors $w_k$ in the adjoint domain, linearly independent modulo the closure domain and with mutually vanishing asymmetry form, without first solving the deficiency equations; the paper states this is not guaranteed for all singular boundaries.
Editorial extensions
If this is right
- For a differential expression of order $n$ on a finite interval with two regular ends, the deficiency indices are $n$, so the self-adjoint operators form a $U(n)$ family specified by boundary conditions; the free Hamiltonian on a segment is a four-parameter $U(2)$ family containing Dirichlet, Neumann, periodic, and other boundary conditions.
- For an even-order real-coefficient expression the deficiency indices are always equal, so an associated self-adjoint operator always exists, though generally not uniquely; for odd expressions such as $\mathrm i\,d/dx$ on a half-line the indices differ and no self-adjoint momentum operator exists.
- The alternative boundary-condition method produces the extension family in the form physicists use for spectral problems, avoiding the intermediate construction of the closure domain and the solution of the deficiency eigenvalue equations $\hat f^+\psi_\pm=\pm\mathrm i\kappa\psi_\pm$.
- Parameters absent from the formal expression enter through the extension choice, as the dimensional parameter $\kappa$ does in the half-line Hamiltonian example, showing how quantization of a system with boundaries can break a naive scale invariance.
Reading between the lines
- Beyond the paper's worked examples, the criterion of the addition to the main theorem suggests that extension classification for strongly singular potentials, such as $V=-\alpha/r^\beta$ with $\beta>2$, could reduce to a finite linear algebra problem in the space of asymptotic boundary values, once those values are known.
- The method offers a practical diagnostic for essential self-adjointness: evaluate the quadratic asymmetry form on a candidate domain; if a function with nonzero boundary value exists, the natural domain is not self-adjoint, as the paper's $V=-x^4$ example shows, and an extension problem is genuinely present.
- A likely natural next step is to apply the same asymmetry-form boundary conditions to systems of differential equations, such as radial Dirac or spinor Hamiltonians, where the paper states matrix generalizations are direct but does not develop them in detail.
Original abstract
Considerable attention has been recently focused on quantum-mechanical systems with boundaries and/or singular potentials for which the construction of physical observables as self-adjoint (s.a.) operators is a nontrivial problem. We present a comparative review of various methods of specifying ordinary s.a. differential operators generated by formally s.a. differential expressions based on the general theory of s.a. extensions of symmetric operators. The exposition is untraditional and is based on the concept of asymmetry forms generated by adjoint operators. The main attention is given to a specification of s.a. extensions by s.a. boundary conditions. All the methods are illustrated by examples of quantum-mechanical observables like momentum and Hamiltonian. In addition to the conventional methods, we propose a possible alternative way of specifying s.a. differential operators by explicit s.a. boundary conditions that generally have an asymptotic form for singular boundaries. A comparative advantage of the method is that it allows avoiding an evaluation of deficient subspaces and deficiency indices. The effectiveness of the method is illustrated by a number of examples of quantum-mechanical observables.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Considerable attention has been recently focused on quantum-mechanical systems with boundaries and/or singular potentials for which the construction of physical observables as self-adjoint (s.a.) operators is a nontrivial problem. We present a comparative review of various methods of specifying ordinary s.a. differential operators generated by formally s.a. differential expressions based on the general theory of s.a. extensions of symmetric operators. The exposition is untraditional and is based on the concept of asymmetry forms generated by adjoint operators. The main attention is given to a specification of s.a. extensions by s.a. boundary conditions. All the methods are illustrated by examples of quantum-mechanical observables like momentum and Hamiltonian. In addition to the conventional methods, we propose a possible alternative way of specifying s.a. differential operators by explicit s.a. boundary conditions that generally have an asymptotic form for singular boundaries. A comparative advantage of the method is that it allows avoiding an evaluation of deficient subspaces and deficiency indices. The effectiveness of the method is illustrated by a number of examples of quantum-mechanical observables.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Considerable attention has been recently focused on quantum-mechanical systems with boundaries and/or singular potentials for which the construction of physical observables as self-adjoint (s.a.) operators is a nontrivial problem. | background 1.00 | 0.04 | 0.03 | asserted 1.00 |
| s1 | We present a comparative review of various methods of specifying ordinary s.a. differential operators generated by formally s.a. differential expressions based on the general theory of s.a. extensions of symmetric operators. | contribution 0.98 | 0.81 | 0.10 | asserted 0.99 |
| s2 | The exposition is untraditional and is based on the concept of asymmetry forms generated by adjoint operators. | method 0.90 | 0.65 | 0.05 | asserted 1.00 |
| s3 | The main attention is given to a specification of s.a. extensions by s.a. boundary conditions. | method 0.64 | 0.47 | 0.16 | asserted 0.99 |
| s4 | All the methods are illustrated by examples of quantum-mechanical observables like momentum and Hamiltonian. | method 0.75 | 0.76 | 0.05 | asserted 1.00 |
| s5 | In addition to the conventional methods, we propose a possible alternative way of specifying s.a. differential operators by explicit s.a. boundary conditions that generally have an asymptotic form for singular boundaries. | contribution 0.97 | 0.91 | 0.35 | hedged possibility 0.98 |
| s6 | A comparative advantage of the method is that it allows avoiding an evaluation of deficient subspaces and deficiency indices. | contribution 0.40 | 0.71 | 0.21 | asserted 0.95 |
| s7 | The effectiveness of the method is illustrated by a number of examples of quantum-mechanical observables. | result 0.37 | 0.87 | 0.11 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
5 arXiv papers cite this in 13 sentences
Papers citing it · 12 sentences without a confident label
Cites it as background 1 paper
-
(see [ref] , Appendix to Section 10.1), which was widely discussed in the literature in the context of one-dimensional potential (the so-called Calogero potential) $g/x^2$ on the semi-axis or on the whole axis (e.g., see [ref] , [ref] , [ref] ).
New Exactly Solvable Two-Dimensional Quantum Model Not Amenable to Separation of Variables · Separation of Variables for $H(p=1)$. · 0.96
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.