Robert C. Dalang,Marta Sanz-Solé
Abstract:We consider an SPDE driven by a parabolic second order partial differential operator with a nonlinear random external forcing defined by a Gaussian noise that is white in time and has a spatially homogeneous covariance. We prove existence and uniqueness of a random field solution to this SPDE. Our main result concerns the space-time sample path regularity of its solution.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly studies the sample path properties of parabolic stochastic partial differential equations (SPDEs) with non - constant coefficients. Specifically, the author focuses on the inhomogeneous SPDE driven by Gaussian noise:
\[ Lu(t,x) = \sigma(t,x,u(t,x))\dot{W}(t,x) + b(t,x,u(t,x)), \]
where \( L \) is a second - order parabolic partial differential operator, defined as:
\[ L = \frac{\partial}{\partial t}-\sum_{i,j = 1}^k a_{i,j}(t,x)\frac{\partial^2}{\partial x_i\partial x_j}+\sum_{i = 1}^k b_i(t,x)\frac{\partial}{\partial x_i}+c(t,x), \]
and \( \dot{W}(t,x) \) is Gaussian noise that is white in time and uniformly correlated in space.
### Main research content
1. **Existence and uniqueness**:
- Proved that the above - mentioned SPDE has a unique random field solution.
- Used the stochastic integral theory and Picard iteration method to construct the existence and uniqueness of the solution.
2. **Sample path regularity**:
- Studied the space - time regularity of the sample paths of the solution of this SPDE.
- Utilized the factorization method introduced by Da Prato, Kwapień and Zabczyk to prove the optimal Hölder continuity of the solution.
### Specific problem description
- **Background and motivation**: By introducing a more general covariance structure and a more complex partial differential operator, the author extends and improves previous research results. In particular, they consider a second - order partial differential operator with non - constant coefficients, and the noise has uniform correlation in space.
- **Technical challenges**: To deal with these complexities, the author needs to ensure that the fundamental solution (Green function) satisfies certain conditions, such as Gaussian boundary estimates and semigroup properties. In addition, assumptions need to be made on the covariance measure of the noise to ensure the existence and regularity of the solution.
### Conclusion
The main contribution of this paper is to provide a strict proof of the existence, uniqueness and sample path regularity of the solution of the parabolic SPDE with non - constant coefficients. These results are of great significance for understanding the behavior of stochastic partial differential equations and their applications in physics, engineering and finance.