SAFARI AU PAYS DES FONCTIONS SPECIALES : pp.

1-17

SAFARI IN THE COUNTRY OF THE SPECIAL FUNCTIONS : pp.18-36
Provisional translation (October 22, 2012)




[ Note : Fond de l'image d'aprs une illustration extraite de :
"Le Robinson suisse", 2ime dit., Lib.Hachette, p.19, 1883. ]

La premire version de cet article a t pulblie dans la revue :
QUADRATURE n55, janvier 2005, pp. 6-16
Editions EDP Sciences, 17, Av. du Hoggar, PA de Courtaboeuf, 91944 Les Ulis, France.



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 1


SAFARI AU PAYS DES FONCTIONS SPECIALES

Jean Jacquelin


1. Avant le dpart : Des curiosits et des ides reues

En des temps reculs, une fonction tait explique comme une quantit variable qui
dpend d'une autre quantit variable ( par ex. : Euler, 1749, d'aprs [1] ). C'tait avant que
l'essentiel du concept ne porte sur la correspondance elle-mme et ne se rduise des dfinitions
relevant de la thorie des ensembles [1] , plutt qu'une simple dpendance de quantits.
Ce furent des temps prolifiques, o les fonctions taient intimement associes leurs
reprsentations graphiques aux noms vocateurs : astrode, cardiode, cloche, folium, hyperbole,
limaon, papillon, parabole, trfle, trident et beaucoup d'autres [2]. Une plthore de fonctions
fleurirent, certaines panouies pour l'ternit, d'autres vite fanes puis oublies. Une dbauche
d'ides, dont le but n'tait pas toujours innocent, ce qui fit dire par Poincar, avec une certaine
acrimonie, qu'autrefois on inventait de nouvelles fonctions pour faire avancer les applications
pratiques, alors que maintenant, on en invente dans le seul but de rendre incorrect les
raisonnements de nos prdcesseurs et que ces inventions ne servent rien d'autre [3].
Dans ce maquis, quelques genres de fonctions tendent se distinguer. On les dit : soit
fonctions "lmentaires" ou "usuelles", soit fonctions "spciales" . Mais encore faut-il nuancer le
terme de fonctions spciales : certaines sont bien connues, largement diffuses dans les
formulaires et dans les logiciels mathmatiques. D'autres sont moins frquemment utilises, plus
rarement cites, mais nanmoins rpertories. Ne parlons pas de ces fonctions spciales qui
relvent d'un domaine trs particulier et qui sont connues de quelques spcialistes seulement.
Dans quelle catgorie telle ou telle fonction se range-t-elle ? Les frontires sont on ne peut
plus floues : ce sera l'une de nos proccupations.
Qui plus est, le rle jou par les fonctions spciales et l'usage que l'on en fait dans les
dveloppements mathmatiques prte bien des commentaires, voire des critiques. Il ne faut pas
chercher longtemps, sur la "toile", dans les forums actuels de discussions mathmatiques, pour y
trouver des exemples croustillants.
Question pose par un internaute :
Sur l'intervalle [1 ; e], est-il possible de calculer l'intgrale de ln(x)/(1-x) ?
Rponse d'un autre internaute :
Le logiciel *** donne comme rsultat -dilog(1+e) o dilog est la fonction dfinie par :
dilog(x) = intgrale de (ln(t)/(1-t) prise de t=1 x ; Ils sont forts ces Amricains !

[ Note : Pas de publicit ici pour le logiciel *** dont nous masquons le nom : d'autres logiciels, amricains ou non,
auraient donn le mme rsultat ]


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 2

Encore une question d'un internaute :
J'aimerais savoir s'il est possible d'intgrer e
(1/x)
sur un intervalle ferm. Je cherche une
primitive et a me casse la tte. Merci de me rpondre.
Rponse textuelle donne sur le forum :
Visiblement, cela ne s'exprime pas l'aide des fonctions usuelles, puisque *** renvoie:
x
*
e
(1/x)
+Ei(1,-1/x) o Ei est vraisemblablement une fonction dfinie... l'aide d'une intgrale.
Les rponses ne manquent pas d'ironie. Malheureux logiciels et pauvres fonctions
spciales bien mal comprises ! Ce genre d'ides toutes faites sera galement un objet de rflexion.
Nous voici maintenant sur le dpart, comme les explorateurs d'autrefois, pleins d'espoir de
dcouvertes, avec leurs cartes imprcises, vieux portulans, terra incognita et symboles enlumins.


2. L'approche en terrain connu : la lisire de la jungle

Dans un instant de nostalgie, le futur explorateur se remmore sa jeunesse :
L'apprentissage des oprations lmentaires, plus tard les puissances positives et ngatives, la
rencontre avec les polynmes, les fonctions simples, linaires, paraboliques. L'explorateur en
herbe connat aussi les fonctions sinusodales. En grandissant, il a commenc voir des drives,
des primitives.
Un beau jour, il s'est tonn ( moins qu'on ne lui ait perfidement pos la question) : La
fonction f(x)=1/x a-t-elle une primitive ? Premptoirement, on a bien pu lui assner ceci : Oui,
c'est un logarithme . Trs bien, mais quelle est la dfinition de ce logarithme ? Une rponse telle
que Un logarithme est dfini comme tant une primitive de la fonction f(x)=1/x n'aurait pas
manqu de le laisser pantois ! Aussi, d'une faon plus subtile et avec force de circonvolutions,
fut-il accoutum progressivement la pratique des logarithmes. A tel point qu'il sourit maintenant
au souvenir de sa question enfantine : les logarithmes lui sont devenus si familiers !
Beaucoup plus tard, cette exprience juvnile ne l'empchera pourtant pas d'avoir parfois du
vague l'me : ayant cherch vainement une primitive de sin(x)/x , il interrogera son logiciel
mathmatique *** et verra apparatre la fonction Si(x) au beau nom de "sinus intgral".
Evidemment, il voudra connatre la dfinition de cette fonction ; Dsillusion en voyant que :

0
sin( )
Si( )
x
t
x dt
t
=

Heureusement, entre-temps il aura appris qu'il existe d'autres faons de dfinir une fonction . Il se
satisfera donc en trouvant que :

2 1
0
1 ( 1)
Si( )
(2 1) (2 1)!
j j
j
x
x
j j
+
=

=
+ +

De cette faon, avec les dveloppements en sries infinies, notre jeune explorateur aura
appris des dfinitions, nouvelles pour lui, de fonctions qu'il croyait pourtant si bien connatre :
sin, cos, tg, arcsin, arccos, arctg, ln, exp.(Tableau 1 en Annexe)
Par exemple :
2 1
0
( 1)
sin( )
(2 1)!
j j
j
x
x
j
+
=

=
+

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 3

Diable ! Voil une formule pour sin(x) qui ressemble fort celle de Si(x). Est-ce que sin(x) serait
aussi une fonction spciale, ni plus ni moins que l'est Si(x) ? Est-ce que, par hasard, on
nommerait d'un cot : "fonction lmentaire" une fonction dont on a l'habitude, que l'on connat
bien et d'un autre cot : "fonctions spciales" celles que l'on connat peu ou mal ?
Autrement dit, pour notre explorateur en sa prime jeunesse, ln(x) n'tait-elle pas une
fonction spciale ? et qui plus est, la fonction (x) , par exemple, n'est-elle pas une fonction
lmentaire et usuelle pour celui qui la pratique tous les jours ?
C'est bien cela la ralit : il n'y a pas de frontire effective. Pourtant, on ne peut pas laisser
tout un chacun faire sa propre classification et utiliser son propre vocabulaire. Il fallait bien que,
de par les us et coutumes accepts, il s'tablisse une frontire conventionnelle que l'on pourrait,
avec un brin de cynisme, rsumer ainsi : Les fonctions lmentaires et les fonctions spciales sont
celles qui ont t rpertories sous les qualificatifs de "lmentaires" et de "spciales"
respectivement. Et honni soit qui mal y pense !

Certainement, le temps passant, notre explorateur aura appris d'autres faons de dfinir
des fonctions : en tant que solution d'une quation diffrentielle, ou l'aide de fonction
gnratrice, ou encore par une fraction continue, ou par une limite, etc.
Un jour ou l'autre, le nom de "fonction de Bessel" a raisonn ses oreilles. Intrigu et
curieux, il a trouv sans trop de difficult, dans un formulaire :
quation diffrentielle :
2 2
2 2
1
1 0
n n
n
d J d J n
J
dx x dx x
| |
+ + =
|
\

Fonction gnratrice :
2
1
exp ( )
2
n
n
n
t
x J x t
t

=
| |
=
|
\


Dveloppement en srie :
2
2
0
( 1)
( )
2 !( )!
j n j
n n j
j
x
J x
j n j
+
+
=

=
+

Intgrale dfinie : ( )
0
1
( ) cos sin( )
n
J x x t nt dt

De telle sorte que, maintenant, tout fier de son savoir, si on lui pose la question :
Sauriez-vous calculer l'intgrale ( )
0
cos sin( ) t dt

?
Il rpondra sans hsiter : C'est J
0
(1) .
Sur quoi, son interlocuteur cherchant ce que signifie J
0
(1), trouvera ( )
0
0
1
(1) cos sin( ) J t dt

,
ce qui le laissera trs insatisfait ... jusqu' ce qu'on lui explique ce que l'on attend de l'usage d'une
fonction spciale, ainsi que nous le verrons.

Toujours est-il qu' peine engags sur le sentier broussailleux du dpart, nous avons
entrevu quelques beaux spcimens. Ce fut instructif : cette question, rcemment pose sur un
forum :


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 4

Quelle est la primitive de sin(x)/x ? il parait qu'on ne peut pas la calculer , voici ce que nous
rpondons :
Une primitive de sin(x)/x est la fonction sinus intgral, Si(x). Mais tout dpend ce que l'on
entend par savoir calculer : Si la question tait d'exprimer Si(x) selon une formule (et non une
srie infinie) ne contenant que les fonctions lmentaires, alors on peut rpondre que ce n'est pas
possible. Et de mme, ce ne serait pas possible pour sin(x). Par contre et bien entendu, on sait
calculer Si(x), exactement comme on sait calculer sin(x), cos(x) ou exp(x), etc.. Il existe des
dveloppements en srie et des algorithmes de calcul, ainsi que des tables numriques pour toutes
ces fonctions.


3. Une harde de gros gibier : de l'intrt de codifier

Le terrain que traverse notre explorateur est loin d'tre vierge. Ses prdcesseurs de
longue date l'ont frquent et se sont trouvs confronts une foule de problmes, tous diffrents,
mais prsentants souvent d'tranges analogies. Au dbut, chacun dcrivait sa faon ce qu'il avait
vu et dcouvert. Chacun y allait de sa mthode particulire et de sa faon de prsenter ses
trophes. Il fallait mettre de l'ordre, codifier, autant que possible, de telle sorte que l'on ne
recommence pas faire mille fois des choses quivalentes, en n'en modifiant que les aspects
superficiels de prsentation et de symbolisme.
Les fonctions elliptiques en sont un magnifique chantillon. Il est fort probable que vos
prgrinations mathmatiques vous ont dj amen, ou vous amneront, tre confront une
intgrale se prsentant de la faon suivante, ventuellement simplifie si des termes sont absents :
( ) ( ) ( )
( ) ( ) ( )
M x N x f x
dx
P x Q x f x
+
+

o M(x), N(x), P(x), Q(x) sont des polynmes en x et f(x) est un

polynme en x de degr 3 ou 4.
Il est clair que cette forme gnrale recouvre un nombre considrable de cas diffrents.
Pourtant, par une dmarche trs systmatique, il est possible de ramener une telle intgrale
gnrale une combinaison de seulement trois intgrales "fondamentales", sous la forme
normale de Legendre :
1
ire
espce :
sin
2 2 2 2 2 0 0
( , )
1 sin (1 )(1 )
d dt
F k
k t k t

= =



2
ime
espce :
2 2
sin
2 2
2
0 0
1
( , ) 1 sin
1
k t
E k k d dt
t



= =

3
ime
espce :
sin
2 2 2 2 2 2 2 0 0
( , , )
(1 sin ) 1 sin (1 ) (1 )(1 )
d dt
n k
n k n t t k t

= =
+ +


Evidemment, si les polynmes donns sont compliqus, le processus de rduction sera ardu, mais
thoriquement possible. Les fonctions inverses sont galement codifies (fonctions elliptiques de
Jacobi), ainsi que des cas de dgnrescence (certaines fonctions elliptiques de Weierstrass).


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 5

On voit l'intrt considrable que cela reprsente. D'une part, viter de devoir reprendre le
problme tout entier pour chaque cas rencontr et d'autre part, exprimer le rsultat avec des
fonctions que chacun peut reconnatre et peut retrouver dans les formulaires et dans les logiciels
de calcul.
L'horizon s'claire pour l'explorateur : dans une faune aussi riche que diverse, des espces
"standard" ou "typiques" sont rpertories, dment dcrites. Elles ont t dissques, analyses,
Leurs proprits ont t profondment tudies. Un grand nombre de relations entre elles sont
tablies, consignes. Il existe des tables, des algorithmes pour chacune d'elles. En un mot comme
en cent, un immense fond de connaissances est disponible. Mais pour y accder, il faut des clefs,
ou plus exactement des mots clef : il faut connatre le nom de la fonction spciale idoine.

De nos jours, l'art du Mathmaticien dans ce domaine est relay par des logiciels de calcul
formel. Certes, cela ne remplace pas la comptence indispensable. Nanmoins, dans de
nombreuses circonstances, calcul intgral, quations diffrentielles, etc. le logiciel *** sera
capable de sortir une formule, parfois sotrique premire vue et comportant des fonctions
spciales. En cela, il ne donne pas la Solution (avec un grand S), mais il donne des informations
importantes : le nom des fonctions spciales pertinentes et la forme sous laquelle elles
interviennent. Ensuite, l'utilisateur de dcider si cette forme symbolique (closed form) lui suffit,
parce que pour lui, les fonctions spciales sont des objets familiers. Si non, l'utilisateur de se
reporter aux ouvrages portant sur la fonction spciale en question, pour y trouver les informations
qui lui manquent, voire mme les dmonstrations intermdiaires que le passage par une fonction
spciale a "court-circuites".
Ainsi donc, par exemple, lorsque le logiciel *** dit qu'une primitive de la fonction exp(-x
2
) est
1
2
erf ( ) x , ou l'intgrale d'erreur de Gauss, ne nous gaussons pas : *** a bien fait son travail et
trs justement indiqu quelle fonction spciale se rfrer. Il ne fallait pas en attendre plus et si
ncessaire, on pourra trouver dans la littrature tout ce qui est connu relativement la "fonction
d'erreur" erf(x).


4. Rcit de chasse : au hasard des rencontres

Aprs avoir aperu, malheureusement d'un peu loin et trop fugitivement, la magnifique et
puissante harde des elliptiques, engageons nous hardiment dans la jungle luxuriante.
Mille pages ne suffiraient pas. La narration d'une telle expdition lasserait vite le lecteur.
Nous nous contenterons de quelques clichs, au bonheur de rencontres avec d'intressants
spcimens. Prises sur le vif, ces photos sont parfois floues ou tronques. Contentons nous du rel.
Laissons aux spcialistes le complexe, les prolongements analytiques et autres curiosits.
Quelques belles intgrales et sries infinies suffiront notre plaisir (Tableaux en Annexe).

La bonne vieille famille des polynmes, apparemment si lmentaire, nous rserve
pourtant des surprises de taille (Tableau 2). On y trouve les trs importants polynmes de
Pochhammer (x)
n
, lments constitutifs du gnome des fonctions hypergomtriques, ainsi que


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 6

nous le constaterons plus loin. Les polynmes de Bernoulli B
n
(x), et d'Euler E
n
(x), si utiles pour
exprimer des sommes de puissances des entiers et dont les nombres B
n
=B
n
(0), E
n
=E
n
(0)
interviennent frquemment dans les dveloppements en srie de fonctions spciales. On trouve
aussi les polynmes orthogonaux de Legendre P
n
(x), de Chebyshev T
n
(x), U
n
(x), de Laguerre
L
n
(x), d'Hermite H
n
(x), tellement prcieux dans la rsolution d'quations diffrentielles et le
dveloppement de solutions avec des termes linairement indpendants. Et encore, par des
gnralisations, les polynmes de Jacobi P
n
(,)
(x) ou de Gegenbauer C
n
()
(x) que nous voquons
ici sans plus de dtail.

Une petite famille (Tableau 3), les fonctions zeta (), lambda (), eta (), fait couler
beaucoup d'encre au sujet de la clbre "conjecture de Riemann". Etroitement apparentes aux
nombres de Bernoulli et d'Euler lorsque est entier, elles expriment des sommes de puissances
ngatives des nombres entiers. Ces fonctions sont des cas particuliers parmi les fonctions de
Hurwitz ( ; u) et un niveau encore plus lev, les fonctions de Lerch (x ; ; u).

Nos prgrinations nous amnent visiter un domaine o des fonctions naissent, non pas
par gnration spontane, mais par la ncessit de nommer et codifier des primitives
rcalcitrantes. On se souvient de la naissance du logarithme et par exemple, de la fonction Si(x)
dj mentionne au .2. De mme, toute une panoplie de fonctions spciales ont vu le jour
(Tableau 4). On y trouve en vrac : L'exponentielle intgrale Ei(x) ou Ein(x), le logarithme
intgral li(x) = Ei(ln(x)), ne pas confondre avec le dilogarithme diln(x) et plus gnralement les
polylogarithmes poln

(x). On y trouve aussi les sinus et cosinus intgral Si(x), Ci(x) ainsi que
leurs consurs hyperboliques Shi(x), Chi(x), la fonction d'erreur erf(x) et son complment
erfc(x) = 1-erf(x) , l'intgrale de Dawson Daw(x), les intgrales de Fresnel S(x), C(x) gnralises
par les intgrales de Boehmer S(x ; ), C(x ; ). Restons en l, bien que la liste soit loin d'tre
exhaustive.
C'est une famille prestigieuse que nous avons l'occasion d'observer ensuite (Tableau 5) :
avec son illustre anctre, la clbre fonction Gamma (x) qui tend la notion de factorielle de
nombres entiers positifs n! = (n+1) l'ensemble des rels (et mme aux complexes, mais nous
n'en parlerons pas), entiers ngatifs exclus . Le dveloppement asymptotique de (x) conduit
une gnralisation de la fameuse formule de Stirling . Les descendants de (x), fonction
Digamma (x) et plus gnralement les polygamma
(n)
(x) sont gniales pour la sommation de
sries infinies de fractions rationnelles. ( ) = ( ; 0) = ( ; ) est la forme complte de la
fonction Gamma incomplte ( ; x) ou de son complment ( ; x). Dans la mme famille, on
trouvera les fonctions Beta B(, ) et Beta incomplte B(, ; x) d'usage frquent en statistiques.

Passer cot des fonctions de Bessel sans les observer, ne serait-ce que sommairement,
serait impardonnable. Le tableau 6 en donne une photo de famille des plus succincte. On y voit la
fonction de Bessel proprement dite J

(x) et sa jumelle, la fonction de Neumann Y

(x), galement
qualifies de premire et seconde espce respectivement. On y voit les fonctions de Bessel
modifies (hyperboliques) de premire et seconde espces I

(x) et K

(x). Pour mmoire, signalons

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 7

les fonctions de Kelvin ker

(x), ber

(x), kei

(x), bei

(x) qui interviennent lorsque l'on s'intresse

aux fonctions de Bessel dans le domaine des complexes. Ouf ! quelle imposante ligne !
Moins prestigieuses, les fonctions d'Airy Ai(x) et Bi(x) font bande part (Tableau 7),
bien qu'ayant des relations troites avec certaines fonctions de Bessel.

On rencontre les fonctions de Weber U(a, x), V(a, x), Tableau 8, lorsque l'on travaille sur
l'quation aux drives partielles de Laplace en coordonnes de "cylindre parabolique" : un cas
particulier important de coordonnes curvilignes . Il ne faut pas faire de confusion avec U(a, b; x)
que nous verrons peu aprs, bien qu'il y ait filiation. Le symbole de Whittaker D

(x) est
frquemment utilis.

Les intgrales elliptiques ont t brivement voques au .3. C'est un dchirement de ne
pas tudier de plus prs cette magnifique famille. Mais, que voulez-vous, une courte narration ne
doit pas devenir une anthologie !

En fait, notre explorateur disposait d'un petit document qu'il nous dvoile Figure 1, bien
que les informations qu'on y trouve soient trs fragmentaires. On y voit que la plupart des
fonctions observes au cours de son excursion font partie d'un rgne fort tendu : celui des
fonctions hypergomtriques. Les fonctions confluantes hypergomtriques de Kummer M(a, b;
z) et Tricomi U(a, b; x), celles apparentes de Whittaker W
,
(x) , M
,
(x) et mme un niveau
plus lev, celles de Gauss F(a , b ; c ; x), dont quelques proprits gnrales sont rappeles
Tableau 9, ne sont pas au sommet de la hirarchie. Les fonctions hypergomtriques sont encore
plus gnrales que cela et mritent bien qu'on leur consacre le paragraphe suivant, assorti de
quelques rflexions phylogniques.


Figure 1 : Fragment de carte ancienne, d'aprs [4], Section 45:14, p.443.


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 8


5. La fin du voyage : dernier bivouac

Remettre de l'ordre dans toute la documentation, les notes brves, les photos, qui on t
collectes et entasses dans le paquetage n'est pas un petit travail pour cette soire de retour au
camp de base. En cela, les fonctions hypergomtriques nous aideront l'tiquetage de beaucoup
de spcimens.
Le nom gnral de fonction hypergomtrique est attribu toute fonction pouvant tre
exprime par une srie de la forme suivante :

( )
1 2
1 2 1 2
0 1 2
( ) ( ) ... ( )
, , ... , ; , , ... , ;
( ) ( ) ... ( ) !
j
j j p j
p q p q
j j j q j
a a a
x
a a a b b b x
b b b j

=
=

F
Les (a
1
)
j
, (a
2
)
j
, ... , (a
p
)
j
, (b
1
)
j
, (b
2
)
j
, ... , (b
q
)
j
sont des polynmes de Pochhammer, dont on se
souvient d'avoir soulign leur rle important, au dbut du .4.

Note : Dans la premire version de ce papier (Quadrature n55, pp.6-16), une notation non conventionnelle avait t
utilise pour le symbole des fonctions hypergomtriques, ce qui a fait l'objet d'un avertissement (Quadrature n68
pp.2-3). La prsente version reprend le symbolisme usuel. Nanmoins, pour amliorer la lisibilit, lorsqu'un
paramtre est inexistant, son emplacement vide est soulign.

Par habitude, dans le cas particulier de la fonction hypergomtrique de Gauss F(a, b; c;
x), on omet d'crire les indices droite et gauche du symbole F. Donc, avec p = 2, q = 1, a
1
= a,
a
2
= b et b
1
= c :
( ) ( )
1 2
2 1 1 2 1
0 0 1
( ) ( ) ( ) ( )
F , ; ; , ; ;
( ) ! ( ) !
j j
j j j j
j j j j
a b a a
x x
a b c x a a b x
c j b j

= =
= =

F
Ainsi, sous l'tiquette gnrale de fonction hypergomtrique, vont se retrouver un bon
nombre de fonctions usuelles ou spciales des plus connues. Les indices affects
p
F
q
aideront
tablir des liens de parents.
Il convient de noter que les formules suivantes, prsentes titre indicatif, sont souvent
insuffisantes car leurs domaines de dfinition par cette mthode sont soumis des restrictions
qu'il serait trop long de considrer ici.

Fonctions usuelles :

exp(x) =
0
F
0
( _ ; _ ; x) ; ln(x) = (x-1)
2
F
1
( 1 , 1 ; 2 ; 1-x)

sin(x) = x.
0
F
1
( _ ; 3/2 ; -x
2
/4) ; cos(x) =
0
F
1
( _ ; 1/2 ; -x
2
/4)

sh(x) = x.
0
F
1
( _; 3/2 ; x
2
/4) ; ch(x) =
0
F
1
( _ ; 1/2 ; x
2
/4)

arcsin(x) = x.
2
F
1
(1/2 , 1/2 ; 3/2 ; x
2
) ; arctg(x) = x.
2
F
1
( 1 , 1/2 ; 3/2 ; -x
2
)

argsh(x) = x.
2
F
1
(1/2 , 1/2 ; 3/2 ; -x
2
) ; argth(x) = x.
2
F
1
( 1 , 1/2 ; 3/2 ; x
2
)


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 9

Fonctions spciales :

P
n
(x) =
2
F
1
(-n, n+1 ; 1 ; (1-x)/2 ) Polynme de Legendre

T
n
(x) =
2
F
1
(-n, n ; 1/2 ; (1-x)/2 ) Polynme de Chebyshev

L
n
(x) =
1
F
1
(-n ; 1 ; x) Polynme de Laguerre

H
n
(x) = (2x)
n
.
2
F
0
( (1-n)/2 , -n/2 ; _ ; -1/x
2
) Polynme d'Hermite

Ei(x) = (e
x
/x)
2
F
0
( 1 ,1 ; _; 1/x) Exponentielle intgrale

li(x) = (x / ln(x) )
0
F
0
( _; _ ; 1/ln(x)) Logarithme intgral

diln(x) = (x-1)
3
F
2
( 1 , 1 , 1 ; 2 , 2 ; 1-x) Dilogarithme

Si(x) = x.
1
F
2
( 1/2 ; 3/2 , 3/2 ; -x
2
/4) Sinus intgral

Shi(x) = x.
1
F
2
( 1/2 ; 3/2 , 3/2 ; x
2
/4) Sinus hyperbolique intgral

Cin(x) =
2
F
3
( 1 , 1 ; 3/2 , 2 , 2 ; -x
2
/4) Cosinus intgral complet

Chin(x) =
2
F
3
( 1 , 1 ; 3/2 , 2 , 2 ; x
2
/4) Cosinus hyperbolique intgral complet

erf(x) = (2x/
1/2
)
1
F
1
( 1/2 ; 3/2 ; -x
2
) Fonction d'erreur

daw(x) = x.
1
F
1
( 1 ; 3/2 ; -x
2
) Intgrale de Dawson

S(x) = (2/9)
1/2
x
3

1
F
2
( 3/4 ; 3/2 , 7/4 ; -x
2
/4) Premire intgrale de Fresnel

C(x) = ( 2/)
1/2
x
1
F
2
( 1/4 ; 1/2 , 5/4 ; -x
2
/4) Seconde intgrale de Fresnel

( , x) = e
-x
x
1-

2
F
0
( 1 , 1- ; _ ; -1/x) Fonction Gamma incomplte

() = - + (1-1/)
3
F
2
( 1 , 1 , ; 1+ , 2 ; 1) Fonction Digamma

B(x , y) = (1/x)
2
F
2
( 1-y , x ; 1+x ; 1) Fonction Beta

I
0
(x) =
0
F
1
( _ ; 1 ; x
2
/4) Fonction de Bessel

I
1
(x) = (x/2)
0
F
1
( _ ; 2 ; x
2
/4) Fonction de Bessel



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 10


fai(x) =
0
F
1
( _ ; 2/3 ; x
3
/9) Premire fonction auxiliaire d'Airy

gai(x) = x.
0
F
1
( _ ; 4/3 ; x
3
/9) Seconde fonction auxiliaire d'Airy

D

(x) =
2
F
1
( -1 , 1+ ; 1 ; (1-x)/2) Fonction du cylindre parabolique.

M
,
(x) = x
+1/2
e
-x/2

1
F
1
(+1/2 ; 1+2 ; x) Premire fonction de Whittaker

W
,
(x) = x

e
-x/2

2
F
0
(+1/2 , +1/2 ; _ ; -1/x) Seconde fonction de Whittaker

M(a ; c ; x) =
1
F
1
(a ; c ; x) Fonction de Kummer

U(a ; c ; x) = x
-a
2
F
0
(a , 1+a-c ; _ ; -1/x) fonction de Tricomi

F(a , b ; c ; x) =
2
F
1
(a , b ; c ; x) Fonction hypergomtrique de Gauss


Malgr ce genre de systmatisation, en bauche devrait-on dire, notre brave explorateur a
du mal s'y retrouver. Et encore heureux, il n'a pas s'occuper des fonctions de Dirac,
d'Heaviside, etc., sans parler de moult fonctions exotiques...

Certes, l'habitude est louable de donner aux fonctions les noms de mathmaticiens et est
pleine de bonnes intentions. Elle marque la reconnaissance envers ces Grands Hommes. C'est une
manire de les rendre immortels, encore plus qu' l'Acadmie ! Mais, en contrepartie, o est la
logique de classement et de hirarchisation ? Evidemment, cela peut se faire indpendamment
des noms attribus. Mais alors, que d'efforts de mmoire, que de temps pass des recherches
plus historiques ou patronymiques que mathmatiques ! Pour un peu, on en viendrait envier les
naturalistes avec leurs noms latins ou grecs et leur mthode de taxinomie systmatiquement
applique chaque dcouverte.

Et de soliloquer : Pour aider y voir plus clair dans tout ce bestiaire de fonctions, il
faudrait songer embaucher quelques naturalistes afin d'y mettre une certaine systmatique. On
attend les Jussieu, Darwin, Henning,... des mathmatiques : A quand le best seller "Classification
Phylognique des Fonctions Spciales" ?



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 11

6. Le mot de la fin est une invitation au dpart

Si cette dbauche de fonctions, si cet inventaire la Prvert ne vous ont pas compltement
assomm, si vous avez lu la faon dont on feuillette distraitement un Atlas de gographie, en
sautant d'une image une autre, d'un pays exotique une contre mythique, bref, si le voyage
vous a fait rver, alors ce manuscrit succinct aura atteint son but. Et ma satisfaction serait encore
plus grande si l'excursion imaginaire vous a donn envie d'un trekking du mme genre, pour y
retrouver des curiosits qui mriteraient un examen beaucoup plus attentif et pourquoi pas, y
dcouvrir, par vous mme, de nouvelles merveilles.
Ne reculez pas devant l'effort : il n'est pas aussi grand qu'il n'y parat pour une telle
expdition. En effet, je vais vous dire un secret : Notre fier explorateur, qui croyez-vous qu'il soit
en ralit ? Vous avez devin : Comme Tartarin de Tarascon, son terrain de chasse ne dpasse
pas beaucoup les frontires de sa maison et ses expditions ne vont pas plus loin que la
bibliothque voisine, d'o proviennent ces quelques rfrences : [4-11]. Il ne vous sera pas
difficile d'en faire autant et mme beaucoup plus.


Rfrences

[1] : Petite Encyclopdie des Mathmatiques, traduit de Kleine Enzyklopdie der
Mathematike, VEB Bibliographisches Institut Leipzig, 1975, Edit. franaise p.117,
1980.
[2] : E.W.Weisstein, CRC Concise Encyclopedia of Mathematics, Chapman & Hall, N.-Y.,
1999.
[3] : Citation d'aprs E.W.Weisstein, CRC Concise Encyclopedia of Mathematics,
."Function", Chapman & Hall, N.-Y., p.377, p.683, 1999.
[4] : J.Spanier, K.B.Oldham, An Atlas of Functions, Hemisphere Pubishing Corporation,
Springer-Verlag,1987.
[5] : M.Abramowitz, I.A.Stegun, Handbook of Mathematical Functions, Dover Publications,
N.-Y., 1972
[6] : H.Batemann, Higher Transcendental Functions (3 volumes), Edit. Mc. Graw-Hill, N.-
Y.,1953.
[7] : H.Batemann, Tables of Integral Transforms, Integrals of Higher Transcendental
Functions, Vol.2, pp.263-447, Edit. Mc. Graw-Hill, N.-Y.,1954.
[8] : A.Jeffey, Handbook of Mathematical Formulas and Integrals, 2nd. Edit., Academic
Press, 2000.
[9] : N.Ja.Vilenkine, Fonctions spciales et thorie de reprsentation des groupes, Edit.
Dunod, 1969.
[10] : A. Nikiforov, Elements de la thorie des fonctions spciales, Edit. MIR (Moscou),
1976.
[11] : P.Appell, J.Kampe de Feriet, Fonctions hypergomtriques et hypersphriques;
Polynmes d'Hermite, Gauthier-Villar Edt., 1926.


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 12


Annexe : Petit album de souvenirs du safari

Une collection clectique et trs succincte de formules. Les limites de validits ne sont
pas indiques : On les trouvera, avec beaucoup plus d'informations, dans les ouvrages rfrencs.
Il convient galement de signaler que les notations et symboles de certaines fonctions
spciales peuvent diffrer d'un auteur un autre, particulirement dans les ouvrages anciens :
vrifier au cas par cas.


Tableau 1 : FONCTIONS USUELLES

Logarithme
1
1
ln( )
x
x dt
t
=

;
1
1
( 1)
ln(1 )
j j
j
x
x
j
+
=

+ =

;
ln( )
log ( )
ln( )
b
x
x
b
=
( ) ln( )
df
x a f x a x c
dx
= = +

Fonctions
circulaires
2
0
( 1)
cos( )
(2 )!
j j
j
x
x
j

;
2 1
0
( 1)
sin( )
(2 1)!
j j
j
x
x
j
+
=

=
+

;
1 2 2 2 1
2
1
( 1) 2 (2 1)B
tg( )
(2j)!
j j j j
j
j
x
x
+

=

=

2
2
1 2 2
( ) cos( ) sin( )
d f
a f x c a x c a x
dx
= = +

Exponentielle
et fonctions
hyperboliques
0
exp( )
!
j
j
x
x
j

=
=

;
2
0
ch( )
2 (2 )!
x x j
j
e e x
x
j

=
+
= =

;
2 1
0
sh( )
2 (2 1)!
x x j
j
e e x
x
j
+
=

= =
+

2
2
1 2 3 4 2
( ) exp( ) exp( ) ch( ) sh( )
d f
a f x c a x c a x c a x c a x
dx
= = + = +

Fonctions
circulaires
inverses
2 0
arcsin( )
1
x
dt
x
t
=

;
1
2
arccos( )
1
x
dt
x
t
=

;
2
0
arctg( )
1
x
dt
x
t
=
+

2 1
2 2
0
(2 )!
arcsin( ) arccos( )
2 2 ( !) (2 1)
j
j
j
j x
x x
j j

+
=
= =
+

;
2 1
0
( 1)
arctg( )
2 1
u j
j
x
x
j
+
=

=
+

Fonctions
hyperboliques
inverses
2 0
argsh( )
1
x
dt
x
t
=
+

;
2 1
argch( )
1
x
dt
x
t
=

;
2
0
1 1
argth( ) ln
2 1 1
x
x dt
x
x t
+ | |
= =
|

\


( )
2
argsh( ) ln 1 x x x = + + ;
( )
2
argch( ) ln 1 x x x = + ;
2 1
1
argth( )
2 1
j
j
x
x
j
+
=
=
+

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 13


Tableau 2 : POLYNOMES SPECIAUX
Pochhammer
1
0
0
( ) ( 1)( 2)...( 1) ( ) ; ( ) 1 ; (1) !
n
n n
j
x x x x x n x j x n

=
= + + + = + = =

Bernoulli
1
0 1 2 3
0
! B
1 1
B 1; B ; B ; B 0 ; ... B
2 6 ! ( 1 )!
n
j
n
j
n
j n j

=
= = = = =
+

0
!B
B ( )
!( )!
n
n j j
n
j
n
x x
j n j

=
=

;
0
exp( )
B ( )
exp( ) 1 !
j
j
j
t x t t
x
t j

=
=

Euler
1
2
0 1 2 2 1 2
0
(2 )! E
E 1; E 0 ; E 1; ... E 0 ; E
(2 )! (2 2 )!
n
j
n n
j
n
j n j

=
= = = = =

0
! E
E ( ) (2 1)
2 ! ( )!
n
n j j
n n
j
n
x x
j n j

=
=

;
0
2exp( )
E ( )
exp( ) 1 !
j
j
j
xt t
x
t j

=
=
+


Legendre
( )
0 1 1 2
1
P ( ) 1; P ( ) ; ... P ( ) (2 1) P ( ) ( 1) P ( )
n n n
x x x x n x x n x
n

= = =
0 1 0 1 2
1 1
Q ( ) argth( ) ; Q ( ) Q ( ) 1;... Q ( ) (2 ) Q ( ) (1 ) Q ( )
n n n
x x x x x x x x x
n n

= = =
2
2
1 2 2
(1 ) 2 ( 1) 0 ( ) P ( ) Q ( )
n n
d f df
x x n n f f x c x c x
dx dx
+ + = = +
Chebyshev
0 1 1 2
T ( ) 1; T ( ) ; ... T ( ) 2 T ( ) T ( )
n n n
x x x x x x x

= = =
0 1 1 2
U ( ) 1; U ( ) 2 ; ... U ( ) 2 U ( ) U ( )
n n n
x x x x x x x

= = =
2
2 2 2
1 2 2
(1 ) 0 ( ) T ( ) 1- U ( )
n n
d f df
x x n f f x c x c x x
dx dx
+ = = +
Laguerre
0 1 1 2
2 1 1
L ( ) 1; L ( ) 1 ; ... L ( ) L ( ) L ( )
n n n
n x n
x x x x x x
n n


= = =
2
2
L ( ) L ( )
(1 ) L ( ) 0
n n
n
d x d x
x x n x
dx dx
+ + =
Hermite
0 1 1 2
H ( ) 1; H ( ) 2 ; ... H ( ) 2 H ( ) 2( 1) H ( )
n n n
x x x x x x n x

= = =
2
2
H ( ) H ( )
2 2 H ( ) 0
n n
n
d x d x
x n x
dx dx
+ =









Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 14


Tableau 3 : FONCTIONS APPARENTEES A ZETA DE RIEMANN

Fonction Zeta
1
0
1
( )
( ) exp( ) 1
t dt
t

;
1
1
( )
j
j

=
=

;
1
( )
( ) sin ( 1)
2 2

+
| |
= +
|
\

Fonction
Lambda
1
0
1
( )
2 ( ) sh( )
t dt
t

;
1
1
( )
(2 1)
j
j

=
=

;
2 1
( ) ( )
2

=

Fonction Eta
1
0
1
( )
( ) exp( ) 1
t dt
t

=
+

;
1
1
( 1)
( )
j
j
j

+
=

;
2 2
( ) ( )
2

=
Fonction
d'Hurwitz
1
0
1 exp( )
( ; )
( ) 1 exp( )
t u t dt
u
t

;
0
1
( ; )
( )
j
u
j u

=
=
+

Fonction de
Lerch
1
0
1 exp( )
( ; ; )
( ) 1 exp( )
t u t dt
x u
x t

;
0
( ; ; )
( )
j
j
x
x u
j u

=
=
+

Tableau 4 : INTEGRALES SPECIALES DE FONCTIONS USUELLES
Exponentielle
intgrale
1
exp( )
Ei( ) ln( )
j (j!)
j
x
j
t x
x dt x
t

=
= = + +

;
1
0
1
1 exp( ) ( 1)
Ein( )
( !)
j j
x
j
t x
x dt
t j j
+
=

= =

Logarithme
intgral ( )
0
li( ) Ei ln( )
ln( )
x
dt
x x
t
= =

; ( )
( )
1
ln( )
li( ) li( ) ln ln( )
!
j
j
x
x x
j j

=
= + + +

Constantes :
: d'Euler
: de Soldner

Di- et Poly-
logarithmes 2
1
1
ln( ) (1 )
diln( )
1
j
x
j
t x
x dt
t j

= =

;
1
(1 )
poln ( )
j
j
x
x
j

Sinus, cosinus
intgral

2 1
0
0
sin( ) ( 1)
Si( )
(2 1)! (2 1)
j j
x
j
t x
x dt
t j j
+
=

= =
+ +

;
1 2
0
0
1 cos( ) ( 1)
Cin( )
(2 )! 2
j j
x
j
t x
x dt
t j j
+
=

= =

2 1
0
0
sh( )
Shi( )
(2 1)!(2 1)
j
x
j
t x
x dt
t j j
+
=
= =
+ +

;
2
0
0
ch( ) 1
Chin( )
(2 )! 2
j
x
j
t x
x dt
t j j

= =

Ci( ) ln( ) Cin( ) x x x = + ; Chi( ) ln( ) Chin( ) x x x = + +
Fonction
d'erreur
2 1
2
0
0
2 2 ( 1)
erf ( ) exp( )
!(2 1)
j j
x
j
x
x t dt
j j
+
=

= =
+

;
2
2
erfc( ) exp( )
x
x t dt

Intgrale de
Dawson
2 1
2 2 2
0
0
daw( ) exp( ) exp( )
!(2 1)
j
x
j
x
x t x dt x
j j
+
=
= =
+

Intgrales de
Fresnel
2 1 4 3
2
0
0
( 1) ( / 2)
S( ) sin( )
2 (2 1)! (4 3)
j j j
x
j
x
x t dt
j j

+ +
=

= =
+ +

2 4 1
2
0
0
( 1) ( / 2)
C( ) cos( )
2 (2 )! (4 1)
j j j
x
j
x
x t dt
j j

+
=

= =
+

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 15

Intgrales de
Boehmer
2 1
1
2
0
( 1)
S( ; ) sin( ) ( ) sin
(4 1 ) (2 1)!
j j
x
j
x
x t t dt
j j

+ +

| |
|
\
=

= =
+ + +

2
1
2
0
( 1)
( ; ) cos( ) ( ) cos
(2 ) (2 )!
j j
x
j
x
C x t t dt
j j

| |
|
\
=

= =
+

Tableau 5 : FONCTIONS GAMMA et APPARENTEES
Fonction
Gamma
1
0
( ) exp( )
x
x t t dt

2 1 1
2 -1 2 2
1
B
1
( ) exp ( ) ln( ) ln(2 )
2 (2 -1)
j
j
j
x x x x
j j x

=
| |
+ +
|
\

Gamma
incomplte
1
( ; ) exp( )
x
x t t dt

;
1
0
0
( 1)
( ; ) exp( )
! ( )
j j
x
j
x
x t t dt
j j

= =
+

Fonction
Psi (digamma)
et fonctions
polygamma
(0)
0
1 ( )
( ) ( )
( ) 1
t xt
t
d x e e
x x dt
x dx t e

| |
= =
|

\

(n) 1
0
exp( )
( ) ( 1)
1 exp( )
n n
n
n
d t x t
x dt
dx t

+

= =

Fonction Beta 1
1 1
0
0
( ) ( ) 1
( , ) (1 )
( ) ! ( )
j
t t dt
j j

=

= = =
+ +

Beta
incomplte
1 1
0
0
( )
(1 )
( , ; ) (1 )
( 1)
x
j j
j j
x
x t t dt x

+
=
+

= =
+

Tableau 6 : FONCTIONS DE BESSEL
Fonctions de
Bessel et
Neumann
( )
sh( )
0 0
1 sin( )
( ) cos sin( )
x t t
J x x t t dt e dt

=

2
2
0
( 1)
( )
2 ! ( 1)
j j
j
j
x
J x
j j

+
+
=

=
+ +

;
( ) cos( ) ( )
( )
sin( )
J x J x
Y x

=
2 2
1 2 2 2
1
1 0 ( ) ( ) ( )
d f d f
f f x c J x c Y x
dx x dx x

| |
+ + = = +
|
\

Fonctions de
Bessel
hyperboliques
2
2
0
( )
2 ! ( 1)
j
j
j
x
I x
j j

+
+
=
=
+ +

;
( ) ( )
( )
2 sin( )
I x I x
K x

=
2 2
1 2 2 2
1
1 0 ( ) ( ) ( )
d f d f
f f x c I x c K x
dx x dx x

| |
+ + = = +
|
\



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 16




Tableau 7 : FONCTIONS D'AIRY
Fonctions
d'Airy
3
0
1
Ai( ) cos
3
t
x xt dt

| |
= +
|
\

3 3
0 0
1 1
Bi( ) sin exp
3 3
t t
x xt dt xt dt

| | | |
= +
| |
\ \


2
1 2 2
0 ( ) Ai( ) Bi( )
d f
x f f x c x c x
dx
= = +
Fonctions
auxilliaires
d'Airy
( )
1
3
3
0
3
fai( )
(3 )!
j
j j
j
x x
j

=
=

;
( )
2
3
3 1
0
3
gai( )
(3 1)!
j
j j
j
x x
j

+
=
=
+

gai( )
Ai( ) Ai(0) fai( )
2 Bi(0)
x
x x

= ;
gai( )
Bi( ) Bi(0) fai( )
2 Ai(0)
x
x x

=
2/ 3 1/ 6
2 / 3 2 / 3
1 1
Ai(0) ; Bi(0)
3 ( ) 3 ( )
= =




Tableau 8 : FONCTIONS "DU CYLINDRE PARABOLIQUE"
Fonctions de
Weber
- -1/ 2
U( , ) D ( )
a
a x x = ;
( )( )
1
- -1/ 2 - -1/ 2 2
1
V( , ) sin( ) D ( ) D ( )
a a
a x a a x x

= + +
2 2
0
2
D ( ) exp cos
4 2
x t
x t xt dt

| | | |
=
| |
\
\

2 / 2
(2 ) / 2
0
1 ( 1) 2
D ( ) exp
2 ( ) 4 ! 2
j j
j
j
x j
x x
j

=
| | | |
=
| |

\
\

2 2
1 2 2
0 ( ) U( , ) V( , )
4
d f x
a f f x c a x c a x
dx
| |
+ = = +
|
\

Relation avec
les polynmes
d'Hermite
2
/ 2
1
D ( ) exp H
2 4 2
n n n
x x
x
| | | |
=
| |
\ \




Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 17


Tableau 9 : EXEMPLES DE FONCTIONS HYPERGEOMETRIQUES
Fonction de
Gauss
0
( ) ( )
F( , ; ; )
(1) ( )
j j j
j j j
a b
a b c x x
c

=
=

( )
2
2
1 2
(1 ) 1 (1 ) 0
( ) F( , ;1 ; ) F( , ;1 ; )
d f df
x x x f
dx dx
f x c x c x x

+ + + =
= + + + +

Intgrale
d'Euler
1
1
1
0
( )
F( , ; ; )
( ) ( ) (1 ) (1 )
b
b c a
c t dt
a b c x
b c b t xt

Fonctions de
Kummer et
Tricomi.

Equation
hyper-
gomtrique
confluante

1
1
1
0
0
( )
( ) exp( )
M( ; ; )
(1) ( ) ( ) ( ) (1 )
a
j j
a c
j j j
a
c t xt dt
a c x x
c a c a t

+
=

= =

1
(1 ) ( 1)
U( ; ; ) M( ; ; ) M(1 ; 2 ; )
(1 ) ( )
c
c c
a c x a c x a c c x
a c a x


= + +
+

1
1
0
1 exp( )
U( ; ; )
( ) (1 )
a
a c
t xt dt
a c x
a t

=
+

( )
2
1 2 2
0 ( ) M( ; ; ) U( ; ; )
d f df
x c x a f f x c a c x c a c x
dx dx
+ = = +
Fonctions de
Whittaker
1 1/ 2
, 2
M ( ) exp M( ; 1 2 ; )
2
x
x x x

+
| |
= + +
|
\

1 1/ 2
, 2
W ( ) exp U( ; 1 2 ; )
2
x
x x x

+
| |
= + +
|
\

2 2
1 , 2 , 2 2
1 4 1 4
1 0 ( ) M ( ) W ( )
4
d f
f f x c x c x
dx x x

| |
+ + + = = +
|
\




Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 18



SAFARI IN THE COUNTRY OF THE SPECIAL FUNCTIONS
(Provisional translation : October 22, 2012)

The first version of this paper was published in the french review :
QUADRATURE n55, january 2005, pp. 6-16
Editions EDP Sciences, 17, Av. du Hoggar, PA de Courtaboeuf, 91944 Les Ulis, France.




[ Note : the background of the picture is a copy of an illustration from :
"Le Robinson suisse", 2nd dit., Lib.Hachette, p.19, 1883. ]



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 19

Safari in the Country of the SPECIAL FUNCTIONS

Jean Jacquelin


1. Before the departure: curiosities and preconceived notions

In old time, a function was explained as a variable quantity which depends on another
variable quantity (e.g.: Euler, on 1749, according to [1]). It was before the fundamental concept
was seen as the correspondence itself and was reduced to definitions introduced into the set
theory [ 1 ], rather than a simple dependence of quantities.

They were prolific times, when the functions were closely linked to their graphic
representations with suggestive names: Astroid, Cardioid, Bell-curve, Folium, Hyperbola,
Pascals Limaon, Butterfly, Parabola, Clover-curve, Trefoil, Trident and many others [2]. A
plethora of functions prospered, some spread for all eternity, the others fast faded, then forgotten.
A profusion of ideas, the purpose of which was not always innocent, what made say by Poincar,
with a certain acrimony, that formerly we invented new functions to advance the practical
applications, while now, we invent it in the only purpose to make incorrect the arguments of our
predecessors and what these inventions are of use to nothing else [3]

In this jungle, some kinds of functions tend to distinguish themselves. We say them: either
"elementary" and "usual" functions, or "special" functions. But still it is necessary to qualify the
term of special function : some are well known, widely spread in mathematical handbooks and
software. Others are used, though less frequently quoted, but nevertheless listed. Let us not speak
about these special functions which recover from a very particular domain and which are known
of some specialists only.

In what category does such or such function line up? The border is leaving everything
vague : it will be one of our concerns.
Besides, the role played by the special functions and the use which we make in the mathematical
developments gives to many comments, even critics. You should not look for a long time, on the
web, in the current forums of mathematical discussions, to find crunchy examples there.
Question asked by an Internet user:
" On the interval [1; e], is it possible to calculate the integral of ln(x) / (1-x) ? "
Answer of another Internet user:
" The software *** gives as result -dilog(1+e) where dilog is the function defined by:
dilog(x) = integral of ln (t) / (1-t) from t=1 to t= x ; They are smart these Americans! "

[ Note: no publicity here for the software *** the name of which we mask: other software, American or not, would
have given the same result]


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 20

Another question of an internet user :
" I would like to know if it is possible to integrate e
(1/x)
on a closed interval. I look for a
primitive and that breaks my head. Thank you for answering me. "
Textual answer given onto the forum:
" Apparently, it cannot be express in terms of the usual functions, because *** send back:
x*e
(1/x)
Ei(-1, 1/x) where Ei is probably a function defined by means of an integral. "
The answers do not miss irony. Unfortunates software and poor special functions which are very
badly understood ! This kind of preconceived notions will also be an object of reflection.
Now, we are on the departure, as the past explorers, hopeful of discoveries, with their
unclear maps, old portolan charts, terra incognita and illuminated symbols.
.

2. The approach on familiar ground: on the fringes of jungle

On a moment of nostalgia, the future explorer reminds himself his youth: the learning of
the elementary operations, later the positive and negative powers, meets it with polynomials,
simple, linear, parabolic functions. The young explorer also knows the sinusoidal functions.
While getting older, he began to see some derivatives and anti-derivatives.
One fine day, he wondered (unless one asked him deceptively the question) : Has the
function f(x)=1/x an anti-derivative? Peremptorily, we were able well to hurl him this: " It is a
logarithm ". Very well, but what is the definition of this logarithm? An answer such as " A
logarithm is defined as being a primitive of the function f(x)=1/x " would not have missed to
leave him stunned! So, in a more subtle and convoluted way he was gradually used to the practice
of the logarithms. To such a point that he smiles now to the souvenir of his childish amazement.
The logarithms became so familiar to him!
Much later, this young experience will not nevertheless prevent him from being
sometimes overly emotional : having looked vainly for a primitive of sin(x)/x, he will question
his mathematical software *** and will see appearing the function Si(x) whit the beautiful name
of "Sine Integral". Obviously, he will want to know the definition of this function.
Disappointment by seeing that:

0
sin( )
Si( )
x
t
x dt
t
=

Fortunately, meanwhile he will have learnt that there are other manners to define a function. He
will thus be satisfied by finding that :

2 1
0
1 ( 1)
Si( )
(2 1) (2 1)!
j j
j
x
x
j j
+
=

=
+ +

In this way, with the infinite series, our young explorer will have learnt the definitions,
new for him, of the functions which he believed so well already knowing : sin, cos, tg, arcsin,
arccos, arctg, ln, exp. (Table 1 in Appendix)
For example :
2 1
0
( 1)
sin( )
(2 1)!
j j
j
x
x
j
+
=

=
+

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 21

What the devil ! Here is the formula for sin(x) that looks very much like that of the
formula ror Si(x). Does it mean that sin(x) is a special function, no more and no less as Si(x) ?
Does it mean that, on one hand, "elementary function" is the name given to the well-known
functions that we currently use and on the other hand, "special functions " is the name given to
the functions that we know little or badly?
In other words, for our explorer in its early youth, was ln(x) a special function ? And what is
more, for example, is the function (x) an elementary and usual function for the one who use it
every day?
That is the reality: there is no actual border. Nevertheless, we cannot let everyone make
his own classification and use its own vocabulary. Due to the accepted habits and customs, a
conventional border must be established which we could, with a touch of cynicism, summarize
so: the elementary functions and the special functions are the ones which were listed with the
name of "elementary" and "special" respectively. And evil to him who evil thinks!
Certainly, as time goes by, our explorer will have learnt other manners to define a
function: as a solution of a differential equation, or by means of a generative series, or as a
continuous fraction, or as a closed form for infinite series or integral, etc.
Some day, the name of "Bessel function" reached its ears. Intrigued and curious, without
too much difficulty, he found in an handbook :
Differential equation :
2 2
2 2
1
1 0
n n
n
d J d J n
J
dx x dx x
| |
+ + =
|
\

Generative series :
2
1
exp ( )
2
n
n
n
t
x J x t
t

=
| |
=
|
\


Series expansion :
2
2
0
( 1)
( )
2 ! ( )!
j n j
n n j
j
x
J x
j n j
+
+
=

=
+

Definite integral :
( )
0
1
( ) cos sin( )
n
J x x t nt dt

So that, now, quite proud of his knowledge, if we ask him the question :
" Do you know how to calculate the integral
( )
0
cos sin( ) t dt

? "
He will answer without hesitating: "it is J
0
(1) ".
On what, his interlocutor looking for what means J
0
(1), will find
( )
0
0
1
(1) cos sin( ) J t dt

, what
will leave him very disappointed until we explain him what is expected from the use of a special
function, as we will see latter.

Nevertheless, hardly going on the bushy path of the departure, we had the chance to
observe some beautiful specimens.
It was instructive. To this question, recently raised on a forum :
" What is the primitive of sin(x)/x ? I heard that we cannot calculate it ", we answer this :


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 22

"A primitive of sin(x)/x is the function Sine Integral, Si(x). But all depends what we mean when
we say "to calculate": if the question was to express Si(x) with a formula (and not an infinite
series) containing only elementary functions, then we can answer that it is not possible. As well,
it would not be possible for sin(x). On the other hand, of course, we know how to calculate Si(x),
exactly as we know how to calculate sin(x), cos(x) or exp(x), etc... There are series expansions,
numerical computation algorithms, and numerical tables corresponding to all of these functions.


3. An herd of wild game : of the interest to codify

The land which our explorer is crossing is far from being virgin. His long-time
predecessors frequented it and were confronted with a lot of problems, all different, but often
displaying some strange analogies. At the beginning, each one was describing on his own way
what he had seen and discovered. Everyone had his own method and manner to present its
trophies. It was necessary to put of the order, to codify, as far as possible, so that we do not begin
again to make one thousand times of the equivalent things, by modifying only the superficial
aspects of presentation and symbolism.
The elliptic functions are a magnificent example. It is very likely that your mathematical
wanderings have already brought to you, or will bring you, to be confronted to an integral on the
form below, possibly simplified if some terms are absent:

( ) ( ) ( )
( ) ( ) ( )
M x N x f x
dx
P x Q x f x
+
+

where M(x), N(x), P(x), Q(x) are polynomials and f(x) is a

polynomial of 3th or 4th degree.
It is clear that this general pattern covers a considerable number of different cases.
Nevertheless, by a very systematic approach, it is possible to reduce this kind of integral to a
combination of only three "basic" integrals, under the standard Legendres form:
1st kind :
sin
2 2 2 2 2 0 0
( , )
1 sin (1 )(1 )
d dt
F k
k t k t

= =



2nd kind :
2 2
sin
2 2
2
0 0
1
( , ) 1 sin
1
k t
E k k d dt
t



= =

3th kind :
sin
2 2 2 2 2 2 2 0 0
( , , )
(1 sin ) 1 sin (1 ) (1 )(1 )
d dt
n k
n k n t t k t

= =
+ +


Obviously, if the given polynomials are complicated, the process of reduction will be difficult,
but possible in theory. The inverse functions are also codified (Jacobi elliptic functions), as well
as in degenerated cases (some Weierstrass elliptic functions).

We see the considerable advantage which comes from that. This avoids to taking back the
whole problem for every met case and moreover, this allows to express the result with functions
which each one can recognize and can find in handbooks and in software.


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 23

The horizon brightens for the explorer : in a fauna so rich as diverse, "standard" or
"typical" species are duly listed, described. They were dissected, analyzed. Their properties were
deeply studied. A large number of relationships between them are established, recorded. There
are tables, algorithms for each of them. In brief, in a nutshell, an immense background is
available. But to reach it, a key is needed, more exactly a keyword : it is necessary to know the
name of the appropriate special function.

Nowadays, the art of the Mathematician in this domain is relieved by software for formal
calculation. Certainly, it does not replace the indispensable skill. Nevertheless, in many
circumstances, integral calculus, differential equations, etc. the software *** will be able to bring
out a formula, sometimes esoteric at first sight and including special functions. In doing it, he
does not give the Solution (with a big S), but he gives an important piece of information: the
name of the relevant special functions and how they act. Then, it is up to the user to decide if this
closed form is enough for him, because the special functions are familiar objects for him. If not, it
is up to the user to search in the books what are the properties of the special function and to find
the information which are lacking to him, or to find the intermediate developments which the use
of a special function has "short-circuited".
So, for example, when the software *** says that a primitive of the function exp(-x
2
) is
1
2
erf ( ) x , i.e. the Error function, do not laugh : *** did well his job and pointed exactly to
which special function to refer. You should not expect more from it and if needed, you can find
in the literature the current knowledge on the "Error function" erf(x).


4. Narration of hunting : on chance encounters

After we caught sight, unfortunately from a little bit far and too fleetingly, of the
magnificent and powerful herd of the Elliptics, let us fearlessly embark to the luxuriant jungle.
One thousand pages would not be enough. The story of such an expedition would soon
tire the reader. We shall content ourselves with some photographic shots, haphazardly coming
across interesting specimens. These flied-on-the-wall pictures are sometimes blurred or truncated.
The real will be enough for us. We will leave to the specialists the complex, the analytical
continuations and the other curiosities. Some beautiful integrals and infinite series will be enough
for our pleasure (On tables, in Appendix).

The good old family of polynomials, apparently so elementary, reserves us nevertheless
big surprises (Table 2). We find there the very important Pochhammer polynomials (x)
n
, which
are the constituent elements of the genome of the Hypergeometric functions, as well as we shall
note it farther. The Bernoulli polynomials B
n
(x), and Euler polynomials E
n
(x), are useful to
express sums of powers of integers. The numbers B
n
=B
n
(0), E
n
=E
n
(0) are frequently encountered
in the series expansions of the special functions. We also find the orthogonal polynomials of
Legendre P
n
(x), Chebyshev T
n
(x), U
n
(x), Laguerre L
n
(x), Hermite H
n
(x), which are so useful to
solve some differential equations and to expand the solutions with linearly independent terms.


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 24

And still, by generalizations, the Jacoby polynomials P
n
(,)
(x) and of Gegenbauer C
n
()
(x) whom
are mentioned here without more detail.

A small family (Table 3), the functions zeta (), lambda (), eta (), zeta (), lambda
(), eta (), caused a lot of ink to flow, especially about the famous "Riemanns conjecture".
Closely related to the Bernoulli and Euler numbers when is an integer, they express the sums
of negative powers of integers. These functions are particular cases among the Hurwitz functions
( ; u) and at an even higher level, the Lerch functions (x ; ; u).

Our wanderings bring us to visit a domain where functions are born, not by spontaneous
generation, but by the necessity of naming and of codifying recalcitrant integrals. We remember
the birth of the logarithm ln(x) and for example, the function Si(x) was already mentioned in .2.
Similarly, a wide range of special functions were born (Table 4). In bulk, we find there : the
Exponential Integral Ei(x) or Ein(x), the Logarithmic Integral li(x) = Ei(ln(x)), to be not confused
with the Dilogarithm diln(x) and more generally the Polylogarithmes poln

(x).
We find also the Sine and Cosine Integrals Si(x), Ci(x) as well as their hyperbolic mates
Shi(x), Chi(x), the Error Function erf(x) and its complement erfc(x)=1-erf(x), the Dawson Integral
Daw(x), the Fresnel Integrals S(x), C(x) generalized by the Boehmer Integrals S(x;), C(x;).
I hardly dare to mention the Sophomores Dream Function among the herd of the wild
species. May be it is too early [12].
The Elliptic Integrals were mentioned in .3. They are also integrals of some usual
functions, with radicals. But they are so important that they are placed apart on Table 4b. It is a
tearing not to study closer this magnificent family. But, that want, a short story does not have to
become an anthology!
The Lambert W function (Table 4c) was introduced in order to answer to a difficult
question : What is the inverse function of x = W exp(W) ? This is a question similar to What is
the inverses functions of x=sin() or x=cos(), ? The difficulty was overcome by the
introduction of the functions =arcsin(x), or =arccos(x),
Lets leave it there, although the list is far from being exhaustive.

It is the prestigious family that we have the opportunity to observe now (Table 5): Theirs
illustrious ancestor, the famous Gamma Function (x) which extends the notion of factorial of
positive integers n! = (n+1) to all the real numbers (and even to the complexes, but we shall not
speak about it), negatives integers excluded. The asymptotic expansion of (x) leads to a
generalization of the famous Stirlings formula.
The descendants of (x), the function Digamma (x) and more generally the Polygamma

(n)
(x) are smart to find closed forms of infinite series of rational fractions. ( )=(;0)=(;)
is a particular case of the function Gamma Incomplete ( ) = ( ; 0) = ( ; ) or of its
complement ( ; x). In the same family, we shall find the functions Beta B(, ) and Incomplete
Beta B(, ; x) of frequent use in statistics.



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 25

It would be unforgivable to pass by the Bessel Functions without examine them, if only
briefly. The Table 6 gives a family photo of the briefest. We see the Bessel Function itself J

(x)
and its twin, the Neumann Function Y

(x), both also qualified as of first and second kind

respectively. We see the modified (hyperbolic) Bessel Functions of first and second kind I

(x)
and K

(x). For the record, let us mention the Kelvin Functions ker

(x), ber

(x), kei

(x), bei

(x)
which are involved when we are interested in the Bessel functions in the field of the complexes.
Wow! What an impressive lineage!
Less prestigious, the Airy Functions Ai(x) and Bi(x) make a group apart (Table 7),
although having narrow relationships with some Bessel Functions.

We meet the Weber Functions U(a, x), V(a, x), Table 8, when we work on the Laplace
PDE with parabolic cylinder coordinates : an important case of curvilinear coordinates. You
should not make of confusion with U(a, b; x) which we shall see shortly below, although there is
filiation. The symbol of Whittaker D

(x) is frequently used.

In fact, our explorer had a small document that he reveals us Figure 1, although the
information which we find is there very fragmentary. We see there that most of the functions
observed during his excursion are a part of a hardly wide reign: that of the Hypergeometric
Functions. The Confluent Hypergeometric Functions of Kummer M(a,b;x) and Tricomi U(a,b;x),
those related of Whittaker W
,
(x) , M
,
(x) and even at a higher level, those of Gauss F(a,b;c;x),
which some general properties are summarized on Table 9, are not at the top of the hierarchy.
The Hypergeometric Functions are even more general than that and deserve although we devote
the next section to them, with in addition some phylogenetic reflections.

Figure 1 : Fragment of an old map, according to [4], Section 45:14, p.443.


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 26


5. The end of the journey : last bivouac

To put some order in all the documentation, the brief notes, the photos, which were
collected and piled up in the package, is not a little work for this evening on coming back to the
base camp. In it, the hypergeometric functions will help us in the labelling of many specimens.
The general name of hypergeometric function is given to any function which can be
expressed by a series of the following pattern:

( )
1 2
1 2 1 2
0
1 2
( ) ( ) ... ( )
, , ... , ; , , ... , ;
( ) ( ) ... ( ) !
j
j j p j
p q p q
j
j j q j
a a a
x
a a a b b b x
b b b j

=
=

F
The (a
1
)
j
, (a
2
)
j
, ... , (a
p
)
j
, (b
1
)
j
, (b
2
)
j
, ... , (b
q
)
j
are Pochhammer polynomials, which we
remember having underlined their important role, at the beginning of .4.

By convention, in the particular case of the Gauss hypergeometric function F(a, b; c; x),
we omit to write the subscripts to the right and to the left of the symbol F. Thus, with p = 2, q = 1,
a
1
= a, a
2
= b and b
1
= c :
( ) ( )
1 2
2 1 1 2 1
0 0
1
( ) ( ) ( ) ( )
F , ; ; , ; ;
( ) ! ( ) !
j j
j j j j
j j
j j
a b a a
x x
a b c x a a b x
c j b j

= =
= =

F
So, under the general label of hypergeometric function, we can find a number of well
known usual or special functions. The subsripts p and q will help to establish the species
relationships.
It is advisable to note that the following formulae, presented as a rough guide, are often
insufficient because their domains of definition by this method are subjected to limitations which
it would be too long to consider here.

Note: in what follows, in order to improve the legibility, when a parameter is non-existent, its
empty location is underlined, which is not in accordance with standard writing rule.


Usual Functions :

exp(x) =
0
F
0
( _ ; _ ; x) ; ln(x) = (x-1)
2
F
1
( 1 , 1 ; 2 ; 1-x)

sin(x) = x.
0
F
1
( _ ; 3/2 ; -x
2
/4) ; cos(x) =
0
F
1
( _ ; 1/2 ; -x
2
/4)

sh(x) = x.
0
F
1
( _; 3/2 ; x
2
/4) ; ch(x) =
0
F
1
( _ ; 1/2 ; x
2
/4)

arcsin(x) = x.
2
F
1
(1/2 , 1/2 ; 3/2 ; x
2
) ; arctg(x) = x.
2
F
1
( 1 , 1/2 ; 3/2 ; -x
2
)

argsh(x) = x.
2
F
1
(1/2 , 1/2 ; 3/2 ; -x
2
) ; argth(x) = x.
2
F
1
( 1 , 1/2 ; 3/2 ; x
2
)



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 27

Special Functions :

P
n
(x) =
2
F
1
(-n, n+1 ; 1 ; (1-x)/2 ) Legendre Polynomial

T
n
(x) =
2
F
1
(-n, n ; 1/2 ; (1-x)/2 ) Chebyshev Polynomial

L
n
(x) =
1
F
1
(-n ; 1 ; x) Laguerre Polynomial

H
n
(x) = (2x)
n
.
2
F
0
( (1-n)/2 , -n/2 ; _ ; -1/x
2
) Hermite Polynomial

Ei(x) = (e
x
/x)
2
F
0
( 1 ,1 ; _; 1/x) Exponential Integral

li(x) = (x / ln(x) )
0
F
0
( _; _ ; 1/ln(x)) Logarithmic Integral

diln(x) = (x-1)
3
F
2
( 1 , 1 , 1 ; 2 , 2 ; 1-x) Dilogarithm

Si(x) = x.
1
F
2
( 1/2 ; 3/2 , 3/2 ; -x
2
/4) Sine Integral

Shi(x) = x.
1
F
2
( 1/2 ; 3/2 , 3/2 ; x
2
/4) Hyperbolic Sine Integral

Cin(x) =
2
F
3
( 1 , 1 ; 3/2 , 2 , 2 ; -x
2
/4) Cosine Integral

Chin(x) =
2
F
3
( 1 , 1 ; 3/2 , 2 , 2 ; x
2
/4) Hyperbolic Cosine Integral

erf(x) = (2x/
1/2
)
1
F
1
( 1/2 ; 3/2 ; -x
2
) Error Functon

daw(x) = x.
1
F
1
( 1 ; 3/2 ; -x
2
) Dawson Integral

S(x) = (2/9)
1/2
x
3

1
F
2
( 3/4 ; 3/2 , 7/4 ; -x
2
/4) First Fresnel Integral

C(x) = ( 2/)
1/2
x
1
F
2
( 1/4 ; 1/2 , 5/4 ; -x
2
/4) Second Fresnel Integral

( , x) = e
-x
x
1-

2
F
0
( 1 , 1- ; _ ; -1/x) Incomplete Gamma Function

() = - + (1-1/)
3
F
2
( 1 , 1 , ; 1+ , 2 ; 1) Digamma Function

B(x , y) = (1/x)
2
F
2
( 1-y , x ; 1+x ; 1) Beta Function

I
0
(x) =
0
F
1
( _ ; 1 ; x
2
/4) Bessel Function, order 0.

I
1
(x) = (x/2)
0
F
1
( _ ; 2 ; x
2
/4) Bessel Function, order 1



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 28

fai(x) =
0
F
1
( _ ; 2/3 ; x
3
/9) First auxiliary Airy Function

gai(x) = x.
0
F
1
( _ ; 4/3 ; x
3
/9) Second auxiliary Airy Function

F(/2 , x) = (/2)
2
F
1
(1/2 , 1/2 ; 2 ; x
2
) Elliptic Integral of first kind

E(/2 , x) = (/2)
2
F
1
(-1/2 , 1/2 ; 2 ; x
2
) Elliptic Integral of second kind

D

(x) =
2
F
1
( -1 , 1+ ; 1 ; (1-x)/2) Parabolic Cylinder Function

M
,
(x) = x
+1/2
e
-x/2

1
F
1
(+1/2 ; 1+2 ; x) First Whittaker Function

W
,
(x) = x

e
-x/2

2
F
0
(+1/2 , +1/2 ; _ ; -1/x) Second Whittaker Function

M(a ; c ; x) =
1
F
1
(a ; c ; x) Kummer Function

U(a ; c ; x) = x
-a
2
F
0
(a , 1+a-c ; _ ; -1/x) Tricomi Function

F(a , b ; c ; x) =
2
F
1
(a , b ; c ; x) Gauss Hypergeometric Function


In spite of this kind of systematization, in sketch as it should be said, our fair explorer has
difficulty in finding himself there. And still happy, he does not have to take care of the functions
of Dirac, of Heaviside, etc., without speaking of many about exotic functions...

Certainly, the habit is praiseworthy and is full of good intentions to give mathematicians'
names to the functions. It marks the gratitude to these Great Men. It is a way of making them
immortal, even more than to be Academicians ! (On the French very honorific sense of this
name). But, in return, where is the logic of classification and hierarchical organization?
Obviously, it can be made independently of the awarded names. But then, so much efforts of
memory, so much time spent in researches more historic and patronymic than mathematics! For
little, we would there come to envy the naturalists with their Latin or Greek names and their
method of taxonomy systematically applied to every discovery.

And to soliloquize: to help seeing clearly in all this bestiary of functions, it would be
necessary to think of hiring some naturalists in order to put to it a certain systematic. We expect
in Mathematics prestigious scientists such as Jussieu, Darwin, Henning in Zoology: When the
best-seller "Phylogenetic Classification of the Special Functions" will appear ?






Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 29

6. The last word is an invitation at hitchhiking

If this profusion of functions, if this inventory in Prvert-style did not completely knock
out to you, if you read it to the way we go absently through an Atlas of geography, by jumping
from an image to the other one, from an exotic country to a mythical country, brief, if the journey
made you dream, then, this short manuscript will have reached its purpose. And my satisfaction
would be even bigger if the imaginary excursion tempted you of a trekking of the same kind, to
find curiosities there which would deserve a much more attentive examination and why not, to
discover new marvels for yourself.
Do not refuse the effort: it is not so big as it appears for such an expedition. Indeed, I am
going to say to you a secret: our proud explorer, do you believe whether he is in reality? You
guessed: as Tartarin de Tarascon (the famous boastful and storyteller character created by
A.Daudet), his hunting ground does not exceed the borders of his home and its expeditions do not
go farther that the nearby library, where these few references: [4-11] are issued. It will not be
difficult to you to make it so much and even much more.

References
[1] : Petite Encyclopdie des Mathmatiques, translated from Kleine Enzyklopdie der
Mathematike, VEB Bibliographisches Institut Leipzig, 1975, French edit. p.117,
1980.
[2] : E.W.Weisstein, CRC Concise Encyclopedia of Mathematics, Chapman & Hall, N.-Y.,
1999.
[3] : Citation from E.W.Weisstein, CRC Concise Encyclopedia of Mathematics,
."Function", Chapman & Hall, N.-Y., p.377, p.683, 1999.
[4] : J.Spanier, K.B.Oldham, An Atlas of Functions, Hemisphere Pubishing Corporation,
Springer-Verlag,1987.
[5] : M.Abramowitz, I.A.Stegun, Handbook of Mathematical Functions, Dover Publications,
N.-Y., 1972
[6] : H.Batemann, Higher Transcendental Functions (3 volumes), Edit. Mc. Graw-Hill, N.-
Y.,1953.
[7] : H.Batemann, Tables of Integral Transforms, Integrals of Higher Transcendental
Functions, Vol.2, pp.263-447, Edit. Mc. Graw-Hill, N.-Y.,1954.
[8] : A.Jeffey, Handbook of Mathematical Formulas and Integrals, 2nd. Edit., Academic
Press, 2000.
[9] : N.Ja.Vilenkine, Fonctions spciales et thorie de reprsentation des groupes, Edit.
Dunod, 1969.
[10] : A. Nikiforov, Elements de la thorie des fonctions spciales, Edit. MIR (Moscou),
1976.
[11] : P.Appell, J.Kampe de Feriet, Fonctions hypergomtriques et hypersphriques;
Polynmes d'Hermite, Gauthier-Villar edit., 1926.
[12] : Jean Jacquelin, Sophomores Dream Function, 2010.
http://www.scribd.com/JJacquelin/documents


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 30

Appendix: small album of souvenirs of the safari

An eclectic and very brief collection of formulae. The limits of validities are not
indicated: we shall find them, with much more information, in the referenced books.
It is also advisable to indicate that the notations and the symbols of some special functions
may differ from an author to another, particularly in the old works: to be case-by-case verified.


Table 1 : USUAL FUNCTIONS

Logarithm
1
1
ln( )
x
x dt
t
=

;
1
1
( 1)
ln(1 )
j j
j
x
x
j
+
=

+ =

;
ln( )
log ( )
ln( )
b
x
x
b
=
( ) ln( )
df
x a f x a x c
dx
= = +

Circular
Functions
2
0
( 1)
cos( )
(2 )!
j j
j
x
x
j

;
2 1
0
( 1)
sin( )
(2 1)!
j j
j
x
x
j
+
=

=
+

;
1 2 2 2 1
2
1
( 1) 2 (2 1)B
tg( )
(2j)!
j j j j
j
j
x
x
+

=

=


2
2
1 2 2
( ) cos( ) sin( )
d f
a f x c a x c a x
dx
= = +

Exponential
& Hyperbolic
Functions
0
exp( )
!
j
j
x
x
j

=
=

;
2
0
ch( )
2 (2 )!
x x j
j
e e x
x
j

=
+
= =

;
2 1
0
sh( )
2 (2 1)!
x x j
j
e e x
x
j
+
=

= =
+

2
2
1 2 3 4 2
( ) exp( ) exp( ) ch( ) sh( )
d f
a f x c a x c a x c a x c a x
dx
= = + = +

Inverse
Circular
Functions
2 0
arcsin( )
1
x
dt
x
t
=

;
1
2
arccos( )
1
x
dt
x
t
=

;
2
0
arctg( )
1
x
dt
x
t
=
+

2 1
2 2
0
(2 )!
arcsin( ) arccos( )
2 2 ( !) (2 1)
j
j
j
j x
x x
j j

+
=
= =
+

;
2 1
0
( 1)
arctg( )
2 1
u j
j
x
x
j
+
=

=
+

inverse
Hyperbolic
functions
2 0
argsh( )
1
x
dt
x
t
=
+

;
2 1
argch( )
1
x
dt
x
t
=

;
2
0
1 1
argth( ) ln
2 1 1
x
x dt
x
x t
+ | |
= =
|

\


( )
2
argsh( ) ln 1 x x x = + + ;
( )
2
argch( ) ln 1 x x x = + ;
2 1
1
argth( )
2 1
j
j
x
x
j
+
=
=
+

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 31


Table 2 : SPECIAL POLYNOMIALS
Pochhammer
1
0
0
( ) ( 1)( 2)...( 1) ( ) ; ( ) 1 ; (1) !
n
n n
j
x x x x x n x j x n

=
= + + + = + = =

Bernoulli
1
0 1 2 3
0
! B
1 1
B 1; B ; B ; B 0 ; ... B
2 6 ! ( 1 )!
n
j
n
j
n
j n j

=
= = = = =
+

0
!B
B ( )
!( )!
n
n j j
n
j
n
x x
j n j

=
=

;
0
exp( )
B ( )
exp( ) 1 !
j
j
j
t x t t
x
t j

=
=

Euler
1
2
0 1 2 2 1 2
0
(2 )! E
E 1; E 0 ; E 1; ... E 0 ; E
(2 )! (2 2 )!
n
j
n n
j
n
j n j

=
= = = = =

0
! E
E ( ) (2 1)
2 ! ( )!
n
n j j
n n
j
n
x x
j n j

=
=

;
0
2exp( )
E ( )
exp( ) 1 !
j
j
j
xt t
x
t j

=
=
+


Legendre

( )
0 1 1 2
1
P ( ) 1; P ( ) ; ... P ( ) (2 1) P ( ) ( 1) P ( )
n n n
x x x x n x x n x
n

= = =
0 1 0 1 2
1 1
Q ( ) argth( ) ; Q ( ) Q ( ) 1;... Q ( ) (2 ) Q ( ) (1 ) Q ( )
n n n
x x x x x x x x x
n n

= = =
2
2
1 2 2
(1 ) 2 ( 1) 0 ( ) P ( ) Q ( )
n n
d f df
x x n n f f x c x c x
dx dx
+ + = = +
Chebyshev
0 1 1 2
T ( ) 1; T ( ) ; ... T ( ) 2 T ( ) T ( )
n n n
x x x x x x x

= = =
0 1 1 2
U ( ) 1; U ( ) 2 ; ... U ( ) 2 U ( ) U ( )
n n n
x x x x x x x

= = =
2
2 2 2
1 2 2
(1 ) 0 ( ) T ( ) 1- U ( )
n n
d f df
x x n f f x c x c x x
dx dx
+ = = +
Laguerre
0 1 1 2
2 1 1
L ( ) 1; L ( ) 1 ; ... L ( ) L ( ) L ( )
n n n
n x n
x x x x x x
n n


= = =
2
2
L ( ) L ( )
(1 ) L ( ) 0
n n
n
d x d x
x x n x
dx dx
+ + =
Hermite
0 1 1 2
H ( ) 1; H ( ) 2 ; ... H ( ) 2 H ( ) 2( 1) H ( )
n n n
x x x x x x n x

= = =
2
2
H ( ) H ( )
2 2 H ( ) 0
n n
n
d x d x
x n x
dx dx
+ =



Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 32


Table 3 : FUNCTIONS RELATED TO RIEMANN ZETA FUNCTION

Zeta
1
0
1
( )
( ) exp( ) 1
t dt
t

;
1
1
( )
j
j

=
=

;
1
( )
( ) sin ( 1)
2 2

+
| |
= +
|
\


Lambda
1
0
1
( )
2 ( ) sh( )
t dt
t

;
1
1
( )
(2 1)
j
j

=
=

;
2 1
( ) ( )
2

=

Eta
1
0
1
( )
( ) exp( ) 1
t dt
t

=
+

;
1
1
( 1)
( )
j
j
j

+
=

;
2 2
( ) ( )
2

=

Hurwitz
1
0
1 exp( )
( ; )
( ) 1 exp( )
t u t dt
u
t

;
0
1
( ; )
( )
j
u
j u

=
=
+

Lerch
1
0
1 exp( )
( ; ; )
( ) 1 exp( )
t u t dt
x u
x t

;
0
( ; ; )
( )
j
j
x
x u
j u

=
=
+

Table 4 : SPECIAL INTEGRALS OF USUAL FUNCTIONS
Exponential
Integral
1
exp( )
Ei( ) ln( )
j (j!)
j
x
j
t x
x dt x
t

=
= = + +

;
1
0
1
1 exp( ) ( 1)
Ein( )
( !)
j j
x
j
t x
x dt
t j j
+
=

= =

Logarithmic
Integral ( )
0
li( ) Ei ln( )
ln( )
x
dt
x x
t
= =

; ( )
( )
1
ln( )
li( ) li( ) ln ln( )
!
j
j
x
x x
j j

=
= + + +

Constantes :
: d'Euler
: de Soldner

Di- and Poly-
logarithms 2
1
1
ln( ) (1 )
diln( )
1
j
x
j
t x
x dt
t j

= =

;
1
(1 )
poln ( )
j
j
x
x
j

Sine, Cosine
Integrals
Hyperbolic
Sine, Cosine
Integrals

2 1
0
0
sin( ) ( 1)
Si( )
(2 1)! (2 1)
j j
x
j
t x
x dt
t j j
+
=

= =
+ +

;
1 2
0
0
1 cos( ) ( 1)
Cin( )
(2 )! 2
j j
x
j
t x
x dt
t j j
+
=

= =

2 1
0
0
sh( )
Shi( )
(2 1)!(2 1)
j
x
j
t x
x dt
t j j
+
=
= =
+ +

;
2
0
0
ch( ) 1
Chin( )
(2 )! 2
j
x
j
t x
x dt
t j j

= =

Ci( ) ln( ) Cin( ) x x x = + ; Chi( ) ln( ) Chin( ) x x x = + +
Error Function
2 1
2
0
0
2 2 ( 1)
erf ( ) exp( )
! (2 1)
j j
x
j
x
x t dt
j j
+
=

= =
+

;
2
2
erfc( ) exp( )
x
x t dt

Dawson
Integral
2 1
2 2 2
0
0
daw( ) exp( ) exp( )
! (2 1)
j
x
j
x
x t x dt x
j j
+
=
= =
+

Fresnel
Integrals
2 1 4 3
2
0
0
( 1) ( / 2)
S( ) sin( )
2 (2 1)!(4 3)
j j j
x
j
x
x t dt
j j

+ +
=

= =
+ +

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 33

2 4 1
2
0
0
( 1) ( / 2)
C( ) cos( )
2 (2 )!(4 1)
j j j
x
j
x
x t dt
j j

+
=

= =
+

Bohemer
Integrals
2 1
1
2
0
( 1)
S( ; ) sin( ) ( ) sin
(4 1 ) (2 1)!
j j
x
j
x
x t t dt
j j

+ +

| |
|
\
=

= =
+ + +

2
1
2
0
( 1)
( ; ) cos( ) ( ) cos
(2 ) (2 )!
j j
x
j
x
C x t t dt
j j

| |
|
\
=

= =
+

Sophomores
Dream
Function
1
0
1 1
0
1
1
0
1
( 1)
Sphd(1,1)
( 1)
Sphd( , ) Sphd( ,1)
1 1
Sphd( 1,1)
n
t
n n
x
n t n
n
n
t n
n
t dt
n
x t dt
n
dt
t n

=
=

= =

= =

= =

Table 4b : ELLIPTIC INTEGRALS
Incomplete
Elliptic
Integrals
sin
2 2 2 2 2 0 0
( , )
1 sin (1 )(1 )
d dt
F k
k t k t

= =



2 2
sin
2 2
2
0 0
1
( , ) 1 sin
1
k t
E k k d dt
t



= =

sin
2 2 2 2 2 2 2 0 0
( , , )
(1 sin ) 1 sin (1 ) (1 )(1 )
d dt
n k
n k n t t k t

= =
+ +



Complete
Elliptic Integrals
2 2 2
( ) ( , ) ; ( ) ( , ) ; ( , ) ( , , ) F k F k E k E k n k n k

= = =
Jacobi Elliptic
Integrals
1
( , ) ( , ) inverse function of ( , ) am x k F x k x F k

= = =
( )
( )
( )
2 2 2 2
( , ) sin( ) sin ( , ) ( , 0) sin( )
( , ) cos( ) cos ( , ) ( , 0) cos( )
( , ) 1 sin ( ) 1 sin ( , ) ( , 0) 1
sn x k am x k sn x x
cn x k am x k cn x x
dn x k k k am x k dn x

= = =
= = =
= = =



Table 4c : SPECIAL INVERSE OF USUAL FUNCTION
Lambert W
Function
( ) W( ) exp W( ) x x x =
1
1
( )
W( )
!
n
n
n
n
x x
n

=

exp( ) 0 W( ) x x x = = ;
1
ln( ) 0 W( ) x x x

+ = =


Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 34


Table 5 : GAMMA FUNCTION AND RELATED FUNCTIONS
Gamma
Function
1
0
( ) exp( )
x
x t t dt

2 1 1
2 -1 2 2
1
B
1
( ) exp ( ) ln( ) ln(2 )
2 (2 -1)
j
j
j
x x x x
j j x

=
| |
+ +
|
\

Incomplete
Gamma
1
( ; ) exp( )
x
x t t dt

;
1
0
0
( 1)
( ; ) exp( )
! ( )
j j
x
j
x
x t t dt
j j

= =
+

Psi (digamma)
Function and
Polygamma
Function
(0)
0
1 ( )
( ) ( )
( ) 1
t xt
t
d x e e
x x dt
x dx t e

| |
= =
|

\

(n) 1
0
exp( )
( ) ( 1)
1 exp( )
n n
n
n
d t x t
x dt
dx t

+

= =

Beta Function 1
1 1
0
0
( ) ( ) 1
( , ) (1 )
( ) ! ( )
j
t t dt
j j

=

= = =
+ +

Incomplete
Beta Function
1 1
0
0
( )
(1 )
( , ; ) (1 )
( 1)
x
j j
j
j
x
x t t dt x

+
=
+

= =
+

Table 6 : BESSEL FUNCTIONS
Bessel and
Neumann
Functions
( )
sh( )
0 0
1 sin( )
( ) cos sin( )
x t t
J x x t t dt e dt

=

2
2
0
( 1)
( )
2 ! ( 1)
j j
j
j
x
J x
j j

+
+
=

=
+ +

;
( ) cos( ) ( )
( )
sin( )
J x J x
Y x

=
2 2
1 2 2 2
1
1 0 ( ) ( ) ( )
d f d f
f f x c J x c Y x
dx x dx x

| |
+ + = = +
|
\

Hyperboliques
Bessel
Functions
2
2
0
( )
2 ! ( 1)
j
j
j
x
I x
j j

+
+
=
=
+ +

;
( ) ( )
( )
2 sin( )
I x I x
K x

=
2 2
1 2 2 2
1
1 0 ( ) ( ) ( )
d f d f
f f x c I x c K x
dx x dx x

| |
+ + = = +
|
\

Kelvin
Functions
3 / 4
ber ( ) bei ( ) ( )
i
x i x J e x

+ =
( )
( )
2 2
1
2 2
2
( ) ber ( ) ber ( )
1
0
ker ( ) kei ( )
f x c x i x
d f d f
i f
dx x dx x c x i x




= + +
| |

+ + =
|
+ +
\

Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 35


Table 7 : AIRY FUNCTIONS
Airy Functions
3
0
1
Ai( ) cos
3
t
x xt dt

| |
= +
|
\

3 3
0 0
1 1
Bi( ) sin exp
3 3
t t
x xt dt xt dt

| | | |
= +
| |
\ \


2
1 2 2
0 ( ) Ai( ) Bi( )
d f
x f f x c x c x
dx
= = +
Auxiliary
Airy Functions
( )
1
3
3
0
3
fai( )
(3 )!
j
j j
j
x x
j

=
=

;
( )
2
3
3 1
0
3
gai( )
(3 1)!
j
j j
j
x x
j

+
=
=
+

gai( )
Ai( ) Ai(0) fai( )
2 Bi(0)
x
x x

= ;
gai( )
Bi( ) Bi(0) fai( )
2 Ai(0)
x
x x

=
2/ 3 1/ 6
2 / 3 2 / 3
1 1
Ai(0) ; Bi(0)
3 ( ) 3 ( )
= =




Table 8 : PARABOLIC CYLINDER FUNCTIONS
Weber
Functions
- -1/ 2
U( , ) D ( )
a
a x x = ;
( )( )
1
- -1/ 2 - -1/ 2
2
1
V( , ) sin( ) D ( ) D ( )
a a
a x a a x x

= + +
2 2
0
2
D ( ) exp cos
4 2
x t
x t xt dt

| | | |
=
| |
\
\

2 / 2
(2 ) / 2
0
1 ( 1) 2
D ( ) exp
2 ( ) 4 ! 2
j j
j
j
x j
x x
j

=
| | | |
=
| |

\
\

2 2
1 2 2
0 ( ) U( , ) V( , )
4
d f x
a f f x c a x c a x
dx
| |
+ = = +
|
\

Relationship
with Hermite
Polynomials
2
/ 2
1
D ( ) exp H
2 4 2
n n n
x x
x
| | | |
=
| |
\ \




Jean Jacquelin, "Safari au pays des fonctions spciales", juin 2004. [Mis jour : 22 octobre 2012] 36


Table 9 : EXAMPLES OF HYPERGEOMETRIC FUNCTIONS
Gauss
Function
0
( ) ( )
F( , ; ; )
(1) ( )
j j j
j
j j
a b
a b c x x
c

=
=

( )
2
2
1 2
(1 ) 1 (1 ) 0
( ) F( , ;1 ; ) F( , ;1 ; )
d f df
x x x f
dx dx
f x c x c x x

+ + + =
= + + + +

Euler Integral
1
1
1
0
( )
F( , ; ; )
( ) ( ) (1 ) (1 )
b
b c a
c t dt
a b c x
b c b t xt

Kummer and
Tricomi
Functions

Confluant
Hyper-
geometrique
Function

1
1
1
0
0
( )
( ) exp( )
M( ; ; )
(1) ( ) ( ) ( ) (1 )
a
j j
a c
j
j j
a
c t xt dt
a c x x
c a c a t

+
=

= =

1
(1 ) ( 1)
U( ; ; ) M( ; ; ) M(1 ; 2 ; )
(1 ) ( )
c
c c
a c x a c x a c c x
a c a x


= + +
+

1
1
0
1 exp( )
U( ; ; )
( ) (1 )
a
a c
t xt dt
a c x
a t

=
+

( )
2
1 2 2
0 ( ) M( ; ; ) U( ; ; )
d f df
x c x a f f x c a c x c a c x
dx dx
+ = = +
Whittaker
Functions
1 1/ 2
,
2
M ( ) exp M( ; 1 2 ; )
2
x
x x x

+
| |
= + +
|
\

1 1/ 2
, 2
W ( ) exp U( ; 1 2 ; )
2
x
x x x

+
| |
= + +
|
\

2 2
1 , 2 , 2 2
1 4 1 4
1 0 ( ) M ( ) W ( )
4
d f
f f x c x c x
dx x x

| |
+ + + = = +
|
\