special function

**Special functions** is more a name of a subject than a denotation of a well-defined class; they denote a *historically ever expanding class of functions of a complex variable* coming from one of the several standard sources, most important being the solutions of second order differential equations with rational coefficients, as certain type of an infinite power sums, as members of a Fourier basis with respect to some orthogonality relation on an interval (“orthogonal polynomials”), by satisfaction of some “triangular” recursion relations, a type of integral representations (e.g. Selberg integrals) or arise in constructions of representation theory as certain subspaces of functions with prescribed covariance properties. Usually to accept some function as a special function one desires its appearance in several of the mentioned sources simultaneously. More rarely one looks at finite difference versions of differential equations, at functions of many variables or with parameters and similar generalizations.

Most of the examples of the classical special functions are special cases of the **hypergeometric series** ${}_p F_q(a_1,\ldots,a_p; b_1,\ldots,b_q;x)$. While hypergeometric function is the sum of a hypergeometric series (analytically continued beyond the region of its convergence) sometime one says hypergeometric function for the case ${}_2 F_1$ as opposed to the general case of hypergeometric series ${}_p F_q$. There is a version in which some poles of a hypergeometric function collide, so called confluent hypergeometric function?. There is also a very general elliptic hypergeometric function?.

Basic elementary functions (e.g. exponential, logarithmic, sine, cosine) are also special cases of hypergeometric series for certain values of parameters.

Very important class are so called **orthogonal polynomials**; they are neatly classified in so called “Askey-Wilson scheme”, while they can be expressed as special values of hypergeometric series, they include special cases like Jacobi, Hermite, Legendre, Laguerre, Chebyshev polynomials etc.

Some other important special functions include gamma function, Euler beta function, theta functions ( Jacobi theta functions, elliptic theta functions?), Weierstrass elliptic $\mathcal{P}$-function, elliptic integrals, hyperelliptic integrals, mock theta functions?, Riemann zeta function, ultraspherical polynomials, Whittaker functions, Airy funtion?, dilogarithm, Bessel functions…

…and $q$-version of many of the mentioned functions (e.g. Ramanujan’s $q$/beta integral);

…many interesting functions with parametyers or with many variables (e.g. Hall polynomials, Macdonald polynomials, Kostka polynomials…).

Unlike hypergeometric functions which are solutions of linear second order ODEs, the Painlevé transcendents are solutions of certain nonlinear ODEs.

- G. E. Andrews, R. Askey, R. Roy,
*Special functions*, Enc. of Math. and its Appl. 71 (1999) - Н. Я. Виленкин,
*Специальные функции и теория представления групп* - Richard Askey?, James Wilson,
*A set of hypergeometric orthogonal polynomials*, SIAM J. Math. Anal.**13**(1982), no. 4, 651–655, doi;*A recurrence relation generalizing those of Apéry*, J. Austral. Math. Soc. Ser. A 36 (1984), no. 2, 267–278;*Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials*, Mem. Amer. Math. Soc.**54**(1985), no. 319, iv+55 pp.

Revised on July 5, 2012 17:58:00
by Urs Schreiber
(89.204.137.25)