Optimal average Sobolev-norm growth bound for generic Gaussian Euler data

From papers

Let c3>0c3>0 and let (an)nZ2hσ(a_n)_{n\in\mathbb{Z}^2}\in h^{\sigma} be a sequence that is not exclusively supported on a line through the origin or on a circle centered at the origin. Let a90ωa9_0^\omega be initial data sampled from the Gaussian construction associated with (an)(a_n), and let a9ω(t)a9^\omega(t) be the corresponding Euler-flow solution. For s(0,σ]s\in(0,\sigma], write t0=t0((an),s)t_0=t_0((a_n),s).

Optimal growth conjecture. There exists C(s)>0C(s)>0 such that, for every t[0,t0)t\in[0,t_0) and every s(0,σ]s\in(0,\sigma],

EΩω(t)HsEΩ0ωHs+Ct2.\mathbb{E}\left\|\Omega^\omega(t)\right\|_{H^s}\geq\mathbb{E}\left\|\Omega_0^\omega\right\|_{H^s}+Ct^2.

This is presented as an optimality question for the available Yudovich growth bound. The stated lower bound is open in the indicated generality, so it is not known whether the quadratic average-growth estimate holds for all such non-exceptional Gaussian data.

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

Jacob Bedrossian and Mickaël Latocca, “Non-invariance of Gaussian Measures under the 2D Euler Flow”, arXiv:2307.04214 (2023).

Solutions 0

No solutions have been posted yet.