arxiv: 2605.01059 · v2 · submitted 2026-05-01 · 🧮 math.FA

Recognition: no theorem link

Existence of Positive Mild Eigenfunctions for Caputo Fractional Semilinear Evolution Equations with Nonlocal Initial Conditions

Assia Guezane-Lakoud, Sajid Ullah

Pith reviewed 2026-05-13 07:26 UTC · model grok-4.3

classification 🧮 math.FA

keywords Caputo fractional equationsmild eigenfunctionsnonlocal initial conditionsBirkhoff-Kellogg theorempositive conesemilinear evolution equationsMittag-Leffler operatorsBanach lattices

0 comments

The pith

Positive mild eigenfunctions exist for Caputo fractional semilinear evolution equations with nonlocal initial conditions.

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

The paper proves existence of positive eigenpairs for these fractional evolution equations in Banach lattices by applying the Birkhoff-Kellogg theorem in a cone. The mild solution is expressed using compact Mittag-Leffler operator families that arise from the compact contraction semigroup generated by the linear part, while the nonlinearity is only required to be Caratheodory. This setup avoids any Lipschitz condition on the nonlinearity and any compactness assumption on the nonlocal initial operator, which lets the result cover periodic, multi-point, and integral-type conditions alike. The authors illustrate the outcome on a parabolic fractional partial differential equation. A reader would care because the approach guarantees positive eigenfunctions for a wider practical range of fractional models without the usual strong regularity hypotheses.

Core claim

We establish the existence of positive eigenpairs for Caputo fractional semilinear evolution equations with nonlocal initial conditions by applying the Birkhoff-Kellogg type theorem in a cone. The mild eigenfunction is represented via the compact Mittag-Leffler operator families, and a uniform lower bound for the solution operator is established on the boundary of the positive cone of continuous functions. The autonomous linear operator generates a compact strongly continuous semigroup of contractions, and the nonlinearity is a Caratheodory map.

What carries the argument

Birkhoff-Kellogg type theorem in cone applied to the integral operator built from compact Mittag-Leffler families.

If this is right

The existence result holds for periodic, multi-point, and integral-type nonlocal initial conditions.
Positive mild eigenfunctions lie in the cone of continuous functions on the Banach lattice.
The method applies directly to parabolic fractional partial differential equations.
No Lipschitz continuity of the nonlinearity is needed.

Where Pith is reading between the lines

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

The same cone argument may adapt to other fractional derivatives such as Riemann-Liouville.
Numerical schemes could exploit the uniform lower bound to approximate the eigenfunctions.
Stability or long-time behavior of the associated fractional systems might be read off from the eigenpair.

Load-bearing premise

The linear operator generates a compact strongly continuous semigroup of contractions.

What would settle it

An explicit example of a Caputo fractional equation whose linear part generates only a non-compact semigroup, yet still possesses a positive mild eigenfunction, would disprove the necessity of compactness.

read the original abstract

We study the existence of positive eigenpairs for a class of Caputo fractional autonomous evolution equations with nonlocal initial condition within the framework of Banach lattices. The autonomous linear operator generates a compact strongly continuous semigroup of contractions, while the nonlinearity is a Caratheodory map. The mild eigenfunction is represented via the compact Mittag--Leffler operator families, we work within a positive cone of continuous functions and establish a uniform lower bound for the solution operator on the boundary. We apply the Birkhoff--Kellogg type theorem in cone for the existence of eigenpair. Our approach requires neither Lipschitz continuity of the nonlinearity nor the compactness of nonlocal initial operator, allowing for broad applicability to periodic, multi-point, and integral-type initial conditions. The theoretical results are applied to a parabolic fractional partial differential equation.

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 extends cone fixed-point arguments to Caputo fractional equations with nonlocal initials by dropping Lipschitz and compactness requirements on the initial operator, but the compactness of the full mild-solution operator is the part that needs checking.

read the letter

The core result is an existence theorem for positive mild eigenfunctions of Caputo fractional semilinear evolution equations with nonlocal initial conditions. The setup uses a compact contraction semigroup generated by the linear part, represents solutions via Mittag-Leffler families, works in a positive cone of continuous functions, and invokes a Birkhoff-Kellogg theorem after establishing a uniform lower bound on the boundary. The nonlinearity is only assumed Carathéodory. This combination lets the argument cover periodic, multi-point, and integral-type nonlocal conditions without extra regularity on the initial operator, and they close with an application to a fractional parabolic PDE. That relaxation is the actual novelty relative to earlier cone-theory work in the integer-order or local-initial setting. The strategy is standard and the abstract framing is coherent. The potential weak point is whether the composite mild-solution operator stays completely continuous once the nonlocal term is included. The abstract asserts that compactness of the nonlocal operator is not needed, but the mild formula typically adds a term that could spoil relative compactness unless controlled by additional estimates such as measure-of-noncompactness arguments or Arzelà-Ascoli on the cone. If the full proof supplies that control, the fixed-point step holds; otherwise the application of Birkhoff-Kellogg rests on an unverified claim. This is a specialized existence result aimed at people working on nonlocal fractional evolution problems. It is worth sending to referees so they can inspect the compactness details and the uniform-bound argument in the complete derivation.

Referee Report

2 major / 2 minor

Summary. The paper establishes existence of positive mild eigenpairs for Caputo fractional semilinear autonomous evolution equations with nonlocal initial conditions in Banach lattices. The linear part generates a compact contraction semigroup; the nonlinearity is Carathéodory. Mild solutions are expressed via compact Mittag-Leffler operator families. A uniform lower bound on the solution operator is obtained on the boundary of a positive cone of continuous functions, after which a Birkhoff-Kellogg-type fixed-point theorem in cones yields the eigenpair. The argument avoids Lipschitz conditions on the nonlinearity and compactness of the nonlocal initial operator, thereby covering periodic, multipoint, and integral-type conditions. An application to a fractional parabolic PDE is included.

Significance. If the complete-continuity argument for the full mild-solution operator survives the non-compact nonlocal term, the result supplies a flexible existence framework for fractional evolution equations under minimal regularity, directly applicable to a range of nonlocal initial-value problems that arise in modeling. The use of cone-theoretic fixed-point theorems without compactness of the nonlocal operator is a potentially useful technical advance.

major comments (2)

[Section 3 (mild-solution representation and operator compactness)] The abstract asserts that compactness of the nonlocal initial operator is not required, yet the mild-solution formula necessarily incorporates a term involving this operator applied to the initial datum. The proof that the composite operator (Mittag-Leffler family plus nonlocal term) remains completely continuous on the positive cone must be supplied explicitly; without an estimate controlling the measure of noncompactness or an Arzelà-Ascoli argument that absorbs the nonlocal contribution, the hypothesis of the Birkhoff-Kellogg theorem may fail. This is load-bearing for the central existence claim.
[Section 4 (cone lower-bound estimate)] The uniform lower-bound argument for the solution operator on the cone boundary (invoked to satisfy the geometric condition of the cone theorem) relies on positivity and the contraction property of the semigroup. The precise constant or estimate that guarantees the lower bound is independent of the nonlocal operator should be displayed; if it tacitly uses compactness of the nonlocal term, the claim of broad applicability is weakened.

minor comments (2)

[Section 2] Notation for the Mittag-Leffler family and the nonlocal operator should be introduced with a single consistent symbol set; currently the same letter appears for both the linear semigroup and the fractional resolvent in some passages.
[Section 5] The application to the parabolic PDE in the final section would benefit from an explicit statement of the nonlocal condition used (e.g., integral or multipoint) so that the reader can verify that the general theorem applies verbatim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below and will revise the manuscript to make the relevant arguments fully explicit.

read point-by-point responses

Referee: [Section 3 (mild-solution representation and operator compactness)] The abstract asserts that compactness of the nonlocal initial operator is not required, yet the mild-solution formula necessarily incorporates a term involving this operator applied to the initial datum. The proof that the composite operator (Mittag-Leffler family plus nonlocal term) remains completely continuous on the positive cone must be supplied explicitly; without an estimate controlling the measure of noncompactness or an Arzelà-Ascoli argument that absorbs the nonlocal contribution, the hypothesis of the Birkhoff-Kellogg theorem may fail. This is load-bearing for the central existence claim.

Authors: We agree that a fully detailed verification of complete continuity for the composite mild-solution operator is required. The manuscript currently relies on the known compactness of the Mittag-Leffler family generated by the compact contraction semigroup together with continuity of the nonlocal map, but does not spell out the Arzelà-Ascoli argument for the full operator. In the revision we will add an explicit proof: we establish uniform boundedness and equicontinuity of the image of the positive cone under the composite operator by using the smoothing properties of the Mittag-Leffler kernels for t>0 and the fact that the nonlocal term enters only through a continuous (not necessarily compact) map into the underlying Banach lattice; the resulting family remains relatively compact in C([0,T];X). This supplies the complete continuity needed for the Birkhoff-Kellogg theorem without assuming compactness of the nonlocal operator itself. revision: yes
Referee: [Section 4 (cone lower-bound estimate)] The uniform lower-bound argument for the solution operator on the cone boundary (invoked to satisfy the geometric condition of the cone theorem) relies on positivity and the contraction property of the semigroup. The precise constant or estimate that guarantees the lower bound is independent of the nonlocal operator should be displayed; if it tacitly uses compactness of the nonlocal term, the claim of broad applicability is weakened.

Authors: The lower bound is obtained from the strict positivity of the Mittag-Leffler operators (which follows from the positivity of the underlying semigroup) combined with the contraction property, applied to the integral term in the mild-solution representation. Because the nonlocal contribution appears only as a fixed shift of the initial datum inside the cone and the positivity estimate holds uniformly for t in a positive interval away from zero, the lower bound is independent of any compactness assumption on the nonlocal map. In the revision we will insert the explicit constant (derived from the contraction constant of the semigroup and the lower bound on the Mittag-Leffler kernel) to make this independence transparent. revision: yes

Circularity Check

0 steps flagged

No circularity in the derivation chain

full rationale

The paper constructs the mild eigenfunction via the standard representation using compact Mittag-Leffler operator families generated by the given semigroup, then applies the external Birkhoff-Kellogg theorem in the positive cone. No step defines a quantity in terms of itself, renames a fitted parameter as a prediction, or reduces the central existence claim to a self-citation chain. The assertion that compactness of the nonlocal initial operator is unnecessary follows from the explicit mild-solution formula and the cone-mapping properties, without tautological reduction to the inputs. The argument is self-contained against the cited external theorems and assumptions on the Carathéodory nonlinearity and semigroup.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two standard domain assumptions from semigroup theory and fractional calculus; no free parameters are fitted and no new entities are postulated.

axioms (2)

domain assumption The autonomous linear operator generates a compact strongly continuous semigroup of contractions.
Invoked to guarantee compactness of the Mittag-Leffler families used to represent mild solutions.
domain assumption The nonlinearity is a Caratheodory map.
Required for measurability and continuity properties that allow the integral equation formulation.

pith-pipeline@v0.9.0 · 5440 in / 1303 out tokens · 47141 ms · 2026-05-13T07:26:59.299665+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

Byszewski, Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem,J

L. Byszewski, Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem,J. Math. Anal. Appl.,162(1991), 494–505

work page 1991
[2]

Byszewski, Application of properties of the right-hand sides of evolution equations to an investigation of nonlocal evolution problems,Nonlinear Anal.,33(1998), 413–426

L. Byszewski, Application of properties of the right-hand sides of evolution equations to an investigation of nonlocal evolution problems,Nonlinear Anal.,33(1998), 413–426

work page 1998
[3]

Benedetti and S

I. Benedetti and S. Ciani, Evolution equations with nonlocal initial conditions and super- linear growth,J. Differential Equations,318(2022), 270–297

work page 2022
[4]

Chen and W

P. Chen and W. Feng, Fractional evolution equations with nonlocal initial conditions and superlinear growth nonlinear terms,Qual. Theory Dyn. Syst.,23(2024), 69

work page 2024
[5]

Infante and P

G. Infante and P. Rubbioni, A positive eigenvalue result for semilinear differential equations in Banach spaces with functional initial conditions,arXiv preprintarXiv:2512.23876 (2025)

work page arXiv 2025
[6]

Infante and M

G. Infante and M. Maciejewski, Multiple positive solutions of parabolic systems with non- linear, nonlocal initial conditions,J. London Math. Soc.,94(2016), 859–882

work page 2016
[7]

Deng, Exponential decay of solutions of semilinear parabolic equations with non-local initial conditions,J

K. Deng, Exponential decay of solutions of semilinear parabolic equations with non-local initial conditions,J. Math. Anal. Appl.,179(1993), 630–637

work page 1993
[8]

A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, 2006

work page 2006
[9]

Zhou,Fractional Evolution Equations and Inclusions: Analysis and Control, Academic Press, London, 2016

Y. Zhou,Fractional Evolution Equations and Inclusions: Analysis and Control, Academic Press, London, 2016

work page 2016
[10]

Liang, J

J. Liang, J. Liu, and T. J. Xiao, Nonlocal Cauchy problems governed by compact operator families,Nonlinear Anal.,57(2004), 183–189

work page 2004
[11]

Cardinali, R

T. Cardinali, R. Precup, and P. Rubbioni, A unified existence theory for evolution equations and systems under nonlocal conditions,J. Math. Anal. Appl.,432(2015), 1039–1057

work page 2015
[12]

Hern´ andez, J

E. Hern´ andez, J. S. dos Santos, and K. A. G. Azevedo, Existence of solutions for a class of abstract differential equations with nonlocal conditions,Nonlinear Anal.,74(2011), 2624–2634

work page 2011
[13]

Y. Zhou, L. Zhang, and X. H. Shen, Existence of mild solutions for fractional evolution equations,J. Integral Equations Appl.,25(2013), 557–586

work page 2013
[14]

Benedetti, N

I. Benedetti, N. V. Loi, and V. Taddei, An approximation solvability method for nonlocal semilinear differential problems in Banach spaces,Discrete Contin. Dyn. Syst.,37(2017), 2977–2998

work page 2017
[15]

H.-K. Xu, V. Colao, and L. Muglia, Mild solutions of nonlocal semilinear evolution equa- tions on unbounded intervals via approximation solvability method in reflexive Banach spaces,J. Math. Anal. Appl.,498(2021), 124938. 13

work page 2021
[16]

Wang and Y

J. Wang and Y. Zhou, A class of fractional evolution equations and optimal controls, Nonlinear Anal. Real World Appl.,12(2011), 262–272

work page 2011
[17]

Pazy,Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer-Verlag, New York, 1983

A. Pazy,Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer-Verlag, New York, 1983

work page 1983
[18]

Chang, V

Y.-K. Chang, V. Kavitha, and M. Mallika Arjunan, Existence and uniqueness of mild solutions to a semilinear integrodifferential equation of fractional order,Nonlinear Anal., 71(2009), 5551–5559

work page 2009
[19]

O. K. Jaradat, A. Al-Omari, and S. Momani, Existence of the mild solution for fractional semilinear initial value problems,Nonlinear Anal.,69(2008), 3153–3159

work page 2008
[20]

G. M. Mophou and G. M. N’Gu´ er´ ekata, Mild solutions for semilinear fractional differential equations,Electron. J. Differential Equations,21(2009), 1–9

work page 2009
[21]

G. M. Mophou and G. M. N’Gu´ er´ ekata, Existence of mild solution for some fractional differential equations with nonlocal conditions,Semigroup Forum,79(2009), 315–322

work page 2009
[22]

C. D. Aliprantis and K. C. Border,Infinite Dimensional Analysis: A Hitchhiker’s Guide, 3rd ed., Springer, Berlin, 2006

work page 2006
[23]

P. Chen, X. Zhang, and Y. Li, Existence and approximate controllability of fractional evolution equations with nonlocal conditions via resolvent operators,Fract. Calc. Appl. Anal.,23(2020), 268–291

work page 2020
[24]

M. A. Krasnosel’ski˘ ı,Positive Solutions of Operator Equations, Noordhoff, Groningen, 1964

work page 1964
[25]

M. A. Krasnosel’ski˘ ı and L. A. Ladyˇ zenskii, The structure of the spectrum of positive nonhomogeneous operators,Trudy Moskov. Mat. Obˇ sˇ c.,3(1954), 321–346. 14

work page 1954