Uniform negative curvature and global maximization

ID: uniform-negative-curvature-and-global-maximization

If a twice differentiable real function on satisfies for some fixed , then it has a unique global maximum. The mean value theorem shows that is strictly decreasing, and that is nonincreasing. Hence for and for . These inequalities force opposite derivative signs at the two ends. The intermediate value theorem supplies a unique zero of , at which changes from increasing to decreasing. Merely having does not guarantee existence: is increasing and approaches its unattained supremum zero.

New to topics? Read the docs here!