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

About 19 years old · traced to

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β(∣z∣2)∣1−z∣2β,z∈D,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β+γ+1−max⁡(2β−1,γ+2)ck(γ+1−2kβ−1−k)(1−x)β+γ+1−k2f_\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(γ+1−2kj−k)=0\sum_{k=0}^jc_k\binom{\gamma+1-2k}{j-k}=0

for 1≤j≤⌊(γ+1)/2⌋1\leq j\leq\lfloor(\gamma+1)/2\rfloor. Equivalently, each fβ(x)f_\beta(x) is a linear combination of powers (1−x)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.

References

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.