The (C,A)(C,A) inversion formula

At least 21 years old · documented by

Let p,q,t∈Cp,q,t\in\mathbb C satisfy M<∣t∣n+1<1M<|t|^{n+1}<1. For fixed w∈Tnw\in\mathbb T^n, let CwC_w be a contour inside the annulus

A={z∈C∣∣t∣−ϵ<∣z∣<∣t∣−1+ϵ}\mathbb A=\{z\in\mathbb C\mid |t|-\epsilon<|z|<|t|^{-1}+\epsilon\}

for infinitesimally small positive ϵ\epsilon, with the points t−1wjt^{-1}w_j for j∈{1,…,n+1}j\in\{1,\ldots,n+1\} in its interior, and put Cwn=Cw×⋯×CwC_w^n=C_w\times\cdots\times C_w. Let ff be a CnC_n-symmetric function holomorphic on An\mathbb A^n, and let x∈Cnx\in\mathbb C^n satisfy ∣t∣<∣xj∣<∣t∣−1|t|<|x_j|<|t|^{-1}. Here κA\kappa^{\mathscr A} and κC\kappa^{\mathscr C} are the normalization factors and Δ(C,A)\Delta^{(\mathscr C,\mathscr A)} is the kernel displayed in the source. (C,A)(C,A) inversion formula. One has

κAκC∫Tn(∫CwnΔ(C,A)(z,w,x;t)f(z) dzz)dww=f(x),\kappa^{\mathscr A}\kappa^{\mathscr C}\int_{\mathbb T^n}\left(\int_{C_w^n}\Delta^{(\mathscr C,\mathscr A)}(z,w,x;t)f(z)\,\frac{\mathrm dz}{z}\right)\frac{\mathrm dw}{w}=f(x),

where

Δ(C,A)(z,w,x;t)=∏i=1n∏j=1n+1Γ(txi±wj−1,t−1zi±wj)∏i=1nΓ(zi±2)∏1≤i<j≤nΓ(zi±zj±)×1∏1≤i<j≤n+1Γ(wiwj−1,wi−1wj,t−2wiwj,t2wi−1wj−1).\Delta^{(\mathscr C,\mathscr A)}(z,w,x;t)=\frac{\prod_{i=1}^n\prod_{j=1}^{n+1}\Gamma(tx_i^{\pm}w_j^{-1},t^{-1}z_i^{\pm}w_j)}{\prod_{i=1}^n\Gamma(z_i^{\pm2})\prod_{1\leq i<j\leq n}\Gamma(z_i^{\pm}z_j^{\pm})} \times\frac{1}{\prod_{1\leq i<j\leq n+1}\Gamma(w_iw_j^{-1},w_i^{-1}w_j,t^{-2}w_iw_j,t^2w_i^{-1}w_j^{-1})}.

The formula is proposed as a companion to the preceding inversion theorem for elliptic beta integrals; its status is not resolved in the supplied text.

References

Primary source

Vyacheslav P. Spiridonov and S. Ole Warnaar, “Inversions of integral operators and elliptic beta integrals on root systems”, arXiv:math/0411044 (2004).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.