Sturm-Liouville confusion

  • Context: Graduate 
  • Thread starter Thread starter fayled
  • Start date Start date
  • Tags Tags
    Confusion
Click For Summary
SUMMARY

The discussion centers on the Sturm-Liouville (SL) problem and the conditions under which the differential operator L is Hermitian. The operator is defined as L≡d/dx[p(x)d/dx]+q(x), and it is established that L has real eigenvalues and orthonormal eigenfunctions if the boundary condition [u*(x)p(x)dv/dx]ab=0 holds for all functions u, v in the vector space V. The confusion arises regarding whether this boundary condition applies solely to eigenfunctions or to all functions in V. The example provided illustrates the eigenvalue equation d2en/dx2=λnen, leading to quantized eigenvalues λn=-n2 for integer n, under the assumption that the boundary conditions define the vector space.

PREREQUISITES
  • Understanding of Sturm-Liouville theory
  • Familiarity with differential operators and Hermitian properties
  • Knowledge of eigenvalue problems in functional analysis
  • Basic grasp of boundary conditions in differential equations
NEXT STEPS
  • Study the properties of Hermitian operators in quantum mechanics
  • Learn about the completeness of eigenfunction expansions in Sturm-Liouville problems
  • Explore the implications of boundary conditions on the eigenvalue spectrum
  • Investigate applications of Sturm-Liouville theory in mathematical physics
USEFUL FOR

Mathematicians, physicists, and students studying differential equations, particularly those focusing on eigenvalue problems and Sturm-Liouville theory.

fayled
Messages
176
Reaction score
0
So the basic idea is that the differential operator acting on the vector space V of functions f:[a,b]->ℂ, with some weight function w(x)
L≡d/dx[p(x)d/dx]+q(x)
is Hermitian (self-adjoint) if we have that for any two functions u(x), v(x) in this vector space,
[u*(x)p(x)dv/dx]ab=0,
thus L has real eigenvalues and it's eigenfunctions form an orthonormal basis for V.

Now my notes seem to be suggesting to me that if we write the SL problem, i.e the eigenvalue equation
Lennen
for eigenfunctions en and eigenvalues λn, then so long as the eigenfunctions satisfy the above boundary condition, i.e [en*(x)p(x)dem/dx]ab=0, then L is Hermitian. This is confusing me because as I stated above, I'm sure this boundary condition must apply for all u,v in the space of functions V, not just the eigenfunctions.

There is an example of this form given, which is
d2endx2=λnen.
It finds the eigenfunctions as exp[(√λn)x] and exp[-(√λn)x] where the eigenvalues are yet to be determined. Then it says let our interval be [a,b]=[-π,π] and so because p(x)=1, it asks for [e*mden/dx]π=0 (for any combination of the eigenfunctions), which quantizes the eigenvalues as λn=-n2 for integer n. However again, as I said above, we are only asking for the eigenfunctions to satisfy this boundary condition, whilst I was under the impression that any two functions, u,v in the space V (which does include, but is not limited to, pairs of the eigenfunctions) must meet this condition, not just the eigenfunctions.

Could anyone clear this up for me? Thankyou in advance :D
 
Last edited:
Physics news on Phys.org
Note the example should be d2en/dx2nen. Anybody please?
 
...
 
I believe it's the case that the vector space on which L acts is determined by the boundary conditions you place on the problem. Given this, you solve the SL problem and obtain a set of eigenfunctions which form a complete basis for that vector space. So it follows that any function can be written as a sum of eigenfunctions. I hope that makes sense.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 45 ·
2
Replies
45
Views
9K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K