Could use some help with a proof

[csprof2000]

Hello,

I've been wondering about something for a while now. As a computer scientist, I never had much in the way of analysis or advanced calculus, but there is something I have always assumed was true but have never been able to prove.

Say that you have a function f : R -> R which is infinitely differentiable (and continuous). The derivatives may eventually equal zero, but they must also be infinitely differentiable (and continuous) according to this same definition.

Further, assume that on some finite closed interval [a, b] the function is constant; that is, for any x in [a, b], f(x) = c for some finite value of c (with c constant).

Is it true that f(x) = c for all x in R?

Also, as a computer scientist, if the bottom line does not follow, I would definitely like an example of a function satisfying my requirements but which is not constant. No ad absurdum proofs, please. Thanks in advance for any help I may get in this matter.

 

[csprof2000]

Umm...

"infinitely differentiable (and continuous)"

The heaviside function is not differentiable at x = 0, last time I checked. Nor is it continuous there.

 

[Hootenanny]

Umm...

"infinitely differentiable (and continuous)"

The heaviside function is not differentiable at x = 0, last time I checked. Nor is it continuous there.

I know, I missed that part of your post (which is why I deleted it just before you replied)

 

[csprof2000]

lol. I reread my post to make sure I said that. I agree the problem would have been a little flippant if I hadn't specified that. ;D

Thanks for your interest, though. It seems obvious to me, but is it so obvious? If it were so obvious, you'd think I'd have a proof by now...

 

[jgens]

Perhaps I misinterpretted - or misunderstand - your post but wouldn't the piecewise funcion:

c, a < x < b
f = (x - a)^2 + c, x < a
(x - b)^2 + c, x > b

satisfy the conditions? f(x) = c in some finite interval [a,b], is continuous for all values x, and I think is differentiable; moreover f(x) =/ c for all values x.

 

[csprof2000]

Well, the problem is that the second derivative,


f ' ' (x) = {2, x < a} or {0, a < x < b} or {2, b < x}

Therefore, the second derivative is neither continuous nor differentiable for x = a or x = b, which I require.

 

[Moo Of Doom]

Take a look here:

http://en.wikipedia.org/wiki/Non-analytic_smooth_function

 

[csprof2000]

Oh, wow. Well, I suppose that does it. Clever...

Thanks, Moo of Doom, for showing me that... it's a perfect counterexample. Thanks!

 

[csprof2000]

Arby, I'd take a look at Moo of Doom's link. Taylor's theorem only applies to analytic functions, I believe. I already knew it was true for analytic functions, but... I thought it may have been true more generally.

Thanks for your help, everybody.

 

[ArbyFisher]

Sorry didn't see it before I blinked, then I deleted it, thanks.

 

[Mentia]

What about a piecewise defined function:

f(x) =

(x+1)^2 for -inf < x < -1
0 for -1 <= x <= 1
(x-1)^2 for 1 < x < +inf


this is continuous and analytic and all those nice things isn't it?

Edit:
Whoops I'm not doing very well today. 2nd deriv problems...

 

[HallsofIvy]

The function defined by
f(x)= e^{-1/x^2} for x< 0
f(x)= 0 for 0\le x\le 1
f(x)= e^{-1/(x-1)^2}[/itex] for x&gt; 1<br /> is, I believe, infinitely differentiable for all x.