TheoremBase

The Sign and Size of the Derivative: Monotonicity, Constancy and Lipschitz Bounds

For a function continuous on an interval and differentiable at the points strictly inside it, a nonnegative, positive, nonpositive, negative or zero derivative there makes the function nondecreasing, strictly increasing, nonincreasing, strictly decreasing or constant, and a bound M on the absolute value of the derivative makes it M-Lipschitz.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let II be an interval. Call x∈Ix\in I an inner point of II if u<x<vu<x<v for some u,v∈Iu,v\in I. Let f:I→Rf:I\to\mathbb{R} be continuous on II and differentiable at every inner point of II, derivatives being taken relative to II.

If 0≤f′(x)0\le f'(x) for every inner point xx of II, then f(x)≤f(y)f(x)\le f(y) for all x,y∈Ix,y\in I with x≤yx\le y.

If 0<f′(x)0<f'(x) for every inner point xx of II, then f(x)<f(y)f(x)<f(y) for all x,y∈Ix,y\in I with x<yx<y.

If f′(x)≤0f'(x)\le0 for every inner point xx of II, then f(y)≤f(x)f(y)\le f(x) for all x,y∈Ix,y\in I with x≤yx\le y.

If f′(x)<0f'(x)<0 for every inner point xx of II, then f(y)<f(x)f(y)<f(x) for all x,y∈Ix,y\in I with x<yx<y.

If f′(x)=0f'(x)=0 for every inner point xx of II, then f(x)=f(y)f(x)=f(y) for all x,y∈Ix,y\in I.

If M∈RM\in\mathbb{R} and ∣f′(x)∣≤M|f'(x)|\le M for every inner point xx of II, then ∣f(y)−f(x)∣≤M ∣y−x∣|f(y)-f(x)|\le M\,|y-x| for all x,y∈Ix,y\in I.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…