[Paper Review] Unexpected quadratic behaviors for the small-time local null controllability of scalar-input parabolic equations

Karine Beauchard, Frédéric Marbach|arXiv (Cornell University)|Dec 28, 2017

Stability and Controllability of Differential Equations43 references17 citations

TL;DR

This paper analyzes small-time local null controllability of scalar-input parabolic equations near equilibria where linearization fails. It identifies two novel infinite-dimensional quadratic behaviors: continuous families of obstructions via fractional negative Sobolev norms, and the surprising recovery of small-time local null controllability through quadratic expansion—demonstrating that an infinite number of directions can be recovered using $ H^{-s} $-regular controls, a phenomenon impossible in finite dimensions.

ABSTRACT

We consider scalar-input control systems in the vicinity of an equilibrium, at which the linearized systems are not controllable. For finite dimensional control systems, the authors recently classified the possible quadratic behaviors. Quadratic terms introduce coercive drifts in the dynamics, quantified by integer negative Sobolev norms, which are linked to Lie brackets and which prevent smooth small-time local controllability for the full nonlinear system. In the context of nonlinear parabolic equations, we prove that the same obstructions persist. More importantly, we prove that two new behaviors occur, which are impossible in finite dimension. First, there exists a continuous family of quadratic obstructions quantified by fractional negative Sobolev norms or by weighted variations of them. Second, and more strikingly, small-time local null controllability can sometimes be recovered from the quadratic expansion. We also construct a system for which an infinite number of directions are recovered using a quadratic expansion. As in the finite dimensional case, the relation between the regularity of the controls and the strength of the possible quadratic obstructions plays a key role in our analysis.

Motivation & Objective

• To analyze small-time local null controllability of scalar-input parabolic equations when linearized systems are not controllable.
• To extend finite-dimensional quadratic controllability classifications to infinite-dimensional parabolic systems.
• To identify and characterize new quadratic behaviors specific to infinite-dimensional settings, particularly those involving fractional Sobolev norms.
• To investigate whether small-time local null controllability can be recovered through second-order dynamics despite linear obstructions.
• To determine the role of control regularity (e.g., $ H^{-s} $, $ W^{-n, ho} $) in enabling or obstructing controllability.

Proposed method

• Analyzes the second-order expansion of nonlinear parabolic control systems governed by a scalar heat equation with Neumann boundary conditions.
• Uses spectral decomposition via eigenfunctions $ ho_k(x) = \frac{1}{\sqrt{\pi}} \sqrt{2} \cos(kx) $ to project the system into a sequence of ODEs.
• Applies Fourier analysis and fractional Sobolev norms $ \|f\|_{H^{-s}(\mathbb{R})} $ to characterize control regularity and its impact on quadratic drifts.
• Introduces weighted variations of negative Sobolev norms to model continuous families of quadratic obstructions in infinite dimensions.
• Employs the flatness method and iterative construction of control functions with compactly supported Fourier transforms to achieve null controllability.
• Establishes uniform control cost estimates in $ H^{-s} $ norms for $ s \in (0, \frac{1}{2}) $, showing blow-up of costs in stronger norms.

Experimental results

Research questions

• RQ1 Can small-time local null controllability be recovered in parabolic systems when linearized systems are not controllable?
• RQ2 What new quadratic behaviors emerge in infinite-dimensional parabolic systems that are absent in finite-dimensional counterparts?
• RQ3 How do fractional negative Sobolev norms of controls influence the existence and strength of quadratic obstructions?
• RQ4 Is it possible to recover an infinite number of lost directions in controllability using quadratic expansion?
• RQ5 What is the minimal regularity of controls required to achieve uniform small-time control cost estimates in the presence of quadratic drifts?

Key findings

• Two new infinite-dimensional quadratic behaviors are identified: continuous families of obstructions quantified by fractional negative Sobolev norms or their weighted variants.
• Small-time local null controllability can be recovered via quadratic expansion, even when linearized systems are not controllable—contrary to finite-dimensional expectations.
• An explicit example is constructed where an infinite number of directions are recovered using $ H^{-s} $-regular controls with $ s \in (0, \frac{1}{2}) $, achieving uniform control cost in small time.
• Control cost blows up like $ T^{-n - m + \frac{1}{p}} $ when measured in $ W^{-n, p} $ norms for $ p \in [1, \infty] $, but remains bounded in $ H^{-s} $ norms for $ s \in (0, \frac{1}{2}) $.
• The control cost is uniform in small time only when measured in $ H^{-s} $ norms for $ s \in (0, \frac{1}{2}) $, but not in $ W^{-n+1, \infty} $, indicating a sharp threshold in regularity.
• The system exhibits a non-trivial interplay between control regularity and the strength of quadratic obstructions, with $ H^{-s} $ norms enabling recovery where stronger norms fail.