Optimal Control of the Navier-Stokes equations via Pressure Boundary Conditions
Pith reviewed 2026-05-23 05:47 UTC · model grok-4.3
The pith
A tracking-type cost functional ensures existence of an optimal control for the instationary Navier-Stokes equations with pressure boundary conditions, even though the state equations are not well-posed for large data or times.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Despite the Navier-Stokes equations with these boundary conditions not being well-posed for large times and/or data, we obtain wellposedness of the optimal control problem by choosing a proper tracking type term. New results on L²(I; H²(Ω)) regularity of solutions to a Stokes problem with mixed inhomogeneous boundary conditions are used to discuss the regularity of the optimal control, state and adjoint state.
What carries the argument
The tracking-type term in the cost functional, which restores existence of a minimizer without requiring the state equation to be well-posed for arbitrary data.
If this is right
- Existence of an optimal control is guaranteed once the tracking term is included.
- Regularity of the optimal control, state and adjoint can be analyzed using the new Stokes regularity results.
- The approach applies to the instationary Navier-Stokes system controlled through pressure-type boundary conditions.
- The mixed boundary conditions can be treated directly in the optimality system.
Where Pith is reading between the lines
- The same device of adding a tracking term might restore well-posedness for optimal control of other state equations that are only conditionally well-posed.
- The Stokes regularity result may be reusable for other control or inverse problems that involve mixed Neumann-Dirichlet boundaries.
- Numerical approximation schemes could exploit the guaranteed existence to design convergent discretizations without additional regularization.
Load-bearing premise
That a suitable tracking-type cost functional exists which restores existence of an optimal control without requiring the state equation itself to be well-posed for arbitrary data.
What would settle it
A concrete data set and time interval for which the chosen tracking functional admits no minimizer, or for which existence fails when the tracking term is removed while keeping the same boundary conditions.
read the original abstract
In this work we study an optimal control problem subject to the instationary Navier-Stokes equations, where the control enters via an inhomogeneous Neumann/Do-Nothing boundary condition. Despite the Navier-Stokes equations with these boundary conditions not being well-posed for large times and/or data, we obtain wellposedness of the optimal control problem by choosing a proper tracking type term. In order to discuss the regularity of the optimal control, state and adjoint state, we present new results on $L^2(I;H^2(\Omega))$ regularity of solutions to a Stokes problem with mixed inhomogeneous boundary conditions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies an optimal control problem for the instationary Navier-Stokes equations in which the control enters through inhomogeneous Neumann/Do-Nothing boundary conditions. The central claim is that, although the state equation lacks global well-posedness for large data or times, a suitably chosen tracking-type cost functional restores existence of an optimal control. The authors also prove new L²(I; H²(Ω)) regularity results for a Stokes problem with mixed inhomogeneous boundary conditions, which are used to discuss the regularity of the optimal state, control, and adjoint.
Significance. If the existence result holds, the work supplies a practical route to well-posed optimal-control formulations in a setting that arises naturally in applications (e.g., pressure-driven flows). The key mechanism is that the tracking term produces a priori bounds sufficient to keep admissible pairs inside the locally well-posed regime, after which standard direct-method arguments apply. The additional Stokes regularity statement is a self-contained technical contribution that may be useful beyond the control context. The manuscript avoids circular definitions and supplies a clear statement of the main result.
minor comments (3)
- [Section 2] §2 (or wherever the cost functional is introduced): the precise dependence of the tracking weight on the data should be stated explicitly so that the a-priori bound argument can be checked without ambiguity.
- The statement of the main existence theorem would benefit from an explicit list of the minimal assumptions on the domain, initial data, and forcing that are needed for the local well-posedness interval to be non-empty.
- Figure captions and the notation for the mixed boundary conditions could be made more uniform to improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report lists no specific major comments.
Circularity Check
No significant circularity
full rationale
The paper establishes well-posedness of the optimal control problem for the instationary Navier-Stokes system with inhomogeneous Neumann/Do-Nothing boundary conditions by selecting a tracking-type cost functional that supplies a priori bounds, keeping admissible controls inside the regime of local well-posedness; existence then follows from standard direct-method arguments (weak lower semicontinuity and compactness). No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain. The additional L²(I;H²(Ω)) regularity result for the Stokes problem with mixed boundary conditions is derived independently and is invoked only to discuss optimality conditions, not to close the existence argument. The derivation chain is therefore self-contained against external mathematical benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard assumptions on the domain, time interval, and data regularity for the Navier-Stokes and Stokes systems
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Despite the Navier-Stokes equations with these boundary conditions not being well-posed for large times and/or data, we obtain wellposedness of the optimal control problem by choosing a proper tracking type term.
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
-
[1]
R. A DAMS AND J. F OURNIER , Cone conditions and properties of Sobolev spaces, Journal of Mathematical Analysis and Applications, 61 (1977), pp. 713–734
work page 1977
-
[2]
C. A MROUCHE AND V. GIRAULT , Decomposition of vector spaces and application to the Stokes problem in arbitrary dimension , Czechoslovak Mathematical Journal, 44 (1994), pp. 109–140
work page 1994
-
[3]
C. A MROUCHE AND N. E. H. S ELOULA , Stokes equations and elliptic systems with nonstandard boundary conditions, Comptes Rendus Mathe- matique, 349 (2011), pp. 703–708
work page 2011
-
[4]
R. A RNDT , A. N. C ERETANI , AND C. N. R AUTENBERG , On existence and uniqueness of solutions to a Boussinesq system with nonlinear and mixed boundary conditions, Journal of Mathematical Analysis and Applications, 490 (2020), p. 124201
work page 2020
-
[5]
J. B ANASIAK AND G. R OACH, On mixed boundary value problems of Dirichlet oblique-derivative type in plane domains with piecewise differen- tiable boundary, Journal of Differential Equations, 79 (1989), pp. 111–131
work page 1989
-
[6]
A. B EHZADAN AND M. H OLST , Multiplication in Sobolev spaces, revisited, Arkiv f¨or Matematik, 59 (2021), pp. 275–306
work page 2021
-
[7]
M. B ENE ˇS, Mixed initial-boundary value problem for the three-dimensional Navier-Stokes equations in polyhedral domains, in Conference Pub- lications 2011, AIMS Press
work page 2011
-
[8]
, Strong solutions to non-stationary channel flows of heat-conducting viscous incompressible fluids with dissipative heating , Acta Appli- candae Mathematicae, 116, pp. 237–254
-
[9]
M. B ENE ˇS AND P. K U ˇCERA , Solutions of the Navier–Stokes equations with various types of boundary conditions , Archiv der Mathematik, 98 (2012), pp. 487–497
work page 2012
-
[10]
, Solutions to the Navier–Stokes equations with mixed boundary conditions in two-dimensional bounded domains , Mathematische Nachrichten, 289 (2016), pp. 194–212. 34 TITLE WILL BE SET BY THE PUBLISHER
work page 2016
-
[11]
M. B ENE ˇS, P. K U ˇCERA , AND P. VACKOV ´A, Local in time existence of solution of the Navier-Stokes equations with various types of boundary conditions, Journal of Elliptic and Parabolic Equations, 7 (2021), pp. 297–310
work page 2021
- [12]
-
[13]
J. F. B ONNANS AND H. Z IDANI , Optimal Control Problems with Partially Polyhedric Constraints, SIAM Journal on Control and Optimization, 37 (1999), pp. 1726–1741
work page 1999
-
[14]
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
-
[15]
M. B RAACK AND P. M UCHA , Directional Do-Nothing Condition for the Navier-Stokes Equations , Journal of Computational Mathematics, 32 (2014), pp. 507–521
work page 2014
-
[16]
S. C. B RENNER AND L. S COTT , The Mathematical Theory of Finite Element Methods, Texts in Applied Mathematics, Springer New York, 2008
work page 2008
-
[17]
H. B REZIS AND P. MIRONESCU , Gagliardo-Nirenberg inequalities and non-inequalities: The full story , Annales de l’Institut Henri Poincar´e C, Analyse non lin´eaire, 25 (2018), pp. 1355–1376
work page 2018
-
[18]
R. B ROWN , I. M ITREA , M. M ITREA , AND M. W RIGHT , Mixed boundary value problems for the Stokes system , Transactions of the American Mathematical Society, 362, pp. 1211–1230
-
[19]
E. C ASAS , Chapter 4. An Optimal Control Problem Governed by the Evolution Navier-Stokes Equations , in Optimal Control of Viscous Flow, S. S. Sritharan, ed., Society for Industrial and Applied Mathematics, Jan. 1998, pp. 79–95
work page 1998
-
[20]
E. C ASAS AND K. C HRYSAFINOS , A Discontinuous Galerkin Time-Stepping Scheme for the Velocity Tracking Problem , SIAM Journal on Nu- merical Analysis, 50 (2012), pp. 2281–2306
work page 2012
-
[21]
, Analysis of the velocity tracking control problem for the 3d evolutionary Navier–Stokes equations , SIAM Journal on Control and Opti- mization, 54 (2016), pp. 99–128
work page 2016
-
[22]
, The velocity tracking problem for Navier–Stokes equations with pointwise-integral control constraints in time-space, Optimization, (2024), pp. 1–33
work page 2024
-
[23]
E. C ASAS AND F. TR ¨OLTZSCH , A general theorem on error estimates with application to a quasilinear elliptic optimal control problem, Compu- tational Optimization and Applications, 53 (2012), pp. 173–206
work page 2012
-
[24]
A. N. C ERETANI AND C. N. R AUTENBERG , The Boussinesq system with mixed non-smooth boundary conditions and do-nothing boundary flow, Zeitschrift f¨ur angewandte Mathematik und Physik, 70, p. 14
- [25]
-
[26]
F. D EMENGEL AND G. D EMENGEL , Functional Spaces for the Theory of Elliptic Partial Differential Equations, Universitext, Springer London, 2012
work page 2012
-
[27]
R. D ENK, An Introduction to Maximal Regularity for Parabolic Evolution Equations , in Nonlinear Partial Differential Equations for Future Applications: Sendai, Japan, July 10–28 and October 2–6, 2017, vol. 346 of Springer Proceedings in Mathematics & Statistics, Springer Singapore, Singapore, 2021
work page 2017
- [28]
-
[29]
A. E RN AND J.-L. G UERMOND , Finite Elements I: Approximation and Interpolation, vol. 72 of Texts in Applied Mathematics, Springer Interna- tional Publishing, Cham, 2021
work page 2021
-
[30]
74 of Texts in Applied Mathematics, Springer International Publishing, Cham, 2021
, Finite Elements III: First-Order and Time-Dependent PDEs, vol. 74 of Texts in Applied Mathematics, Springer International Publishing, Cham, 2021
work page 2021
-
[31]
G. G ALDI , An Introduction to the Mathematical Theory of the Navier-Stokes Equations , Springer Monographs in Mathematics, Springer New York, 2011
work page 2011
-
[32]
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, 1986
work page 1986
-
[33]
P. G RISVARD , Caract´erisation de quelques espaces d’interpolation, Archive for Rational Mechanics and Analysis, 25 (1967), pp. 40–63
work page 1967
-
[34]
, Elliptic problems in nonsmooth domains , no. 69 in Classics in applied mathematics, Society for Industrial and Applied Mathematics, Philadelphia, siam ed ed., 2011. OCLC: ocn746618649
work page 2011
-
[35]
G. G RUBB , Regularity of spectral fractional Dirichlet and Neumann problems, Mathematische Nachrichten, 289 (2016), pp. 831–844
work page 2016
-
[36]
T. G UERRA , I. M AR´IN-G AYTE, AND J. T IAGO , An optimal boundary control problem related to the time dependent Navier-Stokes equations , July 2024. arXiv:2407.12561 [math]
-
[37]
T. G UERRA , A. S EQUEIRA , AND J. T IAGO , Existence of optimal boundary control for the Navier–Stokes equations with mixed boundary condi- tions, Portugaliae Mathematica, 72, pp. 267–283
-
[38]
T. G UERRA , J. T IAGO , AND A. S EQUEIRA , Optimal control in blood flow simulations , International Journal of Non-Linear Mechanics, 64, pp. 57–69
-
[39]
M. D. G UNZBURGER , L. S. H OU, AND T. P. S VOBODNY , Analysis and finite element approximation of optimal control problems for the stationary Navier-Stokes equations with Dirichlet controls, ESAIM: Mathematical Modelling and Numerical Analysis, 25 (1991), pp. 711–748
work page 1991
-
[40]
R. H ALLER -DINTELMANN AND J. R EHBERG , Maximal parabolic regularity for divergence operators including mixed boundary conditions , Journal of Differential Equations, 247 (2009), pp. 1354–1396. TITLE WILL BE SET BY THE PUBLISHER 35
work page 2009
-
[41]
J. G. H EYWOOD , R. R ANNACHER , AND S. T UREK , Artificial boundaries and flux and pressure conditions for the incompressible Navier-Stokes equations, International Journal for Numerical Methods in Fluids, 22 (1996), pp. 325–352
work page 1996
-
[42]
J. G. H EYWOOD , R. R ANNACHER , AND S. T UREK , ARTIFICIAL BOUNDARIES AND FLUX AND PRESSURE CONDITIONS FOR THE INCOMPRESSIBLE NAVIER–STOKES EQUATIONS, International Journal for Numerical Methods in Fluids, 22 (1996), pp. 325–352
work page 1996
-
[43]
M. H IEBER AND J. R EHBERG , Quasilinear Parabolic Systems with Mixed Boundary Conditions on Nonsmooth Domains , SIAM Journal on Mathematical Analysis, 40 (2008), pp. 292–305
work page 2008
-
[44]
M. H INTERM ¨ULLER AND A. K R ¨ONER , Differentiability properties for boundary control of fluid-structure interactions of linear elasticity with Navier-Stokes equations with mixed-boundary conditions in a channel, Applied Mathematics & Optimization, 87, p. 15
-
[45]
M. H INZE AND K. K UNISCH , Second order methods for boundary control of the instationary Navier-Stokes system , Zeitschrift f ¨ur angewandte Mathematik und Mechanik, 84 (2004), pp. 171–187
work page 2004
-
[46]
F. H OPPE AND I. N EITZEL , Optimal Control of Quasilinear Parabolic PDEs with State-Constraints, SIAM Journal on Control and Optimization, 60 (2022), pp. 330–354
work page 2022
-
[47]
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 Interna- tional Publishing, Cham, 2016
work page 2016
- [48]
-
[49]
T. K IM AND D. C AO, Non-stationary Navier-Stokes equations with mixed boundary conditions, Journal of Mathematical Sciences The University of Tokio, 24 (2017), pp. 159–194
work page 2017
- [50]
-
[51]
, Equations of Motion for Incompressible Viscous Fluids: With Mixed Boundary Conditions , Advances in Mathematical Fluid Mechanics, Springer International Publishing, Cham, 2021
work page 2021
-
[52]
V. K OZLOV AND J. R OSSMANN , On the Neumann problem for the nonstationary Stokes system in angles and cones, Mathematische Nachrichten, 296, pp. 1504–1533
-
[53]
S. K RA ˇCMAR AND J. N EUSTUPA , Modeling of the unsteady flow through a channel with an artificial outflow condition by the Navier–Stokes variational inequality, Mathematische Nachrichten, 291 (2018), pp. 1801–1814
work page 2018
-
[54]
K. K UNISCH AND B. V EXLER , Constrained Dirichlet Boundary Control in $Lˆ2$ for a Class of Evolution Equations, SIAM Journal on Control and Optimization, 46 (2007), pp. 1726–1753. Publisher: Society for Industrial and Applied Mathematics
work page 2007
-
[55]
P. K U ˇCERA , Basic properties of solution of the non-steady Navier–Stokes equations with mixed boundary conditions in a bounded domain , ANNALI DELL’UNIVERSITA’ DI FERRARA, 55, pp. 289–308
-
[56]
P. K U ˇCERA AND Z. S KALAK , Local solutions to the Navier–Stokes equations with mixed boundary conditions, Acta Applicandae Mathematicae, 54, pp. 275–288
-
[57]
M. L ANZEND ¨ORFER AND J. H RON, On Multiple Solutions to the Steady Flow of Incompressible Fluids Subject to Do-nothing or Constant Traction Boundary Conditions on Artificial Boundaries, Journal of Mathematical Fluid Mechanics, 22 (2020), p. 11
work page 2020
-
[58]
M. L ANZEND ¨ORFER AND J. S TEBEL , On pressure boundary conditions for steady flows of incompressible fluids with pressure and shear rate dependent viscosities, Applications of Mathematics, 56 (2011), pp. 265–285
work page 2011
-
[59]
I. L ASIECKA , K. S ZULC , AND A. ˙ZOCHOWSKI , Boundary control of small solutions to fluid–structure interactions arising in coupling of elasticity with Navier–Stokes equation under mixed boundary conditions, Nonlinear Analysis: Real World Applications, 44, pp. 54–85
-
[60]
N. L INDEMULDER , Maximal regularity with weights for parabolic problems with inhomogeneous boundary conditions , Journal of Evolution Equations, 20 (2020), pp. 59–108
work page 2020
-
[61]
J. L. L IONS AND E. M AGENES , Non-Homogeneous Boundary Value Problems and Applications, Volume 1, vol. 1, Springer Berlin Heidelberg, Berlin, Heidelberg, 1972
work page 1972
-
[62]
2, Springer Berlin Heidelberg, Berlin, Heidelberg, 1972
, Non-Homogeneous Boundary Value Problems and Applications, Volume 2, vol. 2, Springer Berlin Heidelberg, Berlin, Heidelberg, 1972
work page 1972
-
[63]
J. M ARSCHALL , The trace of Sobolev-Slobodeckij spaces on Lipschitz domains, Manuscripta Mathematica, 58, pp. 47–65
-
[64]
V. M AZ’YA AND J. R OSSMANN , L p estimates of solutions tomixed boundary value problems for the Stokes system in polyhedral domains , Mathematische Nachrichten, 280 (2007), pp. 751–793
work page 2007
-
[65]
V. G. M AZ’YA AND J. R OSSMANN , Elliptic equations in polyhedral domains , no. v. 162 in Mathematical surveys and monographs, American Mathematical Society, Providence, R.I, 2010. OCLC: ocn499129712
work page 2010
-
[66]
M. M ITREA , S. M ONNIAUX , AND M. W RIGHT , The Stokes operator with Neumann boundary conditions in Lipschitz domains , Journal of Mathematical Sciences, 176, pp. 409–457
-
[67]
M. M ITREA AND M. W RIGHT , Boundary value problems for the Stokes system in arbitrary Lipschitz domains, no. 344 in Ast´erisque, Soc. Math. de France, Paris, 2012
work page 2012
-
[68]
P. A. N GUYEN AND J.-P. R AYMOND , Boundary Stabilization of the Navier–Stokes Equations in the Case of Mixed Boundary Conditions, SIAM Journal on Control and Optimization, 53 (2015), pp. 3006–3039
work page 2015
-
[69]
P. N OGUEIRA AND A. L. S ILVESTRE , Navier–Stokes Equations with Regularized Directional Boundary Condition , in Nonlinear Differential Equations and Applications, H. Beir ˜ao Da Veiga, F. Minh ´os, N. Van Goethem, and L. Sanchez Rodrigues, eds., vol. 7, Springer International Publishing, Cham, 2024, pp. 197–220. Series Title: CIM Series in Mathematical Sciences
work page 2024
-
[70]
D. N OLTE AND C. B ERTOGLIO , Inverse problems in blood flow modeling: A review, International Journal for Numerical Methods in Biomedical Engineering, 38 (2022), p. e3613. eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1002/cnm.3613. 36 TITLE WILL BE SET BY THE PUBLISHER
-
[71]
A. Q UARTERONI , S. R AGNI , AND A. V ENEZIANI , Coupling between lumped and distributed models for blood flow problems , Computing and Visualization in Science, 4 (2001), pp. 111–124
work page 2001
-
[72]
S. R ATHORE , P. C. AFRICA , F. BALLARIN , F. PICHI , M. G IRFOGLIO , AND G. ROZZA , Projection-based Reduced Order Modelling for Unsteady Parametrized Optimal Control Problems in 3D Cardiovascular Flows, Oct. 2024. arXiv:2410.20828 [math]
-
[73]
J. R OSSMANN , Mixed boundary value problems for Stokes and Navier-Stokes systems in polyhedral domains , in Analysis, Partial Differential Equations and Applications, A. Cialdea, P. E. Ricci, and F. Lanzara, eds., Birkh¨auser Basel, pp. 269–280
-
[74]
A. R ¨OSCH AND D. WACHSMUTH , Regularity of the Adjoint State for the Instationary Navier-Stokes Equations, Zeitschrift f¨ur Analysis und ihre Anwendungen, 24 (2005), pp. 103–116
work page 2005
-
[75]
G. S AVAR´E, Parabolic problems with mixed variable lateral conditions: An abstract approach , Journal de Math ´ematiques Pures et Appliqu ´ees, 76 (1997), pp. 321–351
work page 1997
-
[76]
S EELEY , Interpolation in 𝐿𝑝 with boundary condition, Studia Mathematica, 44 (1972), pp
R. S EELEY , Interpolation in 𝐿𝑝 with boundary condition, Studia Mathematica, 44 (1972), pp. 47–60
work page 1972
-
[77]
A. S EQUEIRA , J. T IAGO , AND T. GUERRA , Boundary control problems in hemodynamics, in Trends in Biomathematics: Modeling, Optimization and Computational Problems, R. P. Mondaini, ed., Springer International Publishing, pp. 27–48
-
[78]
J. S IMON , Compact Sets in the Space 𝐿𝑝(0, 𝑇 ; 𝐵), Annali di Matematica pura ed applicata, 146 (1986), pp. 65–96
work page 1986
-
[79]
J. S. H. S IMON AND H. N OTSU , A convective boundary condition for the Navier–Stokes equations , Applied Mathematics Letters, 128 (2022), p. 107876
work page 2022
-
[80]
S OHR, The Navier-Stokes Equations, Springer Basel, Basel, 2001
H. S OHR, The Navier-Stokes Equations, Springer Basel, Basel, 2001
work page 2001
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.