Three line summary
-
Solutions to SDEs of the form $dX=b(X) d t +\sigma (X)dW$ are Malliavin differentiable if $b,\sigma \in C^1({\mathbb R})$.
-
Their Malliavin differential $DX$ can be written as a stochastic integral.
-
This gives us an SDE linear in $DX$ and can be solved exactly to obtain an explicit expression for $DX$.
Notation
The same as in the other posts of this series. In particular, we recall the notation $\mathbb{L}^2(I\times\Omega)$ for the set of progressively measurable square integrable stochastic processes. Furthermore, given a stochastic process $X$ such that $X(t)\in \mathbb{D}^{1,2}$ for each $t\in I$ we write $D\U rX(t)$ for the Malliavin differential at time $r\in I$ of $X(t)$. That is, if
is the chaos expansion of $X(t)$ for each $t$ then we have that
Introduction
As anticipated in the summary, we will be working with an SDE of the form
It is a classical result of the theory of SDEs that, if $b$ and $\sigma$ are Lipschitz continuous, then the above equation has a unique solution for each initial data $X\U 0\in L^2(\Omega)$. That is, there exists a unique continuous adapted process $X\in \mathbb{L}^2(I\times\Omega)$ such that
Our goal will be to obtain an explicit expression for the derivative of $X$. We will do so by directly differentiating in the expression above. As a result, we will need two lemmas that tell us how to differentiate each of the above integrals. The first of these is as follows.
Lemma 1. If $X\in \mathbb{L}^2(I\times\Omega)$ is Malliavin differentiable for almost all $t$. Then $\int\U {0}^t X(s) dW(s)$ is Malliavin differentiable and we have that
Proof. Suppose that $D\U tX$ is progressively measurable. Then, using the previously studied divergence property and the fact that the Skorohod integral is an extension of the Itô integral gives
We consider the chaos expansion of $X$. Then, as was seen previously, we have that
So, writing the chaos expansion for $D\U rX(s)$ gives
Substituting in the first equation we derived shows that
As a result, we only need to show that $D\U r X$ is progressively measurable for all $r<t$. This follows by some knowledge of how the Malliavin differential works with conditional expectations. We haven’t covered this so we refer the reader to 1 page 34. ◻
Our second lemma shows how to differentiate deterministic integrals. In this case, we need a stronger condition than $D\U rX(t)$ existing for each fixed $t$.
Lemma 2. Let $X(s)\in \mathbb{D}^{1,2}$ be Malliavin differentiable for each $s\in I$ with
Then, given $h\in L^2(I)$ it holds that
Proof. We will apply Fubini, we have that
Where both Fubini and the commutation of the sum and the integrals are justified by the condition of the lemma, which guarantees that the last sum has finite $L^2(I\times\Omega)$ norm as
Where in the first inequality we applied Fubini, Cauchy Schwartz, and the triangle inequality, and in the equality, we used our old calculation of the norm of the Malliavin derivative
The result now follows by noting that, by the linearity of the iterated integrals, it holds that the terms
Is the chaos expansion of $\left\langle X,h\right\rangle\U {L^2(I)}$. ◻
In particular, by setting $h=1\U {[0,t]}$, this shows that
That is, we can commute the derivative with deterministic integrals. The previous two lemmas together with the chain rule show that, if we take $X\U 0\in {\mathbb R}$, and the solution to our SDE verifies all necessary conditions, then
Proposition 1. Given our SDE with $\sigma ,b\in C^1\U b({\mathbb R})$ it holds that there exists a unique solution $X\U t$ and for all $r\leq t$ we have
Proof. The proof is quite technical and we merely sketch it. The full detail in 2 page 120. By the previous discussion, it is only necessary to show that $X$ verifies the conditions of the lemma, i.e. is Malliavin differentiable and its differential verifies that
This is proved by a Picard iteration
The aim is to prove that $X\U n$ are differentiable with
For the case $n=0$ this is clear as we have that
For the general case, the condition of the Lemma 1 is a consequence of the hypothesis of induction on $X\U n$ and the chain rule. Verifying the conditions of Lemma 2 (and in fact stronger bounds on the supremum of $X$) can be done using the Burkholder–David–Gundy inequality. Once that is done, one can prove through a discrete version of Gronwall’s inequality that $D\U rX\U n$ are bounded uniformly in $n$. Since we know by classical theory of SDEs that $X\U n\to X\in L^2(I\times\Omega)$ this is sufficient to show that
Completing the proof. ◻
We now show how to obtain an explicit expression for $D\U rX$ by using that the equation verified by $D\U rX$ is linear (in $D\U rX$ as opposed to $X$). Doing so uses a generalized version of Ito’s formula for stochastic coefficients.
Theorem 1. Let $b,\sigma \in C^1\U b(I)$ and $X$ verify the SDE
Then $X(t)$ is Malliavin differentiable on $[0,t]$ with
Proof. Let us fix any $r\leq t$ and set. Then
Then we have that, since $b’,\sigma ‘$ are bounded, $u\in \mathbb{L}^1([0,t]\times\Omega),v\in \mathbb{L}^2([0,t]\times\Omega)$ and for each fixed $r\in {\mathbb R}$ it holds that
Where we define $Y\U r(0):=\sigma (X\U r)$. Symbolically we have the family of linear SDEs starting at time $r$
Consider
Which solves the differential equation
Applying Itô to $g(z):=e^z$ gives
Setting $Y\U r=Y\U r(r)g(Z)$ proves the result by the uniqueness of solutions as both sides verify the same SDE (note that $Y\U r(r)g(Z)$ has the same stochastic differential as $g(Z)$ but now takes initial data $Y\U r(r)$). ◻
We end this post by noting that Proposition $1$ has a multidimensional generalization which can also be found in Nualart’s book 2, on page 119.