Functions not differing by a constant whose derivatives do not equal h(x)

Click For Summary
The discussion revolves around proving that the function h(x), defined as 0 for x<0 and 1 for x≥0, does not have an antiderivative on the entire real line. Participants agree that h(x) lacks the intermediate value property, which is a characteristic of all derivatives, thus confirming that h(x) cannot be a derivative. To illustrate this, they suggest constructing two functions whose derivatives equal h(x) for all x ≠ 0, specifically functions that are constant for x<0 and linear for x≥0, differing by more than just a constant. The conversation emphasizes the need for these functions to be non-differentiable at x=0 while maintaining the required derivative properties. The conclusion is that while h(x) cannot be a derivative, suitable functions can be created to meet the problem's criteria.
kingstrick
Messages
107
Reaction score
0

Homework Statement



If h(x):=0 for x<0 and h(x):=1 for x≥0. Prove there dne f:ℝ→ℝ such that f'(x) = h(x) for all x in ℝ. Give examples of two functions not differing by a constant whose derivatives equal h(x) for all x ≠ 0

Homework Equations





The Attempt at a Solution


I don't know how to begin. Am I trying to prove that h(x) has no antiderivative. If so...can someone give me a hint as to which theorem I am supposed to use.
 
Physics news on Phys.org
Do you know the theorem that says that, while a derivative is not necessarily continuous, every derivative has the "intermediate value property"? Having said that there does not exist a function whose derivative is equal to h, there certainly cannot exist two, even if you do not specify the value at x= 0 so you will need to find functions that are not differentiable (perhaps not even continuous at x= 0). I would try functions that are constant for x< 0 then some constant plus x for x> 0.
 
Last edited by a moderator:
HallsofIvy said:
Do you know the theorem that says that, while a derivative is not necessarily continuous, every derivative has the "intermediate value property"?

Are you referencing Darboux's Theorem? If so, then yes... Should I try to prove this by contradiction then and show that h(x) is a derivative of some other function?
 
kingstrick said:
Should I try to prove this by contradiction then

Yes.

and show that h(x) is a derivative of some other function?

No, you don't show it's the derivative of a different function. You show it's not a derivative at all.

Look, you know that derivatives have the intermediate value property. Does h have the intermediate value property?
 
Citan Uzuki said:
Yes.



No, you don't show it's the derivative of a different function. You show it's not a derivative at all.

Look, you know that derivatives have the intermediate value property. Does h have the intermediate value property?

No because there is no intermediate value it is only 0 or 1...
 
Exactly. And that proves the theorem. Derivatives have the IVP, h does not, so h is not a derivative. That's all you need to say for that part of the problem.

As for finding two functions whose derivatives match h at every nonzero point, I'd look back to HallsofIvy's suggestion.
 
Citan Uzuki said:
Exactly. And that proves the theorem. Derivatives have the IVP, h does not, so h is not a derivative. That's all you need to say for that part of the problem.

As for finding two functions whose derivatives match h at every nonzero point, I'd look back to HallsofIvy's suggestion.

Thank you for everything. So one eq. Was obvious but to make another that isn't only different by a constant does this imply that I need a function that is composition which reduces to 1 as a derivative?
 
I'm not sure what you mean. You need a function whose derivative is 0 for x<0 and 1 for x>0 (this function will not be differentiable at zero). Then you need a second function of the same type that differs from the first by something that isn't a constant.

You really have to go with HallsofIvy's suggestion here, as there aren't any other functions with the correct derivative on \mathbb{R} \setminus \{ 0 \}. This means that you need two functions of the form:
f(x) = \begin{cases} A &amp; \text{if } x&lt;0 \\ B+x &amp; \text{if } x \geq 0 \end{cases}

Note that you may choose the constants A and B independently.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 39 ·
2
Replies
39
Views
6K