Characterization of self-adjoint ordinary differential operators

Symmetric differential expressions @? of order n=2k with real valued coefficients give rise to self adjoint operators in the space of weighted square integrable functions. Characterization theorems exist in the literature that describe such self-adjoint operators. All such characterizations begin by constructing the maximal domain of definition of the expression @?. The Glazman-Krein-Naimark theorem constructs the maximal domain in terms of eigenfunctions corresponding to a nonreal parameter @l. Representations in terms of certain functions related to a real parameter @l can also be found in the literature. In this paper we construct the maximal domain from two complementary self-adjoint realizations of @?. One operator is assumed to be known and the other one is computed explicitly. From these two operators we explicitly give all other self-adjoint operators associated with @?. A special class of operators associated with @? is what we call Type I operators. They arise in connection with a certain bilinear form that results from the weak formulation of the expression @?. Depending on the deficiency index of @? and the properties of the bilinear form we can have two complementary self-adjoint operators (two Type I operators) and, as it turns out, one of them is the celebrated Friedrich Extension. The other operator appears to be new. As in the general case, using these two operators we give an explicit characterization of all other operators of the same Type I.