View source for Addition theorems in the theory of special functions

<!--
a1103501.png
$#A+1 = 29 n = 2
$#C+1 = 29 : ~/encyclopedia/old_files/data/A110/A.1100350 Addition theorems in the theory of special functions
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

The [[Exponential function|exponential function]] satisfies the addition formula  $  e ^ {x + y } = e  ^ {x} e  ^ {y} $. 
More generally, the function  $  f $
satisfies an algebraic addition theorem if  $  A ( f ( x ) ,f ( y ) ,f ( x + y ) ) $
is identically zero for some [[Polynomial|polynomial]]  $  A ( x,y,z ) $. 
By a theorem of K. Weierstrass, a single-valued [[Analytic function|analytic function]]  $  f ( z ) $
satisfying an algebraic addition theorem is either a rational function in  $  z $, 
or a rational function in  $  e ^ {\lambda z } $
for some  $  \lambda $, 
or an [[Elliptic function|elliptic function]].

The addition formula for [[Legendre polynomials|Legendre polynomials]]  $  P _ {n} ( x ) $(
P.S. Laplace, 1872) is the prototype of an addition theorem of a more general nature. It gives the explicit Fourier-cosine expansion of  $  P _ {n} (  \cos  \phi  \cos  \psi +  \sin  \phi  \sin  \psi  \cos  \theta ) $
in terms of  $   \cos  m \theta $. 
The Fourier coefficients depending on  $  \phi $
and  $  \psi $
factorize as products of two associated Legendre functions. This addition formula was generalized by L. Gegenbauer (1875) to [[Ultraspherical polynomials|ultraspherical polynomials]] and, more generally, by T.H. Koornwinder (1972) to [[Jacobi polynomials|Jacobi polynomials]]. Addition theorems of this type exist for a large number of special functions of hypergeometric type. See, in particular, [[#References|[a6]]] for several addition formulas for [[Bessel functions|Bessel functions]].

An addition formula for a family of special functions  $  \phi _  \lambda  $
expands  $  \phi _  \lambda  ( \Lambda ( x,y,t ) ) $(
$  \Lambda $
a fixed elementary function, cf. also [[Elementary functions|Elementary functions]]) explicitly and orthogonally in terms of certain special functions  $  \psi _  \mu  ( t ) $
with expansion coefficients of the form  $  \textrm{ const  } \ \phi _  \lambda   ^  \mu  ( x ) \ \phi _  \lambda   ^  \mu  ( y ) $. 
The  $  \phi _  \lambda   ^  \mu  $
are special functions associated with  $  \phi _  \lambda  $. 
A further requirement is that  $  \psi _ {0} ( t ) = 1 $
and  $  \phi _  \lambda   ^ {0} = \phi _  \lambda  $. 
A variant, in particular occurring for  $  q $-
special functions, is that  $  \phi _  \lambda  ( t ) $, 
or even  $  \phi _  \lambda  ( t ) \psi ^ {( x,y ) } _  \nu  ( t ) $, 
is expanded in terms of  $  \psi _  \mu  ^ {( x,y ) } ( t ) $, 
with expansion coefficients as before. An important corollary of any addition formula is the product formula giving  $  \phi _  \lambda  ( x ) \phi _  \lambda  ( y ) $
as an integral of  $  \phi _  \lambda  $.

Usually, if an addition formula is already explicitly given, then an analytic proof can be provided, but it is difficult to conjecture the form of an addition formula from scratch. Addition formulas can often be conceptually obtained by an interpretation on groups (Lie groups [[#References|[a4]]], [[#References|[a5]]]; finite groups [[#References|[a3]]]; quantum groups [[#References|[a2]]]) from the homomorphism property of a group representation and specific knowledge of the matrix coefficients of these representations in terms of special functions (cf. [[Special functions|Special functions]]). Addition formulas with more general parameter values then follow by [[Analytic continuation|analytic continuation]] and by certain elementary operations.

Addition formulas are important because they encode in a relatively compact form a lot of information, for instance other identities, inequalities, positivity results (hypergroup structures, cf. [[Generalized displacement operators|Generalized displacement operators]]) for convolution and dual convolution associated with the  $  \phi _  \lambda  $, 
and sometimes unitariness of related group representations.

====References====
<table>
<TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Askey,   "Orthogonal polynomials and special functions" , ''Reg. Conf. Ser. Appl. Math.'' , '''21''' , SIAM  (1975)</TD></TR>
<TR><TD valign="top">[a2]</TD> <TD valign="top">  E. Koelink,   "Addition formulas for $q$-special functions"  M.E.H. Ismail et al. (ed.) , ''Special Functions, $q$-Series and Related Topics'' , ''Fields Inst. Commun.'' , '''14''' , Amer. Math. Soc.  (1997)  pp. 109–129</TD></TR>
<TR><TD valign="top">[a3]</TD> <TD valign="top">  D. Stanton,   "Orthogonal polynomials and Chevalley groups"  R.A. Askey (ed.)  etAAsal. (ed.) , ''Special Functions: Group Theoretical Aspects and Applications''  (1984)  pp. 87–128</TD></TR>
<TR><TD valign="top">[a4]</TD> <TD valign="top">  N.J. Vilenkin,   "Special functions and the theory of group representations" , ''Transl. Math. Monographs'' , '''22''' , Amer. Math. Soc.  (1968)  (In Russian)</TD></TR>
<TR><TD valign="top">[a5]</TD> <TD valign="top">  N.J. Vilenkin,   A.U. Klimyk,   "Representation of Lie groups and special functions" , '''1–3''' , Kluwer Acad. Publ.  (1991–1993)  (In Russian)</TD></TR>
<TR><TD valign="top">[a6]</TD> <TD valign="top">  G.N. Watson,   "Theory of Bessel functions" , Cambridge Univ. Press  (1944)  (Edition: Second)</TD></TR></table>