Stochastic De Giorgi Iteration and Regularity of Stochastic Partial Differential Equation
Extracted source text ยท arXiv 1312.3311
% This version 2014/05/12
\documentclass[11pt]{amsart}
\usepackage{amsmath, amssymb, mathrsfs}
\usepackage{mathpazo}
\usepackage{color}
\def\lbr{\left\{}
\def\rbr{\right\}}
\def\msg{{\mathscr G}}
\def\msk{{\mathscr K}}
\def\msb{{\mathscr B}}
\def\msd{{\mathscr D}}
\def\mso{{\mathscr O}}
\def\msa{{\mathscr A}}
\def\mss{{\mathscr S}}
\def\msf{{\mathscr F}}
\def\msh{{\mathscr H}}
\def\msl{{\mathscr L}}
\def\msp{{\mathscr P}}
\def\msc{{\mathscr C}}
\def\mst{{\mathscr T}}
\def\msm{{\mathscr M}}
\def\msi{{\mathscr I}}
\def\msn{{\mathscr N}}
\def\cE{{\mathcal E}}
\def\cF{{\mathcal F}}
\def\cB{{\mathcal B}}
\def\cC{{\mathcal C}}
\def\cH{{\mathcal H}}
\def\cP{{\mathcal P}}
\def\cN{{\mathcal N}}
\def\cR{{\mathcal R}}
\def\cI{{\mathcal I}}
\def\cG{{\mathcal G}}
\def\cA{{\mathcal A}}
\def\mh{{\mathbb H}}
\def\mq{{\mathbb Q}}
\def\me{{\mathbb E}}
\def\mb{{\mathbb B}}
\def\mr{{\mathbb R}}
\def\mm{{\mathbb M}}
\def\mn{{\mathbb N}}
\def\mz{{\mathbb Z}}
\def\ms{{\mathbb S}}
\def\mp{{\mathbb P}}
\def\mi{{\mathbb I}}
\newcommand{\rf}[1]{(\ref{#1})}
\def\lnfrac#1#2{\raise.7ex \hbox{\Small $#1$}%%
\kern-.15em/\kern-.15em \lower.2ex \hbox{\Small $#2$}}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{cor}[theorem]{Corollary}
\newtheorem{lem}[theorem]{Lemma}
\newtheorem{prop}[theorem]{Proposition}
\newtheorem{defn}[theorem]{Definition}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
\pagenumbering{arabic}
%\newcounter{chsec}
\def\thechsec{{\thechapter}.{\thesection}}
\numberwithin{equation}{section}
%\numberwithin{theorem}{chsec}
%comment out next line if not want chapter numbers
%\numberwithin{section}{chapter}
%\numberwithin{equation}{chapter}
\usepackage{amsmath,amssymb,amscd,amsthm}
% Page Layout
\usepackage{fullpage}
% Paragraph
%\usepackage{parskip}
%\setlength{\parskip}{0.2cm plus2mm minus1mm}
%\setlength{\parindent}{0pt}
% for commutative diagram
\usepackage[all,cmtip]{xy}
\usepackage[all]{xypic}
% Cite
\usepackage{cite}
% Graphics
\usepackage{graphicx}
\DeclareGraphicsRule{.JPG}{eps}{*}{`jpeg2ps #1}
% Fonts
\usepackage{mathrsfs}
% See the ``Article customise'' template for come common customisations
% THEOREMS -------------------------------------------------------
%.............................................................................................................................................
\newcommand{\smp}[1]{\left(#1 \right)}
\newcommand{\midp}[1]{\left[#1 \right]}
\newcommand{\bigp}[1]{\left\{#1 \right\}}
% Set logic
\newcommand{\scr}[1]{\mathscr{#1}}
% Basic Number System
\newcommand{\C}{\mathbb{C}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
% Linear Algebra ...............................................
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\Herm}{Herm}
\DeclareMathOperator{\Mat}{Mat}
\DeclareMathOperator{\SO}{SO}
\DeclareMathOperator{\ci}{\sqrt{-1}}
\DeclareMathOperator{\tr}{tr}
\newcommand{\cK}{\mathcal{K}}
\newcommand{\E}{\mathcal{E}}
\newcommand{\gl}{\mathfrak{gl}}
% Elliptic Operators and viscosity...............................................
\DeclareMathOperator{\F}{\mathcal{F}}
\DeclareMathOperator{\eP}{\mathcal{P}}
\DeclareMathOperator{\M}{\mathcal{M}}
\newcommand{\subsoln}{\underline{\mathcal{S}}}
% Complex ...............................................
\DeclareMathOperator{\PSH}{PSH}
% Differential Riemmannian Geometry ..............................................................................................
\DeclareMathOperator{\vol}{vol}
\DeclareMathOperator{\D}{\mathcal{D}}
\DeclareMathOperator{\Ric}{Ric}
%ANALYSIS
%% Derivatives ......
\newcommand{\pp}[2]{\frac{\partial #1}{ \partial #2}}
\newcommand{\dd}[2]{\frac{ \mathrm{d}#1}{\mathrm{d}#2}}
\newcommand{\pb}{\bar{\partial}}
\newcommand{\ppb}{\partial \bar{\partial}}
%% Differential Operator .....
\newcommand{\grad}[1]{\mathrm{grad}{\;#1}}
\newcommand{\divg}[1]{\mathrm{div}{\; #1}}
%% Norms
\providecommand{\abs}[1]{\left| #1\right|}
\providecommand{\norm}[1]{\left\lVert#1\right\rVert}
\newcommand{\dist}[1]{\mathrm{dist}(#1)}
\newcommand{\diam}[1]{\mathrm{diam}(#1)}
\DeclareMathOperator*{\osc}{osc}
%% Function Relates
\newcommand{\supp}[1]{\mathrm{supp}{(#1)}}
%Additional New Commands......................................................................................................
\usepackage{esint}
\newcommand{\Hau}{\mathcal{H}}
\newcommand{\Leb}{\mathcal{L}}
\newcommand{\El}{\mathcal{E}}
\newcommand{\wt}[1]{\widetilde{#1}}
\newcommand{\proj}{\mathrm{p}}
\newcommand{\Ep}{\mathbb{E}}
\newcommand{\T}{\mathbb{T}}
\newcommand{\sa}[1]{\mathscr{#1}}
\newcommand{\ip}[1]{\langle #1 \rangle}
%.............................................................................................................................................
\title{Stochastic De Giorgi Iteration and Regularity of stochastic partial differential equations}
\author{Elton P. Hsu, Yu Wang and Zhenan Wang}
\address{}
\email{}
%\date{} % delete this line to display the current date
%%% BEGIN DOCUMENT..............................................................................................................................
\begin{document}
%Abstract..............................................................................................................
\begin{abstract}
Under general conditions we show that the solution of a stochastic parabolic partial differential equation of the form
\[
\partial_t u = \divg ( A \nabla u) + f (t,x, u) + g_i (t,x, u) \dot{w}^i_t
\]
is almost surely H\"older continuous in both space and time variables.
\end{abstract}
\maketitle
\section{Introduction}
Stochastic partial differential equations (SPDEs) arise in many pure and applied sciences. Regularity of solutions is of central importance for theoretical development as well as for numerical simulations. For linear equations, $W^{k,2}$-theory has been well developed (see Pardoux~\cite{Par07} and Rozovskii~\cite{Roz90}). A more general $W^{2,p}$-theory has been established by Krylov~\cite{Kry96}. Such equations can also be studied from a semigroup point of view (Brz\`ezniak, van Neerven, Veraar and Weis~\cite{BNVW08} and Da Prato and Zabczyk~\cite{PZ92}). Results concerning nonlinear equations can be found in Debussche, De Moor and Hofmanova~\cite{DMH14} and Pardoux~\cite{Par75}. In particular, many examples of quasilinear SPDEs with measurable coefficients can be found in the survey monograph edited by Carmona and Rozovskii~\cite{Survey}. Although an obviously important question in applications, regularity of solutions of quasilinear SPDEs does not seem to have been adequately addressed in the literature.
In this paper we consider the following type of quasilinear SPDEs on $\R^n$:
\begin{equation}
\label{basiceqn}
\partial_t u = \divg ( A \nabla u) + f (t,x, u) + g_i (t,x, u) \dot{w}^i_t,
\end{equation}
where $\{w^i\}$ is a sequence of independent standard Brownian motions on a filtered probability space $(\Omega, \msf_*, \mp)$ and $g = \{g_i\}$ is an $\ell^2$-valued function such that for each fixed $x$ and an $\msf_* = \lbr\msf_t\rbr$-progressively measurable process $h$, the process $g(t,x,h_t)$ is also progressively measurable. We will show that almost surely a (stochastically strong) solution with $L^2$-initial data is H\"older continuous in both space and time variables. The basic assumptions on the SPDE \eqref{basiceqn} are as follows:
(1) uniform ellipticity: $A(t, x; \omega)$ is $\msf_*$-progressively measurable and uniformly elliptic, i.e., there is a positive constant $\lambda$ such that
$$\lambda I\le A(t, x; \omega )\le \lambda^{-1}I, \quad \forall (t,x,\omega) \in \R^+\times \R^n \times \Omega .$$
(2) linear growth: there exist a nonnegative function $K\in L^2(\mr^n) \cap L^{\infty} (\R^n)$
and a positive constant $ \Lambda $ such that
\[
\abs{f(t,x,u)}+ \abs{g (t,x , u)}_{\ell^2} \leq K (x)+ \Lambda \abs{u} ,\quad \forall (t,x, u ) \in \R^+ \times \R^n \times\mr.
\]
We emphasize that no further conditions concerning the continuity $A, f$ or $g$ are imposed.
A function $u = u(t,x;\omega)$ is said to be a (stochastically strong) solution of \rf{basiceqn} if
$u\in C ( \mr_+; W^{1,2}(\mr^n))$ almost surely and satisfies the corresponding partial differential equation (PDE) in the sense that
\[
\ip{u (t) , \varphi} = \ip{u (0) , \varphi}- \int_0^t \ip{ A\nabla u (s), \nabla \varphi } \;ds + \int_{0}^t \ip{ f(u (s) ), \varphi }\;ds +\int_0^t \ip{ g_i(u(s) ) , \varphi}\,dw_s^i
\]
for all $\varphi \in C_{c}^{\infty} (\R^n)$. Here $\langle\cdot, \cdot\rangle$ denotes the standard inner product on $L^2(\mr^n)$. The main result of the current work is the following regularity theorem.
\bigskip
\noindent{\bf Theorem.} {\it
Let $u$ be a solution of the SPDE \rf{basiceqn} with a (deterministic) initial condition $u (0) =u_0\in L^2(\mr^n)$. Then there exists a positive exponent $\alpha=\alpha (n, \lambda, \Lambda)$ such that for all $T>0$ the solution $u \in C^{\alpha} ([T,2T] \times \R^n)$ almost surely. Furthermore, for every $p>0$, there is a constant $C=C (n, \lambda, \Lambda, T, p)$ such that
\[
\me \norm{u}_{C^{\alpha} ([T,2T] \times \R^n) }^p \leq C\smp{\norm{u_0}_{L^2(\mr^n)} +\Vert K\Vert_{L^2(\mr^n)} + \Vert K\Vert_{L^\infty(\mr^n)}}^p.
\]
}
%\end{theorem}
\begin{remark}
In general one needs to enlarge the underlying probability space in order for it to support a strong solution; see Carmona and Rozovskii~\cite{Survey} or Viot~\cite{Viot76} for a detailed exposition.
\end{remark}
The novelty of our result is that we do not impose any assumptions on the smoothness of $A, f$ or $g$.
Indeed, if $A$ and $g$ have some continuity, for example Dini continuity, then the above result follows directly from
Krylov\cite{Kry96, Kry99}. The approach we adopted in this work is quite different from the usual ones in the study of SPDEs.
Largely motivated by the recent work of Glatt-Holtz, \v{S}ver\'ak and Vicol \cite{GSV13}, rather than relying on abstract or explicit estimates of the solution kernel, we analyze the energy of the solution by a combination of PDE techniques and stochastic analysis. Indeed, our work can be viewed as a stochastic version of De Giorgi-Nash-Moser theory. As such our flexible method is potentially applicable to other types of nonlinear SPDEs.
The paper is orgainzed as follows. In {\sc Section} 2 we present a stochastic modification of De Giorgi's iteration. In {\sc Section} 3 we prove the decay of the tail probability of the solution. The main theorem stated above is proved in the last section.
\medskip
{\sc Acknowledgment.} The authors are very grateful to Professor Nicolai Krylov for the method used in {\sc Section} 4 of passing
from the $L^{\infty}$-bound to H\"older regularity. The authors would like to thank Professors James Norris and \'Etienne Pardoux for the electronic communications during the preparation of this work. The second author would like to thank Professors Luis Silvestre and Benjamin Gess for very helpful comments.
\section{Stochastic De Giorgi iteration}
De Giorgi's iteration is a classical method for studying heat equations with measurable coefficients. In this section we develop a stochastic extension of this method appopriate for the type of SPDEs under investigation. See Cafarelli and Vasseur~\cite{CV10, CV10-1} for an exposition of the classical theory without random perturbation.
Throughout the paper, an $L^p$-norm without specifying a domain is implicitly assumed to be taken on $\R^n$; thus $\norm{ K}_p = \norm{ K}_{L^p(\R^n)}$. For a time interval $I \subset \R^+$, we define the norm
\[
\norm{g}_{p_1, p_2, I} := \norm{ u }_{L^{p_1} ( I, L^{p_2 } (\R^n))} = \smp{ \int_{I} \norm{g}_{p_2}^{p_1} \;dt }^{1/p_1}.
\]
The norm most relevant for this paper is $\Vert \cdot\Vert_{4,2, I}$.
Let $I_k = [1-2^{-k}, 2]$, a sequence of time intervals shrinking from $[0,2]$ to $[1,2]$. For each $a \geq 1$, write $u_{k,a} = (u-a(1-2^{-k}))^+$ and let
\[
U_{k,a}:= \norm{u_{k,a}}_{4,2, I_k}^2 = \sqrt{\int_{I_k} \norm{u_{k,a}}_2^4\;dt}.
\]
For simplicity we will denote $f(t,x,u)$ and $g(t,x, u)$ by $f(u)$ and $g(u)$, respectively. We have the following iterative inequality.
\begin{prop}
\label{S itr prop} Assume that $\Vert K\Vert_\infty\le 1$. There exists a constant $C = C(n, \lambda, \Lambda)$ such that
\begin{equation}\label{S itr prop ineq}
U_{k,a} \leq \frac{C^k }{a^{2/(n+1)}} \smp{U_{k-1,a} + X^*_{k-1,a}} U_{k-1,a}^{1/(n+1)},
\end{equation}
where
\begin{equation}
\label{def X}
X_{k-1,a}^* = \sup_{1-2^{-k}\leq s\leq t \leq 2}\int_s^t \ip{g_i (u(\tau)) , u_{k,a}(\tau) }\;dw_\tau^i.
\end{equation}
\end{prop}
\begin{proof} H\"older's inequality with the conjugate exponents $(n+1)/n$ and $n+1$ gives
\begin{equation}
\Vert u_{k,a} (t)\Vert_2^2 \leq \norm{ u_{k,a} (t)}^{2}_{2(n+1)/n} \cdot \abs{ \lbr u_{k,a} ( t) > 0 \rbr}^{1/(n+1)}.
\label{holder}
\end{equation}
Using Chebyshev's inequality, we have
\[
\abs{\lbr u_{k,a} ( t) > 0\rbr }= \abs{\lbr u_{k-1,a} ( t) > 2^{-k}a \rbr}\leq
\left(\frac{2^k}a\right)^2\norm{u_{k-1,a} (t)}^2_2.
\]
Squaring \rf{holder} and integrating with respect to $t$ on $I_k$ we have
\[
U_{k,a}^2 \leq \left(\frac{2^k}a\right)^{4/(n+1)}\int_{I_k} \norm{u_{k,a} (t)}^4_{2(n+1)/n} \norm{u_{k-1,a}(t) }^{4/(n+1)}_{2} \,dt.
\]
Applying H\"older's inequality again with the same conjugate exponents, we obtain
\begin{equation}
\label{r2 eq 1}
\begin{split}
U_{k,a} & \leq \left(\frac{2^k}a\right)^{2/(n+1)} \smp{ \int_{I_k} \norm{u_{k,a}(t)}^{4(n+1)/n}_{2(n+1)/n} dt }^{n/2(n+1)} \smp{ \int_{I_k} \norm{u_{k-1,a}(t)}_2^4\;dt }^{1/2(n+1)}.
\end{split}
\end{equation}
The third factor on the right side is exactly $U_{k-1,a}^{1/(n+1)}$. The second factor is $\Vert u_{k,\alpha}\Vert_{4(n+1)/n, 2(n+1)/n, I_k}^2$. We claim that
\begin{equation}
\Vert u_{k,\alpha}\Vert_{4(n+1)/n, 2(n+1)/n, I_k}^2\le\sup_{t \in I_{k}}\norm{u_{k,\alpha} (t)}_{2}^2 + \int_{I_{k}} \norm{ u_{k,\alpha} (t) }_{2n/(n-2)}^2 \; dt. \label{interpolation}
\end{equation}
To prove this inequality we use the $L^p_tL^{q}_x$ interpolation inequality
$$\Vert u\Vert_{r_1,r_2, I}\le \Vert u\Vert^\gamma_{p_1, p_2, I}\Vert u\Vert^{1-\gamma}_{q_1, q_2, I}$$
with
$$\frac1{r_1} = \frac{\gamma}{p_1} + \frac{1-\gamma}{q_1}, \quad\frac{1}{r_2} = \frac{\gamma}{p_2}+\frac{1-\gamma}{q_2}.$$
Using this inequality with the parameters
$$r_1 = \frac{4(n+1)}n, \quad r_2 = \frac{2(n+1)}n, \quad p_1 = \infty, \quad q_1 = p_2 = 2, \quad q_2 = \frac{2n}{n-2}, \quad \gamma = \frac{n+2}{2(n+1)}$$
followed by the elementary inequality
$$ab\le \frac{a^p}p + \frac {b^q}q\le a^p + b^q$$
with $p = 2(n+1)/(n+2)$ and $q = 2(n+1)/n$ we obtain \rf{interpolation} immediately.
Applying the Sobolev inequality on $\mr^n$ to the second term on the right side of \rf{interpolation} and then substituting the result in \eqref{r2 eq 1}, we obtain
\begin{equation}
\label{itr p 1}
U_{k,a} \leq C\left(\frac{2^k}a\right)^{2/(n+1)} \midp{ \sup_{t \in I_{k}}\norm{u_{k,a} (t)}_{2}^2 + \int_{I_{k}} \norm{\nabla u_{k,a} (t) }_{2}^2dt} U_{k-1,a}^{1/(n+1)}.
\end{equation}
We now come to the key step of the proof, namely using It\^o's formula to bound the terms involving the supremum over $I_k$ and the gradient of $u$. The function $h_r(u) = \abs{ (u -r)^+}^2 $ is piecewise smooth with a single point of discontinuity and the process $u (t)$ has the martingale part whose quadratic variation process is absolutely continuous with respect to the Lebesgue measure on $\mr_+$. Thus It\^o's formula can be applied to the composition $h_{a_k} ( u(t) ) = \vert u_{k,a}(t)\vert^2$ and we have
\begin{align}\label{ito}
d\Vert u_{k,a}(t)\Vert^2_{2}= &-2\ip{\nabla u_{k,a}(t), A \nabla u_{k,a} (t) } dt+ 2 \ip{g_i (u) , u_{k,a} (t)} dw^i_t\\
&+\left[\int_{\R^n} \lbr \abs{g (u(t))}^2 +2u_{k,a}(t) f (u(t))\rbr 1_{\{ u_{k,a} (t)>0 \}} dx\right] dt.\nonumber
&
\end{align}
The uniform ellipticity assumption can be applied to the first term on the right side. For the third term, we observe that if $u_{k,a}\ge 0$, then
$1\leq a \leq 2^{k} u_{k-1,a}$ and $0<u \leq u_{k-1,a} + a \leq (1+ 2^{k}) u_{k-1,a}$. By the linear growth assumption (2) on $f$ and $g$ and $\norm{K}_\infty \leq 1$, the third term is bounded by $C^k\Vert u_{k,a}\Vert_2^2\, dt$ for some $C$. Now, integrating \rf{ito} from $t_0$ to $t$ with $t_0 \in I_{k-1}\setminus I_{k}$ and $t \in I_{k}$ gives
\begin{equation*}
\Vert u_{k,a}(t)\Vert^2_{2} + \lambda \int_{t_0}^t\norm{\nabla u_{k,a}(s)}_2^2ds \leq \Vert u_{k,a} (t_0)\Vert_{2}^2+C^k U_{k-1,a} + \int_{t_0}^t\ip{g_i (u(s)) , u_{k,a}(s)}dw^i_s.
\end{equation*}
Taking supremum over $t \in I_{k} $, we have
\begin{equation}
\label{Itr l2 2}
\begin{split}
& \sup_{ t\in I_k}\Vert u_{k,a} (t)\Vert_{2}^2 + \int_{t_0}^{2} \norm{\nabla u_{k,a} (s) }_{2}^2 \; ds \leq C \Vert u_{k,a} (t_0)\Vert_{2}^2+C^k U_{k-1,a}
+ X^*_{k-1,a}
\end{split}
\end{equation}
with $X^*_{k-1, \alpha}$ as defined in \eqref{def X}.
By the mean value theorem, we can find a $t_0 \in I_{k-1} \setminus I_{k} $ such that
\begin{equation}
\label{mvt}
\norm{u_{k,a} (t_0)}_{2}^2 = \frac{1}{\abs{ I_{k-1} \setminus I_{k}} }\int_{I_{k-1}} \norm{u_{k,a} (t)}_{2}^2 \;dt \leq 2^{k} U_{k-1,a}.
\end{equation}
Combining \eqref{itr p 1}, \eqref{Itr l2 2} and \eqref{mvt}, we obtain the desired iterative inequality \eqref{S itr prop ineq}.
\end{proof}
\begin{remark} \label{n=2 rem}
In the case $n=2$, the proof in this section shows that for any $\mu\in (0, 1/3)$, there is a constant $C = C(n, \lambda, \Lambda, \mu)$ such that
$$U_{k,a} \leq \frac{C^k }{a^{2 \mu}} \smp{U_{k-1,a} + X^*_{k-1,a}} U_{k-1,a}^{\mu}.$$
This is sufficient for estimating the tail probability of $\norm{u}_{\infty}$ in the next section, for all we need is that the factor $U_{k-1,a}$ carries an exponent strictly greater than $1$.
\end{remark}
\section{Estimate of the tail probability}
In the context of the stochastic De Giorgi iteration, controlling the size of $\Vert u^+\Vert_{\infty, [T, 2T]\times\mr^n}$ means estimating the decay of the tail probability $\mp\lbr \Vert u\Vert_{\infty, [T, 2T]\times\mr^n}\ge a\rbr$. In order to use the iterative inequality in {\sc Proposition} \ref{S itr prop} for this purpose we need to show that $X_{k-1, a}^*$ is comparable with $U_{k-1, a}$. This is accomplished in {\sc Lemma} \ref{A-X} below, whose proof depends on the following simple result from stochastic analysis (see Norris~\cite[page 123]{Nor86}).
\begin{lem} \label{simple} Suppose that $\lbr M_t\rbr$ is a continuous local martingale. Then we have
$$\mp\lbr \sup_{0\le s\le t\le T}(M_t-M_s)\ge a, \, \langle M\rangle_T\le b\rbr\le e^{-a^2/4b}.$$
\end{lem}
\begin{proof} There is a Brownian motion $B$ such that $M_t = B_{\langle M\rangle_t}$, hence the event in the statement implies the event
$\lbr \sup_{0\le t\le b} B_t\ge a/2\rbr$. Since $\sup_{0\le t\le b} B_t$ has the same distribution as $\sqrt b\vert B_1\vert$, we obtain the inequality from the explicit density function of a standard Gaussian random variable.
\end{proof}
Consider the continuous martingale
\begin{equation*} \label{spx}
X_t :=\int_{0}^t \ip{g_i (u(s)) , u_{k+1,a}(s)} \;dw^i_s
\end{equation*}
and recall from \rf{def X} that $X_{k,a}^* = \sup_{1-2^{-k}\le s\le t\le 2}(X_t-X_s)$.
\begin{lem}\label{A-X} Assume that $\Vert K\Vert_\infty\leq 1$. There exists a constant $C = C(n, \lambda,\Lambda)$ such that for all positive $\alpha$ and $\beta$,
\[
\mp\lbr X_{k,a}^*\ge\alpha\beta, \; U_{k,a} \leq\beta\rbr \leq {C} \, e^{ -\alpha^2/C^k}.
\]
\end{lem}
\begin{proof} Let $T_k = 1-2^{-k}$ for simplicity. If we can show that there is a constant $C$ such that
\begin{equation}
\label{A-Q}
\langle X\rangle_2 - \langle X\rangle_{T_k} \leq C^k U_{k,a}^2,
\end{equation}
then
$$\lbr X^*_{k, a}\ge\alpha\beta, U_{k a}\le\beta\rbr\subset\lbr \sup_{T_k\le s\le t\le 2}(X_t-X_s)\ge\alpha\beta,
\langle X\rangle_2 - \langle X\rangle_{T_k}\le C^k\beta^2\rbr$$
and the desired estimate follows immediately from {\sc Lemma} \ref{simple}. To prove \rf{A-Q}, we start with
$$\langle X\rangle_2 - \langle X\rangle_{T_k} = \sum_{i\in\mn}\int_{I_k}\langle g_i(u), u_{k+1}\rangle^2\, ds,$$
which follows from the definition of $X_t$.
We observe that if $u_{k+1,a}\ge 0$, then
$1\leq a \leq 2^{k+1} u_{k,a}$ and $0<u \leq u_{k,a} + a \leq (1+ 2^{k+1}) u_{k,a}$. By Minkowski's inequality (integral form) and the linear growth assuption (2) on $f$ and $g$ we have
\begin{equation*}
\label{A-X p1}
\sum_{i\in \N} \smp{ \int_{\R^n } g_i (u) \; u_{k+1,a} \; d x}^2 \leq \smp{
\int_{\R^n} |g (u)| u_{k+1,a} \;d x}^2 \leq C^k \smp{\int_{\R^n}
u_{k,a}^2 \;d x }^2.
\end{equation*}
Integrating over the interval $I_k$ we obtain the desired inequality \rf{A-Q}.
\end{proof}
Armed with the iterative inequality \rf{S itr prop ineq} and the comparison result {\sc Lemma} \ref{A-X} we are in a position to control the size of $\Vert u^+\Vert_{\infty, [1,2]\times\mr^n}$ by estimating its tail probability. It is important that the constant $M_0$ in the following proposition is independent of $a$.
\begin{prop}
\label{Itr Nor} Assume that $\Vert K\Vert_\infty\le 1$. There exists a constant $ M_0 = M_0(n, \lambda, \Lambda)$ such that for all $a \geq 1$ and $ M > M_0$,
\[
\mp\lbr\norm{u^+}_{\infty, [1,2] \times \R^n} > a, \; M \norm{u^+}_{4,2,[0,2]} \leq a\rbr \leq e^{-M^{1/(n+1)}}.
\]
\end{prop}
\begin{proof} As in the classical theory, we start with the observation that $\bigp{\norm{u^+}_{\infty, [1,2] \times \R^n}>a} \subset G_a^c$,
where $G_a = \bigp{\lim_{k \rightarrow \infty} U_{k,a} = 0}$. Consider the events $\mathcal{E}_{k} = \{U_{k,a} \leq (a/M)^2\gamma^k \}$ for a constant $\gamma<1$ to be determined later. Since $\norm{u}_{4,2,[0,2]} = \sqrt{U_{0, a}}$, it suffices to prove
\[
\mp\lbr G_a^c\cap\mathcal{E}_0\rbr\le e^{-M^{1/(n+1)}}.
\]
It is clear that
\[
G_{a}^c \subset \bigcup_{k \geq 0} \mathcal{E}_{k}^c \subset \mathcal{E}_{0}^c \cup \midp{ \bigcup_{k \geq 1} \smp{ \mathcal{E}_{k}^c \cap \mathcal{E}_{k-1} } },
\]
which implies
\begin{equation}
\label{Itr Nor 1}
\mp\lbr G_{a}^c \cap \E_{0}\rbr \leq \sum_{k \geq 1} \mp \lbr\mathcal{E}_{k}^c \cap \mathcal{E}_{k-1} \rbr.
\end{equation}
We estimate the probability $\mp\lbr\mathcal{E}_{k}^c \cap \mathcal{E}_{k-1}\rbr $. For simplicity let $\delta = 1/(n+1)$. Let $\alpha = (2C)^{k/2}M^\delta$ and $\beta = a^2\gamma^{k-1}/M^2$ in {\sc Lemma} \ref{A-X}. If $ X^*_{k-1,a} \leq \alpha\beta$ and $U_{k-1,a} \leq \beta $, then by the iterative inequality \rf{S itr prop ineq} in {\sc Proposition \ref{S itr prop}} we have (after canceling $a^{2\delta}$!)
$$U_{k,a} \le\frac{C_1^k}{a^{2\delta}}(\beta + \alpha\beta)\beta^{\delta} = \frac{(C_1\gamma^{\delta})^k(1+(2C)^{k/2}M^\delta)}{\gamma^{1+\delta}M^{2\delta}}\cdot \gamma\beta\le\gamma\beta.$$
The last inequality holds if we choose $\gamma$ sufficiently small such that $(C_1\gamma^{\delta})^k(1+(2C)^{k/2}M^\delta)\le M^\delta$ for all $k\ge 1$ and $M\ge 1$ and then $M$ sufficiently large such that $\gamma^{1+\delta}M^\delta\ge 1$.
Now the above inequality implies that $\mathcal{E}_{k}^c \cap \mathcal{E}_{k-1 } \subset \{ X^*_{k-1,a} >\alpha\beta, U_{k-1,a} \leq \beta \} $. Its probability is estimated by {\sc Lemma} \ref{A-X} and we have
$$\mp \lbr \mathcal{E}_{k}^c \cap \mathcal{E}_{k-1} \rbr \leq C e^{-\alpha^2/C^k} = Ce^{-2^{k}M^{2\delta}}.$$
Using this in \eqref{Itr Nor 1} we obtain, again for sufficiently large $M$,
\[
\mp\lbr G_{a}^c \cap \mathcal{E}_{0}^c\rbr \leq C\sum_{k=1}^{\infty} e^{-2^{k} M^{2\delta}} \leq e^{- M^{\delta} }.
\]
This completes the proof of {\sc Proposition} \ref{Itr Nor}.
\end{proof}
\section{H\"older continuity}
In this section, we prove our main result, namely the almost surely H\"older continuity of the solution of the SPDE \rf{basiceqn}
subject to the conditions stated in {\sc Section} 1. We start with the following moment estimate.
\begin{prop}
\label{Estimate}
Let $u$ be a (stochastically strong) solution of the SPDE \rf{basiceqn} with (non-random) initial data $u (0) =u_0$. Then for every $p>0$
there is a constant $C = C( n, \lambda, \Lambda, T,p)$ such that
\begin{equation*}
\me \int_0^{2T} \norm{u (t)}_2^p \;dt +
\me \norm{u}_{\infty, [T,2T] \times \R^{n} }^p \leq C\smp{ \norm{u_0}_2 + \Vert K\Vert_2+ \Vert K\Vert_\infty }^p.
\end{equation*}
\end{prop}
\begin{proof} By scaling it suffices to consider the case $T=1$, $\Vert K\Vert_2+ \Vert K\Vert_\infty \le 1$, and $\norm{u_0}_2 \leq 1$. We need to show that there exists a constant $C$ (depending on $p$ of course) such that
\begin{equation}\label{4.1}
\me \int_0^{2} \norm{u (t)}_2^p \;dt \leq C\quad\text{and}\quad
\me \norm{u}_{\infty, [1,2] \times \R^{n} }^p \leq C.
\end{equation}
As $\mp$ is a probability measure, we may assume $p \geq 4$. We start with the first inequality.
Let $\varphi (t) = \norm{ u(t)}^2_2 +1$.
By It\^o's formula,
\begin{equation}
\label{cor1 p 1}
d \varphi (t) = \varphi(t)(F(t)\;dt +d G_t),
\end{equation}
where
\[
F(t) = \frac{ - \ip{A\nabla u , \nabla u} + \ip{f (u), u} +\norm{g (u)}_2^2}{ \norm{u}_2^2 +1} \quad \text{and}\quad G_t = \int_0^t \frac{ \ip{ g_i (u), u }}{\norm{u}^2_2+1} \,dw_s^i.
\]
The solution of SDE \eqref{cor1 p 1} is explicitly given by
\[
\varphi (t) = \varphi (0) \exp\midp{\int_0^t F(s) \;ds +G_t - \frac{1}{2}\ip{G}_t }.
\]
By the assumptions we have $F(t) \leq 4 \Lambda^2$ and $\ip{G}_t \leq 2\Lambda^2$ for all $t \leq 2$, hence
\begin{equation*}
\me \varphi^p (t) = \varphi(0)^p\me\exp p\smp{ \int_0^t F(s) \;ds +G_t- \frac{1}{2}\ip{G}_t} \leq C \varphi(0)^p.
\end{equation*}
This implies the first inequality in \eqref{4.1}. Next we show the second inequality in \rf{4.1}. Let
\[
X = \norm{u}_{\infty,[1,2]\times \R^n}\quad\text{and}\quad Y = \smp{\int_0^{2} \norm{u}_2^4\;dt }^{1/4}.
\]
By considering $u$ and $-u$ we have from {\sc Proposition} \ref{Itr Nor},
\begin{equation}\label{yv}
\mp \lbr X > a , Y \leq \frac{a}{M}\rbr \leq 2\, e^{-M^{1/(n+1)}}
\end{equation}
for all $a \geq 1$ and $M \geq M_0$, hence
$$\mp\lbr X> a, Y\le\sqrt a\rbr\le 2\,e^{-a^{1/2(n+1)}}$$
for $a\geq M_0^2$, assuming that $M_0\geq 1$. By the first inequality in \eqref{4.1}, we have
\[
\me Y^{2p} \leq 2^{(p-2)/2} \me \int_0^2 \norm{u(t)}_2^{2p} \;dt \leq C.
\]
Hence,
\[
\begin{split}
\me \norm{u}_{\infty, [1,2] \times \R^n}^p & = p\int_0^\infty \mp (X > a) a^{p-1} \;da \\
& \leq M_0^{2p} + \int_{M^2_0}^\infty \mp \smp{ Y> \sqrt{a} } a^{p-1} \;da + \int_{M_0^2}^\infty \mp\lbr X> a, Y\le \sqrt a\rbr \;da.
\end{split}
\]
The second term is bounded by $\me Y^{2p}$, and the third term is finite by \rf{yv}. This proves the second inequality in \eqref{4.1}.
\end{proof}
We can now prove our main theorem, which we state again for easy reference.
\begin{theorem}
\label{Thm Holder1} Let $u$ be a solution of the SPDE
$$\partial_t u = \divg ( A \nabla u) + f (t,x, u) + g_i (t,x, u) \dot{w}^i_t$$
whose coefficients satisfy the conditions stated in {\sc Section 1}. Then there exists a positive exponent $\alpha=\alpha (n, \lambda, \Lambda)$ such that almost surely $u \in C^{\alpha} ([T,2T] \times \R^n)$ for all $T>0$. Furthermore, for every $p>0$, there is a constant $C=C (n, \lambda, \Lambda, T, p)$ such that
\[
\me \norm{u}_{C^{\alpha} ([T,2T] \times \R^n) }^p \leq C\smp{\norm{u_0}_{L^2(\mr^n)} +\Vert K\Vert_{L^2(\mr^n)} + \Vert K\Vert_{L^\infty(\mr^n)}}^p.
\]
\end{theorem}
\begin{proof} By scaling it suffices to assume $ \norm{u_0}_2 \leq 1$ and $\Vert K\Vert_\infty+\Vert K\Vert_2\le 1$. Following a suggestion of Professor Nicolai Krylov, we consider the solution $v$ of an SPDE with the same stochastic perturbation but simpler diffusion coefficients:
\[
d_t v =\Delta v\, dt + g_i(u ) dw^i_t, \quad v(2^{-1}) =0 .
\]
The function $\phi = u- v$ satisfies
\begin{equation}
\label{Holder p 1}
\partial_t \phi = \divg (A \nabla \phi ) + f(\phi + v) + \divg(A \nabla v) -\Delta v , \quad \text{ on } [2^{-1},2] \times \R^n.
\end{equation}
From the linear growth assumption (1) for $g$ and {\sc Proposition} \ref{Estimate}, we have
\[
\me \int_{2^{-1}}^{2} \norm{g(u)}_{p }^p \;dt\le C.
\]
According to Krylov's $W^{2,p}$-theory (see Krylov~\cite{Kry96}) $v \in C^{\alpha_1} ([2^{-1},2] \times \R^n)$ for some exponent $\alpha_1$. Furthermore, we have the estimates
\begin{equation}
\label{P H 1}
\me \norm{v}_{C^{\alpha_1} ( [2^{-1}, 2] \times \R^n )}^p \leq \me \norm{ g (u) }_{L^{p} ([2^{-1},2] \times \R^n )} \leq C
\end{equation}
and
\begin{equation}
\label{P H 3}
\me \int_{1/2}^2 \norm{D^2 v}_{W^{-1,p}}^p \;dt \le C_p.
\end{equation}
Since \eqref{Holder p 1} does not have a stochastic perturbation, the usual regularity theory (see Lieberman~\cite[Ch. VI]{Lieb}) applies and we have $\phi \in C^{\alpha_2} ( [1, 2] \times \R^n )$ for some small exponent $\alpha_2 \in (0,1) $ and
\[
\begin{split}
\norm{\phi }_{C^{\alpha_2} ( [1,2]\times \R^n )} & \leq C \smp{ \norm{\phi }_{\infty, [2^{-1},2] \times \R^n} + \norm{D^2 v}_{L^p ([1,2] , W^{-1,p} )} } \\
& \leq C \smp{ \norm{u }_{\infty, [2^{-1},2] \times \R^n} +\norm{v }_{\infty, [2^{-1},2] \times \R^n} + \norm{D^2 v}_{L^p ([2^{-1},2] ,
W^{-1,p} )} }.
\end{split}
\]
Using the estimates \eqref{P H 1} and \eqref{P H 3} we conclude that
$\me \norm{\phi}^p_{C^{\alpha_2 } ([1,2] \times \R^n )} \leq C$.
From this inequality, \eqref{P H 1} and $u = \phi+v$, we obtain the desired inequality $\me \norm{u}^p_{C^{\alpha} [1,2] \times \R^n} \leq C$
with $\alpha = \min \{\alpha_1, \alpha_2\}$.
\end{proof}
\begin{thebibliography}{alpha}
\bibitem{BNVW08} Brz\`ezniak, Z., van Neerven, J.M.A.M., Veraar, M.C. and Weis, L., It\^o's formula in UMD Banach spaces
and regularity of solutions of the Zakai equation, {\it J. Differ. Equ.}., \textbf{245} (2008), 30--58.
\bibitem{CV10} Caffarelli L. and Vasseur, A., Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, {\it Ann. of Math.}, (2) \textbf{171} (2010), no. 3, 1903-1930.
\bibitem{CV10-1} Caffarelli L. and Vasseur, A., The De Giorgi method for regularity of solutions of elliptic equations and its applications to fluid dynamics, {\it Discrete Contin. Dyn. Syst.}, Ser. S \textbf{3} (2010), no. 3, 409-427.
\bibitem{Survey} Carmona, R. and Rozovskii B. L. (ed.), {\it Stochastic Partial Differential Equations: Six Perspectives}, Mathematical Surveys and Monographs Series 64. Providence, RI: American Mathematical Society, 1998.
\bibitem{DMH14} Debussche, A., De Moor, S. and M. Hofmanova, A regularity result for quasilinear stochastic partial differential equations of parabolic type, arXiv:1401.6369.
\bibitem{GT} Gilbarg, D. and Trudinger, N.S., \textit{Elliptic Partial Differential Equations of Second Order,} Reprint of the 1998 edition, Classics in Mathematics, Springer-Verlag, Berlin, 2001.
\bibitem{GSV13} Glatt-Holtz, G., \v{S}ver\'ak, V. and Vicol, C., On Inviscid limits for the stochastic Navier-Stokes equations and related models, arXiv:1302.0542v1.
\bibitem{Kry99} Krylov, N.V., An analytic approach to SPDEs, In {\it Stochastic Partial Differential Equations: Six Perspectives}, Mathematical Surveys and Monographs, vol. 64, pp. 185-242. AMS, Providence, RI 1999.
\bibitem{Kry96} Krylov, N.V., On Lp-theory of stochastic partial differential equations in the whole space, {\it SIAM J. Math. Anal.}, \textbf{27} (1996), no. 2, 313-340.
\bibitem{Lieb} Lieberman, G.M., \textit{Second Order Parabolic Differential Equations,} World Scientific Publishing Co., Inc., River Edge, NJ, 1996.
\bibitem{Nor86} Norris, J., Simplified Malliavin calculus, in {\it S\'eminaire de Probabilit\'es, XX, 1984/85}, 101-130, Lecture Notes in Math., \textbf{1204}, Springer, Berlin, 1986.
\bibitem{Par75} Pardoux, \'E., {\it Equations aux Deriv\'ees Partielles Stochastiques Monotones}, Th\`ese, Univ. Paris-Sud, 1975.
\bibitem{Par07} Pardoux, \'E., \textit{Stochastic Partial Differential Equations}, Lecture notes given in Fudan, 2007.
\bibitem{PZ92} da Prato, G. and Zabczyk, J., \textit{Stochastic Equations in Infinite Dimensions,} Encyclopedia of Mathematics
and its Applications, vol. 44, Cambridge University Press, Cambridge, 1992.
\bibitem{Roz90} Rozovskii, B.L., \textit{Stochastic Evolution Systems}, Kluwer, Dordrecht, 1990.
\bibitem{Viot76} Viot, M., Solutions faibles d'\'equations aux d\'eriv\'ees partielles non lin\'eaires. Th\`ese, Universit\'e Pierre et Marie Curie, Paris, 1976.
\end{thebibliography}
% End Document ............................................................................................................................................
\end{document}