Abstract:We consider a $d$-dimensional branching particle system in a random environment. Suppose that the initial measures converge weakly to a measure with bounded density. Under the Mytnik-Sturm branching mechanism, we prove that the corresponding empirical measure $X_t^n$ converges weakly in the Skorohod space $D([0,T];M_F(\mathbb{R}^d))$ and the limit has a density $u_t(x)$, where $M_F(\mathbb{R}^d)$ is the space of finite measures on $\mathbb{R}^d$. We also derive a stochastic partial differential equation $u_t(x)$ satisfies. By using the techniques of Malliavin calculus, we prove that $u_t(x)$ is jointly Hölder continuous in time with exponent $\frac{1}{2}-\epsilon$ and in space with exponent $1-\epsilon$ for any $\epsilon>0$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the limit process of the empirical measure of the multidimensional branching particle system has a density in a random environment, and whether this density satisfies a certain stochastic partial differential equation (SPDE), and whether this density has Hölder continuity in time and space.
Specifically, the paper mainly focuses on the following points:
1. **Weak convergence of the empirical measure**: It is proved that when the initial measure weakly converges to a measure with a bounded density, the empirical measure \( X_n \) of the particle system weakly converges to a limit process \( X \) in the Skorohod space \( D([0, T]; MF(\mathbb{R}^d)) \), and the limit process \( X_t \) has a density \( u_t(x) \) almost everywhere.
2. **SPDE satisfied by the density of the limit process**: The stochastic partial differential equation satisfied by the density \( u_t(x) \) is derived:
\[
u_t(x) = \mu(x) + \int_0^t A^* u_s(x) \, ds - \sum_{i,j = 1}^d \int_0^t \int_{\mathbb{R}^d} \frac{\partial}{\partial x_i} \left[ h_{ij}(y - x) u_s(x) \right] W_j(ds, dy)+ \int_0^t u_s(x) V(ds, dx)
\]
where \( A^* \) is the adjoint operator of the generator \( A \), and \( W \) and \( V \) are the space - time white noise and the one - dimensional Gaussian random field respectively.
3. **Hölder continuity**: Using Malliavin calculus techniques, it is proved that the density \( u_t(x) \) is jointly Hölder continuous almost everywhere in time and space, with the Hölder exponent in time being \( \frac{1}{2}-\epsilon \) and the Hölder exponent in space being \( 1 - \epsilon \) for any \( \epsilon>0 \).
These results not only provide an in - depth understanding of the behavior of the multidimensional branching particle system in a random environment, but also lay a theoretical foundation for further research on the properties and applications of such systems.