Mean Value Theorem

Table of Contents
1. Cauchy's Mean Value Theorem
2. Lagrange's Mean Value Theorem
3. Rolle's Mean Value Theorem
4. Relations among Rolle, Lagrange and Cauchy
5. Counterexamples and necessity of conditions
6. Applications and engineering relevance
View more

Cauchy's Mean Value Theorem

Suppose f(x) and g(x) are two real-valued functions defined on the closed interval [a, b] which satisfy the following conditions:

1. Continuity: f(x) and g(x) are continuous on [a, b].
2. Differentiability: f(x) and g(x) are differentiable on (a, b).
3. Nonzero derivative of g: g'(x) = 0 for all x in (a, b).

Then there exists a point c in (a, b) such that

[f(b) - f(a)] / [g(b) - g(a)] = f'(c) / g'(c).

The first two conditions are identical to those required by Lagrange's Mean Value Theorem for a single function. Cauchy's theorem generalises Lagrange's by involving two functions and comparing their increments and derivatives.

Proof (standard construction)

Define a function h(x) by

h(x) = f(x) - λ g(x), where λ is chosen so that h(a) = h(b).

Choose λ = [f(b) - f(a)] / [g(b) - g(a)].

Then h(a) = f(a) - λ g(a) and h(b) = f(b) - λ g(b), so h(b) - h(a) = 0.

Since f and g are continuous on [a,b] and differentiable on (a,b), h is continuous on [a,b] and differentiable on (a,b).

By Rolle's theorem there exists c ∈ (a,b) such that h'(c) = 0.

Compute h'(x): h'(x) = f'(x) - λ g'(x).

At x = c we have f'(c) - λ g'(c) = 0.

Substitute for λ to obtain [f(b) - f(a)] / [g(b) - g(a)] = f'(c) / g'(c), completing the proof.

Lagrange's Mean Value Theorem

Let f : [a, b] → R be a function satisfying:

1. Continuity: f(x) is continuous on [a, b].
2. Differentiability: f(x) is differentiable on (a, b).

Then there exists at least one point c ∈ (a, b) such that

f'(c) = [f(b) - f(a)] / (b - a).

Geometrically, Lagrange's theorem states that the tangent at some interior point has the same slope as the secant line joining the endpoints (a, f(a)) and (b, f(b)).

In elementary terms, if there is a smooth path from A(a, f(a)) to B(b, f(b)), there is at least one point where the instantaneous rate of change equals the average rate of change over the interval.

Proof using Rolle's Theorem

Consider the auxiliary function Φ(x) = f(x) - L(x), where L(x) is the straight line through (a, f(a)) and (b, f(b)) given by

L(x) = f(a) + [(f(b) - f(a)) / (b - a)] (x - a).

Then Φ(a) = Φ(b) = 0.

Φ is continuous on [a,b] and differentiable on (a,b).

By Rolle's theorem there exists c ∈ (a,b) with Φ'(c) = 0.

Compute Φ'(x): Φ'(x) = f'(x) - (f(b) - f(a)) / (b - a).

Thus f'(c) = (f(b) - f(a)) / (b - a), as required.

Example - Verify MVT for f(x) = x² on [2, 4]

Solution:

Verify continuity and differentiability.

f is a polynomial; hence it is continuous on [2,4] and differentiable on (2,4).

Compute derivative: f'(x) = 2x.

Compute endpoint values: f(2) = 4 and f(4) = 16.

Average rate of change: [f(4) - f(2)] / (4 - 2) = (16 - 4) / 2 = 6.

Set f'(c) = 6.

Substitute derivative: 2c = 6.

Solve: c = 3.

Conclusion: c = 3 ∈ (2,4) satisfies the theorem; f'(3) = 6.

Rolle's Mean Value Theorem

Rolle's theorem is a special case of Lagrange's theorem and applies under these conditions for a function f(x) on [a,b]:

1. Continuous: f(x) is continuous on [a, b].
2. Differentiable: f(x) is differentiable on (a, b).
3. Equal endpoints: f(a) = f(b).

Then there exists at least one point c ∈ (a, b) such that

f'(c) = 0.

Geometric interpretation: if a smooth curve starts and ends at the same height, there must be at least one point between where the tangent is horizontal (slope zero).

Figure(1)

It is possible for multiple points to satisfy Rolle's theorem, as shown in examples where the curve oscillates between a and b and returns to the same height multiple times.

Figure(2)

Relations among Rolle, Lagrange and Cauchy

• Rolle's theorem is the most specific: it requires f(a) = f(b) and guarantees f'(c) = 0.
• Lagrange's MVT generalises Rolle by allowing f(a) = f(b); Rolle follows from Lagrange by considering f(x) - L(x).
• Cauchy's MVT generalises Lagrange's theorem to two functions and reduces to Lagrange when g(x) = x.

Counterexamples and necessity of conditions

• If continuity on [a,b] fails, the theorem can fail. Example: f(x) with a jump discontinuity on [a,b].
• If differentiability on (a,b) fails, the theorem can fail. Example: f(x) = |x| on [-1,1] is continuous but not differentiable at 0; Lagrange's conclusion does not hold because derivative at centre does not exist.
• For Cauchy's theorem, if g'(x) = 0 at some point in (a,b) or g(b) = g(a), the stated ratio form may be undefined; hypotheses are necessary to avoid division by zero.

Applications and engineering relevance

• Error estimation: In numerical methods, MVT helps to bound the error of linear approximations and Taylor approximations by relating function increments to derivatives.
• Root-finding and uniqueness: MVT is used to show uniqueness of solutions for certain equations by proving monotonicity (if f' > 0 then f is strictly increasing).
• Control and stability (EE): It provides basic tools to estimate change in signals and to relate average and instantaneous rates - useful in signal slope estimates and transient analysis.
• Structural analysis (CE): Relates average strain or slope between two points to local slope; helpful in beam deflection approximations and interpolation error bounds.
• Algorithm analysis (CSE): Used in proofs about monotone functions, correctness of root bracketing methods, and establishing bounds in complexity analyses that depend on incremental changes.