Existence of solution in Sturm-Liouville DE

  • Context: Graduate 
  • Thread starter Thread starter meteorologist1
  • Start date Start date
  • Tags Tags
    Existence
Click For Summary
SUMMARY

The discussion centers on the existence of solutions for the Sturm-Liouville differential equation, specifically the condition that a solution u vanishes at a point c within an open interval (a, b). It is established that for any second-order ordinary differential equation (ODE), including the Sturm-Liouville form, there exists a fundamental set of solutions u1 and u2. By selecting appropriate constants k and m, one can construct a solution u(x) = k u1(x) + m u2(x) that satisfies u(c) = 0. The proof relies on the properties of continuously differentiable functions P(x) and continuous functions Q(x) within the interval.

PREREQUISITES
  • Understanding of Sturm-Liouville differential equations
  • Familiarity with second-order ordinary differential equations (ODEs)
  • Knowledge of the existence and uniqueness theorem for linear differential equations
  • Basic concepts of variational methods and the Lax-Milgram theorem
NEXT STEPS
  • Study the properties of Sturm-Liouville theory in detail
  • Explore the existence and uniqueness theorem for second-order linear ODEs
  • Learn about variational methods and their applications in differential equations
  • Investigate the Lax-Milgram theorem and its implications for weak solutions
USEFUL FOR

Mathematicians, physicists, and engineers interested in differential equations, particularly those working with Sturm-Liouville problems and variational methods.

meteorologist1
Messages
98
Reaction score
0
Hi, I have trouble constructing the proof for the existence of a solution u that vanishes at some point in an open interval (a, b) for the Sturm-Liouville differential equation:

[tex]\frac{d}{dx} (P(x) \frac{du}{dx}) + Q(x)u = 0[/tex]

We can assume that P is continuously differentiable and greater than 0 in the closed interval [a, b], and Q is continuous on [a, b].

I don't know if it's true that for any second-order ODE, there exists a basis of solutions u1 and u2. Does anyone know? If so, since the Sturm-Liouville DE is of second-order, let u1 and u2 be a basis of solutions, and pick a point c in (a, b). Then we have u(c) = k u1(c) + m u2(c) = 0 by choosing appropriate constants k and m. Not sure if this is right or not.

Thanks.
 
Physics news on Phys.org
We can use the weak variational problem then Lax-Miligram theorem
 


Hello! Thank you for sharing your question about the existence of solutions in the Sturm-Liouville differential equation. Let me try to provide some insight and guidance on constructing a proof for the existence of a solution that vanishes at a point in the open interval (a, b).

First, let's start by defining what it means for a solution u to vanish at a point c in the interval (a, b). This means that u(c) = 0, or in other words, the function u has a root at c.

Now, for any second-order ODE, it is true that there exists a basis of solutions u1 and u2. This is known as the fundamental set of solutions, and it is a result of the existence and uniqueness theorem for second-order linear differential equations.

With this in mind, let's consider the Sturm-Liouville DE. We have the equation:

\frac{d}{dx} (P(x) \frac{du}{dx}) + Q(x)u = 0

where P is continuously differentiable and greater than 0 in the closed interval [a, b], and Q is continuous on [a, b].

Now, let u1 and u2 be a basis of solutions for this DE. We can then write the general solution to this DE as:

u(x) = k u1(x) + m u2(x)

where k and m are constants.

Next, we want to show that there exists a solution u that vanishes at a point c in the interval (a, b). This means that u(c) = 0, or in other words, we want to find values of k and m such that:

u(c) = k u1(c) + m u2(c) = 0

Since u1 and u2 are solutions to the DE, we know that they satisfy the equation. Therefore, we can substitute them into our equation and solve for k and m:

\frac{d}{dx} (P(x) \frac{du1}{dx}) + Q(x)u1 = 0

\frac{d}{dx} (P(x) \frac{du2}{dx}) + Q(x)u2 = 0

Substituting these into the equation u(c) = k u1(c) + m u2(c) = 0, we get:

\frac{d}{dx}
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 45 ·
2
Replies
45
Views
10K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 1 ·
Replies
1
Views
11K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
0
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K