arxiv: 2604.14940 · v1 · submitted 2026-04-16 · 🧮 math.OC

Recognition: unknown

A pointwise tracking optimal control problem for a fractional, semilinear PDE

Enrique Otarola , Abner J. Salgado

Authors on Pith no claims yet

Pith reviewed 2026-05-10 10:48 UTC · model grok-4.3

classification 🧮 math.OC

keywords optimal controlfractional Laplaciansemilinear elliptic PDEpointwise trackingoptimality conditionsDirac measuresexistence of solutionssecond-order conditions

0 comments

The pith

Existence of optimal controls and first- and second-order optimality conditions are established for pointwise tracking in a fractional semilinear elliptic PDE.

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

The paper studies a nonconvex optimal control problem that seeks to match the solution of a semilinear elliptic equation driven by the spectral fractional Laplacian at a finite number of spatial points while penalizing the control effort. The fractional order is restricted to the interval above one half and below one so that the state function remains continuous and can be evaluated at those points. This choice produces an adjoint equation whose right-hand side contains Dirac delta measures, yet the same range of the fractional order keeps the adjoint well-defined in appropriate Sobolev spaces. With these ingredients the authors prove that minimizers exist and that any such minimizer satisfies first-order necessary conditions as well as necessary and sufficient second-order conditions.

Core claim

We establish the existence of optimal solutions and derive first-order as well as necessary and sufficient second-order optimality conditions for the pointwise tracking optimal control problem governed by a fractional semilinear elliptic equation whose diffusion is given by the spectral fractional Laplacian with order s belonging to (1/2,1).

What carries the argument

The spectral fractional Laplacian (-Δ)^s with s ∈ (1/2,1), which guarantees that the state is continuous and therefore pointwise tracking is well-defined while allowing the adjoint equation to be posed with a linear combination of Dirac measures.

Load-bearing premise

The fractional order s must lie strictly between one half and one so that point evaluations of the state are well-posed and the adjoint equation with Dirac sources remains in suitable function spaces.

What would settle it

A concrete counterexample consisting of a value s ≤ 1/2 together with a bounded domain, a semilinear term, and a finite set of tracking points for which either no optimal control exists or the stated first- and second-order conditions fail to characterize the minimizers.

read the original abstract

We analyze an optimal control problem with pointwise tracking for a fractional semilinear elliptic partial differential equation. The diffusion is characterized by the spectral fractional Laplacian $(-\Delta)^s$ with $s \in (1/2,1)$, a range that guarantees the well-posedness of point evaluations of the state. In addition to the nonconvexity of the control problem, the main difficulty is that the adjoint equation is a fractional partial differential equation with a singular right-hand side: a linear combination of Dirac measures. We establish the existence of optimal solutions and derive first-order as well as necessary and sufficient second-order optimality conditions.

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 extends existence and first- plus second-order optimality conditions to pointwise tracking control of semilinear spectral fractional elliptic PDEs, with the adjoint handled via Dirac measures for s in (1/2,1).

read the letter

The paper establishes existence of optimal controls and derives first- and second-order optimality conditions for a pointwise tracking problem governed by a semilinear equation with the spectral fractional Laplacian. The key is handling the adjoint equation with Dirac measure right-hand sides. What stands out is the combination of semilinear nonlinearity, pointwise tracking, and second-order sufficient conditions in this fractional setting. Prior work covered linear cases or integer-order semilinear ones, so this fills a specific gap without claiming a big shift. They do well by choosing the spectral definition of the fractional Laplacian and restricting s to (1/2,1) to ensure the state is continuous and point evaluations are valid. This lets them treat the adjoint in spaces where Diracs are admissible. The arguments use standard functional analytic tools for these operators, and the stress-test note confirms no obvious inconsistencies in the architecture. Soft spots are limited. The s restriction is necessary for their approach but narrows the applicability to certain diffusion regimes. If the full proofs have any gaps in the second-order analysis for the nonconvex case, that would need checking, but nothing in the outline suggests a load-bearing flaw. The results are local in nature, as is typical. This paper is for people working on optimal control of nonlocal or fractional PDEs. Someone already familiar with the literature on fractional Sobolev spaces and control theory would get the most out of the details on the singular adjoint. It is worth sending to a serious referee because the claims are grounded in reproducible functional analysis and represent a clear incremental advance. I recommend putting it through peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript analyzes a pointwise tracking optimal control problem for a semilinear elliptic PDE driven by the spectral fractional Laplacian (−Δ)^s with s ∈ (1/2,1). It proves existence of optimal controls and derives first-order necessary optimality conditions together with necessary and sufficient second-order optimality conditions, with the main technical challenges being the nonconvexity of the problem and the singular adjoint equation whose right-hand side is a linear combination of Dirac measures.

Significance. If the derivations hold, the work is a solid contribution to optimal control theory for fractional PDEs. It treats pointwise tracking functionals and singular adjoints in the fractional setting, which is relevant for applications requiring pointwise observations. The second-order conditions are especially useful because they are local in nature and can support numerical verification of optimality.

minor comments (2)

Abstract and §1: the motivation for restricting to s ∈ (1/2,1) is stated but the precise embedding (e.g., H^s(Ω) ↪ C(Ω̄)) that justifies continuous point evaluations should be recalled with a reference in the preliminaries.
Section on the adjoint equation: the dual space in which the Dirac measures are admissible is mentioned but the precise identification of the dual (e.g., (H^{s−ε})^* or similar) should be written explicitly to make the well-posedness argument fully transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment, including the recognition of the technical challenges posed by nonconvexity and the singular adjoint equation with Dirac measures. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes existence of optimal solutions and derives first- and second-order necessary/sufficient optimality conditions for a pointwise tracking optimal control problem governed by a fractional semilinear elliptic PDE. These results rest on standard functional-analytic arguments: well-posedness of the state equation for s ∈ (1/2,1), continuous embeddings guaranteeing point evaluations, and treatment of the adjoint equation with Dirac right-hand side in appropriate dual spaces. No load-bearing step reduces by the paper's own equations to a self-definition, a fitted input renamed as prediction, or a self-citation chain; the nonconvexity is addressed via local second-order sufficient conditions that remain independent of the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The analysis rests on standard background results from fractional Sobolev spaces and optimal control theory; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)

domain assumption Well-posedness of the state equation and point evaluations for s ∈ (1/2,1)
Explicitly invoked in the abstract to justify the pointwise tracking formulation.
domain assumption Existence theory for the adjoint equation with Dirac-measure right-hand side
Required for the derivation of first- and second-order conditions.

pith-pipeline@v0.9.0 · 5399 in / 1309 out tokens · 43484 ms · 2026-05-10T10:48:10.346024+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

48 extracted references · 38 canonical work pages

[1]

R. A. Adams and J. J. F. Fournier , Sobolev spaces , vol. 140 of Pure and Applied Mathematics (Amsterdam), Elsevier/Academic Press, Amsterdam, second ed., 2003

2003
[2]

Allendes, F

A. Allendes, F. Fuica, and E. Ot\'arola , Error estimates for a pointwise tracking optimal control problem of a semilinear elliptic equation , SIAM J. Control Optim., 60 (2022), pp. 1763--1790, https://doi.org/10.1137/20M1364151

work page doi:10.1137/20m1364151 2022
[3]

Andr\'es and J

F. Andr\'es and J. Mu\ noz , Nonlocal optimal design: a new perspective about the approximation of solutions in optimal design , J. Math. Anal. Appl., 429 (2015), pp. 288--310, https://doi.org/10.1016/j.jmaa.2015.04.026

work page doi:10.1016/j.jmaa.2015.04.026 2015
[4]

Antil, R

H. Antil, R. Khatri, and M. Warma , External optimal control of nonlocal PDE s , Inverse Problems, 35 (2019), pp. 084003, 35, https://doi.org/10.1088/1361-6420/ab1299

work page doi:10.1088/1361-6420/ab1299 2019
[5]

Antil and E

H. Antil and E. Ot\'arola , A FEM for an optimal control problem of fractional powers of elliptic operators , SIAM J. Control Optim., 53 (2015), pp. 3432--3456, https://doi.org/10.1137/140975061

work page doi:10.1137/140975061 2015
[6]

Antil, E

H. Antil, E. Ot\'arola, and A. J. Salgado , Some applications of weighted norm inequalities to the error analysis of PDE -constrained optimization problems , IMA J. Numer. Anal., 38 (2018), pp. 852--883, https://doi.org/10.1093/imanum/drx018

work page doi:10.1093/imanum/drx018 2018
[7]

Antil, J

H. Antil, J. Pfefferer, and M. Warma , A note on semilinear fractional elliptic equation: analysis and discretization , ESAIM Math. Model. Numer. Anal., 51 (2017), pp. 2049--2067, https://doi.org/10.1051/m2an/2017023

work page doi:10.1051/m2an/2017023 2017
[8]

Antil, D

H. Antil, D. Verma, and M. Warma , Optimal control of fractional elliptic PDE s with state constraints and characterization of the dual of fractional-order S obolev spaces , J. Optim. Theory Appl., 186 (2020), pp. 1--23, https://doi.org/10.1007/s10957-020-01684-z

work page doi:10.1007/s10957-020-01684-z 2020
[9]

Antil and M

H. Antil and M. Warma , Optimal control of fractional semilinear PDE s , ESAIM Control Optim. Calc. Var., 26 (2020), pp. Paper No. 5, 30, https://doi.org/10.1051/cocv/2019003

work page doi:10.1051/cocv/2019003 2020
[10]

Behringer , Improved error estimates for optimal control of the S tokes problem with pointwise tracking in three dimensions , Math

N. Behringer , Improved error estimates for optimal control of the S tokes problem with pointwise tracking in three dimensions , Math. Control Relat. Fields, 11 (2021), pp. 313--328, https://doi.org/10.3934/mcrf.2020038

work page doi:10.3934/mcrf.2020038 2021
[11]

Behringer, D

N. Behringer, D. Meidner, and B. Vexler , Finite element error estimates for optimal control problems with pointwise tracking , Pure Appl. Funct. Anal., 4 (2019), pp. 177--204

2019
[12]

M. S . Birman and M. Z. Solomjak , Spektral'naya teoriya samosopryazhennykh operatorov v gil'bertovom prostranstve , Leningrad. Univ., Leningrad, 1980

1980
[13]

Bonito and J

A. Bonito and J. E. Pasciak , Numerical approximation of fractional powers of elliptic operators , Math. Comp., 84 (2015), pp. 2083--2110, https://doi.org/10.1090/S0025-5718-2015-02937-8

work page doi:10.1090/s0025-5718-2015-02937-8 2015
[14]

Brett, A

C. Brett, A. Dedner, and C. Elliott , Optimal control of elliptic PDE s at points , IMA J. Numer. Anal., 36 (2016), pp. 1015--1050, https://doi.org/10.1093/imanum/drv040

work page doi:10.1093/imanum/drv040 2016
[15]

Burkovska, C

O. Burkovska, C. Glusa, and M. D'Elia , An optimization-based approach to parameter learning for fractional type nonlocal models , Comput. Math. Appl., 116 (2022), pp. 229--244, https://doi.org/10.1016/j.camwa.2021.05.005

work page doi:10.1016/j.camwa.2021.05.005 2022
[16]

Cabr\'e and J

X. Cabr\'e and J. Tan , Positive solutions of nonlinear problems involving the square root of the L aplacian , Adv. Math., 224 (2010), pp. 2052--2093, https://doi.org/10.1016/j.aim.2010.01.025

work page doi:10.1016/j.aim.2010.01.025 2010
[17]

Capella, J

A. Capella, J. D\'avila, L. Dupaigne, and Y. Sire , Regularity of radial extremal solutions for some non-local semilinear equations , Comm. Partial Differential Equations, 36 (2011), pp. 1353--1384, https://doi.org/10.1080/03605302.2011.562954

work page doi:10.1080/03605302.2011.562954 2011
[18]

Casas and M

E. Casas and M. Mateos , Optimal control of partial differential equations , in Computational mathematics, numerical analysis and applications, vol. 13 of SEMA SIMAI Springer Ser., Springer, Cham, 2017, pp. 3--59

2017
[19]

S. N. Chandler-Wilde, D. P. Hewett, and A. Moiola , Interpolation of H ilbert and S obolev spaces: quantitative estimates and counterexamples , Mathematika, 61 (2015), pp. 414--443, https://doi.org/10.1112/S0025579314000278

work page doi:10.1112/s0025579314000278 2015
[20]

Chang, W

L. Chang, W. Gong, and N. Yan , Numerical analysis for the approximation of optimal control problems with pointwise observations , Math. Methods Appl. Sci., 38 (2015), pp. 4502--4520, https://doi.org/10.1002/mma.2861

work page doi:10.1002/mma.2861 2015
[21]

Chen and H

Y. Chen and H. Leng , An adaptive HDG method for the pointwise tracking optimal control problem of elliptic equations , Appl. Numer. Math., 219 (2026), pp. 73--85, https://doi.org/10.1016/j.apnum.2025.09.001

work page doi:10.1016/j.apnum.2025.09.001 2026
[22]

D'Elia, C

M. D'Elia, C. Glusa, and E. Ot\'arola , A priori error estimates for the optimal control of the integral fractional L aplacian , SIAM J. Control Optim., 57 (2019), pp. 2775--2798, https://doi.org/10.1137/18M1219989

work page doi:10.1137/18m1219989 2019
[23]

D'Elia and M

M. D'Elia and M. Gunzburger , Identification of the diffusion parameter in nonlocal steady diffusion problems , Appl. Math. Optim., 73 (2016), pp. 227--249, https://doi.org/10.1007/s00245-015-9300-x

work page doi:10.1007/s00245-015-9300-x 2016
[24]

Dharmatti and K

S. Dharmatti and K. Greeshma , Pointwise tracking optimal control problem for C ahn-- H illiard N avier-- S tokes system , 2026, https://arxiv.org/abs/2602.06447

work page arXiv 2026
[25]

Hitchhiker's guide to the fractional

E. Di Nezza, G. Palatucci, and E. Valdinoci , Hitchhiker's guide to the fractional S obolev spaces , Bull. Sci. Math., 136 (2012), pp. 521--573, https://doi.org/10.1016/j.bulsci.2011.12.004

work page doi:10.1016/j.bulsci.2011.12.004 2012
[26]

S. Dohr, C. Kahle, S. Rogovs, and P. Swierczynski , A FEM for an optimal control problem subject to the fractional L aplace equation , Calcolo, 56 (2019), pp. Paper No. 37, 21, https://doi.org/10.1007/s10092-019-0334-3

work page doi:10.1007/s10092-019-0334-3 2019
[27]

L. C. Evans and R. F. Gariepy , Measure theory and fine properties of functions , Textbooks in Mathematics, CRC Press, Boca Raton, FL, revised ed., 2015

2015
[28]

Fuica and E

F. Fuica and E. Ot\'arola , A pointwise tracking optimal control problem for the stationary N avier- S tokes equations , J. Math. Anal. Appl., 558 (2026), pp. Paper No. 130343, 29, https://doi.org/10.1016/j.jmaa.2025.130343

work page doi:10.1016/j.jmaa.2025.130343 2026
[29]

Fuica, E

F. Fuica, E. Ot\'arola, and D. Quero , Error estimates for optimal control problems involving the S tokes system and D irac measures , Appl. Math. Optim., 84 (2021), pp. 1717--1750, https://doi.org/10.1007/s00245-020-09693-0

work page doi:10.1007/s00245-020-09693-0 2021
[30]

Fuica and S

F. Fuica and S. Volkwein , Error estimates for a multiobjective optimal control of a pointwise tracking problem , 2025, https://arxiv.org/abs/2505.13743

work page arXiv 2025
[31]

Fujiwara , Concrete characterization of the domains of fractional powers of some elliptic differential operators of the second order , Proc

D. Fujiwara , Concrete characterization of the domains of fractional powers of some elliptic differential operators of the second order , Proc. Japan Acad., 43 (1967), pp. 82--86, http://projecteuclid.org/euclid.pja/1195521686

work page arXiv 1967
[32]

Gilbarg and N

D. Gilbarg and N. S. Trudinger , Elliptic partial differential equations of second order , Classics in Mathematics, Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

2001
[33]

Holler and K

G. Holler and K. Kunisch , Learning nonlocal regularization operators , Math. Control Relat. Fields, 12 (2022), pp. 81--114, https://doi.org/10.3934/mcrf.2021003

work page doi:10.3934/mcrf.2021003 2022
[34]

Kenne, L

C. Kenne, L. Djomegne, and J. Larrouy , Bilinear optimal control of a one-dimensional degenerate parabolic equation with a nonlocal term , Math. Methods Appl. Sci., 47 (2024), pp. 11670--11692, https://doi.org/10.1002/mma.10148

work page doi:10.1002/mma.10148 2024
[35]

Lions and E

J.-L. Lions and E. Magenes , Non-homogeneous boundary value problems and applications. V ol. I , vol. Band 181 of Die Grundlehren der mathematischen Wissenschaften, Springer-Verlag, New York-Heidelberg, 1972. Translated from the French by P. Kenneth

1972
[36]

McLean , Strongly elliptic systems and boundary integral equations , Cambridge University Press, Cambridge, 2000

W. McLean , Strongly elliptic systems and boundary integral equations , Cambridge University Press, Cambridge, 2000

2000
[37]

Mengesha, A

T. Mengesha, A. J. Salgado, and J. M. Siktar , On the optimal control of a linear peridynamics model , Appl. Math. Optim., 88 (2023), pp. Paper No. 70, 43, https://doi.org/10.1007/s00245-023-10045-x

work page doi:10.1007/s00245-023-10045-x 2023
[38]

Mengesha, A

T. Mengesha, A. J. Salgado, and J. M. Siktar , Asymptotic compatibility of parametrized optimal design problems , ESAIM Math. Model. Numer. Anal., 59 (2025), pp. 3069--3105, https://doi.org/10.1051/m2an/2025084

work page doi:10.1051/m2an/2025084 2025
[39]

R. H. Nochetto, E. Ot\'arola, and A. J. Salgado , A PDE approach to fractional diffusion in general domains: a priori error analysis , Found. Comput. Math., 15 (2015), pp. 733--791, https://doi.org/10.1007/s10208-014-9208-x

work page doi:10.1007/s10208-014-9208-x 2015
[40]

Ot\'arola , Fractional semilinear optimal control: optimality conditions, convergence, and error analysis , SIAM J

E. Ot\'arola , Fractional semilinear optimal control: optimality conditions, convergence, and error analysis , SIAM J. Numer. Anal., 60 (2022), pp. 1--27, https://doi.org/10.1137/20M1356294

work page doi:10.1137/20m1356294 2022
[41]

Ot\'arola and A

E. Ot\'arola and A. J. Salgado , The spectral fractional L aplacian with measure valued right hand sides: analysis and approximation , (2026). arXiv:2602.11423

work page arXiv 2026
[42]

Poiatti and A

A. Poiatti and A. Signori , Regularity results and optimal velocity control of the convective nonlocal C ahn- H illiard equation in 3 D , ESAIM Control Optim. Calc. Var., 30 (2024), pp. Paper No. 21, 36, https://doi.org/10.1051/cocv/2024007

work page doi:10.1051/cocv/2024007 2024
[43]

Roub ´ıˇcek (2013),Nonlinear partial differential equations with applications, Second, vol

T. Roub\'icek , Nonlinear partial differential equations with applications , vol. 153 of International Series of Numerical Mathematics, Birkh\"auser/Springer Basel AG, Basel, second ed., 2013, https://doi.org/10.1007/978-3-0348-0513-1

work page doi:10.1007/978-3-0348-0513-1 2013
[44]

P. R. Stinga and J. L. Torrea , Extension problem and H arnack's inequality for some fractional operators , Comm. Partial Differential Equations, 35 (2010), pp. 2092--2122, https://doi.org/10.1080/03605301003735680

work page doi:10.1080/03605301003735680 2010
[45]

Tartar , An introduction to S obolev spaces and interpolation spaces , vol

L. Tartar , An introduction to S obolev spaces and interpolation spaces , vol. 3 of Lecture Notes of the Unione Matematica Italiana, Springer, Berlin; UMI, Bologna, 2007

2007
[46]

Tr\"oltzsch , Optimal control of partial differential equations , vol

F. Tr\"oltzsch , Optimal control of partial differential equations , vol. 112 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 2010, https://doi.org/10.1090/gsm/112

work page doi:10.1090/gsm/112 2010
[47]

Z. Zhou, J. Liu, Y. Chen, and Q. Wang , Finite element approximation of optimal control problem with integral fractional L aplacian and state constraint , Numer. Algorithms, 94 (2023), pp. 1983--2004, https://doi.org/10.1007/s11075-023-01561-6

work page doi:10.1007/s11075-023-01561-6 2023
[48]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTION or pop #1 'skip if FUNCTION new.block.checka empty 'skip 'new.block if FUNCTION field.or.null duplicate empty pop "" 'skip ...