Is the Sturm-Liouville Operator Symmetric in Inner Product Spaces?

  • Context: MHB 
  • Thread starter Thread starter Poirot1
  • Start date Start date
  • Tags Tags
    Operator
Click For Summary

Discussion Overview

The discussion revolves around the symmetry of the Sturm-Liouville operator with respect to inner product spaces. Participants explore the definitions and implications of symmetry in various mathematical contexts, particularly focusing on the role of the inner product in function spaces and the conditions under which the Sturm-Liouville operator is considered symmetric or Hermitian.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Exploratory

Main Points Raised

  • One participant questions the meaning of the Sturm-Liouville operator being symmetric in relation to inner products, noting that their reading did not mention inner products explicitly.
  • Another participant explains the need to generalize the concept of "inner product," mentioning various types of spaces (metric, normed, inner product, Banach, Hilbert, Sobolev) and their axioms.
  • The same participant provides a definition of the inner product in function spaces and presents the Sturm-Liouville operator, detailing the conditions under which it is symmetric with respect to a specific inner product involving a weight function.
  • They assert that demonstrating the symmetry involves showing that the inner product of the operator applied to one function with another equals the inner product of the first function with the operator applied to the second function, contingent on certain boundary conditions.
  • Another participant expresses regret for not conducting more research before asking their question, indicating a desire for further understanding.
  • A later reply reiterates the importance of understanding the role of the weight function in both the Sturm-Liouville operator and the inner product.

Areas of Agreement / Disagreement

The discussion does not appear to reach a consensus on the initial question regarding the symmetry of the Sturm-Liouville operator, as participants are exploring definitions and implications rather than agreeing on a definitive answer.

Contextual Notes

Participants mention the importance of boundary conditions in the context of the Sturm-Liouville operator's symmetry, but do not fully resolve how these conditions impact the operator's properties.

Poirot1
Messages
243
Reaction score
0
What does it mean for Sturm-Liouville operator to be symmetric w.r.t an inner product?

I was reading in a book that it is symmetric but that was about a certain integral being zero and inner products had not even been mentioned.
 
Physics news on Phys.org
You have to generalize the concept of "inner product". In normal 3D-space, it's called the dot product:
$$\langle \vec{x}|\vec{y}\rangle=\vec{x}\cdot\vec{y}=\sum_{j=1}^{3}x_{j}y_{j}.$$
But there are other "spaces" out there: metric spaces, normed spaces, inner product spaces, Banach spaces, Hilbert spaces, Sobolev spaces. They each have different axioms with which you start. The inner product space is fairly general, and the "vectors" can be the usual vectors in 3D space, or they could be functions in a function space. The usual inner product defined in a function space is
$$\langle f|g\rangle:=\int_{A} \overline{f} \,g\,d\mu.$$
Here $\overline{f}$ indicates the complex conjugate of $f$, and the $d\mu$ indicates that we've defined this integral to be a Lebesgue integral. $A$ is the set over which the function space is defined.

Now we have the background to answer your question. A Sturm-Liouville operator
$$L=\frac{1}{w(x)}\left(-\frac{d}{dx}\left[p(x)\,\frac{d}{dx}\right]+q(x)\right)$$
is symmetric (more properly, Hermitian) w.r.t. the inner product
$$\langle f|g\rangle:=\int_{A}\overline{f}\,g\,w(x)\,d\mu,$$
if and only if for every $f, g$ in the inner product space, it is true that
$$\langle Lf|g\rangle=\langle f|Lg\rangle.$$
With the Sturm-Liouville operator, you need to show that
$$\int_{A}\overline{\left\{\frac{1}{w(x)}\left(-\frac{d}{dx}\left[p(x)\,\frac{df}{dx}\right]+q(x)f\right)\right\}}\,g\,w(x)\,d\mu=\int_{A} \overline{f} \left\{\frac{1}{w(x)}\left(-\frac{d}{dx}\left[p(x)\,\frac{dg}{dx}\right]+q(x)g\right)\right\}\,w(x)\,d\mu.$$

You can do this using simple integration by parts twice. The boundary terms vanish because of the conditions on them. (Note that the boundary conditions are considered to be part of the operator.)

I note you marked this thread as solved. That is good. Perhaps this post will throw in a few helpful concepts.
 
Sorry you took your time. I should perhaps do a bit more reasearch before asking here.
 
Poirot said:
Sorry you took your time. I should perhaps do a bit more reasearch before asking here.

No, that's all right. Incidentally, there are some concepts here that might help you with your other problem. Take a look at how $w(x)$ appears in the Sturm-Liouville operator, as well as how it shows up in the inner product w.r.t. which the Sturm-Liouville operator is symmetric.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
Replies
11
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K