Searcharxiv⌕ Search

arXiv · 2610.16568

Minimal time for heat observability on almost-Riemannian surfaces

Abstract

We determine the minimal observation time for the heat equation on a closed almost-Riemannian surface, for a class of observation sets leaving sufficiently thin collars around simple Baouendi-Grushin circles. The structure and density are analytic near these circles, and the coefficients may depend on both variables. The formula is expressed through a complex phase describing concentration near the singular set and extends the thresholds known for separated models. Regular unobserved regions away from the circles do not change this time, provided all other singularities are observed. For singular circles of constant bracket step greater than two, local analyticity implies failure of observability at every time for observation sets at positive distance. We also construct quasimodes concentrated near simple singular circles, with exponentially small errors. Their superpositions give a lower bound for the Schrödinger observation time.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vincent Boulard, Amaury Hayat, Emmanuel Trélat. 2026-10-12. Minimal time for heat observability on almost-Riemannian surfaces. https://arxiv.org/abs/2610.16568

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

KEEP EXPLORING

Related papers

Quantization analysis of Moser-Trudinger equations in the Poincaré disk and applications

In this paper, we first establish the quantitative properties for positive solutions to the Moser-Trudinger equation in the two-dimensional Poincaré disk $\mathbb{B}^2$: \begin{equation*}\label{mt1} \left\{ \begin{aligned} &-Δ_{\mathbb{B}^2}u=λue^{u^2},\ x\in\mathbb{B}^2, &u\to0,\ \text{when}\ ρ(x)\to\infty, &\|\nabla_{\mathbb{B}^2} u\|_{L^2(\mathbb{B}^2)}^2\leq M_0, \end{aligned} \right. \end{equation*} where $0<λ<\frac{1}{4}=\inf\limits_{u\in W^{1,2}(\mathbb{B}^2)\backslash\{0\}}\frac{\|\nabla_{\mathbb{B}^2}u\|_{L^2(\mathbb{B}^2)}^2}{\|u\|_{L^2(\mathbb{B}^2)}^2}$, $ρ(x)$ denotes the geodesic distance between $x$ and the origin and $M_0$ is a fixed large positive constant (see Theorem \ref{thm1}). Furthermore, by carefully analyzing the asymptotic expansion of the Dirichlet energy \(\|\nabla_{\mathbb{B}^2} u\|_{L^2(\mathbb{B}^2)}^2\) as \(λ\to 0\), and establishing that \[ \lim_{\substack{λ\to 1/4}} \int_{\mathbb{B}^2} |\nabla_{\mathbb{B}^2} u_λ|^2 \, dV_{\mathbb{B}^2} = +\infty \] for~the ~nonzero~least energy solution, we are able to prove the existence of a critical point for the Moser-Trudinger functional \(F(u) = \int_{\mathbb{B}^2} (e^{u^2} - 1) \, dV_{\mathbb{B}^2}\) under the constraint \(\int_{\mathbb{B}^2} |\nabla_{\mathbb{B}^2} u|^2 \, dV_{\mathbb{B}^2} = Λ\) for \(Λ\in (4π, +\infty)\), up to some Möbius transformation. This result is substantially different from the non-existence of critical points for the Moser-Trudinger functional in the Euclidean disk. Finally, by applying a local Pohozaev identity around the origin and exploiting the uniqueness of solutions to the Cauchy initial value problem for ODEs, we prove that the Moser-Trudinger equation has a unique positive solution up to some Möbius transformation when $λ$ is close to $0$.

math.AP↗

Well- and ill-posedness of the Cauchy problem for semi-linear Schrödinger equations on the torus

We consider the Cauchy problem for semi-linear Schrödinger equations on the torus $\mathbb T$. We establish a necessary and sufficient condition on the polynomial nonlinearity for the Cauchy problem to be well-posed in the Sobolev space $H^s(\mathbb T)$ for $s>\frac 52$. For the well-posedness, we use the energy estimates and the gauge transformation. For the ill-posedness, we prove the non-existence of solutions to the Cauchy problem.

math.AP↗

Lipschitz regularity of fractional $p$-Laplacian

In this article, we investigate the Hölder regularity of the fractional $p$-Laplace equation of the form $(-Δ_p)^s u=f$ where $p>1, s\in (0, 1)$ and $f\in L^\infty_{\rm loc}(Ω)$. Specifically, we prove that $u\in C^{0, γ_\circ}_{\rm loc}(Ω)$ for $γ_\circ=\min\{1, \frac{sp}{p-1}\}$, provided that $\frac{sp}{p-1}\neq 1$. In particular, it shows that $u$ is locally Lipschitz for $\frac{sp}{p-1}>1$. Moreover, we show that for $\frac{sp}{p-1}=1$, the solution is locally Lipschitz, provided that $f$ is locally Hölder continuous. Additionally, we discuss further regularity results for the fractional double-phase problems.

math.AP↗