Strong differentiability condition

Click For Summary
SUMMARY

The discussion centers on the implications of the limit \lim_{(\delta_1,\delta_2)\to (0,0)} \frac{f(x+\delta_2)-f(x+\delta_1)}{\delta_2-\delta_1} existing for a function f:[a,b]\to\mathbb{R}. It is established that if this limit exists, then the derivative f'(x) exists at point x and the function is continuous in some neighborhood around x. Counterexamples, such as f(x) = x^2 for x \ne 0 and f(0) = 3, demonstrate that the existence of this limit does not guarantee differentiability in the usual sense. The discussion also explores the nuances of definitions related to limits and continuity in topological spaces.

PREREQUISITES
  • Understanding of limits in calculus
  • Familiarity with differentiability and continuity concepts
  • Knowledge of topological spaces and their properties
  • Basic proficiency in mathematical notation and functions
NEXT STEPS
  • Study the implications of the existence of limits in topological spaces
  • Explore the concept of continuity and differentiability in more depth
  • Learn about counterexamples in calculus, particularly in relation to limits
  • Examine advanced definitions of limits and their applications in real analysis
USEFUL FOR

Mathematicians, students of calculus and real analysis, and anyone interested in the rigorous definitions of limits, continuity, and differentiability in mathematical functions.

  • #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 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K