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.
Articles by others on the same topic
There are currently no matching articles.