Math 2.0

Special functions Definition

Multiple gamma function

Builds on Hurwitz zeta functionAnalytic continuationGamma function

Definition

Let N≥1N \ge 1 be an integer, let a=(a1,…,aN)a = (a_1, \ldots, a_N) with real ai>0a_i > 0, and let ww be a complex number with Re⁡w>0\operatorname{Re} w > 0. The Barnes zeta function is ζN(s,w∣a)=∑n1,…,nN≥01(w+n1a1+⋯+nNaN)s,Re⁡s>N,\zeta_N(s, w \mid a) = \sum_{n_1, \ldots, n_N \ge 0} \frac{1}{(w + n_1 a_1 + \cdots + n_N a_N)^s}, \qquad \operatorname{Re} s > N, with the principal branch of the power. It has a meromorphic analytic continuation in ss to ℂ\C that is holomorphic at s=0s = 0. The multiple gamma function of order NN is ΓN(w∣a)=exp⁡(∂∂sζN(s,w∣a)∣s=0).\Gamma_N(w \mid a) = \exp\left(\left.\frac{\partial}{\partial s} \zeta_N(s, w \mid a)\right|_{s = 0}\right).

Remarks

Example: for N=1N = 1 and a1=1a_1 = 1, ζ1(s,w∣1)\zeta_1(s, w \mid 1) is the Hurwitz zeta function ζ(s,w)\zeta(s, w). Lerch's formula ∂∂sζ(s,w)∣s=0=log⁡Γ(w)−12log⁡2π\frac{\partial}{\partial s}\zeta(s, w)\big|_{s=0} = \log \Gamma(w) - \frac12 \log 2\pi gives Γ1(w∣1)=Γ(w)/2π\Gamma_1(w \mid 1) = \Gamma(w)/\sqrt{2\pi}, where Γ\Gamma is the gamma function.

The identity ζN(s,w∣a)−ζN(s,w+aj∣a)=ζN−1(s,w∣a(j))\zeta_N(s, w \mid a) - \zeta_N(s, w + a_j \mid a) = \zeta_{N-1}(s, w \mid a^{(j)}), where a(j)a^{(j)} omits aja_j, gives the functional equation ΓN(w+aj∣a)=ΓN(w∣a)ΓN−1(w∣a(j)),\Gamma_N(w + a_j \mid a) = \frac{\Gamma_N(w \mid a)}{\Gamma_{N-1}(w \mid a^{(j)})}, with the convention Γ0(w)=1/w\Gamma_0(w) = 1/w. For N=1N = 1 it reads Γ1(w+1∣1)=w Γ1(w∣1)\Gamma_1(w + 1 \mid 1) = w\, \Gamma_1(w \mid 1), the functional equation of Γ\Gamma.

Non-example of a valid parameter: if a1=0a_1 = 0, each term is repeated for every value of n1n_1, the series diverges for every ss, and ΓN\Gamma_N is not defined.

Several normalisations are in use; they differ by factors of the form exp⁡(polynomial in w)\exp(\text{polynomial in } w). The function 1/ΓN(w∣a)1/\Gamma_N(w \mid a) extends to an entire function of ww.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Analytic continuation concept
  2. Gamma function concept
  3. Hurwitz zeta function concept
  4. Multiple gamma function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Multiple_gamma_function
About this page
TagA30TFC9Z92
URIm2://A30TFC9Z92
Kinddefinition
WritingW0 stub
MSC33B15, 11M35
DefinesMultiple gamma function
UsesHurwitz zeta function, Analytic continuation, Gamma function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.