Stochastic and Deterministic Reaction-Diffusion Equations

Basic Information

• Paper ID: 2510.10842
• Title: Stochastic and deterministic reaction-diffusion equations
• Authors: Davide A. Bignamini (Università degli studi dell'Insubria), Paolo De Fazio (Università degli studi dell'Insubria)
• Classification: math.PR (Probability Theory), math.AP (Analysis)
• Submission Date: October 12, 2025
• Paper Link: https://arxiv.org/abs/2510.10842

Abstract

This paper establishes well-posedness for non-autonomous deterministic and stochastic reaction-diffusion equations. For the stochastic problem, spatiotemporal regularity results for non-autonomous stochastic convolutions are also demonstrated.

Research Background and Motivation

Problem Background

This paper investigates well-posedness theory for non-autonomous parabolic partial differential equations, focusing on the following two classes:

1. Deterministic Nonlinear Reaction-Diffusion Equations: u'(t) = A(t)u(t) + F(t, u(t)), \quad t \in (s, T] \\ u(s) = x \in E \end{cases}$$
2. Stochastic Reaction-Diffusion Equations: dX(t) = [A(t)X(t) + F(t,X(t))]dt + B(t)dW(t), \quad t \in (s, T] \\ X(s) = x \in H \end{cases}$$

Research Motivation

1. Theoretical Necessity: Evolution operator theory in the non-autonomous case is far less mature than in the autonomous case, lacking general theory analogous to the Hille-Yosida theorem
2. Application Significance: Reaction-diffusion equations have widespread applications in biology, chemistry, physics, and related fields
3. Technical Challenges: Literature on non-autonomous stochastic partial differential equations is relatively limited, particularly for cases allowing polynomial growth in nonlinear terms

Limitations of Existing Methods

• Existing results on non-autonomous stochastic equations typically require F to be continuous from H to H or impose Lipschitz-type conditions that do not allow polynomial growth
• Explicit criteria for spatiotemporal regularity of stochastic convolution processes in the non-autonomous setting are lacking

Core Contributions

1. Well-Posedness of Deterministic Equations: Under monotonicity assumptions, establishes existence, uniqueness, and a priori estimates for mild solutions of non-autonomous semilinear reaction-diffusion equations
2. Well-Posedness of Stochastic Equations: Develops existence and uniqueness theory for generalized mild solutions of non-autonomous stochastic reaction-diffusion equations
3. Stochastic Convolution Regularity: Provides explicit criteria for spatiotemporal regularity of non-autonomous stochastic convolution processes, improving upon known results in the autonomous case
4. Concrete Applications: Presents a complete theoretical framework for reaction-diffusion type equations, encompassing polynomial nonlinear terms

Methodology Details

Problem Formulation

Study non-autonomous evolution equations on abstract Banach spaces E (continuously embedded in Hilbert space H):

• A(t): Time-dependent family of linear operators generating analytic semigroups
• F(t,·): Nonlinear reaction term satisfying monotonicity conditions
• B(t): Coefficient operator for the stochastic term

Core Technical Framework

1. Yosida Approximation Method

For m-dissipative operators F(t,·) - ζI, construct Yosida approximations: $F_k(t,x) := F(t, J_k(t,x))$ where $J_k(t,x)$ satisfies: $J_k(t,x) - \frac{1}{k}[F(t,J_k(t,x)) - ζJ_k(t,x)] = x$

2. Evolution Operator Theory

Utilize Acquistapace-Terreni theory to construct evolution operators $\{U(t,s)\}_{(s,t)\in\Delta}$ satisfying:

• $U(t,t) = I$
• $U(t,s) = U(t,r)U(r,s)$ for $s \leq r \leq t$
• Strong continuity and regularity estimates

3. Stochastic Convolution Analysis

The stochastic convolution process is defined as: $Z_s(t) := \int_s^t U(t,r)B(r)dW(r)$

Utilizing the factorization formula: $Z_s(t) = \frac{\sin(\pi\alpha)}{\pi}\int_s^t U(t,\sigma)(t-\sigma)^{\alpha-1}Y(\sigma)d\sigma$

Technical Innovations

1. Unified Framework: Incorporates both deterministic and stochastic cases into a unified theoretical framework
2. Weakened Assumptions: Allows F to exhibit polynomial growth, extending the scope of applicability
3. Improved Estimates: Provides superior conditions for stochastic convolution regularity compared to the autonomous case
4. Non-Autonomous Treatment: Systematically addresses technical difficulties arising from time-dependence

Main Theoretical Results

Well-Posedness of Deterministic Equations (Theorem 3.9)

Assumptions:

• E is a separable Banach space continuously embedded in Hilbert space H
• F(t,·) - ζI is m-dissipative
• A(t) generates analytic semigroups satisfying Acquistapace-Terreni conditions

Conclusion: Equation (3.2) admits a unique mild solution $y_{s,x} \in C([s,T],H) \cap C_b((s,T],E)$ satisfying: $\|y_{s,x}(t)\|_H \leq e^{\zeta(t-s)}\|x\|_H + 3\int_s^t e^{\zeta(t-r)}[\|F(r,f(r))\|_H + \max\{0,\zeta\}\|f(r)\|_H]dr$

Well-Posedness of Stochastic Equations (Theorems 4.3, 4.5)

Assumptions:

• The deterministic part satisfies the above conditions
• The stochastic convolution $Z_s(t) \in C^p([s,T];E)$ for some $p \geq 2$

Conclusions:

1. For $x \in E$: There exists a unique mild solution $X_{s,x}(t) \in C^p([s,T];H) \cap C^p((s,T];E)$
2. For $x \in H$: There exists a unique generalized mild solution satisfying continuity and estimates

Stochastic Convolution Regularity (Corollary 5.5)

Condition: $\sup_{t \in [0,T]} \|B(t)\|_{L(L^2(O); W^{2\gamma,2}(O))} < +\infty$, where $\gamma > \frac{d}{4} - \frac{1}{2}$

Conclusion: The stochastic convolution process $Z_s(t) \in C^p([s,T], C(\overline{O}))$ for all $p \geq 2$

Concrete Application Examples

Reaction-Diffusion Equations (Theorem 5.1)

Consider the equation on bounded domain $O \subset \mathbb{R}^d$: $A(t)\phi(\xi) = \sum_{i,j=1}^d a_{ij}(t,\xi)D^2_{ij}\phi(\xi) + \sum_{i=1}^d a_i(t,\xi)D_i\phi(\xi) + a_0(t,\xi)\phi(\xi)$

Nonlinear term: $F(t,x)(\xi) = -C_{2m+1}(t,\xi)x(\xi)^{2m+1} + \sum_{k=0}^{2m} C_k(t,\xi)x(\xi)^k$

Boundary Conditions: Dirichlet, Neumann, or Robin boundary conditions

Space Selection: $E = C(\overline{O})$ or $E = L^{2(2m+1)}(O)$

Related Work

This paper extends the following classical theories:

• Acquistapace-Terreni's theory of non-autonomous parabolic equations
• Da Prato-Zabczyk's theory of stochastic evolution equations
• Cerrai's work on stochastic reaction-diffusion equations

Main distinctions from existing work:

1. Higher technical difficulty in handling the non-autonomous case
2. Allows polynomial growth in nonlinear terms
3. Improves regularity conditions for stochastic convolutions

Conclusions and Discussion

Main Conclusions

1. Establishes complete well-posedness theory for non-autonomous reaction-diffusion equations (both deterministic and stochastic)
2. Provides optimal conditions for spatiotemporal regularity of stochastic convolutions
3. Furnishes a complete framework for concrete applications

Limitations

1. Requires relatively strong regularity assumptions (e.g., $C^2$ boundaries)
2. Monotonicity conditions restrict the form of nonlinear terms
3. Coefficients of stochastic terms require sufficient smoothness

Future Directions

1. Extension to more general noise (e.g., Lévy noise)
2. Investigation of long-time behavior and invariant measures
3. Development of numerical methods

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides systematic theory for non-autonomous stochastic reaction-diffusion equations
2. Technical Innovation: Skillfully combines Yosida approximation and evolution operator theory
3. Practical Value: Encompasses important application examples
4. Improved Results: Surpasses existing results in stochastic convolution regularity

Weaknesses

1. Strong Assumptions: Requires numerous technical assumptions
2. Application Limitations: Primarily applicable to equations with specific structures
3. Numerical Aspects: Lacks discussion of computational and numerical implementation

Impact

1. Theoretical Contribution: Establishes foundations for non-autonomous stochastic partial differential equation theory
2. Application Prospects: Provides theoretical support for related application domains
3. Technical Value: Developed methods are generalizable to other equation types

Applicable Scenarios

• Population dynamics models in biomathematics
• Chemical reaction-diffusion systems
• Nonlinear diffusion models in financial mathematics
• Non-equilibrium systems in physics

References

The paper cites 43 important references, primarily including:

• 1,2 Classical works by Acquistapace-Terreni on non-autonomous parabolic equations
• 10,21 Monographs by Da Prato and collaborators on stochastic evolution equations
• 13 Da Prato's monograph on Kolmogorov equations for stochastic partial differential equations
• 22 Daners' important work on heat kernel estimates

Overall Assessment: This is a high-quality theoretical mathematics paper that systematically develops well-posedness theory for non-autonomous stochastic reaction-diffusion equations. The technical treatment is rigorous, and the results possess significant theoretical value and application prospects.