Nonlinear ODE bounds from interior extrema
ID: nonlinear-ode-bounds-from-interior-extrema
If a thrice differentiable solution has both endpoint values and both endpoint first derivatives bounded in modulus by , it obeys and throughout the interval. A positive interior maximum of would give , and a negative interior minimum would give , both impossible. For , differentiation gives , so the same argument applies at an extremum of . The resulting uniform bound and Lipschitz constant imply total boundedness of the solution family by the Arzelà-Ascoli theorem.
New to topics? Read the docs here!