In this post, we consider stochastic clocks whose instantaneous rate of activity follows a square root process. We present all intermediate steps in the derivation of the characteristic function of the corresponding time change. The corresponding steps closely resemble those in the derivation of the zero-coupon bond price in the Cox et al. (1985) model for the short-term interest rate.
In a previous post we introduced the general concept of stochastic clocks. Here, we consider the case where the instantaneous rate of activity process has the dynamics
      ![Rendered by QuickLaTeX.com \[ \mathrm{d}y_t = \kappa \left( \eta - y_t \right) \mathrm{d} t + \lambda \sqrt{y_t} \mathrm{d}W_t, \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-0703c5680e2eadc4b3eb2b8b40a9705a_l3.png)
where  is a standard one-dimensional Brownian motion and
 is a standard one-dimensional Brownian motion and  are constants. The corresponding time-change is given by
 are constants. The corresponding time-change is given by
      ![Rendered by QuickLaTeX.com \[ Y(t, T) = \int_t^T y_u \mathrm{d}u. \nonumber \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-392147526eb38f8e5465e373091cce58_l3.png)
Laplace Transform of the Time-Change
We fix a  and start by computing the Laplace transform
 and start by computing the Laplace transform
      ![Rendered by QuickLaTeX.com \[ \mathcal{L} \left\{ Y(t, T) \right\} (\alpha) = \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_t^T y_u \mathrm{d}u \right\} \right| \mathfrak{F}_t \right]. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-794f363cff7b4b36a38b9e81370e50b7_l3.png)
When  , we recognize this as the time
, we recognize this as the time  price of a zero-coupon bond with maturity in
 price of a zero-coupon bond with maturity in  in the Cox et al. (1985) model; see e.g. Musiela and Rutkowski (2005). Since solutions to stochastic differential equations have the Markov property, it follows that
 in the Cox et al. (1985) model; see e.g. Musiela and Rutkowski (2005). Since solutions to stochastic differential equations have the Markov property, it follows that
      ![Rendered by QuickLaTeX.com \[ \mathcal{L} \left\{ Y(t, T) \right\} (\alpha) = \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_t^T y_u \mathrm{d}u \right\} \right| \sigma \left( y_t \right) \right], \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-1116df6ed81f0d13a382742ba3f260ba_l3.png)
where  is the
 is the  -algebra generated by
-algebra generated by  . Now, since
. Now, since  is adapted to the filtration
 is adapted to the filtration  , it follows that there exists a function
, it follows that there exists a function ![Rendered by QuickLaTeX.com f: [0, T] \times \mathbb{R}_+](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-f5e68e0d4e0f38ac62e8d4129f9f13fc_l3.png) such that
 such that  .
.
Note that for ![Rendered by QuickLaTeX.com s \in [0, t]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-2a657d0b6d4fa665ddb8620c6b8e6a8e_l3.png) , we have
, we have
      ![Rendered by QuickLaTeX.com \begin{eqnarray*} & & \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_0^t y_u \mathrm{d}u \right\} f \left( t, y_t; \alpha \right) \right| \mathfrak{F}_s \right]\\ & = & \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_0^t y_u \mathrm{d}u \right\} \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_t^T y_u \mathrm{d}u \right\} \right| \mathfrak{F}_t \right] \right| \mathfrak{F}_s \right]\\ & = & \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_0^T y_u \mathrm{d}u \right\} \right| \mathfrac{F}_s \right]\\ & = & \exp \left\{ -\alpha \int_0^s y_u \mathrm{d}u \right\} \mathbb{E} \left[ \left. \exp \left\{ -\alpha \int_s^T y_u \mathrm{d}u \right\} \right| \mathfrac{F}_s \right]\\ & = & \exp \left\{ -\alpha \int_0^s y_u \mathrm{d}u \right\} f \left( s, y_s; \alpha \right) \end{eqnarray*}](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-23f8fa5f9c4288720133723520962288_l3.png)
It follows that the process  defined as
 defined as
      ![Rendered by QuickLaTeX.com \[ X_t = \exp \left\{ -\alpha \int_0^t y_u \mathrm{d}u \right\} f \left( t, y_t; \alpha \right). \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-29447d45949273388c5a78d22f040e1b_l3.png)
 is a  -martingale. Using the Itō product rule, we find that its differential is given by
-martingale. Using the Itō product rule, we find that its differential is given by
      
Here, we used that the first factor of  is a process of bounded variation. Furthermore, we assume that
 is a process of bounded variation. Furthermore, we assume that  so that the Itō formula can be applied. It follows from the martingale property that the drift term in the above differential has to vanish. We obtain the PDE
 so that the Itō formula can be applied. It follows from the martingale property that the drift term in the above differential has to vanish. We obtain the PDE
      ![Rendered by QuickLaTeX.com \[ \frac{\partial f}{\partial t} + \kappa (\eta - y) \frac{\partial f}{\partial y} + \frac{1}{2} \lambda^2 y \frac{\partial^2 f}{\partial y^2} - \alpha y f(t, y; \alpha) = 0 \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-a2e3992ee2c08b7148ac807257761949_l3.png)
with terminal condition  for all
 for all  . We postulate a solution of the form
. We postulate a solution of the form
      ![Rendered by QuickLaTeX.com \[ f(t, y; \alpha) = \exp \left\{ m(t, T) - \alpha y n(t, T) \right\} \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-9da2d58b964b6ffd1e8eab09aa6c5935_l3.png)
where
      
We also require that  such that
 such that  for all
 for all  and the terminal condition is satisfied. Substituting into the PDE yields
 and the terminal condition is satisfied. Substituting into the PDE yields
      
Here, the second step follows from  being strictly positive. Since this PDE has to hold for all values of
 being strictly positive. Since this PDE has to hold for all values of  , the term that multiplies it has to be equal to zero and we obtain the first ODE
, the term that multiplies it has to be equal to zero and we obtain the first ODE
      ![Rendered by QuickLaTeX.com \[ n_t(t, T) = \kappa n(t, T) + \frac{1}{2} \lambda^2 \alpha n^2(t, T) - 1 \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-e25a7f88b1eea322037c368cf74b9216_l3.png)
with terminal condition  . Setting this term equal to zero in the original PDE yields the second ODE
. Setting this term equal to zero in the original PDE yields the second ODE
      ![Rendered by QuickLaTeX.com \[ m_t(t, T) = \alpha \kappa \eta n(t, T) \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-d6e590703d0d8ffed44e20c4d6ee39a3_l3.png)
with terminal condition  .
.
Solving the ODEs
The first ODE is of the Riccati type and can thus be simplified using the standard transformations for this class. We start by defining
      ![Rendered by QuickLaTeX.com \[ a(t, T) = \frac{1}{2} \lambda^2 \alpha n(t, T) \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-3f3bbd548aaf3f3c943b346d7149dcab_l3.png)
such that
      ![Rendered by QuickLaTeX.com \[ a_t(t, T) = \frac{1}{2} \lambda^2 \alpha n_t(t, T) \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-5481fb96570fa0fdf4de8a70f85ec170_l3.png)
and get
      ![Rendered by QuickLaTeX.com \[ a_t(t, T) = a^2(t, T) + \kappa a(t, T) - \frac{1}{2} \lambda^2 \alpha. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-52105bb167a40c4a90e8b45a398bde7a_l3.png)
We now set
      ![Rendered by QuickLaTeX.com \[ a(t, T) = -\frac{b_t(t, T)}{b(t, T)} \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-031564e06ae18e7c9cc5c8490c60d6d7_l3.png)
such that
      
and get
      
or
      ![Rendered by QuickLaTeX.com \[ b_{tt}(t, T) = \kappa b_t(t, T) + \frac{1}{2} \lambda^2 \alpha b(t, T). \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-3d8633c7e9c6ff2dff448182823a1ca7_l3.png)
This is a homogeneous second order linear ODE with constant coefficients and can be solved using standard methods. We note that  has been fixed and make another substitution by defining
 has been fixed and make another substitution by defining  such that
 such that  with
 with  and
 and  . We get
. We get
      ![Rendered by QuickLaTeX.com \[ c_{\tau \tau}(\tau) + \kappa c_\tau(\tau) - \frac{1}{2} \lambda^2 \alpha c(\tau) = 0. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-05567298e3f2b5f0da02499e79eca3c2_l3.png)
The characteristic equation is
      ![Rendered by QuickLaTeX.com \[ r^2 + \kappa r - \frac{1}{2} \lambda^2 \alpha = 0 \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-d39b133bac08567e20802b15e4657f11_l3.png)
with roots
      ![Rendered by QuickLaTeX.com \[ r_{1, 2} = -\frac{1}{2} \kappa \pm \frac{1}{2} \sqrt{\kappa^2 + 2 \lambda^2 \alpha} := \beta \pm \gamma. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-186109abe4edc64f7d0e14f3f7f32204_l3.png)
We thus have the general solution
      ![Rendered by QuickLaTeX.com \[ c(\tau) = c_1 e^{(\beta + \gamma) \tau} + c_2 e^{(\beta - \gamma) \tau} \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-52a718c107b9b56c5655d21991988a06_l3.png)
with
      ![Rendered by QuickLaTeX.com \[ c_\tau(\tau) = (\beta + \gamma) c_1 e^{(\beta + \gamma) \tau} + (\beta - \gamma) c_2 e^{(\beta - \gamma) \tau} \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-fc0fbc0727fe8fbacb5fce43e69f4449_l3.png)
and for some constants  and
 and  to be determined. We obtian the solution to the Riccati ODE by back substituting
 to be determined. We obtian the solution to the Riccati ODE by back substituting
      ![Rendered by QuickLaTeX.com \[ n(t, T) = \frac{2 a(t, T)}{\lambda^2 \alpha} = -\frac{2 b_t(t, T)}{\lambda^2 \alpha b(t, T)} = \frac{2 c_\tau(\tau)}{\lambda^2 \alpha c(\tau)}. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-0b54adfe2a83fb789f56b02015d6d23f_l3.png)
By the terminal condition  , it follows that
, it follows that
      ![Rendered by QuickLaTeX.com \[ n(T, T) = 0 \qquad \Leftrightarrow \qquad c_\tau(0) = 0 \qquad \Leftrightarrow \qquad c_1 = -c_2 \frac{\beta - \gamma}{\beta + \gamma}. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-de9dc9adbccad8b6ba1d27d9cc2b175c_l3.png)
Thus,
      
and
      
We get
      
To solve for  , we first note that
, we first note that
      ![Rendered by QuickLaTeX.com \[ m_\tau(t, T) = -\alpha \kappa \eta n(t, T) \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-ad04ed26b66250b4685e6d4d18077c8a_l3.png)
which can be solved by integration
      
By the terminal condition  , it follows that
, it follows that  and we get
 and we get
      
Putting Everything Together
Putting everything together, we find that the Laplace transform of the integrated time-change is given by
      ![Rendered by QuickLaTeX.com \[ \mathcal{L} \left\{ Y(t, T) \right\} (\alpha) = \frac{\exp \left\{ \kappa^2 \eta \tau / \lambda^2 - 2 \alpha y_t / (2 \gamma \coth(\gamma \tau) + \kappa) \right\}}{\left( \cosh(\gamma \tau) + \kappa \sinh(\gamma \tau) / (2 \gamma) \right)^{2 \kappa \eta / \lambda^2}}. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-bc261b393fb2519b35eb7de2a71a4c77_l3.png)
The characteristic function of  is
 is
      ![Rendered by QuickLaTeX.com \[ \phi_{Y_t}(\omega) = \frac{\exp \left\{ \kappa^2 \eta t / \lambda^2 - 2 \mathrm{i} \omega y_0 / (2 \gamma \coth(\gamma \tau) + \kappa) \right\}}{\left( \cosh(\gamma \tau) + \kappa \sinh(\gamma \tau) / (2 \gamma) \right)^{2 \kappa \eta / \lambda^2}}, \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-15800daff787acb2255587eaf53d0813_l3.png)
where
      ![Rendered by QuickLaTeX.com \[ \gamma = \frac{1}{2} \sqrt{\kappa^2 - 2 \mathrm{i} \omega \lambda^2}. \]](http://www.matthiasthul.com/wordpress/wp-content/ql-cache/quicklatex.com-13ebe85c6e0bd449af9c05f3c0caa4c3_l3.png)
This expression is equivalent to the ones given in Carr et al. (2003) and Schoutens (2003), who both define  slightly differently.
 slightly differently.
References
Carr, Peter, Hélyette Geman, Dilip B. Madan, and Marc Yor (2003) “Stochastic Volatility for Lévy Processes”, Mathematical Finance, Vol. 13, No. 3, pp. 345-382
Cox, John C., Jonathan Ingersoll Jr., and Stephen A. Ross (1985) “A Theory of the Term Structure of Interest Rates”, Econometrica, VOl. 53, No. 2, pp. 385-407
Musiela, Marek and Marek Rutkowski (2005) Martingale Methods in Financial Modelling: Springer
Schoutens, Wim (2003) Lévy Processes in Finance: John Wiley & Sons
