Of course. Here is a complete, in-depth article on the topic.
Can a Function Be Continuous but Not Differentiable?
The short and direct answer is yes, absolutely. Worth adding: understanding this distinction is a fundamental step in moving from basic calculus to a more nuanced appreciation of function behavior. In fact, the world of continuous functions is teeming with examples that are continuous everywhere but fail to be differentiable at specific points, or even everywhere. This article will explore what it means for a function to be continuous, what it means to be differentiable, and provide clear examples of functions that are one but not the other.
The Foundation: What is Continuity?
Before we can discuss differentiability, we must firmly grasp continuity. Because of that, intuitively, a function is continuous if you can draw its graph without lifting your pencil from the paper. There are no jumps, holes, or infinite oscillations that break the line.
Formally, a function f(x) is continuous at a point x = c if three conditions are met:
- f(c) is defined (the point exists on the graph).
- The limit of f(x) as x approaches c exists.
- The limit equals the function value: lim (x→c) f(x) = f(c).
If a function is continuous at every point in its domain, we simply say it is continuous. This property ensures the function's behavior is "connected" and predictable.
The Leap to Differentiability: The Concept of the Tangent
Differentiability is a stricter condition. A function is differentiable at a point x = c if the derivative exists at that point. The derivative, f'(c), represents the slope of the tangent line to the graph at the point (c, f(c)). This tangent line is the best linear approximation of the function at that specific spot.
For the derivative to exist, the function must be smooth enough at that point. The formal definition involves a limit:
f'(c) = lim (h→0) [f(c+h) - f(c)] / h
This limit must exist and be a finite number. Geometrically, this means the slopes of the secant lines (lines connecting two points on the graph) must approach a single, unique value as the two points get arbitrarily close.
The Crucial Difference: Where Smoothness Fails
A function can be continuous but not differentiable at points where the graph has a "sharp corner" or a "cusp." At such points, it's impossible to define a single, unique tangent line because the function's direction changes abruptly.
Let's look at the most classic and intuitive example.
Example 1: The Absolute Value Function
Consider the function f(x) = |x|. This function is defined as:
- f(x) = x if x ≥ 0
- f(x) = -x if x < 0
Is it continuous? Yes. Its graph is a V-shape with no breaks, jumps, or holes. You can draw it in one smooth motion (though the motion itself changes direction at the vertex).
Is it differentiable? Let's check at the critical point, x = 0.
To find the derivative at x=0, we examine the limit from both the left and the right.
-
Right-hand derivative (h → 0⁺): f'(0⁺) = lim (h→0⁺) [f(0+h) - f(0)] / h = lim (h→0⁺) [|h| - 0] / h = lim (h→0⁺) h / h = 1
-
Left-hand derivative (h → 0⁻): f'(0⁻) = lim (h→0⁻) [f(0+h) - f(0)] / h = lim (h→0⁻) [|h| - 0] / h = lim (h→0⁻) (-h) / h = -1
Since the left-hand derivative (-1) does not equal the right-hand derivative (1), the overall limit does not exist. Which means, the derivative f'(0) does not exist.
Geometrically, at x=0, the graph has a sharp corner. Also, a tangent line from the left would have a slope of -1, while a tangent line from the right would have a slope of 1. There is no single, well-defined tangent line. Thus, f(x) = |x| is continuous everywhere but not differentiable at x=0.
Example 2: A Vertical Tangent
Another way a continuous function can fail to be differentiable is by having a vertical tangent. At such a point, the graph is continuous but becomes infinitely steep Practical, not theoretical..
Consider the function f(x) = ∛x (the cube root of x) Easy to understand, harder to ignore..
Is it continuous? Yes, it is continuous for all real numbers Simple, but easy to overlook..
Is it differentiable? Let's check at x=0. The derivative is the limit:
f'(0) = lim (h→0) [∛(0+h) - ∛0] / h = lim (h→0) ∛h / h = lim (h→0) 1 / ∛(h²)
As h approaches 0, ∛(h²) approaches 0, so the fraction 1 / ∛(h²) grows without bound towards infinity. Since the limit is not a finite number, the derivative does not exist at x=0.
The graph of y = ∛x has a vertical tangent at the origin. While the function is continuous, its rate of change is infinite, making it non-differentiable at that point.
Example 3: The Weierstrass Function - Continuous Everywhere, Differentiable Nowhere
The examples so far are non-differentiable at isolated points. Still, in the 19th century, mathematician Karl Weierstrass constructed a function that is continuous everywhere but differentiable nowhere. This was a revolutionary discovery, challenging the intuitive notion that a "nice" continuous curve must be smooth in at least some places.
The Weierstrass function is defined as an infinite sum:
f(x) = Σ (n=0 to ∞) aⁿ cos(bⁿ π x)
where 0 < a < 1, b is a positive odd integer, and ab > 1 + 3π/2.
While the formula looks intimidating, the key takeaway is that the function is a sum of infinitely many cosine waves with frequencies that increase exponentially (bⁿ). This creates a graph that is a fractal—it is infinitely wiggly at every scale. No matter how much you zoom in on any point, you will always see sharp corners, never a smooth, straight segment. That's why, it is impossible to define a tangent line at any point, making the function nowhere differentiable.
The existence of the Weierstrass function proves that continuity is a much weaker condition than differentiability. There are "far more" continuous functions than there are differentiable ones.
Summary: The Relationship Between Continuity and Differentiability
The relationship can be summarized with a simple hierarchy:
Differentiability Implies Continuity. This is a theorem. If a function is differentiable at a point, it is guaranteed to be continuous at that point. The logic is straightforward: for the derivative limit to exist, the numerator f(c+h) - f(c) must approach 0, which
which ensures continuity at that point. That said, the converse of this theorem does not hold: a function can be continuous at a point yet fail to be differentiable there. This distinction lies at the heart of real analysis. The cube root function illustrates that a graph can be continuous while becoming infinitely steep, yielding a vertical tangent and a non-existent derivative. And meanwhile, the Weierstrass function shatters the intuition that continuity implies any smoothness at all, proving that a function can be continuous everywhere yet differentiable nowhere. These examples underscore that continuity is a necessary but far from sufficient condition for differentiability.
The short version: while every differentiable function is necessarily continuous, the reverse is not true. Continuity captures the idea of an unbroken graph, but differentiability demands a stricter local behavior—a well-defined tangent line. The existence of functions that are continuous but not differentiable, whether at isolated points or at every point, reveals the rich and subtle structure of real-valued functions and reminds us that the smoothness we often assume is a special property, not a default one.
