Pathwise Uniqueness of the Solutions of Stochastic Heat Equation with Square-root Coefficient

Abstract

White-noise case stochastic heat equation was derived from Dawson-Watanabe superprocess. The pathwise uniqueness of their solutions with non-Lipschitz coefficients has attracted wide attention and in particular, the square-root coefficient case was listed as a long standing open problem in the famous literature (i.e. Perkins \cite{Perkins02} p217.) This short note gives an affirmative answer to this open problem. Our idea is using the $φ_k(x)$ function constructed by Yamada-Watanable to prove that \beqlb \lab{key} \E_μ| X_{t}(z)-Y_{t}(z) | = \lim_{k \ra \infty} \E_μ|\int_{\r}\frac{1}{\sqrt{ε_k}} ρ_{ε_k}(z-x)[ X_{t}(x)-Y_{t}(x)]dx |=0 . \eeqlb However, $\frac{1}{\sqrt{ε_k}} ρ_{ε_k}(x)=p_{ε_k}(x)$, the stable kernel, is not square-integrable uniformly in $k$ and we cannot directly use the heat kernel or stable kernel convolution transformation. This forces us to go a new way in which we have used the linear and reciprocal linear properties of $φ_k$ and $φ^{\prime \prime}_k$, respectively, making a $ρ_{ε_k}$ convolution transformation first, then, taking expectation and multiplying singularity factor $\frac{1}{\sqrt{ε_k}}$ and finally letting $k \ra \infty$ to estimate and derive (\ref{key}). In this way, we have avoided the non-uniform square integrability of the stochastic integral terms which involve the singularity. The same idea also can be used to prove the pathwise uniqueness of the nonnegative solutions of stochastic heat equation with $α$ coefficients ($1/2 \leq α$) since by a same idea we can construct the $φ_k(x)$ functions with $1/2 \leq α$.