Let $V : [a,b] \to \mathbb{R}$ be smooth, strictly increasing and $V(a) = 0$. Suppose that $f : [a,b] \to \mathbb{R}$ is smooth and satisfies $f^{\prime \prime} (x) + V(x) f(x) = 0$ on $[a,b]$. Can we then bound $\sup\_{x \in [a,b]} |f(x)|$ in terms of $f(a) , f(b) , f^{\prime} (b), V(b)$? I intentionally don't put $f^{\prime} (a)$ into the list.



A bound on a solution of an ODE, given some bounds on endpoints
It will be more convenient (at least to me) to turn the problem right to left, restating it as follows:



> 
> Let $V\colon[a,b]\to\mathbb{R}$ be smooth, strictly decreasing and
> $V(b) = 0$. Suppose that $f\colon[a,b]\to\mathbb{R}$ is smooth and
> satisfies $f''(x)+V(x) f(x)=0$ on $[a,b]$. Can we then bound $\sup\_{x
> \in [a,b]} |f(x)|$ in terms of $f(a),f'(a),f(b),V(a)$?
> 
> 
> 


Such a bound does not exist.
Indeed, take any natural $n$. Let $x\_0:=0$. For all $k=0,\dots,n-1$, let $x\_{k+1}:=x\_k+k$. Let $a:=x\_0=0$ and $b:=x\_n$.
For all $k=0,\dots,n-1$ and all $x\in[x\_k,x\_{k+1})$, let  

$$f(x):=(-1)^k\,k\,\sin\frac{\pi(x-x\_k)}k,$$
$$V(x):=\frac{\pi^2}{k^2},$$
with $f(x\_n):=0$ and $V(x\_n):=0$.


Then $f\in C^1[a,b]$, $V$ is nonincreasing, $V(b)=0$, $f''+Vf=0$ on $[a,b]\setminus\{x\_1,\dots,x\_n\}$, $f(a)=0$, $f'(a)=\pi$, $f(b)=0$, $V(a)=\pi^2$. However, $|f((x\_{n-1}+x\_n)/2)|=n-1$, which is unbounded as $n\to\infty$, even though the values of $f(a),f'(a),f(b),V(a)$ are fixed.


It remains to smooth $V$ and $f$ near the points $x\_k$ appropriately, also modifying $V$ to make it strictly decreasing. (It should be clear that such qualitative conditions as smoothness and strictness cannot affect the presence or absence of a quantitative bound.)


