Strong differentiability condition

Click For Summary
The discussion centers on the implications of the limit lim_{(\delta_1,\delta_2)→(0,0)} (f(x+δ2)−f(x+δ1))/(δ2−δ1) existing for a function f at an interior point x. It is established that this limit's existence implies that f'(x) exists, but questions arise about whether it guarantees the continuity of the derivative in a neighborhood around x. A counterexample is presented with a function defined piecewise, demonstrating that while the limit may exist, it does not ensure differentiability or continuity of the derivative. The conversation also touches on the definitions of limits in topological spaces and the nuances of continuity and convergence in the context of differentiability. Ultimately, the discussion highlights the complexity of differentiability conditions and the need for precise definitions in mathematical analysis.
  • #31
The reason you exclude the value that you're taking the limit towards is because you often have a function f(x) which is not defined at x=a, but is continuous elsewhere, and you want to know if you can extend the function continuously to a value at x=a. You can write this in shorthand notation as whether the limit
\lim_{x\to a} f(x)
exists, but only if the definition of the limit does not permit plugging x=a into the formula for f(x). If it does then the limit trivially doesn't exist because the function's original domain didn't include that point. It would be easy enough to work around but new notation/definitions of other things would have to be constructed to maintain rigor
 
Physics news on Phys.org
  • #32
jostpuur said:
Is there any situation, where we actually have a reason to forbid some points from inside the domain during limit?

When you sum a Fourier series (assuming it is convergent), the value at the end points (x=L and x=-L) are not necessarily equal to the limits at the endpoints.

Edit: Just to elaborate.

I'm talking about the case of one period, ##f : [-L,L] \to \mathbb{R}##. Open neighborhoods of L are of form ##(L-\epsilon, L]##. You need to remove L to take the limit.

Also, notice that the limit of L is always one-sided, so it always exists. (You don't have the situation where left is different to right and hence non-existing.)
 
Last edited:

Similar threads

Replies
32
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
Replies
7
Views
2K