Category:Bernstein's Theorem on Unique Global Solution to y''=F(x,y,y')

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Bernstein's Theorem on Unique Global Solution to $y = \map F {x, y, y'}$:


Let $F$ and its partial derivatives $F_y, F_{y'}$ be real functions, defined on the closed interval $I = \closedint a b$.

Let $F, F_y, F_{y'} $ be continuous at every point $\tuple {x, y}$ for all finite $y'$.

Suppose there exists a constant $k > 0$ such that:

$\map {F_y} {x, y, y'} > k$

Suppose there exist real functions $\alpha = \map \alpha {x, y} \ge 0$, $\beta = \map \beta {x, y}\ge 0$ bounded in every bounded region of the plane such that:

$\size {\map F {x, y, y'} } \le \alpha y'^2 + \beta$


Then one and only one integral curve of the equation $y = \map F {x, y, y'}$ passes through any two points $\tuple {a, A}$ and $\tuple {b, B}$ such that $a \ne b$.