arxiv: 2605.09207 · v1 · submitted 2026-05-09 · 🧮 math.OC

Recognition: no theorem link

An optimal control problem for Stokes-Cahn-Hilliard-Oono equations with regular potential

Arghya Kundu

Pith reviewed 2026-05-12 02:09 UTC · model grok-4.3

classification 🧮 math.OC

keywords optimal controlStokes-Cahn-Hilliard-Oonophase-field modeladjoint systemtwo-phase flowexistence of minimizeroptimality conditionsdiffuse interface

0 comments

The pith

An optimal control exists for the Stokes-Cahn-Hilliard-Oono system and satisfies a first-order condition derived from the adjoint equations.

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

The paper studies an optimal control problem in which a cost functional of L2 type is minimized subject to the evolution of two immiscible incompressible fluids governed by the coupled Stokes-Cahn-Hilliard-Oono equations with a regular potential. These equations describe the fluids through a diffuse interface of finite thickness that incorporates surface tension. The authors first prove that at least one admissible control achieves the infimum of the cost. They then linearize the state system around this control, introduce the corresponding adjoint system, and obtain the necessary optimality condition that any minimizer must satisfy. The result supplies a rigorous basis for steering interface dynamics in two-phase flows by external inputs.

Core claim

For the Stokes-Cahn-Hilliard-Oono system with regular potential, there exists at least one optimal control that minimizes the given L2 cost functional, and every such optimal control satisfies the first-order optimality condition obtained by pairing the state equations with the solution of the adjoint system.

What carries the argument

The adjoint system obtained by linearizing the state equations backward in time, which expresses the gradient of the reduced cost functional with respect to the control.

If this is right

Any minimizer must satisfy a variational inequality involving the adjoint state evaluated at the interface.
The control-to-state operator is continuous from the control space into the state space, guaranteeing compactness for the existence argument.
The same adjoint construction yields a gradient formula that can be used in numerical descent methods for computing the control.
The result extends classical existence theory for optimal control of Navier-Stokes to the diffuse-interface setting with Oono regularization.

Where Pith is reading between the lines

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

The same linearization-plus-adjoint technique could be applied to related diffuse-interface models that replace the Stokes operator with the full Navier-Stokes equations.
In applications the derived condition supplies a practical stopping criterion for iterative control algorithms that steer droplet coalescence or separation.
If the potential loses regularity, one would expect to replace the classical adjoint by a weaker notion such as a subdifferential inclusion.

Load-bearing premise

The state system must admit sufficiently regular solutions for every admissible control so that the control-to-state map is differentiable in the spaces needed to define the adjoint.

What would settle it

A concrete admissible control together with its state trajectory for which the adjoint-derived optimality condition fails to hold, yet a different control produces a strictly lower cost value.

read the original abstract

This article discusses an optimal control problem for a phase field model of two immiscible incompressible fluid flow, incorporating surface tension effects. The optimal control problem is defined with a $L^2$-cost functional and subject to the constraints governed by a system of coupled Stokes-Cahn-Hilliard-Oono equations. In this model, fluids are separated by a dynamic diffuse interface of finite width. We investigate the optimality condition of a given control. Initially, we establish the existence of an optimal solution for the coupled optimal control problem. Subsequently, we derive the optimality condition with respect to the corresponding adjoint system.

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.

Desk Editor's Note private letter to a colleague

The paper proves existence of an optimal control and derives adjoint-based conditions for the Stokes-Cahn-Hilliard-Oono system with regular potential, but the load-bearing well-posedness estimates for L2 controls are not visible in the abstract.

read the letter

The key point is that the authors prove existence of an optimal control for their Stokes-Cahn-Hilliard-Oono system and then obtain the optimality conditions from the adjoint equations. This is done for an L2 cost functional. They handle a regular potential, which simplifies some technical issues compared to singular ones. The setup follows the usual direct method for existence and then linearization for the adjoint. What stands out is the specific model: the Oono term adds a linear relaxation to the Cahn-Hilliard part, and coupling it to Stokes flow with surface tension is a natural step for controlling two-phase fluids. The soft spot is the well-posedness of the state system under L2 controls. To get existence of the minimizer, they need the solution map to be compact or at least continuous into the space where the cost is evaluated. For the nonlinear terms in the phase field equation, this requires bounds that do not depend badly on the control. The abstract does not give the details, so the strength of the result hinges on whether those estimates close without additional restrictions on the admissible controls. If the full paper has clean proofs for the a priori estimates and the differentiability of the control-to-state map, then the work is technically sound though not revolutionary. This kind of paper is useful for people already doing optimal control on diffuse interface models. It gives an explicit adjoint system that could be used for numerical work or further analysis. It deserves peer review because the problem is well-posed as a question and the approach is standard but needs verification on the estimates. I recommend sending it to referees.

Referee Report

2 major / 2 minor

Summary. The paper formulates an optimal control problem for the Stokes-Cahn-Hilliard-Oono system with regular potential, using an L² cost functional. It proves existence of an optimal solution via the direct method and derives first-order necessary optimality conditions by introducing and analyzing the corresponding adjoint system.

Significance. If the state-system well-posedness and adjoint derivation are rigorous, the work supplies a concrete existence-plus-optimality-conditions result for a coupled incompressible phase-field fluid model. Such results are useful for control of diffuse-interface flows, and the regular potential choice simplifies several nonlinear estimates relative to singular potentials.

major comments (2)

[§3] §3 (Existence of optimal solution): the direct-method argument relies on uniform-in-control a-priori bounds for the Stokes-Cahn-Hilliard-Oono system when the control lies in L². The manuscript must exhibit these bounds explicitly (or show that control-dependent constants still permit coercivity of the cost); otherwise the compactness step fails and existence of a minimizer is not secured.
[§4] §4 (Adjoint derivation): the Gâteaux differentiability of the control-to-state map and the transposition argument for the adjoint system presuppose that the linearized state equations admit unique solutions in the same spaces used for the cost. The paper must verify that the linearization inherits the necessary regularity from the nonlinear system; otherwise the formal adjoint equation is not justified.

minor comments (2)

[§2] Notation for the admissible control set and the precise function spaces for the state variables should be stated once at the beginning of §2 and used consistently thereafter.
[Introduction] The abstract claims derivation of optimality conditions but does not indicate whether the conditions are necessary, sufficient, or both; this should be clarified in the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment point by point below, indicating the revisions we will make.

read point-by-point responses

Referee: [§3] §3 (Existence of optimal solution): the direct-method argument relies on uniform-in-control a-priori bounds for the Stokes-Cahn-Hilliard-Oono system when the control lies in L². The manuscript must exhibit these bounds explicitly (or show that control-dependent constants still permit coercivity of the cost); otherwise the compactness step fails and existence of a minimizer is not secured.

Authors: We agree that the a-priori bounds for the state system must be derived explicitly to confirm uniformity with respect to controls in L². In the revised manuscript we will insert a dedicated lemma in Section 3 that obtains these bounds by exploiting the regular potential and the structure of the Stokes equations; the resulting constants will be shown to be independent of the control, thereby securing the compactness argument for the direct method. revision: yes
Referee: [§4] §4 (Adjoint derivation): the Gâteaux differentiability of the control-to-state map and the transposition argument for the adjoint system presuppose that the linearized state equations admit unique solutions in the same spaces used for the cost. The paper must verify that the linearization inherits the necessary regularity from the nonlinear system; otherwise the formal adjoint equation is not justified.

Authors: We concur that the well-posedness of the linearized system must be verified in the same function spaces to justify the adjoint derivation. We will add a proposition in Section 4 establishing existence and uniqueness for the linearized equations, demonstrating that the required regularity follows from the same estimates used for the nonlinear system once the uniform bounds from Section 3 are available. This will rigorously support both the Gâteaux differentiability of the control-to-state map and the transposition argument. revision: yes

Circularity Check

0 steps flagged

No circularity: standard direct-method existence plus adjoint derivation for well-posed state system

full rationale

The paper follows the classical optimal-control route: first prove existence of a minimizer for the L2 cost subject to the Stokes-Cahn-Hilliard-Oono state equations (via compactness and lower-semicontinuity), then derive first-order necessary conditions by introducing the adjoint system. No step reduces a claimed result to a fitted parameter, a self-definition, or a self-citation chain; the load-bearing well-posedness of the nonlinear state system is an independent analytic assumption whose verification is external to the optimality argument itself. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is populated from typical assumptions stated or implied in such papers rather than explicit text.

axioms (2)

domain assumption The forward Stokes-Cahn-Hilliard-Oono system admits weak or mild solutions for controls in the admissible set.
Required for the optimal control problem to be well-posed; standard but not verified here.
domain assumption The cost functional is weakly lower semicontinuous and coercive on the control space.
Needed to guarantee existence of a minimizer; typical in L2-cost problems.

pith-pipeline@v0.9.0 · 5391 in / 1358 out tokens · 49391 ms · 2026-05-12T02:09:43.771231+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

[1]

Annual review of fluid mechanics30(1), 139–165 (1998)

Anderson, D., McFadden, G., Wheeler, A.: Diffuse-interface methods in fluid mechanics. Annual review of fluid mechanics30(1), 139–165 (1998)

work page 1998
[2]

Journal of Mathematical Fluid Mechanics22, 1–42 (2020)

Biswas, T., Dharmatti, S., Mohan, M.: Maximum principle for some optimal control problems governed by 2d nonlocal cahn–hillard–navier–stokes equations. Journal of Mathematical Fluid Mechanics22, 1–42 (2020)

work page 2020
[3]

Analysis40(3), 127–150 (2020)

Biswas, T., Dharmatti, S., Mohan, M.: Pontryagin maximum principle and second or- der optimality conditions for optimal control problems governed by 2d nonlocal cahn– hilliard–navier–stokes equations. Analysis40(3), 127–150 (2020)

work page 2020
[4]

European Journal of Applied Mathematics2(3), 233–280 (1991)

Blowey, J., Elliott, C.: The cahn–hilliard gradient theory for phase separation with non-smooth free energy part i: Mathematical analysis. European Journal of Applied Mathematics2(3), 233–280 (1991)

work page 1991
[5]

SIAM Journal on Control and Optimization53(4), 2696–2721 (2015)

Colli, P., Farshbaf-Shaker, M., Gilardi, G., Sprekels, J.: Optimal boundary control of a viscous cahn–hilliard system with dynamic boundary condition and double obstacle potentials. SIAM Journal on Control and Optimization53(4), 2696–2721 (2015)

work page 2015
[6]

Applied Mathematics & Optimization71, 1–24 (2015)

Colli, P., Farshbaf-Shaker, M., Sprekels, J.: A deep quench approach to the optimal con- trol of an allen–cahn equation with dynamic boundary conditions and double obstacles. Applied Mathematics & Optimization71, 1–24 (2015)

work page 2015
[7]

Nonlinearity30(6), 2518 (2017)

Colli, P., Gilardi, G., Rocca, E., Sprekels, J.: Optimal distributed control of a diffuse interface model of tumor growth. Nonlinearity30(6), 2518 (2017)

work page 2017
[8]

arXiv preprint arXiv:2108.03165 (2021)

Colli, P., Gilardi, G., Rocca, E., Sprekels, J.: Well-posedness and optimal control for a cahn-hilliard-oono system with control in the mass term. arXiv preprint arXiv:2108.03165 (2021)

work page arXiv 2021
[9]

Advances in Nonlinear Analysis 4(4), 311–325 (2015)

Colli, P., Gilardi, G., Sprekels, J.: A boundary control problem for the pure cahn– hilliard equation with dynamic boundary conditions. Advances in Nonlinear Analysis 4(4), 311–325 (2015)

work page 2015
[10]

Numerische Mathematik63(1), 39–65 (1992)

Copetti, M., Elliott, C.: Numerical analysis of the cahn-hilliard equation with a loga- rithmic free energy. Numerische Mathematik63(1), 39–65 (1992)

work page 1992
[11]

Journal of Dynamical and Control Systems 27, 221–246 (2021) An optimal control problem for phase field modeling 29

Dharmatti, S., Perisetti, L.M.: Nonlocal cahn-hilliard-brinkman system with regular potential: Regularity and optimal control. Journal of Dynamical and Control Systems 27, 221–246 (2021) An optimal control problem for phase field modeling 29

work page 2021
[12]

SIAM journal on numerical analysis 44(3), 1049–1072 (2006)

Feng, X.: Fully discrete finite element approximations of the navier–stokes–cahn-hilliard diffuse interface model for two-phase fluid flows. SIAM journal on numerical analysis 44(3), 1049–1072 (2006)

work page 2006
[13]

SIAM Journal on Control and Opti- mization54(1), 221–250 (2016)

Frigeri, S., Rocca, E., Sprekels, J.: Optimal distributed control of a nonlocal cahn– hilliard/navier–stokes system in two dimensions. SIAM Journal on Control and Opti- mization54(1), 221–250 (2016)

work page 2016
[14]

SIAM journal on control and optimization43(6), 2191–2232 (2005)

Fursikov, A., Gunzburger, M., Hou, L.: Optimal boundary control for the evolution- ary navier–stokes system: The three-dimensional case. SIAM journal on control and optimization43(6), 2191–2232 (2005)

work page 2005
[15]

ESAIM: Control, Optimisation and Calculus of Variations 25, 13 (2019)

Garcke, H., Hinze, M., Kahle, C.: Optimal control of time-discrete two-phase flow driven by a diffuse-interface model. ESAIM: Control, Optimisation and Calculus of Variations 25, 13 (2019)

work page 2019
[16]

Applied Mathematics & Optimization78, 495–544 (2018)

Garcke, H., Lam, K., Rocca, E.: Optimal control of treatment time in a diffuse interface model of tumor growth. Applied Mathematics & Optimization78, 495–544 (2018)

work page 2018
[17]

arXiv preprint arXiv:2309.09053 (2023)

Gilardi, G., Rocca, E., Signori, A.: Well-posedness and optimal control for a vis- cous cahn-hilliard-oono system with dynamic boundary conditions. arXiv preprint arXiv:2309.09053 (2023)

work page arXiv 2023
[18]

arXiv preprint arXiv:1907.04285 (2019)

Gr¨ aßle, C., Hinterm¨ uller, M., Hinze, M., Keil, T.: Simulation and control of a nonsmooth cahn-hilliard navier-stokes system. arXiv preprint arXiv:1907.04285 (2019)

work page arXiv 1907
[19]

Guillot, S.: Phases modul´ ees et dynamique de cahn-hilliard. Ph.D. thesis, Universit´ e Sciences et Technologies-Bordeaux I (2010)

work page 2010
[20]

Mathematical Methods in the Applied Sciences45(7), 3732–3763 (2022)

He, J.: On the viscous cahn–hilliard–oono system with chemotaxis and singular poten- tial. Mathematical Methods in the Applied Sciences45(7), 3732–3763 (2022)

work page 2022
[21]

Optimization and Engineering19, 629–662 (2018)

Hinterm¨ uller, M., Hinze, M., Kahle, C., Keil, T.: A goal-oriented dual-weighted adaptive finite element approach for the optimal control of a nonsmooth cahn–hilliard–navier– stokes system. Optimization and Engineering19, 629–662 (2018)

work page 2018
[22]

Applied Mathematics & Optimization89(1), 12 (2024)

Hinterm¨ uller, M., Keil, T.: Strong stationarity conditions for the optimal control of a cahn–hilliard–navier–stokes system. Applied Mathematics & Optimization89(1), 12 (2024)

work page 2024
[23]

SIAM Journal on Control and Optimization55(3), 1954–1989 (2017)

Hinterm¨ uller, M., Keil, T., Wegner, D.: Optimal control of a semidiscrete Cahn–Hilliard– Navier–Stokes system with nonmatched fluid densities. SIAM Journal on Control and Optimization55(3), 1954–1989 (2017)

work page 1954
[24]

Communications in Com- putational Physics12(3), 613–661 (2012)

Kim, J.: Phase-field models for multi-component fluid flows. Communications in Com- putational Physics12(3), 613–661 (2012)

work page 2012
[25]

Medjo, T.: Optimal control of a cahn–hilliard–navier–stokes model with state con- straints. J. Convex Anal22(4), 1135–1172 (2015)

work page 2015
[26]

Optimal Control Applications and Methods 42(3), 807–832 (2021)

Medjo, T., Tone, C., Tone, F.: Maximum principle of optimal control of a cahn–hilliard– navier–stokes model with state constraints. Optimal Control Applications and Methods 42(3), 807–832 (2021)

work page 2021
[27]

Miranville, A.: Asymptotic behavior of the cahn-hilliard-oono equation. J. Appl. Anal. Comput1(4), 523–536 (2011)

work page 2011
[28]

Applicable Analysis95(12), 2609–2624 (2016)

Miranville, A., Temam, R.: On the cahn-hilliard-oono-navier-stokes equations with sin- gular potentials. Applicable Analysis95(12), 2609–2624 (2016)

work page 2016
[29]

ESAIM: Mathematical Modelling and Numerical Analysis51(3), 1089–1117 (2017)

N¨ urnberg, R., et al.: Numerical approximation of a non-smooth phase-field model for multicomponent incompressible flow. ESAIM: Mathematical Modelling and Numerical Analysis51(3), 1089–1117 (2017)

work page 2017
[30]

Physical review letters58(8), 836 (1987)

Oono, Y., Puri, S.: Computationally efficient modeling of ordering of quenched phases. Physical review letters58(8), 836 (1987)

work page 1987
[31]

SIAM Journal on Control and Optimization53(3), 1654–1680 (2015)

Rocca, E., Sprekels, J.: Optimal distributed control of a nonlocal convective cahn– hilliard equation by the velocity in three dimensions. SIAM Journal on Control and Optimization53(3), 1654–1680 (2015)

work page 2015
[32]

International Journal of Numerical Methods for Heat & Fluid Flow31(10), 3089–3131 (2020)

Santra, S., Mandal, S., Chakraborty, S.: Phase-field modeling of multicomponent and multiphase flows in microfluidic systems: A review. International Journal of Numerical Methods for Heat & Fluid Flow31(10), 3089–3131 (2020)

work page 2020
[33]

Temam, R.: Navier-Stokes equations: theory and numerical analysis, vol. 343. American Mathematical Soc. (2001)

work page 2001
[34]

Evolution Equations and Control Theory13(6), 1486–1522 (2024) 30 A

Zhang, X.: Optimal distributed control of the viscous cahn-hilliard-oono system with chemotaxis. Evolution Equations and Control Theory13(6), 1486–1522 (2024) 30 A. Kundu

work page 2024
[35]

Applied Mathematics & Optimization 88(1), 2 (2023)

Zhao, X.: Optimal distributed control of two-dimensional navier–stokes–cahn–hilliard system with chemotaxis and singular potential. Applied Mathematics & Optimization 88(1), 2 (2023)

work page 2023
[36]

Applicable Analysis92(5), 1028–1045 (2013)

Zhao, X., Liu, C.: Optimal control of the convective cahn–hilliard equation. Applicable Analysis92(5), 1028–1045 (2013)

work page 2013
[37]

Applied Mathematics & Optimization70, 61–82 (2014)

Zhao, X., Liu, C.: Optimal control for the convective cahn–hilliard equation in 2d case. Applied Mathematics & Optimization70, 61–82 (2014)

work page 2014