pith. sign in

arxiv: 1907.02019 · v1 · pith:ZQJFRIU2new · submitted 2019-07-03 · 🧮 math.CA · math.AP

Mild and strong solutions for Hilfer evolution equation

J. Vanterler da C. Sousa , Leandro S. Tavares , E. Capelas de Oliveira This is my paper

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

classification 🧮 math.CA math.AP
keywords Hilfer derivativeevolution equationsmild solutionsstrong solutionsBanach fixed point theoremGronwall inequalitysemilinear fractional equationsexistence and uniqueness
0
0 comments X

The pith

Existence and uniqueness of mild and strong solutions are proved for semilinear Hilfer fractional evolution equations.

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

The paper shows that fractional semilinear evolution equations involving the Hilfer derivative have unique mild solutions by applying the Banach fixed point theorem to an equivalent integral equation. Gronwall's inequality is used to obtain the necessary estimates for the contraction property. This matters because the Hilfer derivative provides a flexible way to model memory effects in dynamical systems that lie between the Riemann-Liouville and Caputo derivatives. If true, it allows reliable prediction of solution behavior in such models without needing to solve the equation explicitly each time.

Core claim

The authors establish the existence and uniqueness of mild and strong solutions for the Hilfer fractional semilinear evolution equation by means of the Banach fixed point theorem applied to the integral operator associated with the Hilfer derivative and using the Gronwall inequality to control the growth of solutions.

What carries the argument

The integral operator defined via the Hilfer fractional derivative, which maps the space of continuous functions to itself and is shown to be a contraction under Lipschitz conditions on the nonlinearity.

If this is right

  • The mild solution is unique and can be obtained as the limit of Picard iterations.
  • The strong solution satisfies the original differential equation almost everywhere.
  • Existence holds in appropriate Banach spaces when the linear operator generates a semigroup and the nonlinearity is Lipschitz continuous.
  • The results extend to cases where the fractional order parameters satisfy 0 < α < 1 and 0 ≤ β ≤ 1.

Where Pith is reading between the lines

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

  • These results could be tested numerically by simulating specific nonlinearities like quadratic terms in the equation and checking convergence of iterations.
  • Similar techniques might apply to other fractional derivatives or to stochastic versions of the equation.
  • The conditions could be relaxed to local Lipschitz conditions for local existence results.

Load-bearing premise

The nonlinearity is globally Lipschitz continuous with respect to the state variable in the underlying Banach space.

What would settle it

A specific example of a nonlinearity that is not Lipschitz but for which unique solutions still exist, or an instance where the operator fails to be contractive yet a solution is found by other means.

read the original abstract

In this paper, we investigate the existence and uniqueness of mild and strong solutions of fractional semilinear evolution equations in the Hilfer sense, by means of Banach fixed point theorem and the Gronwall inequality.

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 / 3 minor

Summary. The paper claims existence and uniqueness of mild solutions (and, under additional hypotheses, strong solutions) to the semilinear evolution equation D^{α,β} u(t) = A u(t) + f(t,u(t)) with Hilfer fractional derivative of order α ∈ (0,1) and type β ∈ [0,1], by rewriting the problem as an equivalent Volterra integral equation, applying the Banach fixed-point theorem in C([0,T];X) (or a weighted space), and recovering uniqueness via Gronwall's inequality on the difference of two solutions. The linear operator A is assumed to generate a C0-semigroup and f is assumed Lipschitz in the second variable.

Significance. If the estimates close as claimed, the work supplies a routine but complete extension of the standard fixed-point/Gronwall argument from the Caputo or Riemann-Liouville settings to the Hilfer operator, which interpolates between them. The manuscript does not introduce new technical machinery or parameter-free derivations, but it does supply explicit mild-to-strong passage under domain conditions on the initial datum.

major comments (2)
  1. [§3] §3, after Eq. (3.3): the contraction-mapping argument requires an explicit upper bound on T (or on the Lipschitz constant L of f) so that the constant K = M L T^γ / Γ(γ+1) < 1, where γ = α(1-β) and M is the semigroup bound; the manuscript states only that “for sufficiently small T” the map is a contraction, without recording the precise threshold or verifying that the same T works for the subsequent Gronwall step.
  2. [Theorem 4.2] Theorem 4.2 (strong solutions): the passage from mild to strong solution invokes differentiability of the integral operator, but the proof sketch does not check that the Hilfer kernel (t-s)^{α(1-β)-1} remains integrable after one differentiation when β > 0; an explicit verification that the resulting singularity is still integrable under the standing assumption 0 < α < 1 is missing.
minor comments (3)
  1. [§2] Notation for the weighted space C_γ([0,T];X) is introduced without a displayed definition; a one-line reminder of the norm would improve readability.
  2. [Introduction] The abstract and introduction cite only the classical references for the Hilfer derivative; adding one or two recent papers that treat Hilfer evolution equations would help situate the contribution.
  3. Several displayed equations contain minor typographical inconsistencies (e.g., missing parentheses around the semigroup applied to the integral term).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and helpful comments on our manuscript. We address each of the major comments below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§3] §3, after Eq. (3.3): the contraction-mapping argument requires an explicit upper bound on T (or on the Lipschitz constant L of f) so that the constant K = M L T^γ / Γ(γ+1) < 1, where γ = α(1-β) and M is the semigroup bound; the manuscript states only that “for sufficiently small T” the map is a contraction, without recording the precise threshold or verifying that the same T works for the subsequent Gronwall step.

    Authors: We agree that an explicit bound on T would make the argument more precise. In the revised manuscript, we will add the condition that T is chosen small enough so that K = M L T^γ / Γ(γ+1) < 1. We will also note that the Gronwall inequality for uniqueness applies on the same interval [0,T] without requiring any further restriction on T, as it is independent of the contraction constant being less than one. revision: yes

  2. Referee: [Theorem 4.2] Theorem 4.2 (strong solutions): the passage from mild to strong solution invokes differentiability of the integral operator, but the proof sketch does not check that the Hilfer kernel (t-s)^{α(1-β)-1} remains integrable after one differentiation when β > 0; an explicit verification that the resulting singularity is still integrable under the standing assumption 0 < α < 1 is missing.

    Authors: We thank the referee for highlighting this point. The proof of Theorem 4.2 relies on the fact that the initial condition is in D(A) and uses the properties of the C0-semigroup generated by A. To make the integrability explicit, we will include in the revised version a verification that the differentiated kernel has a singularity of order α(1-β)-2, which remains integrable on [0,T] as long as α(1-β) > 0. This holds under the paper's assumptions (0 < α < 1, β ∈ [0,1]), with the case β=0 or β=1 reducing to known Riemann-Liouville or Caputo cases where the result is standard. revision: yes

Circularity Check

0 steps flagged

No significant circularity; standard application of fixed-point theorem

full rationale

The derivation converts the Hilfer equation to an equivalent integral equation (standard for fractional evolution problems) and applies the Banach fixed-point theorem in C([0,T];X) under explicit Lipschitz and semigroup-generation hypotheses on f and A. Uniqueness follows from the classical Gronwall inequality applied to the difference of two solutions. No parameter is fitted and then relabeled as a prediction, no self-definitional loop appears in the integral operator or contraction constant, and no load-bearing uniqueness theorem is imported solely via self-citation. All steps are self-contained classical analysis applied to the given fractional kernel; the result does not reduce to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on abstract only; the claim rests on standard domain assumptions for evolution equations and fractional operators. No free parameters or invented entities visible.

axioms (2)
  • domain assumption The underlying space is a Banach space suitable for evolution equations.
    Required for applying Banach fixed point theorem to the mild solution operator.
  • domain assumption The nonlinearity satisfies conditions (e.g., Lipschitz) compatible with the fractional integral operator.
    Needed for the contraction mapping property in the proof.

pith-pipeline@v0.9.0 · 5550 in / 1227 out tokens · 20207 ms · 2026-05-25T09:25:37.172639+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    L. Byszewski, Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem, Journal of Mathematical analy sis and Applications 162(2) (1991), 494–505

    work page 1991

  2. [2]

    and Wang, Q., The existence and uniqueness of mild solut ions for fractional differential equations with nonlocal conditions of order 1 < α < 2, Comp

    Shu, X.-B. and Wang, Q., The existence and uniqueness of mild solut ions for fractional differential equations with nonlocal conditions of order 1 < α < 2, Comp. Math. Appl., 64 (6), 2100–2110, (2012)

    work page 2012

  3. [3]

    and Shi, Y., A study on the mild solution of impulsive fractio nal evolution equations, Appl

    Shu, X-B. and Shi, Y., A study on the mild solution of impulsive fractio nal evolution equations, Appl. Math. Comput., 273, 465–476, (2016)

    work page 2016

  4. [4]

    and Li, B., Local and global existence of mild solution to impu lsive fractional semilinear integro-differential equation with noncompact semigroup , Commun

    Gou, H. and Li, B., Local and global existence of mild solution to impu lsive fractional semilinear integro-differential equation with noncompact semigroup , Commun. Nonl. Sci. Numer. Simul., 42, 204–214, (2017)

    work page 2017

  5. [5]

    and Lai, Y

    Shu, X.-B. and Lai, Y. and Chen, Y., The existence of mild solutions f or impulsive frac- tional partial differential equations, Nonlinear Analysis: Theory, M ethods & Applications, 74 (5), 2003–2011, (2011)

    work page 2003

  6. [6]

    and Jiao, F., Existence of mild solutions for fractional ne utral evolution equations, Comput

    Zhou, Y. and Jiao, F., Existence of mild solutions for fractional ne utral evolution equations, Comput. Math. Appl., 59(3), 1063–1077, (2010)

    work page 2010

  7. [7]

    Herzallah, M. A. E., Mild and strong solutions to few types of fract ional order nonlinear equations with periodic boundary conditions, Indian J. Pure and App l. Math., 43(6), 619– 635, (2012)

    work page 2012

  8. [8]

    and Li, B., Study on the mild solution of Sobolev type Hilfer fr actional evolution equations with boundary conditions, Chaos, Solitons & Fractals, 11 2, 168–179, (2018)

    Gou, H. and Li, B., Study on the mild solution of Sobolev type Hilfer fr actional evolution equations with boundary conditions, Chaos, Solitons & Fractals, 11 2, 168–179, (2018)

    work page 2018

  9. [9]

    and Jia, J., Existence and uniqueness of mild solutions for abs tract delay fractional differential equations, Comp

    Li, K. and Jia, J., Existence and uniqueness of mild solutions for abs tract delay fractional differential equations, Comp. Math. Appl., 62(3), 1398–1404, (20 11)

    work page

  10. [10]

    Qasem, S. A. and Ibrahim, R. W. and Siri, Z., On mild and strong solu tions of fractional differential equations with delay, AIP Conference Proceedings, 16 82(1), 020049, (2015)

    work page 2015

  11. [11]

    and Dabas, J., Local and global existence of mild so lution to an impulsive fractional functional integro-differential equation with nonlocal condition, Commun

    Chauhan, A. and Dabas, J., Local and global existence of mild so lution to an impulsive fractional functional integro-differential equation with nonlocal condition, Commun. Nonl. Sci. and Numer. Simul., 19(4), 821–829, (2014)

    work page 2014

  12. [12]

    and Samuel, F

    Balachandran, K. and Samuel, F. P., Existence of mild solutions fo r quasilinear integrod- ifferential equations with impulsive conditions., Elec. J. Diff. Equ., 2009 , 1–9, (2009)

    work page 2009

  13. [13]

    Sousa, J

    Vanterler da C. Sousa, J. and Capelas de Oliveira, E., On the ψ-Hilfer fractional derivative, Commun. Nonlinear Sci. Numer. Simulat., 60, 72–91, (2018). 7

    work page 2018

  14. [14]

    Sousa, J

    Vanterler da C. Sousa, J. and Capelas de Oliveira, E., Leibniz type rule: ψ-Hilfer fractional operator, Commun. Nonlinear Sci. Numer. Simulat., 77, 305–311, (2 019)

    work page

  15. [15]

    Mainardi, F., Fractional Calculus and Waves in Linear Viscoelasticit y: an Introduction to Mathematical Models, 2010, World Scientific, London

    work page 2010

  16. [16]

    Sousa, J

    Vanterler da C. Sousa, J. and Capelas de Oliveira, E., A Gronwall in equality and the Cauchy-type problem by means of ψ-Hilfer operator, Diff. Equ. Appl., 11(1), 87–106, (2019)

    work page 2019

  17. [17]

    A new class of mild and strong solutions of integro-differential equation of arbitrary order in Banach space

    Vanterler da C. Sousa, J. and Gomes, D. F. and Capelas de Oliveir a, E., A new class of mild and strong solutions of integro-differential equation of arbit rary order in Banach space, arXiv:1812.11197, (2018)

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  18. [18]

    and Ilamaran, S., Existence and uniqueness o f mild and strong solutions of a semilinear evolution equation with nonlocal conditions, Indian J

    Balachandran, K. and Ilamaran, S., Existence and uniqueness o f mild and strong solutions of a semilinear evolution equation with nonlocal conditions, Indian J. P ure Appl. Math., 25(4), 411–418, (1994)

    work page 1994

  19. [19]

    and Jigen, P., Fractional resolvents and fractional evolution equations, Appl

    Kexue, L. and Jigen, P., Fractional resolvents and fractional evolution equations, Appl. Math. Lett., 25(5), 808–812, (2012)

    work page 2012