[Math] Why are all non-polynomial functions are basically exponents

functionssoft-question

There's paucity of really "original" functions in Math. Aside from power functions/ polynomials, really the only other function widely used is exponential.

For example, $\log$ is simply inverse of $\exp$, $\sin$ and $\cos$ (and, by extension, other trig functions) can be obtained using Euler's formula, and so on.

Why is this? Is there any philosophical reason why Mathematics did not come up with other, different basic "building blocks" of functions?

Best Answer

I would say that the most widely used functions are simply solutions to differential equations. Consider the following differential equations:

$$y^{(n)} = C$$

$$y' = y$$

$$y'' = y$$

All of these differential equations are relatively simple and the solutions to these equations are $n$th degree polynomials, exponential functions and sum of exponents (including sine and cosine). Furthermore, many "small" changes to these differential equations ($y' = x + y$) produce solutions that are the sum or product of polynomials and exponentials. I recommend that you plug in some other differential equations that just involve derivatives of $y$ and see how often they involve exponential solutions. (See the comment about eigenvalues above).

I would say that the most common phenomena grow proportionally to their value and are best represented with exponents. If not, they may grow proportionally to their second derivative. There are many other differential equations such as

$$x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - \alpha^2)y = 0$$

which define the Bessel Function but I would conjecture that this type of relationship is less common than something such as exponential growth. If it was common then it would probably belong to the standard canon of functions. Similarly for the Airy function.

The Gamma function is widely used but it is an extension of the factorial which very simple recursive definition which could explain why it pops up so much.

I would like to note that rational functions and logistic functions should be added to the list of "non-polynomial important functions."