Boundary-measure conjecture for Fox's H-function

Let W(x)=i=1pΓ(Aix+ai)j=1qΓ(Bjx+bj)W(x)=\dfrac{\prod_{i=1}^{p}\Gamma(A_i x+a_i)}{\prod_{j=1}^{q}\Gamma(B_j x+b_j)}, let ρ\rho be the endpoint appearing in its Fox HH-function representation, and let μ=0\mu=0. Write δlog(1/ρ)\delta_{\log(1/\rho)} for the unit mass at log(1/ρ)\log(1/\rho). Boundary-measure conjecture. The representing measure is

W(x)=[log(1/ρ),)etx{Aδlog(1/ρ)+Hq,pp,0(et(B,b)(A,a)) ⁣}dt,W(x)=\int_{[\log(1/\rho),\infty)}e^{-tx}\left\{A\delta_{\log(1/\rho)}+H_{q,p}^{p,0}\left(e^{-t}\left|\begin{array}{l}(\mathbf B,\mathbf b)\\(\mathbf A,\mathbf a)\end{array}\right.\right)\!\right\}dt,

where AA is a positive constant.

For μ>0\mu>0, the paper proves an analogous representation without the boundary atom and proves nonnegativity of the HH-function under the relevant hypotheses. The conjecture concerns the additional atom required in the limiting case μ=0\mu=0, by analogy with the corresponding Meijer's GG-function formula.

Sources & referencesView supporting material

Primary source

Dmitrii Karp and Elena Prilepkina, “Completely monotonic gamma ratio and infinitely divisible H-function of Fox”, arXiv:1501.05388 (2015).

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.