pith. sign in

arxiv: 2510.25881 · v1 · submitted 2025-10-29 · 🧮 math.AP

Solutions to Second-Order Nonlocal Evolution Equations Governed by Non-Autonomous Forms

Sajid Ullah , Vittorio Colao This is my paper

Pith reviewed 2026-05-18 02:47 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlocal evolution equationssecond-order problemsfundamental solutionsfixed-point methodsnon-autonomous formsviscoelastic membranesexistence results
0
0 comments X

The pith

Fixed-point techniques with fundamental solutions establish existence for second-order nonlocal evolution equations under non-autonomous forms and nonzero initial conditions.

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

The paper sets out to show that suitable conditions on the non-autonomous forms and the nonlocal initial data guarantee solutions to a second-order evolution equation. A reader would care because these equations describe physical systems such as vibrating membranes whose material properties change with time and that carry memory through nonlocal terms. The argument reduces the problem via fundamental solutions of the linear part and then invokes a fixed-point theorem on the resulting operator. If the conditions hold, existence follows directly for both the abstract equation and its concrete PDE realizations.

Core claim

The authors prove that, given appropriate technical conditions on the time-dependent coefficients and the nonlocal initial data, solutions exist for the second-order nonlocal problem by constructing fundamental solutions for the linear homogeneous equation and applying fixed-point arguments to the full nonlinear nonlocal equation. The results are then applied to partial differential equations that model vibrating viscoelastic membranes with time-dependent material properties and nonlocal memory effects.

What carries the argument

Fundamental solutions of the linear operator combined with a fixed-point theorem applied to the integral equation that encodes the nonlocal initial conditions.

Load-bearing premise

The non-autonomous forms and the nonlocal initial conditions must obey contraction or Lipschitz conditions that make the fixed-point map a contraction on a suitable space.

What would settle it

An explicit example in which the required Lipschitz constant exceeds one yet a classical solution still exists, or a numerical simulation of the viscoelastic membrane equation showing blow-up or non-existence precisely when the contraction threshold is crossed.

read the original abstract

Our main contributions include proving sufficient conditions for the existence of solution to a second order problem with nonzero nonlocal initial conditions, and providing a comprehensive analysis using fundamental solutions and fixed-point techniques. The theoretical results are illustrated through applications to partial differential equations, including vibrating viscoelastic membranes with time-dependent material properties and nonlocal memory effects.

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

1 major / 2 minor

Summary. The paper proves sufficient conditions for the existence of mild solutions to second-order nonlocal evolution equations driven by non-autonomous forms, with nonzero nonlocal initial conditions. It constructs a fundamental solution (evolution family) for the linear homogeneous problem, converts the full problem to a fixed-point equation, and applies a contraction-mapping argument. The results are illustrated by applications to time-dependent viscoelastic PDEs with memory effects.

Significance. If the stability hypotheses on the non-autonomous family are fully verified, the work supplies a systematic existence theory for a class of second-order problems that combines non-autonomy with nonlocal initial data, extending standard autonomous or first-order results. The explicit use of fundamental solutions followed by fixed-point analysis is technically appropriate and the PDE examples demonstrate concrete applicability.

major comments (1)
  1. [main existence theorem / assumptions on A(t)] The reduction of the nonlocal problem to an integral equation via the fundamental solution (presumably in §3 or the proof of the main existence theorem) presupposes the existence and uniform boundedness of that fundamental solution for the non-autonomous second-order operator family A(t). The stated sufficient conditions do not explicitly record the required uniform sectoriality, Kato-type stability, or resolvent estimates uniform in t that are needed to guarantee the evolution family exists and satisfies the necessary growth bounds before the fixed-point map is defined. Without these, the integral-equation step is not justified for arbitrary non-autonomous forms.
minor comments (2)
  1. [Notation and preliminaries] Clarify the precise functional setting (e.g., the precise space in which the nonlocal initial condition is imposed) and add a short remark on how the Lipschitz constants in the fixed-point estimate depend on the time interval length.
  2. [Applications] In the viscoelastic-membrane application, state explicitly which of the general hypotheses are verified by the time-dependent coefficients.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comment. We address the point directly below and indicate the planned revision.

read point-by-point responses

  1. Referee: [main existence theorem / assumptions on A(t)] The reduction of the nonlocal problem to an integral equation via the fundamental solution (presumably in §3 or the proof of the main existence theorem) presupposes the existence and uniform boundedness of that fundamental solution for the non-autonomous second-order operator family A(t). The stated sufficient conditions do not explicitly record the required uniform sectoriality, Kato-type stability, or resolvent estimates uniform in t that are needed to guarantee the evolution family exists and satisfies the necessary growth bounds before the fixed-point map is defined. Without these, the integral-equation step is not justified for arbitrary non-autonomous forms.

    Authors: We agree that the existence and uniform boundedness of the evolution family must be secured before the fixed-point argument can be applied. In the manuscript the family {A(t)} is assumed to satisfy the uniform sectoriality condition (with angle independent of t) together with the Kato stability condition with constants independent of t; these are stated in Section 2 and are precisely the hypotheses that, by the abstract theory for non-autonomous second-order Cauchy problems, guarantee the existence of a unique evolution family with the required growth bounds on any finite interval. Nevertheless, we acknowledge that these hypotheses are not collected in a single explicit statement immediately preceding the main existence theorem. To remove any ambiguity we will insert a short preliminary lemma (or a dedicated remark) in Section 3 that recalls the sectoriality and stability assumptions, cites the relevant abstract result ensuring the evolution family, and confirms the uniform bound needed for the integral equation. This clarification will make the reduction step fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes existence of solutions for the second-order nonlocal evolution equation by converting it to an integral equation using a fundamental solution (or evolution family) for the non-autonomous operator family and then applying a fixed-point theorem under stated sufficient conditions on the forms and initial data. This chain relies on standard theorems from functional analysis and evolution equations rather than any self-definitional reduction, fitted parameters renamed as predictions, or load-bearing self-citations that collapse the central claim to its own inputs. The assumptions (Lipschitz or contraction properties) are external to the result itself and do not create a circular loop by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on standard assumptions in functional analysis for evolution equations and the applicability of fixed-point theorems under the stated conditions.

axioms (1)
  • domain assumption The non-autonomous forms satisfy conditions allowing application of fixed-point theorems for existence.
    This is required for the contraction mapping or similar argument to establish solutions.

pith-pipeline@v0.9.0 · 5565 in / 1167 out tokens · 56153 ms · 2026-05-18T02:47:23.819555+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

45 extracted references · 45 canonical work pages

  1. [1]

    Achache,Maximal regularity for non-autonomous evolution equations, PhD The- sis, Universit´ e de Bordeaux, 2018

    M. Achache,Maximal regularity for non-autonomous evolution equations, PhD The- sis, Universit´ e de Bordeaux, 2018

    work page 2018

  2. [2]

    Achache,Maximal regularity for the damped wave equations

    M. Achache,Maximal regularity for the damped wave equations. Journal of Elliptic and Parabolic Equations,6, (2020), 835–870. 24

    work page 2020

  3. [3]

    Agarwal, H

    R.P. Agarwal, H. Leiva, L. Riera, S. Lalvay,Existence of solutions for impulsive neutral semilinear evolution equations with nonlocal conditions, Discontinuity, Non- linearity, and Complexity,13, (2024), 333-349.https://doi.org/10.5890/DNC. 2024.06.011

    work page doi:10.5890/dnc 2024

  4. [4]

    Arendt, H

    W. Arendt, H. Vogt, J. Voig,Form Methods for Evolution Equations, Lecture Notes, 2011

    work page 2011

  5. [5]

    Arendt, D

    W. Arendt, D. Dier, H. Laasri, E.M. Ouhabaz,Maximal regularity for evolution equations governed by non-autonomous forms, Advances in Differential Equations, 19, (2014) 1043–1066

    work page 2014

  6. [6]

    Arendt, S

    W. Arendt, S. Monniaux,Maximal regularity for non-autonomous Robin boundary conditions, Math. Nachr.289(2016), 1325–1340

    work page 2016

  7. [7]

    Auscher,On non-autonomous maximal regularity for elliptic operators in diver- gence form, Arch

    P. Auscher,On non-autonomous maximal regularity for elliptic operators in diver- gence form, Arch. Math.107(2016), 271–284

    work page 2016

  8. [8]

    Auscher, S

    P. Auscher, S. Hofmann, M. Lacey, A. McIntosh, P. Tchamitchian,The solution of the Kato square root problem for second order elliptic operators onR n, Ann. Math. 156(2002), 633–654

    work page 2002

  9. [9]

    Bezerra, S

    F.D. Bezerra, S. Sastre-Gomez, S.H. da Silva,Upper semicontinuity for a class of nonlocal evolution equations with Neumann condition, arXiv preprint arXiv:2409.10065, 2024

    work page arXiv 2024

  10. [10]

    Benedetti, S

    I. Benedetti, S. Ciani,Evolution equations with nonlocal initial conditions and su- perlinear growth, J. Differ. Equ.318(2022), 270–297

    work page 2022

  11. [11]

    Benedetti, E.M

    I. Benedetti, E.M. Rocha,Existence results for evolution equations with superlinear growth, Topol. Methods Nonlinear Anal.54(2019), 917–936

    work page 2019

  12. [12]

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

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

    work page 1991

  13. [13]

    Boucherif, R

    A. Boucherif, R. Precup,Existence of mild solutions for semilinear evolution equa- tions with multipoint nonlocal conditions, Nonlinear Anal.67(2007), 3504–3514

    work page 2007

  14. [14]

    Boyer, P

    F. Boyer, P. Fabrie,Mathematical tools for the study of the incompressible Navier- Stokes equations and related models, Springer, New York, 2013

    work page 2013

  15. [15]

    Budde, C

    C. Budde, C. Seifert,Perturbations of non-autonomous second-order abstract Cauchy problems, Anal. Math.50(2024), 733–755

    work page 2024

  16. [16]

    Chill, S

    R. Chill, S. Srivastava,L p-maximal regularity for second order Cauchy problems, Math. Z.251(2005), 751–781

    work page 2005

  17. [17]

    Batty, R

    C.J.K. Batty, R. Chill, S. Srivastava,Maximal regularity for second order non- autonomous Cauchy problems, Studia Math.189(2008), 205–223

    work page 2008

  18. [18]

    Colao, L

    V. Colao, L. Muglia,Solutions to nonlocal evolution equations governed by non- autonomous forms and demicontinuous nonlinearities, J. Evol. Equ.22(2022), Ar- ticle 77. 25

    work page 2022

  19. [19]

    Dier,Non-autonomous Cauchy problems governed by forms: maximal regularity and invariance, Ph.D

    D. Dier,Non-autonomous Cauchy problems governed by forms: maximal regularity and invariance, Ph.D. Thesis, Universit¨ at Ulm, Ulm, 2014

    work page 2014

  20. [20]

    Cardinali, E

    T. Cardinali, E. De Angelis,Non-autonomous second order differential inclusions with a stabilizing effect, Results Math.76(2021), Article 8

    work page 2021

  21. [21]

    Dier,Non-autonomous maximal regularity for forms of bounded variation, J

    D. Dier,Non-autonomous maximal regularity for forms of bounded variation, J. Math. Anal. Appl.425(2015), 33–54

    work page 2015

  22. [22]

    D. Dier, R. Zacher,Non-autonomous maximal regularity in Hilbert spaces, J. Evol. Equ.17(2017), 883–907

    work page 2017

  23. [23]

    Fackler,Lions’ problem concerning maximal regularity of equations governed by non-autonomous forms, Ann

    S.J.L. Fackler,Lions’ problem concerning maximal regularity of equations governed by non-autonomous forms, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire34(2017), 699–709

    work page 2017

  24. [24]

    Haak, E.M

    B.H. Haak, E.M. Ouhabaz,Maximal regularity for non-autonomous evolution equa- tions, Math. Ann.363(2015), 1117–1145

    work page 2015

  25. [25]

    Kozak,A fundamental solution of a second-order differential equation in a Banach space, Univ

    M. Kozak,A fundamental solution of a second-order differential equation in a Banach space, Univ. Iagel. Acta Math.32(1995), 275–289

    work page 1995

  26. [26]

    Leray, J

    J. Leray, J. Schauder,Topologie et ´ equations fonctionnelles, Ann. Sci. ´Ec. Norm. Sup´ er.51(1934), 45–78

    work page 1934

  27. [27]

    Y.-H. Lin, T. Tyni, P. Zimmermann,Well-posedness and inverse problems for semi- linear nonlocal wave equations, arXiv preprint arXiv:2402.05877, 2024

    work page arXiv 2024

  28. [28]

    Lions, ´Equations diff´ erentielles op´ erationnelles et probl` emes aux limites, Springer-Verlag, Berlin, 1961

    J.L. Lions, ´Equations diff´ erentielles op´ erationnelles et probl` emes aux limites, Springer-Verlag, Berlin, 1961

    work page 1961

  29. [29]

    Lucchetti, F

    R. Lucchetti, F. Patrone,On Nemytskii’s operator and its application to the lower semicontinuity of integral functionals, Indiana Univ. Math. J.29(1980), 703–713

    work page 1980

  30. [30]

    Ntouyas,Nonlocal initial and boundary value problems: a survey, in: Hand- book of Differential Equations: Ordinary Differential Equations, Vol

    S.K. Ntouyas,Nonlocal initial and boundary value problems: a survey, in: Hand- book of Differential Equations: Ordinary Differential Equations, Vol. 2, Elsevier, Amsterdam, 2005, 461–557

    work page 2005

  31. [31]

    Nguyen Van, K

    D. Nguyen Van, K. Tran Dinh, P. Vu,Stability analysis for a class of semilinear nonlocal evolution equations, Electron. J. Qual. Theory Differ. Equ.2024(2024), Article 23

    work page 2024

  32. [32]

    Dier, E.M

    D. Dier, E.M. Ouhabaz,Maximal regularity for non-autonomous second order Cauchy problems, Integral Equ. Oper. Theory78(2014), 427–450

    work page 2014

  33. [33]

    Ouhabaz,Maximal regularity for non-autonomous evolution equations governed by forms having less regularity, Arch

    E.M. Ouhabaz,Maximal regularity for non-autonomous evolution equations governed by forms having less regularity, Arch. Math.105(2015), 79–91

    work page 2015

  34. [34]

    Paicu, I.I

    A. Paicu, I.I. Vrabie,A class of nonlinear evolution equations subjected to nonlocal initial conditions, Nonlinear Anal.72(2010), 4091–4100

    work page 2010

  35. [35]

    Pazy,Semigroups of linear operators and applications to partial differential equa- tions, Springer Science & Business Media, 2012

    A. Pazy,Semigroups of linear operators and applications to partial differential equa- tions, Springer Science & Business Media, 2012. 26

    work page 2012

  36. [36]

    A. Sani, H. Laasri,Evolution equations governed by Lipschitz continuous non- autonomous forms, Czech. Math. J.65(2019), 475–491

    work page 2019

  37. [37]

    L. S. Schmitz, C. Walker,Recovering initial states in semilinear parabolic problems from time-averages, arXiv preprint arXiv:2407.03829, 2024

    work page arXiv 2024

  38. [38]

    Arendt, D

    W. Arendt, D. Dier, S.J.L. Fackler,Lions’ problem on maximal regularity, Arch. Math.109(2017), 59–72

    work page 2017

  39. [39]

    Arendt, R

    W. Arendt, R. Chill, S. Fornaro, C. Poupaud,L p-maximal regularity for non- autonomous evolution equations, J. Differ. Equ.237(2007), 1–26

    work page 2007

  40. [40]

    J. Xu, T. Caraballo, J. Valero,Asymptotic behavior of a semilinear problem in heat conduction with long time memory and non-local diffusion, arXiv preprint arXiv:2407.17923, 2024

    work page arXiv 2024

  41. [41]

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

    work page 2021

  42. [42]

    Daners,Heat kernel estimates for operators with boundary conditions, Math

    D. Daners,Heat kernel estimates for operators with boundary conditions, Math. Nachr.217(2000), 13–41

    work page 2000

  43. [43]

    El-Mennaoui, H

    O. El-Mennaoui, H. Laasri,A note on the norm-continuity for evolution families arising from non-autonomous forms, Semigroup Forum100(2020), 205–230

    work page 2020

  44. [44]

    McIntosh,On representing closed accretive sesquilinear forms as(A 1/2u, A1/2v), Coll

    A. McIntosh,On representing closed accretive sesquilinear forms as(A 1/2u, A1/2v), Coll. France Semin. Vol. III, 252–267, 1982

    work page 1982

  45. [45]

    Zeidler,Nonlinear functional analysis and its applications II/B: linear monotone operators, Springer, New York, 2013

    E. Zeidler,Nonlinear functional analysis and its applications II/B: linear monotone operators, Springer, New York, 2013. 27

    work page 2013