Reflection formula

Short description: Numerical computation of special functions

In mathematics, a reflection formula or reflection relation for a function f is a relationship between f(a − x) and f(x). It is a special case of a functional equation, and it is very common in the literature to use the term "functional equation" when "reflection formula" is meant.

Reflection formulas are useful for numerical computation of special functions. In effect, an approximation that has greater accuracy or only converges on one side of a reflection point (typically in the positive half of the complex plane) can be employed for all arguments.

Known formulae

The even and odd functions satisfy by definition simple reflection relations around a = 0. For all even functions,

[math]\displaystyle{ f(-x) = f(x), }[/math]

and for all odd functions,

[math]\displaystyle{ f(-x) = -f(x). }[/math]

A famous relationship is Euler's reflection formula

[math]\displaystyle{ \Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin{(\pi z)}}, \qquad z \not\in \mathbb Z }[/math]

for the gamma function [math]\displaystyle{ \Gamma(z) }[/math], due to Leonhard Euler.

There is also a reflection formula for the general n-th order polygamma function ψ⁽ⁿ⁾(z),

[math]\displaystyle{ \psi^{(n)} (1-z)+(-1)^{n+1}\psi^{(n)} (z) = (-1)^n \pi \frac{d^n}{d z^n} \cot{(\pi z)} }[/math]

which springs trivially from the fact that the polygamma functions are defined as the derivatives of [math]\displaystyle{ \ln \Gamma }[/math] and thus inherit the reflection formula.

The Riemann zeta function ζ(z) satisfies

[math]\displaystyle{ \frac{\zeta(1-z)}{\zeta(z)} = \frac{2\, \Gamma(z)}{(2\pi)^{z}} \cos\left(\frac{\pi z}{2}\right), }[/math]

and the Riemann Xi function ξ(z) satisfies

[math]\displaystyle{ \xi(z) = \xi(1-z). }[/math]

References

• Weisstein, Eric W.. "Reflection Relation". http://mathworld.wolfram.com/ReflectionRelation.html. 
• Weisstein, Eric W.. "Polygamma Function". http://mathworld.wolfram.com/PolygammaFunction.html.