Pith. sign in

REVIEW 2 major objections 4 minor 26 references

A General Version of Carath\'{e}odory's Existence and Uniqueness Theorem

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For multi-order Caputo fractional systems, L^p-Carathéodory nonlinearities give a unique solution whenever p exceeds every reciprocal order, and the threshold is strict.

desk verdict The main theorem has a load-bearing gap: the contraction argument needs ℓ∈L^q for q>1/α0, while (C2) only gives ℓ∈L^1. read the letter →

arxiv 2505.24516 v1 pith:I4IWFXLT submitted 2025-05-30 math.CA math.FA

Paulo M. de Carvalho-Neto , Cícero L. Frota , Pedro G. P. Torelli This is my paper
classification math.CAmath.FA MSC 26A3334A0834A12
keywords existenceanduniquenessCaputofractionalderivativeCarathéodoryfunctionL^p-CarathéodoryNemytskiioperatormulti-orderdifferentialequationsRiemann-LiouvilleintegralCauchyproblem
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a fractional analogue of Carathéodory's existence and uniqueness theorem for semilinear systems in which each component can have a different Caputo derivative order $\alpha_j$. The main claim is that an $L^p$-Carathéodory nonlinearity $f$, meaning $f$ is measurable in $t$, continuous in $x$, has an $L^p$ growth bound, and has an $L^1$ Lipschitz condition in $x$, yields a unique continuous solution for every initial value provided $p>\max\{1/\alpha_j\}$. The ordering is critical: when some derivative order equals $1/p$, the problem can fail to have any solution. If correct, the result turns merely measurable, non-smooth nonlinearities into well-posed multi-order fractional initial-value problems and locates the exact integrability boundary at which that is possible.

What carries the argument

The machinery is the Riemann-Liouville fractional integral $J_t^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)}\int_0^t (t-s)^{\alpha-1}f(s)\,ds$, which converts each Caputo equation into an integral equation. The proof leans on the regularity theorem that $J_t^{\alpha}$ maps $L^p(0,T)$ into $C([0,T])$ when $p>1/\alpha$, and on the Nemytskii composition result that keeps $f(\varphi(t),t)$ inside $L^p$. Uniqueness is carried by Lemma 13, an iterated estimate on nested fractional integrals: for $g\in L^q$ with $q>1/\rho$, the $k$-fold nested integral of $g$ is bounded by a constant that tends to zero as $k\to\infty$, so a high iterate of the solution operator is a contraction and Banach's fixed-point theorem applies.

What would settle it

Test the admissible-looking example $f(x,t)=\sqrt{t}\,\sin(x/t)$ with $\alpha_0=1/2$. Its natural Lipschitz coefficient is $\ell(t)=t^{-1/2}$, which lies in $L^1(0,T)$ but in no $L^q$ with $q>2$, exactly the class Lemma 13 needs. Computing the nested fractional integrals of $M\ell$ for this $f$ would show whether the contraction constant really decays; a concrete system built from such an $f$ that has two solutions, or none, would settle whether the theorem's hypotheses are sufficient as stated.

Watch

Extended reading notes

Core claim

The central discovery is that well-posedness of the system (3)-(4) is governed by the condition $p>1/\alpha_0$, where $\alpha_0$ is the smallest of the derivative orders $\alpha_j$. Under this condition, the Caputo initial-value problem is equivalent to a system of Riemann-Liouville integral equations, and the associated fixed-point operator is a contraction after finitely many iterations. The proof also shows the boundary case cannot be absorbed: for $\alpha=1/p$ there are $L^p$ functions whose fractional integral of order $1/p$ is unbounded, and such a function can be used to build a right-hand side that satisfies the growth assumptions yet admits no solution. The authors state the positive result as Theorem 14 and the endpoint failure as Theorem 16.

Load-bearing premise

The uniqueness proof assumes the Lipschitz coefficient $\ell$ is integrable at a strictly higher power than the stated hypotheses guarantee: it needs $\ell\in L^q$ for some $q>1/\alpha_0$, while condition $(C_2)$ only gives $\ell\in L^1$.

Editorial extensions

If this is right

  • Any multi-order Caputo system with a measurable, integrably Lipschitz nonlinearity is well posed as soon as the integrability order exceeds every reciprocal derivative order.
  • The classical first-order Carathéodory theorem is recovered in the case $\alpha_j=1$ for all $j$, so the result is a genuine extension rather than a separate theory.
  • No rationality or commensurability condition on the fractional orders is needed; systems with arbitrary distinct orders in $(0,1]$ are covered.
  • The endpoint $\alpha_j=1/p$ is not merely a technical nuisance: it can destroy existence, so the strict inequality is an essential part of the theorem.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: if the hypotheses were strengthened to require the Lipschitz coefficient $\ell$ to lie in $L^q$ for some $q>1/\alpha_0$, the proof as written would close completely; the missing integrability of $\ell$ is likely a repairable gap rather than a false conclusion.
  • Editorial inference: the same Hardy-Littlewood mechanism that blocks existence at $\alpha=1/p$ suggests that similar endpoint thresholds should appear in other fractional regularity theorems wherever a fractional integral of order exactly the reciprocal of an $L^p$ exponent appears.
  • Editorial inference: the authors' conjecture in Remark 15, that the growth condition $(C_p^*)$ alone should give existence without the Lipschitz condition, would separate existence from uniqueness in the fractional setting and mirror the classical integer-order situation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies a semilinear system of Caputo fractional differential equations with distinct fractional orders α_j, with a Carathéodory nonlinearity f satisfying the growth condition (C*_p) and a pointwise Lipschitz condition (C2) with an L^1 coefficient ℓ. The main theorem (Theorem 14) claims that whenever p > max_j 1/α_j, the system with initial data has a unique continuous solution. The paper also gives an integral reformulation (Proposition 11), a fractional iteration estimate (Lemma 13), and a sharpness example (Theorem 16) showing that existence can fail when some α_j = 1/p.

Significance. Proposition 11 is a clean and useful reduction of the fractional system to a system of integral equations, and Theorem 16 gives a convincing sharpness example in the spirit of Hardy and Littlewood. If Theorem 14 could be proved under its stated hypotheses, the result would be a valuable extension of Carathéodory theory to multi-order fractional systems with nonsmooth data. However, the proof of Theorem 14 has a load-bearing gap: Lemma 13 is applied to the Lipschitz coefficient ℓ, which condition (C2) only places in L^1, whereas Lemma 13 requires ℓ to belong to L^q for some q > 1/α_0. Concrete admissible functions, such as f(x,t) = √t sin(x/t), satisfy all hypotheses of Theorem 14 yet have ℓ(t) = t^{-1/2} outside every such L^q. The central claim is therefore not proved as stated, and the paper requires substantial revision before acceptance.

major comments (2)
  1. [§3, Theorem 14, after inequality (7)] The proof of Theorem 14 applies Lemma 13 to the function g(t) = Mℓ(t). Lemma 13 requires g ∈ L^q for some q > 1/α_0, but condition (C2) only guarantees ℓ ∈ L^1, and the growth condition (C*_p) with p > max_j 1/α_j imposes no higher integrability on ℓ. For example, take α_0 = 1/2, p > 2, and f(x,t) = √t sin(x/t) for t > 0, extended by f(x,0) = 0. This f is Carathéodory, satisfies (C*_p) with C = 0 and γ(t) = √t, and satisfies (C2) with ℓ(t) = t^{-1/2} ∈ L^1(0,T). Since t^{-1/2} belongs to L^q only for q < 2, it does not lie in any L^q with q > 2, so Lemma 13 cannot be invoked. The contraction argument thus relies on an unstated extra integrability assumption on ℓ, and Theorem 14 is not proved under the stated hypotheses.
  2. [§3, Lemma 13 and Theorem 14] The deduction that T^{k_0} is a contraction is not formally justified by Lemma 13 as stated. Lemma 13 only asserts that the iterated fractional expression is < 1 for almost every t, whereas the contraction property in C([0,T];R^n) requires a uniform constant c < 1 for the supremum norm. A continuous function can be < 1 almost everywhere yet attain the value 1 on a null set, so the a.e. conclusion alone does not imply a strict contraction. The proof of Lemma 13 actually produces a uniform bound C_n, so this issue is repairable by strengthening the lemma's statement to a uniform bound and explicitly using that uniform bound in the proof of Theorem 14; as written, the proof is incomplete.
minor comments (4)
  1. [Lemma 13, proof] In the proof of Lemma 13, the text states 'Since q > 1/γ' where the parameter should be ρ, not γ; also, in the ratio C_{n+1}/C_n the norm written as ∥f∥ should be ∥g∥. These notational slips should be corrected.
  2. [Lemma 13, statement] The statement allows q = ∞, but the proof uses Hölder's inequality with conjugate exponent q*, which is not defined in the endpoint case; either exclude q = ∞ or give a separate limiting argument.
  3. [Theorem 16, proof] The proof cites Theorem 6 to conclude that J^α_t φ(t) is continuous, but Theorem 6 requires α > 1/p, while here α = 1/p. For a continuous φ the continuity of J^α_t φ is elementary, so the citation should be replaced by a standard convolution argument.
  4. [Throughout] There are several typographical errors: 'Preliminars' in the section title, 'Biding' for 'Binding' in the introduction and references, and the phrase 'at least greater than' in the abstract should read 'strictly greater than'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the paper's main theorem is proved from standard fractional-integral estimates and external classical counterexamples, not from its own conclusion.

full rationale

The contraction argument for Theorem 14 is built directly from the integral reformulation (5), the definition of the operator T in (6), and the iterated fractional-integral estimate of Lemma 13, which is derived in the paper from Hölder's inequality and the gamma-function inequality of [26]. The self-cited ingredients, [6, Proposition 5] and [10, Theorem 7], are standard fractional-calculus identities and the classical Hardy-Littlewood L^p regularity theorem; they are used as tools, they do not assume Theorem 14, and they remain independently verifiable outside this paper's own assumptions. Theorem 16 uses the external Hardy-Littlewood counterexample [16], so its nonexistence claim is also not derived from the paper's own conclusion. One non-circular gap should be noted: in the proof of Theorem 14, after inequality (7), Lemma 13 is applied to g(t)=Mℓ(t), but condition (C2) supplies only ℓ∈L^1, whereas Lemma 13 requires ℓ∈L^q for some q>1/α0; admissible examples such as f(x,t)=t^{1/2} sin(x/t) with ℓ(t)=t^{-1/2} fall outside that hypothesis. This is an unstated integrability assumption and a correctness risk, but it is not a circular reduction: the theorem's conclusion is not assumed as an input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central proof relies on standard fractional calculus facts and on prior results by the same authors for the regularizing effect of fractional integrals. No free parameters are fitted and no new entities are introduced.

assumptions (5)
  • domain assumption J^α maps L^p(0,T) into C([0,T]) when α>1/p (Theorem 6, cited from [10]).
    Used to ensure the fixed point operator maps continuous functions to continuous functions in Proposition 11 and Theorem 14. The cited source is a preprint by the authors.
  • standard math J^α(CD^α h)=h-h(0) under the stated regularity (Proposition 5, cited from [6]).
    Used to derive the integral formulation and to invert the fractional derivative in Proposition 11.
  • standard math The Nemytskii operator N_f maps L^p(0,T) to L^p(0,T) for L^p-Carathéodory f (Proposition 9, cited from [2],[23]).
    Used to guarantee f(φ(·),·)∈L^p for φ∈C in Proposition 11.
  • standard math Hardy-Littlewood theorem provides σ∈L^p with J^{1/p}σ unbounded [16].
    Used in Theorem 16 to construct the counterexample.
  • standard math Wendel's gamma inequality [26] is used to prove convergence of the series in Lemma 13.
    Technical estimate for the ratio of gamma functions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A General Version of Carath\'{e}odory's Existence and Uniqueness Theorem." pith.science (2026). https://pith.science/paper/I4IWFXLT

@misc{pith2026250524516,
  author       = {Pith},
  title        = {Pith review of: A General Version of Carath\'eodory's Existence and Uniqueness Theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I4IWFXLT}},
  note         = {Machine review of arXiv:2505.24516}
}
abstract

In this paper, we establish a general version of Carath\'{e}odory's existence and uniqueness theorem for a semilinear system of integro-differential equations arising from differential equations with distinct orders of Caputo fractional derivative. The main result of our work demonstrates that the integrability order of the Carath\'{e}odory function $f$ must be at least greater than the maximum of the reciprocals of all differentiation orders in the system; otherwise, even the existence of a solution cannot be guaranteed.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    R. P. Agarwal, V. Lakshmikantham, Uniqueness and Nonuniqueness Criteria for Ordinary Differ- ential Equations, World Scientific, Singapore, 1993

    work page 1993

  2. [2]

    Ambrosetti, G

    A. Ambrosetti, G. Prodi, A Primer of Nonlinear Analysis, Cambridge University Press, 1995

    work page 1995

  3. [3]

    Arendt, C

    W. Arendt, C. J. K. Batty, M. Hieber, F. Neubrander, Vector-valued Laplace Transforms and Cauchy Problems, Second Edition, Birkhäuser, 2011

    work page 2011

  4. [4]

    P. A. Binding, The differential equation˙x=f◦x, J. Differ. Equ. 31 (1979), 183-199

    work page 1979

  5. [5]

    D. C. Biles, P. A. Binding, On Carathéodory’s conditions for the initial value problem, Proc. Am. Math. Soc. 125(5) (1997), 1371–1376

    work page 1997

  6. [6]

    P. M. Carvalho-Neto, Fractional differential equations: a novel study of local and global solutions in Banach spaces, Ph.D. Thesis, Universidade de São Paulo, São Carlos, 2013

    work page 2013

  7. [7]

    P. M. Carvalho Neto, R. Fehlberg Júnior, The Riemann-Liouville fractional integral in Bochner- Lebesgue spaces I, Commun. Pure Appl. Anal. 21(11) (2022), 3667–3700

    work page 2022

  8. [8]

    P. M. Carvalho Neto, R. Fehlberg Júnior, The Riemann-Liouville fractional integral in Bochner- Lebesgue spaces II, Fract. Calc. Appl. Anal. 27 (2024), 1348–1368

    work page 2024

Show all 26 references
  1. [9]

    P. M. Carvalho Neto, R. Fehlberg Júnior, The Riemann-Liouville fractional integral in Bochner- Lebesgue spaces III, J. Math. Anal. Appl. 543(2) (2025), 129023

    2025

  2. [10]

    P. M. Carvalho Neto, R. Fehlberg Júnior, The Riemann-Liouville fractional integral in Bochner- Lebesgue spaces IV, arXiv:2410.00830

    arXiv

  3. [11]

    P. M. Carvalho-Neto, C. L. Frota, P. G. P. Torelli, On the initial boundary value problem to the time-fractional wave equation with acoustic boundary conditions, arXiv:2309.12453. 14 P.M. CAR V ALHO-NETO, C.L. FROTA, AND P.G.P. TORELLI

    arXiv

  4. [12]

    Diethelm, N

    K. Diethelm, N. J. Ford, Multi-order fractional differential equations and their numerical solution, Appl. Math. Comput., 154 (2004), 621–640

    2004

  5. [13]

    Diestel and J

    J. Diestel and J. J. Uhl Jr., Vector Measures, American Mathematical Society, Providence, R.I., 1977

    1977

  6. [14]

    Faghih, P

    A. Faghih, P. Mokhtary, Non-linear system of multi-order fractional differential equations: the- oretical analysis and a robust fractional galerkin implementation, J. Sci. Comput. 91(2) (2022), 35

    2022

  7. [15]

    J. K. Hale, Ordinary Differential Equations, John Wiley, New York, 1969

    1969

  8. [16]

    G. H. Hardy, J. E. Littlewood, Some properties of fractional integrals I, Math. Z. 27 (1928), 565-606

    1928

  9. [17]

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

    2006

  10. [18]

    K. Lan, J. R. L. Webb, A new Bihari inequality and initial value problems of first order fractional differential equations, Fract. Calc. Appl. Anal. 26 (2023), 962–988

    2023

  11. [19]

    Lévy, Processus Stochastiques et Mouvement Brownien, Gauthier-Villars, Paris, 1965

    P. Lévy, Processus Stochastiques et Mouvement Brownien, Gauthier-Villars, Paris, 1965

    1965

  12. [20]

    Lindelöf, Sur l’application des méthodes d’approximations successives à l’étude des intégrales réelles des équations différentielles ordinaires, J

    E. Lindelöf, Sur l’application des méthodes d’approximations successives à l’étude des intégrales réelles des équations différentielles ordinaires, J. Math. Pures Appl. 4e série, 10 (1894), 117-128

  13. [21]

    W. F. Osgood, Beweis der existenz einer lösung der differentialgleichungdy/dx=f(x, y)ohne hinzunahme der Cauchy-Lipschitz’schen bedingung, Monatsh. Math. Phys. 9 (1898), 331–345

  14. [22]

    Picard, Sur l’application des méthodes d’approximations successives à l’étude des équations différentielles ordinaires, J

    E. Picard, Sur l’application des méthodes d’approximations successives à l’étude des équations différentielles ordinaires, J. Math. Pures Appl. 4e série, 9 (1893), 217-271

  15. [23]

    Roubíček, Nonlinear Partial Differential Equations with Applications, Birkhäuser, Basel, 2013

    T. Roubíček, Nonlinear Partial Differential Equations with Applications, Birkhäuser, Basel, 2013

    2013

  16. [24]

    S. G. Samko, A. A. Kilbas, O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications, Gordon and Breach Science Publishers, New York, 1993

    1993

  17. [25]

    Tonelli, Sull’unicità della soluzione di un’equazione differenziale ordinarie, Rend

    L. Tonelli, Sull’unicità della soluzione di un’equazione differenziale ordinarie, Rend. Lincei Mat. Appl. 6(1) (1925), 272–277

    1925

  18. [26]

    J. G. Wendel, Note on the Gamma function, Am. Math. Mon. 55(9) (1948), 563-564. (Paulo M. de Carvalho Neto)Department of Mathematics, Federal University of Santa Catarina, Florianópolis - SC, Brazil Email address:paulo.carvalho@ufsc.br (Cícero L. Frota)Department of Mathematic...

    1948

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.