Solving the boundary value problem $y''+\lambda y=0,\ y(0)-y'(0)=0,\ y(1)=0$

1.7k Views Asked by At

For the boundary value problem

$$y''+\lambda y=0,\ \ y(0)-y'(0)=0,\ \ y(1)=0$$

I believe only the trivial solution applies when $\lambda =0$. When $\lambda <0$ I get solutions of the form $c_1e^{-\sqrt{-\lambda}t}+c_2e^{\sqrt{-\lambda}t}$ and applying the boundary conditions,

$$c_1(1+\sqrt{-\lambda})+c_2(1-\sqrt{-\lambda})=0$$

$$c_1e^{-\sqrt{-\lambda}}+c_2e^{\sqrt{-\lambda}}=0$$

The second implies

$$c_1=-c_2e^{2\sqrt{-\lambda}}$$

which we can substitute into the first equation to get

$$1-\sqrt{-\lambda}=(1+\sqrt{-\lambda})e^{2\sqrt{-\lambda}}$$

I see no clear path to a solution for $\lambda$ but I do remark that the right-hand side is positive hence we require

$$1-\sqrt{-\lambda} > 0$$

so that $0>\lambda > -1$. That all such $\lambda$ would allow for a solution seems unlikely to me, but I can see no further solution method, except perhaps by using technology to plot the functions of $\lambda$ and find intersections. Is there a more satisfying solution?

1

There are 1 best solutions below

0
On BEST ANSWER

Negative $\lambda$

Following the comment by Mattos, let $\lambda=-k^2$ where $k>0$. The general solution of the ODE $y''=k^2y$ is $A\cosh kx +B\sinh kx$; this form is equivalent to $C_1e^{kx}+C_2e^{-kx}$ but is usually easier to handle with regard to initial conditions. The initial condition $y'(0)=y(0)$ yields $kB = A$, hence $$y(x) = B(k\cosh kx + \sinh kx)$$ The boundary condition $y(1)=0$ requires $B=0$, since $k\cosh k + \sinh k>0$. So, the only solution is the trivial one $y\equiv 0$.

Positive $\lambda$

Let $\lambda=k^2$ where $k>0$. The general solution of the ODE $y''=-k^2y$ is $A\cos kx +B\sin kx$. The initial condition $y'(0)=y(0)$ yields $kB = A$, hence $$y(x) = B(k\cos kx + \sin kx)$$ The boundary condition $y(1)=0$ requires $B=0$ (trivial solution), unless $k\cos 1 + \sin k=0$. So, nontrivial solution exists only when $\tan k = -k$. There are infinitely many such numbers $k$ (the line $y=-x$ intersects the graph of tangent infinitely many times), but there is no analytic formula for them.