Prove that Any Cubed Function is Differentiable (delta-epsilon method)

Click For Summary

Homework Help Overview

The discussion revolves around proving the differentiability of the function \( f(x) = x^3 \) for all \( x \in \mathbb{R} \) using the delta-epsilon method. Participants are exploring the necessary conditions for differentiability and the application of limits in this context.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the limit definition of differentiability and express confusion regarding the delta-epsilon proof. There are attempts to clarify the conditions under which the limit must be shown to exist, and some participants suggest focusing on properties of limits to aid in the proof.

Discussion Status

The discussion is ongoing, with participants providing feedback on each other's attempts and raising questions about the correct formulation of the delta-epsilon argument. Some guidance has been offered regarding the structure of the proof and the use of limit properties, but no consensus has been reached on the final approach.

Contextual Notes

There is mention of potential constraints regarding the requirement to use the delta-epsilon method directly versus the allowance of using established properties of limits. Participants are also reflecting on the clarity of their statements and the implications of their assumptions.

5hassay
Messages
81
Reaction score
0

Homework Statement



Prove that:

Any function [itex]f[/itex] such that [itex]f(x)=x^3[/itex] for any [itex]x \in[/itex] R is differentiable.

Homework Equations



Skip.

The Attempt at a Solution



Okay! So, to conclude, it must be shown that, for any [itex]a[/itex] in the domain of [itex]f[/itex],

[itex]\displaystyle \exists \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex].

Quickly,

[itex]\displaystyle \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex]
[itex]{} = \displaystyle \lim_{h \rightarrow 0} \left( 3a^2 + 3ah + h^2 \right)[/itex].

Now, the latter limit must be proved (via delta-epsilon method) to equal [itex]3a^2[/itex]. (This is the part I am having most trouble with, where delta-epsilon proofs are still sort of a mystery to me.)

Suppose [itex]\varepsilon > 0[/itex] is given. So, we should be able to show that if [itex]0 < \left| h \right| < 0[/itex] for some [itex]\delta > 0[/itex], then we have [itex]\left| \left( 3a^2 + 3ah + h^2 \right) - 3a^2 \right| = \left| h \right| \cdot \left| 3a + h \right| < \varepsilon[/itex]. Well, we could choose [itex]\delta = \varepsilon / \left| 3a + h \right|[/itex], however we must limit the size of [itex]\left| 3a + h \right|[/itex] in terms of our [itex]0 < \left| h \right| < 0[/itex] statement (why must we do this?). With that said, suppose [itex]\delta = 1[/itex]. Then, [itex]\left| h \right| < 1[/itex]. Yet, this means [itex]\left| 3a + h \right| \leq \left| 3a \right| + \left| h \right| < 3 \left| a \right| + 1[/itex]. Therefore, the claim (hopefully!) follows if we choose [itex]\delta = \min \left\{ 1, \varepsilon / \left( 3 \left| a \right| + 1 \right) \right\}[/itex].

QED


(Thanks for any help and or advice!)
 
Physics news on Phys.org
5hassay said:

Homework Statement



Prove that:

Any function [itex]f[/itex] such that [itex]f(x)=x^3[/itex] for any [itex]x \in[/itex] R is differentiable.

Homework Equations



Skip.

The Attempt at a Solution



Okay! So, to conclude, it must be shown that, for any [itex]a[/itex] in the domain of [itex]f[/itex],

[itex]\displaystyle \exists \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex].

Quickly,

[itex]\displaystyle \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex]
[itex]{} = \displaystyle \lim_{h \rightarrow 0} \left( 3a^2 + 3ah + h^2 \right)[/itex].

Now, the latter limit must be proved (via delta-epsilon method) to equal [itex]3a^2[/itex]. (This is the part I am having most trouble with, where delta-epsilon proofs are still sort of a mystery to me.)

Suppose [itex]\varepsilon > 0[/itex] is given. So, we should be able to show that if [itex]0 < \left| h \right| < 0[/itex] for some [itex]\delta > 0[/itex], then we have [itex]\left| \left( 3a^2 + 3ah + h^2 \right) - 3a^2 \right| = \left| h \right| \cdot \left| 3a + h \right| < \varepsilon[/itex]. Well, we could choose [itex]\delta = \varepsilon / \left| 3a + h \right|[/itex], however we must limit the size of [itex]\left| 3a + h \right|[/itex] in terms of our [itex]0 < \left| h \right| < 0[/itex] statement (why must we do this?). With that said, suppose [itex]\delta = 1[/itex]. Then, [itex]\left| h \right| < 1[/itex]. Yet, this means [itex]\left| 3a + h \right| \leq \left| 3a \right| + \left| h \right| < 3 \left| a \right| + 1[/itex]. Therefore, the claim (hopefully!) follows if we choose [itex]\delta = \min \left\{ 1, \varepsilon / \left( 3 \left| a \right| + 1 \right) \right\}[/itex].

QED

(Thanks for any help and or advice!)
Did you intend to say (I hope):
"... So, we should be able to show that if [itex]0 < \left| h \right| < \delta[/itex] for some [itex]\delta > 0[/itex], ..."​

... and similar correction in the other place that you wrote:
[itex]0 < \left| h \right| < 0[/itex]​
should also be
[itex]0 < \left| h \right| < \delta[/itex]​

Otherwise, it's impossible for there to be such a number, h .

Added in Edit:
Your δ looks correct.

Your proof in somewhat in the reverse order of what it needs to be.

You have essentially shown the "scratch work" needed to find what δ you need in terms of ε. In your "final proof ", the one you turn in for credit, you need to show:
If 0 < |h| < δ , (i.e. [itex]\displaystyle 0<|h|<\min\left(1,\ \frac{\varepsilon}{3|a|+1}\right)[/itex]) then [itex]|3ah+h^2|<\varepsilon[/itex]​
 
Last edited:
5hassay said:

Homework Statement



Prove that:

Any function [itex]f[/itex] such that [itex]f(x)=x^3[/itex] for any [itex]x \in[/itex] R is differentiable.

Homework Equations



Skip.

The Attempt at a Solution



Okay! So, to conclude, it must be shown that, for any [itex]a[/itex] in the domain of [itex]f[/itex],

[itex]\displaystyle \exists \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex].

Quickly,

[itex]\displaystyle \lim_{h \rightarrow 0} \frac{f(a+h)-f(a)}{h}[/itex]
[itex]{} = \displaystyle \lim_{h \rightarrow 0} \left( 3a^2 + 3ah + h^2 \right)[/itex].

Now, the latter limit must be proved (via delta-epsilon method) to equal [itex]3a^2[/itex]. (This is the part I am having most trouble with, where delta-epsilon proofs are still sort of a mystery to me.)

Suppose [itex]\varepsilon > 0[/itex] is given. So, we should be able to show that if [itex]0 < \left| h \right| < 0[/itex] for some [itex]\delta > 0[/itex], then we have [itex]\left| \left( 3a^2 + 3ah + h^2 \right) - 3a^2 \right| = \left| h \right| \cdot \left| 3a + h \right| < \varepsilon[/itex]. Well, we could choose [itex]\delta = \varepsilon / \left| 3a + h \right|[/itex], however we must limit the size of [itex]\left| 3a + h \right|[/itex] in terms of our [itex]0 < \left| h \right| < 0[/itex] statement (why must we do this?). With that said, suppose [itex]\delta = 1[/itex]. Then, [itex]\left| h \right| < 1[/itex]. Yet, this means [itex]\left| 3a + h \right| \leq \left| 3a \right| + \left| h \right| < 3 \left| a \right| + 1[/itex]. Therefore, the claim (hopefully!) follows if we choose [itex]\delta = \min \left\{ 1, \varepsilon / \left( 3 \left| a \right| + 1 \right) \right\}[/itex].

QED


(Thanks for any help and or advice!)

Were you told that you must use the epsilon-delta method *directly*, or are you allowed to use and apply _properties_ of limits? If the latter, here is what facts I would use (and you COULD prove these by an epsilon-delta method!):

(1) If lim_{h->0} g_1(h) = a_1 and lim_{h->0} g_2(h) = a_2 exist, then lim_{h->0} [g_1(h) + g_2(h)] exists and it equals a_1 + a_2 (In other words, the limit of a sum is the sum of the limits).
(2) If c is a constant, then lim_{h->0} c*g(h) = c* lim_{h->0} g(h).
(3) if g_1 and g_2 have limits, then lim g_1(h)*g_2(h) = lim g_1(h) * lim g_2(h) (that is, the limit of a product is the product of the limits).

Now lim (3a^2 + 3ah + h^2) = lim(3a^2) + lim(3ah) + lim(h^2), by (1); lim(3ah) = 3a lim(h) = 0 (by (2); and lim(h^2) = (lim h)^2 (by (3)).

RGV
 
Ray Vickson said:
Were you told that you must use the epsilon-delta method *directly*, or are you allowed to use and apply _properties_ of limits? If the latter, here is what facts I would use (and you COULD prove these by an epsilon-delta method!):

(1) If lim_{h->0} g_1(h) = a_1 and lim_{h->0} g_2(h) = a_2 exist, then lim_{h->0} [g_1(h) + g_2(h)] exists and it equals a_1 + a_2 (In other words, the limit of a sum is the sum of the limits).
(2) If c is a constant, then lim_{h->0} c*g(h) = c* lim_{h->0} g(h).
(3) if g_1 and g_2 have limits, then lim g_1(h)*g_2(h) = lim g_1(h) * lim g_2(h) (that is, the limit of a product is the product of the limits).

Now lim (3a^2 + 3ah + h^2) = lim(3a^2) + lim(3ah) + lim(h^2), by (1); lim(3ah) = 3a lim(h) = 0 (by (2); and lim(h^2) = (lim h)^2 (by (3)).

RGV

Hmmm... I would imagine I could use such properties of limits! For example, those properties were indeed proved in the textbook (via delta-epsilon method, too!), and we are allowed to use anything proved or stated by the author in proofs for problems (from the textbook). Thanks! I kind of forgot that I was (at least, I think) allowed to do that, haha.

However, if you don't mind, I would greatly appreciate any commentary on my delta-epsilon proof, as I am sure I will be required to do one in the near future.

EDIT: Oh, sorry! I didn't notice the first comment that indeed made comments on it. So, only if you have time, then, as that would be great!---
Much appreciation,

5hassay
 
SammyS said:
Did you intend to say (I hope):
"... So, we should be able to show that if [itex]0 < \left| h \right| < \delta[/itex] for some [itex]\delta > 0[/itex], ..."​

... and similar correction in the other place that you wrote:
[itex]0 < \left| h \right| < 0[/itex]​
should also be
[itex]0 < \left| h \right| < \delta[/itex]​

Otherwise, it's impossible for there to be such a number, h .

Added in Edit:
Your δ looks correct.

Your proof in somewhat in the reverse order of what it needs to be.

You have essentially shown the "scratch work" needed to find what δ you need in terms of ε. In your "final proof ", the one you turn in for credit, you need to show:
If 0 < |h| < δ , (i.e. [itex]\displaystyle 0<|h|<\min\left(1,\ \frac{\varepsilon}{3|a|+1}\right)[/itex]) then [itex]|3ah+h^2|<\varepsilon[/itex]​


Oh, dearest me, hahaha! Yes, I did mean what you speculated myself to mean (sorry!).

And, about the order, I also seemed to forget about that, as well.

Okay! Well, that's great, then! Progress here is definitely quite wonderful, as I would like to move on to the calculus part of Michael Spivak's, "Calculus," without a poor understanding in limit proofs slowing me down.


---
Much appreciation,

Lucas
 

Similar threads

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