Growth conjecture for the original Treschev problem

Consider the original Treschev problem, with coefficients q2nq_{2n} and a Diophantine rotation number. Here, k>0k>0 is arbitrary and C(k)C(k) denotes a constant depending on kk. Treschev growth conjecture. If the rotation number is Diophantine, then for every given k>0k>0 there exists a constant C(k)C(k) such that

q2ne(nlogn)/keCn.|q_{2n}| \le e^{(n \log n)/k}e^{C n}.

The source presents this as a numerical-analysis-based conjecture because the convergence question for the original problem remains open when q3=0q_3=0; the claimed bound is intended to describe the growth in that degenerate case.

Sources & referencesView supporting material

Primary source

Illya Koval, “Billiard tables with analytic Birkhoff normal form are generically Gevrey divergent”, arXiv:2403.14448 (2024).

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.