pith. sign in

arxiv: 2605.19339 · v1 · pith:LBRRQEXLnew · submitted 2026-05-19 · 🧮 math.OC

Generalized Differentiability and Second-Order Necessary Optimality Conditions for an Elliptic Optimal Control Problem with Exponential Nonlinearity and Discrete Measures

Vu Huu Nhu , Nguyen Hai Son , Phan Quang Sang , Tran Duy This is my paper

Pith reviewed 2026-05-20 04:56 UTC · model grok-4.3

classification 🧮 math.OC
keywords generalized differentiabilityoptimal controlelliptic equationexponential nonlinearitydiscrete measuresnecessary optimality conditionsNemytskii operatorcontrol-to-state map
0
0 comments X

The pith

A generalized derivative obtained as the limit of finite-dimensional directional derivatives enables first- and second-order necessary optimality conditions for an elliptic optimal control problem with exponential nonlinearity and discrete

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 with box constraints on controls in the space of absolutely summable sequences, where the state satisfies a semilinear elliptic equation featuring exponential nonlinearity and discrete measure sources. Standard directional differentiability of the control-to-state operator fails in this setting, so the authors first prove that directional derivatives exist along all directions lying in any finite-dimensional subspace of the control space. They then define a generalized derivative for the operator as the limit of these finite-dimensional derivatives when the subspace dimension tends to infinity. Using Taylor-type expansions of the associated exponential Nemytskii operator, this generalized derivative yields first- and second-order generalized differentiability of the reduced objective functional, from which the corresponding necessary optimality conditions follow.

Core claim

The control-to-state operator is directionally differentiable along every finite-dimensional subspace of the control space; the generalized derivative is the limit of these directional derivatives as the subspace dimension approaches infinity. This notion, combined with first- and second-order expansions of the exponential Nemytskii operator, produces generalized differentiability of the reduced cost functional and thereby first- and second-order necessary optimality conditions for the box-constrained problem.

What carries the argument

Generalized derivative of the control-to-state operator, obtained by taking the limit of its finite-dimensional directional derivatives as subspace dimension tends to infinity; it supplies the expansions needed to derive optimality conditions when ordinary directional differentiability is unavailable.

If this is right

  • First-order necessary conditions can be written in terms of the generalized derivative of the reduced objective.
  • Second-order necessary conditions follow directly from the second-order generalized differentiability of the reduced objective.
  • The conditions apply to controls belonging to the space of absolutely summable sequences subject to box constraints.
  • The approach remains valid even though the control-to-state map itself is not directionally differentiable in the usual sense.

Where Pith is reading between the lines

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

  • The same finite-dimensional limit construction could be tested on parabolic or time-dependent problems that share the exponential nonlinearity and discrete sources.
  • Numerical schemes that approximate the generalized derivative by solving a sequence of finite-dimensional subproblems may be developed to locate candidate optimal controls.
  • The method might connect to other control problems whose state equations involve singular measures or strongly nonlinear terms that destroy classical differentiability.

Load-bearing premise

The limit of the finite-dimensional directional derivatives of the control-to-state operator exists and furnishes a usable generalized derivative for the required Taylor expansions.

What would settle it

A concrete instance of the exponential semilinear elliptic control problem in which, for some sequence of increasing finite-dimensional subspaces, the directional derivatives fail to converge to a limit that satisfies the derived first- or second-order necessary conditions.

read the original abstract

This paper deals with generalized differentiability and second-order necessary optimality conditions for a box-constrained optimal control problem governed by an exponential semilinear elliptic equation with discrete measures as sources, where the control belongs to the space of absolutely summable sequences. The presence of the exponential nonlinearity and discrete measures makes the analysis particularly challenging. In particular, the control-to-state operator may fail to be directionally differentiable. To address this issue, we first establish finite-dimensional directional differentiability of the control-to-state operator; that is, the operator is directionally differentiable along directions contained in finite-dimensional subspaces of the control space. We then introduce a notion of generalized derivative defined as the limit of the associated finite-dimensional directional derivatives as the dimension of these subspaces tends to infinity. Based on this concept, together with estimates for first- and second-order Taylor-type expansions of the exponential Nemytskii operator associated with the control-to-state mapping, we derive first- and second-order generalized differentiability of the reduced objective functional. This leads to first- and second-order necessary optimality conditions for the optimal control problem.

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

2 major / 2 minor

Summary. The paper considers a box-constrained optimal control problem for a semilinear elliptic PDE with exponential nonlinearity and discrete measures as sources, with controls in the space of absolutely summable sequences. It establishes finite-dimensional directional differentiability of the control-to-state operator, introduces a generalized derivative as the limit of these derivatives as the subspace dimension tends to infinity, derives first- and second-order Taylor expansions for the associated exponential Nemytskii operator, and obtains first- and second-order generalized differentiability of the reduced objective, from which first- and second-order necessary optimality conditions follow.

Significance. If the generalized derivative is shown to be well-defined independently of the approximating subspaces and the Taylor estimates pass to the limit in a sufficiently strong topology, the work would provide a useful extension of optimality conditions to settings where standard directional differentiability fails due to the combination of exponential growth and discrete sources. The approach builds on standard functional-analytic tools and external PDE results rather than introducing free parameters or self-referential constructions.

major comments (2)
  1. [Definition of generalized derivative] Definition of generalized derivative (likely §3 or §4): the construction as the limit of finite-dimensional directional derivatives as dim→∞ must be shown to exist and to be independent of the particular nested sequence of finite-dimensional subspaces. With controls in ℓ¹ and sources as discrete measures, different basis orderings can weight point sources differently under the exponential map; without a uniform limit or subspace-independence argument, the subsequent Taylor expansions of the Nemytskii operator and the necessary conditions rest on an unverified premise.
  2. [Second-order Taylor estimates] Passage to the limit in the second-order Taylor expansion (likely §5): the estimates for the exponential Nemytskii operator are first obtained in finite dimensions; the manuscript must verify that the remainder terms converge in a topology strong enough to justify the second-order necessary condition when the generalized derivative is inserted. The abstract invokes this limit process without visible safeguards against non-uniformity induced by the exponential nonlinearity.
minor comments (2)
  1. [Introduction] Notation for the control space and the embedding into the measure space should be introduced earlier and used consistently when stating the box constraints.
  2. [Main theorem] The statement of the main necessary conditions (likely Theorem 5.x) would benefit from an explicit remark on whether the generalized derivative reduces to the classical one when the control is sufficiently regular.

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 the major points below and will revise the manuscript to strengthen the arguments as indicated.

read point-by-point responses

  1. Referee: [Definition of generalized derivative] Definition of generalized derivative (likely §3 or §4): the construction as the limit of finite-dimensional directional derivatives as dim→∞ must be shown to exist and to be independent of the particular nested sequence of finite-dimensional subspaces. With controls in ℓ¹ and sources as discrete measures, different basis orderings can weight point sources differently under the exponential map; without a uniform limit or subspace-independence argument, the subsequent Taylor expansions of the Nemytskii operator and the necessary conditions rest on an unverified premise.

    Authors: We agree that a complete proof of existence and subspace-independence is essential for the definition to be well-posed. While the manuscript constructs the generalized derivative via the indicated limit and provides supporting estimates for the control-to-state map, the argument for independence from the choice of nested finite-dimensional subspaces (and from basis ordering) is not presented with full generality. We will add a dedicated subsection establishing uniform convergence of the finite-dimensional directional derivatives, using the ℓ¹ structure and the discrete character of the measures to control the exponential nonlinearity uniformly across approximating sequences. revision: yes

  2. Referee: [Second-order Taylor estimates] Passage to the limit in the second-order Taylor expansion (likely §5): the estimates for the exponential Nemytskii operator are first obtained in finite dimensions; the manuscript must verify that the remainder terms converge in a topology strong enough to justify the second-order necessary condition when the generalized derivative is inserted. The abstract invokes this limit process without visible safeguards against non-uniformity induced by the exponential nonlinearity.

    Authors: We acknowledge the need for stronger justification when passing the second-order remainder to the limit. The finite-dimensional Taylor estimates are derived in the manuscript, but the passage to the infinite-dimensional setting under the exponential growth requires additional uniform bounds. We will revise the relevant section to include explicit convergence arguments in a topology compatible with the necessary optimality conditions, exploiting the summability of the discrete sources and the boundedness properties of the control-to-state operator to rule out non-uniformity. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external PDE theory and explicit limit construction

full rationale

The paper defines finite-dimensional directional differentiability of the control-to-state operator along subspaces, then explicitly introduces the generalized derivative as the limit of those derivatives as dimension tends to infinity. It then uses estimates on Taylor expansions of the exponential Nemytskii operator to obtain generalized differentiability of the reduced objective and necessary conditions. No step reduces a claimed result to a fitted parameter, self-citation chain, or definitional tautology; the construction is self-contained against standard functional-analytic and PDE existence results cited externally. The limit existence is stated as an assumption rather than derived from prior results within the paper itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard well-posedness results for semilinear elliptic equations and on the newly introduced generalized derivative; no numerical fitting parameters appear.

axioms (1)
  • domain assumption The semilinear elliptic equation with exponential nonlinearity and discrete measures admits a unique solution in appropriate function spaces for every control in the l1 sequence space.
    Required for the control-to-state operator to be well-defined before differentiability can be discussed.
invented entities (1)
  • Generalized derivative of the control-to-state operator no independent evidence
    purpose: To extend differentiability analysis when the standard directional derivative fails to exist in all directions
    Defined as the limit of finite-dimensional directional derivatives as subspace dimension tends to infinity; no independent falsifiable evidence outside the paper is provided.

pith-pipeline@v0.9.0 · 5743 in / 1465 out tokens · 50260 ms · 2026-05-20T04:56:55.273701+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

30 extracted references · 30 canonical work pages

  1. [1]

    Mean field equation of Liouville type with singular data: Topological degree.Communications on Pure and Applied Mathematics, 68(6):887–947, 2015

    Chiun-Chuan Chen and Chang-Shou Lin. Mean field equation of Liouville type with singular data: Topological degree.Communications on Pure and Applied Mathematics, 68(6):887–947, 2015. 26

    work page 2015

  2. [2]

    Harmonic radius and concentration of energy; Hyperbolic radius and Liouville’s equations ∆u=e u and ∆u=u n+2 n−2

    Catherine Bandle and Martin Flucher. Harmonic radius and concentration of energy; Hyperbolic radius and Liouville’s equations ∆u=e u and ∆u=u n+2 n−2 . SIAM Review, 38(2):191–238, 1996

    work page 1996

  3. [3]

    On the elliptic equation ∆u+k(x)e 2u = 0 and conformal metrics with prescribed Gaussian curvatures.Inventiones Mathematicae, 66(3):343–352, 1982

    Wei-Ming Ni. On the elliptic equation ∆u+k(x)e 2u = 0 and conformal metrics with prescribed Gaussian curvatures.Inventiones Mathematicae, 66(3):343–352, 1982

    work page 1982

  4. [4]

    Approximation of elliptic control problems in measure spaces with sparse solutions.SIAM Journal on Control and Optimization, 50(4):1735–1752, 2012

    Eduardo Casas, Christian Clason, and Karl Kunisch. Approximation of elliptic control problems in measure spaces with sparse solutions.SIAM Journal on Control and Optimization, 50(4):1735–1752, 2012

    work page 2012

  5. [5]

    Optimal control of semilinear elliptic equations in measure spaces.SIAM Journal on Control and Optimization, 52(1):339–364, 2014

    Eduardo Casas and Karl Kunisch. Optimal control of semilinear elliptic equations in measure spaces.SIAM Journal on Control and Optimization, 52(1):339–364, 2014

    work page 2014

  6. [6]

    A measure space approach to optimal source placement.Computational Optimization and Applications, 53(1):155–171, 2012

    Christian Clason and Karl Kunisch. A measure space approach to optimal source placement.Computational Optimization and Applications, 53(1):155–171, 2012

    work page 2012

  7. [7]

    Sparse optimal control of a quasilinear elliptic PDE in measure spaces.Mathematical Control and Related Fields, 13(4):1556–1576, 2023

    Fabian Hoppe. Sparse optimal control of a quasilinear elliptic PDE in measure spaces.Mathematical Control and Related Fields, 13(4):1556–1576, 2023

    work page 2023

  8. [8]

    Semilinear optimal control with Dirac measures.IMA Journal of Numerical Analysis, 44(6):3573–3594, 2024

    Enrique Ot´ arola. Semilinear optimal control with Dirac measures.IMA Journal of Numerical Analysis, 44(6):3573–3594, 2024

    work page 2024

  9. [9]

    Parabolic control problems in measure spaces with sparse solutions.SIAM Journal on Control and Optimiza- tion, 51(1):28–63, 2013

    Eduardo Casas, Christian Clason, and Karl Kunisch. Parabolic control problems in measure spaces with sparse solutions.SIAM Journal on Control and Optimiza- tion, 51(1):28–63, 2013

    work page 2013

  10. [10]

    Spike controls for elliptic and parabolic PDEs.Systems and Control Letters, 62(4):311–318, 2013

    Eduardo Casas and Enrique Zuazua. Spike controls for elliptic and parabolic PDEs.Systems and Control Letters, 62(4):311–318, 2013

    work page 2013

  11. [11]

    Optimal control of a two-dimensional elliptic equation with expo- nential nonlinearity and Dirac measure data.Arxiv, pages 1–32, 2025

    Vu Huu Nhu. Optimal control of a two-dimensional elliptic equation with expo- nential nonlinearity and Dirac measure data.Arxiv, pages 1–32, 2025

    work page 2025

  12. [12]

    Pitman Advanced Publishing Program, Boston, MA, 1984

    Viorel Barbu.Optimal Control of Variational Inequalities, volume 100 ofResearch Notes in Mathematics. Pitman Advanced Publishing Program, Boston, MA, 1984

    work page 1984

  13. [13]

    Springer-Verlag, Berlin, Germany, 1990

    Dan Tiba.Optimal Control of Nonsmooth Distributed Parameter Systems. Springer-Verlag, Berlin, Germany, 1990

    work page 1990

  14. [14]

    Christian Meyer and Livia M. Susu. Optimal control of nonsmooth, semilinear parabolic equations.SIAM Journal on Control and Optimization, 55(4):2206– 2234, 2017

    work page 2017

  15. [15]

    Op- timal control of a non-smooth semilinear elliptic equation.Mathematical Control and Related Fields, 8(1):247–276, 2018

    Christof Constantin, Christian Clason, Christian Meyer, and Stefan Walter. Op- timal control of a non-smooth semilinear elliptic equation.Mathematical Control and Related Fields, 8(1):247–276, 2018

    work page 2018

  16. [16]

    Marcel Dekker, New York, NY, 1994

    Pekka Neittaanm¨ aki and Dan Tiba.Optimal Control of Nonlinear Parabolic Sys- tems: Theory, Algorithms and Applications, volume 179. Marcel Dekker, New York, NY, 1994

    work page 1994

  17. [17]

    Uniform estimates and blow–up behavior for solutions of−∆u=V(x)e u in two dimensions.Commun

    Ha¨ ım Brezis and Frank Merle. Uniform estimates and blow–up behavior for solutions of−∆u=V(x)e u in two dimensions.Commun. Partial Differ. Equ., 16(8 & 9):1223–1253, 1991

    work page 1991

  18. [18]

    Nonlinear elliptic equations with measures revisited

    Ha¨ ım Brezis, Moshe Marcus, and Augusto Ponce. Nonlinear elliptic equations with measures revisited. In Jean Bourgain, Carlos E. Kenig, and Sergiu Klain- erman, editors,Mathematical Aspects of Nonlinear Dispersive Equations, volume 163 ofAnnals of Mathematics Studies, chapter 4, pages 55–109. Princeton Uni- versity Press, Princeton, 2007

    work page 2007

  19. [19]

    American Mathematical Society, Providence, Rhode Island, 2010

    Fredi Tr¨ oltzsch.Optimal Control of Partial Differential Equations: Theory, Meth- ods and Applications, volume 112 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, Rhode Island, 2010. 27

    work page 2010

  20. [20]

    Juan L. Vazquez. On a semilinear equation inR 2 involving bounded measures. Proceedings of the Royal Society of Edinburgh, 95A(3 & 4):181–202, 1983

    work page 1983

  21. [21]

    Daniele Bartolucci, Fabiana Leoni, Luigi Orsina, and Augusto C. Ponce. Semi- linear equations with exponential nonlinearity and measure data.Annales de l’Institut Henri Poincar´ e C, Analyse Non Lin´ eaire, 22(6):799–815, 2005

    work page 2005

  22. [22]

    Birkh¨ auser, Boston, MA, 1996

    Augusto Visintin.Models of Phase Transitions, volume 28 ofProgress in Non- linear Differential Equations and Their Applications. Birkh¨ auser, Boston, MA, 1996

    work page 1996

  23. [23]

    Compact Textbooks in Mathematics

    J¨ urgen Voigt.A Course on Topological Vector Spaces. Compact Textbooks in Mathematics. Springer, Cham, Switzerland, 2020

    work page 2020

  24. [24]

    Megginson.An Introduction to Banach Space Theory, volume 183 of Graduate Texts in Mathematics

    Robert E. Megginson.An Introduction to Banach Space Theory, volume 183 of Graduate Texts in Mathematics. Springer, New York, NY, 1998

    work page 1998

  25. [25]

    The Kolmogorov–Riesz compactness theorem.Expositiones Mathematicae, 28(4):385–394, 2010

    Harald Hanche-Olsen and Helge Holden. The Kolmogorov–Riesz compactness theorem.Expositiones Mathematicae, 28(4):385–394, 2010

    work page 2010

  26. [26]

    Alejandro Allendes, Enrique Ot´ arola, Richard Rankin, and Abner J. Salgado. An a posteriori error analysis for an optimal control problem with point sources. ESAIM: Mathematical Modelling and Numerical Analysis, 52(5):1617–1650, 2018

    work page 2018

  27. [27]

    An elliptic semilinear equation with source term involving boundary measures: The subcritical case.Revista Matem´ atica Iberoamericana, 16(3):477–513, 2000

    Marie-Fran¸ coise Bidaut-V´ eron and Laurent Vivier. An elliptic semilinear equation with source term involving boundary measures: The subcritical case.Revista Matem´ atica Iberoamericana, 16(3):477–513, 2000

    work page 2000

  28. [28]

    American Mathematical Society, Providence, R.I., 2nd edition, 2010

    Lawrence Craig Evans.Partial Differential Equations. American Mathematical Society, Providence, R.I., 2nd edition, 2010

    work page 2010

  29. [29]

    Elsevier B

    Michel Chipot and Pavol Quittner.Handbook of Differential Equations: Station- ary Partial Differential Equations, volume 1. Elsevier B. V., Amsterdam, Boston, Heidelberg, London, 1st edition, 2004

    work page 2004

  30. [30]

    American Mathematical Society, Providence, Rhode Island, 2nd edition, 2017

    Giovanni Leoni.A First Course in Sobolev Spaces, volume 181 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, Rhode Island, 2nd edition, 2017. Statements and Declarations Funding This research is funded by Phenikaa University under grant number PU2025-4-A-02. Disclosure Statement The authors report there are no competing intere...

    work page 2017