Ervedoza–Zuazua finite-time observability constant conjecture

At least 12 years old · documented by

Let L>0L>0 and T>0T>0, and let C∫(T,L)C_{\int}(T,L) be a constant for which the finite-time weighted observability estimate

∫0∞∫0Le−L22t∣φ(t,x)∣2 dx dt⩽C∫(T,L)∫0T∣∂xφ(t,0)∣2 dt\int_0^\infty\int_0^L e^{-\frac{L^2}{2t}}|\varphi(t,x)|^2\,dx\,dt\leqslant C_{\int}(T,L)\int_0^T|\partial_x\varphi(t,0)|^2\,dt

holds for the relevant solutions of the one-dimensional heat equation. Ervedoza–Zuazua conjecture. For every δ>0\delta>0 and L>0L>0, one can choose C∫(T,L)C_{\int}(T,L) such that

C∫(T,L)=O ⁣(eδT)as T→0.C_{\int}(T,L)=O\!\left(e^{\frac{\delta}{T}}\right)\quad\text{as }T\to0.

This conjecture concerns the sharp growth, as the control time tends to zero, of the finite-time observability constant obtained from the corresponding infinite-time estimate. The source attributes the conjecture to work of Ervedoza and Zuazua and gives no resolution.

References

Primary source

Pierre Lissy, “An application of a conjecture due to Ervedoza and Zuazua concerning the observability of the heat equation in small time to a conjecture due to Coron and Guerrero concerning the uniform controllability of a convection-diffusion equation”, arXiv:1310.4355 (2013).

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.