pith. sign in

arxiv: 1907.02744 · v1 · pith:X66NEXYAnew · submitted 2019-07-05 · 🧮 math.OC

Optimal control of an energy-critical semilinear wave equation in 3D with spatially integrated control constraints

Karl Kunisch , Hannes Meinlschmidt This is my paper

Pith reviewed 2026-05-25 02:19 UTC · model grok-4.3

classification 🧮 math.OC
keywords optimal controlsemilinear wave equationStrichartz estimatessecond-order optimality conditionssparsitytrust-region constraints
0
0 comments X

The pith

Existence of globally optimal controls and first- and second-order optimality conditions are established for the energy-critical semilinear wave equation with integrated control constraints.

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

The paper addresses an optimal control problem for the H^1-critical defocusing semilinear wave equation in three dimensions subject to pointwise-in-time L^2-norm constraints on the control of trust-region type. It proves existence of globally optimal solutions and derives first-order necessary optimality conditions, second-order necessary conditions, and second-order sufficient conditions. A nonsmooth regularization term is introduced in the objective to handle the natural control space L^1(0,T;L^2(Ω)) while promoting sparsity in time. The approach relies on special function spaces tied to Strichartz estimates to secure unique solutions with energy bounds despite the critical nonlinearity.

Core claim

We prove existence of globally optimal solutions to the optimal control problem for the H^1-critical defocusing semilinear wave equation on a smooth bounded domain in three spatial dimensions with pointwise-in-time constraints ||u(t)||_L^2(Ω) ≤ ω(t), and we give first- and second-order necessary as well as second-order sufficient optimality conditions, using a nonsmooth regularization term for the control space L^1(0,T;L^2(Ω)) that also promotes sparsity in time.

What carries the argument

The trust-region type control constraints ||u(t)||_L^2(Ω) ≤ ω(t) together with Strichartz-based function spaces that guarantee unique energy-bounded solutions to the critical wave equation and the nonsmooth regularization term promoting temporal sparsity.

If this is right

  • Globally optimal controls exist for the given constrained problem.
  • First-order necessary conditions can be stated for any optimal pair.
  • Second-order sufficient conditions guarantee that a candidate is a local minimizer.
  • The nonsmooth regularization term yields optimal controls that are sparse in time.

Where Pith is reading between the lines

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

  • The same existence and optimality framework may extend to other critical semilinear hyperbolic systems once analogous Strichartz spaces are available.
  • Sparsity-promoting controls obtained this way could reduce actuator effort in applications such as structural vibration damping.
  • Second-order conditions open the door to local quadratic convergence in numerical solvers that discretize the optimality system.

Load-bearing premise

Unique solutions to the wave equation that obey energy bounds exist only in special function spaces related to Strichartz estimates and the nonlinearity.

What would settle it

A concrete control input for which the corresponding state fails to exist in the Strichartz function spaces while satisfying the energy bound, or an instance of the optimal control problem for which no globally optimal solution exists.

read the original abstract

This paper is concerned with an optimal control problem subject to the $H^1$-critical defocusing semilinear wave equation on a smooth and bounded domain in three spatial dimensions. Due to the criticality of the nonlinearity in the wave equation, unique solutions to the PDE obeying energy bounds are only obtained in special function spaces related to Strichartz estimates and the nonlinearity. The optimal control problem is complemented by pointwise-in-time constraints of Trust-Region type $\|u(t)\|_{L^2(\Omega)} \leq \omega(t)$. We prove existence of globally optimal solutions to the optimal control problem and give optimality conditions of both first- and second order necessary as well as second order sufficient type. A nonsmooth regularization term for the natural control space $L^1(0,T;L^2(\Omega))$, which also promotes sparsity in time of an optimal control, is used in the objective functional.

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 paper studies an optimal control problem for the 3D energy-critical defocusing semilinear wave equation on a bounded domain, subject to pointwise-in-time L²-norm (trust-region) constraints on the control. It establishes existence of globally optimal controls in the space L¹(0,T;L²(Ω)) and derives first-order necessary, second-order necessary, and second-order sufficient optimality conditions, employing a nonsmooth L¹-regularization term in the objective that promotes temporal sparsity.

Significance. If the results hold, the work extends optimal control theory to a critical nonlinear wave equation setting where standard energy-space well-posedness fails and Strichartz spaces are required. The combination of direct-method existence arguments with subdifferential calculus for the nonsmooth objective and linearized second-order analysis supplies a reusable framework for sparse control of wave systems. The second-order sufficient conditions are a notable strength, as they support local uniqueness and numerical verification in this technically demanding regime.

minor comments (3)
  1. [§2.2] §2.2: the precise definition of the admissible control set and the embedding of the Strichartz space into the energy space should be stated explicitly before the existence theorem, as the constraint is only in L²-norm and the nonlinearity is critical.
  2. [Theorem 5.3] The statement of the second-order sufficient condition (around Theorem 5.3) assumes a quadratic growth term whose constant depends on the Strichartz norm of the reference state; a brief remark on how this constant is controlled independently of the control would improve readability.
  3. [§6] Figure 1 (if present) or the numerical example in §6: the caption should indicate the precise value of ω(t) and the mesh size used for the wave equation discretization.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation for minor revision. The summary accurately captures the main contributions regarding existence of optimal controls and first- and second-order optimality conditions for the energy-critical wave equation under trust-region constraints with L1 regularization. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Strichartz theory and standard variational methods

full rationale

The paper proves existence of global optima and first-/second-order optimality conditions for the control problem. Well-posedness of the state equation is obtained in Strichartz spaces, which is a standard external result for the 3D energy-critical wave equation and is not derived internally. Existence follows from direct methods in the calculus of variations applied to the admissible set and nonsmooth objective; first-order conditions use subdifferential calculus; second-order conditions use linearization and the same Strichartz estimates. No quoted step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence theory for the critical semilinear wave equation in Strichartz-type spaces and on standard assumptions of optimal-control theory for PDEs.

axioms (1)
  • domain assumption Unique solutions obeying energy bounds exist only in special function spaces related to Strichartz estimates and the nonlinearity.
    Explicitly invoked in the abstract to justify the function-space setting.

pith-pipeline@v0.9.0 · 5689 in / 1190 out tokens · 21357 ms · 2026-05-25T02:19:35.456681+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages

  1. [1]

    Arendt, C

    W. Arendt, C. J. Batty, M. Hieber, and F. Neubrander , Vector-valued Laplace Transforms and Cauchy Problems , Springer Science + Business Media, 2011

    work page 2011

  2. [2]

    M. D. Blair, H. F. Smith, and C. D. Sogge , Strichartz estimates for the wave equation on manifolds with boundary , Annales de l’Institut Henri Poincar´ e (C) Non Linear Analy sis, 26 (2009), pp. 1817–1829

    work page 2009

  3. [3]

    N. Burq, G. Lebeau, and F. Planchon , Global Existence for Energy Critical Waves in 3-D Domains, Journal of the American Mathematical Society, 21 (2008), p p. 831–845

    work page 2008

  4. [4]

    Burq and F

    N. Burq and F. Planchon , Global existence for energy critical waves in 3-d domains: N eumann boundary conditions, American Journal of Mathematics, 131 (2009), pp. 1715–174 2. 40

    work page 2009

  5. [5]

    Casas, R

    E. Casas, R. Herzog, and G. W achsmuth , Analysis of spatio-temporally sparse optimal con- trol problems of semilinear parabolic equations , ESAIM: Control, Optimisation and Calculus of Variations, 23 (2016), pp. 263–295

    work page 2016

  6. [6]

    Cavalcanti, L

    M. Cavalcanti, L. F atori, and T. Ma , Attractors for wave equations with degenerate memory , Journal of Differential Equations, 260 (2016), pp. 56–83

    work page 2016

  7. [7]

    Dautray and J.-L

    R. Dautray and J.-L. Lions , Mathematical Analysis and Numerical Methods for Science an d Technology. Vol. 5 , Springer-Verlag, Berlin, 1992. Evolution problems. I, Wi th the collaboration of Michel Artola, Michel Cessenat and H´ el` ene Lanchon, Translated from the French by Alan Craig

    work page 1992

  8. [8]

    Dehman and G

    B. Dehman and G. Lebeau , Analysis of the HUM control operator and exact controllabil ity for semilinear waves in uniform time , SIAM Journal on Control and Optimization, 48 (2009), pp. 52 1– 550

    work page 2009

  9. [9]

    Dehman, G

    B. Dehman, G. Lebeau, and E. Zuazua , Stabilization and control for the subcritical semilinear wave equation , Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure, 36 (2003), pp. 525–551

    work page 2003

  10. [10]

    Diestel, W

    J. Diestel, W. M. Ruess, and W. Schachermayer , Weak compactness in L1(µ, X), Proceedings of the American Mathematical Society, 118 (1993), p. 447

    work page 1993

  11. [11]

    Donninger , Strichartz estimates in similarity coordinates and stable blowup for the critical wave equation , Duke Mathematical Journal, 166 (2017), pp

    R. Donninger , Strichartz estimates in similarity coordinates and stable blowup for the critical wave equation , Duke Mathematical Journal, 166 (2017), pp. 1627–1683

    work page 2017

  12. [12]

    Dunford and J

    N. Dunford and J. T. Schw artz , Linear Operators. I. General Theory , With the assistance of W. G. Bade and R. G. Bartle. Pure and Applied Mathematics, Vol . 7, Interscience Publishers, Inc., New York, 1958

    work page 1958

  13. [13]

    Duyckaerts, C

    T. Duyckaerts, C. Kenig, and F. Merle , Concentration-compactness and universal profiles for the non-radial energy critical wave equation , Nonlinear Analysis, 138 (2016), pp. 44–82

    work page 2016

  14. [14]

    1675–1690

    , Global existence for solutions of the focusing wave equatio n with the compactness property , Annales de l’Institut Henri Poincar´ e (C) Non Linear Analys is, 33 (2016), pp. 1675–1690

    work page 2016

  15. [15]

    L. C. Evans , Partial differential equations , Graduate studies in mathematics, American Mathe- matical Society, Providence (R.I.), 1998

    work page 1998

  16. [16]

    F arahi, J

    M. F arahi, J. Rubio, and D. Wilson , The global control of a nonlinear wave equation , Interna- tional Journal of Control, 65 (1996), pp. 1–15

    work page 1996

  17. [17]

    Friedlander and M

    F. Friedlander and M. Joshi , Introduction to the Theory of Distributions , Cambridge University Press, 1998

    work page 1998

  18. [18]

    Goldberg, W

    H. Goldberg, W. Kampowsky, and F. Tr ¨oltzsch, On Nemytskij operators in Lp-spaces of abstract functions , Mathematische Nachrichten, 155 (1992), pp. 127–140

    work page 1992

  19. [19]

    M. G. Grillakis , Regularity for the wave equation with a critical nonlineari ty, Communications on Pure and Applied Mathematics, 45 (1992), pp. 749–774

    work page 1992

  20. [20]

    Heisenberg , Mesonenerzeugung als Stoßwellenproblem , Zeitschrift f¨ ur Physik A Hadrons and Nuclei, 133 (1952), pp

    W. Heisenberg , Mesonenerzeugung als Stoßwellenproblem , Zeitschrift f¨ ur Physik A Hadrons and Nuclei, 133 (1952), pp. 65–79

    work page 1952

  21. [21]

    H. Jia, B. Liu, W. Schlag, and G. Xu , Generic and non-generic behavior of solutions to defo- cusing energy critical wave equation with potential in the r adial case , International Mathematics Research Notices, (2016), p. rnw181

    work page 2016

  22. [22]

    Joly and C

    R. Joly and C. Laurent , Stabilization for the semilinear wave equation with geomet ric control condition, Analysis & PDE, 6 (2013), pp. 1089–1119

    work page 2013

  23. [23]

    J ¨orgens, ¨Uber die nichtlinearen Wellengleichungen der mathematisc hen Physik, Mathematische Annalen, 138 (1959), pp

    K. J ¨orgens, ¨Uber die nichtlinearen Wellengleichungen der mathematisc hen Physik, Mathematische Annalen, 138 (1959), pp. 179–202

    work page 1959

  24. [24]

    Kalantarov, A

    V. Kalantarov, A. Savostianov, and S. Zelik , Attractors for damped quintic wave equations in bounded domains, Annales Henri Poincar´ e, 17 (2016), pp. 2555–2584

    work page 2016

  25. [25]

    Kenig , The focusing energy-critical wave equation , in Harmonic Analysis, Partial Differential Equations and Applications, Springer International Publi shing, 2017, pp

    C. Kenig , The focusing energy-critical wave equation , in Harmonic Analysis, Partial Differential Equations and Applications, Springer International Publi shing, 2017, pp. 97–107

    work page 2017

  26. [26]

    Lai , Blow up of critical semilinear wave equations on Schwarzsch ild spacetime , Journal of Mathematical Analysis and Applications, 409 (2014), pp

    N.-A. Lai , Blow up of critical semilinear wave equations on Schwarzsch ild spacetime , Journal of Mathematical Analysis and Applications, 409 (2014), pp. 71 6–721

    work page 2014

  27. [27]

    Lasiecka and D

    I. Lasiecka and D. Tataru , Uniform boundary stabilization of semilinear wave equatio ns with nonlinear boundary damping , Differential Integral Equations, 6 (1993), pp. 507–533

    work page 1993

  28. [28]

    I. E. Leonard and K. Sundaresan , Geometry of Lebesgue-Bochner function spaces–smoothness , Trans. Amer. Math. Soc., 198 (1974), pp. 229–229

    work page 1974

  29. [29]

    H. A. Levine , Minimal periods for solutions of semilinear wave equations in exterior domains and for solutions of the equations of nonlinear elasticity , Journal of Mathematical Analysis and Applications, 135 (1988), pp. 297–308

    work page 1988

  30. [30]

    J. L. Lions and E. Magenes , Non-Homogeneous Boundary Value Problems and Applications , Springer Berlin Heidelberg, 1972. 41

    work page 1972

  31. [31]

    B. S. Mordukhovich and J.-P. Raymond , Neumann boundary control of hyperbolic equations with pointwise state constraints , SIAM Journal on Control and Optimization, 43 (2004), pp. 13 54–1372

    work page 2004

  32. [32]

    L. I. Schiff , Nonlinear meson theory of nuclear forces. I. neutral scalar mesons with point-contact repulsion, Physical Review, 84 (1951), pp. 1–9

    work page 1951

  33. [33]

    Shatah and M

    J. Shatah and M. Struwe , Regularity results for nonlinear wave equations , The Annals of Math- ematics, 138 (1993), p. 503

    work page 1993

  34. [34]

    , Well-posedness in the energy space for semilinear wave equa tions with critical growth , International Mathematics Research Notices, 1994 (1994), p. 303

    work page 1994

  35. [35]

    A. Shaw, T. Hill, S. Neild, and M. Friswell , Periodic responses of a structure with 3:1 internal resonance, Mechanical Systems and Signal Processing, 81 (2016), pp. 1 9–34

    work page 2016

  36. [36]

    Simon , Compact sets in the space Lp(0, T ; B), Ann

    J. Simon , Compact sets in the space Lp(0, T ; B), Ann. Mat. Pura Appl. (4), 146 (1986), pp. 65–96

    work page 1986

  37. [37]

    H. F. Smith and C. D. Sogge , On the critical semilinear wave equation outside convex obs tacles, Journal of the American Mathematical Society, 8 (1995), pp. 879–879

    work page 1995

  38. [38]

    C. D. Sogge , Lectures on nonlinear wave equations , no. Bd. 2 in Monographs in analysis, Interna- tional Press, 1995

    work page 1995

  39. [39]

    D. M. Stuart , The geodesic hypothesis and non-topological solitons on ps eudo-Riemannian man- ifolds, Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure, 37 (2004), pp. 312–362

    work page 2004

  40. [40]

    , Geodesics and the Einstein nonlinear wave system , Journal de Math´ ematiques Pures et Appliqu´ ees, 83 (2004), pp. 541–587

    work page 2004

  41. [41]

    Tao , Nonlinear Dispersive Equations: Local and Global Analysis , no

    T. Tao , Nonlinear Dispersive Equations: Local and Global Analysis , no. Nr. 106 in Conference Board of the Mathematical Sciences. Regional conference se ries in mathematics, American Mathe- matical Soc., 2006. 42

    work page 2006