Is the function differentiable at x = p?

  • Context: Undergrad 
  • Thread starter Thread starter PcumP_Ravenclaw
  • Start date Start date
  • Tags Tags
    Differentiable Function
Click For Summary

Discussion Overview

The discussion centers on the differentiability of the function ## f(x) = \frac{(2^x - 1)}{x} ## at the point x = 0. Participants explore the conditions for differentiability, including continuity and the behavior of the function at that point, as well as the implications of limits and singularities.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants assert that for a function to be differentiable at a point, it must first be continuous there, which is not the case for ## f(x) ## at x = 0 since it is undefined.
  • Others point out that the limit of the derivative as x approaches 0 exists, suggesting a potential for differentiability despite the function being undefined at that point.
  • One participant discusses the application of the quotient rule and notes that the derivative would be undefined at x = 0 due to the denominator being zero.
  • Another participant proposes that the singularity at the origin is removable by defining f(0) = ln(2), which would make the function not only differentiable but also analytic at that point.
  • There are repeated inquiries about the differentiability of the function at x = 0, indicating a lack of consensus on the matter.

Areas of Agreement / Disagreement

Participants do not reach a consensus on whether the function is differentiable at x = 0. There are competing views regarding the implications of continuity and the existence of limits.

Contextual Notes

Some arguments depend on the interpretation of continuity and differentiability at points where the function is not defined. The discussion includes various mathematical approaches and assumptions that remain unresolved.

PcumP_Ravenclaw
Messages
105
Reaction score
4
Hello mates,

is the function ## f(x) = \frac{(2^x - 1)}{x} ## differentiable at x = 0? For it to be differentiable it has to be continuous? From the graph f(0) is undefined although limit exists. I have read that at points like a corner, gap and vertical tangents it is not differentiable. So why is it differentiable at f(0)?

Sehr Danke!
 
Physics news on Phys.org
Quotient rule:
if ##f(x) = g(x) / h(x)##, ##g(x) = 2^x - 1## and ##h(x) = x## then ##f'(x) = (h(x) * g'(x) - g(x) * h'(x) / g(x)^2##. In this case, ##g(x)^2 = 0## so the derivative would be undefined. Does this help?
 
PcumP_Ravenclaw said:
Hello mates,

is the function ## f(x) = \frac{(2^x - 1)}{x} ## differentiable at x = 0?
No.
This function isn't defined at x = 0, hence it's not continuous at x = 0, so it can't be differentiable there.
PcumP_Ravenclaw said:
For it to be differentiable it has to be continuous? From the graph f(0) is undefined although limit exists. I have read that at points like a corner, gap and vertical tangents it is not differentiable. So why is it differentiable at f(0)?

Sehr Danke!
 
However, ##\displaystyle \ \lim _{x\to0} f'(x)\ ## does exist.
 
  • Like
Likes   Reactions: fresh_42
Isaac0427 said:
Quotient rule:
if ##f(x) = g(x) / h(x)##, ##g(x) = 2^x - 1## and ##h(x) = x## then ##f'(x) = (h(x) * g'(x) - g(x) * h'(x) / g(x)^2##. In this case, ##g(x)^2 = 0## so the derivative would be undefined. Does this help?
This assumes ## g \neq 0 ## which is not the case, like many said. You may say that _at points where ##g \neq 0 ##_ (since both ## f,g## are everywhere differentiable), you can say ## (f/g)' = \frac {f'g-fg'}{g^2}= \frac {(ln2)(2^x)x -2^x}{x^2} ##, using the identity ## 2^x = e^{xln2}##.
 
PcumP_Ravenclaw said:
Hello mates,

is the function ## f(x) = \frac{(2^x - 1)}{x} ## differentiable at x = 0? For it to be differentiable it has to be continuous? From the graph f(0) is undefined although limit exists. I have read that at points like a corner, gap and vertical tangents it is not differentiable. So why is it differentiable at f(0)?

Sehr Danke!

Functions can only be differentiable where they are actually defined. However the singularity at the origin is removable by setting f(0) = \ln 2. Then the function is not merely differentiable at the origin but analytic, and its Taylor series is <br /> f(x) = \sum_{n=0}^\infty \frac{(\ln 2)^{n+1} x^n}{(n+1)!}.
 
  • Like
Likes   Reactions: fresh_42, SammyS and HallsofIvy

Similar threads

  • · Replies 46 ·
2
Replies
46
Views
6K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K