\section{Introduction}

We consider an incomplete market with stochastic volatility model for the underlying.
Our main objective is to characterize the performance of option hedging schemes
in such markets.
The rather general class of stochastic volatility models that we consider
incorporates standard Markovian volatility models and
also rough volatility models that have received a lot of attention recently, see
 \cite{alos2,viens3,gatheral1,jacquier,bayer,F15} and the literature reviews  in
 \cite{sv2,sv3}.
 In the context of portfolio optimization Markovian models
 have been considered for instance in \cite{fsz},  while recently
 the non-Markovian case was considered in \cite{fH,fH2,fH3}.

Here  we model the volatility as a smooth function of a
volatility factor that is a stationary Volterra type Gaussian process.
In the standard volatility model the volatility factor is a mean-reverting Markov
process such as an Ornstein-Uhlenbeck process.
In the  rough volatility  model the correlation function of
the volatility factor decays rapidly at the origin, faster than the decay
associated with a Markov process, producing  rough paths.
The decay rate is characterized by
the Hurst exponent $H$.
The Gaussian volatility factor may be chosen for instance as a fractional
Ornstein-Uhlenbeck process with Hurst exponent $H < 1/2$.
 The main asymptotic context that we consider  is a rapidly
 mean-reverting volatility situation.  The results presented here build  on
 and extend  those presented in \cite{sv3} regarding
 option pricing for such models.
 Here we extend this framework to a more general
 class of volatility models and analyze the performance of
 a large class of hedging strategies for European options
 that we call dynamic asset (DA) based hedging schemes.
 A DA scheme is based on a replicating portfolio
made of some number of underlyings and some amount in the bank account.
In particular, this class contains the  ``delta'',
 $\delta$, hedging strategies, in which the number
 of underlyings in the portfolio is  the $\delta$ of the price,  that is,  the partial derivative
 of the option price with respect to the underlying price.
  For the classic Black-Scholes model
 with a constant volatility this strategy makes it possible to trade in a self-financing manner
 in the underlying and the bank account to perfectly replicate the
 payoff of the option.
 In the situation when the volatility is stochastic such a scheme
 accumulates extra cost during the lifetime of the option due to the fluctuations
 in the volatility. We consider  here two main market situations: (I)
 the option trades at the Black-Scholes option price at the ``effective
 volatility'' or a {\it Black-Scholes market}, this is discussed in Section \ref{sec:delta1};
 (II)  the market incorporates the effects of rapid volatility fluctuations
 and trades at a corrected price or a {\it corrected market},
 this is discussed in Section \ref{sec:delta2}.
 Here (I) the effective volatility refers to  the root mean square of the volatility
 process averaged with respect to the invariant distribution of the
 volatility factor and (II) the corrected price refers to the Black-Scholes
 price at the effective volatility with a correction which follows
 from an asymptotic analysis of the rapidly mean-reverting situation,
 see Proposition \ref{prop:main}.
 We  assume that the mean reversion time of the volatility
 factor is small relative to the diffusion  time of the underlying price.
 We remark that the distinction between the market situations (I) and (II) is
 important in the case  of early exercise.
  Note  moreover that we consider several canonical ways of computing
  the effective $\delta$ of the replication strategy.  These are described
  in more detail below.
  In the case that ``vol-of-vol'' is zero,
  that is in the limit of small volatility fluctuations,
   these $\delta$s  become the standard
  Black-Scholes $\delta$ and the hedging strategies become the standard
  self-financing replicating strategy.
  In  the case of a fluctuating volatility
  we present here a novel and precise characterization
   of the  extra  {\it hedging cost} that accumulates
   due to the fluctuations.
 For  the strategy (I) this extra cost is semimartingale with
 in general a non-zero mean and variance that we quantify, while
 for  the strategy
 (II) the extra cost is a {\it true martingale} and we compute its variance.
  We   compute the costs for the DA hedging strategies and we
  identify the optimal  hedging strategy within the DA class that minimizes
  the variance of the hedging cost in our  regime.
  We allow for early exercise when
  evaluating the cost and we show how the cost depends on the relative
  exercise time.
  It is important to note that our results are universal
 in that they hold for both  rough ($H<1/2$) and classic Markovian
 stochastic volatility factors in the regime of rapid mean reversion.
However, in a regime of slow, rather than fast mean  reversion, or when
$H > 1/2$,  this picture  changes qualitatively and results regarding these regimes
will be presented elsewhere.   Note,  moreover,  that  we here consider the case with
``leverage'', which means that the volatility factor is correlated with the Brownian motion driving
the underlying price.  In fact,
 in the situation with zero correlation all the hedging approaches coincide
 and the cost is characterized fully by the  Vega risk  martingale.

The role of stochastic volatility for delta
hedging schemes in the uncorrelated  case has been discussed in \cite{touzi}.
Underhedged and overhedged situations are discussed there
and  we  revisit such a characterization
here in the correlated  case.
Superheging schemes   provide an upper bound
for the replication cost  \cite{PH,touzi2}.
Here we present  a statistical characterization of the hedging cost
 which can be used for  a ``value at risk'' type  characterization of the hedging cost.
 When stochastic volatility is mixing and
rapidly mean-reverting
the hedging cost was discussed in \cite{sircar00} in the case without leverage and in
\cite{fouque00} in the case with leverage.
We extend here this discussion to get explicit expressions for the
hedging cost and consider more general DA hedging schemes.
While we here consider hedging schemes with a view toward minimizing
replication cost, portfolio construction from the point of view of utility optimization
is discussed in \cite{fsz} in the context of stochastic volatility in various
asymptotic regimes.
Our objective is indeed  to characterize analytically the performance
of classic (including delta) hedging schemes which plays an important
role in practical risk mitigation schemes \cite{P1}.
In \cite{HWnew} the importance of the leverage in determining  risk in
 hedging schemes is emphasized and  explored from an
empirical perspective. Here we give an analytic description
of hedging risk (mean and variance of the hedging cost)
in particular for the delta hedging  schemes discussed in \cite{HWnew} in the context of leverage and
rapid mean reversion.

 {\it Outline of paper:}
 First, in Section \ref{sec:sum} we summarize the main result of the paper.
Then, in Section \ref{sec:svmodel},  we discuss the details of the
modeling of the market with a fast
mean-reverting stochastic volatility and in Section \ref{sec:price}
we give the leading order
stochastic volatility
price  correction for  a European option in this model.
 { Note that when we refer to  { leading order}  below we refer
to terms of order $\sqrt{\varepsilon/T}$ or larger with $\varepsilon$ being the mean reversion
time of the volatility factor and $T$ the time to maturity.
Then we present the main result of the paper in Section
\ref{sec:hedging}
on the characterization of the hedging costs
for the various  hedging schemes  that we consider.
 The hedging strategies are  computed relative to  leading order price approximations,
which closely approximates the price  in the asymptotic regime we consider
with $\varepsilon/T \ll 1$.
 We discuss in more detail the  main effective parameters
 that are necessary to implement the strategies and those that characterize the hedging costs
 in Sections \ref{sec:est} and  \ref{sec:expou}.
We specialize to   the  case  of a call option in Section \ref{sec:call}
 and we present numerical illustrations of the asymptotic results. In Section \ref{sec:sim}
 we present some  Monte Carlo  simulations where we compute the actual hedging
 costs for the various hedging schemes    in the case of call options.
 We find that the hedging schemes we have set forth based on the asymptotic theory
 in the regime of rapid mean reversion perform well also when the mean reversion time
 is of the same order as the time to maturity.
   We finally provide some concluding remarks in Section \ref{sec:concl}.   }

\section{Summary of Main Results}
\label{sec:sum}

We consider in this section hedging of a European option with payoff $h(X_T)$ with
$T$ the maturity and $X_t$ the underlying. The underlying is assumed
to follow a diffusion process with a stochastic volatility as described in Section
\ref{sec:svmodel},  Eq.~(\ref{eq:Xdef}). In this paper we do not consider
short rate effects,  corresponding to assuming as numeraire  the zero
coupon bond with maturity~$T$. Moreover, we do not consider effects associated
with dividends, transaction cost or
 market price of volatility risk.
An important assumption is, however, that we assume a non-zero ``leverage'',
which means that the volatility factor is driven by a Brownian motion that is correlated with the
Brownian motion driving the underlying, see Eq. (\ref{eq:corr}) below.
Our main objective is to identify analytically the {\it hedging cost}.
We assume a regime where the mean reversion time of the
volatility factor is  small relative to the diffusion time of the underlying which is
on the scale of the maturity $T$, that is, we consider a {\it rapidly mean-reverting stationary}
volatility.  We present  asymptotic results
in the regime of rapid mean reversion and below we make precise the sense
of the approximation.
Our class of volatility models  incorporates standard Markovian volatility models and
rough volatility models.

 {Let the root mean square or ``historical'' volatility be denoted by
$\bar\sigma$ (see Eq.~(\ref{def:barsigma})  below for the  definition). }
Moreover, let $Q^{(0)}(t,x;\sigma)$ be the standard Black-Scholes
(European option) price at
volatility level $\sigma$ evaluated at time $t$ and current value
$x$ for the underlying.  Then the price  that incorporates
the leading order correction due to the rapidly mean-reverting  stochastic
volatility is:
\begin{equation}
\label{eq:Pcorrected}
   P(t,x )
    =  Q^{(0)}(t,x; \bar\sigma) +
   D(T-t) \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q^{(0)}(t,x;\bar\sigma) ,
\end{equation}
see Section \ref{sec:price}.
Here $D$ is an {\it effective pricing parameter} that can be calibrated
from observations of the implied volatility skew, see
  Section \ref{sec:est}.

\medskip

We construct a replicating portfolio so that $a_t$ is the number of
underlyings at time $t$ and $b_t$ is the amount in the bank account.
The value of the portfolio is then
\begin{equation}
\label{eq:generalformportfolio}
   V_t = a_t X_t + b_t .
\end{equation}
The portfolio is required to replicate the price of the option
so it replicates the payoff at maturity $V_T = h(X_T) $.
The net payment stream provided by the market over the time interval $(0,T)$
due to changes in the price of the underlying  is
$$
   \int_0^T  a_s dX_s .
$$
The change in the portfolio value that is not  ``financed'' by the market
has to be paid by the portfolio holder and we call this  the cost function:
$$
  E_T  = h(X_T) - \int_0^T a_s dX_s .
$$
This hedging scheme is called a DA scheme if  $a_t $ is a function of $t$ and $X_t$.
The general class of DA hedging schemes contains the delta hedging strategies, that is to say,
the strategies in which  the number $a_t = \delta(t,X_t)$ of
underlyings in the portfolio at time $t$ is the derivative of the price of the option
with respect to the value of the underlying.
We consider  first two main delta hedging strategies characterized by
the chosen ``delta'':

(HW):   The delta of the corrected price:
\ba\label{eq:dMV}
 \delta^{\rm HW}(t,x)=\partial_x
 P(t,x ) ,
\ea
with $P$ given by (\ref{eq:Pcorrected}).

(BS):    The delta of the Black-Scholes price at the implied volatility:
\ba
\label{eq:dBS}
  \delta^{\rm BS}(t,x)=\partial_x
  Q^{(0)}(t,x;\sigma)|_{\sigma=\sigma(t,x)},
  \ea
 with the implied volatility $\sigma(t,x)$ solving
\begin{equation}
\label{def:impliedvol}
P(t,x ) =  Q^{(0)}(t,x;\sigma(t,x))  .
\end{equation}

\medskip

 {
Note  that we  here  define the  implied volatility relative to the corrected price
$P$.  }

In the case that the volatility is constant and equal to $\bar\sigma$, corresponding
to the standard  Black-Scholes model,  these    approaches coincide
and the portfolios are self-financing.
In the case that the volatility is fluctuating,  the model is incomplete
and we accumulate additional hedging cost
during the lifetime  of the option.
We remark that with no leverage effect (which means that
the volatility factor is independent of the Brownian motion driving
the underlying price), then $D=0$ and the two approaches
 coincide and give the same hedging cost.

By (\ref{def:impliedvol}), the delta of hedging scheme (HW) corresponds to
\ban
   \delta^{\rm HW} (t,x)= \partial_x Q^{(0)}(t,x;\sigma(x,t))
   + \partial_\sigma Q^{(0)}(t,x;\sigma(x,t))
   \times \partial_x \sigma(x,t)   .
\ean
 This scheme is referred to as the {\it minimum variance delta}
  in the recent paper \cite{HWnew}  by Hull and White.
   They find by empirical comparison of a few strategies that
   this hedging approach is the one associated with minimum
   hedging risk or cost variance.
 In \cite{HWnew} the minimum variance delta and enhanced performance
 is motivated by the presence  of leverage.
 Here we  quantify the means and variances of the hedging costs analytically
 and correspondingly identify analytically the hedging approach with minimum  hedging cost variance
in our setting, which is not the (HW) scheme.

 The costs of the hedging strategies are characterized by the three market parameters
\[
 \bar\sigma, \quad D, \quad \Gamma ,
\]
see
  Section \ref{sec:est}.
The first and second are sufficient to characterize the price as we have remarked above,
the third is a {\it hedging risk} parameter.
 Consider the situation when we construct a hedging
 portfolio of value $P(t,X_t)$ and write the total hedging  cost
 at maturity  $T$ by
\ba\label{eq:cost1}
 E_T^{\rm C}=   P(0,X_0) + Y_T^{\rm C} , \quad {\rm C=HW,BS},
\ea
for the  two choices of hedging delta.
Here  $X_0$ is the underlying value at initiation time $t=0$
and $P(0,X_0)$ the initiation cost of the portfolio.
Then in a sense made precise  below   the
random  part of the cost  at maturity $Y_T^{\rm HW}$ is

\ban
       Y_T^{\rm HW}    =  \Gamma
       \int_0^T \big( x^2 \partial_x^2 \big)^2 Q^{(0)}(s,X_s;
       \bar{\sigma}) dB_s =
      {\Gamma}
       \int_0^T \frac{  \partial_\sigma  Q^{(0)}(s,X_s;\bar{\sigma})  }{T-s} dB_s
        ,
\ean
for $B$ a standard Brownian motion.
If the price sensitivity to volatility changes, the  Vega,
is small, then the  Vega risk  is  small as well.
The sensitivity to  Vega in the cost accumulation becomes  larger
as one approaches maturity.
The cost does not depend on the market pricing parameter $D$,  and hence
it does not depend on the leverage correlation parameter $\rho$ either
($\rho$ is the correlation between the
volatility factor and the Brownian motion driving
the underlying price, see Eq.~(\ref{eq:corr}) below).
However, it is proportional to the hedging risk parameter $\Gamma$ which does not depend on $\rho$ and which is
the central new parameter.
 Thus, the hedging  approach is {\it leverage compensating}  in that it  ``immunizes''
the portfolio with respect to ``leverage risk''.
In the particular case of a European call option with strike $K$, i.e. $h(x)=(x-K)^+$, we have
$\mathbb{E}[ Y_T^{\rm HW} \mid {\cal F}_0 ]=0$ and
\begin{equation}
\label{eq:varMVT}
     {\rm Var}\left(  Y_{T}^{\rm HW}  \mid {\cal F}_0 \right)  =   \Big( \frac{K  \Gamma}{\bar\sigma}  \Big)^2
       \frac{1}{2\pi}
   \int_0^{1} \exp\Big(-\frac{d_{_-}^2}{1+s} \Big) \frac{ 1}{\sqrt{1-s^2}}  ds  ,
\end{equation}
with the standard Black-Scholes parameter
\begin{equation}
\label{eq:bsparameter0}
  d_{\pm} = \frac{\log(X_0/K)}{\sqrt{\tau}}  \pm \frac{\sqrt{\tau}}{2}  ,
  \quad \quad \tau = \bar\sigma^2T .
\end{equation}
Here the expectation and variance are taken conditionally on the information at time zero.
We show this hedging cost variance at maturity in Figure \ref{fig_2}
 as a function of relative time to maturity,  $\tau=\bar{\sigma}^2 T$, and moneyness,  $m=X_0/K$.
\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_AMV_II.eps}
\end{tabular}
\end{center}
\caption{     The figure shows the normalized  hedging cost standard deviation
$ St.Dev( Y_{T}^{\rm HW} ) \bar\sigma/(K\Gamma)$ as function of relative time to maturity $\tau=\bar{\sigma}^2 T$ and
moneyness $m=X_0/K$.
\label{fig_2} }
\end{figure}

We next state the important result that leverage
makes the ``practitioners'' hedging approach superior.
We have   explicitly $\mathbb{E} [  Y_{T}^{\rm BS}  \mid {\cal F}_0]=0$ and
\ba\label{eq:main}
  {\rm Var}\left(  Y_{T}^{\rm BS}   \mid {\cal F}_0\right)    =
  {\rm Var}\left(  Y_{T}^{\rm HW}  \mid {\cal F}_0 \right) \left(  1 -  \Big(\frac{D}{\bar\sigma \Gamma}\Big)^2  \right)   ,
  \mbox{ with } \left|\frac{D}{\bar\sigma \Gamma}\right| \leq |\rho| \leq 1  ,
\ea
which implies $ {\rm Var}\left(  Y_{T}^{\rm BS}  \mid {\cal F}_0 \right)  \leq
  {\rm Var}\left(  Y_{T}^{\rm HW} \mid {\cal F}_0  \right)$.
  The main result of this paper is then set forth in Section \ref{sec:opt}, Proposition \ref{prop:optim}:
 {\it the (BS) hedging scheme minimizes the hedging cost variance among all DA
  hedging  schemes}, thus is the true minimum variance hedging scheme
  in the regime discussed here!
  {This result is proved in the regime of fast mean reversion and confirmed by the numerical
  simulations reported in Section \ref{sec:sim}.
  These simulations also reveal that the result is robust with respect to the scaling regime:  the hedging cost variance
  of the (BS) strategy is always smaller than (or equal to) the one of the  (HW) strategy.}

  In Section \ref{sec:expou} we discuss the explicit
  expressions of the effective market parameters when the volatility model is the exponential of a standard or fractional
  (with Hurst exponent $H<1/2$) Ornstein-Uhlenbeck  process.  In this case we have
\begin{equation}
     \frac{D}{\bar\sigma \Gamma}  \approx \rho .
\end{equation}

 Note that the implementation of the delta hedging schemes
  (HW) and (BS) requires the knowledge of the two effective market parameters
  $\bar\sigma$ and $D$.
  Below we will also discuss the case when
  we choose  a ``homogenized'' or ``historical''  delta:

  (H):    The delta of the Black-Scholes price at the historical volatility:
  \begin{equation}\label{eq:dH}
\delta^{\rm H} (t,x)=  \partial_x   Q^{(0)}(t,x;\bar{\sigma}) .
\end{equation}
This  hedging scheme (H) can be implemented with
{\it only the knowledge of $\bar\sigma$} and does not
require calibration based on  pricing data.
However, in all cases implementing
the hedging scheme and  simultaneously characterizing
the hedging cost mean and variance requires the knowledge of all three market
parameters $(\bar\sigma, D, \Gamma)$.   For the scheme (H)
we can write
as in Eq. (\ref{eq:cost1}) for the hedging cost at maturity:
\ba\label{eq:cost2}
  E_T^{\rm H}=  P(0,X_0) + Y_T^{\rm H}  ,
\ea
and it follows from Proposition \ref{prop:optim} that
${\rm Var}\left(  Y_{T}^{\rm H} \mid{\cal F}_0 \right) \geq {\rm Var}\left(  Y_{T}^{\rm BS}  \mid{\cal F}_0 \right)$.
In particular for a European call with strike $K$ we have $\mathbb{E} \left[   Y_{T}^{\rm H}  \mid {\cal F}_0\right] = 0$ and
\ba
  {\rm Var}\left(  Y_{T}^{\rm H}  \mid {\cal F}_0 \right)    =
  {\rm Var}\left(  Y_{T}^{\rm HW}  \mid {\cal F}_0 \right)  +
  \Big(\frac{K D}{\bar\sigma^2}\Big)^2  \hat{w}^{\rm H}( d_{_{-}})  ,
\ea
with $d_{_{-}}$ given by (\ref{eq:bsparameter0}) and
\begin{eqnarray}
\nonumber
 \hat{w}^{\rm H}(d )   &=&
    \frac{ 2 }{ \pi }
 \int_0^1    \exp\left(- \frac{d^2}{1+s}\right)
   \frac{1}{\sqrt{1-s^2}}   \Big[
d^4 \frac{(1-s)^2}{(1+s)^4}  +
 d^2 \frac{6s(1-s)}{(1+s)^3}   +
  \frac{3s^2 }{(1+s)^2}
  - \frac{1}{2}
      \Big] ds\\
      &&
           -    \frac{   d^2  \exp(-d^2 ) }{ {2\pi} }    .
\end{eqnarray}
  {
We present numerical simulations in the case of European call options in  Section \ref{sec:sim}.
We find that the (BS) hedging scheme performs well even beyond the regime
of rapid mean reversion which is the asymptotic regime from which it derives.
We summarize the  form of the deltas introduced in the case
of European call options:
   \ban
 \delta^{\rm H}(t,x)  & = &     {\cal N}(d_+) ,  \\
    \delta^{\rm BS}(t,x)    & = &  \delta^{\rm H}(t,x)   +  {\cal D}  \frac{  d_{_-}^2  \exp(-d_{_-}^2/2) }{x \sqrt{\tau} }  ,   \\
   \delta^{\rm HW}(t,x)  & = &    \delta^{\rm H}(t,x)   +  {\cal D}  \frac{ (d_{_-}^2-1)   \exp(-d_{_-}^2/2) }{x \sqrt{\tau} }   ,
 \ean
 with  ${\cal N}$ the cumulative normal distribution and
 $d_\pm, \tau$ given by (\ref{eq:bsparameter0}).
  Here   ${\cal D}$ is   a canonical hedging parameter. This parameter  can in fact be calibrated from the implied volatility skew, while
the calibration approach we promote here is to calibrate this  from historical price paths so  as to minimize the hedging
cost with respect to this  parameter.       }

Below we will also present the results for the hedging costs
in the case with  early exercise $t<T$.
 Before we  present such hedging risk characterizations
in  cases  with  general payoffs and exercise times  in Section \ref{sec:hedging}
we discuss the modeling of the stochastic volatility in Section
\ref{sec:svmodel} and the asymptotic pricing  formula in Section~\ref{sec:price}.

\section{A Class of  Fast Mean Reverting Rough Volatility Models}
\label{sec:svmodel}

Consider  the price of the risky asset which follows,  under the historical measure,  the stochastic differential equation:   {
\begin{equation}
\label{eq:Xdef}
dX_t = X_t    \left(  d\mu_t    + \sigma_t^\varepsilon   dW^*_t \right) ,
\end{equation}
 with $W^*$ a standard Brownian motion.
In this paper we assume that  the short term interest rate $r=0$
and that the drift is negligible, so we set $\mu=0$.
The stochastic volatility is a stationary process of the form
\begin{equation}
\label{def:stochmodel}
\sigma_t^\varepsilon = F(Z_t^\varepsilon) .
\end{equation}
 The stochastic volatility is not a Gaussian process but it is
a function of the volatility factor
$Z_t^\varepsilon$ that is a  scaled stationary Gaussian process: \begin{equation}
\label{eq:Zgen}
Z^\varepsilon_t = \sigma_{\rm z} \int_{-\infty}^t {\cal K}^\varepsilon(t-s) dW_s,
\end{equation}
where  $W_t$ is a standard Brownian motion under the historical measure and
\ba
\label{def:Keps}
{\cal K}^\varepsilon(t) &=&  \frac{1}{\sqrt{\varepsilon}} {\cal K}\Big(\frac{t}{\varepsilon}\Big).
 \ea
We have introduced the mean reversion  time scale $\varepsilon$
 which is the small time scale in our problem.
 It means in particular that we consider contracts whose time to maturity is long compared
 to the natural time scale of the volatility factor.
 Thus, we refer to the volatility factor
 and associated volatility process  as {\it rapidly mean-reverting}.   }

We make the following assumption regarding the volatility model:
 \begin{enumerate}
\item[(i)]
${\cal K} \in L^2(0,\infty)$ with $\int_0^\infty {\cal K}^2(u) du = 1$
and ${\cal K} \in L^1(0,\infty)$.
  \item[(ii)] There is a $d>1$ so that:
\begin{equation}
\label{eq:defd}
|{\cal K} (t)| = O(t^{-d}) \quad \hbox{as}  \quad t \to \infty.
\end{equation}
 \item[(iii)]   $F$ is smooth increasing  and bounded from below (away from zero) and from above.
\end{enumerate}

Under  these conditions $Z_t^\varepsilon$ has mean zero and variance $\sigma_{{\rm z}}^2$.
We assume that
 $W^*_t$ is a Brownian motion that is correlated to the stochastic volatility through
\begin{equation}\label{eq:corr}
W^*_t = \rho W_t + \sqrt{1-\rho^2} W'_t ,
\end{equation}
where the Brownian motion $W'_t$ is independent of $W_t$.
The function $F$ is assumed to be one-to-one, positive-valued,
smooth, bounded and with bounded derivatives.
Accordingly, the filtration ${\cal F}_t $ generated
by $(W_t',W_t)$ is also the one generated by $X_t$.
Indeed, it is equivalent to the one generated by $(W^*_t,W_t)$, or $(W^*_t,Z^\varepsilon_t)$.
Since $F$ is one-to-one, it is equivalent to the one generated by $(W^*_t,\sigma_t^\varepsilon)$.
Since $F$ is positive-valued,
it is equivalent to the one generated by $(W^*_t,(\sigma_t^\varepsilon)^2)$, or $X_t$.

The volatility may thus be a mixing process or a
rough process with rapid decay of correlations at the origin.  In the latter  case
the volatility is neither a martingale nor a Markov process.
We discuss next some particular volatility models.

\subsection{Standard Ornstein-Uhlenbeck Model}
\label{subsec:standardOU}
Here we discuss the standard model where
$Z_t^\varepsilon$ is the scaled Ornstein Uhlenbeck (OU) process.
It has the form (\ref{eq:Zgen}-\ref{def:Keps})  with
${\cal K}(t) = \sqrt{2} \exp(-t) $.
 The OU process $Z_t^\varepsilon$ is a centered  Gaussian process
with covariance of the form
\begin{equation}
\label{eq:expresscovZ}
\mathbb{E} [ Z^\varepsilon_t Z^\varepsilon_{t+s}  ] = \sigma^2_{{\rm z}} {\cal C}_Z \Big(\frac{s}{\varepsilon}\Big) ,
\end{equation}
with $ {\cal C}_Z(s)  =  \exp(-|s|)$.
It solves a Langevin equation driven by standard Brownian motion.
It is a martingale and a Markov process, which allows for the use of stochastic calculus \cite{fouque00}.

\subsection{Rough Volatility Models}
\label{sec:rough}
We discuss here the model where
$Z_t^\varepsilon$ is the scaled fractional Ornstein Uhlenbeck (fOU) process with Hurst exponent $H \in (0,1/2)$.
This process is described in more detail in  Appendix \ref{app:fOU},
it has the form (\ref{eq:Zgen}-\ref{def:Keps})  with
\ba
\label{def:Keps0}
{\cal K}(t) &=& \frac{\sqrt{2 \sin(\pi H)}}{\Gamma(H+\frac{1}{2})}
 \Big[ t^{H - \frac{1}{2}} - \int_0^t (t-s)^{H - \frac{1}{2}} e^{-s} ds \Big] .
\ea
 The fOU process $Z_t^\varepsilon$ is a centered  Gaussian process
with covariance of the form (\ref{eq:expresscovZ})
with ${\cal C}_Z(0)=1$,
 see Eq. (\ref{eq:sou2}).
 Compared to the standard OU process addressed in the previous subsection,
we allow here for more general
 volatility factors to capture the situations discussed in a number of  recent empirical findings that the volatility
 process is rough corresponding to rapid decay of  ${\cal C}_Z$ at the origin  \cite{gatheral1}.
 We arrive at such a situation by assuming that the OU process is driven by
 a fractional Brownian motion with Hurst exponent $H \in (0,1/2)$ rather than a standard
 Brownian motion \cite{cheridito03}.
 As described  in Appendix  \ref{app:fOU}  this gives a volatility factor that is {\it rough}.
 We have  specifically
now  that the  covariance function ${\cal C}_Z$ is rough at zero in the sense:
\begin{equation}
\label{eq:OUa1}
 {\cal C}_Z(s) =  1 -
 \frac{1}{  \Gamma(2H+1)}  s^{2H}
+ o\big( s^{2H}\big)
, \quad \quad s \ll 1,
\end{equation}
while it is integrable and it decays as $s^{2H-2}$ at infinity:
\begin{equation}
\label{eq:OUa2}
 {\cal C}_Z(s) =
 \frac{1}{  \Gamma(2H-1)}  s^{2H-2}
+ o\big( s^{2H-2}\big)
, \quad \quad s \gg 1,
\end{equation}
see Figure \ref{fig_OUcorr}.
This behavior of the covariance function is inherited by the volatility process $\sigma_t^\varepsilon$
itself, see Eqs.~(\ref{eq:corrY12}) and (\ref{eq:corrY12b}).
 \begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_OUcorr.eps}
\end{tabular}
\end{center}
\caption{     The dotted lines show the correlation functions  ${\cal C}_Z$  for
$H=.4$ (top plot) and $H=.1$ (bottom plot). Note that for large lags the correlation
function is slightly negative.
Note also the rapid decay of the correlations at the origin, increasingly so
with smaller $H$.
The dashed lines are the approximations in Eqs.
(\ref{eq:OUa1}) and (\ref{eq:OUa2}).
    \label{fig_OUcorr}
}
\end{figure}
  For more details regarding this model we refer to \cite{sv3}.

\section{Prices of European Options}
\label{sec:price}
We are interested in  computing the option price defined as the martingale
\begin{equation}\label{eq:p1}
M_t =\mathbb{E}^\star\big[ h(X_T) \mid {\cal F}_t \big]  ,
\end{equation}
where $h$ is a smooth function, $0 \leq t \leq T$.
 {In fact weaker assumptions are possible for $h$,
as we only need to control the function $Q^{(0)}_t(x)$ defined below rather than $h$,
as is discussed in  \cite[Section 4]{sv1} where the extension to more general $h$ such as $h(x)=(x-K)^+$ is addressed.
The expectation in Eq. (\ref{eq:p1}) is computed with respect to the pricing measure $\mathbb{P}^\star$.
 {Recall that we assume that the short term interest  rate $r=0$, moreover that the drift $\mu=0$ under the historical
measure.  We make here one more assumption in that the market price of volatility risk is assumed to be zero
so that  $\mathbb{P}=\mathbb{P}^\star$ and indeed the models for $X_t$   coincide under the pricing measure $\mathbb{P}^\star$ and the historical measure $\mathbb{P}$.}
We remark first that the case with non-zero  interest rate and drift
(under the historical measure)  could  have been analyzed in the framework presented below,
however,  for simplicity of expression we do not include this generality here.
We remark second that the case with a non-zero market price of risk gives slightly more
involved option price correction formulas than those presented below, see \cite{fouque00,fouque11}.
This distinction is relevant in the case that we want to use information from the observed prices and  the
associated  implied volatility skew  for calibration of the hedging strategy, see the discussion
in Section \ref{sec:est}.
In this paper we compute the  hedging cost statistics under the historical measure.
}

We introduce the standard Black-Scholes operator at zero interest rate and
constant volatility $\sigma$:
\begin{equation}
{\cal L}_{\rm BS} (\sigma) = \partial_t +\frac{1}{2} \sigma^2 x^2 \partial_x^2 .
\end{equation}
We exploit the fact that the price process is a
martingale to obtain an approximation, via constructing an explicit
function  $P(t,x)$ so that $P(T,x)=h(x)$ and so that $P(t,X_t)$
is a martingale up to first order corrective terms in $\varepsilon$.
Then, indeed $P(t,X_t)$ gives the approximation for $M_t$ up to first  order in $\varepsilon$.
The leading order price is the price at the homogenized or constant
parameters.
The following proposition gives the first-order correction to the
expression for  the martingale $M_t$ in the regime of $\varepsilon$  small.

\begin{proposition}
\label{prop:main}
We have
\begin{equation}
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}   \mathbb{E}\left[ | M_t  - P(t,X_t) |^2 \right]^{1/2}  = 0  ,
\end{equation}
 where
\begin{equation}
\label{def:Qt}
P(t,x)  = Q_t^{(0)}(x) +\sqrt{\varepsilon}   \rho Q_t^{(1)}(x)   ,
\end{equation}
$Q_t^{(0)}(x) $ is deterministic and given by the Black-Scholes formula with constant
volatility~$\bar{\sigma}$,
\begin{equation}
\label{eq:bs0}
{\cal L}_{\rm BS} (\bar\sigma) Q_t^{(0)}(x) =0,   \quad \quad Q_T^{(0)}(x) = h(x),
\end{equation}
with
\begin{equation}
\label{def:barsigma}
\bar{\sigma}^2 = \left< F^2\right> = \int_\mathbb{R} F(  \sigma_{\rm z}  z )^2 p(z) dz,
\end{equation}
$p(z)$ the pdf of the standard normal distribution,
$Q_t^{(1)}(x) $ is the deterministic correction solving
\begin{equation}
\label{eq:bs1}
{\cal L}_{\rm BS} (\bar\sigma) Q_t^{(1)}(x) =
-\overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (x),   \quad \quad Q_T^{(1)}(x) = 0.
\end{equation}
 The deterministic correction is
 \begin{equation}
\label{def:Q1t}
Q_t^{(1)}(x) =(T-t)\overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (x)   ,
\end{equation}
where the coefficient $\overline{D}$ is defined by
\begin{equation}
\overline{D} =   \sigma_{\rm z}  \int_0^\infty
\Big[\iint_{\mathbb{R}^2} F(\sigma_{\rm z}  z )
(FF')(\sigma_{\rm z}  z') p_{{\cal C}_{\cal K}(s,0)} (z,z') d z dz'\Big]
 {\cal K}(s) ds,
\label{def:DtT}
\end{equation}
with $p_C(z,z')$ the pdf of the bivariate normal distribution with mean zero and covariance matrix
\begin{equation}
\label{eq:Cmat}
\begin{pmatrix}
1 & C\\ C & 1
\end{pmatrix}   ,
\end{equation}
and
\ba
\label{Cdef}
{\cal C}_{\cal K}(s,s')  =  \int_0^{\infty}   {\cal K}(s+v)  {\cal K}(s'+v)  dv .
\ea
 \end{proposition}

 {The mixing (Markov) case is proved in \cite{fouque00,fouque11}
and the rough case is derived in \cite{sv3}. More precisely, the above statement concerns
a  generalization of the  volatility model addressed in \cite{sv3}
and can be derived via a straightforward modification of the proof presented there.}
Thus,  we see that the effect of the
volatility fluctuations gives a price modification that is of the order of $\varepsilon^{1/2}$
and which is determined by the effective parameter $\overline{D}$ only.
 The main result of this paper  is a precise statistical
 characterization of  hedging  cost  in the context of fast
 mean-reverting stochastic volatility.
 Our novel analysis  uses  the analytic framework  set forth in  \cite{sv3}.
As for the case of  option prices the hedging cost results are  for the general  volatility model
 (\ref{def:stochmodel}).   Therefore they apply in particular  in a uniform
way to the cases of Markov and rough volatility.

 {We remark  that the rough volatility case $H<1/2$ and the mixing case are qualitatively similar.
As a matter of fact, the parameter $\overline{D}$ for the standard OU process of Subsection \ref{subsec:standardOU}
is the limit as $H \nearrow 1/2$ of the  parameter $\overline{D}$ of the fOU process of Subsection \ref{sec:rough}
(this can be shown  by using the dominated convergence theorem and the convergence of (\ref{def:Keps0}) to $\sqrt{2}\exp(-t)$).
However,  the ``long-memory''  case
  addressed in \cite{sv2}, corresponding to $H>1/2$,  is different.
   In this case
  the volatility ``history'' plays a crucial role  and gives  a qualitatively
  different picture from the point of view of pricing and hedging.
  This is also the case for small volatility fluctuations as presented
  in \cite{sv1} which in fact is quite similar  in its analysis to
  a slow volatility factor.   In the case  of a slow volatility factor, slow relative to the
  maturity horizon,  the volatility will in fact appear as non-stationary on the time scale of
  the maturity.  These  other cases will be discussed  elsewhere.}

\section{Hedging Cost Accumulation}
\label{sec:hedging}

In the following sections we derive  the results for  the costs associated
with the hedging schemes introduced above in the context of European
options.  We summarize
in the next proposition these results.
We introduced the hedging schemes (H),  (HW),  (BS) in Section
\ref{sec:sum}.  In Section \ref{sec:mH} we introduce the modified  scheme
(${ \tilde{\rm H}}$) where the delta is chosen to be $\delta^{\rm H}$
as in the  (H) scheme, however,
the value of the portfolio is chosen to be $P(t,x)$ rather than $Q^{(0)}_t(x)$ as in the
(H) scheme.
The following proposition follows directly from Propositions
\ref{prop:main2}, \ref{prop:main2b2}, \ref{prop:c},
\ref{prop:main2b2b} and Section \ref{sec:mH}.
It gives the leading-order
expressions of the expectations and the variances of the hedging costs
(the leading order is $\sqrt{\varepsilon}$ for the expectation and $\varepsilon$ for the variance).

\begin{proposition}
\label{prop:sum}
If we write the hedging cost in the form
 \ba
 \label{eq:costN}
  E_t^{\rm C}=   P(0,X_0) + Y_t^{\rm C} , \quad \mbox{ for } {\rm C=H, HW,  BS, { \tilde{\rm H}}},
\ea
then we have
\ba
\label{eq:meanYH}
&&
\lim_{\varepsilon \to 0}\mathbb{E}\left[\left(\varepsilon^{-1/2}  \mathbb{E}\big[   Y_t^{\rm H}  \mid {\cal F}_0 \big]   -  \frac{(t-T)}{T}    \frac{\rho \overline{D}}{\bar\sigma^2}   g (X_0,T)
\right)^2\right]^{1/2}
= 0 ,
   \\
&&\lim_{\varepsilon \to 0}\mathbb{E}\left[\left( \varepsilon^{-1/2}  \mathbb{E}\big[   Y_t^{\rm C}  \mid {\cal F}_0 \big] \right)^2\right]^{1/2}    =  0 , \quad   \mbox{ for }    {\rm C=HW,  BS, { \tilde{\rm H}}}   ,
\ea
and
 \ba
&&  \lim_{\varepsilon \to 0}\mathbb{E}\left[\left|  \varepsilon^{-1} {\rm Var}\big(   Y_t^{\rm HW}   \mid {\cal F}_0\big) -  \frac{\overline{\Gamma}^2}{\bar\sigma^2}    v(X_0,t,T)
   \right|\right] = 0
       ,\\
&& \lim_{\varepsilon \to 0}\mathbb{E}\left[\left|
\varepsilon^{-1} {\rm Var}\big(   Y_t^{\rm C}  \mid {\cal F}_0 \big)  -  \frac{\overline{\Gamma}^2}{\bar\sigma^2}    v(X_0,t,T)-
  \frac{\rho^2 \overline{D}^2}{\bar\sigma^4}  w^{\rm C}(X_0,t,T)    \right|\right] = 0   ,
 \ea
 for  $ {\rm C=H,  BS, { \tilde{\rm H}}} $,
 where $\overline{D}$ and $\overline{\Gamma}$ are the parameters given by (\ref{def:DtT}) and (\ref{def:barGamma})
 and $g,v,w^{\rm C}$ are cost mean and variance functions that depend on the
 payoff function $h$.
 \end{proposition}

The explicit forms  of $g,v,w^{\rm C}$ are given in Section \ref{sec:call}, Proposition \ref{prop:sum2},
in the case of European call options $h(x)=(x-K)^+$.

{\it Remark.}
In the following we show that,  up to terms  of order $o(\sqrt{\varepsilon})$:
\begin{align*}
 {E}^{\rm HW}_t - P(0,X_0) =& \,  N^{(1)}_t    ,  \\
 {E}^{\rm BS}_t - P(0,X_0) =&\, N^{(1)}_t  + \sqrt{\varepsilon} \rho N^{(2)}_t    ,  \\
  {E}^{\rm { \tilde{\rm H}}}_t - P(0,X_0) =&\, N^{(1)}_t  + \sqrt{\varepsilon} \rho \tilde{N}^{(2)}_t   ,
\end{align*}
where  ${N}^{(1)}$, resp. ${N}^{(2)}$,   $\tilde{N}^{(2)}$, are the martingales
defined in Eq.~(\ref{eq:Ndef1}), resp. Eq.~(\ref{def:M}), Eq.~(\ref{eq:Ntdef}).
It is in fact the negative correlation between $N^{(1)}$ and $N^{(2)}$
that makes the (BS)  scheme  superior, see Section \ref{sec:opt}.
In the case of the scheme (H) the hedging cost is characterized by
$$
 {E}_t^{\rm H} - Q_0^{(0)}(X_0)  =
             N^{(1)}_t +
          \sqrt{\varepsilon} \rho  \overline{D} \int_0^t
           \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (X_s) ds ,
$$
with
\ban
    \mathbb{E}\left[
           \sqrt{\varepsilon} \rho  \overline{D} \int_0^t
           \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (X_s) ds \mid {\cal F}_0
      \right]
          =
          \left( \frac{t}{T} \right)
             \left(  P(0,X_0)   -   Q_0^{(0)} (X_0)  \right) .
\ean
Here and below $\big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (X_s)$ stands for $\big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (x)$
evaluated at $x=X_s$. We next derive these results.

\subsection{Hedging Cost Process with (H) Hedging Strategy}
\label{sec:delta1}

Consider the (H) hedging scheme.
We assume that the {\it effective volatility $\bar \sigma$  is known}  and
choose here the number of underlyings in the replicating portfolio  as the ``$\delta$'' of the Black-Scholes
price evaluated at the {\it effective volatility} and the current price for the underlying.
Thus,  we consider here  the situation with ``homogenized''  or ``historical'' delta:
\begin{equation}
\label{eq:D1}
a_t^{\rm H}= \delta^{\rm H} (t,X_t) ,\quad \quad  \delta^{\rm H}(t,x) = \partial_x   Q_t^{(0)}(x) ,
\end{equation}
as in Eq. (\ref{eq:dH}).
Moreover, in this section we choose the value  of the portfolio $V_t^{\rm H}$  to replicate
the Black-Scholes price $Q^{(0)}_t(X_t)$ evaluated at the  effective volatility:
\ba\label{eq:V0}
V^{\rm H}_t=Q_t^{(0)}(X_t) , \quad  0 \leq t \leq T ,
\ea
  and
$b_t^{\rm H} = Q_t^{(0)}(X_t)  - a_t^{\rm H} X_t $.
As mentioned this hedging scheme can then be implemented knowing only
$\bar\sigma$. As we will show though in order to characterize the hedging
cost mean and variance we need to know also the effective market parameters $(D,\Gamma)$.
The portfolio replicates the payoff at maturity
$V_T^{\rm H} = Q^{(0)}_T(X_T) = h(X_T)$.
The cost function is:
\begin{equation}\label{eq:bc}
  E^{\rm H}_t  = V_t^{\rm H} - \int_0^t  a_s^{\rm H} dX_s ,
\end{equation}
with in particular
$  E^{\rm H}_0  =  Q_0^{(0)}(X_0) $.
We aim  to understand how this cost can be characterized.

Using the fact that $Q^{(0)}$ solves the Black-Scholes equation we find
\ba\nonumber
     dE^{\rm H}_t &=& dV_t^{\rm H} -a_t^{\rm H} dX_t
     = \Big( \partial_t +\frac{1}{2} (\sigma_t^\varepsilon)^2 \big(x^2 \partial_x^2\big) \Big)
        Q^{(0)}_t(X_t)  dt + \partial_x Q^{(0)}_t(X_t)  dX_t - a_t^{\rm H} dX_t
        \\  & = & \frac{1}{2} \left( (\sigma_t^\varepsilon)^2  - \bar\sigma^2 \right)
        \big(x^2 \partial_x^2\big) Q^{(0)}_t(X_t)  dt  . \label{eq:Edef}
\ea
We remark that we can write
\ban
dE^{\rm H}_t     =
        \frac{1}{2} \left( (\sigma_t^\varepsilon)^2  - \bar\sigma^2 \right)
        \frac{\nu_t(X_t) }{\bar\sigma (T-t)}  dt ,
\ean
where we introduced the  `` Vega'':
\begin{equation}
\nu_t(x) = \partial_{\bar\sigma} Q^{(0)}_t(x)  =  \bar\sigma (T-t) \big(x^2 \partial^2_x \big) Q^{(0)}_t(x) .
\end{equation}
Note that in the special case of constant volatility
we have  $\sigma_t^\varepsilon \equiv \bar\sigma$ and thus $dE^{\rm H}_t = 0$, which means that the cost
is deterministic and given by the Black-Scholes price:
$$
\mathbb{E} \big[ E^{\rm H}_t \mid {\cal F}_0\big] = Q_0^{(0)}(X_0) ,\quad
{\rm Var}\big( E^{\rm H}_t \mid {\cal F}_0\big) = 0, \quad 0 \leq t \leq T.
$$
In the rapid  stochastic volatility case (\ref{def:stochmodel}), we can identify the leading-order terms of the cost.
Two equivalent expressions can be determined as shown in Lemma \ref{thm1}.
They will be useful to compute the mean and variance of the cost in the next propositions.

\begin{lemma}
\label{thm1}%
The hedging cost satisfies
\begin{equation}
   \label{def:hE1a}
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}   \mathbb{E}\left[ | E^{\rm H}_t  - \hat{E}^{\rm H}_t   |^2   \right]^{1/2}  = 0  ,
\end{equation}
 where
\begin{equation}
\hat{E}_t^{\rm H}
   \label{def:hE1}
=   Q_0^{(0)}(X_0)
+
\varepsilon^{1/2} \rho  \big(    Q_0^{(1)}(X_0)
   -   Q_t^{(1)}(X_t)         \big)
   + N^{(1)}_t
+
 \varepsilon^{1/2}    \rho N^{(2)}_t       ,
\end{equation}
$N^{(1)}_t$ and $N^{(2)}_t $ are the martingales starting at zero
\begin{align}
\label{eq:Ndef1}
N^{(1)}_t &= \int_0^t \big( x^2 \partial_x^2 \big) Q_s^{(0)}(X_s) d\psi_s^\varepsilon  ,\\
\label{def:M}
N^{(2)}_t   &= \int_0^t   \big( x \partial_x\big) Q_s^{(1)}  (X_s) \sigma^\varepsilon_s dW_s^*   ,
\end{align}
with
\begin{equation}
\label{def:Kt}
\psi_t^\varepsilon =
\mathbb{E} \Big[  \frac{1}{2} \int_0^T \big( (\sigma_s^\varepsilon)^2 -\overline{\sigma}^2 \big) ds \mid {\cal F}_t\Big] .
\end{equation}
We also have
\begin{equation}
   \label{def:hE2a}
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}   \mathbb{E}\left[ | E^{\rm H}_t  - \check{E}_t^{\rm H}  |^2   \right]^{1/2}  = 0  ,
\end{equation}
 where
\ba
\check{E}_t^{\rm H}&=&
    Q_0^{(0)}(X_0)     +
          \varepsilon^{1/2} \rho  \overline{D} \int_0^t  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (X_s) ds
            + N^{(1)}_t \label{def:hE2}
     .
  \ea
 \end{lemma}
Note that   the difference in Eq (\ref{def:hE1}) can be interpreted as the cost
of trading  the correction over the interval $(0,t)$ and $N^{(2)}$ is
(minus)  the martingale part of   this cost which gives Eq.~(\ref{def:hE2})
in view of the problems solved by $Q^{(0)}$ and  $Q^{(1)}$ as stated in Proposition
\ref{prop:main}.
Moreover, we can write from (\ref{def:Q1t}):
\ban
   \lim_{\Delta t \downarrow 0}
    \frac{ \mathbb{E}\left[  \check{E}_{t+\Delta t}^{\rm H} - \check{E}_t^{\rm H} \mid {\cal F}_t  \right]   }
       { \Delta t }
    =   \frac{  \varepsilon^{1/2} \rho Q_t^{(1)} (X_t)}{T-t} ,
\ean
so that the current  ``coherent cost flux'' corresponds to the accumulation of the cost of the correction
over the interval remaining until maturity.

\begin{proof}
\label{proof1
Let $\phi_t^\varepsilon$ be defined as the expected accumulated square volatility deviation in between
the present and maturity:
\begin{equation}
\label{def:phit}
\phi_t^\varepsilon= \mathbb{E}\Big[ \frac{1}{2} \int_t^T \big( (\sigma_s^\varepsilon)^2 -\overline{\sigma}^2 \big) ds \mid {\cal F}_t\Big] .
\end{equation}
Then we have
$$
\phi_t^\varepsilon = \psi_t^\varepsilon - \frac{1}{2} \int_0^t \big( (\sigma_s^\varepsilon)^2 -\overline{\sigma}^2 \big) ds ,
$$
where the martingale $\psi_t^\varepsilon$ is defined by (\ref{def:Kt}).
$(\psi_t^\varepsilon)_{t\in [0,T]}$ is a square-integrable martingale that satisfies the following properties:
\begin{itemize}
\item
The quadratic covariation of $\psi^\varepsilon$ and $W$ is
\begin{equation}
\label{def:varthetaeps}
d \left< \psi^\varepsilon, W\right>_t =  \vartheta^\varepsilon_{t} dt ,
\quad \quad \vartheta^\varepsilon_{t} = \sigma_{\rm z}
 \int_t^T \mathbb{E} \big[ FF'(Z_s^\varepsilon) \mid {\cal F}_t \big]{\cal K}^\varepsilon(s-t) ds   ,
\end{equation}
with ${\cal K}^\varepsilon$ of the form~(\ref{def:Keps}).
\item
   There  exists a constant $K_T$ such that we have almost surely
\begin{equation}
\label{eq:estimvarthetaeps}
\sup_{t\in [0,T]} \big|   \vartheta^\varepsilon_{t}  \big| \leq K_T \varepsilon^{1/2} .
\end{equation}
\end{itemize}
The first part  was proved in \cite[Lemma B.1]{sv2}.
The second part follows from
the fact that ${\cal K}^\varepsilon(t)={\cal K}(t/\varepsilon)/\sqrt{\varepsilon}$, ${\cal K} \in L^1(0,\infty)$.

We define the martingales starting from zero at time zero:
\ba\label{eq:Ndef0}
dN_t^{(0)} &= & ( x \partial_x) Q_t^{(0)} (X_t) \sigma_t^\varepsilon dW_t^* , \\
dN^{(3)}_t &=&
\big( x\partial_x (  x^2 \partial_x^2 )\big) Q_t^{(0)}(X_t) \sigma_t^\varepsilon \phi_t^\varepsilon dW_t^*
   .
\ea
Then Eqs.
(31) and (36)
in \cite{sv3} read:
\ba\label{eq:1}
&& \frac{1}{2}\big( (\sigma_t^\varepsilon)^2-\overline{\sigma}^2\big) \big( x^2 \partial_x^2 \big) Q_t^{(0)}(X_t) dt
 =
dQ_t^{(0)}(X_t)
 -  dN^{(0)}_t ,  \\  &&
 \nonumber
 dQ_t^{(0)}(X_t) =
- d \big[   \phi_t^\varepsilon \big( x^2 \partial_x^2 \big) Q_t^{(0)}(X_t)
+\varepsilon^{1/2} \rho  Q_t^{(1)}(X_t)
\big]
\\
\nonumber
 &&
\hspace*{0.8in} +
   \frac{1}{2}
\big( x^2\partial_x^2(  x^2 \partial_x^2)\big) Q_t^{(0)}(X_t) \big( (\sigma_t^\varepsilon)^2 - \overline{\sigma}^2\big)\phi_t^\varepsilon dt
\\
&&
\nonumber
\hspace*{0.8in}
+\frac{\varepsilon^{1/2}}{2} \rho  \big( x^2 \partial_x^2 \big) Q_t^{(1)}(X_t) \big( (\sigma_t^\varepsilon)^2 -\overline{\sigma}^2 \big) dt
\\
&&
\nonumber
\hspace*{0.8in}
  +  \rho   \big( x\partial_x (  x^2 \partial_x^2  ) \big) Q_t^{(0)}(X_t)
  \big( \sigma_t^\varepsilon  {\vartheta}_{t}^{\varepsilon} - \varepsilon^{1/2} \overline{D}\big) dt \\
  &&\hspace*{0.8in}
  + d N^{(0)}_t + dN^{(1)}_t +\varepsilon^{1/2} \rho dN^{(2)}_t+ dN^{(3)}_t  .
  \label{eq:2}
\ea
In \cite{sv3} it is shown that the third, fourth, and fifth terms of the right-hand side of (\ref{eq:2}) are smaller than $\varepsilon^{1/2}$.
That is, if
we introduce for any $t \in [0,T]$:
\begin{eqnarray}
R^{(1)}_{t,T} &=& \int_t^T  \frac{1}{2} \big( x^2\partial_x^2(  x^2 \partial_x^2 )\big) Q_s^{(0)}(X_s)  \big( (\sigma_s^\varepsilon)^2 - \overline{\sigma}^2\big) \phi_s^\varepsilon
 ds , \\
 \label{def:R2}
R^{(2)}_{t,T} &=& \int_t^T \frac{\varepsilon^{1/2}}{2} \rho  \big( x^2 \partial_x^2 \big) Q_s^{(1)}(X_s)  \big( (\sigma_s^\varepsilon)^2 -\overline{\sigma}^2 \big)ds , \\
R^{(3)}_{t,T} &=& \int_t^T  \rho   \big( x\partial_x(  x^2 \partial_x^2 ) \big) Q_s^{(0)}(X_s)
 \big(  \sigma_s^\varepsilon\vartheta_{s}^\varepsilon  -\varepsilon^{1/2}  \overline{D} )ds  ,
\end{eqnarray}
 we have  for $j=1,2,3$,
\begin{equation}
\label{eq:estimeRj}
\displaystyle \lim_{\varepsilon \to 0} \varepsilon^{-1/2} \sup_{t \in [0,T]} \mathbb{E} \big[ (R^{(j)}_{t,T})^2 \big]^{1/2} =0 .
\end{equation}
  From  Proposition \ref{prop:main} we have that
 \ba
 \nonumber
    -d Q_t^{(1)}(X_t)   &=&
     \overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (X_t) dt
     -   dN_t^{(2)} \\
     && -   \frac{1}{2}   \big( x^2 \partial_x^2 \big) Q_t^{(1)}(X_t)  \big( (\sigma_t^\varepsilon)^2 -\overline{\sigma}^2 \big)dt .
     \label{eq:dQ1a}
 \ea
 It then follows from (\ref{eq:Edef})-(\ref{eq:1})-(\ref{eq:2})-(\ref{eq:dQ1a}) that
 \ba
 \nonumber
    dE^{\rm H}_t &=&   \varepsilon^{1/2} \rho
     \overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (X_t) dt
         + d R_{t,T}^{(1)}+ d R_{t,T}^{(3)}  \\
    &&     \hbox{}  -d\big[ \phi_t^\varepsilon \big( x^2 \partial_x^2 \big) Q_t^{(0)}(X_t) \big]   +
       dN_t^{(1)} + dN_t^{(3)}   .
       \label{eq:Kb}
   \ea
 It follows from Lemma \ref{lem:A2}  that the first term in the second line
 of Eq. (\ref{eq:Kb})  is small:
\begin{equation}
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}
\mathbb{E}\left[ \left|
      \int_0^t -d\big[ \phi_s^\varepsilon \big( x^2 \partial_x^2 \big) Q_s^{(0)}(X_s) \big]
 \right|^2 \right]^{1/2}  = 0  ,
\end{equation}
and the third term, i.e. the martingale $N^{(3)}_t$, is small as well:
$$
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}
\mathbb{E}\left[ \big|N^{(3)}_t \big|^2 \right]^{1/2}=0
.
$$
We then get (\ref{def:hE2a}-\ref{def:hE2}).
 {Finally, by substracting (\ref{def:hE1}) from (\ref{def:hE2}), we obtain
$$
\check{E}^{\rm H}_t - \hat{E}^{\rm H}_t = \varepsilon^{1/2} \rho \Big[
  \overline{D} \int_0^t  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (X_s) ds - N^{(2)}_t \Big]
-
\varepsilon^{1/2} \rho  \big(    Q_0^{(1)}(X_0)
   -   Q_t^{(1)}(X_t)         \big) ,
$$
which gives with (\ref{def:R2})  and (\ref{eq:dQ1a})  that}
$$
\check{E}^{\rm H}_t = \hat{E}^{\rm H}_t + R^{(2)}_{0,T}-R^{(2)}_{t,T},
$$
so that (\ref{eq:estimeRj}) gives (\ref{def:hE1a}-\ref{def:hE1}).
\end{proof}

 We next consider the expected hedging cost.
 We find that, if we exercise at some time $0 \leq t\leq T$,

  the  extra
 hedging cost  beyond the Black-Scholes price at the effective volatility
  is the fraction $t/T$
  of the price correction at the initiation time:

  \begin{proposition}
  \label{prop:main2}
The mean hedging cost satisfies
\begin{equation}
\lim_{\varepsilon \to 0}  \mathbb{E}\left[\left(  \varepsilon^{-1/2}
  \mathbb{E}\big[ E_t^{\rm H} - E^{\rm H}_0   \mid {\cal F}_0 \big]  -
    \frac{t}{T}    \rho Q_0^{(1)}(X_0)  \right)^2\right]^{1/2}=0  ,
    \label{eq:prop:main2}
\end{equation}
with $E_0^{\rm H}=Q_0^{(0)}(X_0)$.
 \end{proposition}

 Therefore, we have
 \begin{equation}
 \lim_{\varepsilon \to 0}  \mathbb{E}\left[\left(  \varepsilon^{-1/2} \big(
  \mathbb{E}\big[ E_t^{\rm H}     \mid {\cal F}_0 \big]  -P(0,X_0) \big) -
    \frac{t-T}{T}    \rho Q_0^{(1)}(X_0)  \right)^2\right]^{1/2}=0 ,
 \end{equation}
 which gives (\ref{eq:meanYH}).

 \begin{proof}
 From (\ref{def:hE2}) we have
 \begin{align}
 \varepsilon^{-1/2} \mathbb{E}\big[ \check{E}^{\rm H}_t - Q_0^{(0)}(X_0)    \mid {\cal F}_0 \big]
  =       \rho  \overline{D} \int_0^t
            \mathbb{E}\big[ \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} ({X}_s)
           \mid {\cal F}_0  \big]
            ds  .
            \label{eq:prop:main2b}
 \end{align}
Using (\ref{def:hE2a}), Lemma  \ref{lem:EMn} (Eq.~(\ref{eq:lemEMn1})), and dominated convergence theorem, it follows that
 \begin{align}
\lim_{\varepsilon \to 0}  \mathbb{E}\left[\left(
  \varepsilon^{-1/2}
  \mathbb{E}\big[ E^{\rm H}_t - E^{\rm H}_0   \mid {\cal F}_0 \big]
- \rho  \overline{D} \int_0^t
            \mathbb{E}\big[ \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (\tilde{X}_s)
           \mid {\cal F}_0 \big] ds\right)^2 \right] =0 ,
  \label{eq:proofprop:main2a}
 \end{align}
 with
 \begin{equation}
 \label{eq:tXdef0}
d\tilde{X}_t = \bar\sigma  \tilde{X}_t dW^*_t , \quad \quad  \tilde{X}_0 =  {X}_0  .
\end{equation}
On the one hand, from (\ref{eq:bs1})  we get
 \begin{align*}
\rho  \overline{D} \int_0^t
            \mathbb{E}\big[ \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} (\tilde{X}_s)
           \mid {\cal F}_0 \big] ds
    &=    -\rho  \mathbb{E}\left[\int_0^t  {\cal L}_{\rm BS}(\bar{\sigma}) Q_s^{(1)}(\tilde{X}_s) ds   \mid {\cal F}_0 \right]
\\&
= -\rho \mathbb{E} \big[   Q_t^{(1)} (\tilde{X}_t) - Q_0^{(1)} (\tilde{X}_0)
           \mid {\cal F}_0  \big],
 \end{align*}
which is equal to $0$ at $t=0$ and equal to $\rho  Q_0^{(1)} (X_0)$ at $t=T$. \\
On the other hand, we have by It\^o's formula and  (\ref{eq:bs0}) that
\ban
    \mathbb{E}\left[ \big( x \partial_x (x^2 \partial_x^2) \big) Q_s^{(0)} (\tilde{X}_s) \mid {\cal F}_0  \right]  =
      \big( x \partial_x ( x^2 \partial_x^2)\big)  Q_0^{(0)} ({X}_0) ,
\ean
which shows that the integral term in~(\ref{eq:proofprop:main2a}) is a linear function in $t$. Therefore it is equal to
 $(t/T) \rho Q_0^{(1)}(X_0)$, which completes the proof of (\ref{eq:prop:main2}).
\end{proof}

We are also interested in the risk or uncertainty in the hedging cost
if we exercise at or before expiry.  We find that the magnitude of the
cost fluctuations is of order  $\sqrt{\varepsilon}$.
We have an explicit integral
expression for the variance of the hedging cost fluctuations (to leading order $\varepsilon$)
as explained in the following proposition:
  \begin{proposition}
  \label{prop:main2b2}
  The asymptotic variance of the cost fluctuations satisfies
\ba
\label{eq:cost0}
\lim_{\varepsilon \to 0} \mathbb{E}\left[\left| \varepsilon^{-1}  {\rm Var} \big(
E^{\rm H}_t-E^{\rm H}_0   \mid {\cal F}_0\big)
-{\cal V}^{(1)}_t(X_0)-2{\cal V}^{(2)}_t(X_0)-{\cal V}^{(3)}_t(X_0) \right| \right]      =  0,
  \ea
with
\ba
&& {\cal V}^{(1)}_t(x_0) =  2  \rho^2 \overline{D}^2   \int_\mathbb{R} dz  p(z)  \int_0^t ds(t-s)
  \left(  \big( x \partial_x     (x^2 \partial_x^2   )\big)
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2} ) \right)^2
   \nonumber \label{eq:V1}  \\
  && \hspace*{0.65in}
- \Big(\frac{t}{T}\rho Q_0^{(1)}(x_0)\Big)^2 , \\
&& {\cal V}^{(2)}_t(x_0) =    \rho^2 \overline{D}^2
 \int_\mathbb{R} dz  p(z)  \int_0^t ds (t-s)
  \left( \big( (x \partial_x)^2  (x^2 \partial_x^2)  \big)
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2}\right)   \nonumber \\
  &&  \hspace*{0.65in}   \times
   \left(  (  x^2 \partial_x^2  )
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2}\right)  ,
   \label{eq:V2} \\
   && {\cal V}^{(3)}_t(x_0) =
 {\overline{\Gamma}^2} \int_\mathbb{R} dz  p(z)  \int_0^t ds
  \left(  ( x^2 \partial_x^2  )
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2}\right)^2
   \label{eq:V3}  .
\ea
Here $p(z)$ is the pdf of the standard normal distribution, $\overline{\Gamma}$ is the parameter
 \begin{equation}
   \overline{\Gamma}^2  = 2   \sigma^2_{\rm z}
\int_0^{\infty}  \int_{s}^{\infty}
  \left[
   \iint_{\mathbb{R}^2}  FF'( \sigma_{\rm z} z )
        FF'(\sigma_{\rm z} z' )
p_{{\cal C}_{\cal K}(s,s')}(z,z') dzdz' \right]  {\cal K}(s) {\cal K}(s')  ds'ds ,
\label{def:barGamma}
\end{equation}
and $p_C$ is the pdf of the bivariate normal distribution with covariance matrix (\ref{eq:Cmat}) and
 ${\cal C}_{\cal K}(s,s')$ is defined by (\ref{Cdef}).
 \end{proposition}
   \begin{proof}
From (\ref{def:hE1a}) and (\ref{def:hE2}), we can write
\ba
&&  \varepsilon^{-1}  {\rm Var} \big(
E^{\rm H}_t-E^{\rm H}_0   \mid {\cal F}_0\big)  =      V_1^\varepsilon+2V_2^\varepsilon + V_3^\varepsilon +o(1) , \\
 && V_1^\varepsilon=
 {\rm Var}\left(
    \rho  \overline{D} \int_0^t  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} ({X}_s) ds    \mid {\cal F}_0    \right),\\
&&V_2^\varepsilon =   \varepsilon^{-1/2}  {\rm Cov}\left(
    \rho  \overline{D} \int_0^t  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_s^{(0)} ({X}_s) ds,
     N^{(1)}_t  \mid {\cal F}_0 \right) ,
  \\
   &&
  V_3^\varepsilon=  \varepsilon^{-1} {\rm Var}\big( N^{(1)}_t \mid {\cal F}_0  \big)  .
   \label{def:V3}
\ea
Note that we have
$  x^2 \partial_x^2   =  \left(x \partial_x\right)^2 -x \partial_x$. It follows that
\ban
 {\cal L}_{\rm BS}(\bar\sigma)
 \big( \left(x \partial_x\right)^j  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (x) = 0, \quad
 j=0,1,\ldots .
\ean
Then one can show that $ V_1^\varepsilon$ converges in $L^1$ to
$ {\cal V}^{(1)}_t(X_0)$ (given by Eq.~(\ref{eq:V1})) by Lemma  \ref{lem:EMn2}-Eq.~(\ref{eq:EM1}) and Proposition
\ref{prop:main2}. Similarly, using the expression (\ref{eq:Ndef1}) of $N^{(1)}$,
one can show that $ V_2^\varepsilon$ and $V_3^\varepsilon$  converge in $L^1$
to $ {\cal V}^{(2)}_t(X_0)$ and $ {\cal V}^{(3)}_t(X_0)$ (given by  Eqs.~(\ref{eq:V2}) and (\ref{eq:V3})) by
Lemma \ref{lem:A2} and
by Lemma \ref{lem:EMn2}-Eqs.~(\ref{eq:EM2}-\ref{eq:EM3})
respectively.
  \end{proof}

We illustrate  the above result
in the case  of a European call option in Section~\ref{sec:call}.

\subsection{Hedging Cost Process  using (HW) Hedging Strategy}
\label{sec:delta2}

In this section we analyze  the  hedging scheme
(HW)  described by Eq.~(\ref{eq:dMV}) where we use a ``corrected delta''
 to  construct the portfolio.
That is, we now use  the corrected Black-Scholes price in
Proposition \ref{prop:main}  and associated
  delta  and value function.

Thus,  we construct a replicating portfolio so that $a^{\rm HW}_t$ is the number of
underlyings at time $t$ and $b^{\rm HW}_t$ is the amount in the bank account
according to the corrected strategy.
The value of the portfolio is now
\begin{equation}
   V^{\rm HW}_t = a^{\rm HW}_t X_t + b^{\rm HW}_t ,
\end{equation}
and we choose
\begin{equation}
\label{eq:D2}
a^{\rm HW}_t  = \delta^{\rm HW}(t,X_t),\quad\quad
\delta^{\rm HW}(t,x) = \partial_x  P(t,x) =
 \partial_x  \big( Q_t^{(0)} +\varepsilon^{1/2}   \rho Q_t^{(1)}   \big) (x).
\end{equation}
We moreover require the portfolio to replicate  the corrected option price so that
the value of the portfolio is
\ba\label{eq:V0c}
V^{\rm HW}_t=P(t,X_t), \quad  0 \leq t \leq T ,
\ea
  and  $
   b^{\rm HW}_t = P(t,X_t)   - a^{\rm HW}_t X_t$.
Again  the portfolio replicates the payoff at maturity
$    V_T^{\rm HW} = P(T,X_T) = h(X_T) $.
 The financing cost of the portfolio is
 \begin{equation}\label{eq:Ec}
  E^{\rm HW}_t  = V^{\rm HW}_t - \int_0^t a^{\rm HW}_s dX_s ,
\end{equation}
with in particular $
  E^{\rm HW}_0  =  P(0,X_0) $.
We aim  to understand how the cost  is affected by using the corrected
strategy.
The following lemma shows that, by using the corrected hedging strategy, we have
in the incomplete market
{\it restored the situation
with existence of a self-financing replicating portfolio
 to the order  of the approximation in the mean}.
 Moreover the hedging cost is characterized by the martingale
 $N^{(1)}$ defined by (\ref{eq:Ndef1}).

 \begin{lemma}
 \label{lem:Ec}
 The cost of the corrected hedging strategy satisfies
\begin{equation}
\label{eq:estimedEt}
\displaystyle \lim_{\varepsilon \to 0} \varepsilon^{-1/2} \sup_{t \in [0,T]}
\mathbb{E} \Big[ \big( E^{\rm HW}_t   - P(0,X_0)  - N_t^{(1)}  \big)^2 \Big]^{1/2}  = 0
    ,
\end{equation}
where
$N^{(1)}_t$ is  the martingale defined in Lemma  \ref{thm1}, Eq.~(\ref{eq:Ndef1}).
\end{lemma}

\begin{proof}
In view of Eqs.  (\ref{eq:bs0})  and  (\ref{eq:bs1}) we find
\ban
     dE^{\rm HW}_t &=& dV^{\rm HW}_t -a^{\rm HW}_t dX_t  \\
     &=& \Big( \partial_t +\frac{1}{2} (\sigma_t^\varepsilon)^2 x^2 \partial_x^2 \Big)
        P(t,X_t)
        dt + \partial_x

        P(t,X_t)
        dX_t - a^{\rm HW}_t dX_t
        \\  & = & \frac{1}{2} \left( (\sigma_t^\varepsilon)^2  - \bar\sigma^2 \right)
        \big( x^2 \partial_x^2\big)

        P(t,X_t)
        dt
         - \varepsilon^{1/2} \rho \overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (X_t) dt .
\ean
We define $\tilde{E}^{\rm HW}$ by
\begin{equation}
\label{eq:tEdef}
     d\tilde{E}^{\rm HW}_t
= \frac{1}{2} \left( (\sigma_t^\varepsilon)^2  - \bar\sigma^2 \right)
        \big(x^2 \partial_x^2\big) Q^{(0)}_t(X_t)  dt
                 - \varepsilon^{1/2} \rho \overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (X_t) dt  ,
\end{equation}
starting from $  \tilde{E}^{\rm HW}_0 =
P(0,X_0)$.
Therefore
$$
{E}^{\rm HW}_t   - \tilde{E}^{\rm HW}_t  =
 \rho \varepsilon^{1/2} \int_0^t  \frac{1}{2} \left( (\sigma_s^\varepsilon)^2  - \bar\sigma^2 \right)
        \big(x^2 \partial_x^2\big) Q^{(1)}_s(X_s)  ds  ,
$$
and we get from   Lemma \ref{lem:EMn0}:
\begin{equation}
\label{eq:estimedE}
\displaystyle \lim_{\varepsilon \to 0} \varepsilon^{-1/2} \sup_{t \in [0,T]}
\mathbb{E} \big[ ( {E}^{\rm HW}_t   - \tilde{E}^{\rm HW}_t    )^2 \big]^{1/2}  = 0 .
\end{equation}
We have from (\ref{eq:Edef}) and  (\ref{eq:tEdef}):
$$
d \tilde{E}^{\rm HW}_t  -dE^{\rm H}_t =
- \varepsilon^{1/2} \rho \overline{D}  \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q_t^{(0)} (X_t) dt .
$$
Using (\ref{def:hE2}) we get
\ban
 \tilde{E}^{\rm HW}_t  - E^{\rm H}_t + \check{E}^{\rm H}_t
 &=&  \tilde{E}^{\rm HW}_0  - E_0^{\rm H} + \check{E}_0^{\rm H} +  N^{(1)}_t \\
 &=&   P(0,X_0) - Q^{(0)}_0(X_0) +Q^{(0)}_0(X_0) + N^{(1)}_t =
   P(0,X_0)+N^{(1)}_t.
\ean
Using  (\ref{def:hE2a}) we find that
\ban
  && \lim_{\varepsilon \to 0} \varepsilon^{-1/2} \sup_{t \in [0,T]}
\mathbb{E} \left[ \left( {\tilde{E}}^{\rm HW}_t   -    P(0,X_0) - N^{(1)}_t
\right)^2 \right]^{1/2}
\\
&&
   =
\lim_{\varepsilon \to 0} \varepsilon^{-1/2} \sup_{t \in [0,T]}
\mathbb{E} \big[ (  E_t^{\rm H} -  \check{E}_t^{\rm H}   )^2 \big]^{1/2}
 = 0 ,
\ean
which gives the desired result with Eq. (\ref{eq:estimedE}).
 \end{proof}

 This lemma allows us to characterize the mean and variance of the cost of the corrected hedging strategy.

\begin{proposition}
\label{prop:c}
The mean extra hedging cost beyond the corrected price is zero:
\begin{equation}
\lim_{\varepsilon \to 0}  \mathbb{E}\left[\left( \varepsilon^{-1/2}
  \mathbb{E}\big[ E_t^{\rm HW}- E_0^{\rm HW}   \mid {\cal F}_0 \big] \right)^2\right]^{1/2} =
0  ,
\end{equation}
with $E_0^{\rm HW}=P(0,X_0)$.
The variance of the cost fluctuations satisfies
\ba
\lim_{\varepsilon \to 0}  \mathbb{E}\left[\left| \varepsilon^{-1}  {\rm Var} \big(
E_t^{\rm HW}-E_0^{\rm HW}   \mid {\cal F}_0
\big)   - {\cal V}^{(3)}_t(X_0) \right|\right]=0,
  \ea
  where ${\cal V}^{(3)}_t$ is given by  (\ref{eq:V3}).
 \end{proposition}
\begin{proof}
The result on the mean follows from Lemma \ref{lem:Ec} and the fact that $N^{(1)}_t$ is a zero-mean martingale.
The result on the variance follows from Lemma \ref{lem:Ec} and the formula for the asymptotic variance of $N^{(1)}_t$  obtained in Proposition \ref{prop:main2b2}.
\end{proof}

\subsection{Hedging Cost with (BS) Hedging Strategy}
\label{sec:BS}
 {We consider here the hedging scheme (BS) described in Section
\ref{sec:sum}, that is using the delta of the BS price at the implied volatility $\delta^{\rm BS}$ defined by (\ref{eq:dBS}) and (\ref{def:impliedvol}). }
 Here $Q^{(j)}(t,x;\sigma ), ~j=0,1$
stands for $Q_t^{(j)}(x)$  with the constant volatility $\sigma$ instead of $\bar{\sigma}$.
 {Since we here evaluate the BS hedging scheme which is based
on computing the implied  volatility we  assume that the  Black Scholes  Vega, $\partial_\sigma Q^{(0)}$, is positive  in the domain of interest.
The problem of identifying  the implied volatility in the case of a small correction is then well posed, see below.
We remark that  for the European put and call options that we discuss below the  Vega is
positive, as shown by the following lemma proved in Appendix \ref{app:pos}.}
\begin{lemma}
 { The Black-Scholes  Vega,  $\partial_\sigma Q^{(0)}(t,x)$,  is  well defined and positive for $x> 0, t>0$   if  the payoff function $h: [0,\infty) \rightarrow  \mathbb{R}$  is convex and not affine and of at most polynomial growth.}
\end{lemma}

Using a similar technique as in the derivation
of Lemma \ref{thm1}  and  Proposition \ref{prop:main2b2} we then find the following result.

\begin{lemma}
\label{thm1b}%
The cost for  the hedging scheme (BS), $E^{\rm BS}$,  satisfies
\begin{equation}
   \label{def:hE1ab}
\lim_{\varepsilon \to 0}  \varepsilon^{-1/2} \sup_{t\in [0,T]}
 \mathbb{E}\left[ \big( E^{\rm BS}_t  - \hat{E}_t^{\rm BS}  \big)^2 \right]^{1/2}  = 0  ,
\end{equation}
 where
\begin{equation}
\hat{E}_t^{\rm BS}
   \label{def:hE1b}
=   P(0,X_0)
    + N^{(1)}_t
+
 \varepsilon^{1/2}  \rho  { \tilde{N}}_t       ,
\end{equation}
$N^{(1)}_t$ is  the martingale defined  by (\ref{eq:Ndef1}), and
${ \tilde{N}}_t  $ is the martingale defined by
\ba\label{eq:Ntdef}
{ \tilde{N}}_t   &= & \overline{D}  \int_0^t  \tilde{\cal H}_s(X_s)   \sigma^\varepsilon_s dW_s^*  ,\\
    \tilde{\cal H}_s(x)   &=&  \frac{1}{ \overline{D}} \left(  \big( x \partial_x\big)
    - \Big(  \frac{x \partial_x \partial_\sigma Q^{(0)}(s,x;\bar\sigma)}
  {\partial_\sigma Q^{(0)}(s,x;\bar\sigma)} \Big)
 \right)   Q^{(1)}(s,x;\bar\sigma)  .
 \label{def:tildeH}
\ea
   \end{lemma}
 \begin{proof}
 The implied volatility $\sigma(t,x)$ is such that
\ban
 Q^{(0)}(t,x;\sigma(t,x))  =  P(t,x) = Q^{(0)}(t,x;\bar\sigma) +
\sqrt{\varepsilon}   \rho Q^{(1)}(t,x;\bar\sigma)   .
\ean

 {Note that with $\partial_\sigma Q^{(0)}$, the Black-Scholes  Vega, being continuous and not zero at
$\bar{\sigma}$,
we have by the implicit function theorem:}
  \ban
  \sigma(t,x) - \bar\sigma     &=&
   \frac{ \sqrt{\varepsilon}   \rho Q^{(1)}(t,x;\bar\sigma)}{\partial_\sigma Q^{(0)}(t,x;\bar\sigma)}  +o(\sqrt{\varepsilon})  .
 \ean
 The (BS) delta is:
\ban
 \delta^{\rm BS}(t,x) &=&
  \left. \left( \partial_x  Q^{(0)}(t,x;\sigma) \right)\right|_{ \sigma=\sigma(t,x)} \\
   &=&
    \left. \left( \partial_x  \big(  Q^{(0)}(t,x;\bar\sigma)  +
  \partial_\sigma Q^{(0)}(t,x;\bar\sigma)
   (\sigma-\bar\sigma)\big) \right)\right|_{\sigma=\sigma(t,x)}   +o(\sqrt{\varepsilon})   ,
    \ean
so that we can write:
 \ban
 \delta^{\rm BS}(t,x)  =
     \delta^{\rm H}(t,x)  +    \sqrt{\varepsilon}   \rho Q^{(1)}(t,x;\bar\sigma)
  \left(  \frac{\partial_x \partial_\sigma Q^{(0)}(t,x;\bar\sigma)}
  {\partial_\sigma Q^{(0)}(t,x;\bar\sigma)} \right)  +o(\sqrt{\varepsilon}) .
     \ean
  Then it follows from Eqs. (\ref{eq:bc}) and (\ref{def:hE1})  that the  cost is
\ban\label{eq:EBS}
  {E}_t^{\rm BS}
&=&   P(t,X_t) - \int_0^t \delta^{\rm BS}(s,X_s) d X_s \\
&=& E^{\rm H}_t +\sqrt{\varepsilon} \rho Q^{(1)}_t(X_t) - \sqrt{\varepsilon}   \rho  \int_0^t
  \left(  \frac{x \partial_x \partial_\sigma Q^{(0)}(s,X_s;\bar\sigma)}
  {\partial_\sigma Q^{(0)}(s,X_s;\bar\sigma)} \right)
  Q^{(1)}(s,X_s;\bar\sigma)
    \sigma_s^\varepsilon  dW^*_s    +o(\sqrt{\varepsilon})  \\
&=&
P(0,X_0)
+     N^{(1)}_t
+    \sqrt{\varepsilon}    \rho N^{(2)}_t     \\ && \hbox{}
  -   \sqrt{\varepsilon}   \rho  \int_0^t
  \left(  \frac{x \partial_x \partial_\sigma Q^{(0)}(s,X_s;\bar\sigma)}
  {\partial_\sigma Q^{(0)}(s,X_s;\bar\sigma)} \right)
  Q^{(1)}(s,X_s;\bar\sigma)
    \sigma_s^\varepsilon  dW^*_s   +o(\sqrt{\varepsilon})  \\
    \nonumber   &= &P(0,X_0)  +     N^{(1)}_t  +  \sqrt{\varepsilon}    \rho  { \tilde{N}}_t +o(\sqrt{\varepsilon})  ,
\ean
with ${ \tilde{N}}_t  $ defined by (\ref{eq:Ntdef}).
 \end{proof}

  This lemma allows us to characterize the mean and variance of the cost of the (BS) hedging scheme.

 \begin{proposition}
  \label{prop:main2b2b}
  The mean and variance of the cost fluctuations satisfy
\ba
 \label{eq:cost0b}
&& \hspace*{-0.25in}
 \lim_{\varepsilon \to 0} \mathbb{E}\left[ \left( \varepsilon^{-1/2}  \mathbb{E} \big[
E^{\rm BS}_t-E^{\rm BS}_0   \mid {\cal F}_0
  \big]  \right)^2\right]^{1/2}=  0,   \\
&& \hspace*{-0.25in}
\lim_{\varepsilon \to 0}
\mathbb{E}
\left[ \left|
\varepsilon^{-1}  {\rm Var} \big(
E^{\rm BS}_t-E^{\rm BS}_0   \mid {\cal F}_0
 \big)   - \tilde{\cal V}^{(1)}_t(X_0)-2 \tilde{\cal V}^{(2)}_t(X_0)- \tilde{\cal V}^{(3)}_t(X_0)
\right|\right]=0,
  \ea
with $E_0^{\rm BS}=P(0,X_0)$,
\ba
\label{eq:int2b}
&& \tilde{\cal V}^{(1)}_t(x_0) =   \rho^2 \overline{D}^2 \bar{\sigma}^2 \int_\mathbb{R} dz  p(z)  \int_0^t ds
     \left(
  \tilde{\cal H}_s(x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2} ) \right)^2   ,
   \label{eq:V1b} \\
&& \tilde{\cal V}^{(2)}_t(x_0) =    \rho^2 \overline{D}^2
 \int_\mathbb{R} dz  p(z)  \int_0^t ds  \,
        \tilde{\cal H}_s(x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2} )
      \nonumber \\
  &&  \hspace*{0.65in}   \times
   \left(    x^2 \partial_x^2
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2}\right)  ,
  \label{eq:V2b} \\
   && \tilde{\cal V}^{(3)}_t(x_0) =
 {\overline{\Gamma}^2} \int_\mathbb{R} dz  p(z)  \int_0^t ds
  \left(   x^2 \partial_x^2
  Q_s^{(0)} (x_0 e^{\bar{\sigma} \sqrt{s} z -\bar{\sigma}^2 s/2}\right)^2
 \label{eq:V3b}  ,
\ea
where  $\overline{\Gamma}$ is defined by (\ref{def:barGamma}) and $\tilde{\cal H}_s(x)$ is defined by (\ref{def:tildeH}).
\end{proposition}

\subsection{Hedging Cost with a Modified (H) Hedging Strategy}
\label{sec:mH}

To facilitate comparison of  the schemes  at early exercise times
we here consider the hedging scheme (H) using the delta at the Black-Scholes price
at the effective volatility, $\delta^{\rm H}$,  however,
modified in that the portfolio value is chosen to be the corrected price
$P(t,x)$ rather than the price $Q^{(0)}_t(x)$ at the effective volatility.
We label this scheme (${ \tilde{\rm H}}$).

Note that using Eq. (\ref{def:hE1})  we can write that the accumulated asymptotic
hedging cost until time $t$  has the form:
\begin{equation}\label{eq:EH}
{E}_t^{{ \tilde{\rm H}}}
=   P(t,X_t)   - \int_0^t \delta^{\rm H}(s,X_s) dX_s
=  P(0,X_0)
    + N^{(1)}_t  +
 \varepsilon^{1/2}    \rho N^{(2)}_t    +o( \varepsilon^{1/2})   .
\end{equation}
We then find that the hedging cost is characterized by
Lemma \ref{thm1b} and Proposition \ref{prop:main2b2b} upon the replacements:
${ \tilde{N}}  \mapsto  N^{(2)} $ and $\overline{D} \tilde{\cal H}_t(x)  \mapsto     \big( x \partial_x\big) Q_t^{(1)}  (x) $.

\section{On Estimation of Effective Market Parameters}
\label{sec:est}

For the above results to be useful we must be able to
estimate the three  market  parameters  discussed in Section
\ref{sec:sum}
\ba\label{eq:pareff}
\bar\sigma, \quad \quad D=\sqrt{\varepsilon}\rho \overline{D}, \quad\quad  \Gamma =  \sqrt{\varepsilon} \, \overline{\Gamma} .
\ea

We refer to $D=\sqrt{\varepsilon}\rho \overline{D}$ as an  {\it effective pricing parameter}  with the price correction being scaled by this parameter.
 The effective pricing parameter can together with the effective or historical
 volatility, $\bar\sigma$,  be calibrated from observation of vanilla option prices
 and the associated implied volatility skew.

   The parameter $\Gamma=\sqrt{\varepsilon} \overline{\Gamma}$  is a  {\it hedging risk parameter}
 and the magnitude of   Vega risk martingale $N^{(1)}$ scales with this parameter.
The hedging cost parameter can be calibrated from historical data.  Indeed,  by constructing the (HW)
hedge for instance and
recording  the accumulated cost over times $t_i, i=0,\ldots,n$ say, we will have an estimate
of the martingale  $N^{(1)}$ at these times from which the parameter
$\sqrt{\varepsilon} \overline{\Gamma}$ can be estimated via a least squares procedure that fits the empirical variance of the martingale  $N^{(1)}$
with the formula (\ref{def:V3})-(\ref{eq:V3}) in which only $ {\varepsilon} \overline{\Gamma}^2$ is   unknown.
Then this ``historical'' hedging risk  parameter estimate can
be used to project future hedging cost (mean and variance), thus,  the theory provides a bridge from
historical to future hedging cost.

 {In more complex market situations and modeling,  incorporating
for instance (random)  market  price of volatility risk and interest rate,  there
will be additional parameters to estimate.
The parameter $D$ can, however, be calibrated from
the observed  volatility skew, even with a non-zero
market price of risk, see \cite{fouque00,fouque11} where
  calibration based on the implied volatility skew is  discussed in detail.
The  historical volatility $\bar\sigma$  can be calibrated from historical
    observations of the underlying price, while  a corrected effective volatility $\sigma^\star$
    can be calibrated from the implied volatility skew, and then the  difference of these volatility measures  leads to an estimate
    of the market price of volatility risk, see \cite[Chapter 5]{fouque11}  for  details.
    In \cite{25}  a data  calibration is carried out  and there
    a fast volatility factor on the scale of a few days was identified and effective parameters were estimated.
    We stress  that the asymptotic regime  we consider here is one where the time  to maturity
    is large compared to the time scale of the volatility factor. Thus, we do not consider in this paper short time
    to maturity asymptotics where the limit of small time to maturity is considered while other parameters are kept
    fixed. One important consequence of our modeling and regime is that
    the form of the price corrections and the hedging approach do not depend on the Hurst parameter
    in the rough case with $H\leq1/2$, the expressions  are in fact  ``universal'' as a consequence
    of the assumption of a fast mean reverting volatility factor.  The relevance of this regime
    and corroboration of the asymptotic results can be found in \cite{funa} which reports such a
    universality based on numerical simulations.
   In \cite{funa} the authors find that the ``Hurst index under fractional volatility has a
crucial impact on option prices when the maturity is short and speed of mean reversion
is slow. On the contrary, the impact of the Hurst index on option prices reduces for
long-dated options'', and indeed it is the regime of long maturity horizons  that is considered here.
   In the  numerical simulations in Section  \ref{sec:sim} we explore further the robustness of the  results with respect
      to the assumption of fast mean reversion and indeed find that the (BS) hedging scheme presented here
      is robust with respect to the assumption  of fast mean reversion.   }

\section{Effective Market Parameters  Deriving from ExpfOU}
\label{sec:expou}

We discuss here the exponential fractional Ornstein-Uhlenbeck process
or ExpfOU model.
We then define the volatility by  $\sigma_t^\varepsilon = F(Z_t^\varepsilon)$ with
\begin{equation}
   F(z) = \bar\sigma \exp \Big(  \frac{\omega z}{\sigma_{\rm z}}  - \omega^2\Big) ,
\end{equation}
which is such that $\left< F^2\right>  =\bar\sigma^2$.
Here, $\omega >0$ is a fluctuation parameter that measures the typical amplitude of the relative fluctuations
of the volatility:
\ban
    \frac{\left< F^4\right> -   \left< F^2\right>^2}{ \left< F^2\right>^2}   =  e^{4\omega^2} -1 .
 \ean
We introduce two parameters that summarize the information
contained in ${\cal K}$ as defined in  (\ref{def:Keps}) (and the function ${\cal C}_{\cal K}$ defined in terms of ${\cal K}$ by (\ref{Cdef})):
\begin{eqnarray}
   \alpha &=&  \frac{\overline{D}}{\bar\sigma^3}  =
   \omega  e^{-  \frac{\omega^2}{2}} \int_0^\infty e^{2 \omega^2 {\cal C}_{\cal K}(s,0)} {\cal K}(s) ds
  ,
\\
   \beta &=&    \frac{\overline{\Gamma}}{\bar\sigma^2}    =
   \left(
     \omega^2   \int_0^\infty \int_0^\infty e^{4 \omega^2 {\cal C}_{\cal K}(s,s')}
      {\cal K}(s) {\cal K}(s') ds ds'  \right)^{1/2}
   .
 \end{eqnarray}
 These two parameters (with $\bar{\sigma}$) are necessary and sufficient to compute the
 corrected price and hedging cost.
 In the  case of  a  ``classic'' ExpOU model with
   ${\mathcal K}(t) = \sqrt{2}\exp(-t)$ they are given explicitly by:
 \ban
  \alpha =   e^{-\omega^2/2} \frac{  e^{2\omega^2 }  -   1 }{\sqrt{2} \omega }  , \quad \quad
 \beta  =
\sqrt{\frac{1}{2} {E}_1(4\omega^2) -\frac{\gamma}{2} - \ln (2\omega) } ,
 \ean
 with $E_1(z)=\int_z^\infty \frac{e^{-t}}{t} dt$ the exponential integral function and $\gamma \simeq 0.577$ the Euler constant.

 We plot $\alpha$  and $\beta$ as function of  $\omega$ in the ExpOU case  in  Figure  \ref{fig_ab}.
  Note that $\alpha/\beta  \leq 1 $ is nearly independent of $\omega$ and approximately
 equal to $1$ for $\omega \leq 1$.

 \begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=6.8cm]{fig_alfabeta.eps}
\end{tabular}
\end{center}
\caption{      \label{fig_ab}
{Market parameters $\alpha$, $\beta$ in ExpOU case.}
}
\end{figure}

\section{Hedging Cost Statistics for European Call Options}\label{sec:call}

\subsection{The Call Price and its Delta and their Corrected Versions}

 {
In Figure \ref{fig_relQ1} we show the normalized
call price correction   $ \bar{\sigma}^2 Q^{(1)}_0/( K \overline{D})$
and in Figure \ref{fig_bs} we show the Black-Scholes price relative to strike $Q^{(0)}_0/K$  for
comparison. Note that for small maturities and moneyness the mean correction
is more important.
Figure \ref{fig_relQ1b} corresponds to Figure \ref{fig_relQ1} only that we plot  the call price correction in terms
of a normalized implied volatility correction.
 In Figure \ref{fig_deltabs} we show the  delta for the Black-Scholes
price and in Figure \ref{fig_deltaQ1} we show the delta for the
normalized price correction.  If we assume a negative leverage parameter $\rho$
then  for short maturities and around the money the Black-Scholes delta  at the effective volatility  gives an {\it underhedged } situation in that the
delta
associated with the price correction is positive. We also see that for short maturities
and moneyness the Black-Scholes delta  gives an {\it overhedged } situation.
  }

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_bs.eps}
\end{tabular}
\end{center}
\caption{
The figure shows the European call option price relative to strike: $Q_0^{(0)}/K$.
It is plotted as a function of {\rm Log relative maturity},
$\log_{10}(\tau) = \log_{10}(T\bar{\sigma}^2)$,  and
moneyness,  $m=X_0/K$.  For short maturities we see the call payoff while there is a transition
regime to the large maturity limit,  the identity,   for relative maturity roughly around unity.
    \label{fig_bs}
}
\end{figure}
 \begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_relQ1.eps}
\end{tabular}
\end{center}
\caption{ {
The figure shows the  normalized call price correction for the European call option:
$\bar{\sigma}^2 {Q}^{(1)}_0/(K \overline{D})=-d_{_{-}}\exp(-d_{_{-}}^2/2)/\sqrt{2\pi}$.
It is plotted as a function of {\rm Log relative maturity},
$\log_{10}(\tau)= \log_{10}(T\bar{\sigma}^2)$,  and
moneyness,  $X_0/K$ relative to the same domain as in Figure \ref{fig_bs}.
We see that the correction is  large in the price transition zone
and that its maximal value is rather insensitive to the moneyness.
We see moreover that when the time to maturity $T$ is large  relative to the diffusion time
$\bar\sigma^{-2}$ then the correction plays a minor role.
 The red dashed line corresponds to $d_{_{-}}=0$, or $\tau =  2 \ln(m)$,  so that
${Q}^{(1)}_0=0$ (with $m=X_0/K$). The blue and red crosses are asymptotic approximations, in $\ln(m)$,  for the partial derivative
of $Q^{(1)}_0$ with respect to  maturity being zero. The blue crosses in the figure are
$\tau=4+ 4\ln(m)$,
the red crosses are $\tau=\ln^2(m)$. }
    \label{fig_relQ1}
}
\end{figure}
\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_relQ1b.eps}
\end{tabular}
\end{center}
\caption{  {
The figure plots  the call price  correction  as in the previous  figure however measured in terms of a relative implied volatility correction.
That is,  let $\bar{\sigma}+\Delta \sigma$ be the implied volatility associated with the price  correction, then the figure
plots $( \Delta \sigma  /  \bar{\sigma}    )( \bar{\sigma}^2/ (\sqrt{\varepsilon} \rho \bar{D}  ) )=-d_{_-}/\sqrt{\tau}$.    }   \label{fig_relQ1b}
}
\end{figure}
   \begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_deltabs.eps}
\end{tabular}
\end{center}
\caption{   { The figure shows  the Black-Scholes delta at the effective volatility, that is
$\partial_x Q_0^{(0)}$.
It is plotted as a function of Log relative maturity, $\log_{10}(T\bar{\sigma}^2)$,  and
moneyness,  $X_0/K$.
For large moneyness  or maturity
 this quantity  is close to unity corresponding to holding approximately a unit of the underlying
in the replicating portfolio, while for  small moneyness and maturity  this quantity  is close to zero corresponding to holding only cash.
By comparing with  Figure \ref{fig_relQ1}  it is seen that the price correction is small when approximately a unit of the underlying is held  in  the portfolio.  }
    \label{fig_deltabs}
}
\end{figure}
 \begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_deltaQ1.eps}
\end{tabular}
\end{center}
\caption{    { The figure shows  the  delta  of the correction, that is
$\bar{\sigma}^2  \partial_x Q^{(1)}_0 / \overline{D} $.
It is plotted as a function of {Log relative maturity}, $\log_{10}(T\bar{\sigma}^2)$,  and
moneyness,  $X_0/K$.
We remark that far out of the money and for small maturities, moreover,  with $\rho<0$,  the correction to the price
gives a negative correction to the number of underlyings held in the portfiolio in the (HW) case.
These  corrections   to the  portfolio weights will be of order $O(\sqrt{\varepsilon})$ in our regime.  \newline \newline }
     \label{fig_deltaQ1}
}
\end{figure}

\subsection{Call Hedging Risk}

In Proposition \ref{prop:sum}  we gave the expressions of the means and variances of
the hedging costs in the case of a general payoff.
The explicit expressions for the normalized functions $g,v, w^{\rm C}$,
for ${\rm C=H, BS, { \tilde{\rm H}}}$, follow from the
propositions in Section \ref{sec:hedging}.
Here we consider the situation with a European call.
Then we can use the results in Appendix \ref{app:mom}, Eqs.~(\ref{eq:greek1}-\ref{eq:4th}),  to get explicit expressions
for the  normalized  functions $g,v, w^{\rm C}$.

 \begin{proposition}
 \label{prop:sum2}
In  the case of a European call option $h(x)=(x-K)^+$  and using  the  notation  in Proposition \ref{prop:sum},
the  normalized  functions  $g$, $v$, $w^{\rm C}$ depend on $d_{_-}$ and $\theta=t/T$ only:
\ban
  &&  \frac{g(d_{_{-}})}{K}    =    -  \frac{   d_{_{-}}  \exp(-d_{_{-}}^2/2) }{\sqrt{2\pi} }  , \\
  &&  \frac{v(\theta;d_{_{-}})}{K^2} =     \frac{1}{2\pi}
   \int_0^\theta  \exp\Big( {-\frac{d_{_{-}}^2}{1+s}} \Big)   \frac{ds}{\sqrt{1-s^2}}   ,  \\
  &&  \frac{ w^{\rm H}(\theta;d_{_{-}})}{K^2}   =
    \frac{ 1 }{ \pi }
 \int_0^\theta    \exp\Big(- \frac{d_{_{-}}^2}{1+s}\Big)
   \frac{(\theta-s)}{(1-s)^2}   \big[
        2 f_4(s,d_{_{-}})  -  f_0(s)
      \big] ds
           -     \theta^2   \frac{   d_{_{-}}^2  \exp(-d_{_{-}}^2) }{{2\pi} }   , \\
           &&   w^{\rm BS}(\theta;d_{_{-}})   = -  v(\theta; d_{_-})  , \\
   && \frac{ w^{\rm { \tilde{\rm H}}}(\theta;d_{_{-}})}{K^2}   =    \frac{1}{2 \pi }
 \int_0^\theta \exp\Big(- \frac{d_{_{-}}^2}{1+s}\Big)  \frac{1}{ (1-s) }
\big[ f_4(s,d_{_{-}})   - f_0(s)\big] ds
     ,
\ean
with $f_j, j=0,2,4$ defined in  Proposition \ref{lem:gauss} and $d_{_-},\tau$ defined by (\ref{eq:bsparameter0}).
\end{proposition}

It then  follows that, as $\varepsilon \to 0$,
\ban
{\rm Var} \big( Y^{\rm BS}_t \mid {\cal F}_0 \big) =  \varepsilon \left( \frac{\overline{\Gamma}^2}{\bar\sigma^2}
 -  \frac{\rho^2 \overline{D}^2}{\bar\sigma^4} \right) v(\theta;d_{_-})  =  \left( \frac{\Gamma^2}{\bar\sigma^2}
 -  \frac{D^2}{\bar\sigma^4} \right) v(\theta;d_{_-})
 ,
\ean
which gives Eq. (\ref{eq:main}).
In Figure \ref{fig_AMV} we plot $v$ as a function of normalized maturity and moneyness.
We see that $v$  is  large for  large exercise times
 and small values of~$d_{_{-}}$.
In Figures \ref{fig_AH} and \ref{fig_AtH} we show respectively
$w^{\rm H}$ and $w^{\rm { \tilde{\rm H}}}$.   In the regime  of large exercise times  and
small values of $d_{_{-}}$ these schemes offer a slight advantage relative to the
(HW) scheme in terms of cost variance.
Note that at maturity the two schemes (H) and (${ \tilde{\rm H}}$) have the same cost.
Recall, however, that for the scheme (H) it is assumed
that the option can be traded at the price $Q^{(0)}$ so the schemes cannot be
compared directly other than at maturity when  $Q^{(1)}_T=0$.
In Figure \ref{fig_Amean} we show the function $g/K$ which describes the
coherent cost correction as a function of $d_{_{-}}$, we see that this correction
is maximal for $d_{_{-}}$ around unity.

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_AMV.eps}
\end{tabular}
\end{center}
\caption{The figure shows  the hedging cost variance function $v(\theta;d_{_{-}})/K^2$.
    \label{fig_AMV}
}
\end{figure}

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_AH.eps}
\end{tabular}
\end{center}
\caption{The figure shows  the hedging cost variance function $w^{\rm H}(\theta;d_{_{-}})/K^2$.
    \label{fig_AH}
}
\end{figure}

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=8.4cm]{fig_AtH.eps}
\end{tabular}
\end{center}
\caption{The figure shows  the hedging cost variance function $w^{\rm { \tilde{\rm H}}}(\theta;d_{_{-}})/K^2$.
    \label{fig_AtH}
}
\end{figure}

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=7.8cm]{fig_Amean.eps}
\end{tabular}
\end{center}
\caption{  The figure shows  the coherent cost correction function $g(d_{_{-}})/K$.
    \label{fig_Amean}
}
\end{figure}

\subsection{Optimality of Practitioners Scheme}
\label{sec:opt}   {
In the context of our modeling the practitioners scheme (BS) has the lowest
risk (i.e. cost variance) among the schemes that we have considered (${\rm H, HW,  BS, { \tilde{\rm H}}}$).
Here, we show that in fact the practitioners approach is the
optimal scheme amongst all DA  hedging strategies in the context of a call and for sufficiently
small $\varepsilon$.  }

\begin{definition}
A DA hedging scheme is based on a replication
portfolio of value $P$ of the form (\ref{eq:generalformportfolio}) with
the number of underlyings $a_t$ being a smooth function of $t$ and $X_t$.
\end{definition}

\begin{proposition}
\label{prop:optim}
Let ${\cal A}(t,x)$ be a smooth and bounded function.
Let $a_t ={\cal A}(t,X_t)$ be the number of underlyings in a replication
portfolio of value $P(t,X_t)$.
 Let
\begin{equation}
     E^*_t   =  P(t,X_t)  - \int_0^t a_s dX_s
\end{equation}
be the cost associated to the hedging strategy $a_t$.
Then we have  {up to terms of order $o(\varepsilon)$:}
\begin{equation}
\mathbb{E}[E^*_t \mid {\cal F}_0 ] =  P(0,X_0), \quad  {\rm Var}(E^*_t \mid{\cal F}_0  )    \geq   {\rm Var}(E^{\rm BS}_t  \mid {\cal F}_0) ,
\quad  t \in [ 0,T]  .
\end{equation}
\end{proposition}
 {This proposition shows that  there is one scheme, the (BS) scheme,
that  is the asymptotic optimal DA scheme  for any exercise time $t \leq T$.}
\begin{proof}
We write the cost as
$$
E^*_t  = P(t,X_t)  -   \int_0^t \delta^{\rm HW}(s,X_s) dX_s
+  \int_0^t \left(  \delta^{\rm HW}(s,X_s)   - a_s  \right) dX_s  .
$$
We first address the most interesting case
consistent with the regime addressed here, that is, the case when
 ${\cal A} (t,x) - \partial_x Q^{(0)}_t(x)$ is of order $\sqrt{\varepsilon}$:
$$
 {\cal A} (t,x) = \partial_x Q^{(0)}_t(x) +\sqrt{\varepsilon}  {\cal A}_1 (t,x)  .
 $$
Then
$$
E^*_t  =
 P(0,X_0) +
 N^{(1)}_t  +  \check{N}_t +o(\sqrt{\varepsilon}) ,
 $$
with  (using Eq.~(\ref{eq:D2}))
$$
 \check{N}_t  = \sqrt{\varepsilon}
  \int_0^t  \check{\cal A}_s(X_s) \sigma_s^\varepsilon dW^*_s  ,\quad \quad \check{\cal A}_s(x) =
  \big( \rho Q^{(1)}_s(x)- {\cal A}_1(s,x)  \big) x .
$$
The two martingales $N^{(1)}$ and $\check{N}$ have amplitudes of order $\sqrt{\varepsilon}$.
Using Eq.~(\ref{a32})
we get
\begin{align*}
\mathbb{E} \big[ (N^{(1)}_t)^2 \mid {\cal F}_0 \big]
& = \mathbb{E}\Big[ \int_0^t (x^2\partial_x^2 Q^{(0)}_s )(X_s)^2 (\vartheta^\varepsilon_s)^2 ds \mid {\cal F}_0\Big]\\
& = \varepsilon \overline{\Gamma}^2 \mathbb{E}\Big[ \int_0^t (x^2\partial_x^2 Q^{(0)}_s )(X_s)  ^2 ds \mid {\cal F}_0\Big] + o(\varepsilon) ,
\end{align*}
in the sense that
$$
\lim_{\varepsilon \to 0}
\mathbb{E}\left[\left| \varepsilon^{-1} \mathbb{E} \big[ (N^{(1)}_t)^2 \mid {\cal F}_0 \big]
-
 \overline{\Gamma}^2 \mathbb{E}\Big[ \int_0^t (x^2\partial_x^2 Q^{(0)}_s )(X_s)  ^2 ds \mid {\cal F}_0\Big]
 \right|\right]=0.
$$
Similarly, using Eqs.~(\ref{a31}) and (\ref{eq:comparesigmasigmaeps}),
\begin{align*}
\mathbb{E} \big[ (\check{N}_t)^2 \mid {\cal F}_0 \big]
& = \varepsilon   \mathbb{E}\Big[ \int_0^t \check{\cal A}_s(X_s)^2 (\sigma^\varepsilon_s)^2  ds \mid {\cal F}_0\Big] \\
& = \varepsilon \bar{\sigma}^2 \mathbb{E}\Big[ \int_0^t \check{\cal A}_s(X_s)^2 ds \mid {\cal F}_0\Big] + o(\varepsilon) ,\\
\mathbb{E} \big[ N^{(1)}_t \check{N}_t \mid {\cal F}_0 \big]
& = \sqrt{\varepsilon}  \rho \mathbb{E}\Big[ \int_0^t \big( (x^2\partial_x^2 Q^{(0)}_s) \check{\cal A}_s \big)(X_s)  \sigma^\varepsilon_s \vartheta^\varepsilon_s ds \mid {\cal F}_0\Big] \\
& = \varepsilon \rho \overline{D} \mathbb{E}\Big[ \int_0^t \big( (x^2\partial_x^2 Q^{(0)}_s) \check{\cal A}_s \big)(X_s)  ds \mid {\cal F}_0\Big] + o(\varepsilon) .
\end{align*}
Therefore, we find
to leading order
\ban
\check{\rho}_t  &=&  {\rm Corr}\big(  N^{(1)}_t,  \check{N}_t  \mid{\cal F}_0 \big)
=
 \frac{\rho \overline{D} \mathbb{E}\Big[   \int_0^t  \big( (x^2\partial_x^2 Q^{(0)}_s) \check{\cal A}_s \big) (X_s)ds   \mid {\cal F}_0 \Big] }
  { \bar\sigma \overline{\Gamma}  \sqrt{
  \mathbb{E}\Big[   \int_0^t   ( x^2\partial_x^2 Q^{(0)}_s)(X_s)^2   ds \mid {\cal F}_0 \Big]
 \mathbb{E}\Big[  \int_0^t   \check{\cal A}_s(X_s) ^2  ds  \mid {\cal F}_0  \Big]  } } ,
 \ean
 so that by Cauchy-Schwarz inequality
$   |\check{\rho}_t|    \leq  \overline{\rho} $,
where
\begin{equation}
 \overline{\rho}  =  \frac{\rho \overline{D}  }
  { \bar\sigma \overline{\Gamma} } =  \frac{D}{\bar\sigma \Gamma}   .
\end{equation}
Thus, using Proposition  \ref{prop:sum2}   and denoting
\ban
  \alpha_t = \sqrt{ \frac{ {\rm Var}(\check{N}_t \mid {\cal F}_0 ) }{  {\rm Var}(N^{(1)}_t \mid {\cal F}_0 )   } } ,
\ean
  we have
\ban
\nonumber
    {\rm Var}\big( E^*_t  \mid {\cal F}_0 \big) &=&   {\rm Var} \big(  N^{(1)}_t  \mid {\cal F}_0 \big)
    \big( 1 + 2\check{\rho}_t \alpha_t + \alpha_t^2 \big)
    \geq {\rm Var}\big(  N^{(1)}_t \mid {\cal F}_0  \big)
    \big( 1 -  2\overline{\rho}  \alpha_t + \alpha_t^2 \big)   \\
    &\geq&      {\rm Var}\big(  N^{(1)}_t  \mid {\cal F}_0 \big)
    \big( 1 -  \overline{\rho}^2 \big) = {\rm Var}\big( E^{\rm BS}_t \mid {\cal F}_0 \big) ,
\ean
which proves the desired result.

If we assume that ${\cal A} (t,x) - \partial_x Q^{(0)}_t(x)$ is smaller than $\sqrt{\varepsilon}$,
then we easily find that
$
E^*_t  =
 P(0,X_0) +
 N^{(1)}_t  +o(\sqrt{\varepsilon}) ,
 $
and therefore
$ {\rm Var}\big( E^*_t  \mid {\cal F}_0 \big)
=
 {\rm Var}\big(  N^{(1)}_t  \mid {\cal F}_0 \big) $
 up to terms of order $o({\varepsilon})$.

If we assume that ${\cal A} (t,x) - \partial_x Q^{(0)}_t(x)$ is  larger than $\sqrt{\varepsilon}$:
$$
 {\cal A} (t,x) = \partial_x Q^{(0)}_t(x) + {\varepsilon}^p  {\cal A}_1 (t,x) ,
 $$
 with $p\in [0,1/2)$,
then
$$
E^*_t  =
 P(0,X_0) +  \hat{N}_t +o( {\varepsilon}^p) ,
 $$
with
$$
 \hat{N}_t  = \varepsilon^p
  \int_0^t  \hat{\cal A}_s(X_s) \sigma_s^\varepsilon dW^*_s  ,\quad \quad  \hat{\cal A}_s(x) =
- {\cal A}_1(s,x) x .
$$
We then have
\begin{align*}
\mathbb{E} \big[ (N^{(1)}_t)^2 \mid {\cal F}_0 \big]   =O( \varepsilon) , \quad \quad
\mathbb{E} \big[ (\hat{N}_t)^2 \mid {\cal F}_0 \big]
=  \bar{\sigma}^2 \varepsilon^{2p} \mathbb{E}\Big[ \int_0^t \hat{\cal A}_s(X_s)^2 ds \mid {\cal F}_0\Big] (1 + o(1)) ,
\end{align*}
which shows that
$$
    {\rm Var}\big( E^*_t  \mid {\cal F}_0 \big) =
     {\rm Var}\big(  \hat{N}_t  \mid {\cal F}_0 \big)  (1+o(1)) \gg
     {\rm Var}\big(  N^{(1)}_t  \mid {\cal F}_0 \big)  \geq {\rm Var}\big( E^{\rm BS}_t \mid {\cal F}_0 \big) .
$$

For completeness (and to prove the last inequality in (\ref{eq:main})),
we also remark that, by using Eq.~(\ref{eq:pareff}) and Lemma \ref{lem:K2}, we have
   \ban
    |\overline{\rho}|    = \frac{|\rho|}{\bar\sigma} \
     \lim_{\varepsilon \to 0}    \frac{\mathbb{E}\left[ \vartheta^\varepsilon_t \sigma_t^\varepsilon \right] }
     {\sqrt{ \mathbb{E}\left[  (\vartheta^\varepsilon_t )^2\right]}}    \leq
        |\rho|  \frac{1}{\bar\sigma}   \lim_{\varepsilon \to 0}
          \sqrt{ \mathbb{E}\left[ ( \sigma^\varepsilon_t  )^2\right]}  = |\rho| .
\ean
\end{proof}

\section{ {Numerical Illustration and Robustness}} \label{sec:sim}

We illustrate  the performance of the different hedging schemes numerically.
We consider the case of a European call.
Recall that we here define the implied volatility by
 $\sigma(t,x)$ solving
\begin{equation}
\label{def:impliedvolII}
P(t,x ) =  Q^{(0)}(t,x;\sigma(t,x))  \,
\end{equation}
where   $P(t,x)$  is  the corrected price:
\begin{equation}
\label{eq:PcorrectedII}
   P(t,x )
    =  Q^{(0)}(t,x; \bar\sigma) +
   D(T-t) \big( x \partial_x  (x^2 \partial_x^2 ) \big) Q^{(0)}(t,x;\bar\sigma) ,
\end{equation}
and where  $\bar\sigma$ is the  historical volatility and $Q^{(0)}$  is the  standard Black-Scholes price.

In the call case  the hedging deltas are explicitly given by

--The ``historical'' (H) delta:
\ba\label{eq:da}
 \delta^{\rm H}(t,x)  & = & \partial_x   Q^{(0)}(t,x;  \bar\sigma )     =   {\cal N}(d_+) ,
 \ea
 for  ${\cal N}$ the cumulative normal distribution.

 -- The  Black-Scholes (BS) or practitioners delta:
 \ba\label{eq:dc}
  \delta^{\rm BS}(t,x)    & = & \partial_x
  Q^{(0)}(t,x;\sigma)|_{\sigma=\sigma(t,x)} =  \delta^{\rm H}(t,x)   +  {\cal D}  \frac{  d_{_-}^2  \exp(-d_{_-}^2/2) }{x \sqrt{\tau} }  ,
  \ea
  for  ${\cal D}$ the hedging parameter which in terms of the underlying parameters  has the representation:
  \ba\label{eq:Dh}
    {\cal D}  =     \frac{  \sqrt{\varepsilon} \rho \bar{D}  K}{  \sqrt{2\pi} \bar\sigma^2  } ,
  \ea
 and with notation:
\begin{equation*}
   d_{_{\pm}} = \frac{\log(X_0/K)}{\sqrt{\tau}}    \pm \frac{\sqrt{\tau}}{2}  ,
  \quad \quad \tau = \bar\sigma^2(T-t) .
\end{equation*}

 --The  Hull-White (HW) delta:
\ba\label{eq:db}
 \delta^{\rm HW}(t,x)  & = & \partial_x   P(t,x )  =  \delta^{\rm H}(t,x)   +  {\cal D}  \frac{ (d_{_-}^2-1)   \exp(-d_{_-}^2/2) }{x \sqrt{\tau} }   ,
 \ea
with  ${\cal D}$  defined as in Eq. (\ref{eq:Dh}).

The model for the  underlying and the volatility is the expfOU model  introduced in Section \ref{sec:expou}:
 \ban
&& dX_t  =  X_t   \sigma_t^\varepsilon    dW^*_t  ,   \quad  \quad
 \sigma_t^\varepsilon    =    \bar\sigma \exp \Big(  \frac{\omega Z_t^\varepsilon}{\sigma_{\rm z}}  - \omega^2\Big) ,
 \ean
 for $Z_t^\varepsilon$ a fractional Ornstein-Uhlenbeck process with rate of mean reversion $\varepsilon$
  and Hurst parameter $H$, that is, a  scaled Gaussian process with representation
   \begin{equation*}
\label{eq:ZgenII}
Z^\varepsilon_t = \sigma_{\rm z} \int_{-\infty}^t {\cal K}^\varepsilon(t-s) dW_s,
\end{equation*}
 where    $W_t, W^*_t$  are standard Brownian motions   with correlation coefficient $\rho$
  under the  historical  measure  and where the kernel
${\cal K}^\varepsilon$ is discussed in Section \ref{sec:svmodel}.
  Recall  that here we assume that the drift in the price is vanishingly
small so that the price is a martingale under the historical measure.

The hedging cost with the volatility fluctuations is:
$$
  E^{\rm C}_T  = h(X_T) - \int_0^T \delta^{\rm C}(s,X_s)  dX_s  , \quad {\rm C}={\rm H},{\rm BS},{\rm HW} .
$$
We simulate many independent price trajectories $(X_s)_{    0  \leq s \leq  T}$ using a spectral approach
and compute the associated hedging costs.
We  then define the  relative risk in the hedging cost by:
\ba\label{eq:Hc}
      C^{\rm C}(T,x_0) =   \frac{St.Dev [ E^{\rm C}_T ] }{ Q^{(0)}(T,x_0;\bar\sigma)   }   ,
\ea
where the standard deviation is with respect to the simulated paths.
The approach to calibration we take here is that we assume that  historical price  paths are available
and we choose the hedging parameter ${\cal D}$ as the one that minimizes (BS) hedging risk (to evaluate the risk of the (BS) hedging cost)
or the one  that minimizes  the (HW) hedging risk  (to evaluate the risk of the (HW) hedging cost).

In Figure \ref{fig_hedgecost} we show the hedging cost risk as a function of moneyness parameter  $x/K$ with $K$ the call strike.
We use the parameters $T=1$,
$\varepsilon=.05$, $\bar\sigma=.5$, $\omega=.5$,  and $\rho=-.5$. Thus we consider a rapidly mean  reverting  volatility factor
and a strong leverage.   Note that indeed the (BS) scheme is the optimal approach for all considered values of the
moneyness, while the (HW) scheme performs approximately as the (H) scheme.

Figure \ref{fig_hedgecostslow}  corresponds to Figure  \ref{fig_hedgecost}  only that $\varepsilon=1$ so that we are not in the rapidly mean reverting
regime. All schemes are then associated with approximately the same risk. Thus, even though we use
the (BS) hedging scheme outside of its regime of optimality  it  performs as well as the classic (H) scheme.

Figures  \ref{fig_hedgecostrough}  and \ref{fig_hedgecostroughslow} correspond to Figures
   \ref{fig_hedgecost}  and  \ref{fig_hedgecostslow}  only that here $H=.1$, which means that we consider
   a rough volatility regime. It is interesting to note that the reduction of the hedging cost uncertainty
   by the (BS) scheme is larger than in the classic Markovian case (Figure \ref{fig_hedgecostrough}).
   It is all the more advantageous to use the (BS) scheme as the volatility is rougher.
   This advantage is still noticeable even when $\varepsilon=1$ (Figure \ref{fig_hedgecostroughslow}).

\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=6.8cm]{fig_hedgecost.eps}
\end{tabular}
\end{center}
\caption{      \label{fig_hedgecost}
{ The figure  shows the relative hedging cost uncertainty defined in Eq.~(\ref{eq:Hc}). The solid, dashed and dotted lines correspond to
the (H), (BS) and (HW) schemes respectively.
 For all considered values of the moneyness  the (BS) scheme has the smallest risk.
The figure corresponds to a rapidly mean reverting and Markovian volatility factor:  $H=1/2$ and  $\varepsilon=.05$.
The hedging parameter  is optimized so as to minimize the mean cost uncertainty over moneyness and realizations for the (BS) scheme
(${\cal D}=-.010$), respectively the (HW) scheme   (${\cal D}=-.005$).
The theoretical parameter in   Eq.  (\ref{eq:Dh})  is  ${\cal D}=-.014$  (this theoretical value derives from the classic
delta definitions in the  fast mean reversion regime and is not optimized with respect to hedging risk).
  } }

\end{figure}
\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=6.8cm]{fig_hedgecostslow.eps}
\end{tabular}
\end{center}
\caption{      \label{fig_hedgecostslow}
{ The figure  shows the relative hedging cost uncertainty defined in Eq.~(\ref{eq:Hc}). The solid, dashed and dotted lines correspond to
the (H), (BS) and (HW) schemes respectively.
The hedging cost is almost identical for the 3 hedging schemes.
The figure corresponds to a slowly  mean reverting and Markovian volatility factor:  $H=1/2$ and $\varepsilon=1$.
The hedging parameter is optimized  as in Figure \ref{fig_hedgecost}.
 } }

\end{figure}
\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=6.8cm]{fig_hedgecostrough.eps}
\end{tabular}
\end{center}
\caption{      \label{fig_hedgecostrough}
{ The figure  shows the relative hedging cost uncertainty defined in Eq.~(\ref{eq:Hc}). The solid, dashed and dotted lines correspond to
the (H), (BS) and (HW) schemes respectively.   For all considered values of the moneyness  the (BS) scheme has the smallest risk
and the relative gain is larger than in the  Markovian case illustrated  in Figure \ref{fig_hedgecost}.
The figure corresponds to a rapidly mean reverting and non-Markovian volatility factor:  $H=.1$  and $\varepsilon=.05$.
The hedging parameter is optimized  as in Figure \ref{fig_hedgecost}.
 } }
\end{figure}
\begin{figure}
\begin{center}
\begin{tabular}{c}
\includegraphics[width=6.8cm]{fig_hedgecostroughslow.eps}
\end{tabular}
\end{center}
\caption{      \label{fig_hedgecostroughslow}
{ The figure  shows the relative hedging cost uncertainty defined in Eq.~(\ref{eq:Hc}). The solid, dashed and dotted lines correspond to
the (H), (BS) and (HW) schemes respectively.   We can still observe that the (BS) scheme is optimal.
The figure corresponds to a slowly  mean reverting rough  volatility factor:  $H=.1$ and  $\varepsilon=1$.
The hedging parameter is optimized  as in Figure \ref{fig_hedgecost}.
 } }
\end{figure}

\section{Conclusions}
\label{sec:concl}

Classic price replicating delta hedging strategies are important in hedging practice.
We present here a novel analysis of the extra hedging cost associated
with such schemes that follows from a stochastic volatility situation and
thus an incomplete market context.
 We model the volatility as a stationary stochastic process that is rapidly
 mean-reverting relative to the diffusion time of the underlying.
 Specifically, the volatility  is a smooth function of a Volterra type Gaussian process
(an integral  of a standard Brownian motion with respect to a deterministic integral kernel).
 We incorporate leverage in our modeling so that the Brownian motion driving
 the volatility is correlated with the Brownian motion driving the underlying.

In this context we identify the correction to the price that is
produced by the stochastic volatility. The two market parameters that
determine this correction are the {\it effective volatility} or root mean square
volatility and a  {\it market pricing parameter}. The hedging cost incurred due to the
stochastic nature of the volatility  is characterized by a  Vega risk  martingale.
The amplitude of this  martingale is proportional to a {\it market risk parameter}  that needs to be
calibrated to the market in order to quantify the hedging cost (mean and variance).
This market risk parameter cannot be identified from
the implied volatility skew.

   We consider specifically hedging of a European call option and then we
   get explicit expressions for the hedging cost.
We consider a large class of hedging schemes
 that we call dynamic asset (DA) based hedging schemes which
are based on replicating portfolios  made of some number of underlyings
  and some amount in the bank account,
 so that the class in particular contains all delta hedging strategies.
 We find that  in this class the optimal scheme
    is the (BS) scheme, where the delta is the Black-Scholes delta when evaluated at the
    implied volatility, the so-called   ``practitioners delta''.
All the hedging schemes  that we consider can be implemented
      without knowledge of the market  risk parameter, only the quantitative evaluation of the hedging cost requires
      the knowledge of the market  risk parameter.
           In the case of no leverage, the market pricing parameter referred to above
      is zero, all schemes coincide, and the hedging cost is determined by
      the  Vega risk martingale.  For general leverage and
       for each choice of delta  we identify
      the  {\it hedging risk surface} which  characterizes
       the variance of the cost.
        {
Monte Carlo simulations make it possible to assess the performances of the hedging
schemes, in particular the optimal (BS) scheme.
They reveal that the performance gain obtained when using the (BS) scheme
is larger for rough volatility factors than with classic Markovian  volatility factors.
A second  observation that follows from this study is that
the (BS) scheme is robust with respect to the
assumption of rapid mean reversion. It is robust  in the sense that it performs
as good as the delta of the Black-Scholes price at the historical volatility or other (DA) strategies
when the mean reversion time is of the same order as the time to maturity.
 }

Note that we have assumed a smooth and bounded payoff in the proofs of our results,
although the formulas can be applied with a more general payoff.
The proofs for nonsmooth payoff functions are more involved than the corresponding ones dedicated to pricing
as presented in  \cite{sv1},  they should involve a payoff regularization
scheme and they will be presented elsewhere.

Finally, we remark that we have considered a simplified market situation.
In order to capture a more general market context other effects, like
transaction cost, discreteness, market price of volatility risk and non-zero interest rate  and
price drift need to
be taken into account.
 {Here, we wanted to characterize in a rigorous way
the effect  of market  incompleteness in the simple albeit practically important
context of delta hedging schemes  leaving for future work
more sophisticated hedging schemes incorporating in particular other derivatives  \cite{EE18}.    }

\section*{Acknowledgements}
  This research  has been  supported in part by

 Centre Cournot, Fondation Cournot, and
 Universit\'e Paris Saclay (chaire d'Alembert).