pith. sign in

arxiv: 2407.20702 · v2 · pith:5FPYCCOTnew · submitted 2024-07-30 · 🧮 math.NA · cs.NA· math.OC

A priori error estimates for optimal control problems governed by the transient Stokes equations and subject to state constraints pointwise in time

Dmitriy Leykekhman , Boris Vexler , Jakob Wagner This is my paper

Pith reviewed 2026-05-23 23:07 UTC · model grok-4.3

classification 🧮 math.NA cs.NAmath.OC
keywords optimal controlstate constraintstransient Stokes equationsfinite elementsdiscontinuous Galerkina priori error estimatesregularity
0
0 comments X

The pith

Error estimates are derived for discretized optimal control of the transient Stokes equations with pointwise-in-time state constraints.

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

The paper considers an optimal control problem for the time-dependent Stokes equations where an L2-norm of the state in space must obey a bound at every instant in time. It uses a mixed finite-element discretization in space that is inf-sup stable together with a discontinuous Galerkin scheme in time. Relying on earlier best-approximation results for this scheme, the authors obtain a priori error bounds between the continuous and discrete optimal controls and, as a side result, establish higher regularity of the optimal control itself.

Core claim

For the discrete optimal control problem, a priori error estimates are established based on best approximation type error estimates for the state equation, and as a by-product an improved regularity result for the optimal control is shown.

What carries the argument

Inf-sup stable finite-element discretization in space combined with discontinuous Galerkin time stepping for the transient Stokes system, used to transfer state-equation approximation properties to the control problem.

If this is right

  • Error bounds hold between the continuous and discrete optimal controls.
  • An improved regularity result follows for the optimal control.
  • The same discretization yields convergent approximations for the state and adjoint variables under the state constraint.

Where Pith is reading between the lines

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

  • The regularity gain may allow simpler treatment of related control problems with pointwise-in-time constraints.
  • The estimates could be used to design adaptive refinement algorithms that respect the time-point constraint.
  • Similar transfer arguments might apply to other parabolic systems once best-approximation results are available.

Load-bearing premise

The analysis assumes that best-approximation error estimates already hold for the chosen space-time discretization of the Stokes system.

What would settle it

Numerical computation of the discrete control on successively refined meshes that yields observed convergence rates materially slower than the predicted rates would falsify the error estimates.

read the original abstract

In this paper, we consider a state constrained optimal control problem governed by the transient Stokes equations. The state constraint is given by an L2 functional in space, which is required to fulfill a pointwise bound in time. The discretization scheme for the Stokes equations consists of inf-sup stable finite elements in space and a discontinuous Galerkin method in time, for which we have recently established best approximation type error estimates. Using these error estimates, for the discrete control problem we establish error estimates and as a by-product we show an improved regularity for the optimal control. We complement our theoretical analysis with numerical results.

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 / 2 minor

Summary. The manuscript analyzes a state-constrained optimal control problem for the transient Stokes equations, where the constraint is an L² functional in space required to satisfy a pointwise bound in time. The discretization employs inf-sup stable finite elements in space and discontinuous Galerkin in time. Building on the authors' prior best-approximation error estimates for the Stokes system, the paper derives a priori error estimates for the discrete optimal control problem and obtains an improved regularity result for the optimal control as a byproduct. Numerical experiments are included to illustrate the theory.

Significance. If the central transfer of the prior Stokes error estimates to the optimality system holds, the work supplies rigorous a priori bounds for a practically relevant class of time-dependent fluid control problems with pointwise-in-time state constraints. The byproduct regularity improvement for the control is a concrete technical contribution. The numerical results serve as verification rather than primary evidence. The approach is standard in PDE-constrained optimization but the application to transient Stokes with this constraint type adds value when the derivations are complete.

minor comments (2)
  1. The dependence on the authors' recent Stokes discretization paper is clearly stated in the abstract and introduction, but a short self-contained recap of the precise error orders used (e.g., the constants and norms appearing in the best-approximation bounds) would improve readability without lengthening the manuscript substantially.
  2. Notation for the time-discontinuous Galerkin spaces and the pointwise-in-time constraint functional could be made more uniform across sections to avoid minor ambiguity when the optimality system is written in weak form.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive assessment of its significance, and the recommendation for minor revision. We are pleased that the transfer of the prior best-approximation estimates and the resulting a priori bounds for the state-constrained control problem, together with the improved regularity of the control, are viewed as concrete contributions.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation applies best-approximation error estimates previously established for the transient Stokes discretization (via inf-sup stable FEM in space and DG in time) to the state-constrained optimal control setting. This transfer to the discrete control problem, including derivation of error bounds and improved regularity for the control, is an independent analytical step that does not reduce by construction to the inputs or to a self-citation chain. The cited prior results on the Stokes system are external to the current claims and are not redefined or fitted within this manuscript. No self-definitional loops, fitted predictions presented as new results, or ansatz smuggling appear in the structure described.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no explicit free parameters, axioms, or invented entities can be identified from the given text.

pith-pipeline@v0.9.0 · 5640 in / 995 out tokens · 38836 ms · 2026-05-23T23:07:11.248336+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

41 extracted references · 41 canonical work pages

  1. [1]

    A PPELL , J

    J. A PPELL , J. B ANAS , AND N. J. M ERENTES D´IAZ, Bounded Variation and Around, DE GRUYTER, Dec. 2013

    work page 2013

  2. [2]

    A TTOUCH , G

    H. A TTOUCH , G. B UTTAZZO , AND G. M ICHAILLE , Variational analysis in Sobolev and BV spaces: applications to PDEs and optimization , no. 17 in MOS-SIAM series on optimization, Society for Industrial and Applied Mathematics : Mathematical Optimization Society, Philadelphia, second edition ed., 2014

    work page 2014

  3. [3]

    A USCHER , N

    P. A USCHER , N. BADR , R. H ALLER -D INTELMANN , AND J. R EHBERG , The square root problem for second- order, divergence form operators with mixed boundary conditions on L p, J. Evol. Equ., 15 (2015), pp. 165– 208

    work page 2015

  4. [4]

    B EHRINGER , B

    N. B EHRINGER , B. V EXLER , AND D. L EYKEKHMAN , Fully discrete best-approximation-type estimates in L∞ (I;L2(Ω)d) for finite element discretizations of the transient Stokes equations , IMA J. Numer. Anal., 43 (2023), pp. 852–880

    work page 2023

  5. [5]

    B OFFI, F

    D. B OFFI, F. BREZZI , AND M. F ORTIN , Mixed Finite Element Methods and Applications, vol. 44 of Springer Series in Computational Mathematics, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013

    work page 2013

  6. [6]

    B OYER AND P

    F. B OYER AND P. FABRIE , Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models, vol. 183 of Applied Mathematical Sciences, Springer New York, New York, NY , 2013

    work page 2013

  7. [7]

    C ASAS , Boundary Control of Semilinear Elliptic Equations with Pointwise State Constraints, SIAM Journal on Control and Optimization, 31 (1993), pp

    E. C ASAS , Boundary Control of Semilinear Elliptic Equations with Pointwise State Constraints, SIAM Journal on Control and Optimization, 31 (1993), pp. 993–1006

    work page 1993

  8. [8]

    C HRISTOF AND B

    C. C HRISTOF AND B. V EXLER , New regularity results and finite element error estimates for a class of parabolic optimal control problems with pointwise state constraints , ESAIM: Control, Optimisation and Calculus of Variations, 27 (2021), p. 4

    work page 2021

  9. [9]

    C HRYSAFINOS AND N

    K. C HRYSAFINOS AND N. J. W ALKINGTON , Discontinuous Galerkin approximations of the Stokes and Navier-Stokes equations, Math. Comp., 79 (2010), pp. 2135–2167

    work page 2010

  10. [10]

    D AUGE , Stationary Stokes and Navier–Stokes Systems on Two- or Three-Dimensional Domains with Corners

    M. D AUGE , Stationary Stokes and Navier–Stokes Systems on Two- or Three-Dimensional Domains with Corners. Part I. Linearized Equations, SIAM Journal on Mathematical Analysis, 20 (1989), pp. 74–97. 32 D. LEYKEKHMAN, B. VEXLER AND J. W AGNER

    work page 1989

  11. [11]

    D E LOS REYES AND R

    J. D E LOS REYES AND R. G RIESSE , State-constrained optimal control of the three-dimensional stationary Navier–Stokes equations, Journal of Mathematical Analysis and Applications, 343 (2008), pp. 257–272

    work page 2008

  12. [12]

    J. C. D E LOS REYES AND K. K UNISCH , A Semi-smooth Newton Method for Regularized State-constrained Optimal Control of the Navier-Stokes Equations, Computing, 78 (2006), pp. 287–309

    work page 2006

  13. [13]

    J. C. DE LOS REYES , C. M EYER , AND B. V EXLER , Finite element error analysis for state-constrained optimal control of the Stokes equations, Control Cybernet., 37 (2008), pp. 251–284

    work page 2008

  14. [14]

    J. C. D E LOS REYES AND I. Y OUSEPT , Regularized state-constrained boundary optimal control of the Navier–Stokes equations, Journal of Mathematical Analysis and Applications, 356 (2009), pp. 257–279

    work page 2009

  15. [15]

    D ECKELNICK AND M

    K. D ECKELNICK AND M. H INZE , Variational Discretization of Parabolic Control Problems in the Presence of Pointwise State Constraints, Journal of Computational Mathematics, 29 (2011), pp. 1–15

    work page 2011

  16. [16]

    E RN AND J.-L

    A. E RN AND J.-L. G UERMOND , Finite Elements II: Galerkin Approximation, Elliptic and Mixed PDEs , vol. 73 of Texts in Applied Mathematics, Springer International Publishing, Cham, 2021

    work page 2021

  17. [17]

    H. O. F ATTORINI AND S. S. S RITHARAN , Optimal Control Problems with State Constraints in Fluid Mechanics and Combustion, Applied Mathematics and Optimization, 38 (1998), pp. 159–192

    work page 1998

  18. [18]

    G IRAULT AND P.-A

    V. G IRAULT AND P.-A. R AVIART, Finite Element Methods for Navier-Stokes Equations , vol. 5 of Springer Series in Computational Mathematics, Springer Berlin Heidelberg, Berlin, Heidelberg, 1986

    work page 1986

  19. [19]

    G ONG AND M

    W. G ONG AND M. H INZE , Error estimates for parabolic optimal control problems with control and state constraints, Computational Optimization and Applications, 56 (2013), pp. 131–151

    work page 2013

  20. [20]

    H EIDA , R

    M. H EIDA , R. I. A. P ATTERSON , AND D. R. M. R ENGER , Topologies and measures on the space of functions of bounded variation taking values in a Banach or metric space , Journal of Evolution Equations, 19 (2019), pp. 111–152

    work page 2019

  21. [21]

    H INZE , A Variational Discretization Concept in Control Constrained Optimization: The Linear-Quadratic Case, Computational Optimization and Applications, 30 (2005), pp

    M. H INZE , A Variational Discretization Concept in Control Constrained Optimization: The Linear-Quadratic Case, Computational Optimization and Applications, 30 (2005), pp. 45–61

    work page 2005

  22. [22]

    H INZE , R

    M. H INZE , R. P INNAU , M. U LBRICH , AND S. U LBRICH , eds., Optimization with PDE constraints, no. 23 in Mathematical modelling: theory and applications, Springer, New York, 2009

    work page 2009

  23. [23]

    H YT ¨ONEN , J

    T. H YT ¨ONEN , J. V AN NEERVEN , M. V ERAAR , AND L. W EIS, Bochner spaces, in Analysis in Banach Spaces, Springer International Publishing, Cham, 2016, pp. 1–66

    work page 2016

  24. [24]

    J OHN AND D

    C. J OHN AND D. WACHSMUTH , Optimal Dirichlet Boundary Control of Stationary Navier–Stokes Equations with State Constraint, Numerical Functional Analysis and Optimization, 30 (2009), pp. 1309–1338

    work page 2009

  25. [25]

    J OHN, Finite Element Methods for Incompressible Flow Problems , vol

    V. J OHN, Finite Element Methods for Incompressible Flow Problems , vol. 51 of Springer Series in Computational Mathematics, Springer International Publishing, Cham, 2016

    work page 2016

  26. [26]

    K ELLOGG AND J

    R. K ELLOGG AND J. O SBORN , A regularity result for the Stokes problem in a convex polygon , Journal of Functional Analysis, 21 (1976), pp. 397–431

    work page 1976

  27. [27]

    K INDERLEHRER AND G

    D. K INDERLEHRER AND G. S TAMPACCHIA , An introduction to variational inequalities and their applications, no. 31 in Classics in applied mathematics, Soc. for Industrial and Applied Mathematics, Philadelphia, Pa, unabridged republication of the 1980 text ed., 2000

    work page 1980

  28. [28]

    L EYKEKHMAN AND B

    D. L EYKEKHMAN AND B. V EXLER , L2(I;H1(Ω)) and L2(I;L2(Ω)) best approximation type error estimates for Galerkin solutions of transient Stokes problems, Calcolo, 61 (2024), p. 7

    work page 2024

  29. [29]

    L IU, Optimal control problems with state constraint governed by Navier–Stokes equations , Nonlinear Analysis: Theory, Methods & Applications, 73 (2010), pp

    H. L IU, Optimal control problems with state constraint governed by Navier–Stokes equations , Nonlinear Analysis: Theory, Methods & Applications, 73 (2010), pp. 3924–3939

    work page 2010

  30. [30]

    L OGG , K

    A. L OGG , K. M ARDAL , G. N. W ELLS , ET AL ., Automated Solution of Differential Equations by the Finite Element Method, Springer, 2012

    work page 2012

  31. [31]

    L UDOVICI , I

    F. L UDOVICI , I. N EITZEL , AND W. WOLLNER , A Priori Error Estimates for State-Constrained Semilinear Parabolic Optimal Control Problems, Journal of Optimization Theory and Applications, 178 (2018), pp. 317– 348

    work page 2018

  32. [32]

    L UDOVICI AND W

    F. L UDOVICI AND W. WOLLNER , A Priori Error Estimates for a Finite Element Discretization of Parabolic Optimization Problems with Pointwise Constraints in Time on Mean Values of the Gradient of the State, SIAM Journal on Control and Optimization, 53 (2015), pp. 745–770

    work page 2015

  33. [33]

    M EIDNER , R

    D. M EIDNER , R. R ANNACHER , AND B. V EXLER , A priori error estimates for finite element discretizations of parabolic optimization problems with pointwise state constraints in time, SIAM J. Control Optim., 49 (2011), ERROR ESTIMATES FOR A STATE CONSTRAINED STOKES OPTIMAL CONTROL PROBLEM 33 pp. 1961–1997

    work page 2011

  34. [34]

    S IMON , Compact Sets in the Space Lp(0,T ;B), Annali di Matematica pura ed applicata, 146 (1986), pp

    J. S IMON , Compact Sets in the Space Lp(0,T ;B), Annali di Matematica pura ed applicata, 146 (1986), pp. 65– 96

    work page 1986

  35. [35]

    S OHR, The Navier-Stokes Equations, Springer Basel, Basel, 2001

    H. S OHR, The Navier-Stokes Equations, Springer Basel, Basel, 2001

    work page 2001

  36. [36]

    T EMAM , Navier-Stokes equations

    R. T EMAM , Navier-Stokes equations. Theory and numerical analysis , North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. Studies in Mathematics and its Applications, V ol. 2

    work page 1977

  37. [37]

    https://www.sagemath.org

    T HE SAGE DEVELOPERS , SageMath, the Sage Mathematics Software System (Version 9.5) , 2022. https://www.sagemath.org

    work page 2022

  38. [38]

    V EXLER AND J

    B. V EXLER AND J. W AGNER , Error estimates for finite element discretizations of the instationary Navier–Stokes equations, ESAIM: Mathematical Modelling and Numerical Analysis, 58 (2024), pp. 457–488

    work page 2024

  39. [39]

    W ANG, Optimal Controls of 3-Dimensional Navier–Stokes Equations with State Constraints , SIAM Journal on Control and Optimization, 41 (2002), pp

    G. W ANG, Optimal Controls of 3-Dimensional Navier–Stokes Equations with State Constraints , SIAM Journal on Control and Optimization, 41 (2002), pp. 583–606

    work page 2002

  40. [40]

    , Pontryagin maximum principle of optimal control governed by fluid dynamic systems with two point boundary state constraint, Nonlinear Analysis, (2002)

    work page 2002

  41. [41]

    W ANG AND L

    G. W ANG AND L. WANG, Maximum principle of state-constrained optimal control governed by fluid dynamic systems, Nonlinear Analysis, (2003)

    work page 2003