pith. sign in

arxiv: 1907.03088 · v1 · pith:327I2XEOnew · submitted 2019-07-06 · 🧮 math.CA · math.PR

A new study on the mild solution for impulsive fractional evolution equations

Xiao-Bao Shu , Linxin Shu , Fei Xu This is my paper

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

classification 🧮 math.CA math.PR
keywords mild solutionsimpulsive fractional evolution equationsMittag-Leffler functionalpha-resolvent operatorfractional differential equationsimpulse conditions
0
0 comments X

The pith

Impulsive fractional evolution equations of order between 0 and 1 receive a new definition of mild solutions that replaces the shifted operator S_α(t-t_i) with the product S_α(t) S_α^{-1}(t_i).

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

The paper examines prior definitions of mild solutions that rely on Mittag-Leffler functions and α-resolvent operators for impulsive fractional equations. It identifies limitations in those forms at the impulse instants and introduces a replacement for the impulse term. The new form uses the full solution operator evaluated at the current time multiplied by the inverse of that operator at each impulse time. This change is presented as producing a definition that more consistently respects the underlying operator properties across the jumps. A reader would care because the choice of mild-solution concept determines which existence and uniqueness results can be proved for these equations.

Core claim

After reviewing analytic results in the literature, the authors propose a more appropriate new definition of mild solutions for impulsive fractional evolution equations by replacing the impulse term operator S_α(t-t_i) with S_α(t)S_α^{-1}(t_i), where S_α^{-1}(t_i) denotes the inverse of the fractional solution operator S_α(t) at t=t_i for i=1 to m.

What carries the argument

The replacement impulse term S_α(t) S_α^{-1}(t_i) inside the integral expression for the mild solution, which enforces consistency between the evolution operator before and after each impulse.

If this is right

  • Existence and uniqueness theorems for the impulsive system can now be stated directly with the new mild-solution expression.
  • The definition removes the explicit time-shift in the impulse operator, aligning it with the global action of S_α(t).
  • Subsequent analysis of controllability or stability for these equations proceeds from the revised mild-solution formula rather than earlier versions.

Where Pith is reading between the lines

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

  • The inverse-based form may extend naturally to systems with state-dependent impulses or variable-order fractional derivatives.
  • Numerical schemes that discretize the mild solution could adopt the product S_α(t) S_α^{-1}(t_i) to preserve operator consistency at jumps.
  • The same replacement might be tested on related classes such as impulsive fractional inclusions or delay equations to check consistency across problem types.

Load-bearing premise

The fractional solution operator S_α(t) admits an inverse at every impulse time t_i and that this product form correctly captures the mild-solution concept better than the forms previously used in the literature.

What would settle it

An explicit counter-example, for a concrete choice of fractional order α and impulse times, in which the integral equation satisfied by a candidate solution under the new definition fails to match the original impulsive system while a prior definition succeeds.

read the original abstract

In this article, we consider mild solutions to a class of impulsive fractional evolution equations of order $0<\alpha<1$. After analyzing analytic results reported in the literature using Mittag-Leffer function, $\alpha$-resolvent operator theory, we propose a more appropriate new definition of mild solutions for impulsive fractional evolution equations by replacing the impulse term operator $S_\alpha(t-t_i)$ with $S_\alpha(t)S_\alpha^{-1}(t_i)$, where $S_\alpha^{-1}(t_i)$ denotes the inverse of the fractional solution operator $S_\alpha(t)$ at $t=t_i, (i=1,2,\cdots m)$.

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

Summary. The paper considers mild solutions for impulsive fractional evolution equations of order 0<α<1. After reviewing analytic results in the literature that employ Mittag-Leffler functions and α-resolvent operator theory, the authors propose a new definition of mild solutions obtained by replacing the impulse term S_α(t-t_i) with S_α(t)S_α^{-1}(t_i), where S_α^{-1}(t_i) denotes the inverse of the fractional solution operator at each impulse time t_i.

Significance. If the proposed replacement were shown to be well-defined under standard hypotheses on the sectorial operator A and to satisfy both the integral equation and the impulsive jump conditions, the new definition could supply a technically cleaner framework for existence theory. At present the manuscript supplies neither a derivation of the replacement nor verification that it resolves difficulties identified in the cited literature.

major comments (2)
  1. [Abstract] Abstract: the proposed definition presupposes that S_α(t_i) admits a (bounded) inverse on the underlying Banach space for each impulse time t_i. No additional hypotheses (e.g., A generating a group, restriction to a dense invariant subspace, or range conditions) are stated that would guarantee invertibility; standard α-resolvent families are strongly continuous and bounded but have proper range and are not invertible on the whole space.
  2. [Abstract] Abstract: the assertion that the new form is 'more appropriate' rests on an analysis of the literature, yet the manuscript contains neither a concrete counter-example showing failure of prior definitions nor a direct verification that the modified expression satisfies the original Cauchy problem together with the prescribed jumps.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comments on our manuscript. The concerns about the well-definedness of the inverse and the justification for the new definition are substantive. We respond to each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the proposed definition presupposes that S_α(t_i) admits a (bounded) inverse on the underlying Banach space for each impulse time t_i. No additional hypotheses (e.g., A generating a group, restriction to a dense invariant subspace, or range conditions) are stated that would guarantee invertibility; standard α-resolvent families are strongly continuous and bounded but have proper range and are not invertible on the whole space.

    Authors: We agree that the proposed replacement presupposes the existence of a bounded inverse S_α^{-1}(t_i) and that no hypotheses guaranteeing this are stated. Standard assumptions on the sectorial operator A do not ensure invertibility on the whole space. In the revised version we will introduce additional hypotheses (for example, that A generates a C0-group on the Banach space or that we work on a suitable invariant subspace) to make the inverse well-defined and bounded where required. revision: yes

  2. Referee: [Abstract] Abstract: the assertion that the new form is 'more appropriate' rests on an analysis of the literature, yet the manuscript contains neither a concrete counter-example showing failure of prior definitions nor a direct verification that the modified expression satisfies the original Cauchy problem together with the prescribed jumps.

    Authors: The manuscript motivates the new definition through an analysis of existing results that employ Mittag-Leffler functions and α-resolvent operators. We acknowledge, however, that no concrete counter-example is supplied and that direct verification that the modified expression satisfies both the integral equation and the impulsive jump conditions is absent. In the revision we will add a concrete counter-example illustrating difficulties with prior definitions together with a direct verification that the new form satisfies the Cauchy problem and the prescribed jumps. revision: yes

Circularity Check

0 steps flagged

New mild-solution definition is a direct proposal, not a derived quantity reducing to inputs.

full rationale

The paper's central move is to analyze prior literature on mild solutions via Mittag-Leffler functions and α-resolvent families, then explicitly propose a replacement in the definition: the impulse term S_α(t-t_i) is replaced by S_α(t)S_α^{-1}(t_i). This is presented as a definitional adjustment motivated by perceived shortcomings in existing forms, not as a theorem or prediction obtained from equations, fitted parameters, or a self-citation chain. No load-bearing step equates an output to an input by construction (e.g., no fitted quantity renamed as prediction, no uniqueness theorem imported from the authors' prior work to force the choice). The proposal stands or falls on its conceptual appropriateness and well-definedness (invertibility of S_α(t_i)), which are external to any circular reduction. The derivation chain therefore contains no circular steps of the enumerated kinds.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of Mittag-Leffler functions and α-resolvent operators from the cited literature, plus the unverified assumption that S_α(t) is invertible at impulse times; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Existence and properties of the α-resolvent operator family and Mittag-Leffler function for the underlying evolution equation
    Invoked when analyzing prior definitions and proposing the replacement
  • domain assumption The operator S_α(t) is invertible at each impulse time t_i
    Required for the new definition to be well-defined

pith-pipeline@v0.9.0 · 5637 in / 1317 out tokens · 35090 ms · 2026-05-25T01:49:39.724619+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

29 extracted references · 1 canonical work pages

  1. [1]

    X. Shu, Y. Lai, Y. Chen, The existence of mild solutions for impulsive fractional partial differential equations, Nonlinear Anal. 74 (5) (2011), 2003–2011

    2011

  2. [2]

    J. Wang, M. Fe˘ ckan, Y. Zhou, On the new concept of solutions and existence result s for impulsive fractional evolution equations, Dyn. Partial Differ. Equ. 8 (4) (2011), 345–362

    2011

  3. [3]

    X. Shu, Y. Shi, A study on the mild solution of impulsive fractional ev olution equations, Appl. Math. Comput. 273 (2016), 465–476

    2016

  4. [4]

    J. Wang, M. Fe˘ckan, Y. Zhou, A survey on impulsive fractional differential equation s, Fract. Calc. Appl. Anal. 19 (4) (2016), 806–831

    2016

  5. [5]

    Chadha, D

    A. Chadha, D. Pandey, Existence results for an impulsive neutra l stochastic fractional integro-differential equation with infinite delay, Nonl. Anal. 128 (2015), 149–175

    2015

  6. [6]

    Chauhan, J

    A. Chauhan, J. Dabas, Existence of mild solution for impulsive frac tional-order semilinear evolution equations with nonlocal conditions, Elecrron J. Differ. Equ. 107 (2011), 1–10

    2011

  7. [7]

    G. Wang, B. Ahmad, L. Zhang, Existence results for nonlinear fr actional differential equations with closed boundary conditions and impulses, Adv. Differ. Equ. 2012 (169) (2012), 1–13

    2012

  8. [8]

    Pierri, D

    M. Pierri, D. O ′Regan, V. Rolnik, Existence of solutions for semi-linear abstract diff erential equations with not instantaneous impulses, Appl. Math. Comput. 219 (2013), 6743–6749

    2013

  9. [9]

    Dabas, A

    J. Dabas, A. Chauhan, Existence and uniqueness of mild solution f or an impulsive neutral fractional integro-differential equation with infinite delay, Math. Comput. Mod el. 57 (3-4) (2013), 754–763

    2013

  10. [10]

    Chadha, D

    A. Chadha, D. Pandey, Existence results for an impulsive neutr al stochastic fractional integro-differential equation with infinite delay, Nonlinear Anal. 128 (2015), 149–175

    2015

  11. [11]

    Manickam, Existence of α-mild solutions for impulsive fractional evolution equations and optima l control problems, Vietnam J

    K. Manickam, Existence of α-mild solutions for impulsive fractional evolution equations and optima l control problems, Vietnam J. Math. 44 (4) (2016), 761–776

    2016

  12. [12]

    Chadha, D

    A. Chadha, D. Pandey, Existence of the mild solution for impulsive neutral stochastic fractional integro- differential inclusions with nonlocal conditions, Mediterr. J. Math. 13 (2016), 1005–1031

    2016

  13. [13]

    Z. Liu, X. Li, On the controllability of impulsive fractional evolution inclusions in Bananch spaces, J. Optim. Theory Appl. 156 (1) (2013), 167–182

    2013

  14. [14]

    J. Wang, M. Fe˘ckan, Y. Zhou, Relaxed controls for nonlinear fractional impulsive ev olution equations, J. Optim. Theory Appl. 156 (1) (2013), 13–32. 10

    2013

  15. [15]

    Liang, R

    S. Liang, R. Mei, Existence of mild solutions for fractional impulsiv e neutral evolution equations with nonlocal conditions, Adv. Differ. Equ. 2014 (2014), 101 PP

    2014

  16. [16]

    Balasubramaniam, N

    P. Balasubramaniam, N. Kumaresan,K. Ratnavelu, P. Tamilalagan , Local and global existence of mild solution for impulsive fractional stochastic differential equations, Bull. Malays. Math. Sci. Soc. 38 (2) (2015), 867–884

    2015

  17. [17]

    Chauhan, J

    A. Chauhan, J. Dabas, Local and global existence of mild solutio n to an impulsive fractional func- tiona integro-differential equation with nonlocal condition, Commun . Nonlinear Sci. Numer. Simulat. 19 (2014), 821–829

    2014

  18. [18]

    X. Shu, Q. Wang, The existence and uniqueness of mild solutions f or fractional differential equations with nonlocal conditions of order 1 < α < 2, Comput. Math. Appl. 64 (2012), 2100–2110

    2012

  19. [19]

    Podlubny, Fractional differential equations, Academic Pres s, New york, 1999

    I. Podlubny, Fractional differential equations, Academic Pres s, New york, 1999

    1999

  20. [20]

    Thesis, Eindhoven University of Technology, 2001

    E.Bazhlekova, Fractional evolution equations in Bananch space s, Ph.D. Thesis, Eindhoven University of Technology, 2001

    2001

  21. [21]

    Y. Hino, S. Murakami, T. Naito, Functional differential equation s with infinite delay, Lecture Notes in Mathematics, vol. 1473. Springer, Berlin, 1991

    1991

  22. [22]

    Y. Li, B. Liu, Existence of solution of nonlinar neutral stochast ic differential inclusions with infinite delay, Stochastic Anal. Appl. 25 (2007), 397–415

    2007

  23. [23]

    Prato, J

    G. Prato, J. Zabczyk, Stochastic equations in infinite dimension s, Cambridge University Press, Cam- bridge, 1992

    1992

  24. [24]

    Granas, J

    A. Granas, J. Dugundji, Fixed point theory, Springer-Verlag, New York, 2003

    2003

  25. [25]

    X. Shu, F. Xu, Upper and lower solution method for fractional e volution equations with order 1 < α < 2, J. Korean Math. Soc. 51 (6) (2014), 1123–1139

    2014

  26. [26]

    Y. Guo, X. Shu, Y. Li, F. Xu, The existence and Hyers-Ulam stab ility of solution for an impulsive Riemann-Liouville fractional neutral functional stochastic differe ntial equation with infinite delay of order1 < β < 2, Bound. Value Probl. 2019 (59) (2019), 18 pp

    2019

  27. [27]

    F. Xu, R. Cressman, X. Shu, X. Liu, A series of new chaotic attr actors via switched linear integer order and fractional order differential equations. (English summa ry) Internat. J. Bifur. Chaos Appl. Sci. Engrg. 25 (1) (2015), 1550008, 12 pp

    2015

  28. [28]

    S. Deng, X. Shu, J. Mao, Existence and exponential stability fo r impulsive neutral stochastic functional differential equations driven by fBm with noncompact semigroup via M ¨ onch fixed point, J. Math. Anal. Appl. 467 (1) (2018), 398–420

    2018

  29. [29]

    S. Li, L. Shu, X. Shu, F. Xu, Existence and Hyers-Ulam stability o f random impulsive stochastic functional differential equations with finite delays, Stochastics, D OI: 10.1080/17442508.2018.1551400 (2018). 11

    work page doi:10.1080/17442508.2018.1551400 2018