Calnzee

Think Calculus. Learn Calculus. Live Calculus

smooth functions

Smooth Functions: Why Some Functions Can Be Differentiated Forever

by Leave a Comment

Calculus is built on the idea of measuring change. The derivative tells us how a function changes at a given point. But an interesting question naturally arises:

If a function has one derivative, does it always have a second, third, or even infinitely many derivatives?

The answer is not always. However, there is a special class of functions called smooth functions that can indeed be differentiated forever.

In this article, we’ll understand what smooth functions are, why they matter, and how they differ from ordinary differentiable functions.

From Continuity to Infinite Differentiability

There are different levels of “niceness” that a function can possess.

1. Continuous Functions

A continuous function has no breaks, jumps, or holes in its graph.

You can draw it without lifting your pencil.

However, continuity alone does not guarantee differentiability.

A classic example is f(x)=|x|, which is continuous everywhere but has a sharp corner at x=0, where no derivative exists.

2. Differentiable Functions

A differentiable function has a well-defined tangent line at every point in its domain.

This means the first derivative exists.

However, this tells us nothing about whether the derivative itself can be differentiated.

For example, consider

f(x)=x^{4/3}

Its first derivative is

f'(x)=\frac{4}{3}x^{1/3}

which exists for every real number.

However, the second derivative is

f''(x)=\frac{4}{9}x^{-2/3}

which is undefined at x=0 because the expression becomes unbounded.

Therefore, the function is differentiable but not twice differentiable.

Smooth Functions

A smooth function is one that can be differentiated repeatedly without ever stopping.

That means

  • the first derivative exists,
  • the second derivative exists,
  • the third derivative exists,
  • and so on forever.

Mathematicians denote this property by C^\infty, pronounced “C-infinity.”

Examples of Smooth Functions

Many of the elementary functions studied in calculus are smooth.

Exponential Function

Consider

f(x)=e^x

Repeated differentiation gives

  • f'(x)=e^x
  • f''(x)=e^x
  • f'''(x)=e^x

No matter how many times we differentiate, the function remains the same.

Sine Function

Consider

f(x)=\sin x

Its derivatives cycle forever:

  • f'(x)=\cos x
  • f''(x)=-\sin x
  • f'''(x)=-\cos x
  • f^{(4)}(x)=\sin x

The cycle repeats indefinitely.

Cosine Function

Similarly,

f(x)=\cos x

also repeats its derivatives every four differentiations.

Polynomials

Consider

f(x)=x^5

Its successive derivatives are

  • 5x^4
  • 20x^3
  • 60x^2
  • 120x
  • 120
  • 0

Once the zero function is reached, every subsequent derivative is also zero.

Although the values eventually become zero, the derivatives still exist. Therefore, every polynomial is a smooth function.

Levels of Smoothness

Functions are classified according to how many continuous derivatives they possess.

ClassMeaning
C^0Continuous
C^1Continuous first derivative
C^2Continuous first and second derivatives
C^3Continuous first, second and third derivatives
C^\inftyInfinitely differentiable (smooth)

Each higher level represents a greater degree of smoothness.

Does Smooth Mean Analytic?

Not necessarily.

One of the beautiful discoveries in advanced calculus is that a function may possess derivatives of every order and still not equal its Taylor series.

Such a function is called smooth but not analytic.

Every analytic function is smooth, but not every smooth function is analytic.

For an introductory calculus course, however, it is perfectly acceptable to think of smooth functions as functions that can be differentiated infinitely many times.

Why Are Smooth Functions So Important?

Smooth functions are the ideal objects of study in calculus because they allow us to differentiate repeatedly without encountering mathematical obstacles.

Their infinite differentiability makes possible:

  • Taylor and Maclaurin series
  • Differential equations
  • Optimization
  • Curve analysis
  • Motion and acceleration
  • Engineering models
  • Economics
  • Physics
  • Machine learning
  • Many other scientific applications

This explains why functions such as e^x, \sin x, \cos x, \ln x (for x>0) and all polynomials appear throughout calculus.

Final Thoughts

Not every continuous function is differentiable.

Not every differentiable function possesses a second derivative.

However, smooth functions, denoted by C^\infty, have derivatives of every finite order.

These functions form the foundation of much of modern calculus because they remain differentiable no matter how many times we differentiate them. They provide the mathematical framework behind Taylor series, differential equations, optimization, and countless applications in science and engineering.

As you continue your study of calculus, you’ll discover that most of the famous functions—such as e^x, \sin x, \cos x, logarithmic functions, and polynomials—are smooth. This is one reason they play such a central role throughout mathematics.