pith. sign in

arxiv: 2606.27312 · v1 · pith:ZGVLSE7Rnew · submitted 2026-06-25 · 🧮 math.OC

A Verification Theorem for an Optimal Control Problem Governed by the Convective Brinkman--Forchheimer Equations

Sagar Gautam , Manil T. Mohan This is my paper

Pith reviewed 2026-06-26 02:47 UTC · model grok-4.3

classification 🧮 math.OC
keywords verification theoremoptimal controlPontryagin maximum principleBrinkman-Forchheimer equationsNavier-Stokes equationsfeedback controlfluid dynamics
0
0 comments X

The pith

A verification theorem holds for optimal control of the convective Brinkman-Forchheimer equations in two and three dimensions.

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

This paper proves a verification theorem for an optimal control problem where the state is governed by the convective Brinkman-Forchheimer equations on the torus in dimensions two and three. It derives the associated Pontryagin maximum principle and constructs a verification framework that justifies optimality through a feedback law. The result covers the two-dimensional case as well as three-dimensional cases for supercritical absorption exponents and a critical case under an additional condition on the coefficients. This is significant because similar verification results have seen limited development for Navier-Stokes type fluid models. The framework relies on strong solutions and specialized estimates to handle the nonlinearity and regularity issues in three dimensions.

Core claim

The verification theorem for the optimal control problem governed by the convective Brinkman-Forchheimer equations is established by deriving the Pontryagin maximum principle and developing a feedback characterization that holds in two dimensions and in three dimensions for r in (3,5] and for r=3 when 2βμ ≥ 1, using strong solution theory and novel estimates in negative-order Sobolev spaces.

What carries the argument

The verification theorem that links the optimal control to the solution of the adjoint equation via the maximum principle condition for the CBF system.

If this is right

  • The optimal control admits a characterization in feedback form for the given ranges of parameters.
  • The Pontryagin maximum principle is valid for the CBF system in both 2D and 3D under the stated conditions.
  • Continuous dependence estimates in stronger topologies are obtained for the state equation in the three-dimensional setting.
  • The nonlinear absorption term is treated to ensure the estimates close in the supercritical regime.

Where Pith is reading between the lines

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

  • The methods may apply to optimal control of other equations with similar nonlinear terms, such as power-law fluids.
  • Numerical schemes for solving the control problem could be validated using this verification result.
  • Extensions to domains other than the torus might require additional boundary condition handling.
  • The condition 2βμ ≥1 suggests a threshold for physical parameters in 3D applications.

Load-bearing premise

Strong solutions to the convective Brinkman-Forchheimer equations exist and satisfy continuous dependence estimates in stronger topologies in three dimensions.

What would settle it

Finding a case in three dimensions with r=4 where the continuous dependence estimate fails would show the verification theorem does not hold without additional assumptions.

read the original abstract

This article establishes a verification theorem for an optimal control problem governed by the two- and three-dimensional convective Brinkman--Forchheimer equations on the $d$-dimensional torus, $d\in\{2,3\}$: $$\frac{\partial\mathfrak{u}}{\partial t} -\mu\Delta\mathfrak{u} +(\mathfrak{u}\cdot\nabla)\mathfrak{u} +\alpha\mathfrak{u} +\beta|\mathfrak{u}|^{r-1}\mathfrak{u} +\nabla\mathfrak{p} =\boldsymbol{f}, \qquad \nabla\cdot\mathfrak{u}=0,$$ where $\mu,\alpha,\beta>0$ and $r\in[1,\infty)$. We derive the Pontryagin maximum principle and develop a verification framework for the associated control problem, a topic that has received comparatively little attention for fluid models of Navier--Stokes type. A major challenge in establishing the verification theorem and the corresponding feedback characterization for the CBF system is that the analysis requires a substantially different regularity framework from that used for the two-dimensional Navier--Stokes equations. In particular, the present approach relies on strong solution theory, a delicate treatment of the nonlinear absorption term, novel estimates in negative-order Sobolev spaces, and continuous dependence estimates in stronger topologies, especially in the three-dimensional setting. A distinctive feature of the present work is that the verification framework is developed not only in two dimensions, but also in the three-dimensional supercritical regime, corresponding to $r\in(3,5]$, and in the critical case $r=3$ under the condition $2\beta\mu\geq1$. Consequently, the feedback characterization and verification arguments can be rigorously justified in both two and three dimensions.

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 a verification theorem for an optimal control problem governed by the convective Brinkman--Forchheimer equations on the d-dimensional torus (d=2,3). It derives the Pontryagin maximum principle together with a feedback characterization of the optimal control, relying on strong-solution theory for the state equation, novel estimates in negative-order Sobolev spaces, a careful treatment of the nonlinear absorption term, and continuous-dependence results in stronger topologies; the framework is carried out both in two dimensions and in the three-dimensional supercritical regime r∈(3,5] as well as the critical case r=3 under the structural condition 2βμ≥1.

Significance. If the central derivation holds, the work is significant because it supplies a rigorous verification framework for a class of fluid control problems whose state equation is more regularizing than the Navier--Stokes system yet still requires substantially stronger analytic tools in three dimensions. The extension of the Pontryagin principle and feedback synthesis beyond the two-dimensional Navier--Stokes setting to the indicated three-dimensional regimes constitutes a concrete technical advance.

minor comments (3)
  1. [§2] §2, Definition 2.3: the precise functional setting for the admissible control set U_ad is introduced only after several a-priori estimates; moving the definition forward would improve readability.
  2. [Theorem 4.2] Theorem 4.2: the statement of the verification theorem refers to the value function V without an explicit reminder of its domain of definition; adding a parenthetical reference to the space in which V is shown to be well-defined would help.
  3. The paper does not contain machine-checked proofs or publicly released code, but the estimates are presented in a form that appears reproducible from the given functional-analytic arguments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript, including the recognition of its technical contributions to the verification theorem and Pontryagin principle for the convective Brinkman-Forchheimer system in both 2D and the indicated 3D regimes. The recommendation for minor revision is noted; however, the report lists no specific major comments. We therefore provide no point-by-point responses below. If any minor issues (e.g., typographical or presentational) are identified in a subsequent communication, we will address them promptly.

Circularity Check

0 steps flagged

No circularity; direct theorem derivation from external PDE theory

full rationale

The paper derives a verification theorem (Pontryagin maximum principle and feedback characterization) for the optimal control problem governed by the convective Brinkman-Forchheimer equations. It explicitly develops the required strong-solution theory, negative-order Sobolev estimates, and continuous-dependence results within the manuscript itself, relying on standard functional-analytic methods for PDEs rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation. No step reduces by construction to its own inputs; the central claims remain independent of any internal renormalization or ansatz smuggling. This is the expected outcome for a pure existence/verification theorem in mathematical control theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The theorem rests on standard existence and regularity theory for incompressible fluid equations plus the specific coefficient restriction for the critical three-dimensional case.

axioms (2)
  • domain assumption Existence of strong solutions to the convective Brinkman-Forchheimer system under the given parameter ranges
    Invoked to justify the regularity framework needed for the verification argument
  • domain assumption Continuous dependence estimates in stronger topologies for the three-dimensional case
    Required for the feedback characterization to hold

pith-pipeline@v0.9.1-grok · 5856 in / 1366 out tokens · 55510 ms · 2026-06-26T02:47:28.149227+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

62 extracted references · 1 canonical work pages

  1. [1]

    Abergel, and R

    F. Abergel, and R. Temam, On some control problems in fluid mechanics,Theoret. Comput. Fluid Dyn. 1(1990), 303–325

    1990

  2. [2]

    Bae, Y.-P

    H. Bae, Y.-P. Choi and K. Kang, Well-posedness and asymptotic stability of solutions for the incom- pressible Toner-Tu model, SIAM J. Math. Anal.57(2025), no. 1, 637–660

    2025

  3. [3]

    Barbu and G

    V. Barbu and G. Da Prato, Hamilton-Jacobi equations and synthesis of nonlinear control processes in Hilbert spaces,J. Differential Equations,48(3) (1983), 350–372

    1983

  4. [4]

    Barbu, E

    V. Barbu, E. N. Barron and R. Jensen, The necessary conditions for optimal control in Hilbert spaces, J. Math. Anal. Appl.,133(1) (1988), 151–162

    1988

  5. [5]

    Barbu, Optimal control of Navier-Stokes equations with periodic inputs,Nonlinear Anal.,31(1-2) (1998), 15–31

    V. Barbu, Optimal control of Navier-Stokes equations with periodic inputs,Nonlinear Anal.,31(1-2) (1998), 15–31

    1998

  6. [6]

    Barbu and S

    V. Barbu and S. S. Sritharan, H ∞-control theory of fluid dynamics,R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci.,454(1979) (1998), 3009–3033

    1979

  7. [7]

    Bardi and I

    M. Bardi and I. Capuzzo-Dolcetta,Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations, Systems Control Found. Appl., Birkh ¨auser Boston, MA, 1997

    1997

  8. [8]

    Bensoussan, G

    A. Bensoussan, G. Da Prato, M. C. Delfour, and S. K. Mitter,Representation and Control of Infinite Dimensional Systems, Second edition, Systems Control Found. Appl., Birkh ¨auser Boston, MA, 2007

    2007

  9. [9]

    Bewley, R

    T. Bewley, R. Temam and M. Ziane, Existence and uniqueness of optimal control to the Navier-Stokes equations,C. R. Acad. Sci. Paris S´ er. I Math.,330(11) (2000), 1007–1011

    2000

  10. [10]

    Cannarsa and G

    P. Cannarsa and G. Da Prato, Some results on nonlinear optimal control problems and Hamilton-Jacobi equations in infinite dimensions,J. Funct. Anal.,90(1) (1990), 27–47

    1990

  11. [11]

    Ciarlet,Linear and Nonlinear Functional Analysis with Applications, Second edition, Society for Industrial and Applied Mathematics, Philadelphia, 2025

    P. Ciarlet,Linear and Nonlinear Functional Analysis with Applications, Second edition, Society for Industrial and Applied Mathematics, Philadelphia, 2025

    2025

  12. [12]

    M. G. Crandall and P. L. Lions, Viscosity solutions of Hamilton-Jacobi equations,Trans. Amer. Math. Soc.,277(1) (1983), 1–42

    1983

  13. [13]

    M. G. Crandall, L. C. Evans and P. L. Lions, Some properties of viscosity solutions of Hamilton-Jacobi equations,Trans. Amer. Math. Soc.282(2) (1984), 487–502

    1984

  14. [14]

    M. G. Crandall and P. L. Lions, Hamilton-Jacobi equations in infinite dimensions-I: Uniqueness of viscosity solutions,J. Funct. Anal.,62(3) (1985), 379–396. A VERIFICATION THEOREM FOR OPTIMAL CONTROL OF CBF EQUATIONS 39

    1985

  15. [15]

    M. G. Crandall and P. L. Lions, Hamilton-Jacobi equations in infinite dimensions-II: Existence of vis- cosity solutions,J. Funct. Anal.,65(3) (1986), 368–405

    1986

  16. [16]

    M. G. Crandall and P. L. Lions, Hamilton-Jacobi equations in infinite dimensions-III,J. Funct. Anal., 68(2) (1986), 214–247

    1986

  17. [17]

    Fabbri, F

    G. Fabbri, F. Gozzi and A. Swiech, Verification theorem and construction ofε-optimal controls for control of abstract evolution equations,J. Convex Anal.,17(2) (2010), 611–642

    2010

  18. [18]

    A. V. Fursikov,Optimal Control of Distributed Systems: Theory and Applications, Transl. Math. Monogr.,187, American Mathematical Society, Providence, RI, 2000

    2000

  19. [19]

    Farwig, H

    R. Farwig, H. Kozono and H. Sohr, AnL q-approach to Stokes and Navier–Stokes equations in general domains,Acta Math.,195(2005), 21–53

    2005

  20. [20]

    H. O. Fattorini and H. Frankowska, Necessary conditions for infinite-dimensional control problems, Math. Control Signals Systems,4(1) (1991), 41–67

    1991

  21. [21]

    H. O. Fattorini and S. S. Sritharan, Existence of optimal controls for viscous flow problems,Proc. Roy. Soc. London Ser. A,439(1905) (1992), 81–102

    1905

  22. [22]

    H. O. Fattorini and S. S. Sritharan, Necessary and sufficient conditions for optimal controls in viscous flow problems,Proc. Roy. Soc. Edinburgh Sect. A,124(2) (1994), 211–251

    1994

  23. [23]

    H. O. Fattorini,Infinite-Dimensional Optimization and Control Theory, Encyclopedia Math. Appl.,62, Cambridge University Press, Cambridge, 1999

    1999

  24. [24]

    W. H. Fleming and R. W. Rishel,Deterministic and Stochastic Optimal Control, Springer-Verlag, Berlin- New York, 1975

    1975

  25. [25]

    Fujiwara and H

    D. Fujiwara and H. Morimoto, AnL r-theorem of the Helmholtz decomposition of vector fields,J. Fac. Sci. Univ. Tokyo Sect. IA Math.,24(3) (1977), 685–700

    1977

  26. [26]

    Garavello, Verification theorems for Hamilton-Jacobi-Bellman equations,SIAM J

    M. Garavello, Verification theorems for Hamilton-Jacobi-Bellman equations,SIAM J. Control Optim., 42(5) (2003), 1623–1642

    2003

  27. [27]

    Gautam and M

    S. Gautam and M. T. Mohan, On the convective Brinkman-Forccheimer equations,Dyn. Partial Differ. Equ.,22(3) (2025), pp. 191-233

    2025

  28. [28]

    Gautam, K

    S. Gautam, K. Kinra and M. T. Mohan, Feedback stabilization of Convective Brinkman-Forchheimer Extended Darcy equations,Appl. Math. Optim.,91(1) (2025), Paper No. 25, 75 pp

    2025

  29. [29]

    Gautam and M

    S. Gautam and M. T. Mohan, Optimal control of convective Brinkman-Forchheimer equations: dynamic programming equation and viscosity solutions,NoDEA Nonlinear Differential Equations Appl.,33(3) (2026), Paper No. 82

    2026

  30. [30]

    Gozzi, S

    F. Gozzi, S. S. Sritharan and A. Swiech, Bellman equations associated to the optimal feedback control of stochastic Navier-Stokes equations,Comm. Pure Appl. Math.58(5) (2005), 671–700

    2005

  31. [31]

    Gozzi, S

    F. Gozzi, S. S. Sritharan and A. Swiech, Viscosity solutions of dynamic-programming equations for the optimal control of the two-dimensional Navier-Stokes equations,Arch. Ration. Mech. Anal.163(4) (2002), 295–327

    2002

  32. [32]

    M. D. Gunzburger,Flow control, Proceedings of the Workshop on Period of Concentration in Flow Con- trol Held at the University of Minnesota, 1992, The IMA Volumes in Mathematics and Its Applications, 68, Springer-Verlag, New York, 1995

    1992

  33. [33]

    K. W. Hajduk and J. C. Robinson, Energy equality for the 3D critical convective Brinkman–Forchheimer equations,Journal of Differential Equations,263(2017), 7141–7161

    2017

  34. [34]

    Ishii, Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equations,Indiana Univ

    H. Ishii, Uniqueness of unbounded viscosity solution of Hamilton-Jacobi equations,Indiana Univ. Math. J.,33(5) (1984), 721–748

    1984

  35. [35]

    V. K. Kalantarov and S. Zelik, Smooth attractors for the Brinkman-Forchheimer equations with fast growing nonlinearities,Commun. Pure Appl. Anal.,11(5) (2012), 2037–2054

    2012

  36. [36]

    Kinra and F

    K. Kinra and F. Cipriano, Optimal control problem associated with three-dimensional critical convective Brinkman-Forchheimer equations.https://arxiv.org/pdf/2601.15242

    arXiv

  37. [37]

    B. T. Kien, A. R ¨osch and D. Wachsmuth, Pontryagin’s principle for optimal control problem governed by 3D Navier-Stokes equations,J. Optim. Theory Appl.,173(1) (2017), 30–55

    2017

  38. [38]

    X. J. Li and J. M. Yong,Optimal Control Theory for Infinite-Dimensional Systems, Systems Control Found. Appl. Birkh¨auser Boston, Inc., Boston, MA, 1995

    1995

  39. [39]

    J. L. Lions,Optimal Control of Systems Governed by Partial Differential Equations, Die Grundlehren der mathematischen Wissenschaften,170, Springer-Verlag, New York-Berlin, 1971. 40 S. GAUTAM AND M. T. MOHAN

    1971

  40. [40]

    P. A. Markowich, E. S. Titi and S. Trabelsi, Continuous data assimilation for the three dimensional Brinkman-Forchheimer-extended Darcy model,Nonlinearity,29(4) (2016), 1292–1328

    2016

  41. [41]

    M. T. Mohan, Dynamic programming and feedback analysis of the two dimensional tidal dynamics system,ESAIM Control Optim. Calc. Var.,26(109) (2020), 43 pp

    2020

  42. [42]

    M. T. Mohan, The time optimal control of two dimensional convective Brinkman-Forchheimer equations, Appl. Math. Optim.,84(3) (2021), 3295– 3338

    2021

  43. [43]

    M. T. Mohan, Optimal control problems governed by two dimensional convective Brinkman-Forchheimer equations,Evol. Equ. Control Theory,11(3) (2022), 649–679

    2022

  44. [44]

    M. T. Mohan, First-order necessary conditions of optimality for the optimal control of two-dimensional convective Brinkman-Forchheimer equations with state constraints,Optimization71(13) (2022), 3861– 3907

    2022

  45. [45]

    M. T. Mohan, Optimal control of the two dimensional convective Brinkman-Forchheimer equations with time-periodic inputs,Discrete Contin. Dyn. Syst. Ser. S, 2026,https://www.doi.org/10.3934/dcdss. 2026132

    work page doi:10.3934/dcdss 2026

  46. [46]

    L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidz and E. F. Mishchenko, The Mathematical Theory of Optimal Processes, Interscience Publishers John Wiley & Sons, Inc., New York-London, 1962

    1962

  47. [47]

    J. P. Raymond and H. Zidani, Hamiltonian Pontryagin’s principles for control problems governed by semilinear parabolic equations,Appl. Math. Optim.,39(2) (1999), 143–177

    1999

  48. [48]

    J. C. Robinson,Infinite-Dimensional Dynamical Systems: An Introduction to Dissipatives Parabolic PDEs and the Theory of Global Attractors, Cambridge University Press, 2001

    2001

  49. [49]

    S. S. Sritharan, Dynamic programming of the Navier-Stokes equations,Systems Control Lett.16(4) (1991), 299–307

    1991

  50. [50]

    S. S. Sritharan, On the nonsmooth verification technique for the dynamic programming of viscous flows, IMA Preprint Series no. 850, 1991

    1991

  51. [51]

    S. S. Sritharan, Optimal feedback control of hydrodynamics: a progress report,IMA Vol. Math. Appl., 68, Springer-Verlag, New York, 1995, 257–274

    1995

  52. [52]

    S. S. Sritharan, An introduction to deterministic and stochastic control of viscous flow,Optimal Control of Viscous Flow, 1–42, SIAM, Philadelphia, PA, 1998

    1998

  53. [53]

    Tataru, Viscosity solutions of Hamilton-Jacobi equations with unbounded nonlinear terms,J

    D. Tataru, Viscosity solutions of Hamilton-Jacobi equations with unbounded nonlinear terms,J. Math. Anal. Appl,163(2) (1992), 345–392

    1992

  54. [54]

    Tataru, Viscosity solutions for the dynamic programming equations,Appl

    D. Tataru, Viscosity solutions for the dynamic programming equations,Appl. Math. Optim.,25(2) (1992), 109–126

    1992

  55. [55]

    Tataru, Viscosity solutions for Hamilton-Jacobi equations with unbounded nonlinear term: a simpli- fied approach,J

    D. Tataru, Viscosity solutions for Hamilton-Jacobi equations with unbounded nonlinear term: a simpli- fied approach,J. Differential Equations111(1) (1994), 123–146

    1994

  56. [56]

    Temam,Navier–Stokes Equations: Theory and Numerical Analysis, North-Holland, Amsterdam, 1984

    R. Temam,Navier–Stokes Equations: Theory and Numerical Analysis, North-Holland, Amsterdam, 1984

    1984

  57. [57]

    Temam,Navier-Stokes Equations and Nonlinear Functional Analysis, Second Edition, CBMS-NSF Regional Conference Series in Applied Mathematics, 1995

    R. Temam,Navier-Stokes Equations and Nonlinear Functional Analysis, Second Edition, CBMS-NSF Regional Conference Series in Applied Mathematics, 1995

    1995

  58. [58]

    Temam,Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Appl

    R. Temam,Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Appl. Math. Sci.,68, Springer-Verlag, New York, 1997

    1997

  59. [59]

    Wang,Optimal controls of 3-dimensional Navier-Stokes equations with state constraints, SIAM J

    G. Wang,Optimal controls of 3-dimensional Navier-Stokes equations with state constraints, SIAM J. Control Optim.,41(2) (2002), 583–606

    2002

  60. [60]

    Yong and X

    J. Yong and X. Y. Zhou,Stochastic Controls: Hamiltonian Systems and HJB Equation, Springer-Verlag, New York, 1999

    1999

  61. [61]

    Yu and B

    H. Yu and B. Liu, Pontryagin’s principle for local solutions of optimal control governed by the 2D Navier-Stokes equations with mixed control-state constraints,Math. Control Relat. Fields,2(1) (2012), 61–80

    2012

  62. [62]

    X. Y. Zhou, Verification theorems within the framework of viscosity solutions,J. Math. Anal. Appl., 177(1) (1993), 208–225

    1993