Does (f(x_0))=0 guarantee that d^n/dx^n(f(x_0)=0?

  • Context: Graduate 
  • Thread starter Thread starter Zacarias Nason
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the question of whether the condition f(x_0) = 0 implies that all derivatives of the function at that point, f'(x_0), f''(x_0), ..., f^n(x_0), are also equal to zero. Participants explore this concept through examples and counterexamples, examining the implications for various functions.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants question whether f(x_0) = 0 necessitates that all derivatives at x_0 are also zero, citing examples like the sine function where this is not the case.
  • Others argue that the value of the function at a point does not determine the values of its derivatives at that point without additional information about the function's behavior in a neighborhood around x_0.
  • Counterexamples are presented, such as f(x) = x + A, where f(0) = A and f'(0) = 1, and f(x) = e^x - 1, where f(0) = 0 but f'(0) = 1.
  • Participants clarify that notation issues contributed to misunderstandings in the discussion, particularly regarding the specification of x_0.
  • There is acknowledgment that the original question was stated incorrectly, leading to confusion about the implications of the examples provided.

Areas of Agreement / Disagreement

Participants generally do not agree on the implications of f(x_0) = 0 for the derivatives at that point. Multiple competing views remain, with some asserting that the condition does not imply all derivatives are zero, while others attempt to clarify the original question and its implications.

Contextual Notes

Limitations include the dependence on the specific functions discussed and the need for clarity in notation and expression to avoid misunderstandings. The discussion highlights the complexity of relating function values to their derivatives.

Zacarias Nason
Messages
67
Reaction score
4
I just realized that I've never gotten anything like a firm or analytical answer to this question: Does the value of a function being zero at a given point necessitate that the value of the function at the same point is zero for all of its derivatives? If
[tex]f(x_0)=0[/tex]
does it follow that
[tex]f'(x_0)=0[/tex] [tex]f''(x_0)=0[/tex] [tex]f'''(x_0)=0[/tex] [tex]...[/tex] [tex]f^n(x_0)=0[/tex]?
 
Physics news on Phys.org
Zacarias Nason said:
I just realized that I've never gotten anything like a firm or analytical answer to this question: Does the value of a function being zero at a given point necessitate that the value of the function at the same point is zero for all of its derivatives?
Look at the sine function. ##\sin(0)=0##. What about the derivatives of the sine function in 0?
Another example ##f(x)=x##.
 
  • Like
Likes   Reactions: Zacarias Nason
The sine function example makes plenty sense to me, but the f(x) one doesn't. If you have the point [tex]f(x_0)=0, \ \ \ x_0=0,[/tex][tex]f'(x_0)=0[/tex]
and so will its other derivatives at f(x)=0.
 
Last edited:
Zacarias Nason said:
The sine function example makes plenty sense to me, but the f(x) one doesn't. If you have the point [tex]f(x_0)=0, \ \ \ x=0,[/tex][tex]f'(x_0)=0[/tex]
and so will its other derivatives at f(x)=0.
If ##f(x)=x## (for all ##x##), then ##f'(x)=1##.
 
Yes, but I explicitly didn't say x, I said x_0.
 
Zacarias Nason said:
Yes, but I explicitly didn't say x, I said x_0.
The derivative of a function ##f## in a point ##x_0## doesn't depend only on the value of the function in that point.
Zacarias Nason said:
The sine function example makes plenty sense to me, but the f(x) one doesn't. If you have the point [tex]f(x_0)=0, \ \ \ x=0,[/tex][tex]f'(x_0)=0[/tex]
and so will its other derivatives at f(x)=0.
All you give here is the value of ##f## in ##x_0##. You can't compute the derivative without specifying ##f## in an open neighborhood of ##x_0##. (I don't understand what you mean by ##x=0## in this context.)
 
  • Like
Likes   Reactions: Zacarias Nason
Oh, this is a notation problem, that lies with me. That was supposed to be x_0=0, not x=0.
 
Zacarias Nason said:
Oh, this is a notation problem, that lies with me. That was supposed to be x_0=0, not x=0.
Even then, the two examples I gave show that ##f(x_0)=0## doesn't imply ##f'(x_0)=0##.

There is no generally valid relation between the value of a function in one point, and the value of the derivative at that same point.

Let's take two simple examples (where the function definition applies to all real ##x##, and ##A## is an arbitrary real number):
1) ##f(x)=x+A##.
Then ##f(0)=A, f'(0)=1##.

2 ##f(x)=Ax## .
Then ##f(0)=0, f'(0)=A##
 
Samy_A said:
Even then, the two examples I gave show that f(x0)=0f(x0)=0f(x_0)=0 doesn't imply f′(x0)=0f′(x0)=0f'(x_0)=0.

I know and I agree. We're talking about two different things, heh. I agree that the two examples you gave show that it isn't necessary all the derivatives aren't zero, if my question had been written correctly in the first place. If the notation was correct in the first place the counterexample could not have included [tex]f(x)=x,[/tex] because in the instance that [tex]f(x_0)=0[/tex] and [tex]x_0=0, f'(x_0)=0[/tex] as well. The only possible value of f(x) where f(x_0) is 0 is x_0 = 0, with which case the derivative would always be zero. It's my mistake that this happened, but I get it.
 
  • #10
Zacarias Nason said:
I know and I agree. We're talking about two different things, heh. I agree that the two examples you gave show that it isn't necessary all the derivatives aren't zero, if my question had been written correctly in the first place. If the notation was correct in the first place the counterexample could not have included [tex]f(x)=x,[/tex] because in the instance that [tex]f(x_0)=0[/tex] and [tex]x_0=0, f'(x_0)=0[/tex] as well. The only possible value of f(x) where f(x_0) is 0 is x_0 = 0, with which case the derivative would always be zero. It's my mistake that this happened, but I get it.
Frankly I don't understand what you ask.
The answer to the OP:
Zacarias Nason said:
I just realized that I've never gotten anything like a firm or analytical answer to this question: Does the value of a function being zero at a given point necessitate that the value of the function at the same point is zero for all of its derivatives? If
[tex]f(x_0)=0[/tex]
does it follow that
[tex]f'(x_0)=0[/tex] [tex]f''(x_0)=0[/tex] [tex]f'''(x_0)=0[/tex] [tex]...[/tex] [tex]f^n(x_0)=0[/tex]?
is no.

If the OP doesn't present your question correctly, please state your question in a new post in a clear and unambiguous way.
 
Last edited:
  • #11
The answer to the OP, stated incorrectly, is no. The answer to the OP, stated correctly, is no. The counterexamples to justify that "no" in each case overlap but are not identical.
 
  • Like
Likes   Reactions: DrewD
  • #12
You seem to be confusing the fact that [itex]f(x_0)[/itex] is a number with f being a constant function. Any function is, of course, a constant a fixed value of [itex]x_0[/itex] but the derivative at [itex]x= x_0[/itex] depends upon value of f(x) close to [itex]x_0[/itex] as well as at [itex]x_0[/itex].
 
  • #13
This has just spiraled out of control at this point into some growing thread based on misunderstanding of what other parties know at this point rather than actual misunderstanding. I get it, and got it after the second statement from Samy_A, my statements after the cos(x) and x posts related to me incorrectly expressing an already incorrect idea and Samy's counterexamples only applying wholly to the "correctly" expressed incorrect idea, and partly to the incorrectly expressed incorrect idea. There is no confusion at this point.

My original, incorrectly stated version of an already incorrect idea was this:
[tex]\text{If you have a function} \ f(x) \ \text{evaluated at} \ f(x_0)=0, \ \text{where} \ x=0, \ \text{this must mean that}\ f'(x_0)=0, \ f''(x_0)=0, \ ... \ , \ f^n(x_0)=0[/tex]
The correctly stated version of an already incorrect idea should have been:
[tex]\text{If you have a function} \ f(x) \ \text{evaluated at} \ f(x_0)=0, \ \text{where} \ x_0=0, \ \text{this must mean that}\ f'(x_0)=0, \ f''(x_0)=0, \ ... \ , \ f^n(x_0)=0[/tex]
Samy's first counterexample f(x)=sin(x) demonstrates failure of the first and second version, but his second counterexample f(x)=x does not demonstrate failure of the second version because the second version was not the original post, and the original post was "doubly wrong" while the second was only "partly wrong". One was wrong in both expression and ideas, the other was wrong only in idea.

Taking the derivative of f(x)=sin(x), evaluated at x_0=0, will showcase that just because the zeroth derivative evaluated at x_0=0 is zero does not mean any of the other derivatives evaluated at the same point will by necessity be zero.

Taking the derivative of f(x)=x, evaluated at x_0=0, will not showcase that just because the zeroth derivative evaluated at x_0=0 is zero does not mean any of the other derivatives evaluated at the same point. will by necessity be zero, because for f(x)=x evaluated at x_0=0, f'(x_0) DOES equal zero, f''(x_0) DOES equal zero, and so on and so forth. This is a
 
  • #14
Another counterexample: Let x0 = 0 and let [itex]f(x)=e^{x}-1[/itex]. Then f(0)=0, but f'(0)=1 etc.
 
  • Like
Likes   Reactions: Zacarias Nason
  • #15
Zacarias Nason said:
The correctly stated version of an already incorrect idea should have been:
[tex]\text{If you have a function} \ f(x) \ \text{evaluated at} \ f(x_0)=0, \ \text{where} \ x_0=0, \ \text{this must mean that}\ f'(x_0)=0, \ f''(x_0)=0, \ ... \ , \ f^n(x_0)=0[/tex]
Samy's first counterexample f(x)=sin(x) demonstrates failure of the first and second version, but his second counterexample f(x)=x does not demonstrate failure of the second version because the second version was not the original post, and the original post was "doubly wrong" while the second was only "partly wrong". One was wrong in both expression and ideas, the other was wrong only in idea.
SamyA's counter example of ƒ(x) = x, is a valid counter example for this correctly stated version , at least for the first derivative, ##\ f'(x_0)\ ##.

It gives ##\ f(x_0)= x_0=0\ ## and ##\ f'(x_0)=1\ ##.
 
  • Like
Likes   Reactions: gracy
  • #16
Zacarias Nason said:
Taking the derivative of f(x)=x, evaluated at x_0=0, will not showcase that just because the zeroth derivative evaluated at x_0=0 is zero does not mean any of the other derivatives evaluated at the same point. will by necessity be zero, because for f(x)=x evaluated at x_0=0, f'(x_0) DOES equal zero
NO IT DOESN'T. For f(x) = x, f'(x) = 1 everywhere.
 
  • #17
I'm nearly ready to slam my head through drywall, not because I think you're all wrong BUT I JUST REALIZED YOU'RE ALL RIGHT AND I DONE GOOFED x3

What a massive, massive waste of time.
I'm not sleeping much and am cramming a huge amount of information in a short time period, I owe you all a sincere apology. My bad, folks. If I was able to give out IOU's that were in any way meaningfully redeemable, you'd all have one now.
 
  • Like
Likes   Reactions: pbuk

Similar threads

  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
7
Views
4K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 65 ·
3
Replies
65
Views
9K