1. Introduction
The philosophy of using appropriate differential equations with more regular drivers to approximate stochastic differential equations dates back to the pioneer work by Wong and Zakai [
1,
2], in which both continuous piecewise linear approximations and piecewise smooth approximations for one-dimensional Brownian motions were proposed. Particularly, the convergence of solutions to the approximating equations was proved in the mean sense and almost surely under some suitable conditions on coefficients, respectively. However, these results are not applicable to high-dimensional cases. For instance, McShane [
3] provided a counter example showing that Wong–Zakai’s result does not hold for a two-dimensional Brownian motion approximated by smooth functions. Meanwhile, the Wong–Zakai’s piecewise linear (polygonal) approximation for high-dimensional Brownian motions was introduced by Stroock and Varadhan in [
4], where the convergence in law was also proved and used to determine the support of diffusion processes. Later on, the shift operator was incorporated into approximations of high-dimensional Brownian motion in two different ways by Ikeda et al. [
5,
6]. In these articles, the convergence was established in the mean square sense, uniformly over finite time interval. More recently, Kelly and Melbourne [
7] introduced a class of smooth approximations in the integral form by involving a
uniformly hyperbolic flow on a compact manifold. In this case, the authors established weak convergence towards the limit equation by the methods of rough path theory. However, none of the mentioned three articles [
5,
6,
7] studied the limit equations understood in the Stratonovich sense.
To the best of our knowledge, one of the first stationary smooth approximations is that by Lu and Wang [
8,
9]. They approximated a one-dimensional white noise by a stationary Gaussian process, and they applied the approximation to the study of the chaotic behaviour of randomly forced ordinary differential equations with a homoclinic orbit to a saddle fixed point. Stationary Wong–Zakai approximation of the white noise by Lu and Wang was extended to high-dimensional situations by Shen and Lu in [
10], where it was proved that the solutions of Wong–Zakai approximations converge in the mean square to the solutions of the Stratonovich stochastic differential equation. Since then, the stationary Wong–Zakai approximations have been applied to investigate complex dynamics of stochastic partial differential equations [
11,
12,
13,
14]. In particular, in [
14], it was proved that the solutions of Wong–Zakai approximations converge almost surely to the solutions of the Stratonovich stochastic evolution equation. We also wish to mention articles [
15,
16,
17,
18] generalising the Wong–Zakai approximations to the case of stochastic differential equations driven by martingales and semimartingales [
15,
16,
17,
18].
The interaction between the (small) system and its (large) environment is described in general by a stochastic force which can be coloured or white, Gaussian or non-Gaussian, Markovian or non-Markovian, and semimartingale or non-semimartingale. In general, there is no a priori reason to require the noise to be independent in the disjoint time intervals; thus, the modeller is forced to drop the Markov and martingale properties of the noise.
Maybe the best-known and -studied generalisation of the Brownian motion into non-Markovian and non-semimartingale setting is fractional Brownian motion (fBm). Fractional Brownian motion shares many desired properties with Brownian motion such as continuity, scale-invariance, Gaussianity, and stationarity of the increments. However, fBm does not have independent increments. Actually, fBm may exhibit long or short memory, depending on the so-called Hurst parameter
. It is also well-known that one cannot reduce fBm to a Markovian situation without adding infinitely many degrees of freedom. On the other hand, being relatively simple and able to capture memory effects simultaneously makes fBm an interesting model for many phenomena. For these reasons, there has been an increasing interest in the literature on stochastic (partial) differential equations driven by the (cylindrical) fBm. For detailed discussions with practical applications of the fBm, we refer to monographs [
19,
20,
21] and references therein.
The seminal papers [
1,
2] on Wong–Zakai approximations in the case of standard Brownian motion were published over fifty years ago, during the same time when first studies on fBm appeared. However, most of the literature on Wong–Zakai approximations, including all of the previously mentioned articles, have still focused on the Markovian and/or semimartingale settings. On the Wong–Zakai approximations in the case of fBm, one of the first published articles by Tudor [
22] appeared in 2009. Tudor studied Wong–Zakai type approximations and the convergence issue on a class of Itô–Volterra equations driven by an fBm with
, using an integral representation for fBm and piecewise linear approximation of Brownian motion. Later on, the Galerkin approximation was applied to fractional noise by Cao et al. [
23], who acquired an optimal rate of convergence in the case of space-time fractional white noise, with Hurst index
. Moreover, the dyadic polygonal approximations of fBm have been studied recently from the viewpoint of the rough path theory. The first result in this direction was presented by Coutin and Qian [
24], reporting a Wong–Zakai type approximation theorem for solutions of stochastic differential equations driven by fBm with
. Hu and Nualart [
25] derived, by using fractional calculus, the rate of convergence for the Wong–Zakai approximation for fBm with
. However, these two results do not provide sharp estimates. Refined results on the rate of convergence were obtained by Friz–Riedel [
26] in the pathwise sense and by Bayer et al. [
27] in the probabilistic sense, respectively. Finally, the optimal upper bound for the error of the Wong–Zakai approximation for fBm with
was provided by Naganuma [
28]. However, to the best of our knowledge, the stationary Wong–Zakai approximations and sharp results on the rate of convergence for the fractional noise are not yet studied in the literature.
The motivation for the present article stems from this lack of knowledge on stationary Wong–Zakai approximations and the corresponding sharp rate of convergence estimates for the fractional noise. In particular, in this article, we fill this gap in the literature and introduce stationary Wong–Zakai type approximations for the fBm in the full range
. Moreover, as our main observation, we derive sharp results on the rate of convergence in the
p:th moment sense, valid for any
. As an application, we prove that in the regime
, solutions to the differential equations driven by the approximation converge to the solution to the original stochastic differential equation driven by the fBm itself. Our result on the convergence of solutions can be seen as a slight generalisation of similar results derived in [
29,
30], see Remark 4. We will focus on the case of fBm in which we can apply some fine, known properties to obtain the exact rate of convergence. However, we stress that if one is simply interested on the convergence but not on the exact rate, our method and many of our results can be easily extended to cover a very large class of stochastic processes, see discussion in
Section 5. This class includes all Hölder continuous Gaussian processes and also Hölder continuous processes living in some fixed chaos. This provides, among other things, information on stochastic differential equations driven by Hermite processes, a topic that has not received much attention in the literature. In fact, our approximation converges under very mild conditions in the process, and the approximation for the process is stationary as long as the process has stationary increments. In the context of stochastic differential equations, we prove that as long as the true noises are approximated properly in certain Besov-type space, the corresponding solutions converge as well. This justifies the claim presented in the abstract.
The rest of the article is organised as follows. In
Section 2 we recall some preliminaries needed for our analysis. In particular, we recall the concept of generalised Lebesgue–Stieltjes integrals together with some useful inequalities. In
Section 3, we introduce a stationary Wong–Zakai approximation of the fractional noise and study its convergence on the full range
. In
Section 4, we study effects of noise perturbations to the solutions of differential equations driven by Hölder signals of order
; there, we also apply results of
Section 3, on range
, to study Wong–Zakai approximations of stochastic differential equations driven by fractional Brownian motions. We end the paper with a short discussion on the generality of our results.
2. Preliminaries
In this section, we discuss briefly some preliminaries we need for our analysis. In particular, we recall the notion of generalised Lebesgue–Stieltjes integrals and some
a priori estimates. For more details, we refer to the article [
31] and a monograph [
32].
Let
be a nonempty bounded interval. For given
, we use the usual notation
to denote
p-integrable functions, or those essentially bounded in the case
. The fractional left and right Riemann–Liouville integrals of order
of a function
are given by (see [
32] Definition 2.1)
and
It is known that the above integrals converge for almost every
, and
and
may be considered as functions in
. By convention,
and
are defined as the identity operator. Moreover, the integral operators
are linear and injective. The Riemann–Liouville derivatives are defined through identities
and
, see [
32] (Definition 2.2), and they can be viewed as the (left-)inverse operators
and
, respectively, of the Riemann–Liouville fractional integrals, see [
32] (Theorem 2.4). That is, we have, e.g.,
.
For any
and for any
and
, the Weyl–Marchaud derivatives are defined by formulas (see [
32] Equations (13.2) and (13.5))
and
These are well-defined and, by [
32] (Theorem 13.1 and Corollary on p. 228), they coincide with the Riemann–Liouville derivatives for almost every
.
We are now ready to recall the concept of generalised Lebesgue–Stieltjes integrals. For this, let
f and
g be functions such that the limits
exist in
, and denote
and
. Suppose now that
and
for some
and
such that
. In this case, the generalised Lebesgue–Stieltjes integral
is well-defined. Moreover, it can be proved that the right side does not depend on
.
We follow closely the approach of [
31]; for this, we need to introduce some necessary spaces and norms. For
, we denote by
the space of measurable functions with values in
equipped with a norm
Here and below,
denotes the Euclidean norm. Similarly, we use a norm
We also consider the function space
, the space of measurable functions with values in
with a norm
Clearly, we have
which we will use in the sequel. Similarly, we denote by
the space of measurable vector functions
with
equipped with a norm
We also denote by the space of -Hölder continuous functions.
Finally, we recall that if
and
, then the integral
exists for all
. Moreover, the integral belongs to
. Actually, by Proposition 4.1 of [
31], we have the estimate
This yields immediately a bound
Moreover, the integral satisfies also a bound
which we will use throughout the paper. We also recall the following Gronwall-type lemma that is needed for the proof of Theorem 2.
Lemma 1 ([
31] Lemma 7.6)
. Fix , . Let be a continuous function such that for each t we haveThen,where and are positive constants depending only on α. 3. Wong–Zakai Approximations for the Fractional Noise
Let
be an
m-dimensional fractional Brownian motion with Hurst index
on a complete probability space
, i.e., the components
,
, of
are independent centred Gaussian processes with the covariance function
Throughout the article, we denote by
the space of random variables with
pth moment finite. In the sequel, we will work with the canonical version of the fBm. In fact, let
be the space of continuous paths with values zero at zero equipped with the compact open topology. Let
also be defined as the Borel-
-algebra and let
be the distribution of
. We consider the Wiener shift given by
where
and
. It follows from ([
33] Theorem 1) that the quadruple
is an ergodic metric dynamical system. In the sequel, we will identify
with the continuous path
. For each
, we define the random variable
by
Then,
and it follows from stationarity of the increments of fBm (see, e.g., [
20,
21]) that
is a stationary Gaussian process. Let
Together with
, this gives
In particular, we have
which will be used later on.
Next, we show that
can be viewed as an approximation of fractional white noise in the Wong–Zakai sense. The following result provides us the first estimate on the convergence rate in the mean sense. In Proposition 1, we apply the properties of the fBm to provide the exact rate of convergence. However, we wish to present the following simple proof that can be adapted easily to more general cases than fBm (see also Remark 1 and discussions in
Section 5).
Lemma 2. Moreover, for any , there exists a constant such that for any , we have Proof. For each
and
, we have
Hence, by using the uniform continuity of
on the interval
, we obtain
that proves the first claim. For the second claim, basic inequality
together with Minkowski inequality implies the claim once we have proved the claim for
, i.e., in the one-dimensional case. This now follows easily. Indeed, by Gaussianity we have
where
This concludes the proof. □
Remark 1. We remark that the above statement remains valid for a much larger class of processes. Actually, we have only used continuity and hypercontractivity , valid for Gaussian processes X, together with . Thus, the above result easily extends to arbitrary Gaussian process with Hölder continuous paths (see, e.g., [34]) and beyond. On the other hand, in particular cases such as fBm, one can refine the arguments and obtain the exact rate of convergence—see Proposition 1 and Theorem 1 below. For detailed discussion on the generalisations, see Section 5. In order to establish convergence of the solutions of the approximating stochastic differential equations, we need convergence in the space . This, on the other hand, can be achieved by proving convergence in the space . We start with a result stating the exact error in in the one-dimensional case, which may also have its own interest.
By notation
, we mean standard Landau’s notation indicating
. For a fixed
, we also introduce a function
defined by
It turns out that
plays a crucial role in the rate of convergence. We also note that, while here, the integral could be computed explicitly, the form (
11) is the most convenient for our proofs. We begin with the following lemma that studies the properties of
.
Lemma 3. Let and let be given by (
11).
Then, - 1.
we have as , and
- 2.
we have as .
Proof. We begin with the first claim concerning asymptotic behaviour as
. For any
, we have
Moreover, by Taylor approximation, we have, for any
,
where the remainder satisfies
as
, uniformly in
. Applying this to functions
,
, and
gives us
Since
as
, we obtain
proving the first claim. For the second claim concerning asymptotic behaviour as
, let
. It suffices to prove that
and
Indeed, combining (
12) and (
13) leads to
We begin by showing (
12). We compute
Hence, by applying Taylor’s theorem and L’hopital’s rule, we can conclude
This implies
and, in particular, that (
12) holds. For (
13), we can compute as above to obtain
Direct calculations show that
and
Hence, by using Taylor’s approximation again, we obtain
Observing
shows (
13) and concludes the whole proof. □
Proposition 1. Let be fixed and let the number of dimensions . Then, the error process has stationary increments, and for any and any we havewhere denotes the Gamma function and is given by (
11).
Proof. Denote the error process by
, i.e.,
For any
, we have
and since fBm has stationary increments, it follows that
where
denotes equality in distribution. Thus, the error process
has stationary increments. It remains to prove (
14). First, we observe that since
is a Gaussian process and
for
, it suffices to consider the case
. We compute
After taking expectation, using Fubini’s theorem, and plugging in (
8), we can use some elementary manipulations to collect similar terms together and obtain
Here, we obtain by interchanging the roles of
s and
u that
Treating other terms similarly, we obtain that
Now, the claim follows directly from a change of variables and . □
We are now ready to formulate the main result of the article that provides the rate of convergence in the space . Up to multiplicative constants, our result is sharp.
Theorem 1. Let and . Then, for any , there exists a constant , depending only on parameters and the number of dimensions m, such that for any we have Proof. Using the elementary inequality
we obtain that it suffices to consider the one-dimensional case. Throughout the proof, we denote by
C any generic unimportant constant (depending on parameters
, and
m) that may vary from line to line. As in the proof of Proposition 1, we use short notation
for the error process.
We begin with the lower bound, which is rather easy. Indeed, for any
, we have
Consequently, Proposition 1 yields
where
. This proves the lower bound. Consider next the upper bound. By Minkowski’s inequality, we can study the two terms
and
separately. For the first one, a simple application of Borell–TIS inequality (see e.g., [
35] Theorem 2.1.1) implies that, for any topological space
T and a centred Gaussian family
, we have
Together with Proposition 1, this leads to an upper bound
Since
, Lemma 3 implies
hence, we have obtained
Consider next the term (
15). By Proposition 1,
has stationary increments. Thus,
where
denotes the equality in distribution. Now, Minkowski’s integral inequality together with Proposition 1 yields
where
by Lemma 3. Hence, we can conclude that
Together with (
16), this concludes the proof. □
4. Noise Perturbations for Differential Equations Driven by Hölder Functions
In this section, we apply Theorem 1 to study approximations of solutions to stochastic differential equations driven by fBm. However, in view of Remark 1, we present our main result of this section, Theorem 2, in a general form. The detailed analysis of the case of the fBm is postponed in
Section 4.1.
Consider the following differential equation,
driven by
for some
. To ensure the existence and uniqueness of the solution, we adopt the following slightly modified (cf. Remark 2) assumptions from [
31] for the coefficient functions
and
:
- (i)
There exists a constant
such that for
,
- (ii)
For any
, there exist constants
such that for
,
- (iii)
There exists a constant
and
such that for
,
- (iv)
For any
, there exists a constant
such that for
,
- (v)
There exist a constant
and a function
, where
, such that for
,
Remark 2. The existence and uniqueness result of [31] hold under slightly more general assumptions compared to ours. That is, we have assumed Lipschitz continuity in (
19)
and (
20),
while in [31] these are replaced with Hölder continuity of suitable order. For the sake of simplicity and in order to avoid adding extra layers of parameters and complexity into the proof of Theorem 2, which is already technical and rather lengthy, we work with the above set of assumptions. Note also that in condition (v), we do not allow , which at first glimpse might look slightly different compared to of [31]. However, existence and uniqueness in the space follows from ([31] Theorem 2.1) provided that and . These conditions cannot be satisfied simultaneously if . Remark 3. Note that for differential equations driven by , one could define integrals in the sense of Young as well, and consider p-variations of the solution (with suitable parameter p). Here we have considered integrals defined through fractional calculus instead, as (weighted) fractional-order Sobolev spaces introduced in Section 2 are naturally linked to Hölder continuous functions, and even our stationary approximation can be viewed as a smoothing of the process through integration. In this sense, integration considering fractional integration seems more natural approach compared to analysis of p-variation and Young integration. On the other hand, functions of bounded p-variation are intimately connected to Hölder functions as well, and it is already well-understood that in the case of the present paper, both approaches lead to solutions that coincide. Since
is, in general, not smooth, Equation (
17) is understood in integral form
Note that, here, we have used
for the sake of notational simplicity, although
u depends also on the path of
, i.e., the solution is a flow
. The integral in (
24) is understood in the generalised Lebesgue–Stieltjes sense. Let
such that
. Then, by ([
31] Theorem 2.1), Equation (
17) has a unique solution in the space
under the given conditions (
18)–(
23). Moreover, by ([
31] Proposition 5.1), the solution
u satisfies
where
and
depend on the constants appearing in (
18)–(
23)—
T,
, and
. Finally,
depends solely on
and
. More precisely (cf. [
31], Proposition 5.1),
Now, let
be an arbitrary approximation of the noise
(for example, a smooth approximation). Then, we approximate (
24) with
Since
as well, Equation (
27) admits a unique solution
. It turns out that the solutions
for (
27) converge towards solution
u for (
24) as long as
converge towards the noise
of (
24) in the space
.
Theorem 2. Suppose that f and σ satisfies conditions (
18)–(
23),
and fix such that . Furthermore, let u and, for a fixed family and , denote the unique solutions in to (
24)
and (
27),
respectively. If , there exists a constant K, independent of , such that In particular, if ,
Remark 4. In comparison with the existing literature, our result is very similar to the main results of [29,30] and does not provide any surprises to an educated reader. Indeed, in [29], the authors studied a differential equation of form with Hölder continuous (of sufficient order) driver y; in this sense, our result simply extends the main results of [29] to cover the more complicated coefficient σ and the case of nontrivial drift coefficient f in (
17).
Similarly, in [30], the authors studied the same general equation given by (
17).
However, in [30], the authors only provided convergence in the uniform norm , while here, we provide the convergence in the fractional Sobolev norm . It is also worth noting that our method differs slightly from the one presented in [30]. As such, we present the result and its proof for the reader’s convenience, despite the fact that our result can be seen only as a slight technical generalisation of the results presented in [29,30]. For related literature, see [36,37] concerning the continuity of the Itô map under various norms and settings. Proof. Our aim is to apply Lemma 1. For this, we denote
It follows from (
25) that there exists large
N such that
and
. This allows us to apply localisation argument in order to apply conditions (
18)–(
23). Throughout the proof, we denote by
K a generic constant that may vary from line to line. We stress that
K may depend on
N and the constants appearing in conditions (
18)–(
23).
K may also depend on
,
T, and
. However,
K is independent of
, although from time to time, we also apply bound
and include this to the constant
K, whenever confusion cannot arise.
For
, it follows from (
22) that
By the notation of (
29), we have thus observed
For
, we observe first that, for any
,
For the first term, we obtain by (
6) that
Here,
by Lipschitz continuity of
and the fact that
. For the second term, we apply (
7) and Lemma 7.1 of [
31] to obtain
Since we have
and
, it follows that
Let
. For the first term, we have
where
For the second term, we have
leading to
For the third term, we obtain
and hence,
Finally, for the fourth term, we obtain
so,
Consequently, by combining the estimates (
31)–(
36), we obtain an estimate
With (
30), this leads to
and thus, we may apply Lemma 1 to obtain
This shows (
28) and completes the proof. □
4.1. Wong–Zakai Approximations for SDEs Driven by fBm
Consider the following stochastic differential equations (SDEs) driven by fBm
where
, and the corresponding Wong–Zakai approximation
where
, is given by (
9). We denote
where for each
Then, Equation (
39) can be rewritten as
and Equations (
39) and (
38) can be written in integral forms as
and
where we have identified
with
. Together with (
10), conditions (
18)–(
23) give the existence and uniqueness of solution of random ordinary differential Equation (
40) by standard arguments. On the other hand, the solution to (
40) is the solution to (
41), where the integral
can also be understood in the generalised Lebesgue0–Stieltjes sense. Thus, again by [
31] (Theorem 2.1), Equation (
41) has a unique solution in the space
, where
.
The following theorem provides us the fact that one can approximate solutions to SDEs driven by fBm by studying equations driven by our smooth stationary approximation. The claim follows essentially by repeating arguments presented in the proof of Theorem 1 and in [
31]. For this reason, we only sketch the main ideas and omit the details.
Theorem 3. Suppose that f and σ satisfy conditions (
18)–(
23)
and fix such that . Let and u be the (unique in ) solution to (
41)
and (
42),
respectively. Then, as , - 1.
We have in probability.
- 2.
If, in addition, and the constants and the function in (
18)–(
23)
are deterministic and can be chosen independently of N, there exists a constant K, independent of δ, such that
Proof. The first claim follows immediately by combining statements of Theorem 1 and Theorem 2 together with the fact that convergence in
implies convergence in probability. Similarly, following the proof of Theorem 2 and applying (
25) gives us
where
is given by (
26). Estimating the norm
from above by the Hölder norm, obtaining that given assumptions imply
, repeating the arguments of [
31] or [
34] to estimate exponential moments of the Hölder norm, and using Hölder inequality together with Theorem 1 proves the claim. The repetition of the technical details are left to the reader. □
Remark 5. As expected, the sharp rate of convergence in Theorem 1 translates into a similar rate of convergence for the solutions. While here we have only provided an upper bound, the obtained rate is the best one can hope for in the general setting that covers all the possible choices of the coefficients f and σ.
5. Discussion
In this article, we have introduced Wong–Zakai approximations of the fractional noise and studied its convergence properties. Our approximation is valid on the full range of the Hurst parameter. Moreover, our main result, Theorem 2, provides sharp rate of convergence for our approximation. As an application, we proved that, for the case , the solutions of the approximating differential equations converge, in the norm , towards the original solution. The only needed feature for the convergence of approximating solutions to differential equations is that the approximation of the noise converges in . Indeed, on top of technical computations, the only additional ingredient in the proof of Theorem 2 was a deterministic Gronwall-type Lemma 1. Our Theorem 2 can be seen as a slight generalisation on similar results provided in the literature.
In the particular case of the fractional Brownian motion, convergence of the approximation together with a sharp rate of convergence can be seen from Lemma 3 and Proposition 1, whose proof uses the fact that the underlying process is the fBm. This, in turn, translates into a sharp result, provided in Theorem 1, on the rate of convergence in the space
. In addition, proof of Theorem 1 also applies Gaussianity and stationarity of the increments. However, as pointed out already in Remark 1, the convergence in
follows immediately if
and
satisfies the hypercontractivity property
The convergence in
on the other hand could be based on Garsia–Rodemich–Rumsey lemma [
38], which provides an inequality
valid for all continuous functions
f on
, all
, and
. Using this, one can follow the proof of ([
31] Lemma 7.4) or ([
34] Theorem 1) and, assuming hypercontractivity, eventually obtain convergence of the moments of
. Unfortunately, however, while providing the desired convergence in the space
, this approach does not yield (in any straightforward manner) good bounds for the rate of convergence. Indeed, even in the case of fBm, one obtains that the
p:th moment is proportional to
, where
can be chosen arbitrarily and
p has to be chosen large enough. Thus, the obtained rate of convergence in
is proportional to
, which, in turn, means that one obtains a worse rate for higher moments. This is significantly worse than the sharp rate
, valid for all
, provided in Theorem 1.
On the positive side, the Garsia–Rodemich–Rumsey inequality still provides the required convergence (despite poor rate of convergence) with very modest assumptions, namely, hypercontractivity and Hölder continuity, on the underlying process
. This fact extends our results to cover a rather rich class of stochastic processes. For example, all Hölder continuous Gaussian processes fall into this category, see ([
34] Theorem 1). Interesting non-Gaussian examples include
kth-order Hermite processes. They share many properties with the fBm including covariance structure, Hölder continuity, and self-similarity, though they are not Gaussian processes and instead belong to the
kth chaos (see, e.g., [
39] for definition and details). In this case, (
43) and (
44) are both valid, and consequently, the results of this paper provide stationary approximations to Hermite processes such that the corresponding solutions of stochastic differential equations converge as well. It is worth noting that, to the best of our knowledge, stochastic differential equations driven by Hermite processes have not been extensively studied in the literature.
Finally we emphasise that the stationary Wong–Zakai approximation and the exact
-error provided in Proposition 1 are valid for all
, while convergence of solutions to SDEs, studied in
Section 4 (cf. Theorem 1), require
. This provides a natural question for future research on the convergence of solutions in the region
, in which case rough path theory or some other method of integration has to be considered.