Explicit formula conjecture for the Poisson kernel FγF_\gamma

Let γ\gamma be a non-negative integer, and let FγF_\gamma be the Poisson kernel under consideration. For 1βγ+21\leq\beta\leq\gamma+2, let fβ(x)f_\beta(x) be polynomials. Explicit FγF_\gamma formula conjecture. The function FγF_\gamma has the form

Fγ(z)=β=1γ+2fβ(z2)1z2β,zD,F_\gamma(z)=\sum_{\beta=1}^{\gamma+2}\frac{f_\beta(\lvert z\rvert^2)}{\lvert1-z\rvert^{2\beta}},\quad z\in\mathbb{D},

where

2fβ(x)=k=0β+γ+1max(2β1,γ+2)ck(γ+12kβ1k)(1x)β+γ+1k2f_\beta(x)=\sum_{k=0}^{\beta+\gamma+1-\max(2\beta-1,\gamma+2)}c_k\binom{\gamma+1-2k}{\beta-1-k}(1-x)^{\beta+\gamma+1-k}

and c0=1c_0=1, while

k=0jck(γ+12kjk)=0\sum_{k=0}^jc_k\binom{\gamma+1-2k}{j-k}=0

for 1j(γ+1)/21\leq j\leq\lfloor(\gamma+1)/2\rfloor. Equivalently, each fβ(x)f_\beta(x) is a linear combination of powers (1x)k(1-x)^k with max(2β1,γ+2)kβ+γ+1\max(2\beta-1,\gamma+2)\leq k\leq\beta+\gamma+1. The formula was verified computationally for 0γ800\leq\gamma\leq80, but the general assertion remains conjectural.

Sources & referencesView supporting material

Primary source

Anders Olofsson, “A computation of Poisson kernels for some standard weighted biharmonic operators in the unit disc”, arXiv:0707.0414 (2007).

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.