pith. sign in

arxiv: 2604.19700 · v1 · submitted 2026-04-21 · 🧮 math.AP · math.OC

Minimal time for null controllability of the parabolic spherical Baouendi-Grushin equation

Cyprien Tamekue This is my paper

Pith reviewed 2026-05-10 01:36 UTC · model grok-4.3

classification 🧮 math.AP math.OC
keywords null controllabilityparabolic Baouendi-Grushin equationspherical crownminimal timealmost-Riemannian structureFourier decompositionassociated Legendre functionsmoment method
0
0 comments X

The pith

For spherical crown control regions away from the equator, the parabolic Baouendi-Grushin equation on the sphere requires exactly time ln(1/sqrt(1-α²)) to reach null controllability.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper determines the exact minimal time needed to steer the heat equation on the sphere, equipped with its almost-Riemannian structure, to the zero state when the control is supported only in a spherical crown. For crowns bounded away from the equator by a positive distance α, this time equals ln(1/sqrt(1-α²)). When the control region includes the equator, the system becomes null controllable in every positive time, no matter how small. The argument reduces the problem by Fourier decomposition in the azimuthal direction, obtains uniform observability for the resulting family of singular one-dimensional parabolic equations, and applies the moment method with sharp lower bounds on associated Legendre functions to build the control.

Core claim

For a control region ω = {α < x3 < β} on the sphere with 0 ≤ α < β ≤ 1, the minimal time for null controllability of the parabolic spherical Baouendi-Grushin equation is T_min(ω) = ln(1/√(1-α²)). Whenever the control region contains the equator, null controllability holds for every T > 0. The proof proceeds by Fourier decomposition with respect to the periodic variable to obtain uniform observability estimates for one-dimensional singular parabolic equations via a Hardy-Poincaré inequality, followed by the moment method on pole-touching crowns using sharp weighted lower bounds on associated Legendre functions, and a cut-off argument to extend to general crowns.

What carries the argument

Uniform observability estimates for the family of one-dimensional singular parabolic equations after Fourier decomposition, together with the moment method constructed from sharp weighted lower bounds on associated Legendre functions.

If this is right

  • Null controllability holds in every time strictly larger than ln(1/√(1-α²)) for any crown bounded away from the equator.
  • Arbitrary positive time null controllability holds for every control region that includes the equator.
  • Controls for a general crown can be obtained by combining a control for the pole-touching sub-crown with a cut-off function and the arbitrary-time controllability of equatorial crowns.
  • Singularities at the poles are controlled by the Hardy-Poincaré inequality without loss of uniformity in the Fourier modes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same decomposition and Legendre-function technique may yield minimal-time formulas for null controllability on higher-dimensional spheres or other rotationally symmetric almost-Riemannian structures.
  • The uniform observability result suggests that numerical control algorithms could be implemented by solving the reduced one-dimensional problems independently for each Fourier mode.
  • The sharp time threshold may guide the design of time-optimal controls in physical models of degenerate diffusion on spheres.

Load-bearing premise

The observability estimates for the one-dimensional singular parabolic equations hold with constants independent of the Fourier mode, and the sharp weighted lower bounds on associated Legendre functions are valid for the moment-method construction.

What would settle it

An explicit solution or numerical experiment demonstrating that null controllability fails for some crown with α > 0 in any time strictly smaller than ln(1/√(1-α²)) would disprove the claimed minimal time.

Figures

Figures reproduced from arXiv: 2604.19700 by Cyprien Tamekue.

Figure 1
Figure 1. Figure 1: The control region ωe (in magenta) is symmetric with respect to the equator E (in green), which is contained in its interior. The north and south poles are the points N and S respectively (in blue). Here f = f(t, p) is the state, f0 ∈ L 2 (S 2 ; µ) is the initial datum, u is the control, and 1ωe denotes the characteristic function of the control set ωe ⊂ S 2 . We say that (3) is null controllable from ωe i… view at source ↗
Figure 2
Figure 2. Figure 2: The control region ωe (in blue), the equator E (in green), and the north and south poles (in blue). estimates for a family of one-dimensional parabolic equations. Section 4 proves Theorem 2.10, and hence Theorem 2.8, when the control set contains the equator. The key point is a uniform Carleman estimate for the one-dimensional adjoint equations, together with a Hardy–Poincar´e inequality that handles the s… view at source ↗
Figure 3
Figure 3. Figure 3: The weight β depicted on [−π/2, π/2]. The curves parts in blue and red correspond respectively to the subcontrol region ωcon containing the degeneracy in its interior and the boundary domain ωbdy containing the singular points ±π/2. We let P + n z + P − n z = e −φPng, (81) where Pn is the parabolic operator introduced in (44), and P + n z = − Mn z + (∂tφ − |∂xφ| 2 )z and P − n z = ∂tz − 2∂xz∂xφ − (∂ 2 xφ)z… view at source ↗
read the original abstract

We study null controllability for the parabolic equation on $\mathbb{S}^{2}$ endowed with its canonical almost-Riemannian structure. For a spherical crown $\omega=\{\alpha<x_3<\beta\}$, where $0\le \alpha<\beta\le1$, we prove the sharp minimal time formula $T_{\min}(\omega)=\ln(1/\sqrt{1-\alpha^{2}})$ for null controllability in $\omega$. We also prove that, whenever the control region contains the equator, null controllability holds in every positive time. The proof combines two complementary tools. First, after Fourier decomposition with respect to the periodic variable, we establish observability estimates for a family of one-dimensional singular parabolic equations, with constants uniform with respect to the Fourier mode; the singularities at the poles are handled via a Hardy-Poincar\'e inequality. Second, for crowns away from the equator, we use the moment method to construct controls on the pole-touching crown $\alpha<x_3< 1$ from sharp weighted lower bounds on associated Legendre functions, and then pass to a general crown $\alpha<x_3<\beta$ by a cut-off argument on the full domain combined with the arbitrary-time controllability of crowns containing the equator. The result closes the large-time gap left in earlier work and gives the exact null-controllability threshold for the canonical almost-Riemannian heat equation on $\mathbb S^2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes sharp minimal times for null controllability of the parabolic Baouendi-Grushin equation on the 2-sphere. For a spherical crown control region ω = {α < x₃ < β} with 0 ≤ α < β ≤ 1 that does not contain the equator, the minimal time is T_min(ω) = ln(1/√(1-α²)); when the control region contains the equator, null controllability holds for every positive time. The proof proceeds by Fourier decomposition in the azimuthal variable, yielding a family of 1D singular parabolic equations whose observability constants are shown to be uniform in the mode via a Hardy-Poincaré inequality; for crowns away from the equator the moment method is applied using sharp weighted lower bounds on associated Legendre functions, followed by a cut-off argument that reduces the general case to the pole-touching crown together with the arbitrary-time controllability of equator-containing regions.

Significance. If the uniformity of the observability constants and the sharpness of the Legendre lower bounds hold, the paper supplies the first exact minimal-time threshold for null controllability in this almost-Riemannian setting, closing the large-time gap left by earlier work. The combination of Fourier reduction, Hardy-Poincaré control of polar singularities, and the moment method with explicit Legendre estimates constitutes a technically coherent contribution to the control theory of degenerate parabolic equations on manifolds with singularities.

minor comments (3)
  1. [§2.2] §2.2, after the statement of the reduced 1D equation (2.7): the precise form of the weight in the Hardy-Poincaré inequality used to absorb the singularity at the pole should be written explicitly, as the constant's independence of the Fourier mode relies on this weight.
  2. [§4.3] §4.3, Lemma 4.5: the cut-off argument that extends controllability from the pole-touching crown to a general crown α < x₃ < β is only sketched; a short paragraph clarifying how the cut-off function interacts with the observability inequality without enlarging the minimal time would improve readability.
  3. [Introduction] The abstract and introduction both state the formula T_min(ω) = ln(1/√(1-α²)), but the dependence on β is never made explicit in the statement of the main theorem; adding a parenthetical remark that the time is independent of β (provided β > α) would remove any ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of our manuscript, including the recommendation for minor revision. No specific major comments were raised.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives the sharp minimal time T_min(ω)=ln(1/√(1-α²)) via Fourier decomposition reducing the spherical problem to a family of 1D singular parabolic equations, uniform observability estimates obtained with a Hardy-Poincaré inequality to handle polar singularities, and the moment method applied to sharp weighted lower bounds on associated Legendre functions, followed by a cut-off argument. These steps rely on external analytical inequalities and standard tools whose validity is independent of the target controllability threshold; the formula emerges as an output of the estimates rather than an input or self-definition. References to earlier work close a gap but are not load-bearing for the new sharp-time result, which remains self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard tools from harmonic analysis and control theory for PDEs, including Fourier decomposition and the moment method, without introducing new free parameters or invented entities.

axioms (2)
  • standard math Fourier decomposition with respect to the periodic variable reduces the spherical equation to a family of 1D singular parabolic equations
    Standard separation-of-variables technique invoked after the abstract's description of the first proof step.
  • domain assumption Hardy-Poincaré inequality controls the singularities at the poles uniformly in Fourier modes
    Invoked to obtain uniform observability constants for the reduced 1D problems.

pith-pipeline@v0.9.0 · 5557 in / 1549 out tokens · 59678 ms · 2026-05-10T01:36:55.716995+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Agrachev, D

    A. Agrachev, D. Barilari, and U. Boscain.A comprehensive introduction to sub-Riemannian geometry. Vol. 181. Cambridge University Press, 2019

    work page 2019

  2. [2]

    A Gauss-Bonnet-like Formula on Two-Dimensional almost- Riemannian Manifolds

    A. A. Agrachev, U. Boscain, and M. Sigalotti. “A Gauss-Bonnet-like Formula on Two-Dimensional almost- Riemannian Manifolds”. In:Discrete and Continuous Dynamical Systems-Series A20.4 (2008), pp. 801– 822. 26

    work page 2008

  3. [3]

    Analysis of the null controllability of degenerate parabolic systems of Grushin type via the moments method

    D. Allonsius, F. Boyer, and M. Morancey. “Analysis of the null controllability of degenerate parabolic systems of Grushin type via the moments method”. In:Journal of Evolution Equations21.4 (2021), pp. 4799–4843

    work page 2021

  4. [4]

    Spectral analysis of discrete elliptic operators and applications in control theory

    D. Allonsius, F. Boyer, and M. Morancey. “Spectral analysis of discrete elliptic operators and applications in control theory”. In:Numerische Mathematik140 (2018), pp. 857–911

    work page 2018

  5. [5]

    Null Controllability of Grushin-type Operators in Dimen- sion Two

    K. Beauchard, P. Cannarsa, and R. Guglielmi. “Null Controllability of Grushin-type Operators in Dimen- sion Two”. In:J. Eur. Math. Soc.16.1 (2014), pp. 67–101

    work page 2014

  6. [6]

    Minimal time issues for the observability of Grushin-type equations

    K. Beauchard, J. Dard´ e, and S. Ervedoza. “Minimal time issues for the observability of Grushin-type equations”. In:Annales de l’Institut Fourier70.1 (2020), pp. 247–312

    work page 2020

  7. [7]

    2D Grushin-type equations: minimal time and null control- lable data

    K. Beauchard, L. Miller, and M. Morancey. “2D Grushin-type equations: minimal time and null control- lable data”. In:Journal of Differential Equations259.11 (2015), pp. 5813–5845

    work page 2015

  8. [8]

    A block moment method to handle spectral condensation phenomenon in parabolic control problems

    A. Benabdallah, F. Boyer, and M. Morancey. “A block moment method to handle spectral condensation phenomenon in parabolic control problems”. In:Annales Henri Lebesgue3 (2020), pp. 717–793

    work page 2020

  9. [9]

    The Laplace-Beltrami operator in almost-Riemannian geometry

    U. Boscain and C. Laurent. “The Laplace-Beltrami operator in almost-Riemannian geometry”. In:Annales de l’institut Fourier63.5 (2013), pp. 1739–1770

    work page 2013

  10. [10]

    Coron.Control and Nonlinearity

    J.-M. Coron.Control and Nonlinearity. Mathematical Surveys and Monographs v. 136. Providence, R.I: American Mathematical Society, 2007

    work page 2007

  11. [11]

    Courant and D

    R. Courant and D. Hilbert.Methods of Mathematical Physics. Vol.1. Literaturverz. S. 546 - 549. Weinheim: Wiley-VCH, 1953

    work page 1953

  12. [12]

    Null-controllability properties of the generalized two-dimensional Baouendi–Grushin equation with non-rectangular control sets

    J. Dard´ e, A. Koenig, and J. Royer. “Null-controllability properties of the generalized two-dimensional Baouendi–Grushin equation with non-rectangular control sets”. In:Annales Henri Lebesgue6 (2023), pp. 1479–1522

    work page 2023

  13. [13]

    On the critical time of observability of the multi-dimensional Baouendi-Grushin equation

    J. Dard´ e and M. Trabut. “On the critical time of observability of the multi-dimensional Baouendi-Grushin equation”. In:arXiv preprint arXiv:2604.01419(2026)

    work page arXiv 2026

  14. [14]

    E. B. Davies.Spectral Theory and Differential Operators. Vol. 42. Cambridge Studies in Advanced Math- ematics. Cambridge: Cambridge University Press, 1995

    work page 1995

  15. [15]

    A general theory of observation and control

    S. Dolecki and D. L. Russell. “A general theory of observation and control”. In:SIAM Journal on Control and Optimization15.2 (1977), pp. 185–220

    work page 1977

  16. [16]

    Control of the Grushin equation: non-rectangular control region and minimal time

    M. Duprez and A. Koenig. “Control of the Grushin equation: non-rectangular control region and minimal time”. In:ESAIM: Control, Optimisation and Calculus of Variations26 (2020), p. 3

    work page 2020

  17. [17]

    Exact controllability theorems for linear parabolic equations in one space dimension

    H. O. Fattorini and D. L. Russell. “Exact controllability theorems for linear parabolic equations in one space dimension”. In:Archive for Rational Mechanics and Analysis43.4 (1971), pp. 272–292

    work page 1971

  18. [18]

    Uniform bounds on biorthogonal functions for real exponentials with an application to the control theory of parabolic equations

    H. O. Fattorini and D. L. Russell. “Uniform bounds on biorthogonal functions for real exponentials with an application to the control theory of parabolic equations”. In:Quarterly of Applied Mathematics32.1 (1974), pp. 45–69

    work page 1974

  19. [19]

    Controllability of Evolution Equations. In vol. 34, Lect. Notes Ser. Seoul National University, Seoul

    A. Fursikov and O. Y. Imanuvilov. “Controllability of Evolution Equations. In vol. 34, Lect. Notes Ser. Seoul National University, Seoul”. In:Korea(1996)

    work page 1996

  20. [20]

    Hypoelliptic Second Order Differential Equations

    L. H¨ ormander. “Hypoelliptic Second Order Differential Equations”. In:Acta Math.119.0 (1967), pp. 147– 171

    work page 1967

  21. [21]

    Controllability of parabolic equations

    O. Y. Imanuilov. “Controllability of parabolic equations”. In:Sbornik: Mathematics186.6 (1995), p. 879. 27

    work page 1995

  22. [22]

    Minimal time for the null controllability of parabolic systems: the effect of the condensation index of complex sequences

    F. A. Khodja et al. “Minimal time for the null controllability of parabolic systems: the effect of the condensation index of complex sequences”. In:Journal of Functional Analysis267.7 (2014), pp. 2077– 2151

    work page 2014

  23. [23]

    Non-null-controllability of the Grushin operator in 2D

    A. Koenig. “Non-null-controllability of the Grushin operator in 2D”. In:Comptes Rendus Mathematique 355.12 (2017), pp. 1215–1235

    work page 2017

  24. [24]

    Control of wave processes with distributed controls supported on a subregion

    J. Lagnese. “Control of wave processes with distributed controls supported on a subregion”. In:SIAM Journal on Control and Optimization21.1 (1983), pp. 68–85

    work page 1983

  25. [25]

    Contrˆ ole exact de l´ equation de la chaleur

    G. Lebeau and L. Robbiano. “Contrˆ ole exact de l´ equation de la chaleur”. In:Communications in Partial Differential Equations20.1-2 (1995), pp. 335–356

    work page 1995

  26. [26]

    J. L. Lions.Equations diff´ erentielles op´ erationnelles et probl` emes aux limites. Vol. 111. Die Grundlehren der mathematischen Wissenschaften. Berlin, Heidelberg: Springer-Verlag, 1961

    work page 1961

  27. [27]

    Lions.Contrˆ olabilit´ e exacte, perturbations et stabilisation de systemes distribues

    J.-L. Lions.Contrˆ olabilit´ e exacte, perturbations et stabilisation de systemes distribues. Tome 1. Vol. 8. Masson, Paris, 1988

    work page 1988

  28. [28]

    Pazy.Semigroups of linear operators and applications to partial differential equations

    A. Pazy.Semigroups of linear operators and applications to partial differential equations. Vol. 44. Springer Science & Business Media, 2012

    work page 2012

  29. [29]

    Schwartz.Etude des sommes d’exponentielles

    L. Schwartz.Etude des sommes d’exponentielles. Vol. 959. Hermann Paris, 1959

    work page 1959

  30. [30]

    Controllability, visual illusions and perception

    C. Tamekue. “Controllability, visual illusions and perception”. NNT: 2023UPAST105; HAL Id: tel-04230895. PhD thesis. Universit´ e Paris-Saclay, 2023

    work page 2023

  31. [31]

    Null controllability of the parabolic spherical Grushin equation

    C. Tamekue. “Null controllability of the parabolic spherical Grushin equation”. In:ESAIM: Control, Optimisation and Calculus of Variations28 (2022), p. 70

    work page 2022

  32. [32]

    Non Null-Controllability Properties of the Grushin-Like Heat Equation on 2D-Manifolds

    R. Vanlaere. “Non Null-Controllability Properties of the Grushin-Like Heat Equation on 2D-Manifolds”. In:arXiv preprint arXiv:2503.00997(2025)

    work page arXiv 2025

  33. [33]

    Observability properties of the singular Grushin equation

    R. Vanlaere. “Observability properties of the singular Grushin equation”. In:arXiv preprint arXiv:2602.08044 (2026). 28

    work page arXiv 2026