Coron–Guerrero uniform null-controllability conjecture

Let L>0L>0, M∈R∖{0}M\in\mathbb{R}\setminus\{0\}, and ε>0\varepsilon>0. Consider the transport–diffusion equation ut+Mux=εuxxu_t+M u_x=\varepsilon u_{xx} on (0,T)×(0,L)(0,T)\times(0,L), with a Dirichlet boundary control at x=0x=0 and homogeneous Dirichlet data at x=Lx=L. Let TunifT_{\mathrm{unif}} be the infimum of the times TT for which the cost of null-controllability remains bounded as ε→0\varepsilon\to0. The Coron–Guerrero conjecture asserts that Tunif=L/MT_{\mathrm{unif}}=L/M when M>0M>0, and Tunif=2L/∣M∣T_{\mathrm{unif}}=2L/|M| when M<0M<0.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new paper claims to determine the exact control times, replacing the earlier prediction in both speed regimes, but the result has not been independently verified.

Coron and Guerrero conjectured the minimal time for uniform null-controllability of a one-dimensional convection-diffusion equation as viscosity vanishes. The conjecture distinguishes positive and negative constant transport speeds.

Known results

  • The original conjecture predicted T>L/MT>L/M for M>0M>0 and T>2L/∣M∣T>2L/|M| for M<0M<0.
  • A conditional result gave exponential decay for T>L/MT>L/M when M>0M>0 and T>(1+2)L/∣M∣T>(1+\sqrt{2})L/|M| when M<0M<0.
  • Later work established bounds for variable transport fields but did not settle the constant-coefficient problem.

September 2026 exact-threshold claim

Kai Koike and Vincent Laheurte’s paper Uniform null-controllability times for the Coron--Guerrero problems are 2 and 2+222+2\sqrt{2} claims exact thresholds 2L/M2L/M for M>0M>0 and (2+22)L/∣M∣(2+2\sqrt{2})L/|M| for M<0M<0. It therefore corrects the conjectural prediction; the negative-speed prediction had already been disproved. The claim is unverified in the retrieved material.

Current status (as of September 2026): An arXiv paper claims the conjecture is solved with exact thresholds 2L/M2L/M for M>0M>0 and (2+22)L/∣M∣(2+2\sqrt{2})L/|M| for M<0M<0, but independent verification is not recorded.

Sources

Solutions 0

No solutions have been posted yet.