While learning differential equations, I was reading some notes, and it was mentioned that for Dirichlet BVP


$$x'' = f (t, x), \quad x(0) = 0 = x(1).$$ Suppose $f : [0, 1] \times \mathbb{R}\to \mathbb{R}$ is continuous and there is a constant $R > 0$ such that $f (t, R) \ge 0$, $f (t, −R)\leq 0$, for all $t \in [0, 1]$.
It can be shown that there is at least one solution, but the proof is missing.


Can someone please help me out with this?


How to find such an constant $R$, for some problem say, $$x'' = x^3 + t,\quad x(0) = 0 = x(1)$$ to show that this has at least one solution?


Regards,
Salil



Existence of solutions for differential equations
The assumption tells you that $x\_+\equiv R$ is a super-solution, and $x\_-\equiv -R$ a sub-solution, of your problem. This means that $x\_-''\ge f(t,x\_-)$, $x\_+''\le f(t,x\_+)$, and $x\_-\le0\le x\_+$ at $t=0,1$.


It is a general fact that when a BVP for a second-order differential equation admits a sub- and a super-solution $x\_\pm$, and if $x\_-\le x\_+$, then the problem admits a solution $x$ such that $x\_-\le x\le x\_+$.


Idea : Take $\lambda>0$ large enough that $x\mapsto g(t,x):=f(t,x)-\lambda x$ be non-increasing over $[-R,R]$, for every $t\in[0,1]$. Rewrite the problem as
$$x''-\lambda x=g(t,x).$$With $x(0)=x(1)=0$, this is equivalent to an integral equation
$$x(t)=-\int\_0^1K\_\lambda(t,s)g(s,x(s))ds=:(Tx)(t).$$
The kernel $K\_\lambda$ is bounded and continuous. Let us define the convex subset $C$ of ${\mathcal C}(0,1)$ by the conditions
$$x(0)=x(1)=0,\qquad x\_-\le x \le x\_+.$$
Because of the monotonicity of $g$, and because $Tx\_-\ge x\_-$, $Tx\_+\le x\_+$, $T$ maps $C$ into itself. In addition, $T(C)$ is relatively compact (a consequence of Ascoli-Arzela). By Schauder fixed point theorem, it admits a fixed point $\bar x$. This $\bar x$ is a solution of your problem.


