Contour-integral bound conjecture on a V-shaped domain

From papers

Let TT be the truncation parameter, let β[0,2)\beta\in[0,2) be fixed, and let z=re±iβπ/2z=re^{\pm i\beta\pi/2} with r[e4+2β2T,1]r\in[e^{4+2\beta-2T},1]. Let f(u,x)f(u,x) and δ(u)\delta(u) be the functions defined in the paper, and let Γ\Gamma be the positively oriented rectangle

[1β/2,4T2+1β/2]×[ai,ai],a=2π(T+12logr).[1-\beta/2,4T^2+1-\beta/2]\times[-ai,ai],\qquad a=2\pi\left(T+\frac12\log r\right).

Contour-integral bound conjecture. The remaining contour integral satisfies

Γf(u,x)δ(u)du=O(eT).\left\lvert\int_\Gamma f(u,x)\delta(u)\,du\right\rvert=\mathcal{O}(e^{-T}).

The claim is presented as being supported by strong numerical evidence and would extend the corresponding contour bound to the V-shaped domain; the supplied text does not provide a proof.

Progress summary

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

Sources & referencesView supporting material

Primary source

Astrid Herremans, Daan Huybrechs and Lloyd N. Trefethen, “Resolution of singularities by rational functions”, arXiv:2302.02743 (2023).

Solutions 0

No solutions have been posted yet.