Friedrichs extension of operators defined by linear Hamiltonian systems on unbounded interval
In this paper we consider a linear operator on an unbounded interval associated with a matrix linear Hamiltonian system. We characterize its Friedrichs extension in terms of the recessive system of solutions at infinity. This generalizes a similar result obtained by Marletta and Zettl for linear operators defined by even order Sturm-Liouville differential equations.