pith. sign in

arxiv: 2605.19525 · v1 · pith:26HGOOXPnew · submitted 2026-05-19 · 🧮 math.AP

Nonautonomous systems of evolution inclusions

Bernhard Aigner , Jacson Simsen , Marcus Waurick This is my paper

Pith reviewed 2026-05-20 04:20 UTC · model grok-4.3

classification 🧮 math.AP
keywords evolution inclusionsnonautonomous systemsglobal solutionssemigroup theorymeasurable selectionSchrödinger-Debye systemsMaxwell-parabolic systemssubdifferential evolution
0
0 comments X

The pith

Global solutions exist for coupled partially nonautonomous evolution inclusion systems when the coupling terms meet specific continuity and convexity conditions.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

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.

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.

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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5669 in / 1334 out tokens · 30858 ms · 2026-05-20T04:20:36.781982+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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

  9. [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

    work page doi:10.1016/j.jmaa.2011.12.029 2012

  10. [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

    work page doi:10.1137/050624522 2006

  11. [11]

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

    work page 1980

  12. [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

    work page doi:10.1006/jmaa.1997.5691 1997

  13. [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

    work page 2002

  14. [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

    work page 2053

  15. [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

    work page doi:10.1016/s0362-546x(99)00101-7 1999

  16. [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

    work page doi:10.1006/jmaa.1994.1443 1994

  17. [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

    work page 2017

  18. [18]

    Dieudonné

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

    work page 1969

  19. [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

    work page doi:10.1007/b97696 2000

  20. [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

    work page doi:10.1017/s0308210500028262 1991

  21. [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

    work page doi:10.14232/ejqtde.2005.1.11 2005

  22. [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

    work page doi:10.1016/j.nonrwa 2011

  23. [23]

    Hausdorff

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

    work page 1957

  24. [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

    work page doi:10.1090/memo/0632 1998

  25. [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

    work page 2008

  26. [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

    work page doi:10.3934/cpaa.2014.13.2543 2014

  27. [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

    work page doi:10.1016/j.jmaa.2016.08.004 2017

  28. [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

    work page doi:10.1023/a:1008608431399 1998

  29. [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

    work page doi:10.1023/a: 2000

  30. [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

    work page doi:10.1007/s41808-024-00299-z 2024

  31. [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

    work page 1997

  32. [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

    work page doi:10.1007/s11565-022-00444-3 2023

  33. [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

    work page 2022

  34. [34]

    doi:10.1007/978-1-4612-5561-1 , publisher =

    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

    work page doi:10.1007/978-1-4612-5561-1 1983

  35. [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

    work page doi:10.1017/s0308210500020023 1982

  36. [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

    work page doi:10.1007/bf01161700 1984

  37. [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

    work page doi:10.1007/s001610100034 2001

  38. [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

    work page doi:10.2140/pjm.1966.17.497 1966

  39. [39]

    R˘ užička

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

    work page 2000

  40. [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

    work page doi:10.1007/978-3-030-89397-2 2022

  41. [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

    work page doi:10.58997/ejde.2023.50 2023

  42. [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

    work page doi:10.1016/j.jmaa.2019.06.033 2019

  43. [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

    work page doi:10.1137/0514086 1983

  44. [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

    work page doi:10.1016/0022-0396(85)90004-x 1985

  45. [45]

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

    work page doi:10.1007/bf00970899 1992

  46. [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

    work page 1995

  47. [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:bernhard.aigner@doktorand.tu-freiberg.de (J. Simsen)IMC, Universidade Federal de It ...

    work page doi:10.2969/jmsj/03140623 1979