Open Access

Symmetrization associated with hyperbolic reflection principle

Pacific Journal of Mathematics for Industry201810:1

Received: 12 October 2017

Accepted: 15 November 2017

Published: 11 January 2018


In this paper, in view of application to pricing of Barrier options under a stochastic volatility model, we study a reflection principle for the hyperbolic Brownian motion, and introduce a hyperbolic version of Imamura-Ishigaki-Okumura’s symmetrization. Some results of numerical experiments, which imply the efficiency of the numerical scheme based on the symmetrization, are given.


Hyperbolic Brownian motionReflection principleSymmetrizationBarrier optionEuler-Maruyama scheme


Reflection principle and the static hedge of barrier options

The reflection principle of standard Brownian motion relates the probability distribution of a first hitting time to a boundary to the 1-dimensional marginal distribution of the process. The formula has a direct application in continuous-time finance, that is, the static hedging of barrier options1. The idea is explained roughly as follows. Suppose that we sold a knock-out call option2 (which is a typical barrier option). Its pay-off is described as
$$(S_{T} - K)_{+} 1_{\{\tau > T\}}, $$
  • T is the expiry date of the option,

  • K is the exercise price,

  • S is the price process of a risky asset, with S0>K,

  • τ:= inf{s>0:S s <K}, the first hitting time of S to K, the knock-out boundary, with K<K.

The static hedge of the knock-out option consists of two plain-vanilla (=without knock-out condition) options, long position of call option with pay-off (S T K)+, and short position of “put option” whose value
  • at τ equals the call, and

  • is zero at T on τ>T.

This simple portfolio hedges the knock-out option since it is
  • zero at T on τT since at τ it is liquidated, and

  • (S T K) at T on τ>T.

This relation can be expressed as
$$\begin{array}{*{20}l}&E [ (S_{T}-K)_{+} 1_{\{\tau > T\}}|\mathcal{F}_{t \wedge \tau}]\\ &= E [ (S_{T}-K)_{+} | \mathcal{F}_{t \wedge \tau}] \\ & \quad -E [{~}^{\backprime\backprime}\text{put \ option}^{\prime\prime} | \mathcal{F}_{t \wedge \tau}], \end{array} $$
for 0≤tT, where \( \{ \mathcal {F}_{t} \} \) is the filtration generated by S. The existence of such an option is ensured by the reflection principle. If S is geometric Brownian motion, it can be the option with pay-off (KS T )+ since
$$ (S_{t}-K)_{\tau \leq t \leq T} \overset{\text{(law)}}{=}(K-S_{t})_{\tau \leq t \leq T} $$

by the reflection principle. In general, the property is referred to as (arithmetic) put-call symmetry at K [4], which is weaker than the reflection principle that ensures put-call symmetry for any K.

The interpretation is first proposed in [3], and there are vast literatures since then (see e.g. [1] and references therein). Among these, we just mention a multi-dimensional extension proposed in [11], where the reflection principle with respect to reflection groups is applied to the pricing of multi-asset barrier options, barrier being the boundary of a Weyl chamber. To the best of our knowledge, it is the first attempt to deal with the cases where the barrier(=knock-out/in boundary) is not a one point set.

Symmetrization and its application to numerical calculation of the price of barrier options

A new point of view in the literature, the symmetrization, was first introduced in [10], and further generalized in [2]. The symmetrization is a procedure to convert a given diffusion into the one with a weaker version of reflection principle, aiming at obtaining a precise numerical value of the price of barrier options in a reasonable computational time, rather than static-hedge in the market described in the previous section.

Let us briefly explain their idea. We work on 1-dimensional case for simplicity. Let S be a diffusion process satisfying the following stochastic differential equation:
$$ dS_{t} = \sigma(S_{t}) \, {dW}_{t} + \mu (S_{t}) \, dt, $$
where, σ and μ are piece-wise continuous functions with linear growth. In general we cannot expect the formula (1) to hold. The symmetrization \( \tilde {S} \) of S alternatively satisfies (1). It is defined as a (weak) solution to
$$ d\tilde{S}_{t} = \tilde{\sigma} (\tilde{S}_{t}) \, {dW}_{t} + \tilde{\mu} (\tilde{S}_{t}) \, dt, $$
$$\tilde{\sigma} (x) = \left\{\begin{array}{ll} \sigma (x) & x \geq K' \\ \sigma (2K-x) & x < K' \end{array}\right., $$
$$ \tilde{\mu} (x) = \left\{\begin{array}{ll} \mu (x) & x \geq K' \\ -\mu (2K-x) & x < K' \end{array}\right., $$

The following is proven in [10].

Theorem 1

(Imamura-Ishigaki-Okumura [10]) The law-unique solution \( \tilde {S} \) of (4) satisfies the put-call symmetry at K, and \( (\tilde {S}_{t})_{0 \leq t \leq \tau } \) has the same law as (S t )0≤tτ.

It then implies
$$ \begin{array}{ll} &\mathbf{E}[(S_{T}-K)_{+} 1_{\{ \tau > T\}}] \\ &= \mathbf{E}[(\tilde{S}_{T}-K)_{+} ] - \mathbf{E}[(K-\tilde{S}_{T})_{+} ]. \end{array} $$
The formula (6), however, is not anymore interpreted as static hedge relation, but it has another application. The Eq. (6) now reads that
  • An expectation with stopping time is converted to the one without it.

A numerical calculation of an expectation with stopping time often is a tough challenge due to its path-dependent nature. On the other hand, an expectation with respect to one dimensional marginal of a diffusion process is in most cases numerically tractable. Thus the Eq. (6) gives a new insight to the numerical analysis of barrier options/stopping times.

Euler-Maruyama approximation of the price of barrier options

The most common technique to numerically approximate an expectation with respect to a diffusion process would be so-called “Euler-Maruyama” scheme. Here we briefly recall the scheme.

An Euler-Maruyama discretization of (3) with respect to a time partition 0=t0<t1<<t n =T is given by
$$ \begin{aligned} S^{n}_{t_{0}} &= S_{0}, \\ S^{n}_{t_{k+1}} &= S^{n}_{t_{k}} + \sigma (S_{t_{k}}) \Delta W_{t_{k}} \\ & \qquad \;\; + \mu (S_{t_{k}}) (t_{k+1}-t_{k}), \\ k&=0,1,\cdots, n-1, \end{aligned} $$
where \( \Delta W^{n}_{t_{k}} \sim N (0, t_{k+1} -t_{k}) \), mutually independent for k=0,1,,n−1. The stopping time τ is also approximated by
$$\tau^{n} := \text{min}\left\{j:S^{n}_{t_{j+1}}< K'\right\}. $$
The expectation in the left-hand-side of (6) is approximated by (Monte-Carlo simulation of)
$$ \mathbf{E} \left[\left(S^{n}_{T} -K\right)_{+} 1_{\{\tau^{n} >T\}}\right], $$
while the right-hand-side counterpart is
$$ \mathbf{E} \left[\left(\tilde{S}^{n}_{T} -K\right)_{+}\right] - \mathbf{E} \left[\left(K-\tilde{S}^{n}_{T}\right)_{+}\right], $$

where \( \tilde {S}^{n} \) is obtained by the same procedure as (7).

The discretization error, by which we mean the difference between the true value of the expectation and its Euler-Maruyama approximation like (8) or (9), is known to be of O(n−1/2)in general when t k tk−1=T/n for all k. It is reported in [5] that the one with stopping time like (8) cannot be improved, while the one with one-dimensional marginal like (9) is, provided some continuity of the coefficients, known to be of O(n−1).

The symmetrized drift coefficient (5) may not be continuous in general even if the original one is very smooth, and as far as we know, no existing result ensures the order is of O(n−1) though recently there have been several papers ([12, 13], and [14]) to deal with discontinuous coefficients in line with the problem posed here. In [10], however, they conjecture that it is the case by performing numerical experiments.

References for more detailed and precise results of the order can be found in [10].

SABR model and hyperbolic Brownian motion

In the present paper, we study a hyperbolic version of the symmetrization, with a view to the application of the pricing of barrier options under SABR model, which is known to be transformed to hyperbolic Brownian motion with drift.

The SABR (stochastic alha-beta-rho) model was introduced in [6]. It is given by
$$\begin{array}{*{20}l} {dS}_{t} &= v_{t} \sigma (S_{t})\, dW^{1}_{t} \\ {dv}_{t} &= \nu \, v_{t} \left(\sqrt{1-\rho^{2}} dW^{2}_{t} + \rho dW^{1}_{t}\right), \end{array} $$
where (W1,W2) is a two dimensional Brownian motion, ρ(−1,1) and ν is a constant. We note that
  • A driftless local volatility model is obtained by setting ν=0, and

  • \( Z_{t} := \psi (S_{t/\nu ^{2}}, V_{t/\nu ^{2}}) + \sqrt {-1} V_{t/\nu ^{2}}\) with \( \psi (x,y) = (x-\rho y)/\sqrt {1-\rho ^{2}} \) is a hyperbolic Brownian motion with drift, a solution to (13) in “Hyperbolic symmetrization” section (for details see [7]).

The following is a “motto” widely accepted among researchers and practitioners in finance (see e.g. [8]): as tractability of one dimensional diffusion processes is attributed to the reduction to the standard Brownian motion with drift by the Lamperti transform, so the analysis of SABR model will be converted to that of hyperbolic Brownian motion with drift, where we can still work on symmetries from linear fractional transformations. We shall observe a realization of this idea in the present paper.

The contents of the present paper

We start with introducing a hyperbolic version of the reflection principle that parallels the one with the standard Brownian motion in “Hyperbolic reflection principle” section. We introduce in “Hyperbolic symmetrization” section a weak version of the reflection principle, which also parallels with the classical put-call symmetry. Associated symmetrization is then introduced. “Numerical experiments” section is devoted to numerical studies. As in the case of the Imamura-Ishigaki-Okumura’s scheme using classical symmetrization, the error is not proven to be O(n−1) mathematically but the numerical results support the conjecture of the hyperbolic case as well.

Hyperbolic reflection principle

Invariant property of hyperbolic Brownian motion

A Hyperbolic Brownian motion is the unique solution to
$$\left\{\begin{array}{ll} {dX}_{t}&=Y_{t}dW^{1}_{t} \\ {dY}_{t}&=Y_{t}dW^{2}_{t}, \end{array}\right. $$
where W1 and W2 are independent Brownian motions. It is defined on the upper-half plane \(\mathbb {H} = \{(x,y) \in \mathbb {R}^{2} : y>0\)} and we may and sometimes will embed it to \( \mathbb {C} \) by Z t =X t +iY t , where \(i =\sqrt {-1}\).

Proposition 1

Let \(f:\mathbb {H}\to \mathbb {H}\) be such that \(f(z):=\frac {az+b}{cz+d}\), where \(\left (\begin {array}{ll} a & b \\ c & d \\ \end {array}\right)\in \text {SL}(2,\mathbb {R})\). Then (f(Z t ))t≥0 and (Z t )t≥0 are equivalent in law provided that f(Z0)=Z0.


Since Z t =X t +iY t , using Ito’s formula for Z t ,
$$\begin{array}{*{20}l} {dZ}_{t}&={dX}_{t}+{idY}_{t}=Y_{t}\left(dW^{1}_{t}+idW^{2}_{t}\right)\\ &=\text{Im}(Z_{t})dW^{\mathbb{C}}_{t}, \end{array} $$
where \(dW^{\mathbb {C}}_{t}=dW^{1}_{t}+idW^{2}_{t}\), which we define to be a complex Brownian motion. On the other hand, since Z t is a conformal martingale and f is a holomorphic function, we can use Ito’s formula for conformal martingales to get
$$\begin{array}{*{20}l} df(Z_{t})&=\partial_{z}f(Z_{t}){dZ}_{t}\\ &=\frac{1}{({cZ}_{t}+d)^{2}}\text{Im}(Z_{t}){dW}_{t}^{\mathbb{C}}\\ &=\frac{|{cZ}_{t}+d|^{2}}{({cZ}_{t}+d)^{2}}\text{Im}(f(Z_{t}))dW^{\mathbb{C}}_{t}\\ &=\text{Im}(f(Z_{t}))d\widetilde{W}_{t}^{\mathbb{C}}, \end{array} $$

where \(d\widetilde {W}^{\mathbb {C}}_{t}=\frac {|{cZ}_{t}+d|^{2}}{({cZ}_{t}+d)^{2}}dW^{\mathbb {C}}_{t}\), which is another complex Brownian motion. Hence Z t and f(Z t ) are equivalent in law if they start from the same point, as they are defined by the same SDE. □

Hyperbolic reflections

Let be the totality of such isometries π on the upper-half plane \(\mathbb {H}\) that π2=Id and that the invariant set \(\text {Inv}_{\pi }:=\left \{z \in \mathbb {H}: \pi (z)=z \right \}\) is a geodesic on \(\mathbb {H}\).

Proposition 2

We have that
where \(\Phi _{A}(z)=\frac {az+b}{cz+d}\) for \(A = \left (\begin {array}{ll} a &b \\ c&d \end {array}\right) \in \text {SL}(2,\mathbb {R})\)and \(\Phi _{0}(z):=-\overline {z}\).


It is well-known that an isometry on \( \mathbb {H} \) is either Φ A or Φ A Φ0 for some \( A \in \text {SL}(2,\mathbb {R})\). By the fundamental theorem of algebra, we know that the equation Φ A (z)=z has at most two solutions of complex for \(A \in \text {SL}(2,\mathbb {R})\). So .

For \(\Phi _{A}\circ \Phi _{0} \in \text {Isom}(\mathbb {H})\) and for z=x+iy,
$$(\Phi_{A}\circ \Phi_{0})^{2}(z) =\frac{(a^{2}-bc)z-b(a-d)}{c(a-d)z-(bc-d^{2})}. $$
By a simple calculation,
$$\begin{array}{*{20}l} &\frac{(a^{2}-bc)z-b(a-d)}{c(a-d)z-(bc-d^{2})}=z\\ \iff &(a^{2}-bc)z-b(a-d)\\ &=c(a-d)z^{2}-(bc-d^{2})z \end{array} $$
  • If a=d, for any b and c, (10) is satisfied.

Since a2bc=1, we have \(c=\frac {a^{2}-1}{b}\) if b≠0, that is;
$$A= \left(\begin{array}{ll}a & b \\ \frac{a^{2}-1}{b} & a \\ \end{array}\right). $$
For b=0, c is an arbitrary real number and a=±1 from a2=1;
$$A= \left(\begin{array}{cc}\pm 1 & 0 \\ c & \pm 1 \\ \end{array}\right). $$
  • If ad, the Eq. (10) is

We get a=−d and b=c=0.
Finally, we should find that the invariant set is geodesic. A geodesics of upper half plane is a line perpendicular to the real line, or a half-circle orthogonal to the real line.
  • If
    $$A= \left(\begin{array}{ll} a & b \\ \frac{a^{2}-1}{b} & a \\ \end{array}\right), $$
and if a≠±1,
$$\begin{aligned}&\frac{-a\bar{z}+b}{-\frac{a^{2}-1}{b}\bar{z}+a}=z,\\ \iff &(a^{2}-1)|z|^{2}-ab(z+\bar{z})+b^{2}=0. \end{aligned} $$

The last equation means that it is a half circle, with center \(\left (\frac {ab}{a^{2}-1},0\right)\) and radius of \(\left |\frac {b}{a^{2}-1}\right |\).

If a=±1,
$$-\bar{z}+b=z. $$
The equation means that the invariant set is lines perpendicular to the real line.
  • If
    $$A= \left(\begin{array}{cc} \pm 1 & 0 \\ c & \pm 1 \\ \end{array}\right), $$
and if c≠0, without loss of generality, we may set a=1;
$$\begin{array}{*{20}l}&\frac{-\bar{z}}{-c\bar{z}+1}=z\\ \iff &-c|z|^{2}+(z+\bar{z})=0. \end{array} $$

The invariant set is a circle with center \(\left (\frac {1}{c},0\right)\) and the radius \(\frac {1}{|c|}\).

If c=0, the invariant set is the lines perpendicular to the real line. □

Hyperbolic reflection principle

Let . Then, \( \mathbb {H} = D_{+} \cup \text {Inv}_{\pi } \cup D_{-} \), where D± are the connected components of \( \mathbb {H} \setminus \text {Inv}_{\pi } \).

Proposition 3

(Hyperbolic Reflection Principle) Let Z0D+ and τ=inf{t≥0:Z t D+}=inf{t≥0:Z t Inv π }. If we put \(\widetilde {Z_{t}}=Z_{t} 1_{\left \{t<\tau \right \}}+\pi \left (Z_{t}\right)1_{\left \{t\geq \tau \right \}}\), then we have \( \left (Z_{t}\right)=(\widetilde {Z_{t}}) \) in law.


It suffices to show that if π is a reflection of \(\mathbb {H}\), then (π(Z t ))t≥0=(Z t )t≥0 in law if Z0Inv π since Z is a strong Markov process and Z τ Inv π . As we have seen that π=Φ A Φ0 for some specific \( A \in \text {SL} (2, \mathbb {R}) \), and by Proposition 1, we only need to check that \( (-\overline {Z}_{t}) \) is identically distributed as (Z t ) as a stochastic process, but this is obvious since (X t ) is identically distributed as (−X t ). □

Hyperbolic symmetrization

Hyperbolic put-call symmetry

Let . Then, by Proposition 2, we know that
$$\pi = \Phi_{A} \circ \Phi_{0} $$
$$ \begin{aligned} & A=\left(\begin{array}{cc} a & b\\ \frac{a^{2}-1}{b} & a \end{array}\right), \left(\begin{array}{cc} \pm 1 & 0\\ c & \pm 1 \end{array}\right) \\ &a, c\in \mathbb{R}, b\in \mathbb{R}\setminus \{0 \}. \end{aligned} $$
A Hyperbolic Brownian motion with drift is a unique solution in \(\mathbb {H}\) (if it exists) to
$$ \left\{ \begin{array}{cc} {dX}_{t}=Y_{t}dW^{1}_{t}+\mu_{1}(X_{t},Y_{t})dt \\ {dY}_{t}=Y_{t}dW^{2}_{t}+\mu_{2}(X_{t},Y_{t})dt, \end{array}\right. $$
where W1 and W2 are independent Brownian motions and μ1 and μ2 are measurable functions. If we use complex coordinate, the SDE (12) is rewritten as
$$ {dZ}_{t} = \text{Im} (Z_{t}) {dW}_{t}^{\mathbb{C}} + \mu (Z_{t}) \,dt, $$

where \( W^{\mathbb {C}} := W^{1} + i W^{2} \) and μ(Z)=μ1(Re(Z),Im(Z))+iμ2(Re(Z),Im(Z)).

Theorem 2

Let and we write
$$A =\left(\begin{array}{ll} a & b\\ c & d \end{array}\right), $$
to unify the two classes in the expression (11). Suppose that μ satisfies
$$ \mu (z) = \frac{\Phi_{0} \circ \mu \circ \pi (z) } {(c \Phi_{0}\circ\pi (z) + d)^{2}}, $$

and (13) has a unique weak solution. Then (π(Z t )) and (Z t )have the same law as a stochastic process, provided that Z0Inv π


Using Itô formula for π(Z t ), we have
$$\begin{aligned} d\pi(Z_{t})&=d(\Phi_{A}\circ\Phi_{0}(Z_{t}))\\ &=\partial_{\bar{z}}(\Phi_{A}\circ\Phi_{0})(Z_{t})d\overline{Z}_{t}\\ &=-\frac{1}{(c\overline{Z_{t}}-d)^{2}}\text{Im}(Z_{t})d\overline{W}_{t}^{\mathbb{C}}\\ &~~~~~-\frac{\overline{\mu(Z_{t})}}{(-c\overline{Z_{t}}+d)^{2}}dt\\ &=-\frac{|c\overline{Z_{t}}-d|^{2}}{(c\overline{Z_{t}}-d)^{2}}\text{Im}(\pi(Z_{t}))d\overline{W}_{t}^{\mathbb{C}}\\ &~~~~~+\frac{\Phi_{0}\circ\mu\circ\pi^{2}(Z_{t})}{(c\Phi_{0}\circ\pi^{2}(Z_{t})+d)^{2}}dt\\ &=\text{Im}(\pi(Z_{t}))d\widetilde{W}^{\mathbb{C}}_{t}+\mu(\pi(Z_{t}))dt, \end{aligned} $$
where we have used assumption (14) in the last line and
$$d\widetilde{W}^{\mathbb{C}}_{t}=-\frac{|c\overline{Z_{t}}-d|^{2}}{(c\overline{Z_{t}}-d)^{2}}d\overline{W}_{t}^{\mathbb{C}}, $$
which is another complex Brownian motion. Now Theorem follows by the law-uniqueness of the SDE (13). □


Here we present a hyperbolic version of the symmetrization introduced in [2] and [10].

Theorem 3

We keep the setting of “Hyperbolic reflection principle” section and Theorem 2 except for the drift function μ. We let
$$\tilde{\mu}(z) = \left\{\begin{array}{ll} \mu (z) & z \in D_{+} \\ \\ {\frac{\Phi_{0} \circ \mu \circ \pi (z) } {(c \Phi_{0}\circ\pi (z) + d)^{2}}}. & z \in \mathbb{H}\setminus D_{+}. \end{array}\right. $$
  • (i) the law unique solution of the SDE, if it exists,
    $${dZ}_{t} = \text{Im} (Z_{t}) dW^{\mathbb{C}} + \tilde{\mu} (Z_{t}) \,dt\qquad $$
    satisfies (π(Z t ))=(Z t ) in law, provided that Z0Inv π .
  • (ii) Let Z0D+ and τ=inf{t≥0:Z t D+}=inf{t≥0:Z t Inv π }. If we put \(\widetilde {Z_{t}}=Z_{t} 1_{\left \{t<\tau \right \}}+\pi \left (Z_{t}\right)1_{\left \{t\geq \tau \right \}}\), then we have \( \left (Z_{t}\right)=(\widetilde {Z_{t}}) \) in law.

  • (iii) [Conversion Formula] Suppose that F is a bounded measurable function on \( \mathbb {H} \) with support in D+. Then,
    $$\begin{aligned} &E [F(Z_{t}) 1_{\{\tau > t\}}]\\ &= E [F(Z_{t}) ] - E [F(\pi(Z_{t})) ]. \end{aligned} $$


(i) and (ii) are direct consequences of Theorem 2 and Proposition 3. (iii) can be proven in the same manner as in [10]. □

Example 1

Let Z be the unique solution to (13), \(\pi (z)=\frac {1}{\bar {z}}\) and Inv π ={|z|=1}. We let \(D_{+} := \{z\in \mathbb {H}: |z|> 1 \}\) and
$$\mu(z)=c\,\text{Im}(z), $$
where c is a constant, then the symmetrization \(\tilde {\mu }\) in Theorem 3 is
$$\tilde{\mu} (z) = \left\{\begin{array}{ll} c\, \text{Im}(z) & z \in D_{+} \\ -c z^{2} \text{Im}\left(\frac{1}{\bar{z}}\right) & \text{otherwise}. \end{array}\right. $$

Numerical experiments

In the hyperbolic symmetrization proposed in the present paper the symmetrized drift may not be continuous in general, as in the case of the symmetrization in [10]. This means that no rigorous mathematical result guarantees the efficiency— (high) order of convergence— in Euler-Maruyama approximation. In [10], it is claimed, however, that numerical experiments show the efficiency. In this section we present some simulation results of the Example 1 with c=1, t=1, and F(z)=(|z|−1)+N with N=104, which suggest that in the hyperbolic case the conjecture is still likely to be true.

We work on Euler-Maruyama discretization scheme with Monte-Carlo simulation, described below.
  1. 1.

    Let n be the number of discretization; we put t k =k/n, k=0,1,,n.

  2. 2.
    Let Z be the original process and \( \widetilde {Z} \) be the symmetrized one. We approximate Z and \( \widetilde {Z} \) by Z n =(X n ,Y n ) and \( \widetilde {Z}^{n} = (\widetilde {X}^{n}, \widetilde {Y}^{n}) \), defined as
    $$\begin{aligned} & X^{n}_{t_{k}}-X^{n}_{t_{k-1}} \\ &= Y^{n}_{t_{k-1}}\Delta W^{n}_{t_{k}} + \mu \left(Y^{n}_{t_{k-1}}\right) n^{-1}, \\ Y^{n}_{t_{k}} &= Y^{n}_{t_{k-1}} \text{exp} \left(\Delta W^{n}_{t_{k}} - (2n)^{-1}\right), \\ \,k&=1,2,\cdots,n \end{aligned} $$
    $$\begin{aligned} \widetilde{X}^{n}_{t_{k}}-\widetilde{X}^{n}_{t_{k-1}} =& \widetilde{Y}^{n}_{t_{k-1}}\Delta W^{n}_{t_{k}} + \tilde{\mu}_{1}\\ & \left(\widetilde{X}^{n}_{t_{k-1}}, \widetilde{Y}^{n}_{t_{k-1}}\right) n^{-1}, \\ \widetilde{Y}^{n}_{t_{k}}-\widetilde{Y}^{n}_{t_{k-1}} =& \widetilde{Y}^{n}_{t_{k-1}}\Delta W_{t_{k}}^{n} +\tilde{\mu_{2}}\\ &\left(\widetilde{X}^{n}_{t_{k-1}}, \widetilde{Y}^{n}_{t_{k-1}}\right) n^{-1}, \\ k=&1,2,\cdots,n, \end{aligned} $$
    where \(\tilde {\mu _{1}}\) and \(\tilde {\mu }_{2}\) are such that \(\tilde {\mu } = \tilde {\mu }_{1} + i \tilde {\mu _{2}}\). Here \( \left \{ \Delta W^{n}_{t_{k}}: k=1,2, \cdots, n\right \} \) simulates, by pseudo random numbers, independent copies of centered Gaussian random variables with variance n−1.
  3. 3.
    The Monte-Carlo simulation of Path-Wise Euler-Maruyama approximation of E[F(Z1)1{τ>1}] is obtained by
    $$\begin{aligned} &\text{PW-EM} (n) \\ &:= \frac{1}{M} \sum_{m=1}^{M} F\left(Z^{n,m}_{1}\right) 1_{\{\tau^{n,m} > 1 \} }, \end{aligned} $$
    where Z n,m stands for the m-th simulation of Z n , and
    $$\tau^{n,m} = \text{min} \left\{ t_{k} : |Z^{n,m}_{t_{k}}| \leq 1 \right\} $$
  4. 4.
    The Monte-Carlo simulation of \( E[F(\widetilde {Z}_{1}) ] - E [F(\pi (\widetilde {Z}_{1}))] \) is given by
    $$\begin{aligned} & \text{Symmetrization} (n) \\ &:= \frac{1}{M} \sum_{m=1}^{M} \left(F\left(\widetilde{Z}^{n,m}_{1}\right) - F \left(\pi \left(\widetilde{Z}^{n,m}_{1}\right)\right)\right), \end{aligned} $$
  5. 5.

    The “true” value Tr(n) is set to be Symmetrization(n) for some large n.

  6. 6.
    The errors are calculated accordingly as
    $$\begin{aligned} &\text{PW EM Error} (n)\\ &:= \text{log} |\text{Tr}(n) - \text{PW EM} (n)| \end{aligned} $$
    $$\begin{aligned} &\text{Sym Error} (n)\\ &:= \text{log} |\text{Tr}(n) - \text{Symmetrization} (n)|. \end{aligned} $$
The results are visualized as follows. The Figures 1 and 2 show the results when (X0,Y0)=(0.75,0.7) and (X0,Y0)=(1.0,1.0), respectively, and the “true" value is calculate for n=1000. The Tables 1 and 2 are the values of the dotted points in the Figures 1 and 2, respectively. The tangent of the regression line corresponds to the order of the convergence, which may suggest that it is of order 1 in the case of symmetrization.
Fig. 1

The results of the first experiment

Fig. 2

The results of the second experiment

Table 1

(X0,Y0)=(0.75,0.7), Tr1000=0.116674

M:No. of simmulation trials

n:No. of time steps



Sym Error

PW EM Error





























































Table 2

(X0,Y0)=(1.0,1.0), Tr1000=1.253903

M:No. of simmulation trials

n:No. of time steps



Sym Error

PW EM Error
























































A barrier option is a financial derivative with an additional condition that is made active when the underlying price process goes beyond/below a certain level. For details, see e.g. [9].


An option is called of “knock-out” type if the pay-off becomes zero if the underlying price process hits a certain value.




There’s no funding.

Availability of data and materials

The experiments are reproducible except the pseudo random numbers used in the Monte-Carlo simulation.

Authors’ contributions

Introduced a hyperbolic version of Imamura-Ishigaki-Okumura’s symmetrization, and by numerical experiments showed efficiency of the scheme. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

Department of Mathematics, Ritsumeikan University, Shiga, Japan


  1. Akahori, J, Barsotti, F, Imamura, Y: The Value of Timing Risk, working paper (2017). arXiv:1701.05695 [q-fin.PR].Google Scholar
  2. Akahori, J, Imamura, Y: On symmetrization of diffusion processes. Quant. Finance. 14(7), 1211–1216 (2014).MathSciNetView ArticleMATHGoogle Scholar
  3. Bowie, J, Carr, P: Static Simplicity. Risk. 7(8), 44–50 (1994).Google Scholar
  4. Carr, P, Lee, R: Put-Call Symmetry: Extensions and Applications. Math. Finance. 19(4), 523–560 (2009).MathSciNetView ArticleMATHGoogle Scholar
  5. Gobet, E: Weak approximation of killed diffusion using Euler schemes. Stoch. Process. Appl. 87(2), 167–197 (2000).MathSciNetView ArticleMATHGoogle Scholar
  6. Hagan, P, Lesniewski, A, Woodward, D: Managing smile risk. Wilmott Mag. 1, 84–108 (2002).Google Scholar
  7. Hagan, P, Lesniewski, A, Woodward, D: Probability Distribution in the SABR Model of Stochastic Volatility. In: Large Deviations and Asymptotic Methods in Finance Volume 110 of the series Springer Proceedings in Mathematics & Statistics, pp. 1–35 (2015).
  8. Henry-Labordère, P: A General Asymptotic Implied Volatility for Stochastic Volatility Models (2005). arXiv:cond-mat/0504317.Google Scholar
  9. Hull, J: Options, Futures, and Other Derivatives. 9th edn. Pearson/Prentice Hall, Upper Saddle River (2014).Google Scholar
  10. Imamura, Y, Ishigaki, Y, Okumura, T: A numerical scheme based on semi-static hedging strategy. Monte Carlo Methods Applic. 20(4), 223–235 (2014).MathSciNetView ArticleMATHGoogle Scholar
  11. Imamura, Y, Takagi, K: Semi-Static Hedging Based on a Generalized Reflection Principle on a Multi Dimensional Brownian Motion. Asia-Pacific Finan. Markets. 20(1), 71–81 (2013).View ArticleMATHGoogle Scholar
  12. Kohatsu-Higa, A, Lejay, A, Yasuda, K: Weak approximation errors for stochastic differential equations with non-regular drift. J. Comput. Applied Math. 326, 138–158 (2017).MathSciNetView ArticleMATHGoogle Scholar
  13. Ngo, H-L, Taguchi, D: Strong convergence for the Euler–Maruyama approximation of stochastic differential equations with discontinuous coefficients. Stat. Probab. Lett. 125, 55–63 (2017).MathSciNetView ArticleMATHGoogle Scholar
  14. Taguchi, D: Stability Problem for One-Dimensional Stochastic Differential Equations with Discontinuous Drift. In: Donati-Martin, C, Lejay, A, Rouault, A (eds.) Séminaire de Probabilités XLVIII. Lecture Notes in Mathematics, vol 2168. Springer, Cham (2016).Google Scholar


© The Author(s) 2018