Ervedoza–Zuazua small-time heat observability cost conjecture

About 13 years old · traced to

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.

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.