Domain of Sturm-Liouville operators

In summary, the operator is defined on a subset of the Hilbert space that is closed under the L^2 norm. It can be proved that this subset is complete by using spectral theory.
  • #1
34
2
Hello, folks,

A Sturm-Liouville operator is typically defined not on the whole space of [itex]C^2[/itex] functions,
but rather on some subspace described by boundary conditions. My question is: are those subspaces closed (hence complete, hence Hilbert) in [itex]L^2[/itex]? In case of an affirmative answer, how
can one prove that?

I've been searching for this answer in books, but apparently they don't even bother to consider
that operators are defined in subspaces of [itex]L^2[/itex] and go on applying spectral theory to
them as if they were defined on a Hilbert space.

Please, let me know if the question was not clear.

Thanks in advance.
 
Physics news on Phys.org
  • #2
hellofolks said:
Hello, folks,

A Sturm-Liouville operator is typically defined not on the whole space of [itex]C^2[/itex] functions,
but rather on some subspace described by boundary conditions. My question is: are those subspaces closed (hence complete, hence Hilbert) in [itex]L^2[/itex]? In case of an affirmative answer, how
can one prove that?

The relevant Hilbert space is not the subspace of [itex]C^2[/itex] itself (which is not complete with respect to the [itex]L^2[/itex] norm anyway), but the completion of that subspace with respect to the [itex]L^2[/itex] norm.
 
  • #3
But how can we describe that completion?
 
  • #4
hellofolks said:
But how can we describe that completion?

As the set of equivalence classes of square-integrable but not necessarily continuous functions satisfying the given boundary conditions under the equivalence relation [itex]{\sim}[/itex], where [itex]f \sim g[/itex] if and only if the set [itex]\{ x : f(x) \neq g(x)\}[/itex] has measure zero. This construction is necessary to ensure that [itex]\left(\int f^2\,\mathrm{d}x\right)^{1/2}[/itex] remains a norm, since two functions which differ on a set of measure zero have the same integral. It also ensures that no two continuous functions are in the same equivalence class, since if two continuous functions differ at a point then they must differ on an open neighbourhood of that point, and open neighbourhoods have strictly positive measure.
 
  • #5
The completion detail is usually not described in textbooks. Do you have any idea why?
 

Suggested for: Domain of Sturm-Liouville operators

Replies
1
Views
1K
Replies
1
Views
1K
Replies
3
Views
1K
Replies
2
Views
1K
Replies
3
Views
2K
Replies
8
Views
3K
Replies
2
Views
1K
Replies
1
Views
1K
Replies
1
Views
1K
Back
Top