Counter example for uniqueness of second order differential equation

747 Views Asked by At

I have a second order differential equation, \begin{eqnarray} \dfrac{d^2 y}{d x^2} = H\left(x\right) \hspace{0.05ex}y \label{*}\tag{*} \end{eqnarray}

where, $\,H\left(x\right) = \dfrac{\mathop{\rm sech}\nolimits\left(x\right) \mathop{\rm sech}\nolimits\left(x\right)}{x + \ln\big(2\cosh\left(x\right)\big)}$. Plot of function $\,H\left(x\right) $ is shown below: enter image description here

I need to find solution of the equation $\eqref{*}$ for the boundary conditions

$$\begin{aligned} y\left(x\right)\bigg\rvert_{-\infty} &= 0, & \left.\dfrac{d\hspace{0.1ex}y\left(x\right)}{d\hspace{0.1ex}x}\right\rvert_{ -\infty} &= 0 \end{aligned} \label{**}\tag{**}$$

Obvious solution of the problem is $\,y=0$. But $\,y = x + \ln\big(2 \cosh\left(x\right)\big)\,$ also satisfies differential equation $\eqref{*}$, and satisfies boundary conditions $\eqref{**}$. Plot of $y\left(x\right)$ is shown below: enter image description here

As far as I know there cannot be two solution of the differential equation satisfying given boundary conditions. What am I missing here? Is uniqueness theorem not valid if the boundary conditions are applied at $\,\pm\infty$.

EDIT Thanks to the comment by Santiago, appearance contradiction is better seen:

Differential eq. $%\begin{align} y'\left(x\right) = y\left(x\right) %\end{align} $ with boundary condition $\displaystyle\lim_{x \to \infty}y\left(x\right) = 0$. There are infinitely many solution to this problem all of the form $y\left(x\right) = k\exp\left(x\right)$, where $k$ is some constant.

Post Edit Is it possible to generalize observation above that, boundary conditions at $\pm \infty$ may not yield unique solution?