Does f'(0)=0 where x in [-1,1] and f(x)<=f(0)

  • Thread starter Thread starter HaLAA
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around whether the derivative of a differentiable function \( f \) at \( x = 0 \) is zero, given that \( f(x) \leq f(0) \) for all \( x \) in the interval \([-1, 1]\). Participants explore the implications of this condition on the function's behavior.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Some participants suggest applying Rolle's theorem based on the maximum condition at \( x = 0 \). Others question the assumption that the function must be even or symmetric. There are discussions about the behavior of the function around \( x = 0 \) and the implications of the sign of the expression \( \frac{f(x) - f(0)}{x} \) for positive and negative \( x \).

Discussion Status

Participants are examining various interpretations of the problem, with some suggesting that the conclusion about \( f'(0) = 0 \) holds despite differing arguments. There is an ongoing exploration of the relationship between the defined function and its derivative, with hints of valid reasoning being shared.

Contextual Notes

There are mentions of specific function examples that challenge the assumptions made, as well as references to the conditions under which the function is differentiable and bounded above. The discussion reflects a mix of valid insights and potential misconceptions regarding the nature of the function.

HaLAA
Messages
85
Reaction score
0

Homework Statement


If the function f:ℝ→ℝ is differentiable and f(x)<=f(0) for all x ∈[-1,1], then f'(0)=0. True or False.

Homework Equations

The Attempt at a Solution


I think the statement is right. Since f(x)<= f(0) for all x in [-1,1], this tells us f is an even function or a symmetric function, then apply Rolle's theorem, we can prove the statement.
 
Physics news on Phys.org
The function is not necessarily even or symmetric. Consider f(x) that is ##x^3## for ##x\leq 0## and ##-x^2## for ##x>0##.
 
what is the sign of ##\frac{f(x) - f(0)}{x} ## for ##x## positive and negative ?
 
HaLAA said:

Homework Statement


If the function f:ℝ→ℝ is differentiable and f(x)<=f(0) for all x ∈[-1,1], then f'(0)=0. True or False.

Homework Equations

The Attempt at a Solution


I think the statement is right. Since f(x)<= f(0) for all x in [-1,1], this tells us f is an even function or a symmetric function, then apply Rolle's theorem, we can prove the statement.

Your function is differentiable on [-1,1] and has a maximum over [-1,1] at the point x = 0. What does that tell you?
 
  • Like
Likes   Reactions: geoffrey159
Ray Vickson said:
Your function is differentiable on [-1,1] and has a maximum over [-1,1] at the point x = 0. What does that tell you?
Ray Vickson said:
Your function is differentiable on [-1,1] and has a maximum over [-1,1] at the point x = 0. What does that tell you?
let h(x)=(f(x)-f(0))/x, when x>0, h(x)<=0; when x<0, h(x)=>0; f(x) is bounded above and the supremum is at x = 0, so f'(0)=0
 
andrewkirk said:
The function is not necessarily even or symmetric. Consider f(x) that is ##x^3## for ##x\leq 0## and ##-x^2## for ##x>0##.

At x =0, we still have f'(0)=0?
 
HaLAA said:
At x =0, we still have f'(0)=0?
Yes, the conclusion still holds. In the OP you reached the correct conclusion based on an incorrect argument. Ray's and Geoffrey's posts indicate the direction that a valid argument would take.
 
HaLAA said:
let h(x)=(f(x)-f(0))/x, when x>0, h(x)<=0; when x<0, h(x)=>0; f(x) is bounded above and the supremum is at x = 0, so f'(0)=0

Can you clearly explain the link between ##h(x)## and ##f'(0) ## ?EDIT: By the way, my hint is valid, but honestly, Mr Vickson's hint is more elegant
 
Last edited:

Similar threads

Replies
1
Views
2K
Replies
8
Views
2K
  • · Replies 47 ·
2
Replies
47
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
Replies
4
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K