# What is a special function?

When I read some issues here I see from time to time incorrect references to the field special functions, it might e.g. be a discussion around Dirac's $\delta$-function which is tagged (special-functions) or a discussion around some function reminding of the Weierstrass no where differentiable continuous function. These examples make me think - what would classify a special function?

A vague bad definition could be "A function is a special function if it has some resemblance to some Hypergeometric function" or "A function is a special function if it fits into the Bateman manuscript project.

To me the Gamma function and the Zeta function are definitively special functions.

Also, I have worked on Legendre functions $P_\lambda$ and $Q_\lambda$ of the first and second kind , which I would call special functions, but not individually however (except perhaps $P_{-1/2}$).

I would not say that elementary functions (such as trigonometric functions and the exponential function) are special functions - but I am not totally convinced about this..

I do not agree with Wikipedia, it says: "Special functions are particular mathematical functions which have more or less established names and notations due to their importance in mathematical analysis, functional analysis, physics, or other applications.

There is no general formal definition, but the list of mathematical functions contains functions which are commonly accepted as special. In particular, elementary functions are also considered as special functions."

Also, looking at the Wikipedia list (linked above) the indicator function, step functions, the absolute value function and the sign are special functions -- this sounds very wrong to me.

So what is a special function and what should be under the (special-function) tag?

-
I'm afraid I do have to agree with Wikipedia for the most part. If a class of functions has an established name it's only because it has been historically significant and deserves to be called "special". I would refer to special functions as any specific class of functions with a historically well accepted name (knowing that, in general, specific functions arn't named unless they have provided interesting results). – user3180 Dec 5 '10 at 8:47
FWIW, I still consider the elementary transcendental functions as "special functions". Somebody I once knew once tried to get people to use "useful functions" instead of "special functions", and I'm bummed that it never caught on. – J. M. Dec 5 '10 at 10:13
@AD. Well, Dirac delta is a distribution and not a function... ;) – J. M. Dec 5 '10 at 12:10
From the Preface of Special Functions by G. Andrews, R. Askey and R. Roy: Paul Turán once remarked that special functions would be more appropriately labeled "useful functions". Because of their remarkable properties, special functions have been used for centuries.(...) the subject (...) has been continuously developed, with contributions by a host of mathematicians (...).In the past thirty years, the discoveries of new special functions and of applications of special functions to new areas of mathematics have initiated a resurgence of interest in this field. – Américo Tavares Dec 5 '10 at 14:05
It depends on whom you ask: the qualifier 'special' resembles the use of 'interesting' in the en.wikipedia.org/wiki/Interesting_number_paradox interesting number paradox. – deoxygerbe Dec 5 '10 at 22:24

The term "special function" has a historical connection with solutions of ordinary differential equations, often second order differential equations that arise from a separation of variables treatment of second order linear partial differential equations with constant coefficients. This connection is mentioned briefly in the Wikipedia article.

The Sage documentation of special functions, for example, lists the ODE satisfied by the function together with remarks about boundary conditions. Stephen Wolfram gave a nice historical review in his talk The History and Future of Special Functions, in which he says, "Most continuous special functions are in effect defined implicitly, usually from differential equations." Naturally he is not shy about what he perceives as Mathematica's contribution to this history, developing automated searches for accurate numerical methods that proceed directly from the underlying definition by differential equations.

He is not alone in exploring the automatic generation of algorithms for special functions using symbolic computation. Focusing on special functions that are the solutions of linear ordinary differential equations with polynomial coefficients, Meunier and Salvy (2003) describe the design of their website The Encyclopedia of Special Functions (ESF).

The elementary transcendental functions fit easily into this scheme as special special functions, since they solve differential equations too. For example, the exponential function solves $y' = y$ and sine and cosine, with different boundary conditions, solve the constant coefficient ODE $y'' = -y$.

-
"Most" in "Most continuous special functions are in effect defined implicitly, usually from differential equations" cannot be emphasized enough. A simple enough DE for gamma and zeta has yet to be found, and though elliptic functions satisfy certain (nonlinear) DEs, I don't consider it the best way to start the theory of elliptic functions from. – J. M. Dec 5 '10 at 14:24

Maybe it would better to say that "Special functions does not refer to any particular function, it is merely a mathematical field devoted to the study of some particular explicit function or class of functions in mathematical analysis."

-

I (physicist) associate the term mostly with this huge family of often indexed functions which happen to bear some magical relations to each other. My handwavy explaination why these things exists goes as follows:

In physics, we're dealing with the dynamics of certain degrees of freedom. These (the dynamics, given by differential equations) often employ smooth symmetries, that is we're dealing with Lie groups, which are also manifold in themselfs. Take e.g. the Laplacian $\Delta=\nabla\cdot\nabla$ and the associated symmetries $R$ acting as $\nabla\to R\nabla$ in such a way that that $R\nabla\cdot R\nabla=\nabla\cdot\nabla$. Now in case one is dealing with a "rotation" in the broadest sense of the word, the $R$'s often form compact manifold, where we can savagely define things like integration on the group, and these symmetry groups also permit pretty unitary matrix representations. That is there are necessarily matrices $U$ with

$$\sum_kU_{kn}^*U_{km}=\delta_{mn},$$

and well, the matrix coefficients $U_{kn}$ must be some complex functions. You see the direct relation to special functions if you take the abstract Lie group theory and actually sit down and write down the matrices in some base. E.g. for the rotation group matrices $D$, you find

$$D^j_{m'm}(\alpha,\beta,\gamma)= e^{-im'\alpha } [(j+m')!(j-m')!(j+m)!(j-m)!]^{1/2}\cdot$$ $$\cdot\sum\limits_s \left[\frac{(-1)^{m'-m+s}}{(j+m-s)!s!(m'-m+s)!(j-m'-s)!} \right.\cdot$$ $$\left. \cdot \left(\cos\frac{\beta}{2}\right)^{2j+m-m'-2s}\left(\sin\frac{\beta}{2}\right)^{m'-m+2s} \right] e^{-i m\gamma}.$$

Very sweet, right? Now here you have the Legendre Polynomials $P_\ell^m$

$$D^{\ell}_{m 0}(\alpha,\beta,0) = \sqrt{\frac{4\pi}{2\ell+1}} Y_{\ell}^{m*} (\beta, \alpha ) = \sqrt{\frac{(\ell-m)!}{(\ell+m)!}} \, P_\ell^m ( \cos{\beta} ) \, e^{-i m \alpha }$$

so that you have the special relation relating the functions

$$\int_0^{2\pi} d\alpha \int_0^\pi \sin \beta d\beta \int_0^{2\pi} d\gamma \,\, D^{j'}_{m'k'}(\alpha,\beta,\gamma)^\ast D^j_{mk}(\alpha,\beta,\gamma) = \frac{8\pi^2}{2j+1} \delta_{m'm}\delta_{k'k}\delta_{j'j},$$

which I read as $U^* U=1$.

For there are representable symmetries in the geometric structure of spaces, there must be functions which have some magical interrelating properties.

-