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

Recognition: 2 theorem links

· Lean Theorem

Localization for nonlocal gradient-based optimal control problems

Javier Cueto, Joshua M. Siktar

Pith reviewed 2026-05-12 01:50 UTC · model grok-4.3

classification 🧮 math.OC math.AP

keywords nonlocal optimal controlfractional parameterhorizon parameterlocalizationnonlocal p-Laplacianpolyconvex energiesquasiconvex energiesapproximation to local problems

0 comments

The pith

Nonlocal optimal control problems converge to local problems when the fractional parameter approaches 1 or the horizon parameter approaches 0.

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

The paper studies optimal control problems in a nonlocal function space that incorporates both a horizon distance δ greater than zero and a fractional order s between zero and one. It focuses on two energy densities: a convex one based on the nonlocal p-Laplacian, which is well-posed, and a broader poly/quasiconvex density for which minimizers exist but need not be unique. The main analysis demonstrates that these nonlocal problems approximate the corresponding local optimal control problems through two separate limiting procedures. A sympathetic reader would care because the result supplies a concrete bridge between nonlocal models that encode long-range effects and the classical local models that dominate applications in control theory. The work extends an existing nonlocal framework to the control setting and verifies the localization in both limits.

Core claim

In the nonlocal framework with parameters δ > 0 and s ∈ (0,1), optimal control problems are posed by minimizing energies given by the nonlocal p-Laplacian or by poly/quasiconvex densities. The study establishes that as s tends to 1 or as δ tends to 0, these nonlocal problems approximate the corresponding local optimal control problems, with the approximation analyzed in parallel for the two limiting processes.

What carries the argument

The nonlocal gradient operator and associated energy densities from the Bellido-2023 framework, which define the objective functionals for the control problems.

If this is right

Existence of minimizers is guaranteed for the convex nonlocal p-Laplacian case.
Existence of minimizers holds for the poly/quasiconvex case even though uniqueness may fail.
The localization result holds simultaneously for the two independent limiting procedures s to 1 and δ to 0.
Minimizers of the nonlocal problems converge to minimizers of the local problems under either limit.

Where Pith is reading between the lines

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

Numerical schemes developed for local control problems might be applied to nonlocal versions by first solving at small δ or large s and then taking the limit.
The two-parameter family offers flexibility: one limit may be easier to implement numerically than the other depending on the application.
Similar localization arguments could extend to other nonlocal variational problems outside optimal control.

Load-bearing premise

The Bellido-2023 nonlocal function space framework applies directly to these optimal control problems with the stated energy densities.

What would settle it

A concrete computation for a fixed convex energy density in which the nonlocal minimizers remain bounded away from any local minimizer as s approaches 1 would falsify the claimed approximation.

read the original abstract

In this paper we consider optimal control problems in the nonlocal function space framework of Bellido-2023, where there are two different parameters: a horizon parameter $\delta > 0$; and a fractional parameter $s \in (0, 1)$. The constraints are given in the form of minimizing an energy density, and we will focus on two particular cases: the well-posed case where the underlying energy density is convex and is given by the nonlocal $p$-Laplacian; and a more general poly/quasiconvex energy for which minimizers exist but may not be unique. The study is concluded by analyzing the approximation to local problems in two parallel ways, either taking the fractional parameter $s$ to $1$ or the horizon parameter $\delta$ to $0$.

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

This paper applies the Bellido nonlocal framework to gradient-based optimal control and checks localization to the local problem in the two standard limits, but the existence claim for the quasiconvex case under controls is inherited without fresh verification.

read the letter

The main thing to know is that the authors take the nonlocal gradient setup from Bellido-2023, put it into an optimal control problem with either convex p-Laplacian or poly/quasiconvex energies, and then prove that the nonlocal problems converge to the corresponding local ones when s goes to 1 or when δ goes to 0. That double-limit analysis is the actual new piece; it is not just a routine extension but a direct check that the control problem behaves well under both common ways of recovering locality. The work is technically clean on the surface and stays inside the existing function-space setting, which keeps the proofs from having to reinvent coercivity or lower semicontinuity from scratch. The citation pattern is narrow but appropriate: it rests on the one prior paper that supplies the nonlocal gradient operator and the existence theory for the pure variational case. What is less clear is whether the control constraint or the way the control enters the energy preserves the exact growth and quasiconvexity conditions that Bellido-2023 used. The abstract states that minimizers exist but may not be unique, yet it does not spell out how the admissible set for the control is handled when passing to the limit. If the control term perturbs the lower semicontinuity or the compactness, the localization step would rest on an unverified assumption. The proofs are not visible here, so the error estimates and the precise mode of convergence remain uncheckable from the abstract alone. This is a specialized note rather than a broad advance, aimed at people already working on nonlocal-to-local limits in control or peridynamics. It is worth sending to a referee who knows the Bellido framework, because the localization claim is concrete and falsifiable once the details are written out. I would not cite it in my own work unless I were actively using that exact nonlocal gradient operator, but it is solid enough to deserve a careful review rather than a desk rejection.

Referee Report

1 major / 2 minor

Summary. The paper studies optimal control problems in the nonlocal gradient framework of Bellido-2023, parameterized by horizon δ > 0 and fractional order s ∈ (0,1). It treats two energy-density cases: the convex nonlocal p-Laplacian and poly/quasiconvex densities for which minimizers exist (but may not be unique). The central results concern localization to the corresponding local optimal control problems, obtained in parallel by sending s → 1 or δ → 0.

Significance. If the localization theorems hold, the work supplies two independent routes from nonlocal to local optimal control, which may prove useful for approximation theory and numerical schemes that exploit either the fractional or the horizon parameter. The explicit grounding in an existing nonlocal variational framework is a constructive feature.

major comments (1)

[§2–3] §2–3 (existence statement): The existence of minimizers for the poly/quasiconvex case is invoked directly from Bellido-2023 without re-verification that the control constraint and the admissible set preserve the quasiconvexity, coercivity, and weak lower-semicontinuity hypotheses used in the pure variational setting. This step is load-bearing for the subsequent localization analysis.

minor comments (2)

[Abstract] Abstract: the precise manner in which the control variable enters the energy functional and the admissible set is not stated, making it difficult to assess at a glance whether the framework applies verbatim.
Notation: the nonlocal gradient operator and the precise definition of the energy densities should be recalled with equation numbers from Bellido-2023 to improve self-contained readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comment. We respond to it below and will incorporate the necessary clarification in a revised version.

read point-by-point responses

Referee: [§2–3] §2–3 (existence statement): The existence of minimizers for the poly/quasiconvex case is invoked directly from Bellido-2023 without re-verification that the control constraint and the admissible set preserve the quasiconvexity, coercivity, and weak lower-semicontinuity hypotheses used in the pure variational setting. This step is load-bearing for the subsequent localization analysis.

Authors: We agree that the manuscript would benefit from an explicit verification that the control constraints and admissible sets preserve the hypotheses of the existence theorem in Bellido-2023. In the revised version we will add a short remark (or brief appendix paragraph) confirming that the quasiconvexity, coercivity, and weak lower-semicontinuity properties remain intact under the admissible control sets considered in the paper. This verification follows from the structure of the control problem, in which the control enters the state equation linearly and the energy density is independent of the control variable itself. revision: yes

Circularity Check

0 steps flagged

No circularity; localization analysis is independent of the external Bellido-2023 framework

full rationale

The paper takes the nonlocal function space framework, including existence of minimizers for the stated poly/quasiconvex energies, directly from the cited Bellido-2023 reference and then performs a separate analysis of the two parallel limits (s → 1 and δ → 0) that approximate the local problems. No equation or claim in the provided text reduces the localization results to the inputs by construction, nor does any load-bearing step rely on a self-citation whose authors overlap with Cueto and Siktar. The cited framework supplies an externally established foundation that is falsifiable outside this paper; the new contribution is the explicit approximation procedure within that setting. This is a standard, non-circular application of prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the work relies on the prior Bellido-2023 framework whose details are not restated here.

pith-pipeline@v0.9.0 · 5425 in / 1025 out tokens · 57554 ms · 2026-05-12T01:50:55.108791+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
optimal control problems in the nonlocal function space framework of Bellido-2023... minimizing an energy density... poly/quasiconvex energy... approximation to local problems... s to 1 or δ to 0
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
nonlocal gradient Ds_δu... kernel ρ^s_δ... Γ-convergence of energies W^{δ,s}_g

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

[1]

Semicontinuity problems in the calculus of variations.Archive for Rational Mechanics and Analysis, 86(2):125–145, 1984

Emilio Acerbi and Nicola Fusco. Semicontinuity problems in the calculus of variations.Archive for Rational Mechanics and Analysis, 86(2):125–145, 1984

work page 1984
[2]

A brief introduction to pde-constrained optimization.Frontiers in PDE-constrained optimization, 163:434, 2018

Harbir Antil and Dmitriy Leykekhman. A brief introduction to pde-constrained optimization.Frontiers in PDE-constrained optimization, 163:434, 2018

work page 2018
[3]

Harbir Antil, Deepanshu Verma, and Mahamadi Warma. Optimal control of fractional elliptic PDEs with state constraints and characterization of the dual of fractional-order Sobolev spaces.Journal of Optimization Theory and Applications, 186(1):1–23, 2020

work page 2020
[4]

Functional and variational aspects of nonlocal operators associated with linear pdes.Nonlinear Analysis, 251:113683, 2025

Adolfo Arroyo-Rabasa. Functional and variational aspects of nonlocal operators associated with linear pdes.Nonlinear Analysis, 251:113683, 2025

work page 2025
[5]

Convexity conditions and existence theorems in nonlinear elasticity.Archive for rational mechanics and Analysis, 63(4):337–403, 1976

John M Ball. Convexity conditions and existence theorems in nonlinear elasticity.Archive for rational mechanics and Analysis, 63(4):337–403, 1976

work page 1976
[6]

Null lagrangians, weak continuity, and variational problems of arbitrary order.Journal of Functional Analysis, 41(2):135–174, 1981

John M Ball, JC Currie, and Peter J Olver. Null lagrangians, weak continuity, and variational problems of arbitrary order.Journal of Functional Analysis, 41(2):135–174, 1981

work page 1981
[7]

Bond-based peridynamics does not converge to hyperelasticity as the horizon goes to zero.Journal of Elasticity, 141(2):273–289, 2020

José C Bellido, Javier Cueto, and Carlos Mora-Corral. Bond-based peridynamics does not converge to hyperelasticity as the horizon goes to zero.Journal of Elasticity, 141(2):273–289, 2020. 25

work page 2020
[8]

José C Bellido, Javier Cueto, and Carlos Mora-Corral.γ-convergence of polyconvex functionals in- volving s-fractional gradients to their local counterparts.Calculus of Variations and Partial Differential Equations, 60(1):7, 2021

work page 2021
[9]

Minimizers of nonlocal polyconvex energies in nonlocal hyperelasticity.Advances in Calculus of Variations, 2023

José C Bellido, Javier Cueto, and Carlos Mora-Corral. Minimizers of nonlocal polyconvex energies in nonlocal hyperelasticity.Advances in Calculus of Variations, 2023

work page 2023
[10]

Minimizers of nonlocal polyconvex energies in nonlocal hyperelasticity.Advances in Calculus of Variations, 17(3):1039–1055, 2024

José C Bellido, Javier Cueto, and Carlos Mora-Corral. Minimizers of nonlocal polyconvex energies in nonlocal hyperelasticity.Advances in Calculus of Variations, 17(3):1039–1055, 2024

work page 2024
[11]

Bellido and Carlos Mora-Corral

José C. Bellido and Carlos Mora-Corral. Existence for nonlocal variational problems in peridynamics. SIAM Journal on Mathematical Analysis, 46(1):890–916, 2014

work page 2014
[12]

Non-local gradients in bounded domains motivated by continuum mechanics: Fundamental theorem of calculus and embeddings.Advances in Nonlinear Analysis, 12(1):20220316, 2023

José Carlos Bellido, Javier Cueto, and Carlos Mora-Corral. Non-local gradients in bounded domains motivated by continuum mechanics: Fundamental theorem of calculus and embeddings.Advances in Nonlinear Analysis, 12(1):20220316, 2023

work page 2023
[13]

Nonlocal gradients: Fundamental theorem of calculus, poincaré inequalities, and embeddings.Journal of the London Mathematical Society, 112(2):e70277, 2025

José Carlos Bellido, Carlos Mora-Corral, and Hidde Schönberger. Nonlocal gradients: Fundamental theorem of calculus, poincaré inequalities, and embeddings.Journal of the London Mathematical Society, 112(2):e70277, 2025

work page 2025
[14]

Cambridge university press, 1989

Philippe G Ciarlet, Bernadette Miara, and Jean-Marie Thomas.Introduction to numerical linear alge- bra and optimisation. Cambridge university press, 1989

work page 1989
[15]

A variational theory for integral functionals involving finite-horizon fractional gradients.Fractional Calculus and Applied Analysis, pages 1–56, 2023

Javier Cueto, Carolin Kreisbeck, and Hidde Schönberger. A variational theory for integral functionals involving finite-horizon fractional gradients.Fractional Calculus and Applied Analysis, pages 1–56, 2023

work page 2023
[16]

Javier Cueto, Carolin Kreisbeck, and Hidde Schönberger.γ-convergence involving nonlocal gradi- ents with varying horizon: Recovery of local and fractional models.Nonlinear Analysis: Real World Applications, 85:104371, 2025

work page 2025
[17]

Springer Science & Business Media, 2007

Bernard Dacorogna.Direct methods in the calculus of variations, volume 78. Springer Science & Business Media, 2007

work page 2007
[18]

Justification de modèles de plaques non linéaires pour des lois de comportement générales.ESAIM: Mathematical Modelling and Numerical Analysis, 20(2):225–249, 1986

Jean-Louis Davet. Justification de modèles de plaques non linéaires pour des lois de comportement générales.ESAIM: Mathematical Modelling and Numerical Analysis, 20(2):225–249, 1986

work page 1986
[19]

Springer Science & Business Media, 2007

Irene Fonseca and Giovanni Leoni.Modern methods in the calculus of variations:L p spaces. Springer Science & Business Media, 2007

work page 2007
[20]

Mosco convergence of nonlocal to local quadratic forms.Nonlinear Analysis, 193:111504, 2020

Guy Fabrice Foghem Gounoue, Moritz Kassmann, and Paul V oigt. Mosco convergence of nonlocal to local quadratic forms.Nonlinear Analysis, 193:111504, 2020

work page 2020
[21]

Compactness results for a dirichlet en- ergy of nonlocal gradient with applications.Numerical Methods for Partial Differential Equations, 40(6):e23149, 2024

Zhaolong Han, Tadele Mengesha, and Xiaochuan Tian. Compactness results for a dirichlet en- ergy of nonlocal gradient with applications.Numerical Methods for Partial Differential Equations, 40(6):e23149, 2024

work page 2024
[22]

Non-constant functions with zero nonlocal gradient and their role in nonlocal neumann-type problems.Nonlinear Analysis, 249:113642, 2024

Carolin Kreisbeck and Hidde Schönberger. Non-constant functions with zero nonlocal gradient and their role in nonlocal neumann-type problems.Nonlinear Analysis, 249:113642, 2024

work page 2024
[23]

Approximation of quasiconvex functions, and lower semicontinuity of multiple inte- grals.manuscripta mathematica, 51(1):1–28, 1985

Paolo Marcellini. Approximation of quasiconvex functions, and lower semicontinuity of multiple inte- grals.manuscripta mathematica, 51(1):1–28, 1985. 26

work page 1985
[24]

Nonlocal Korn-type characterization of Sobolev vector fields.Communications in Contemporary Mathematics, 14(04):1250028, 2012

Tadele Mengesha. Nonlocal Korn-type characterization of Sobolev vector fields.Communications in Contemporary Mathematics, 14(04):1250028, 2012

work page 2012
[25]

The bond-based peridynamic system with Dirichlet-type volume constraint.Proceedings of the royal society of Edinburgh section A: mathematics, 144(1):161–186, 2014

Tadele Mengesha and Qiang Du. The bond-based peridynamic system with Dirichlet-type volume constraint.Proceedings of the royal society of Edinburgh section A: mathematics, 144(1):161–186, 2014

work page 2014
[26]

Salgado, and Joshua M

Tadele Mengesha, Abner J. Salgado, and Joshua M. Siktar. On the optimal control of a linear peridy- namics model.Applied Mathematics and Optimization, 88(70):1–43, 2023

work page 2023
[27]

Asymptotic compatibility of parametrized optimal design problems.ESAIM: Mathematical Modelling and Numerical Analysis, 59(6):3069–3105, 2025

Tadele Mengesha, Abner J Salgado, and Joshua M Siktar. Asymptotic compatibility of parametrized optimal design problems.ESAIM: Mathematical Modelling and Numerical Analysis, 59(6):3069–3105, 2025

work page 2025
[28]

Localization of nonlocal gradients in various topologies.Calcu- lus of Variations and Partial Differential Equations, 52(1):253–279, 2015

Tadele Mengesha and Daniel Spector. Localization of nonlocal gradients in various topologies.Calcu- lus of Variations and Partial Differential Equations, 52(1):253–279, 2015

work page 2015
[29]

Quasi-convexity and lower semi-continuity of multiple variational integrals of any order.Transactions of the American Mathematical Society, 119(1):125–149, 1965

Norman G Meyers. Quasi-convexity and lower semi-continuity of multiple variational integrals of any order.Transactions of the American Mathematical Society, 119(1):125–149, 1965

work page 1965
[30]

Quasi-convexity and the lower semicontinuity of multiple integrals

Charles B Morrey Jr. Quasi-convexity and the lower semicontinuity of multiple integrals. 1952

work page 1952
[31]

Local and nonlocal optimal control in the source.Mediterranean Journal of Mathematics, 19(1):1–24, 2022

Julio Muñoz. Local and nonlocal optimal control in the source.Mediterranean Journal of Mathematics, 19(1):1–24, 2022

work page 2022
[32]

Rindler.Calculus of Variations, First Edition

F. Rindler.Calculus of Variations, First Edition. Springer, 2018

work page 2018
[33]

Linearized state- based peridynamics for 2-d problems.International Journal for Numerical Methods in Engineering, 108(10):1174–1197, 2016

Giulia Sarego, Quang V Le, Florin Bobaru, Mirco Zaccariotto, and Ugo Galvanetto. Linearized state- based peridynamics for 2-d problems.International Journal for Numerical Methods in Engineering, 108(10):1174–1197, 2016

work page 2016
[34]

PhD thesis, Katholische Universität Eichstätt-Ingolstadt, 2024

Hidde Schönberger.Nonlocal gradients within variational models: existence theories and asymptotic analysis. PhD thesis, Katholische Universität Eichstätt-Ingolstadt, 2024

work page 2024
[35]

The dual approach to optimal control in the coefficients of nonlocal nonlinear diffusion.Applied Mathematics & Optimization, 89(1):27, 2024

Marcus Schytt and Anton Evgrafov. The dual approach to optimal control in the coefficients of nonlocal nonlinear diffusion.Applied Mathematics & Optimization, 89(1):27, 2024

work page 2024
[36]

A fractional korn-type inequality.Discrete and Continuous Dy- namical Systems, 39(6):3315–3343, 2019

James Scott and Tadele Mengesha. A fractional korn-type inequality.Discrete and Continuous Dy- namical Systems, 39(6):3315–3343, 2019

work page 2019
[37]

Nonlocal problems with local boundary conditions ii: Green’s identities and regularity of solutions.SIAM Journal on Mathematical Analysis, 57(1):404–451, 2025

James M Scott and Qiang Du. Nonlocal problems with local boundary conditions ii: Green’s identities and regularity of solutions.SIAM Journal on Mathematical Analysis, 57(1):404–451, 2025

work page 2025
[38]

On a new class of fractional partial differential equations

Tien-Tsan Shieh and Daniel E Spector. On a new class of fractional partial differential equations. Advances in Calculus of Variations, 8(4):321–336, 2015

work page 2015
[39]

On a new class of fractional partial differential equations ii

Tien-Tsan Shieh and Daniel E Spector. On a new class of fractional partial differential equations ii. Advances in Calculus of Variations, 11(3):289–307, 2018

work page 2018
[40]

Joshua M. Siktar. Existence of solutions for fractional optimal control problems with superlinear- subcritical controls.arXiv preprint arXiv:2408.09586, 2024

work page arXiv 2024
[41]

Fractional vector analysis based on invariance requirements (critique of coordinate approaches).Continuum Mechanics and Thermodynamics, 32(1):207–228, 2020

Miroslav Šilhav `y. Fractional vector analysis based on invariance requirements (critique of coordinate approaches).Continuum Mechanics and Thermodynamics, 32(1):207–228, 2020. 27

work page 2020
[42]

Reformulation of elasticity theory for discontinuities and long-range forces.Journal of the Mechanics and Physics of Solids, 48(1):175–209, 2000

Stewart A Silling. Reformulation of elasticity theory for discontinuities and long-range forces.Journal of the Mechanics and Physics of Solids, 48(1):175–209, 2000

work page 2000
[43]

Peridynamic states and constitutive modeling.Journal of Elasticity, 88(2):151–184, 2007

Stewart A Silling, M Epton, Olaf Weckner, Jifeng Xu, and E23481501120 Askari. Peridynamic states and constitutive modeling.Journal of Elasticity, 88(2):151–184, 2007. 28

work page 2007