pith. sign in

arxiv: 1907.03504 · v1 · pith:BP77AWYKnew · submitted 2019-07-08 · 🧮 math.CA · math.DS

Some discontinuous functional differential equation and its connection to smoothness of composition operators in L^p

Junya Nishiguchi This is my paper

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

classification 🧮 math.CA math.DS
keywords retarded functional differential equationsL^p history spacescomposition operatorscontinuous dependencesmooth dependencediscontinuous functionalsNemytskij operators
0
0 comments X

The pith

Growth conditions on the nonlinearity ensure continuous and smooth dependence on initial conditions for retarded equations with discontinuous history functionals in L^p.

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

The paper shows that for a retarded functional differential equation with a single constant delay and L^p-type history space, suitable growth bounds on a nonlinearity and its derivative produce continuous and smooth dependence of solutions on initial data even though the history functional itself is discontinuous. The argument traces this regularity directly to the continuity and differentiability of the associated composition operators between L^p spaces. A reader would care because the result separates the regularity of the solution map from the continuity of the history functional, extending classical dependence theorems to a broader class of equations.

Core claim

Under growth-rate assumptions on the nonlinearity and its derivative, the solution map for the equation is continuous and smooth with respect to initial conditions in the L^p history space; the continuity and smoothness of the composition operators between L^p spaces are what transfer this regularity to the solution dependence, even though the history functional is discontinuous.

What carries the argument

Growth-rate assumptions on the nonlinearity and its derivative that allow the regularity of composition operators (Nemytskij operators) between L^p spaces to pass to the solution map of the discontinuous retarded equation.

If this is right

  • Continuous dependence on initial conditions holds for the retarded equation despite the discontinuous history functional.
  • Differentiability of the solution map with respect to initial conditions also holds under the same growth assumptions.
  • The regularity properties of L^p composition operators are the mechanism that compensates for the discontinuity in the history functional.
  • The result applies specifically to history spaces of L^p type with a single constant delay.

Where Pith is reading between the lines

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

  • Similar compensation by composition-operator regularity might apply to other discontinuous functionals if the same growth conditions can be verified.
  • The approach could be tested on equations with state-dependent delays or distributed delays where composition operators remain well-defined in L^p.
  • One could check whether the same growth conditions suffice for higher-order differentiability of the solution map.

Load-bearing premise

The growth bounds on the nonlinearity and its derivative are enough to make the composition operators regular enough that the solution dependence holds despite the discontinuity in the history functional.

What would settle it

Construct an explicit nonlinearity satisfying the stated growth bounds on f and f' whose solution map for the discontinuous history equation fails to be continuous at some initial datum in L^p.

read the original abstract

The objective of this paper is to deepen the understanding of the connection between the continuous and smooth dependence of solutions on initial conditions and the regularity of the history functionals for retarded functional differential equations. We consider some differential equation with a single constant delay with the history space of $L^p$-type and obtain the above dependence result by assuming the growth rate of the nonlinearity and its derivative. The corresponding history functional is discontinuous, and it becomes clear that there are the continuity and the smoothness of the composition operators (also called the superposition operators or the Nemytskij operators) between $L^p$-spaces behind the dependence results.

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

0 major / 2 minor

Summary. The manuscript considers a retarded functional differential equation with constant delay whose history functional maps into an L^p space and is discontinuous. Under growth assumptions on a nonlinearity f and its derivative f', the authors establish continuous and C^1 dependence of solutions on initial data. They attribute these dependence results to the known continuity and differentiability properties of the associated Nemytskii operators acting between suitable L^p spaces.

Significance. If the proofs are complete, the work clarifies that standard growth conditions sufficient for Nemytskii regularity already suffice to obtain smooth dependence even when the history map itself fails to be continuous. This supplies a concrete illustration of how composition-operator theory can be imported into the study of RFDEs with non-standard history spaces.

minor comments (2)
  1. The abstract refers to 'the growth rate of the nonlinearity and its derivative' without stating the precise inequalities; a brief display of the hypotheses (e.g., |f(x)| ≤ C(1+|x|^{p-1}) and a similar bound for f') would make the link to Nemytskii theorems immediate for readers.
  2. The manuscript would benefit from an explicit statement, perhaps in the introduction, of the precise function spaces in which the solution map is shown to be C^1 (e.g., C^1([−τ,0];L^p) or an appropriate subspace).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment, which correctly identifies the role of Nemytskii operator regularity in obtaining C^0 and C^1 dependence results for the RFDE despite the discontinuous history map. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity; derivation uses external Nemytskii operator properties

full rationale

The paper's central argument assumes standard growth conditions on f and f' to invoke the known C^1 regularity of the Nemytskii operator on L^p spaces, then applies the usual variation-of-constants formula to obtain C^1 dependence of solutions on initial data for the discontinuous-history RFDE. This chain rests on independent, externally established facts about superposition operators rather than any self-definition, fitted-input prediction, or self-citation load-bearing step internal to the paper. No equation or claim reduces to its own inputs by construction, and the discontinuity of the history functional is handled without circular transfer.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard properties of L^p spaces and composition operators (domain assumptions) plus growth conditions on the nonlinearity (ad-hoc-to-paper assumptions). No free parameters or invented entities are visible from the abstract.

axioms (2)
  • domain assumption L^p spaces are Banach spaces and composition operators between them satisfy continuity and differentiability under suitable growth conditions on the outer function.
    Invoked to transfer regularity to the solution map when the history functional is discontinuous.
  • ad hoc to paper The nonlinearity satisfies a growth condition on itself and its derivative that is compatible with the L^p setting.
    Stated as the assumption that yields the dependence result.

pith-pipeline@v0.9.0 · 5625 in / 1343 out tokens · 35645 ms · 2026-05-25T01:02:14.235162+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

20 extracted references · 20 canonical work pages · 2 internal anchors

  1. [1]

    Elliptic Partial Differential E quations: Existence and Regularity of Distributional Solutions,

    L. Boccardo and G. Croce, “Elliptic Partial Differential E quations: Existence and Regularity of Distributional Solutions,” Walter de Gruyte r, 2013

    work page 2013

  2. [2]

    Breda, Nonautonomous delay differential equations in Hilbert spac es and Lyapunov exponents, Differential Integral Equations 23 (2010), 935–956

    D. Breda, Nonautonomous delay differential equations in Hilbert spac es and Lyapunov exponents, Differential Integral Equations 23 (2010), 935–956

    work page 2010

  3. [3]

    J. A. Burns, T. L. Herdman and H. W. Stech, Linear functional-differential equations as semigroups on product spaces , SIAM J. Math. Anal. 14 (1983), 98–116

    work page 1983

  4. [4]

    M. D. Chekroun, M. Ghil, H. Liu and S. Wang, Low-dimensional Galerkin approx- imations of nonlinear delay differential equations , Discrete Contin. Dyn. Syst. 36 (2016), 4133–4177

    work page 2016

  5. [5]

    M . D. Chekroun, A. Kr¨ oner and H. Liu, Galerkin approximations for the optimal control of nonlinear delay differential equations , arXiv preprint arXiv:1706.02360

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    M. C. Delfour, The largest class of hereditary systems defining a C0 semigroup on the product space, Canad. J. Math. 32 (1980), 969–978

    work page 1980

  7. [7]

    M. C. Delfour and S. K. Mitter, Hereditary differential systems with constant delays. I. General case , J. Differential Equations 12 (1972), 213–235. REFERENCES 20

    work page 1972

  8. [8]

    Goldberg, W

    H. Goldberg, W. Kampowsky and F. Tr¨ oltzsch, On Nemytskij operators in Lp-spaces of abstract functions , Math. Nachr. 155 (1992), 127–140

    work page 1992

  9. [9]

    H´ ajek, Local characterisation of local semi-dynamical systems , Math

    O. H´ ajek, Local characterisation of local semi-dynamical systems , Math. Systems Theory 2 (1968), 17–25

    work page 1968

  10. [10]

    J. K. Hale, A stability theorem for functional-differential equations , Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 942–946

    work page 1963

  11. [11]

    J. K. Hale, Dynamical systems and stability , J. Math. Anal. Appl. 26 (1969), 39–59

    work page 1969

  12. [12]

    Introduction to Func tional Differential Equa- tions,

    J. K. Hale and S. M. Verduyn Lunel, “Introduction to Func tional Differential Equa- tions,” Springer-Verlag, New York, 1993

    work page 1993

  13. [13]

    T. L. Herdman and J. A. Burns, Functional differential equations with discontinuous right-hand side , Volterra equations, 99–106, Springer, Berlin, 1979

    work page 1979

  14. [14]

    Functional-differen tial Equations with Infinite Delay,

    Y. Hino, S. Murakami, and T. Naito, “Functional-differen tial Equations with Infinite Delay,” Springer-Verlag, Berlin, 1991

    work page 1991

  15. [15]

    Kappel and W

    F. Kappel and W. Schappacher, Autonomous nonlinear functional differential equa- tions and averaging approximations , Nonlinear Anal. 2 (1978), 391–422

    work page 1978

  16. [16]

    Nishiguchi, A necessary and sufficient condition for well-posedness of in itial value problems of retarded functional differential equations , J

    J. Nishiguchi, A necessary and sufficient condition for well-posedness of in itial value problems of retarded functional differential equations , J. Differential Equations 263 (2017), 3491–3532

    work page 2017

  17. [17]

    J. Nishiguchi, Theory of well-posedness for delay differential equations vi a prolon- gations and C 1-prolongations: its application to state-dependent delay , submitted (arXiv:1810.05890)

    work page internal anchor Pith review Pith/arXiv arXiv

  18. [18]

    An introduction to Measure Theory,

    T. Tao, “An introduction to Measure Theory,” American M athematical Society, Providence, RI, 2011

    work page 2011

  19. [19]

    Walther, The solution manifold and C 1-smoothness for differential equations with state-dependent delay , J

    H.-O. Walther, The solution manifold and C 1-smoothness for differential equations with state-dependent delay , J. Differential Equations 195 (2003), 46–65

    work page 2003

  20. [20]

    G. F. Webb, Functional differential equations and nonlinear semigroup s in Lp-spaces, J. Differential Equations 20 (1976), 71–89

    work page 1976