Dimitra C. Antonopoulou,Dimitrios Dimitriou,Georgia Karali,Konstantinos Tzirakis
Abstract:We consider the one-dimensional outer stochastic Stefan problem with reflection which models the short-time prediction of the price or spread of one volatile asset traded in a financial market. The problem admits maximal solutions as long as the velocity of the moving boundary stays bounded, [3,7,8]. We apply Malliavin calculus on the transformed equation and prove first that its maximal solution u has continuous paths a.s. In the case of the unreflected problem, the previous enables localization of a proper approximating sequence of the maximal solution. Then, we derive there locally the differentiability of maximal $u$ in the Malliavin sense. The novelty of this work, apart from the derivation of continuity of the paths for the maximal solution with reflection, is that for the unreflected case we introduce a localization argument on maximal solutions and define efficiently the relevant sample space. More precisely, we prove the local (in the sample space) existence of the Malliavin derivative and, under certain conditions on the noise coefficient, the absolute continuity of the law of the solution with respect to the Lebesgue measure.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the application of Malliavin calculus for the one - dimensional stochastic Stefan problem (with reflection), especially in the context of financial markets. Specifically:
1. **Path Continuity**: The paper proves that in the sample space \(\Omega_M\), the maximal solution \(u\) has spatio - temporal continuity almost everywhere. This is achieved by applying Malliavin calculus and considering an appropriate stopping time \(\tau_M\).
2. **Malliavin Differentiability**: For the non - reflective case, the paper introduces a localization method to define an appropriate sample space and proves the local differentiability of the maximal solution \(u\) in the Malliavin sense. Moreover, under certain conditions on the noise coefficient, it proves the absolute continuity of the distribution of the solution with respect to the Lebesgue measure.
3. **Existence and Uniqueness of the Truncated Solution**: To deal with the non - reflective problem, the paper defines a truncated solution \(u_n\) and constructs a Cauchy sequence through the Picard iteration scheme, proving its existence and uniqueness. Specifically, for any fixed \(n\in\mathbb{N}\), the truncated function \(H_n\) and the corresponding truncated equation are defined, and it is proved that the truncated solution \(u_n\) converges to the original solution \(u\).
4. **Existence and Regularity of the Malliavin Derivative**: Finally, the paper proves that the Malliavin derivative of the solution to the non - reflective problem exists and satisfies a specific stochastic partial differential equation (SPDE). Moreover, the regularity of this derivative in the \(D^{1,2}\) and \(L^{1,2}\) spaces is also proved.
### Formula Summary
- **Green Function**:
\[
G(x,y,t - s)=\frac{2}{\lambda}\sum_{k = 1}^{\infty}\sin\left(\frac{k\pi y}{\lambda}\right)\sin\left(\frac{k\pi x}{\lambda}\right)e^{-\alpha\left(\frac{\pi}{\lambda}\right)^2k^2(t - s)}
\]
or the equivalent form:
\[
G(x,y,t - s)=\frac{1}{\sqrt{4\pi\alpha(t - s)}}\sum_{k=-\infty}^{\infty}\left[\exp\left(-\frac{(y - x + 2k\lambda)^2}{4\alpha(t - s)}\right)-\exp\left(-\frac{(x + y + 2k\lambda)^2}{4\alpha(t - s)}\right)\right]
\]
- **Estimation**:
\[
|G(x,y,t - s)|\leq C|t - s|^{-1/2}\exp\left(-c\frac{|x - y|^2}{|t - s|}\right)
\]
\[
|G_y(x,y,t - s)|\leq c|t - s|^{-1}\exp\left(-c\frac{|x - y|^2}{|t - s|}\right)
\]
- **SPDE of Malliavin Derivative**:
\[
D_{y,s}u_n(x,t)=G(x,y,t - s)\sigma(y)+\int_s^t\int_D G_y(x,\tilde{y},t-\tilde{s})u_y(0,\tilde{s})G_n(\tilde{y},\tilde{s})D_{y,s}u_n(\tilde{y},\tilde{s})d\tilde{y}d\tilde{s}
\]
\[
+\int_s^t\int_D G_y(x,\tilde{y},