Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: Zero Function
Replies: 37   Last Post: Mar 28, 2012 9:40 AM

 Messages: [ Previous | Next ]
 Frederick Williams Posts: 2,166 Registered: 10/4/10
Re: Zero Function
Posted: May 25, 2011 2:33 PM

Stretto wrote:
>
> "William Elliot" wrote in message
> news:20110517020633.U8095@agora.rdrop.com...
>
> If f:R -> R is differentiable, f(0) = 0 and for all x, |f'(x)| <= |f(x)|,
> then f = 0.
>
> How is this proposition proved? Here's what's been suggested.
>
> If there's an a with f(a) /= 0, then
> there's some r between 0 and a (including end points)
> for which |f(r)| = max{ |f(x)| : x between 0 and a } and
>
> |f(r)| = |integral(0,r) f'(x) dx| <= integral(0,r) |f'(x)| dx
> <= integral(0,r) |f(x)| dx <= integral(0,a) |f(x)| dx
> <= integral(0,a) |f(r)| dx = |af(r)|.
> Since 0 < |f(r)|, 1 <= |a|.
>
> What now?
>
> ====
>
> Try induction,
>
> Assume the kth step is f^(k)(0) = 0 and |f^(k+1)(x)| <= |f^(k)(x)| and use
> that to prove that f^(k+1)(0) = 0 and |f^(k+2)(x)| <= |f^(k+1)(x)|. From
> this is follows from the base step that |f^(k)(0)| <= |f(0)|, from which it
> follows that f(x) = 0(the Taylor series of f at 0 is identically 0).

f(x) = e^{-1/x^2} when x =/= 0
= 0 else

has f^(k)(0) = 0 for all k, but it isn't the zero function.

--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting

Date Subject Author
5/17/11 William Elliot
5/17/11 tommyrjensen@gmail.com
5/17/11 William Elliot
5/17/11 David C. Ullrich
5/17/11 quasi
5/17/11 quasi
5/17/11 David C. Ullrich
5/18/11 William Elliot
5/18/11 David C. Ullrich
5/18/11 William Elliot
5/18/11 David C. Ullrich
5/25/11 Ronald Bruck
5/25/11 David C. Ullrich
5/18/11 quasi
5/18/11 David C. Ullrich
5/18/11 quasi
5/19/11 David C. Ullrich
5/18/11 David C. Ullrich
5/25/11 Stretto
5/25/11 Frederick Williams
5/25/11 JEMebius
5/26/11 Stretto
5/26/11 quasi
5/26/11 Stretto
5/26/11 Frederick Williams
5/26/11 Frederick Williams
5/27/11 ArtflDodgr
9/10/11 Michael Press
3/27/12 Frederick Williams
3/27/12 FredJeffries@gmail.com
3/28/12 David C. Ullrich