Pith. sign in

REVIEW 3 minor 47 references

Nonautonomous systems of evolution inclusions

T0 review · 0 major / 3 minor · reviewed 2026-05-20 · grok-4.3

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

Pith's one-line read Global solutions exist for coupled partially nonautonomous evolution inclusion systems when the coupling terms meet specific continuity and convexity conditions.

desk verdict This paper gives a technical extension of existence results for coupled nonautonomous evolution inclusions by adapting Vrabie's method and adding a measurable selection result. read the letter →

arxiv 2605.19525 v1 pith:26HGOOXP submitted 2026-05-19 math.AP

Bernhard Aigner , Jacson Simsen , Marcus Waurick This is my paper · ORCID
classification math.AP
keywords evolutioninclusionsnonautonomoussystemsglobalsolutionssemigrouptheorymeasurableselectionSchrödinger-DebyeMaxwell-parabolicsubdifferential
checked against Cost.FunctionalEquation
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

The paper proves existence of global solutions for systems that pair a Cauchy problem generated by a compact resolvent semigroup with an evolution equation driven by the subdifferential of a real potential. This framework covers nonautonomous generalized Schrödinger-Debye systems with variable exponents and extends to hyperbolic-parabolic inclusions, including Maxwell-parabolic cases. A sympathetic reader would care because these systems arise in models of physical processes with time-dependent behavior and set-valued terms, and global existence supplies a basis for studying long-term behavior. The argument extends an existing approach to the nonautonomous setting, combines it with standard semigroup methods to handle mixed parabolic and non-parabolic dynamics, and relies on a new measurable selection result.

What carries the argument

An extension of the Vrabie approach to the nonautonomous case, paired with semigroup tools for mixed parabolic-nonparabolic behavior and a new measurable selection result, applied to set-valued coupling terms that are Hausdorff-continuous, take bounded convex closed values, and satisfy weak continuity with respect to one variable.

What would settle it

A concrete example of a coupled system whose coupling terms violate Hausdorff continuity or convexity yet fail to possess a global solution, or a specific nonautonomous Schrödinger-Debye system with variable exponents whose solutions blow up in finite time.

Watch

Extended reading notes

Core claim

We prove the existence of global solutions for some coupled systems of partially nonautonomous evolution inclusions comprised of a Cauchy problem with a compact resolvent semigroup generator and an evolution equation governed by a subdifferential of a real potential. Our system in particular includes nonautonomous generalized Schrödinger-Debye systems of inclusions with variable exponents, but extends to hyperbolic-parabolic systems of inclusions in particular to Maxwell-parabolic systems of inclusions.

Load-bearing premise

The set-valued coupling terms must be Hausdorff-continuous, take bounded convex closed values, and satisfy weak continuity with respect to one variable.

Editorial extensions

If this is right

  • Coupled systems of this form admit global solutions on the whole real line.
  • Nonautonomous generalized Schrödinger-Debye systems with variable exponents possess global solutions.
  • Hyperbolic-parabolic systems of inclusions, including Maxwell-parabolic ones, admit global solutions under the stated conditions.
  • Non-parabolic solution behavior can be handled alongside the parabolic parts through the semigroup framework.

Reading between the lines

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

  • The same combination of methods could apply to other time-dependent inclusion systems with similar structural assumptions on the couplings.
  • Additional regularity on the potential or the semigroup might yield uniqueness or continuous dependence results as corollaries.
  • The approach opens a route to numerical approximation schemes that preserve the global existence property for discretized versions of these systems.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The manuscript proves the existence of global solutions for coupled systems of partially nonautonomous evolution inclusions consisting of a Cauchy problem driven by a compact-resolvent semigroup generator and an evolution equation governed by the subdifferential of a real potential. The result applies in particular to nonautonomous generalized Schrödinger-Debye systems with variable exponents and extends to hyperbolic-parabolic systems of inclusions, including Maxwell-parabolic systems. The proof extends the approach of Vrabie et al. to the nonautonomous setting by combining standard semigroup tools (to handle non-parabolic behavior) with a new measurable-selection result; the set-valued coupling terms are required to be Hausdorff continuous, to take bounded convex closed values, and to satisfy weak continuity with respect to one variable.

Significance. If the central existence theorem holds, the work supplies a general framework for a class of nonautonomous coupled inclusions that includes physically relevant models from mathematical physics. The methodological extension of Vrabie’s technique together with the new selection result offers a reusable tool for similar problems involving mixed parabolic-hyperbolic behavior and set-valued couplings. The explicit hypotheses on the couplings render the statement directly applicable and falsifiable within the cited semigroup and subdifferential framework.

minor comments (3)
  1. Abstract, line 5: 'accomodate' is a typographical error and should read 'accommodate'.
  2. Introduction: the statement that the new measurable-selection result is required for the combination of the extended Vrabie approach and semigroup tools would benefit from an explicit forward reference to the section or theorem where this result is proved and stated.
  3. The abstract lists the hypotheses on the set-valued couplings but does not indicate where these hypotheses are formally labeled (e.g., (H1)–(H3)); adding such labels in the main text would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, which correctly identifies the main result on global existence for partially nonautonomous coupled evolution inclusions and the extension of Vrabie et al.'s approach via semigroup methods and a new measurable selection result. The significance assessment is also appreciated. The recommendation for minor revision is noted. No specific major comments appear in the report, so we have no point-by-point rebuttals to provide.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper establishes an existence result for global solutions of coupled partially nonautonomous evolution inclusions by extending Vrabie's method with standard semigroup theory and a new measurable-selection theorem. The required hypotheses on the set-valued coupling (Hausdorff continuity, bounded convex closed values, weak continuity in one variable) are stated explicitly as the conditions under which the combination of these tools closes the argument. No derivation step reduces the target existence statement to a fitted parameter, a self-definitional relation, or a load-bearing self-citation; the central claim remains an independent application of external, verifiable mathematical machinery to the stated nonautonomous system.

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

The existence proof rests on background results from semigroup theory for compact resolvent generators and on a new measurable selection theorem whose details are not supplied in the abstract; no free parameters or invented physical entities appear.

assumptions (2)
  • standard math Existence of a compact resolvent semigroup generator for the Cauchy problem component
    Invoked to handle the first part of the coupled system; standard in the theory of evolution equations.
  • domain assumption Subdifferential of a real potential generates an evolution equation
    Used for the second component; common in variational inequalities and monotone operator theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonautonomous systems of evolution inclusions." pith.science (2026). https://pith.science/paper/26HGOOXP

@misc{pith2026260519525,
  author       = {Pith},
  title        = {Pith review of: Nonautonomous systems of evolution inclusions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/26HGOOXP}},
  note         = {Machine review of arXiv:2605.19525}
}
read the original abstract

We prove the existence of global solutions for some coupled systems of partially nonautonomous evolution inclusions comprised of a Cauchy problem with a compact resolvent semigroup generator and an evolution equation governed by a subdifferential of a real potential. Our system in particular includes nonautonomous generalized Schr\"odinger-Debye systems of inclusions with variable exponents, but extends to hyperbolic-parabolic systems of inclusions in particular to Maxwell-parabolic systems of inclusions. Methodologically, we extend an approach of Vrabie et al. to the nonautonomous case and make use of standard semigroup tools to accomodate non-parabolic behaviour of solutions paired with a new existence result for measurable selections. The combination of the latter two requires the set-valued coupling terms to be Hausdorff-continuous, to take bounded, convex and closed values, and to satisfy weak continuity with respect to one variable.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Aubin and A

    J.-P. Aubin and A. Cellina.Differential inclusions. Set-valued maps and viability theory, volume 264 ofGrundlehren Math. Wiss.Springer, Cham, 1984

    work page 1984

  2. [2]

    M. Avci. Ni-Serrin type equations arising from capillarity phenomena with non-standard growth.Bound. Value Probl., 2013:13, 2013. Id/No 55.doi:10.1186/1687-2770-2013-55

    work page doi:10.1186/1687-2770-2013-55 2013

  3. [3]

    Bauer, D

    S. Bauer, D. Pauly, and M. Schomburg. The maxwell compactness property in bounded weak lipschitz domains with mixed boundary conditions.SIAM Journal on Mathematical Analysis, 48(4):2912–2943, 2016.doi:10.1137/16M1065951

    work page doi:10.1137/16m1065951 2016

  4. [4]

    H. H. Bauschke and J. M. Borwein. On projection algorithms for solving convex feasibility problems.SIAM Rev., 38(3):367–426, 1996.doi:10.1137/S0036144593251710

    work page doi:10.1137/s0036144593251710 1996

  5. [5]

    A. Bressan. Differential inclusions and the control of forest fires.J. Differ. Equations, 243(2):179–207, 2007.doi:10.1016/j.jde.2007.03.009

    work page doi:10.1016/j.jde.2007.03.009 2007

  6. [6]

    Brézis.Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert, volume 5 ofNorth-Holland Math

    H. Brézis.Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert, volume 5 ofNorth-Holland Math. Stud.Elsevier, Amsterdam, 1973

    work page 1973

  7. [7]

    Brokate and G

    M. Brokate and G. Kersting.Measure and Integral. Compact Textbooks in Mathematics. Birkhäuser/Springer, Cham, 2015

    work page 2015

  8. [8]

    M. I. Budyko. The effect of solar radiation variations on the climate of the earth.Tellus, 21(5):611–619, 1969.doi:10.1111/j.2153-3490.1969.tb00466.x

    work page doi:10.1111/j.2153-3490.1969.tb00466.x 1969

Show all 47 references
  1. [9]

    Cekic, A

    B. Cekic, A. V. Kalinin, R. A. Mashiyev, and M. Avci.Lp(x)(Ω)-estimates of vector fields and some applications to magnetostatics problems.J. Math. Anal. Appl., 389(2):838–851, 2012. doi:10.1016/j.jmaa.2011.12.029

    2012 doi

  2. [10]

    Y. Chen, S. Levine, and M. Rao. Variable exponent, linear growth functionals in image restoration.SIAM J. Appl. Math., 66(4):1383–1406, 2006.doi:10.1137/050624522

    2006 doi

  3. [11]

    D. L. Cohn.Measure theory.Boston, MA: Birkhäuser, reprinted of the orig. 1980 edition, 1993

    1980

  4. [12]

    J. I. Díaz, J. Hernández, and L. Tello. On the multiplicity of equilibrium solutions to a nonlinear diffusion equation on a manifold arising in climatology.J. Math. Anal. Appl., 216(2):593–613, 1997.doi:10.1006/jmaa.1997.5691

    1997 doi

  5. [13]

    J. I. Díaz, J. Hernández, and L. Tello. Some results about multiplicity and bifurcation of stationary solutions of a reaction diffusion climatological model.RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., 96(3):357–366, 2002

    2002

  6. [14]

    J. I. Díaz, G. Hetzer, and L. Tello. An energy balance climate model with hysteresis.Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 64(9):2053–2074, 2006.doi:10.1016/ j.na.2005.07.038

  7. [15]

    J. I. Diaz and E. Schiavi. On a degenerate parabolic/hyperbolic system in glaciology giving rise to a free boundary.Nonlinear Anal., Theory Methods Appl., 38(5):649–673, 1999.doi: 10.1016/S0362-546X(99)00101-7

    1999 doi

  8. [16]

    J. I. Díaz and I. I. Vrabie. Existence for reaction diffusion systems. A compactness method approach.J. Math. Anal. Appl., 188(2):521–540, 1994.doi:10.1006/jmaa.1994.1443

    1994 doi

  9. [17]

    Diening, P

    L. Diening, P. Harjulehto, P. Hästö, and M. Růžička.Lebesgue and Sobolev spaces with variable exponents, volume 2017 ofLect. Notes Math.Berlin: Springer, 2011.doi:10.1007/ 978-3-642-18363-8. 36 B. AIGNER, J. SIMSEN, AND M. WAURICK

    2017

  10. [18]

    Dieudonné

    J. Dieudonné. Foundations of modern analysis. Enlarged and corrected printing. New York- London: Academic Press. xv, 387 p. (1969)., 1969

    1969

  11. [19]

    Engel and R

    K.-J. Engel and R. Nagel.One-parameter semigroups for linear evolution equations, volume 194 ofGrad. Texts Math.Berlin: Springer, 2000.doi:10.1007/b97696

    doi

  12. [20]

    Feireisl and J

    E. Feireisl and J. Norbury. Some existence, uniqueness and nonuniqueness theorems for solutions of parabolic equations with discontinuous nonlinearities.Proc. R. Soc. Edinb., Sect. A, Math., 119(1-2):1–17, 1991.doi:10.1017/S0308210500028262

    1991 doi

  13. [21]

    Guillaume and A

    S. Guillaume and A. Syam. On a time-dependent subdifferential evolution inclusion with a nonconvex upper-semicontinuous perturbation.Electron. J. Qual. Theory Differ. Equ., 2005:22, 2005. Id/No 11.doi:10.14232/ejqtde.2005.1.11

    2005 doi

  14. [22]

    Z. Guo, Q. Liu, J. Sun, and B. Wu. Reaction-diffusion systems withp(x)-growth for image denoising.Nonlinear Anal., Real World Appl., 12(5):2904–2918, 2011.doi:10.1016/j.nonrwa. 2011.04.015

    2011 doi

  15. [23]

    Hausdorff

    F. Hausdorff. Set theory. Translated from the German by John R. Aumann et al. New York: Chelsea Publishing Company., 1957

    1957

  16. [24]

    Hu and N

    S. Hu and N. S. Papageorgiou.Time-dependent subdifferential evolution inclusions and optimal control, volume 632 ofMem. Am. Math. Soc.Providence, RI: American Mathematical Society (AMS), 1998.doi:10.1090/memo/0632

    1998 doi

  17. [25]

    Kapustyan, V

    O. Kapustyan, V. Melnik, J. Valero, and V. Yasinsky. Global attractors of multi-valued dynamical systems and evolution equations without uniqueness.K.:Nauk. dumka, 2008

    2008

  18. [26]

    P. E. Kloeden and J. Simsen. Pullback attractors for non-autonomous evolution equations with spatially variable exponents.Commun. Pure Appl. Anal., 13(6):2543–2557, 2014.doi: 10.3934/cpaa.2014.13.2543

    2014 doi

  19. [27]

    P. E. Kloeden, J. Simsen, and M. Stefanello Simsen. Asymptotically autonomous multivalued Cauchy problems with spatially variable exponents.J. Math. Anal. Appl., 445(1):513–531, 2017.doi:10.1016/j.jmaa.2016.08.004

    2017 doi

  20. [28]

    V. S. Melnik and J. Valero. On attractors of multivalued semi-flows and differential inclusions. Set-Valued Anal., 6(1):83–111, 1998.doi:10.1023/A:1008608431399

    1998 doi

  21. [29]

    V. S. Melnik and J. Valero. On global attractors of multivalued semiprocesses and nonautonomous evolution inclusions.Set-Valued Anal., 8(4):375–403, 2000.doi:10.1023/A: 1026514727329

    doi

  22. [30]

    Nogueira and J

    M. Nogueira and J. Simsen. A generalized Schrödinger-Debye coupled system.J. Elliptic Parabol. Equ., 10(2):1217–1234, 2024.doi:10.1007/s41808-024-00299-z

    2024 doi

  23. [31]

    N. S. Papageorgiou and F. Papalini. On the structure of the solution set of evolution inclusions with time-dependent subdifferentials.Rend. Semin. Mat. Univ. Padova, 97:163–186, 1997. URL:https://eudml.org/doc/108420

    1997

  24. [32]

    Pauly and N

    D. Pauly and N. Skrepek. A compactness result for the div-curl system with inhomogeneous mixed boundary conditions for bounded lipschitz domains and some applications.Annali dell’Universita’ di Ferrara, 69(2):505–519, 2023.doi:10.1007/s11565-022-00444-3

    2023 doi

  25. [33]

    Pauly and M

    D. Pauly and M. Waurick. The index of some mixed order Dirac type operators and gen- eralised Dirichlet-Neumann tensor fields.Math. Z., 301(2):1739–1819, 2022.doi:10.1007/ s00209-021-02947-9

    2022

  26. [34]

    Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44 ofAppl

    A. Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44 ofAppl. Math. Sci.Springer, Cham, 1983.doi:10.1007/978-1-4612-5561-1

    1983 doi

  27. [35]

    R. Picard. On the boundary value problems of electro- and magnetostatics.Proc. R. Soc. Edinb., Sect. A, Math., 92:165–174, 1982.doi:10.1017/S0308210500020023

    1982 doi

  28. [36]

    R. Picard. An elementary proof for a compact imbedding result in generalized electromagnetic theory.Math. Z., 187:151–164, 1984.doi:10.1007/BF01161700

    1984 doi

  29. [37]

    K. R. Rajagopal and M. R˘ užička. Mathematical modeling of electrorheological materials. Contin. Mech. Thermodyn., 13(1):59–78, 2001.doi:10.1007/s001610100034

    2001 doi

  30. [38]

    R. T. Rockafellar. Characterization of the subdifferentials of convex functions.Pac. J. Math., 17:497–510, 1966.doi:10.2140/pjm.1966.17.497

    1966 doi

  31. [39]

    R˘ užička

    M. R˘ užička. Electrorheological fluids: Modeling and mathematical theory.RIMS Kokyuroku, 1146:16–38, 2000

    2000

  32. [40]

    Seifert, S

    C. Seifert, S. Trostorff, and M. Waurick.Evolutionary equations. Picard’s theorem for partial differential equations, and applications, volume 287 ofOper. Theory: Adv. Appl.Cham: Birkhäuser, 2022.doi:10.1007/978-3-030-89397-2

    2022 doi

  33. [41]

    J. Simsen. Evolution equations on time-dependent Lebesgue spaces with variable exponents. Electron. J. Differ. Equ., 2023:13, 2023. Id/No 50.doi:10.58997/ejde.2023.50

    2023 doi

  34. [42]

    Simsen and P

    J. Simsen and P. Wittbold. Compactness results with applications for nonautonomous coupled inclusions.J. Math. Anal. Appl., 479(1):426–449, 2019.doi:10.1016/j.jmaa.2019.06.033

    2019 doi

  35. [43]

    D. Terman. A free boundary problem arising from a bistable reaction-diffusion equation.SIAM J. Math. Anal., 14:1107–1129, 1983.doi:10.1137/0514086. NONAUTONOMOUS SYSTEMS OF EVOLUTION INCLUSIONS 37

    1983 doi

  36. [44]

    D. Terman. A free boundary arising from a model for nerve conduction.J. Differ. Equations, 58:345–363, 1985.doi:10.1016/0022-0396(85)90004-X

    1985 doi

  37. [45]

    A. A. Tolstonogov. Solutions of evolution inclusions. I.Sib. Math. J., 33(3):161–174, 1992. doi:10.1007/BF00970899

    1992 doi

  38. [46]

    I. I. Vrabie.Compactness methods for nonlinear evolutions., volume 75 ofPitman Monogr. Surv. Pure Appl. Math.Harlow, Essex: Longman Group; New York, NY: Wiley & Sons, 2nd ed. edition, 1995

    1995

  39. [47]

    Yotsutani

    S. Yotsutani. Evolution equations associated with the subdifferentials.J. Math. Soc. Japan, 31:623–646, 1979.doi:10.2969/jmsj/03140623. (B. Aigner)Institut für Angew andte Analysis, TU Bergakademie Freiberg, Prüfer- str. 9, 09599 Freiberg, Germany Email address, B. Aigner:bern...

    1979 doi

Pith tools

Reviewed May 20, 2026 · model on record in the stance chip above.