Ervedoza–Zuazua small-time heat observability cost conjecture

Let L>0L>0 and let CD(T,L)C_D(T,L) denote the boundary control cost for the one-dimensional heat equation on an interval of length LL. Define the small-time exponential rate β\beta^* by

β:=(L2/4)+.\beta^*:=(L^2/4)^+.

Ervedoza–Zuazua conjecture. For every L>0L>0 and every K>L2/4K>L^2/4, there exists some C(K)>0C(K)>0 such that, for every TT sufficiently small,

CD(T,L)C(K)eKT.C_D(T,L)\leqslant C(K)e^{\frac{K}{T}}.

Together with the known lower bound, this predicts the sharp small-time exponential rate for the cost of boundary controls of the heat equation. The statement is presented as conjectured in the source, with no resolution supplied there.

Sources & referencesView supporting material

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.