Existence and qualitative theory for nonlinear accretive evolutions with Carathéodory forcing

Dieter Bothe

Abstract

Let $A$ be $m$-accretive in a real Banach space $X$. Given closed sets $K(t)\subset X$, we develop an existence theory for mild solutions of the constrained problem \[ u'(t)+Au(t)\ni f(t,u(t)), \qquad u(t)\in K_A(t):=K(t)\cap\overline{D(A)}, \] where the forcing is Carathéodory on the effective tube $K_A$. We also assume joint measurability of $f$ on the moving graph or a Carathéodory extension to a fixed cylinder. Under a linear-growth hypothesis and the corresponding regular- and exceptional-time subtangential conditions, we reduce the problem to a bounded effective tube with a common integrable bound. % A first central result constructs a closed separable resolvent-invariant subspace preserving distances to the moving sets and the subtangential conditions, permitting use of the Scorza--Dragoni property for the reduced forcing. A second central ingredient is a two-level approximation. Mild solutions $u_\varepsilon$ driven by $w_\varepsilon$ are accompanied by auxiliary paths $v_\varepsilon$ and current-time selectors $x_\varepsilon$ satisfying $x_\varepsilon(t)\in K_A(t)$ and $w_\varepsilon(t)=f(t,x_\varepsilon(t))$ for almost every $t$ in a closed regularity set of almost full measure. For every $t$ there is also $σ_\varepsilon(t)\in[(t-\varepsilon)^+,t]$ with $v_\varepsilon(σ_\varepsilon(t))\in K_A(σ_\varepsilon(t))$. The current-time selectors identify the limiting forcing, while the lagged nodes guarantee viability. % This yields well-posedness under time-dependent constraints for such forcings $f$ when they are locally Lipschitz in the state variable. Further viability results follow under various compactness conditions. Application of the abstract viability theory yields comparison principles, nonautonomous Lyapunov pairs, periodic solutions, and time-dependent bounds for abstract reaction--diffusion systems.

Disclosure

“Statements and Declarations Competing interests. The author declares no competing interests. Data availability. No data were generated or analysed in this study. Use of generative AI. OpenAI’s ChatGPT was used for language and structural editing and for auxiliary consistency checks. The author reviewed and verified the resulting text and assumes full responsibility for its content. References [1] S. Adly, A. Hantoute, B.T. Nguyen, In”

PDF page 57
Classification
Formatting or typesetting
Multiplier
1
Verified

Structural counts

Pages 60 pdf
Theorems 11 source
Lemmas 16 source
Propositions 9 source
Corollaries 10 source
Definitions 6 source
Displayed equations 242 source
Bibliography entries 71 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file nonlinear_evolutions_arxiv.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.