On dispose de plusieurs caractérisations de cette fonction. Citons le théorème de Bohr-Mollerup :

Soit une fonction telle que

1. ;
2. pour tout ;
3. est log-convexe, c’est-à-dire que est une fonction convexe.

Alors pour tout .

On dispose d’une autre caractérisation, il s’agit du théorème de Wielandt :

Soit une fonction holomorphe sur telle que

1. ;
2. pour tout ;
3. est bornée dans la bande .

Alors pour tout .

Je me propose de faire une esquisse de la démonstration.

On remarque tout d’abord que l’on peut étendre sur l’ensemble des nombres complexes privés des entiers négatifs ou nul par 2. en suivant la même méthode que pour la fonction gamma. Ensuite, on remarque avec 1. que les résidus aux pôles sont les mêmes que ceux de la fonction gamma. Ainsi, la fonction est une fonction entière.

Ensuite, on remarque que est bornée sur la bande . Pour cela, il suffit de remarquer que c’est le cas sur la bande , en faisant une majoration explicite sur la formule définissant . On utilise ensuite 2. pour se ramener à la bande , le problème en 0 étant effaçable par 1.

Enfin, on pose .  Par ce qui précède, c’est une fonction entière bornée dans la bande . De plus, , ce qui montre que est une fonction bornée sur l’ensemble des nombres complexes. Par le théorème de Liouville, elle est constante. Comme , on a , c’est-à-dire . Finalement, .