Abstract
In this paper we work with parabolic SPDEs of the form
with Neumann boundary conditions, where \(x\in [0,1]\), \(\dot{W}(t,x)\) is the space-time white noise on \((t,x)\in [0,\infty )\times [0,1]\), g is uniformly bounded, and the solution \(u\in \mathbb {R}\) is real valued. The diffusion coefficient \(\sigma \) is assumed to be uniformly elliptic but only Hölder continuous in u. Previously, support theorems for SPDEs have only been established assuming that \(\sigma \) is Lipschitz continuous in u. We obtain new support theorems and small ball probabilities in this \(\sigma \) Hölder continuous case via the recently established sharp two sided estimates of stochastic integrals.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The support theorem for stochastic processes has a long history. One of its simplest forms can be phrased as follows: let \(B_t\) be a d-dimensional Brownian motion started from 0, then for any \(\epsilon ,t>0\) we have
This follows from the reflection principle of Brownian motion. Via a Girsanov change of measure, we can deduce that for any continuous \(\psi :[0,t]\rightarrow \mathbb {R}^d\) with \(\psi (0)=0\), we have
See for example [3], pp. 59–60, (6.5) and (6.6). Both claims rely on Gaussian structure of the process B.
There is another notion, usually named Stroock–Varadhan support theorem for stochastic processes, that has a different flavour. Consider the parabolic SPDE with periodic boundary conditions
Denote by \(\mathcal {H}:=\{h:[0,T]\times [0,1]\rightarrow \mathbb {R}, h \text { absolutely continuous }, \dot{h}\in L^2([0,T]\times [0,1])\}\), the Cameron-Martin space of the Brownian sheet. \(\mathcal {H}\) is a Hilbert space endowed with the norm \(\Vert h\Vert _{\mathcal {H}}:=\Vert \dot{h}\Vert _{L^2([0,T]\times [0,1])}\). Let S(h) denote the solution of (1.1) when we take \(\dot{h}\) in place of the white noise \(\dot{W}\) for the given \(h\in \mathcal {H}\). If we assume \(\sigma \) is Lipschitz, \(u(0,\cdot )\) is Hölder continuous and g has sufficiently many derivatives, it is proved in [2] that the topological support of the probability law of the random variable u in \(\mathcal {C}^\alpha ([0,T]\times [0,1])\) (for some \(\alpha \in (0,\frac{1}{4})\) ) is given by the closure of \(\cup _{h\in \mathcal {H}}S(h)\). Here \(\mathcal {C}^\alpha ([0,T]\times [0,1])\) is the Wiener space equipped with the \(\alpha \)-Hölder topology.
Support theorems of this flavour have been proved for other examples of SPDEs, starting from [14], and see also [4, 5, 7], with the same conclusion that the topological support of the solution u is the closure of S(h), the solution of the SPDE driven by the control h in place of the noise. The support theorem for singular SPDEs has been obtained in [10], with the feature that the coset structure in the renormalization group plays a key role in characterizing topological supports of the solution. In all these works, the coefficients g and \(\sigma \) are nice enough so that the control problem S(h) can be properly solved, and the support of (1.1) can be characterized in terms of solutions to the control problem S(h).
In this paper we consider support theorems of SPDEs in the lens of the regularization by noise phenomenon. In the setting of (1.1), this means that the coefficients g or \(\sigma \) (or both) are not necessarily locally Lipschitz continuous. One usually requires \(\sigma \) to be uniformly elliptic, so that roughness of the driving noise can restore well-posedness of the equation. We generally do not have a Stroock–Varadhan support theorem since the ODE or PDE for the control process S(h) is in general not well-posed. However it is still possible to prove the solution has full support or obtain small ball probability estimates
For additive noise, i.e., \(\sigma =I_d\), and assuming the drift g is not too singular, we can remove the drift via Girsanov transform and show the solution has full support because white noise has. A related example for finite dimensional SDEs with singular drifts can be found in [12]. The story is the same when \(\sigma \) is Lipschitz continuous and uniformly elliptic.
We are particularly interested in the robustness of the support theorems, in the remaining (hardest) case that \(\sigma \) is only \(\alpha \)-Hölder continuous in u, for \(\alpha \in (0,1]\). More precisely, we assume that for some \(\mathcal {C}_1,\mathcal {C}_2,\mathcal {D}>0\) we have
for any \(t>0\), \(x\in [0,1]\) and \(u,v\in \mathbb {R}\). In this case the Girsanov transform or the control processes S(h) do not tell us the answer in the same way as before.
Before stating our support theorems, it is crucial to discuss the well-posedness issues of (1.1). For \(\sigma \) to be \(\alpha \)-Hölder continuous in u, \(\alpha >\frac{3}{4}\), strong existence and strong uniqueness have been established in [13] (see also [11] for a different perspective, also with \(\alpha >\frac{3}{4}\)). In general we may consider probabilistic weak solutions to (1.1) without the knowledge of weak uniqueness (weak existence follows from [9]). So long as \(\alpha >0\), the lower bound in our main theorem still holds, and in particular every weak solution to (1.1), considered as a probability law on \(\mathcal {C}([0,T]\times [0,1])\) (with the supremum norm), has full topological support in the sense that the support is given by \(\{w(t,x)\in \mathcal {C}([0,T]\times [0,1]):w(0,x)=u(0,x)\}\).
Our strategy to characterize the support of (1.1) goes as follows. Since \(\sigma \) is non-degenerate, one expects that (1.1) lies in the same universality class as the linear stochastic heat equation
which is also named as the Edwards–Wilkinson universality class. In this universality class we observe nontrivial limiting behavior under the 1:2:4 scaling relation \(u(t,x)\mapsto \epsilon ^{-1}u(\epsilon ^{-4}t,\epsilon ^{-2}x)\).Footnote 1 From this scaling relation we can expect fairly sharp two-sided probability estimates for the solution of (1.1) on small scales, even in the case that \(\sigma \) is not constant in u. Such computations have been carried out in [1], obtaining matching small ball probability estimates of solutions to (1.1) when \(\sigma \) is Lipschitz continuous in u, with a Lipschitz constant sufficiently small.
When \(\sigma \) is merely Hölder continuous, we expect that it induces a highly nonlinear stretching of space and time, in the following sense: if u is approximated by another Gaussian field \(u'\) on a space-time grid that preserves the 1:2 parabolic scaling, when \(\sigma \) is Lipschitz with small Lipschitz constant we can prove that u stays close to \(u'\) on the desired scale via stochastic calculus, but when \(\sigma \) is merely Hölder we cannot prove u lives close to \(u'\) on that scale with high probability. To overcome this, we adjust the 1:2 space-time parabolic scaling through a reduction of the temporal length scale while keeping the spatial scale fixed. Consequently, we can still obtain nontrivial (upper and lower) probability estimates of fine scale properties of the solution, and this is already sufficient for us to prove the support theorem. The upper and lower bounds of small ball probabilities in this Hölder continuous case however do not have matching exponents in \(\epsilon \), reflecting the fact that irregularity of \(\sigma \) induces high order stretching in space and time. We note that for the linear stochastic heat equation (1.2), we can obtain small ball probabilities where the upper and lower bounds have matching exponents in \(\epsilon ,\) see [6], page 168, Theorem 5.1.
We now state the main theorem.
Denote by \(\mathcal {P}\) the predictable \(\sigma \)-field of the noise \(\dot{W}(t,x)\), generated by functions of the form \(f(x,t,\omega )=X(\omega )\cdot 1_A(x)\cdot 1_{(a,b]}(t),\) with \(A\subset [0,1]\) and X some \(\mathcal {F}_a\)-measurable random variable. We say \(h\in \mathcal {P}\mathcal {C}_b^2\) if \(h\in \mathcal {P}\) and almost surely, \(h,\partial _t h,\partial _x^2h\) are bounded by a fixed constant C.
An important remark before the statement: assuming \(\sigma \) is \(\alpha \)-Hölder in u for any \(\alpha >0\), then by a compactness argument there always exists probabilistic weak solutions to (1.3), see for example [9]. However, there is no proof in the literature that the solution is unique for general \(\alpha \). See Remark 1.3 for pathwise well-posedness results for \(\alpha \) in certain regimes.
Theorem 1.1
Consider solution \(u(t,x)\in \mathbb {R}\) to the stochastic heat equation with Neumann boundary conditions on [0, 1]
Assume \(u_0,h\in \mathcal {P}\mathcal {C}_b^2\) with
and that for some constants \(D,\mathcal {C}_1,\mathcal {C}_2>0\), \(\alpha \in (\frac{3}{4},1],\) we have
for all \(x\in [0,1]\), \(u,v\in \mathbb {R}\) and \(t\ge 0\), and
Then for any \(\beta >2-\alpha \) we may find positive constants \(C_0,C_1,C_2,C_3\) and \(\epsilon _0\) depending on \(\beta ,\mathcal {C}_1,\mathcal {C}_2\) and \(\sup _{t,x,u}|g(t,x,u)|\), such that for any \(0<\epsilon <\epsilon _0\), we have
If we only assume \(\alpha >0\), then the lower bound in (1.4) holds, that is,
Moreover, there exists a \(\mathcal {D}_0>0\) depending only on \(\mathcal {C}_1\), \(\mathcal {C}_2\) such that whenever \(\mathcal {D}<\mathcal {D}_0\), the above estimates (1.4) and (1.5) can hold for \(\beta =2-\alpha \) (the value of the various numerical constants may be changed.)
Since h is arbitrary, this in particular implies that the solution u has full support on Wiener space with respect to the supremum norm. More precisely:
Corollary 1.2
Assume \(\alpha \in (0,1]\). Let \(\mu \) denote the probability law of any possible weak solution to the SPDE (1.3) on \(\mathcal {C}([0,T]\times [0,1]).\) Denote by
then for any such \(\mu \) there holds
where \(\mathcal {C}([0,T]\times [0,1])\) is endowed with the topology generated by the supremum norm.
Theorem 1.1 is not yet satisfactory in that the upper and lower bounds in (1.4) have a very wide gap and is thus likely to be sub-optimal. This is to be compared with the main result in [1],where the upper and lower estimates have matching powers of \(\epsilon \) whenever the Lipschitz constant of \(\sigma \) is sufficiently small. We believe that the potentially sub-optimal estimate (1.4) arises from purely technical limitations, but these technical constraints are hard to remove in our infinite dimensional setting. Indeed, when one deals with finite dimensional diffusion with no drift, one can represent the solution as a time changed Brownian motion, and the support theorem readily follows. This is however not the case for SPDEs, and for SPDEs we usually can only approximate the solution by some Gaussian variables, as done in [1] and this paper. (This also possibly explains why small ball probability estimates for finite dimensional diffusion are long known and easy to prove but the corresponding estimates for SPDEs are only obtained recently.) As discussed in Footnote 1footnote11, on small scales a 1d Gaussian field is expected to have a 1:2:4 scaling, but if we compose this Gaussian field by a Hölder continuous function which is not Lipschitz, the 1:2:4 scaling will be distorted. Our main interest in this fine scale property is that we will approximate the solution u by some Gaussian field \(u'\), and if this optimal 1:2:4 scaling is violated, our proof only gives an upper bound of distance of u and \(u'\) that is much larger in magnitude than what is considered to be optimal. To sum up, this microscopic, approximation by Gaussian procedure is precisely the place that needs the 1:2:4 scaling and thus will lead to suboptimal estimates for Hölder continuous \(\sigma \). If we can prove the support theorem and small ball probability estimate without using this approximation by Gaussian procedure, we might obtain a sharper, or even matching estimate that improves (1.4).
Remark 1.3
The technical assumption \(\alpha \in (\frac{3}{4},1]\) is only used to match with the well-posedness results in [13] (see also [11]).
For the upper bound to be proved in Sect. 2.3, we are not sure if the proof carries over for any \(\alpha >0\) or not because we have to solve another SPDE (2.4)Footnote 2 on the same probability space. This procedure requires strong well-posedness for every diffusion coefficient with the given Hölder continuity.
Remark 1.4
We have for simplicity worked on the unit interval [0, 1], but everything carries over to finite intervals [0, J] for any \(J>0\). In this paper we assume the solution u is real-valued, but at least the lower bound (1.5) carries over to the vector valued case \({\textbf {u}}(t,x)\in \mathbb {R}^d\), \(d\in \mathbb {N}_+\) without change. These extensions can be found in [1] when \(\sigma \) is Lipschitz. The upper bound in (1.4) might be hard to extend to higher dimensions as the corresponding pathwise well-posedness results are lacking.
There are a few remaining questions. One of them is to obtain support theorems in Hölder semi-norm rather than the supremum norm. Fairly sharp results have been obtained when \(\sigma \) is Lipschitz continuous in u (see [8] for recent progress), but adapting estimates in the existing literature to our Hölder continuous \(\sigma \) seems a bit out of reach. Another more fundamental question is if we assume \(\sigma \) is uniformly elliptic, it is not clear whether the assumption that the Hölder index \(\alpha >\frac{3}{4}\) is necessary for (strong or weak )well-posedness of (1.3). We believe that \(\alpha >0\) is enough for weak well-posedness but could not give a proof. Note that when \(\sigma \) is not assumed to be uniformly elliptic, then \(\alpha >\frac{3}{4}\) is a sharp condition, see [15] for the case \(\alpha <\frac{3}{4}.\)
2 Proof of main theorem
2.1 Reduction to simple cases
We quote relevant reduction steps from [1], Section 2.2 for sake of completeness. We first show that after some simple reductions we can assume \(g=0\) and \(h=0\). These reductions follow from Girsanov theorem and the non-degeneracy of \(\sigma \).
The solution to (1.3) can be reformulated as
For each \(t>0\) let \(P_t\) be \(\mathcal {P}\) restricted to the filtration \(\mathcal {F}_t\). Consider the probability law \(Q_t\) defined as
By Girsanov theorem, \(\dot{W}(t,x)+\sigma ^{-1}g(t,x,u(t,x))\) is a space-time white noise with respect to \(Q_t\). Denote by A the event that
then by Cauchy-Schwartz inequality
where M depends only on \(T,\mathcal {C}_1\) and \(\sup _{t,x,y}|g(t,x,y)|.\) This implies the lower bound in (1.4) for general g can be deduced from the lower bound in the case \(g=0\).
For the upper bound, a similar argument holds: one only needs to swap P and Q in (2.2) and replace g by \(-g\) in (2.1).
Now we show why we can take \(h=0\). This is outlined in page 6 of [1] but we reproduce here for completeness. Let \(H:=\partial _t-\frac{1}{2}\partial _x^2\) and consider the process
so that \(w(0,x)=0.\) If we set \(\sigma _1(t,x,w)=\sigma (t,x,u)\) and
we have
Since \(u_0,h\in \mathcal {P}\mathcal {C}_b^2,\) \(\sup _{t,x,\omega }|g_1(t,x,\omega )|<\infty \), so we are reduced to the case \(h=0\) and \(u(0,x)\equiv 0,x\in [0,1]\).
2.2 Sharp two-sided estimates
Recall the heat kernel on [0, 1] is given by
Consider the noise term \(\textbf{N}\) defined as
We quote the following large deviations estimate from [1], Proposition 3.4 and Remark 3.1, which is a very precise formulation of the 1:2:4 scaling of Gaussian processes:
Proposition 2.1
Assume that \(\sup _{s,y}|\sigma (s,y,u(s,y))|\le \mathcal {C}<\infty \). Then we can find universal constants \(K_1\) and \(K_2\) such that, for any \(\alpha ,\lambda ,\epsilon >0\),
Remark 2.2
The estimate (2.3) also holds if the supremum is taken over \(x\in [(k-1)\epsilon ^2,k\epsilon ^2]\) for all \(k\in \mathbb {N}_+\) such that \(k\epsilon ^2\le 1\). This is because the proof of (2.3) in [1] only uses a modulus of continuity estimate of \(\textbf{N}(t,x)\) in t and x (check for [1], Lemma 3.3), and this estimate is independent of the location of x in [0, 1]. Also used is a path of grid points from (0, 0) to (t, x), which in this case can be replaced by a path starting from \((0,(k-1)\epsilon ^2)\).
We fix a sufficiently small \(c_0>0\) such that \(0<c_0<\max \{(\frac{K_2}{36\log K_1 \mathcal {C}_2^2})^2,1\}\), and define the discretized mesh of time asFootnote 3:
and denote by \(I_n:=[t_n,t_{n+1}]\) the time interval with numbering n. Choose some \(\theta =\theta (\mathcal {C}_1,\mathcal {C}_2)>0\) sufficiently large (with the precise condition given in [1], (2.11)) and fix \(c_1^2=\theta c_0\), the spatial mesh points are chosen as
This time-space mesh respects the parabolic 1:2 scaling. Fix a terminal time \(T>0\) and define the terminal index
Write \(p_{i,j}=(t_i,x_j)\), and consider the following two series of events
and
The strategy of proof is first to fix the u component of \(\sigma \) and obtain an estimate in the Gaussian case, then deduce the general case via an interpolation argument. For the Gaussian case (when \(\sigma \) does not depend on u), we quote the following result from [1], Proposition 2.1:
Proposition 2.3
Under the assumptions of Theorem 1.1, assume further that \(g=0\), \(u_0(x)\equiv 0\) and \(\sigma (t,x,u)\) does not depend on u.
Then there exists constants \(\epsilon _0,C_4,C_5>0\) which depend only on \(\mathcal {C}_1\) and \(\mathcal {C}_2\) such that for any \(0<\epsilon <\epsilon _0,\)
and we can find constants \(C_6,C_7>0\) which depend only on \(\mathcal {C}_1,\mathcal {C}_2\) such that for any \(0<\epsilon <\epsilon _0,\)
Now we prove the general case (i.e., \(\sigma \) depends on u).
2.3 Upper bound, general case
Define a function
so that \(|f_\epsilon (z)|\le \epsilon \) and \(f_\epsilon \) is Lipschitz continuous. We solve the following SPDE
with \(v(0,x)=u_0(x)\), which is well posed because \(\sigma (t,x,f_\epsilon (u))\) is \(\alpha \)-Hölder continuous in u, for \(\alpha >\frac{3}{4}\).
As long as \(|u(t,x)|\le \epsilon \) for all \(x\in [0,1]\) and \(t\in [0,t_1]\), we have \(v(t,x)=u(t,x)\), so we proceed with the proof for v.
The point is to compare v with an auxiliary process \(v_g\) defined by
with \(v_g(0,x)=u_0(x)\), where the diffusion coefficient is independent of \(v_g\). The subscript g in the notation \(v_g\) stands for Gaussian.
The difference process \(D(t,x):=v(t,x)-v_g(t,x)\) is a stochastic integral satisfying
Define
and consider the events
It is clear that \(H_j\subset A_{1,j}\cup A_{2,j}\). Define another sequence of events
Then clearly \(B_n\subset F_n\) and on \(B_n\), we have \(u(t_n,x)=v(t_n,x)\). Therefore
An elementary set-inclusion argument implies
We now apply Proposition 2.3 to the process \(v_g\) to deduce
By Hölder continuity of \(\sigma \) in u, we deduce that
so that by Proposition 2.1 and Remark 2.2, we have for \(j=1,\ldots ,n_2-2,\)
Therefore
whenever \(\epsilon \) is small enough, the \(\epsilon ^{-2\alpha }\) term in the exponent wins over the \(\epsilon ^{-2}\) term, so we keep the former.Footnote 4\(C_4\) and \(C_5\) are universal constants that depend only on \(\mathcal {C}_2\).
The expression shows that when \(\sigma \) is merely Hölder continuous, i.e. \(\alpha <1\), the \(\epsilon ^{2\alpha }\) term dominates in the upper bound. The upper and lower bounds we obtain will not have matching exponents of \(\epsilon \) (they do if \(\alpha =1\)), but both bounds are nontrivial and in particular they lead to the desired support theorem.
By the Markov property, for each \(n\le n_1,\)
where \(C_7\) depends only on \(\mathcal {C}_1,\mathcal {C}_2\) and \(\mathcal {D}\).
Therefore
This establishes the upper bound in (1.4).
2.4 Lower bound, general case
We now proceed to prove the corresponding lower bound. The argument roughly follows that in [1], while the last key estimates are different.
Fix some \(\beta >1\) to be determined later, consider a new time mesh as follows:
and the corresponding time intervals \(\hat{I}_n:=[\hat{t}_n,\hat{t}_{n+1}]\). This introduces a finer grid of time when \(\epsilon \) is sufficiently small. We analogously define the events
Assuming that \(|u_0(x)|\le \frac{\epsilon }{3}\), \(x\in [0,1]\). Define the stopping time
such that on the event \(\hat{A}_0\) we have \(\tau \ge \hat{t}_1.\) Consider the process
and the auxiliary comparison process \(u_g\) solving
and we write \(u(t,x)=u_g(t,x)+D(t,x)\) as before, so that
It is clear that \(D(t,x)=\widetilde{D}(t,x)\) whenever \(\tau \ge \hat{t}_1\). Consider the event
Then we have the following sequence of set inclusions
The equality in the second line needs some explanation. If \(\tau \ge \hat{t}_1\), then \(D=\widetilde{D}\) on \([0,\hat{t}_1]\). On \(\widetilde{B}_0\cap \{\tau <\hat{t}_1\}\), one must have \(\sup _x |u_g(\tau ,x)-u_0(x)|>\epsilon \), so that \(\sup _x |\widetilde{D}(\tau ,x)|>\epsilon .\)
Since \(\beta >1\) and \(\epsilon <1\), one must have \(\hat{t}_1<t_1\), so that by Proposition 2.3,
where \(C_1,C_2\) depend only on \(\mathcal {C}_1,\mathcal {C}_2\), and where we define
It remains to estimate the probability of the last event in (2.5).
To be a bit more precise about the exponent of \(\epsilon \), we take \(\alpha =\epsilon ^{4\beta -4}\) and the constant \(\mathcal {C}:=\mathcal {D}(2\epsilon )^\alpha \) in the setting of Proposition 2.1. Comparing the exponents, we see that as long as we take \(\alpha +\beta >2\), we can find some \(C_8,C_9\) depending only on \(\mathcal {C}_1,\mathcal {C}_2\) and \(\mathcal {D}\) such that
and finally
with the first term dominating. So we conclude that when \(\epsilon >0\) is sufficiently small, we can find \(C_3,C_4\) depending only on \(\mathcal {C}_1,\mathcal {C}_2,\mathcal {D}\) such that
By the Markov property, for each \(n\le \hat{n}_1:=\lfloor \frac{T}{\epsilon ^{4\beta }}\rfloor \) we have
Thus for some constant \(C_1>0\) depending on \(\mathcal {C}_1,\mathcal {C}_2\),
The various constants \(C_1,C_2,\ldots ,C_8,C_9\) depend only on \(\mathcal {C}_1,\mathcal {C}_2\) and may change from line to line. This establishes the lower bound in (1.4).
Finally, we note that we may take a different estimate of (2.6) and deduce that, for some constants \(C_8',C_9'\) depending on \(\mathcal {C}_1,\) \(\mathcal {C}_2\) but not \(\mathcal {D}\),
Then there exists some \(\mathcal {D}_0\) depending only on \(\mathcal {C}_1\), \(\mathcal {C}_2\) so that, for any \(\mathcal {D}<\mathcal {D}_0\) and \(\beta =2-\alpha \), we can find \(C_3'\), \(C_4'\) depending on \(\mathcal {C}_1\), \(\mathcal {C}_2\) such that (note that (2.7) requires \(\beta +\alpha >2\))
The rest of the estimate proceeds exactly the same as before. The net benefit we get from this business is that whenever \(\mathcal {D}<\mathcal {D}_0\), all the estimates in Theorem 1.1 can be done in the case \(\alpha +\beta =2\). This justifies the last assertion of Theorem 1.1.
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Strictly speaking, the 1:2:4 scaling does not readily apply to SPDEs on the spatial domain [0, 1], but we will use the following more flexible interpretation of 1:2:4 scaling: consider the stochastic integral with respect to the Brownian sheet on small scales, more precisely on a spatial scale \([0,\epsilon ^2]\) and temporal scale \([0,\epsilon ^4]\), then the stochastic integral typically has values on a scale \([-\epsilon ,\epsilon ]\) with good tail estimates (See [1], Lemma 3.4). We then derive from these small-scale estimates a macroscopic estimate.
with the diffusion coefficient \(\sigma \) only \(\alpha \)- Hölder continuous in the solution argument.
Later we will introduce a different scheme to divide time intervals, which doesn’t follow the 1:2 parabolic scaling.
We have used another approximation which follows from the elementary inequality
$$\begin{aligned} \sup _{x\ge 0}x^n e^{-Cx}<\infty \end{aligned}$$for any \(C>0\) and \(n>0\).
References
Athreya, S., Joseph, M., Mueller, C.: Small ball probabilities and a support theorem for the stochastic heat equation. Ann. Probab. 49(5), 2548–2572 (2021)
Bally, V., Millet, A., Sanz-Solé, M.: Approximation and support theorem in Holder norm for parabolic stochastic partial differential equations. Ann. Probab. 23, 178–222 (1995)
Bass, R.F.: Probabilistic Techniques in Analysis. Springer, Berlin (1994)
Caroline Cardon-Weber and Annie Millet: A support theorem for a generalized Burgers SPDE. Potential Analysis 15(4), 361–408 (2001)
Chueshov, I., Millet, A.: Stochastic two-dimensional hydrodynamical systems: Wong-Zakai approximation and support theorem. Stoch. Anal. Appl. 29(4), 570–611 (2011)
Dalang, R.C., et al.: A Minicourse on Stochastic Partial Differential Equations, vol. 1962. Springer, Berlin (2009)
Delgado-Vences, F.J., Sanz-Solé, M.: Approximation of a stochastic wave equation in dimension three, with application to a support theorem in Hölder norm. Bernoulli 20(4), 2169–2216 (2014)
Foondun, M., Joseph, M., Kim, K.: Small ball probability estimates for the Hölder semi-norm of the stochastic heat equation. Probab. Theory Relat. Fields 185, 1–61 (2022)
Gatarek, D., Goldys, B.: On weak solutions of stochastic equations in Hilbert spaces. Stoch. Int. J. Probab. Stoch. Process. 46(1–2), 41–51 (1994)
Hairer, M., Schönbauer, P.: The support of singular stochastic partial differential equations. In: Forum of Mathematics, Pi. Vol. 10. Cambridge University Press, Cambridge (2022)
Han, Y.: Exponential ergodicity of stochastic heat equations with Hölder coefficients. arXiv preprint arXiv:2211.08242 (2022)
Ling, C., Riedel, S., Scheutzow, M.: A Wong–Zakai theorem for SDEs with singular drift. J. Differ. Equ. 326, 344–363 (2022)
Leonid Mytnik and Edwin Perkins: Pathwise uniqueness for stochastic heat equations with Hölder continuous coefficients: the white noise case. Probab. Theory Relat. Fields 149(1), 1–96 (2011)
Millet, A., Sanz-Solé, M.: The support of the solution to a hyperbolic SPDE. Probab. Theory Relat. Fields 98(3), 361–387 (1994)
Mueller, C., Mytnik, L., Perkins, E.: Nonuniqueness for a parabolic SPDE with \(\frac{3}{4}-\epsilon \) Hölder diffusion coefficients. Ann. Probab. 42(5), 2032–2112 (2014)
Funding
The author receives financial support from EPSRC Grant EP/W524141/1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by EPSRC Grant EP/W524141/1.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Han, Y. A support theorem for parabolic stochastic PDEs with nondegenerate Hölder diffusion coefficients. Stoch PDE: Anal Comp 12, 1492–1506 (2024). https://doi.org/10.1007/s40072-023-00312-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40072-023-00312-x