Proving differentiability for inverse function on given interval

Click For Summary

Homework Help Overview

The discussion revolves around proving the differentiability of a function, specifically focusing on the function \( e(s) \) within a given interval. The context involves applying the squeeze principle and understanding the implications of the function being \( C^1 \) on the specified interval.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the application of the squeeze principle in the context of proving differentiability, questioning its validity when the bounds do not converge. There is also a consideration of whether the proof can stand without the squeeze principle by relying on the boundedness of the derivative.

Discussion Status

The discussion is ongoing, with participants exploring the validity of the original poster's proof attempts and questioning the assumptions made regarding the inequalities. Some guidance has been offered regarding the use of the squeeze principle, and there is a recognition of the need for clarity on the expectations of the proof.

Contextual Notes

There is mention of a previous question that may have established the inequality used in the proof, which raises questions about the necessity of that information for the current problem. Participants express uncertainty about the expectations for the proof's format and content.

TanWu
Messages
17
Reaction score
5
Homework Statement
Prove that ##e:(c(-d), c(d)) \rightarrow(-d, d)## is differentiable by computing ##e^{\prime}(s)## from the definition for each ##s \in (c(-d), c(d))##. You may use the fact ##\frac{2}{3} < \frac{e(t) - e(s)}{t - s} < 2## for ##t \neq s \in (c(-d), c(d))## without proof.
Relevant Equations
##\lim_{t \to s} \frac{2}{3} < \lim_{t \to s} \frac{e(t) - e(s)}{t - s} < \lim_{t \to s} 2##
I am trying to solve (a) and (b) of this question.
1715062543501.png

(a) Attempt

We know that ##\frac{2}{3} < \frac{e(t) - e(s)}{t - s} < 2## for ##t \neq s \in (c(-d), c(d))##

Thus, taking the limits of both sides, then

##\lim_{t \to s} \frac{2}{3} < \lim_{t \to s} \frac{e(t) - e(s)}{t - s} < \lim_{t \to s} 2##

Or equivalently,

##\frac{2}{3} < \lim_{t \to s} \frac{e(t) - e(s)}{t - s} < 2##

##\frac{2}{3} < e'(s) < 2##

Thus, using the squeeze principle, then ##e'(s)## is bounded between ##\frac{2}{3}## and ##2##, then the derivative exists for ##t \in (c(-d), c(d))## and thus we have proved that ##e(s)## is differentiable on the required interval. Are we allowed to do that?

(b) Attempt

Since ##c(x)## is ##C^1## on (-d, d) and as we proved in (a), then e must be ##C^1## on ##(e(-d), e(d))## as it is differentiable and thus continuous. This seems somewhat too trivial of a question to me.

I express gratitude to those who help.
 
  • Like
Likes   Reactions: nuuskur
Physics news on Phys.org
The squeeze principle requires the smallest and largest things to become equal in the limit. 2/3 and 2 are not equal, no matter how close t and s are...
 
  • Like
Likes   Reactions: TanWu
Office_Shredder said:
The squeeze principle requires the smallest and largest things to become equal in the limit. 2/3 and 2 are not equal, no matter how close t and s are...
Thank you Sir. I apologize over my mistake. Is my proof correct thought without reference to the squeeze principle thought? Like using the fact the derivative is bounded? I cannot think of any other ways of proving it.
 
I don't really understand what the point of letting you use that inequality is (especially since you proved it in question 7, so it's not like they're doing you a great favor). I honestly do not know what they expect the answer to look like. I assume you're supposed to take that ratio and express it in terms of c and then compute something that looks similar to the derivative of c.
 
  • Like
Likes   Reactions: TanWu

Similar threads

  • · Replies 12 ·
Replies
12
Views
1K
Replies
6
Views
3K
Replies
2
Views
2K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
2
Views
2K