Derivative proof (hard, at least for me)

Click For Summary
SUMMARY

The discussion focuses on proving that if a function f(x) is defined and differentiable on the entire x-axis, with f(0) = 0 and |f'(x)| <= |f(x)| for all x, then f(x) must be identically zero. Key steps include demonstrating that f'(0) = 0, establishing the continuity of the derivative at x = 0, and applying the Mean Value Theorem (MVT) to show that f(b) = f(a) for points a and b around zero. The user is encouraged to prove f(x) = 0 for a specific interval [0, c] where c < 1 as a starting point for the proof.

PREREQUISITES
  • Understanding of calculus concepts such as derivatives and continuity.
  • Familiarity with the Mean Value Theorem (MVT).
  • Knowledge of epsilon-delta definitions of limits and continuity.
  • Basic proof techniques, including proof by contradiction.
NEXT STEPS
  • Study the Mean Value Theorem (MVT) in detail and its applications in proofs.
  • Learn about epsilon-delta definitions and their role in proving continuity.
  • Explore techniques for proving functions are identically zero under specific conditions.
  • Investigate proof by contradiction methods in calculus and analysis.
USEFUL FOR

Students studying calculus, particularly those tackling proofs involving derivatives and continuity, as well as educators looking for examples of rigorous mathematical reasoning.

JG89
Messages
724
Reaction score
1

Homework Statement



Let f(x) be defined and differentiable on the entire x-axis. Show that if f(0) = 0 and everywhere |f'(x)| <= |f(x)|, then f(x) = 0 identically.

Homework Equations


The Attempt at a Solution



I didn't really know how to get started, but as I worked through the problem, I proved some things that may be helpful.

1) if f(0) = 0, then we have |f'(0)| <= |f(0)| = 0, implying that f'(0) = 0 as well.

2) The derivative is continuous at x = 0. Since f is continuous, particularly at the point x = 0, we have |f(x) - f(0)| < epsilon whenever |x| < delta. The first inequality turns into |f(x)| < epsilon, and we know that |f'(x)| = |f'(x) - f'(0)| <= |f(x)| < epsilon whenever |x| < delta, thus the derivative is continuous at x = 0.

3) By the MVT, there are fixed values a and b such that a < 0 < b and [tex]f'(0) = \frac{f(b) - f(a)}{b-a}[/tex], implying that f(b) = f(a).

I was thinking if I could prove that the derivative is constant, then the rest is trivial. I also tried by assuming a contradiction, that for some c, f(c) > 0, but I couldn't derive a contradiction.

Please only give very small hints, I want to work through most of the question on my own.

Edit: Maybe I should assume for two distinct points that the different of their derivatives is not equal to 0 and try to derive a contradiction. I will be back!
 
Last edited:
Physics news on Phys.org
Here's a small but useful hint. First prove f(x)=0 for x in [0,c] where c<1.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
8
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K