Abstract:
Let $H$ be an abstract separable Hilbert space. We will consider the Hilbert space $H_1$ whose elements are functions $f(x)$ with domain $H$ and we will also consider the set of self-adjoint operators $Q(x)$ in $H$ of the form $Q(x)=A+B(x)$. In this formula $A\ge E$, $B(x)\ge0$, and the operator $B(x)$ is bounded for all $x$. An operator $L_0$ is defined on the set of finite, infinitely differentiable (in the strong sense) functions $y(x)\inH_1$ according to the formula: $L_0y=-y''+Q(x)y$$(-\infty<x<\infty)$. It is proved that the closure of the operator $L_0$ is a self-adjoint operator in $H_1$ under the given assumptions.
This publication is cited in the following 4 articles:
V. I. Gorbachuk, M. L. Gorbachuk, “Some questions of the spectral theory of differential equations of elliptic type in the space of vector-functions”, Ukr Math J, 28:3 (1977), 244
A. G. Brusentsev, F. S. Rofe-Beketov, “Selfadjointness conditions for strongly elliptic systems of arbitrary order”, Math. USSR-Sb., 24:1 (1974), 103–126
M. M. Gekhtman, “On the spectrum of an operator Sturm–Liouville equation”, Funct. Anal. Appl., 6:2 (1972), 151–152
L. I. Vainerman, M. L. Gorbachuk, “On self-adjoint semibounded abstract differential operators”, Ukr Math J, 22:6 (1971), 694