arXiv Science⌕ Search

arXiv · 2609.35355

Uniform null-controllability times for the Coron--Guerrero problems are $2$ and $2 + 2 \sqrt{2}$

Abstract

We study the uniform null-controllability, in the vanishing viscosity limit, of the transport--diffusion equation $u_t + M u_x = \varepsilon u_{xx}$ on $[0,L]$ with a Dirichlet boundary control at $x=0$. Our results concern the uniform null-controllability time $T_{\mathrm{unif}}$, defined as the infimum of the times for which the null-controllability cost remains bounded as $\varepsilon \to 0$. We determine this time exactly for both signs of the transport velocity: $T_{\mathrm{unif}} = 2 L / M$ in the positive-speed case $M>0$, and $T_{\mathrm{unif}} = (2 + 2 \sqrt{2}) L / |M|$ in the negative-speed case $M<0$. The positive-speed result disproves the conjecture $T_{\mathrm{unif}}=L/M$ suggested by Coron and Guerrero. For negative speed, the conjectured threshold had already been disproved by Lissy. Our result determines the exact threshold. We establish the lower bounds by constructing adjoint solutions that violate uniform observability below the respective thresholds. In the positive-speed case, the construction exploits the asymptotic structure of the Blaschke products and model spaces associated with the exponential family generated by the adjoint spectrum. The same model-space structure is used to reduce the upper-bound problems for both signs of $M$ to infinite-time observability inequalities, which are proved through a representation of the boundary-to-interior map and estimates of its Hilbert--Schmidt norm.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kai Koike, Vincent Laheurte. 2026-09-28. Uniform null-controllability times for the Coron--Guerrero problems are $2$ and $2 + 2 \sqrt{2}$. https://arxiv.org/abs/2609.35355

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Boundary Regularity for Fully Nonlinear Degenerate Elliptic Equations

This paper investigates fully nonlinear degenerate elliptic equations of the form $|Du|^γF(D^2u) = f$ with $γ>0$ {and $F(0)=0$}. Using a unified compactness and perturbation framework, we {establish} $C^1$ regularity on $C^{1,\mathrm{Dini}}$ domains and {$C^{1,α_0}$ regularity on $C^{1,α}$ domains}, {where $α_0=\min\{α,1/(1+γ)\}$}. {In addition}, we construct a counterexample to show that {$W^{2,δ}$ regularity does not hold for any $δ>0$}.

math.AP↗

Localizing acoustic and electromagnetic waves in space and time

We study time-dependent acoustic and electromagnetic waves governed by the scalar wave equation or Maxwell's equations in a bounded three-dimensional domain. We establish the existence of time-dependent boundary excitations that can be prescribed on any open subset of the boundary of the domain such that the associated waves are strongly localized in space in the sense that they possess arbitrarily large norms in a given subdomain and on a given time-interval, while remaining arbitrarily small in any other given subdomain for all times. Similarly, we also show the existence of boundary data such that the associated waves are strongly localized in time in the sense that they possess arbitrarily large norms in a given subdomain and on a given time-interval, while remaining arbitrarily small on the same subdomain but on any other prescribed time-interval. In case that we have access to the possibly inhomogeneous coefficients in the wave equation or in the Maxwell system, we also give explicit constructions to obtain boundary data that generate these localized waves, and we comment on possible applications.

math.AP↗

Brunn-Minkowski Inequality for p-Harmonic Measures

We prove a Brunn--Minkowski inequality for a functional associated with p-harmonic measures for $1<p<n+1$, on a class of convex domains satisfying suitable conditions. Under an additional first-variation assumption, we also prove uniqueness up to dilation about the origin for the corresponding Minkowski problem. We also study geometric conditions involving level sets, support functions, and Gaussian curvature for the problem with a fixed inner body.

math.AP↗