- #1

usn7564

- 63

- 0

**Sturm-Liouville problem:**

[tex]\frac{d}{dx} (r(x) \frac{dX}{dx}) + q(x)X(x) + \lambda p(x) X(x) = 0 \quad x \in \left[a, b \right][/tex]

[tex] a_1 X(a) + a_2X'(a) = 0[/tex]

[tex]b_1 X(b) + b_2X'(b) = 0[/tex]

[tex]r, r', q, p \in \mathbb{C} \forall x \in in \left[a, b \right][/tex]

**Theorem:**

Under the additional condition that r(a)>0 (or r(b) > 0), the S.L BVP cannot have two linearly independent eigenfunctions corresponding to the same eigenvalue.

**Proof:**

X, Y two eigenfunctions corresponding to the same eigenvalue. Then Z = Y(a)X(x) - X(a)Y(x) is also a solution and it can be shown that [skipping how to get z(a), z'(a) as there's no real problem there for me]

[tex]z(a) = z'(a) = 0 \implies z(x) = 0 \forall x \in \left[a, b \right][/tex]

QED, catfoots and other scribbles.

**Question:**

I don't get the final implication at all. Why does knowing that z(a) and z'(a) = 0 at x = a show that z(x) is identically zero over the interval in question?

Last edited: