Abstract
We investigate properties of Markov quasi-diffusion processes corresponding to elliptic operators \(L=a^{ij}D_{ij}+b^{i}D_{i}\), acting on functions on \(\mathbb {R}^{d}\), with measurable coefficients, bounded and uniformly elliptic a and \(b\in L_{d}(\mathbb {R}^{d})\). We show that each of them is strong Markov with strong Feller transition semigroup \(T_{t}\), which is also a continuous bounded semigroup in \(L_{d_{0}}(\mathbb {R}^{d})\) for some \(d_{0}\in (d/2, d)\). We show that \(T_{t}\), \(t>0\), has a kernel \(p_{t}(x,y)\) which is summable in y to the power of \(d_{0}/(d_{0}-1)\). This leads to the parabolic Aleksandrov estimate with power of summability \(d_{0}\) instead of the usual \(d+1\). For the probabilistic solution, associated with such a process, of the problem \(Lu=f\) in a bounded domain \(D\subset \mathbb {R}^{d}\) with boundary condition \(u=g\), where \(f\in L_{d_{0}}(D)\) and g is bounded, we show that it is Hölder continuous. Parabolic version of this problem is treated as well. We also prove Harnack’s inequality for harmonic and caloric functions associated with such a process. Finally, we show that the probabilistic solutions are \(L_{d_{0}}\)-viscosity solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathbb {R}^{d}\) be a Euclidean space of points \(x=(x^{1},...,x^{d})\). For a fixed throughout the article \(\delta \in (0,1)\) define \(\mathbb {S}_{\delta }\) as the set of \(d\times d\) symmetric matrices whose eigenvalues are between \(\delta \) and \(\delta ^{-1}\). Fix a constant \(\Vert b\Vert \in (0,\infty )\). In this article we consider and discuss only uniformly nondegenerate processes with bounded diffusion coefficient.
Assumption 1.1
We are given a Borel measurable \(\mathbb {S}_{\delta }\)-valued function \(a=a(x)\) and a Borel measurable \(\mathbb {R}^{d}\)-valued function \(b=b(x)\) such that
Define
The goal of this article is to investigate (time-homogeneous Markov) quasi-diffusion processes corresponding to L. In the more modern terminology from [18] these are called diffusion processes, but at this point and later on we will follow the terminology from [5] in which the notion of diffusion processes is defined differently from [18].
The definition of time-homogeneous diffusion processes first appeared in the book by Dynkin in 1963, [5], where he also constructs diffusion processes corresponding to elliptic operators as in (1.1) with bounded and Hölder continuous coefficients, such that the matrix \( (a_{ij}(x))\) is uniformly strictly positive.
If \( x_{t}(x)\), \( t\ge 0\), is a family of continuous processes on \( \mathbb {R}^{d}\), parametrized by \( x\in \mathbb {R}^{d}\), and the family is a diffusion process corresponding to the above L in Dynkin’s sense, then, for any bounded domain \( D\subset \mathbb {R}^{d}\) and smooth function u,
where \( \tau _{D}=\tau _{D}(x)\) is the first exit time of \( x_{t}(x)\) from D.
The author took the above property as the definition of quasi-diffusion process and in 1966 constructed such process under the assumptions that the matrix \( (a_{ij}(x))\) is uniformly strictly positive, is continuous and b is Borel bounded. The domain of definition of the corresponding generator of the constructed process was also described, which provides the so-called weak uniqueness of the process with this generator. Later on in 1973, ( [7]), when Itô’s formula was extended to \( W^{2}_{p}\) functions, it became obvious that the quasi-diffusion processes corresponding to the operators satisfying the above mentioned condition are weakly unique.
Two years earlier Tanaka constructed Dynkin’s diffusion processes when b is also continuous. No uniqueness was implied in his paper.
Quasi-diffusion processes are characterized by the property that, for any smooth function u(x) and starting point x, the process
is a local martingale. Stroock and Varadhan (1969), [18], took the time-inhomogeneous version of this property as the definition of diffusion process and proved existence and weak uniqueness under the condition that a, b are bounded, a is uniformly continuous in x uniformly in t, and a is uniformly nondegenerate. The proof of uniqueness is based on the solvability of parabolic equations with coefficients depending only on time, a result borrowed from PDE, and the estimate
which is achieved by a quite clever argument. This argument, however, is heavily based on the uniform continuity of a with respect to x.
In 1974 [8] the author proved that estimate (1.2) holds true not only for solutions of stochastic equations but also in the case that a, b are any progressively measurable bounded functions such that a is uniformly nondegenerate. The method of proof is different from the one used by Stroock and Varadhan (and the range of p is more restrictive).
Recall that the first quasi-diffusion strong Markov processes with bounded Borel b and Borel uniformly nondegenerate a were constructed in [7]. This construction was carried over to the case of time-inhomogeneous processes with jumps in [1]. A different approach again when b is bounded, based on Krylov-Safonov estimates, is carried out in [2] and produced a particular strong Markov process with strong Feller resolvent.
It is worth mentioning that with sufficiently regular diffusion matrix a and the drift which is a generalized function of the type of the derivative of a measure generalized diffusion processes are constructed in [15]. The case of time-dependent regular a and b summable to powers which are different in t and x attracted a very extensive attention. In that regard the reader can consult [15, 20], and references therein. Our main emphasis here is on time-homogeneous \(b\in L_{d}(\mathbb {R}^{d})\) and Borel \(\mathbb {S}_{\delta }\)-valued a. For that matter, we do not know if all results similar to given here hold in time-inhomogeneous case, say, with \(b\in L_{d+1}\) (space in (t, x)). Yet a Markov process is proved in [12] to exist in this case.
In case \(b\in L_{d}\) we established in [11] the existence of a strong Markov quasi-diffusion process corresponding to L. Our goal in this article is to investigate properties of just Markov quasi-diffusion processes corresponding to L regardless of how they appeared or were constructed.
In particular, we show that each of them is strong Markov with strong Feller transition semigroup \(T_{t}\), which is also a continuous bounded semigroup in \(L_{p}(\mathbb {R}^{d})\) for \(p\in [d_{0},d)\), where \(d_{0}\in (d/2,d)\). Our estimate (4.11) implies that \(T_{t}\) has a kernel \(p_{t}(x,y)\) which is summable with respect to y to the power of \(d_{0}/(d_{0}-1)\). This leads to the parabolic Aleksandrov estimate with power of summability \(d_{0}\) instead of usual \(d+1\) (see Corollary 4.9 for the probabilistic version and Theorem 4.13 for the PDE version).
For the probabilistic solution, associated with such a process, of the problem \(Lu+f=0\) in a bounded domain \(D\subset \mathbb {R}^{d}\) with boundary condition \(u=g\), where \(f\in L_{d_{0}}(D)\) and g is Borel bounded, we show that it is Hölder continuous in D. Parabolic version of this problem is treated as well. We also prove Harnack’s inequality for harmonic and caloric functions associated with such a process. Finally we show that probabilistic solutions of the corresponding elliptic equations are \(L_{d_{0}}\)-viscosity solutions. In [19] the reader can find extensions of some of our results to the case of time-inhomogeneous diffusions.
In our arguments self-similar transformations play a very important role, when we pass from \(x_{t}\) to \(cx_{t/c^{2}}\) with a constant \(c>0\). Observe that under such transformations a and b change, but the new a is still in \(\mathbb {S}_{\delta }\) and the \(L_{d}(\mathbb {R}^{d})\)-norm of the new b is majorated by the same number \(\Vert b\Vert \).
We finish the introduction with some notation. For \(T,R>0\), \((t,x)\in \mathbb {R}^{d+1}=\{(t,x):t\in \mathbb {R},x\in \mathbb {R}^{d}\}\) define
In the proofs of various results we use the symbol N to denote finite nonnegative constants which may change from one occurrence to another and we do not always specify on which data these constants depend. In these cases the reader should remember that, if in the statement of a result there are constants called N which are claimed to depend only on certain parameters, then in the proof of the result the constants N also depend only on the same parameters unless specifically stated otherwise. Of course, if we write \( N=N(...), \) this means that N depends only on what is inside the parentheses. Another point is that when we say that certain constants depend only on such and such parameters we mean, in particular, that the dependence is such that these constants stay bounded as the parameters vary in compact subsets of their ranges.
2 Diffusions and Itô stochastic equations
Suppose that we are given a a quasi-diffusion process corresponding to L, that is, we are given a continuous Markov process \(X=(x_{t},\infty ,\mathcal {M}_{t},P_{x})\) (the terminology taken from [5]) in \(\mathbb {R}^{d}\) such that for any \(x\in \mathbb {R}^{d}\) and \(t\ge 0\)
and for any twice continuously differentiable function u with compact support
Remark 2.1
These requirements would be unrealistic if b were only in \(L_{p}\) with \(p<d\) (see [11]).
Define \(\tau _{R} \) as the first exit time of \( x_{t}\) from \(B_{R}\) (equal to infinity if \( x_{t}\) never exits from \(B_{ R}\)). This notation \(\tau _{R}\) is used throughout the article.
Denote by \(\mathcal {N}_{t}\) the \(\sigma \)-field in \(\Omega \) generated by the events \(\{\omega :x_{s}\in \Gamma \}\) for all \(s\le t\) and Borel \(\Gamma \subset \mathbb {R}^{d}\) and let \({\bar{\mathcal {N}}}^{x_{0}}_{t}\) be the completion of \(\mathcal {N}_{t}\) with respect to \((\mathcal {N}_{\infty },P_{x_{0}})\).
Here is a start up result.
Theorem 2.1
For any \(x_{0}\in \mathbb {R}^{d}\) there exists a d-dimensional Wiener process \(w_{t}\) such that \((w_{t},{\bar{\mathcal {N}}}^{x_{0}}_{t})\) is a Wiener process and \(P_{x_{0}}\)-(a.s.) for all \(t\ge 0\)
This theorem would be a simple consequence of Theorem 4.5.1 of [18] if b were supposed to be bounded. In our case Theorem 2.1 is a direct corollary of Lemma 1.6 of [11] and the following.
Lemma 2.2
For any \(x_{0}\in \mathbb {R}^{d}\) and any twice continuously differentiable function u with compact support the process
is a martingale with respect to \(\mathcal {N}_{t}\) and measure \(P_{x_{0}}\).
Proof
What we are given and the Markov property imply that for any \(0=t_{0}<t_{1}<...<t_{n}=s<t\) and Borel bounded \(g(y_{0},...,y_{n})\) on \(\mathbb {R}^{d(n+1)}\)
It follows that
which shows that \((\xi _{t}, \mathcal {N}^{x_{0}}_{t })\), \(t\ge 0\), is, indeed, a martingale. \(\square \)
3 Some results from [10] and [11]
Theorem 2.1 allows us to use the results from [10, 11] some of which we list here.
We need a part of Corollary 1.2 of [10] which we state as follows.
Theorem 3.1
For \(0\le s<t<\infty \), \(x\in \mathbb {R}^{d}\), and \(n\ge 0\) we have
where \(N=N(n,d,\delta ,\Vert b\Vert )\).
Here are Theorems 2.7 and 2.8 of [11], in which \(d_{0}=d_{0}(d,\delta ,\Vert b\Vert )\in (d/2,d)\) and for Borel \(\Gamma \subset \mathbb {R}^{d}\)
Theorem 3.2
Let \(p\ge d_{0}\) and \(R\in (0,\infty )\). Then there exists N, depending only on \(p,d,\delta \), and \(\Vert b\Vert \), such that for any Borel nonnegative f on \(\mathbb {R}^{d}\) we have
Theorem 3.3
Let \(p\ge d_{0}\). Then there exist constants N and \(\mu >0\), depending only on d, p, and \(\Vert b\Vert \), and there exists \(R_{0}=R_{0}(d,\Vert b\Vert )\ge 2\), such that for any \(\lambda >0\), \(R\in [0,\infty )\), and Borel nonnegative f given on \(\mathbb {R}^{d}\) we have
where \(\Psi _{R,\lambda }(x)=\exp \big (\sqrt{\lambda }\,\mu \, \mathrm{dist}\,(x,B_{R+R_{0}/\sqrt{\lambda }})\big )\).
Of the same spirit is the following particular case of Theorem 4.7 of [10].
Theorem 3.4
There exists constants N and \(\mu >0\), depending only on \(d,\delta \), and \(\Vert b\Vert \), such that for any \(\lambda >0\) and Borel nonnegative f given on \(\mathbb {R}^{d+1}\) we have
where \(\Psi _{\lambda }(x)=\exp ( \sqrt{\lambda }\mu |x|)\).
Introduce
Corollary 3.5
Let \(q\ge p\ge d_{0}\). Then there exists a constant N, depending only on \(d,p,q,\delta \), and \(\Vert b\Vert \), such that for any \(\lambda >0\) and Borel nonnegative f given on \(\mathbb {R}^{d}\) we have
Indeed, (3.5) is a particular case of (3.3) when \(R=0\), which can be rewritten as
On the right we have the convolution of two functions. Hence,
which immediately yields (3.6).
Corollary 3.6
Let \(p\ge d_{0}\). Then for any \(f\in L_{p}(\mathbb {R}^{d})\) we have
Indeed, owing to Corollary 3.5 it suffices to prove (3.7) for \(f\in C^{\infty }_{0}(\mathbb {R}^{d})\). For such f by Itô’s formula (see Theorem 1.3 in [11])
where \(g=Lf \in L_{d_{0}}(\mathbb {R}^{d})\) (just in case, \(b\in L_{d }(\mathbb {R}^{d}), d_{0}<d, f\) has compact support). Hence
and owing to (3.6)
Here the exponent of \(\lambda \) is strictly less than zero because \(d_{0}>d/2\) and this yields (3.7).
We are also going to need Corollary 4.3 of [11], which we state as follows.
Theorem 3.7
For any \(R\in (0,\infty )\) and \(\kappa \in (0,1)\) there exist constants \(\mu \ge 1\), \(\theta >0\), and N, depending only on \( d,\delta ,\Vert b\Vert \), and \(\kappa \), such that, for any \(x\in B_{\kappa R}\) and Borel set \(\Gamma \subset B_{R}\)
where \(\gamma = |\Gamma |/|B_{R}|\) and \(|\Gamma |\) is the Lebesgue measure of \(\Gamma \).
Here is a specification of Theorem 4.4 of [10] to our case. Recall that
Theorem 3.8
For any \(\kappa \in (0,1)\) there is a function \(q(\gamma )\), \(\gamma \in (0,1)\), depending only on \(d,\delta ,\Vert b\Vert ,\kappa \), and, naturally, on \(\gamma \), such that for any \(R\in (0,\infty )\), \(x\in B_{\kappa R}\), and closed \(\Gamma \subset C_{R^{2},R}\) satisfying \(|\Gamma |\ge \gamma |C_{R^{2},R}|\) we have
where \(\tau _{\Gamma }\) is the first time the process \((t,x_{t})\) hits \(\Gamma \) and \(\tau _{R^{2},R}\) is its first exit time from \(C_{R^{2},R}\). Furthermore, \(q(\gamma )\rightarrow 1\) as \(\gamma \uparrow 1\).
Here is a corollary of estimate (2.19) of [10]:
where \(\beta =\beta (d,\delta ,\Vert b\Vert )>0\).
Here is a corollary of Theorem 4.17 of [11].
Theorem 3.9
Let \(R\in (0,\infty )\), \( \kappa ,\eta \in (0,1)\), \(x,y\in B_{\kappa R}\), and \(\eta ^{-1} R^{2}\ge t\ge \eta R^{2}\). Then there exist \(N,\nu >0\), depending only on \( \kappa ,\eta ,d,\delta \), and \(\Vert b\Vert \), such that, for any \(\rho \in (0,1]\),
4 Strong Markov and strong Feller properties of X
Here is one of basic results of this section. Its proof would be greatly simplified if we knew that X is strong Markov. Then we would use stopping times. Instead we use randomized stopping.
Theorem 4.1
Let \(p\ge d_{0}\), \(\lambda >0\), and \(f\in L_{p}(\mathbb {R}^{d})\). Then there exist \(\alpha \in (0,1)\) and N, depending only on \(p,d,\delta \), and \(\Vert b\Vert \), such that
The following is an immediate and well-known consequence of just continuity of \(R_{\lambda }f(x)\) with respect to x (see, for instance, Theorem I.8.11 in [3]).
Corollary 4.2
The process \((x_{t},{\bar{\mathcal {N}}} _{t+},P_{x})\) is strong Markov.
Perhaps it is worth recalling for the reader’s orientations that in our case \(\mathcal {N}_{t}\) is the Borel \(\sigma \)-field in \(C([0,t],\mathbb {R}^{d})\), \({\bar{\mathcal {N}}}_{t}\) is its completion with respect to the distributions of the trajectories of X starting from all points, \({\bar{\mathcal {N}}}_{t+}=\bigcap _{\varepsilon >0} {\bar{\mathcal {N}}}_{t+\varepsilon }\).
Note that strong Markov processes \((x_{t},{\bar{\mathcal {N}}} _{t},P_{x})\) corresponding to L in case b is bounded are constructed in [7] and strong Markov processes \((x_{t},{\bar{\mathcal {N}}} _{t+},P_{x})\) corresponding to L in case b is bounded are constructed in [2]. We show that any Markov process corresponding to L with \(b\in L_{d}\) is strong Markov with respect to \({\bar{\mathcal {N}}} _{t+}\). Theorem 4.1 will be proved after some preparations.
The following technical result is obtained by using Fubini’s theorem for \(f_{t}\) vanishing for \(t\ge T\) and then letting \(T\rightarrow \infty \).
Lemma 4.3
-
(i)
Let \(\phi _{t},\Psi _{t},f_{t}\) be nonnegative Borel functions on \([0,\infty )\) such that \(\Psi _{0}=1\), \(\Psi _{t}\) is continuous and decreasing. Then
$$\begin{aligned} \int _{0}^{\infty }e^{-\phi _{t}}f_{t}\,dt=- \int _{0}^{\infty }e^{-\phi _{t}}\Big (\int _{t}^{\infty } e^{-(\phi _{s}-\phi _{t})}f_{s}\,ds\Big )\,d\Psi _{t} +\int _{0}^{\infty }e^{-\phi _{t}}\Psi _{t}f_{t}\,dt. \end{aligned}$$ -
(ii)
Let \( f_{t}\) be a nonnegative Borel function on \([0,\infty )\) and let \(\phi _{t}\) and \(\psi _{t}\) be absolutely continuous on \([0,\infty )\) such that \(\phi _{0}=\psi _{0}\). Assume that
$$\begin{aligned} \int _{0}^{\infty }e^{-\phi _{t}}f_{t} +\int _{0}^{\infty }e^{-\psi _{t}}|\phi _{t}'-\psi _{t}'| \Big (\int _{t}^{\infty }e^{-(\phi _{s}-\phi _{t})}f_{s}\,ds\Big )\,dt <\infty . \end{aligned}$$Then
$$\begin{aligned} \int _{0}^{\infty }e^{-\phi _{t}}f_{t}\,dt= \int _{0}^{\infty }e^{-\psi _{t}}f_{t}\,dt- \int _{0}^{\infty }e^{-\psi _{t}}(\phi _{t}'-\psi _{t}') \Big (\int _{t}^{\infty }e^{-(\phi _{s}-\phi _{t})}f_{s}\,ds\Big )\,dt. \end{aligned}$$
In the sequel we use the parameter n that will be ultimately send to infinity. Note that by \(R _{n}(B_{R})\) one usually means the resolvent at \(\lambda =n\) of the process killed outside \(B_{R}\). Our notation has a different meaning. If \(n\rightarrow \infty \), our \(R _{n}(B_{R})\) converges to the resolvent at \(\lambda =0\) of the process killed outside \(B_{R}\).
Lemma 4.4
Let f be a nonnegative Borel bounded function on \(\mathbb {R}^{d}\). For Borel sets \(\Gamma \subset \mathbb {R}^{d}\) define
Also for \(R > 0\) set
Then
Furthermore, for any \(n\ge 1\)
Finally, for any Borel \(\Gamma \subset B_{R}\) and \(h^{n}=nR_{n}(B_{R})f\)
Proof
Equation (4.2) is obtained by using the Markov property of X and by applying Lemma 4.3 (ii) with \(\phi _{t}=t\), \(\psi _{t}=\phi _{t}(B_{R}^{c})\). To check that Lemma 4.3 (ii) is applicable we use Theorem 3.3 according to which
Equation (4.3) is obtained directly by using the Markov property and Lemma 4.3 (i) with \(\phi _{t}=\phi _{t}(B_{R}^{c})\), \(\Psi _{t}= \exp (-(n-1)\phi _{t}(B_{R}^{c}))\).
Finally, to get (4.4) it suffices in Lemma 4.3 (i) to take \(\phi _{t}=n\phi _{t}(B_{R}^{c})\), and \(\Psi _{t}=\exp (-n\phi _{t}(\Gamma ))\). The lemma is proved. \(\square \)
Remark 4.1
Send \(n\rightarrow \infty \) in (4.3) and (4.4) assuming that \(f=0\) in \(B_{R}\) in (4.4). Then intuitively we should get
where \(\tau _{\Gamma }\) is the first time \(x_{t}\) hits \(\Gamma \). The formulas we get this way are true indeed if we know that X is strong Markov (and that \(\tau _{\Gamma }\) makes sense and is a stopping time). Of course, u and h are the objects of main interest, but we cannot handle them because we do not know yet that X is strong Markov. That is why instead of using stopping times we use randomized ones when, for instance in case of (4.3), we stop \(x_{t}\) on each time interval dt it spends outside \(B_{R}\) with probability \((n-1)dt\) (provided it was not stopped before).
The next two lemmas are aimed at partially justifying what is said in Remark 4.1.
Lemma 4.5
Let c be a nonnegative function such that \(c\ge 1\) on \(B^{c}_{\rho }\). Then for any \(n,\rho ,\varepsilon >0\), and \(|x|<\rho +\varepsilon \)
where \(N=N(d,\delta ,\Vert b\Vert )\) and
Proof
We look at the representation of \(x_{t}\) as a solution of (2.2) with \(x_{0}=x\). Then after defining \(\gamma \) as the first time after \(\tau _{\rho +\varepsilon }\) the process \(x_{t}\) exits from \(B_{\varepsilon }(x_{\tau _{\rho +\varepsilon }})\) we note that
Here, by the conditional version of Theorem 2.10 of [10], the conditional expectation (a.s.) is dominated by \(2e^{-\sqrt{n}\,\varepsilon /N}\), and this proves the lemma. \(\square \)
Lemma 4.6
For Borel \(\Gamma \) and \(\rho >0\) define \(\Gamma _{\rho } =\Gamma \cap B_{\rho }\). Assume that \(\Gamma \) and \(\rho \) are such that \(|\Gamma _{\rho }|\ge (1/2)|B_{\rho }|\) and \(\Gamma _{3\rho } = \Gamma _{\rho }\cup \{2\rho \le |x|< 3\rho \}\). Then there are constant \(N,\nu >0\), depending only on \(d,\delta \), and \(\Vert b\Vert \), such that for any \(n>0\) and \(|x|\le (5/2)\rho \)
and for \(|x|\le \rho \)
Proof
Observe that
where for \(\gamma =|\Gamma _{\rho }|/|B_{2\rho }|\) (\(\ge 2^{-d-1}\)) owing to Theorem 3.7
This proves (4.6).
To prove (4.5) denote by \(\gamma \) the first exit time of \(x_{t}\) after \(\tau _{(5/2)\rho }\) from \(B_{(1/2)\rho }(x_{\tau _{(5/2)\rho }})\) and observe that
Here, by the conditional version of Theorem 2.10 of [10], the conditional expectation (a.s.) is dominated by \(2e^{-\sqrt{n}\,\rho /N}\), and this proves the lemma. \(\square \)
Before doing the next almost final step in our preparation to prove Theorem 4.1, take \(n\ge 1, R\in (0, 1]\), a bounded Borel \(g\ge 0\), such that \(g(x)=0\) for \(|x|<R\) and introduce
Observe that
The proof of the following lemma, actually, is just a simple adaptation of what is usually done in the theory of elliptic equations when they prove the Hölder continuity of harmonic functions associated with elliptic operators. Again lacking the strong Markov property and knowing nothing about the sets \(\Gamma ^{n}\), introduced below, apart from the fact that they are Borel, forces us to use randomized stopping times. Somewhat cleaner this adaptation is seen in our Sect. 6. Concerning the origin of our arguments see Section 9.6 in [9].
Lemma 4.7
There exist constants \(\alpha \in (0,1)\) and N, depending only on \(d, \delta \), and \(\Vert b\Vert \), and there exists a constant \(N'\), depending only on \(d, \delta \), \(\Vert b\Vert \), and \(\sup g\), such that for \(|x|\le R/12\) and any \(n\ge 1\) we have
Proof
For \(\rho >0\) introduce the notation
Take \(\rho >0\), such that \( \rho \le R/4\), and consider two cases
-
(a)
\(|B_{\rho }\cap \{h^{n}\ge \mu ^{n}_{\rho }\}| \ge (1/2)|B_{\rho }|\),
-
(b)
\(|B_{\rho }\cap \{h^{n}\le \mu ^{n}_{\rho }\}| \ge (1/2)|B_{\rho }|\).
In case (a) introduce \(\Gamma ^{n}=\big (B_{\rho }\cap \{h^{n}\ge \mu ^{n}_{\rho } \}\big ) \cup (B^{c}_{ 2\rho }\cap B_{R})\). By using (4.4) and Lemma 4.5 for \(|x|\le \rho \) we find that
where \(|\xi ^{n}(x)|\le N'e^{-\sqrt{n}\rho /N}\). Furthermore, \(h^{n}\ge \mu ^{n}_{\rho }\) on \(\Gamma ^{n}_{\rho }\) and \(h^{n}\ge m^{n}_{3\rho }\) in \(B_{3\rho }\). Hence
It follows by Lemma 4.6 (also note that \(\mu ^{n}_{\rho }-m^{n}_{3\rho }\ge 0\)) that for \(|x|\le \rho \)
which in light of the arbitrariness of x and (4.8) implies that
On the other hand, obviously
By subtracting the last two inequalities we get
where \(\theta =\theta (d,\delta ,\Vert b\Vert )=(1-\nu )/ (1-\nu /2)<1\).
In case (b) introduce \(\Gamma ^{n}=\big (B_{\rho }\cap \{h^{n}\le \mu ^{n}_{\rho } \}\big ) \cup (B^{c}_{ 2\rho }\cap B_{R})\). As in case (a), we have (4.9), where \(h^{n}\le \mu ^{n}_{\rho }\) on \(\Gamma ^{n}_{\rho }\) and \(h^{n}\le M_{3\rho }^{n}\) om \(B_{3\rho }\). Hence,
Here \(\mu ^{n}_{\rho }-M^{n}_{3\rho }\le 0\) and the last expectation is less than one. Then by (4.6)
which in light of the arbitrariness of x and (4.8) implies that
On the other, hand obviously
By subtracting the last two inequalities we get (4.9) again.
From (4.9) we see that
as long as \(3^{-k} \le R/4\), that is \(k\ge \lfloor \log _{3}(4/R)\rfloor =:k_{0}\). By observing that, for instance, \(\exp (-n3^{-2k}\rho ^{2}/N)\) is an increasing function of k we obtain, for \(k\ge k_{0}\)
For \(|x|\le R/12\) and \(k=\lfloor \log _{3}(1/|x|)\rfloor \) we have
where \(\alpha =-\log _{3}\theta \). Furthermore,
Now (4.7) follows. The lemma is proved. \(\square \)
Proof of Theorem 4.1
Self-similarity transformations show that we may assume that \(\lambda =1\). Furthermore, obviously we may assume that \(f\ge 0\). Estimate (3.3) allows us to assume that f is bounded and continuous. Then take \(R\in (0,1]\), \(n\ge 2\), and take \(g=I_{B_{R}^{c}}R _{1}(B_{R})f\) in Lemma 4.7. Observe that by (4.3) we have \(h^{n}\le 2R_{1}(B_{R})f\). Furthermore, in light of (4.3), Lemma 4.7, and Theorem 3.3, for \(0<|x|\le R/12\) we have
where \(N'\) is independent of n. By sending \(n\rightarrow \infty \) and taking onto account that \(R\le 1\) we come to
By applying this result to (4.2) and using Corollary 3.5, according to which \(|u|\le N\Vert f\Vert _{L_{p}(\mathbb {R}^{d})}\), and also using (3.5), which implies \(R_{1}(B_{R})I_{B_{R}}\le N R^{d/p}\) for \(R\le 1\), we obtain
If \(2-d/p\le d/p\), we take here \(R=|x|^{\beta }\), where \(\alpha \beta ^{-1}=2-d/p+\alpha \), and we get
provided that \(|x|\le R/12=|x|^{\beta }/12\), that is \(|x|\le \eta =\eta (d,\delta ,p,\Vert b\Vert )\). For \(|x|\ge \eta \) estimate (4.10) holds due to Theorem 3.3. However, if \(2-d/p>d/p\), we find \(\beta \) from \(\beta (d/p+\alpha )=\alpha \) and again come to (4.10).
This proves (4.1) for \(\lambda =1\) and \(y=0\). Shifting the coordinates take care of arbitrary x, y. The theorem is proved. \(\square \)
To prove that X is strong Feller we need the following generalization of a result of Lions [14], proved in case b is bounded and \(p> d\), which was generalized in [6] albeit when \(b=0\) but with \(p\ge d_{0}\).
Theorem 4.8
For any \(p\ge d_{0}\) there are constants N and \(\mu >0\), depending only on \(d,p,\delta \), and \(\Vert b\Vert \), such that for any Borel nonnegative f given on \(\mathbb {R}^{d}\) and \(t>0\) we have
where \(\Phi _{t}(x)=\exp (-\mu |x|/\sqrt{t})\).
Proof
The proof is quite similar to what is done in [14] and [6]. First fix \(\varepsilon \in (0,1)\) and let \(F_{\varepsilon }\) be the set of Borel f such that \(\varepsilon \le f(x)\le \varepsilon ^{-1}\) for any x. Then introduce
where the choice of \(\mu \) (in \(\Phi _{1}\)) will be specified later and the supremum is taken over all \(f\in F_{\varepsilon }\) and over all diffusion processes X, for which Assumption 1.1 is satisfied (\(\delta \) and \(\Vert b\Vert \) are fixed). Obviously, \(K_{\varepsilon }<\infty \). Also observe that self-similarity arguments easily show that (4.11) holds with \(N=K_{\varepsilon }\) if \(f\in F_{\varepsilon }\). Shifting the origin shows that for \(f\in F_{\varepsilon }\), \(t>0\), and \(x\in \mathbb {R}^{d}\)
Now, define \(u(t,x)=T_{t}f(x)\) and observe that by the Markov property for \(s\in (0,1)\)
By using Theorem 3.4 we obtain
where
and \(\nu \) is the least of the constants called \(\mu \) in Theorems 3.4 and 3.3 . As is easy to see
which by Theorem 3.3 yields
where, perhaps, the second \( \nu \) is different from the first one. We allow ourselves to use \( \nu \) as a generic constant \(>0\) depending only on \(p, d,\delta \), and \(\Vert b\Vert \). By Hölder’s inequality
where \(q=p/(p-1)\) and
Since \(|x|+|x-y|\ge (1/2)(|x|+|y|)\), we have
In (4.14) we use \(\mu \) in place of \(\nu \) because this is the way we introduce \(\mu =\mu (p,d,\delta ,\Vert b\Vert )>0\), which is used in the definitions of \(\Phi _{t}\) and \(K_{\varepsilon }\).
We can certainly assume that \(\mu \) is less than or equal to the first \(\nu \) above and in what concerns I observe that owing to (4.12) for \(t\in [1/2,1]\) we have
Hence
and coming back to (4.13) we get
Because of the definition of \(K_{\varepsilon }\) it follows that
After that it only remains to send \(\varepsilon \downarrow 0\) observing that the last N as well as \(\mu \) depend only on \(p, d,\delta \), and \(\Vert b\Vert \). The theorem is proved. \(\square \)
Remark 4.2
Once we know that (4.11) holds for Borel nonnegative f, we can repeat the argument from the beginning of the above proof and conclude that for all Borel nonnegative f, \(t>0\), and \(x\in \mathbb {R}^{d}\),
Corollary 4.9
For \(p\ge d_{0}\) such that \(p>d/2+1\) there exists a constant \(N=N(p,d,\delta ,\Vert b\Vert )\) such that for any \(T\in (0,\infty )\) and nonnegative Borel f(t, x) given on \([0,T]\times \mathbb {R}^{d} \) we have
Indeed,
and it only remains to use Hölder’s inequality.
Remark 4.3
Observe that the usual parabolic Aleksandrov estimate gives (4.16) with \(p\ge d+1\). We were able to reduce p because a is independent of t. Also note that in [8] there is an example showing that (4.16) and (4.15) generally (when a is independent of t) fail to hold for any fixed \(p<d\) if \(\delta \) can be chosen small enough. In that regard see also the example in [6], that appeared a few years later than [8].
The following is deduced from (4.15) in the same way as (3.6) in Corollary 3.5 is derived from Theorem 3.4.
Corollary 4.10
For \(q\ge p\ge d_{0}\) there exists a constant \(N=N(p,q,d,\delta ,\Vert b\Vert )\) such that for any \(t>0\) and nonnegative Borel f
Remark 4.4
The fact that the semigroup \(T_{t}\) is bounded in \(L_{p}\), which follows from Corollary 4.10 with \(p=q\) , should not look very surprising and follows by self-similarity from the boundedness of \(T_{1}\) (which, however, is not trivial).
Corollary 4.11
For \( p\ge d_{0}\) and \(f\in L_{p}(\mathbb {R}^{d})\)
Indeed, in light of Corollary 4.10 (with \(q=p\)) we may concentrate on \(f\in C^{\infty }_{0}(\mathbb {R}^{d})\). In that case by Itô’s formula
where \(Lf\in L_{d_{0}}(\mathbb {R}^{d})\). Hence, by Corollary 4.10
and the last integral tends to zero as \(t\downarrow 0\) since \(d_{0}>d/2\).
Theorem 4.12
The process X is strong Feller in the sense that for any bounded Borel f given on \(\mathbb {R}^{d}\) the function \(T_{t}f(x)\) is continuous on \((0,\infty )\times \mathbb {R}^{d}\).
Proof
In light of Theorem 4.8 we may concentrate on smooth compactly supported f’s. In that case we are going to prove that \(T_{t}f(x)\) is continuous in \([0,\infty )\times \mathbb {R}^{d}\). Observe that for \(t\ge s\ge 0\) we have
where the last inequality follows from Theorem 3.1. We see that \(T_{t}f(x)\) is continuous in \([0,\infty )\) uniformly with respect to x.
Next, for our f Theorem 3.1 easily implies that \(\lambda R_{\lambda }f\rightarrow f\) as \(\lambda \rightarrow \infty \) uniformly with respect to x. After that the continuity of \(T_{t}f(x)\) with respect to x follows from the fact that
where the right-hand sides are continuous in x due to Theorem 4.1 and the left-hand sides converge uniformly in x to \(T_{t}f(x)\). The theorem is proved. \(\square \)
We finish the section by a version of parabolic Aleksandrov estimates.
Theorem 4.13
Let D be a bounded domain in \(\mathbb {R}^{d}\), \(p\ge d_{0}\), \(p>d/2+1\), \(T\in (0,\infty )\) and let \(u\in W^{1,2}_{p,\text {loc}}((0,T)\times D)\cap C([0,T]\times {\bar{D}})\). Then there is a constant N, depending only on \(d,\delta ,\Vert b\Vert \), and T, such that in \([0,T]\times D\) we have
Proof
In the same way as in the proof of Theorem 3.1 of [10] we convince ourselves that we may assume that \(u\in W^{1,2}_{p }((0,T)\times D)\), D is smooth, and b is bounded. In that case it suffices to prove (4.18) for \(u\in C^{1,2}([0,T]\times {\bar{D}})\). For such u, by Itô’s formula \(P_{0}\)-(a.s.) for all \(t\le T\)
and the stochastic integral is a martingale, where \(\tau \) is the first exit time of \((t,x_{t})\) from \([0,T)\times D\). By setting \(t=T\) and taking expectations we get
After that it only remains to use Corollary 4.9. The theorem is proved. \(\square \)
5 Estimating time spent in space-time sets of small measure
Here we present extensions to the case that \(b\in L_{d}\) of probabilistic versions of some PDE results found in [9, 13, 16]. Recall the notation introduced before Theorem 3.8 and also introduce
\(C^{o}_{R}=C^{o}_{R}(0,0)\). Fix
For cylinders \(Q= C^{o}_{ \rho }(t ,x ) \) define
Imagine that the t-axis is pointed up vertically. Then \(Q'\) is adjacent to Q from below, the two cylinders have a common base, and along the t-axis \(Q'\) is \(\eta ^{-1}\) times longer than Q. The cylinder \(Q''\) is obtained by contracting \(Q'\) to the center of its lower base with the contraction factor \(\kappa ^{-2}\) for the t-axis and \(\kappa ^{-1}\) for the spatial axes.
Remark 5.1
If \(Q= C^{o}_{ \rho }(t ,x )\), then the shortest distance between Q and \(Q''\) along the t axis is
which is bigger than \(2\rho ^{2}\) if
Let \(\Gamma \) be a measurable subset of \(C_{1}\) and introduce \(\mathcal {B}=\mathcal {B}(\Gamma ,q)\) as the family of open cylinders Q of type \( C^{o}_{ \rho }(t_{0},x_{0})\) such that
Finally, define
Observe that for \(Q\in \mathcal {B}\) the set \(Q''\) is open. Hence, \(\Gamma ''\) is open and measurable.
Lemma 5.1
If \(|\Gamma |\le q|C_{1 }|\), then
and there exists \(\theta =\theta (d,q,\eta ,\kappa )>1\) such that for any sufficiently small \(\varepsilon >0\) there exists a closed \(\Gamma _{\varepsilon } \subset \Gamma ''_{\varepsilon }\) such that
The first assertion of the lemma originated in [13, 16], is presented, for instance as Lemma 9.3.6 in [9]. The second one is proved in the same way as the second assertion of Lemma 4.7 of [11].
Lemma 5.2
Let \(\kappa \in (0,1)\). Then there is a constant \(q_{0}=q_{0}(\kappa ,d,\delta ,\Vert b\Vert ) \in (0,1)\) such that for any \(R\in (0,\infty )\), Borel set \(\Gamma \subset C_{R}\) satisfying \(|\Gamma |\ge q_{0}|C_{R}|\), and \(x\in B_{\kappa R}\) we have
where \(\mu _{0}=\mu _{0}(d,\delta ,\Vert b\Vert , \kappa )\in (0,1)\).
Proof
As usual we let \(R=1\). Then observe that by Lemma 2.13 of [10] we have \(E_{x}(\tau _{1}\wedge 1)\ge \nu =\nu (d,\delta ,\Vert b\Vert ,\kappa )>0\). By using Corollary 4.9 we get that
where the constants N depend only on \(\kappa ,d,\delta \), and \(\Vert b\Vert \). We see how to choose \(q_{0}\) to satisfy (5.4) with a \(\mu _{0}=\mu _{0}(d,\delta ,\Vert b\Vert , \kappa )\in (0,1)\). The lemma is proved. \(\square \)
In Lemma 5.3 by \(q_{0}\) we mean the one from Lemma 5.2.
Lemma 5.3
Take \(Q= C^{o}_{ \rho }(s,y) \), use the notation \(Q',Q'',Q'_{+}\) introduced above, assume (5.2), and suppose that Borel \(\Gamma \subset Q\) is such that \(|\Gamma |\ge q_{0}|Q|\). Then there is a constant \(\nu _{0}>0\), depending only on \(\eta ,\kappa ,d,\delta ,\Vert b\Vert \), such that for any \((t_{0},x_{0})\in Q''\)
where \(\tau \) is the first exit time of \((t_{0}+t,x_{t})\) from \(Q'_{+}\).
Proof
Thanks to (5.2) and Remark 5.1 we have \(s-t_{0}\in (2\rho ^{2}, \eta ^{-1}\rho ^{2})\). Also \(|y-x_{0}|<\kappa \rho \). It follows by Theorem 3.9 that
where \(\nu =\nu (\kappa ,\eta ,d,\delta , \Vert b\Vert )>0\).
Next. for \(\gamma \) defined as the first exit time of \((t_{0}+t,x_{t})\) from \(Q'\) in light of Lemma 5.2 we have
On the other hand, the height of \(Q'_{+}\) is \((1+\eta ^{-1}) \rho ^{2}\), so that \((t_{0}+t,x_{t})\) cannot spend in \(Q'_{+}\) more time than \((1+\eta ^{-1}) \rho ^{2}\). This proves the lemma. \(\square \)
Theorem 5.4
For any \(\kappa \in (0,1)\) there exists \(\gamma \in (0,1)\) and N, depending only on \(\kappa ,d,\delta ,\Vert b\Vert \), such that for any \(R\in (0,\infty )\), \(q\in (0,1)\), Borel \(\Gamma \subset C_{R}(R^{2},0)\) satisfying \(|\Gamma |\ge q |C_{R}(R^{2},0)|\), and \(x\in B_{\kappa R}\) we have
Proof
Self-similar transformations allow us to assume that \(R=1\) and write \(G (\Gamma ,x)\) instead of \(G_{1}(\Gamma ,x)\). Then find and fix \(q_{0},\eta ,\kappa \in (0,1)\), depending only on \(d,\delta ,\Vert b\Vert \), such that (5.2) holds, \(\theta \) from Lemma 5.1 is strictly bigger than 1, and (5.4) holds whenever \(|\Gamma |\ge q_{0}|C_{R}|\). Clearly we can find such \(\kappa \in (0,1)\) which is larger than the one in the statement of the theorem.
It is convenient to introduce a function \(\mu (q)\) as the infimum of the left-hand sides of (5.6) (with \(R=1\)) over all Borel \(\Gamma \subset C_{1}(1,0)\) satisfying \(|\Gamma | \ge q|C_{1}(1,0)|\) and over all \(x\in B_{\kappa }\). Observe that a combination of Lemma 5.2 and Theorem 3.9, as in the proof of Lemma 5.3, leads to the conclusion that there exists \(q_{0},\mu _{0}\in (0,1)\), depending only on \(\eta ,\kappa ,d,\delta ,\Vert b\Vert \), such that
for \(q\in [q_{0},1]\).
We will be comparing \(\mu (q')\) and \(\mu (q'')\) for \( 0<q'<q''<1\) such that
We take a Borel \(\Gamma \subset C_{1}(1,0)\) satisfying \(|\Gamma |\ge q' |C_{1}(1,0)|\) and in the construction before Lemma 5.1 we replace \(C_{1}\) by \(C_{1 }(1,0)\), keep all other notation, and from the chosen \(\Gamma ,\kappa ,\eta \), and \(q_{0}\) (not \(q'\)) we build up the sets \(\Gamma _{\varepsilon }\) and take \(\varepsilon \) so small that (5.3) holds. There are two cases:
-
(i)
\(\big |\Gamma _{\varepsilon }\setminus C_{1 }(1,0)\big |\le (q''-q')|C_{1 }|\),
-
(ii)
\(\big |\Gamma _{\varepsilon }\setminus C_{1 }(1,0)\big |> (q''-q')|C_{1 }|\).
Case (i ). Our goal is to show that
where \(\nu _{0}\) depends only on \(\kappa ,\eta ,d,\delta ,\Vert b\Vert \).
Observe that, if \(|\Gamma |\ge q_{0}|C_{1 }|\), by definition \(G (\Gamma ,x)\ge \mu (q_{0})\ge \mu _{0}\) for \(|x|\le R\). Hence, we may assume that
In that case define
Notice that by definition and Lemma 5.1
Moreover, by assumption
Due to (5.7), it follows that
so that
We now estimate \(G( \Gamma ,x)\) from below by means of \(G(\hat{\Gamma }_{\varepsilon },x)\) using Lemma 5.3. Since \(\Gamma _{\varepsilon } \subset \Gamma ''_{\varepsilon }\), the closed set \(\Gamma _{\varepsilon }\) is covered by the family \(\{Q'':Q\in \mathcal {B},|Q|\ge \varepsilon \}\). Then there is finitely many \(Q(1),...,Q(n)\in \mathcal {B}\) such that \(|Q(i)|\ge \varepsilon \), \(i=1,...,n\), and
Then for \((t,x)\in \Pi _{\varepsilon }\) define i(t, x) as the first \(i\in \{1,...,n\}\) for which \((t,x)\in Q''(i)\). Also set \(Q'_{+}(0)=C_{2,1}\) and \(i(t,x)=0\) if \((t,x)\in \partial C_{2,1}\). Now define recursively \(\gamma ^{0}=0\), \(\tau ^{1}\) as the first time after \(\gamma ^{0}\) when \((t,x_{t})\) exits from \(C _{2,1}\setminus \Gamma _{\varepsilon }\), \(\gamma ^{1}\) as the first time after \(\tau ^{1}\) when \((t,x_{t})\) exits from \(Q' _{+}(i(\tau ^{1},x_{\tau ^{1}}))\), and generally, for \(k=2,3,...\) define \(\tau ^{k}\) as the first time after \(\gamma ^{k-1}\) when \((t,x_{t})\) exits from \(C_{2,1}\setminus \Gamma _{\varepsilon }\), \(\gamma ^{k}\) as the first time after \(\tau ^{k}\) when \((t,x_{t})\) exits from \(Q'_{+}(i(\tau ^{k},x_{\tau ^{k}}))\). It is easy to check that so defined \(\tau ^{k}\) and \(\gamma ^{k}\) are stopping times and, since \(|Q(i)|\ge \varepsilon \) and the trajectories of \((t,x_{t})\) are continuous, \(\tau ^{k}\uparrow \tau _{1}\wedge 2\) as \(k\rightarrow \infty \). Furthermore, (a.s.) all the \(\tau ^{k}\)’s equal \(\tau _{1}\wedge 2\) for all large k.
For a domain \(Q\subset \mathbb {R}^{d+1}\) we denote by \(\gamma (s,Q)\) the first exit time of \((s+t,x_{t})\) from Q and by the strong Markov property obtain
We estimate the interior expectation from below by Lemma 5.3 and get
This proves (5.8).
Case (ii). Here the goal is to prove that
where \(\nu >0\) and \(n\ge 1\) depend only on \(d,\delta ,\Vert b\Vert ,\eta \), and \(\kappa \).
First we claim that for some \((t,x)\in \Gamma _{\varepsilon }\) it holds that \(t<q'-q''+1\). Indeed, otherwise \(\Gamma _{\varepsilon }\setminus C_{1}(1,0) \subset C_{q''-q',1}(q'-q''+1,0)\) and \(|\Gamma _{\varepsilon }\setminus C_{1}(1,0)|\le (q''-q')|C_{1}|\). It follows that there is a cylinder
such that \(Q'\) contains points in the half-space \(t<q'-q''+1\). Since \(q'<q''\), we have \(q'-q''+1<1\), and since \(Q'\) is adjacent to \(Q\subset C_{1 }(1,0)\), this implies that the height of \(Q'\) is at least \(q''-q'\), that is,
On the other hand, \(Q\subset C_{1}(1,0)\), \(s>1\), and \(\rho < 1\).
Moreover, by construction, \(|\Gamma \cap Q|\ge q_{0}|Q|\) and by Lemma 5.2
if \(|x-y|\le \kappa \rho \), where \(\tau \) is the first exit time of \((s+t,x_{t})\) from \(C_{ \rho }(s,y)\). Now by Theorem 3.9 for \(x\in B_{\kappa }\)
This proves (5.9).
By combining the two cases (i) and (ii) we conclude that
and the arbitrariness of \(\Gamma \) allows us to conclude that
whenever (5.7) holds. Observe that (5.11) is identical to (9.3.10) of [9] and by literally repeating what is in [9], just replacing \(\xi \) there with our \(\theta \), we come to (5.6). The theorem is proved. \(\square \)
The following three results are derived from Theorem 5.4 in the same way as similar results are derived from Theorem 4.1 of [11].
Corollary 5.5
For any \(\kappa \in (0,1)\) there exists \(N=N(d,\delta ,\Vert b\Vert ,\kappa )\) such that, for any \(R\in (0,\infty )\), \(x\in B_{\kappa R}\), and closed set \(\Gamma \subset C_{R}(R^{2},0)\), the probability that the process \((t,x_{t})\) with \(x_{0}=x\) reaches \(\Gamma \) before exiting from \(C_{2R^{2},R}\) is greater than or equal to \(N^{-1} (|\Gamma |/|C_{R}|)^{\mu -1/d_{0}}\):
where \(\tau _{\Gamma } \) is the first time \((t,x_{t})\) hits \(\Gamma \), \(\tau _{2R^{2},R}\) is the first exit time of \((t,x_{t})\) from \(C_{2R^{2},R}\), \(\mu =1/\gamma \), and \(\gamma \) is taken from Theorem 5.4.
Corollary 5.6
For any Borel nonnegative f vanishing outside \(C_{R}(R^{2},0)\) and \(x\in B_{\kappa R}\)
where \(N=N(d,\delta ,\Vert b\Vert ,\kappa )\).
Theorem 5.7
Let \(p\in [d_{0},\infty )\), \(u\in W^{1,2}_{p,\text {loc}}(C_{2,1})\cap C({\bar{C}}_{2,1})\), and \(c\in L_{p}(C_{2,1})\) \(c\ge 0\). Then
where \(\partial _{t}=\partial /\partial t\), \(\partial ' C_{2,1}= \partial C_{2,1}\setminus (\{0\}\times B_{1})\), \(\mu \) is taken from Corollary 5.5 and N depends only on \(d,\delta ,\Vert b\Vert ,p\), and \( \Vert c\Vert _{L_{p}(C_{2,1})}\).
It is worth emphasizing that in (5.13) the restriction on p is \(p\ge d_{0}\) and \(d_{0}<d\). If a depended on t, p would be \(>d\).
Theorem 5.7 is similar to Theorem 9.4.1 of [9] and in the same way as Theorem 9.4.9 of [9] is derived from it (by using a simple trick) one derives from Theorem 5.7 the following.
Theorem 5.8
Let \(p\in [d_{0},\infty )\), \(u\in W^{1,2}_{p,\text {loc}}(C_{ 1})\cap C({\bar{C}}_{ 1})\), and \(c\in L_{p}(C_{ 1})\), \(c\ge 0\). Then
where \(\partial ' C_{ 1}=\partial C_{ 1}\setminus (\{0\}\times B_{1})\), \(\mu \) is taken from Corollary 5.5 and N depends only on \(d,\delta ,\Vert b\Vert ,p\), and \( \Vert c\Vert _{L_{p}(C_{ 1})}\).
In the next section we will need the following.
Theorem 5.9
Let \(\kappa ,\eta ,\zeta , q\in (0,1)\), \(R\in (0,\infty )\), \(T\in [\eta R^{2},\eta ^{-1}R^{2}]\), and closed \(\Gamma \subset C_{T,R}\) be such that \(|\Gamma \cap C_{\zeta T,R}((1-\zeta )T,0)|\ge q |C_{\zeta T,R}|\). Then there exists \(p_{0}=p_{0}(\kappa ,\eta ,\zeta ,q,d,\delta ,\Vert b\Vert )>0\) such that, for \((t_{0},x_{0})\in C_{(1-\zeta )T, \kappa R}\),
where \(\tau _{\Gamma }\) is the first time \((t_{0}+t,x_{t})\) hits \(\Gamma \) and \(\tau _{T,R}\) is its first exit time from \(C_{T,R}\).
Proof
As usual assume that \(R=1\). Then observe that one can choose \(\rho >0\) depending only on \(d,\eta ,\zeta \), and q and one can find \((t^{0},x^{0})\in C_{T,1}\) with \(t^{0}\ge \rho ^{2} +(1-\zeta )T\) such that \(C_{\rho }(t^{0}+\rho ^{2},x^{0})\subset C_{T,1}\) and \(|\Gamma \cap C_{\rho }(t^{0}+\rho ^{2},x^{0})| \ge {\bar{q}}|C_{\rho } |\), where \({\bar{q}}>0\) depends only on \(d,\eta ,\zeta \), and q. Then by Corollary 5.5, for \(x\in \kappa B_{\rho }(x^{0})\) the \(P_{x}\)-probability that the process \((t^{0}+t,x_{t})\) will hit \(\Gamma \) before exiting from \(C_{2\rho ^{2},\rho }(t^{0} ,x^{0})\) is estimated from below by a strictly positive constant depending only on \(\kappa ,\bar{q},d,\delta ,\Vert b\Vert \). After that it only remains to invoke Theorem 3.9 recalling that \(t^{0}\ge \rho ^{2} +(1-\zeta )T\). The theorem is proved. \(\square \)
6 Harnack inequality, Hölder continuity of X-caloric functions, and some other results
Safonov, [17], considered the case of the coefficients of L so regular that X-harmonic functions are sufficiently smooth and gave the estimate of the Hölder norm of X-harmonic functions and the estimate of the Harnack constant for them independent of the imposed regularity of L in terms of only \(d,\delta ,\Vert b\Vert \). We emphasize that \(\Vert b\Vert \) is a bound of the \(L_{d}\)-norm of b. Our case is not covered by [17], since the origin of our X is unknown and it is unknown if and in which sense it can be approximated by processes with regular coefficients. At the same time some arguments here are quite close to those in [17] as well as to those in [9, 13, 16].
Definition 6.1
If Q is a set in \(\mathbb {R}^{d+1}=\{(t,x) :t\in \mathbb {R},x\in \mathbb {R}^{d}\}\) and u is a bounded Borel function on Q, we call it caloric (relative to the process X) if for any (s, y) and \(T,R\in (0,\infty )\) such that \({\bar{C}}_{T,R}(s,y)\subset Q\) and any \((t_{0},x_{0})\in C:=C_{T,R}(s,y)\) we have
where \(\tau _{C}\) is the first exit time of \((t_{0}+ t,x_{t})\) from C.
If D is a set in \(\mathbb {R}^{d} \) and u is a bounded Borel function on D, we call it harmonic (relative to the process X) if for any y and \(R\in (0,\infty )\) such that \({\bar{B}}_{R}(y)\subset D \) and any \(x\in B_{R}(y)\) we have
where \(\tau _{R}(y)\) is the first exit time of \(x_{t}\) from \(B_{R}(y)\).
Remark 6.1
If u is harmonic in D and \({\bar{B}}_{R}(y)\subset D \) and \(x\in B_{R}(y)\), then by using the Markov property of X we find
which implies that u is a caloric function in \(\mathbb {R}\times D\). Also if u is caloric in Q, \({\bar{C}}_{T,R}(s,y)\subset Q\) and \((t_{0},x_{0})\in C:=C_{T,R}(s,y)\), then by the strong Markov property for any stopping time \(\tau \le \tau _{C} \) we have
Here is the statement of the Harnack inequality.
Theorem 6.1
Let \(\theta >1\), let \(R\in (0,\infty ]\), and let u be a nonnegative caloric function in \({\bar{C}}_{\theta R^{2},R}\). Then there exists a constant N, which depends only on \(\theta \), \(\delta \), \(\Vert b\Vert \), and d, such that
whenever \(|x|\le R/2\).
Proof
As usual without loss of generality we may concentrate on \(R=2\). Then the case of general \(\theta >1\) is reduced to that of \(\theta \ge 2\) by appropriate change of the time variable \(t\rightarrow \tau (t)\). One more observation that the best constant N is obviously decreasing in \(\theta \), allows us to restrict our attention to the case of \(\theta =2\).
In case \(R=\theta =2\), to exclude a trivial situation, additionally assume that
For \(\kappa =1/2,\eta =1/2\), we take N and \(\nu \) from Theorem 3.9, call this N \(N_{1}\), and, having in mind Theorem 3.8, find \(\gamma \in (0,1)\) close to 1 and \(\varepsilon >0\) close to zero, for which
Next, for \(r\in [0,1)\), introduce
and define \(r_{0}\) as the greatest number in \(r\in [0,1)\) satisfying
Such a number does exist because \(n(0)=\mu (0)\), \(\mu (r)\rightarrow \infty \) as \(r\uparrow 1\), and n(r) is bounded, increasing, and right continuous. Choose \((t^{ \varepsilon },x^{ \varepsilon }) \in \bar{C}_{ r_{0}}(4,0)\) such that \(n(r_{0})\le (1+\varepsilon ) u(t^{ \varepsilon },x^{ \varepsilon })\) and consider the cylinder
As is easy to see \({\bar{Q}}\subset {\bar{C}}_{ r_{1}}(4,0)\), where \(r_{1}=(1+r_{0})/2 \). By the definition of \(r_{0}\), this implies that
We claim that owing to this and (6.2),
To argue by contradiction, assume (6.3) is false. Then
and there is a closed set \(\Gamma \subset Q\cap \big \{ u\le n(r_{0})/2\big \}\) such that \(|\Gamma |> \gamma |Q|\). Introduce \(\tau _{\Gamma }\) as the first time the process \((t^{\varepsilon }+t,x_{t})\) hits \(\Gamma \) and \(\tau _{Q}\) as the first time it exits from Q. It follows by Remark 6.1 and Theorem 3.8 that (note that \(n(r_{0})/2\le \sup _{{\bar{Q}}}u\))
We now have
which is impossible. This proves (6.3).
Next we apply Theorem 5.9 and get that
if \(|x-x^{\varepsilon }|\le (1-r_{0})4^{-1}\), where \(p_{0}=p_{0}( d,\delta ,\Vert b\Vert , \gamma )>0\). After that it only remains to apply Theorem 3.9 to conclude that for \(|x|\le 1\) we have
The theorem is proved. \(\square \)
Since harmonic function are also caloric we have the following.
Corollary 6.2
Let \(R\in (0,\infty ]\) and let u be a nonnegative harmonic function in \(B_{2R}\). Then for any \(x,y\in B_{R}\) we have \(u(x)\le Nu(y)\), where \(N=N(d,\delta ,\Vert b\Vert )\).
Corollary 6.3
Let \(R\in (0,\infty ]\) and let \(u\in W^{2}_{d_{0}}(B_{2R})\) be a nonnegative function satisfying \(Lu=0\) (a.e.) in \(B_{2R}\). Then for any \(x,y\in B_{R}\) we have \(u(x)\le Nu(y)\), where \(N=N(d,\delta ,\Vert b\Vert )\).
Indeed, by Theorem 1.3 of [11] Itô’s formula is applicable and it shows that u is harmonic in \(B_{2R}\).
In the next part of the section we deal with Hölder norm estimates for harmonic functions and potentials. If \(z_{1}=(t_{1}, x_{1})\) and \(z_{2}=(t_{2}, x_{2})\), we define
and call \(\rho (z_{1},z_{2})\) the parabolic distance between \(z_{1}\) and \(z_{2}\).
Lemma 6.4
Let \(R\in (0, \infty ]\) and let u be a caloric function in \({\bar{C}}_{2R}\). Then there exist constants N and
depending only on \(\delta ,d,\Vert b\Vert \), such that, for any \(\alpha \in (0,\alpha _{0}]\) and \(z_{1},z_{2}\in C_{ R}\), we have
Furthermore, \(\sup (|u|,{\bar{C}}_{ 2R})\) in (6.5) can be replaced by \(\mathop {\hbox {osc}}\limits (u,{\bar{C}}_{ 2R})\), where we use the notation
Proof
The case that \(R=\infty \) is obtained by passing to the limit and the case \(R\in (0,\infty )\) reduces to \(R=1\) by using self-similarity. In that case for \(r\in (0,2]\), set
Take \(r\le 1/2\) and suppose that
Then there is a closed \(\Gamma \subset C_{ 2r}\cap \big \{ u\le \mu (r)\big \}\) such that
By Theorem 5.9 for any \((t_{0},x_{0}) \in {\bar{C}}_{r}\) we have
where \(p_{0}>0\) depends only on \(\delta ,d,\Vert b\Vert \), \(\tau _{\Gamma }\) is the first time \((t_{0}+t,x_{t})\) hits \(\Gamma \), \(\tau _{2r}\) is its first exit time from \(C_{2r}\). Then by Remark 6.1 for \(\tau =\tau _{\Gamma }\wedge \tau _{2r}\)
(we used that \(\mu (r)\le M(2r)\)). It follows that
Adding to this the obvious inequality
we get
where \(\varepsilon <1\), \(\varepsilon = \varepsilon (d,||b||,\delta )\). We may, certainly, assume that \(\varepsilon >1/2\).
We have proved (6.7) assuming that (6.6) is true. However if (6.6) is false, then \(-u\) satisfies an inequality similar to (6.6) and this leads to (6.7) again.
Therefore, \(w(r)\le \varepsilon w(2r)\) for all \(r\le 1/2\). Iterations then yield
If \(r\le 1/2\) and we take \(n:=\lfloor -\log _{2}r\rfloor \), then \(r\le 2^{-n}\) and
where \(\alpha =-\log _{2}\varepsilon \in (0,1)\). This provides an estimate of the oscillation of u in any \(C_{r}\) with \(r\le 1/2\). The same estimate obviously holds for the oscillation of u in any \( C_{ r}(t,x)\subset C_{ 2}\) as long as \(r\le 1/2\).
Now take \(z_{1}=(t_{1},x_{1}),z_{2}=(t_{2},x_{2})\in C_{1}\) such that \(r:=\rho (z_{1},z_{2})\le 1/2\) and define
Then we have \(z_{i}\in {\bar{C}}_{ R}(t,x)\), \(i=1,2\), and
In the case that \(\rho (z_{1},z_{2})\ge 1/2\) we have
Thus, \(N=2^{1+\alpha }+2 \varepsilon ^{-1} \) in (6.5) is always a good choice with \(R=1\) and \(\alpha =\alpha (\delta ,d)\) found above. One can take any smaller \(\alpha \) as well since \(\rho (z_{1},z_{2})\le N(d)R\). The lemma is proved. \(\square \)
Theorem 6.5
Let \(R\in (0,\infty )\), \(p\ge d_{0}\), \(p>d/2+1\), let g be a Borel bounded function on \({\bar{C}}_{2R}\) and \(f\in L_{p}(C_{2R})\). For \((t_{0},x_{0})\in C_{2R}\) define
where \(\gamma _{2R}\) is the first exit time of \((t_{0}+t,x_{t})\) from \(C_{2R}\). Then there exists a constant N, which depends only on \(p,d,\Vert b\Vert \), and \(\delta \), such that
for \(z_{1}\), \(z_{2}\in C_{ R}\) and \(\alpha \in (0,\alpha _{0}]\).
Proof
Parabolic scalings allow us to only concentrate on the case that \(R=1\). After that it only remains to observe that \(h(t_{0},x_{0}): =E_{x_{0}}g(t_{0}+\gamma _{2R},x_{\gamma _{2R}})\) is a caloric function, to which Lemma 6.4 is applicable, and \(u(t_{0},x_{0})-h(t_{0},x_{0})\) is estimated by Corollary 4.9. The theorem is proved. \(\square \)
Here is a version of Theorem 6.5 which sometimes is slightly more convenient.
Theorem 6.6
Under the conditions of Theorem 6.5 there exists a constant N, which depends only on \(p,d,\Vert b\Vert \), and \(\delta \), such that
for \(z_{1}\), \(z_{2}\in C_{R}\), where
and \(\alpha =\alpha _{0}(\delta ,d)\) is the constant from Theorem 6.5 (or Lemma 6.4).
Proof
Fix \(z_{1}\), \(z_{2}\in C_{R}\). Since there is the sup norm of u on the right, it suffices to prove (6.9) assuming that
Then set
If \(z_{i}=(t_{i},x_{i})\), \(i=1,2\), without losing generality we may assume that \(t_{1}\le t_{2}\). Then for
we have
Since \(z_{1}\in {\bar{C}}_{R}\), we have \(|x_{1}|\le R\) and \(t_{1}\le R^{2}\) and, for any of the inequalities (6.10) to go wrong, we have to have \({\bar{R}}\ge R\), that is,
which is only possible if \(\rho (z_{1},z_{2})\ge R\) when (6.9) holds trivially with \(N=2\). Therefore, in what follows we assume (6.11) and that \({\bar{R}}\le R\).
Then by Theorem 6.5 applied to \(C_{{\bar{R}}}(z_{1})\) in place of \(C_{R}\) we obtain
where the right-hand side is transformed to that of (6.9) by simple arithmetics. The theorem is proved. \(\square \)
Corollary 6.7
Let \(R\in (0,\infty )\), \(p\ge d_{0}\), \(p>d/2+1\), and let \(u\in W^{1,2}_{p}(C_{2R})\). Define \(f=\partial _{t}u+Lu\). Then there exists a constant N, which depends only on \(p,d,\Vert b\Vert \), and \(\delta \), such that (6.9) holds for \(z_{1}\), \(z_{2}\in C_{R}\) with the same \(\beta \) as in (6.9).
To prove this it suffices to follow the path laid down in the proof of Theorem 4.13.
In the time-homogeneous situation we have a similar result.
Theorem 6.8
Let \(R\in (0,\infty )\), \(p\ge d_{0}\), let g be a Borel bounded function on \({\bar{B}}_{2R}\) and \(f\in L_{p}(B_{2R})\). For \( x_{0} \in B_{2R}\) define
(recall that \(\tau _{2R}\) is the first exit time of \( x_{t} \) from \(B_{2R}\)). Then there exists a constant N, which depends only on \(p,d,\Vert b\Vert \), and \(\delta \), such that
for \(x_{1}\), \(x_{2}\in B_{ R}\) and \(\alpha =\alpha (d,\delta ,\Vert b\Vert )\in (0,1)\).
This theorem is proved in the same way as Theorem 6.6 by using the fact that \(h(x_{0}):=E_{x_{0}}g( x_{\tau _{2R}})\) is a caloric function, to which Lemma 6.4 is applicable, and \(u-h\) admits an estimate by Theorem 3.2.
Similarly to Corollary 6.7 we have the following corollary of Theorem 6.8.
Corollary 6.9
Let \(R\in (0,\infty )\), \(p\ge d_{0}\), and let \(u\in W^{ 2}_{p}(B_{2R})\). Define \(f= Lu\). Then there exists a constant N, which depends only on \(p,d,\Vert b\Vert \), and \(\delta \), such that (6.12) holds for \(x_{1}\), \(x_{2}\in B_{R}\) with the same \(\alpha \) as in (6.12).
We finish the paper by proving a result showing that the function u from Theorem 6.8 is an \(L_{d_{0}}\)-viscosity solution of the equation \(Lu=-f\) in \(B_{2R}\).
Theorem 6.10
Let u be as in Theorem 6.8. Then for any \(\phi \in W^{2}_{d_{0}}(B_{2R})\) and any point \(x_{0}\in B_{2R}\) at which \(u-\phi \) has local maximum we have
The proof of this theorem is based on the following.
Lemma 6.11
There is a constant \(N=N(d,\delta ,\Vert b\Vert )\) such that for any \(B_{r}(x)\) satisfying \({\bar{B}}_{r}(x) \subset B_{2R}\) and \(\phi \in W^{2}_{d_{0}}(B_{r}(x))\) we have on \(B_{r}(x)\) that
Proof
For \(x_{0}\in B_{r}(x)\) by strong Markov property, with \(\tau \) defined as the first exit time of \(x_{t}\) from \(B_{r}(x)\), and Itô’s formula we have
Hence,
and (6.14) follows from Theorem 3.2. The lemma is proved. \(\square \)
Proof of Theorem 6.10
Let \(x_{0}\in B_{2R}\) be a point at which \(u-\phi \) has local maximum. Then for \(\varepsilon >0\) and all small \(r>0\) for
we have that
Hence, by Lemma 6.11
where \(\phi _{\varepsilon }=\phi +\varepsilon |x -x_{0}|^{2} \). Here \((L\phi _{\varepsilon }+f)_{+} \le (L\phi +f+2\varepsilon \text {tr}\,a)_{+} +N\varepsilon r|b| \) and in light of Hölder’s inequality
Here the last term multiplied by \(N_{1}r^{2-d/d_{0}}\) is smaller than \((1/2)\varepsilon r^{2}\) for all sufficiently small r (depending on how fast \(\Vert b\Vert _{L_{d}(B_{r}(x_{0}))}\rightarrow 0\)). Therefore, for such r
and the last relation implies (6.13) after setting \(r,\varepsilon \downarrow 0\). The theorem is proved. \(\square \)
Remark 6.2
Let D be a bounded domain in \(\mathbb {R}^{d}\), g be a Borel bounded function on \(\mathbb {R}^{d}\), and \(f\in L_{d_{0}}(D)\). Introduce
where \(\tau \) is the first exit time of \(x_{t}\) from D. Then by the strong Markov property for any domain \(G\subset D\)
where \(\gamma \) is the first exit time of \(x_{t}\) from G. Therefore, Theorem 6.10 implies that u is an \(L_{d_{0}^{-}}\)viscosity solution of \(Lu+f=0\) in D. It is Hölder continuous in D in light of Theorem 6.8.
Its boundary behavior can be investigated by using, for instance, Theorem 4.10 of [11], which says that if \(0\in \partial D\) and for some constants \(\rho ,\gamma >0\) and any \(r\in (0,\rho )\) we have \(|B_{r}\cap D^{c}|\ge \gamma |B_{r}|\), then there exists \(\beta =\beta (d,\delta ,\Vert b\Vert ,\gamma )>0\) such that, for any nonnegative \(h\in L_{d_{0}}(D)\) and \(x\in D\),
where N depends only on \(d,\delta ,\Vert b\Vert , \gamma ,\rho \), and the diameter of D.
The reader can find numerous properties of \(L_{p}\)-viscosity solutions in elliptic and parabolic settings in articles initiated by [4], references to many of them can be found in [9].
References
Anulova, S.V., Pragarauskas, G.: Weak Markov solutions of stochastic equations, Litovsk. Mat. Sb., 17(2), pp. 5–26, : in Russian. English translation: Lith. Math. J. 17(2), 141–155 (1977)
Bass, R.: “Diffusions and Elliptic Operators, Probability and Its Applications”. Springer, New York (1998)
Blumenthal, R.M., Getoor, R.K.: “Markov Processes and Potential theory”, Pure and Applied Mathematics. A Series of Monographs and Textbooks, vol. 29. Academic Press, New York (1968)
Caffarelli, L., Crandall, M.G., Kocan, M., Świȩch, A.: On viscosity solutions of fully nonlinear equations with measurable ingredients. Commun. Pure Appl. Math. 49(4), 365–397 (1996)
Dynkin, E. B.: “Markov Processes”, Fizmatgiz, Moscow (1963) in Russian: English translation in Grundlehren Math. Wiss., Vols. 121, 122, Springer, Berlin (1965)
Fabes, E.B., Stroock, D.W.: The \(L^{p}\)-integrability of Green’s functions and fundamental solutions for elliptic and parabolic equations. Duke Math. J. 51(4), 997–1016 (1984)
Krylov, N.V.: On the selection of a Markov process from a system of processes and the construction of quasi-diffusion processes, Izvestiya Akademii Nauk SSSR, seriya matematicheskaya, Vol. 37(3), : pp. 691–708 (1973) in Russian; English translation in Math. USSR Izvestija, Vol. 7 (1973). No. 3, 691–709
Krylov, N.V.: Some estimates for the density of the distribution of a stochastic integral, Izvestiya Akademii Nauk SSSR, seriya matematicheskaya, Vol. 38(1): pp. 228–248 (1974) in Russian; English translation in Math. USSR Izvestija, Vol. 8 (1974). No. 1, 233–254
Krylov, N.V.: “Sobolev and Viscosity Solutions for Fully Nonlinear Elliptic and Parabolic Equations”. Mathematical Surveys and Monographs, vol. 233. American Mathematical Society, Providence, RI (2018)
Krylov, N.V.: On stochastic Itô processes with drift in \(L_{d}\), arXiv:2001.03660 (2020)
Krylov, N.V.: On stochastic equations with drift in \(L_{d}\), arXiv:2001.04008 (2020)
Krylov, N.V.: On time inhomogeneous stochastic Itô equations with drift in \(L_{d+1}\), arXiv:2005.08831 (2020)
Krylov, N.V., Safonov, M.V.: A certain property of solutions of parabolic equations with measurable coefficients, Izvestiya Akademii Nauk SSSR, seriya matematicheskaya, Vol. 44(1), : pp. 161–175 (1980) in Russian; English translation in Math. USSR Izvestija, Vol. 16 (1981). No. 1: 151–164
Lions, P.-L.: Some recent results in the optimal control of diffusion processes, Stochastic analysis (Katata/Kyoto, 1982), pp 333–367, North-Holland Math. Library, 32, North-Holland, Amsterdam, 1984
Portenko, N.I.: “Generalized diffusion processes”, Nauka, Moscow (1982) in Russian; English translation: Amer. Math. Soc. Providence, Rhode Island (1990)
Safonov, M. V.: Harnack inequalities for elliptic equations and Hölder continuity of their solutions. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), Vol. 96 (1980), 272–287 in Russian; English transl. in Journal of Soviet Mathematics, Vol. 21 (March 1983), No. 5, 851–863
Safonov, M.V.: Non-divergence elliptic equations of second order with unbounded drift. Nonlinear partial differential equations and related topics, 211–232, Amer. Math. Soc. Transl. Ser. 2, 229, Adv. Math. Sci., 64, Amer. Math. Soc., Providence, RI (2010)
Stroock, D.W., Varadhan, S.R.S.: “Multidimensional Diffusion Processes”. Grundlehren Math. Wiss., vol. 233. Springer, Berlin (1979)
Yastrzhembskiy, T.: A note on the strong Feller property of diffusion processes. preprint arXiv:2001.09919
Zhang, X., Zhao, G.: Stochastic Lagrangian path for Leray solutions of 3D Navier-Stokes equations. preprint. arXiv:1904.04387v1
Acknowledgements
The author’s sincere thanks are due to T. Yastrzhembskiy for pointing out several mistakes and misprints in the first draft of the paper. The author is also very grateful to the referees whose comments helped improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Krylov, N.V. On diffusion processes with drift in \(L_{d}\). Probab. Theory Relat. Fields 179, 165–199 (2021). https://doi.org/10.1007/s00440-020-01007-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-020-01007-3