Bulletin of TICMI Vol. 2, No. 2, 26, 24 36 Stochastic Integral Representation of One Stochastically Non-smooth Wiener Functional Hanna Livinska a and Omar Purtukhia b a Taras Shevchenko National University of Kyiv, 6 Volodymyrska St., 6, Kyiv, Ukraine; b Iv. Javakhishvili Tbilisi State University, 2 University St., 86, Tbilisi, Georgia (Received September 9, 26; Revised November 29, 26; Accepted December 9, 26) In this paper we obtain the Clark-Ocone s stochastic integral representation formula with explicit form of integrand in case, when path-dependent Wiener functional is not stochastically (in Malliavin sense) smooth. To achieve this aim, we check that the conditional mathematical expectation of the considered functional is stochastically smooth, and apply the generalization of the Clark-Ocone s formula, obtained by us earlier. Keywords: Wiener functional, stochastic derivative, Clark s integral representation formula, Clark-Ocone s formula. AMS Subject Classification: 6H7, 6H3, 62P5. Introduction It is well-known from Ito s calculus, that the stochastic integral (as process) from a square integrable adapted process is a square integrable martingale. The answer to the inverse question: is it possible to represent the square integrable martingale adapted to the natural filtration of Wiener process, as the stochastic integral given by the well-known Clark formula ([]). In particular, let W t (t [, T ]) be a standard Wiener process and I W t is a natural filtration generated by this Wiener process. If F is a square integrable I W t -measurable random variable, then there exist a unique I W t -adapted square integrable in L 2 ([, T ]) random process ψ t such that T F EF + ψ t dw t. The representation of functionals of Wiener process by the stochastic integral, also known as the martingale representation, was studied by several authors. Martingale representation theorems (including Girsanovs measure transformation theorem) are widely known to play essentially important role in modern financial mathematics ([2]). Karatzas and Ocone ([3]) have shown how to use Ocone- Haussmann-Clark formula in financial mathematics, in particular for constructing hedging strategies in the complete financial markets driven by Wiener process. Corresponding author. Email: o.purtukhia@gmail.com
Vol. 2, No. 2, 26 25 Since that time interest to Malliavin calculus has been significantly increasing. Therefore developing of the theory has intensively begun together with looking for the new sphere of its applications ([4]). Among them the applications in mathematical statistics are especially important (regularity of density, hypothesis testing). At the same time, finding of explicit expression for ψ t is a very difficult problem. In this direction, is known one general results, which is called Ocone-Clark formula (5), according to which ψ t E(D t F I W t ), where D t is so called Malliavin stochastic derivative. But, on the one hand, here the stochastically smoothness of considered functional is required and on the other hand, even in case of smoothness, calculations of Malliavin derivative and conditional mathematical expectation are rather difficult. Absolutely different method for finding of ψ t was offered by Shyriaev, Yor and Graversen ([6], [7]). This method was based on using Ito s (generalized) formula and Levy s theorem for Levy s martingale m t E(F I W t ) associated with F. Our approach (see, Jaoshvili, Purtukhia [8]) within the classical Ito s calculus allows to construct ψ t explicitly by using both the standard L 2 theory and the theories of weighted Sobolev spaces, in case when the functional F has no stochastic derivative (in particular, the class of functionals considered by us includes, for example, the functional F I WT >K which is not stochastically differentiable). Later, we (with prof. O. Glonti [9]) considered the case when the functional F is stochastically non-smooth, but from Levy s martingale associated with it one can select a stochastically smooth subsequence and in this case we have offered the method for finding the integrand. It is known, that if the random variable is stochastically differentiable (in Malliavin sense), then conditional mathematical expectation of this variable is stochastically differentiable as well ([]). In particular, if F D 2,, then E(F I W s ) D 2, and D t [E(F I W s )] E(D t F I W s )I [,s] (t), where D 2, denotes the Hilbert space which is the closure of the smooth Wiener functionals class with corresponding (Sobolev type) norm (see below). We generalized ([9]) Clark-Ocone formula for the case, when the functional is not stochastically smooth, but its conditional mathematical expectation is smooth (for example, F I WT >K / D 2,, but E(F I W t ) Φ( K Wt T t ) D 2, for all t [, T ), where Φ( ) is the standard normal distribution function). In this paper we consider a path-dependent Wiener functional F (W T K) I WT B which isn t stochastically smooth (here and bellow W t min s t W s). For this functional the stochastic integral representation formula with the explicit form of integrand is obtained. With this aim in mind we find the conditional density function of joint distribution low of Wiener process and its minimum process under the given value of Wiener process, calculate the conditional mathematical expectation of the considered functional, check if it is stochastically smooth and apply abovementioned generalization of the Clark-Ocone s formula. Note that this functional is a typical example of payoff function of so called European barrier and lookback 2 The barrier option is either nullified, activated or exercised when the underlying asset price breaches a barrier during the life of the option. 2 The payoff of a lookback option depends on the minimum or maximum price of the underlying asset attained during certain period of the life of the option.
26 Bulletin of TICMI Options. Hence, the stochastic integral representation formula obtained here could be used to compute the explicit hedging portfolio of such barrier and lookback option. 2. Auxiliary results On the probability space (Ω, I, P ) the standard Wiener process W (W t ), t [, T ] is given and (I W t ), t [, T ], is the natural filtration generated by the Wiener process W. We consider functionals of the Wiener process, i.e. the random variables that are I W T -measurable. The derivative (see []) of a smooth random variable F of the form F f(w (h ),..., W (h n )), f C p (R n ), h i L 2 ([, T ]) is the stochastic process D t F given by D t F n i f x i ((W (h ),..., W (h n ))h i (t) (where W (h i ) T h i(t)dw t ). D is closable as an operator from L 2 (Ω) to L 2 (Ω; L 2 ([, T ])). We will denote its domain by D 2,. That means, D 2, is equal to the adherence of the class of smooth random variables with respect to the norm F 2, F L2(Ω) + DF L2(Ω;L 2([,T ])). Proposition 2.: Let ψ : R m R be a continuously differentiable function with bounded partial derivatives. Suppose that F (F,..., F m ) is a random vector whose components belong to the space D 2,. Then ψ(f ) D 2,, and D t ψ(f ) m i x i ψ(f )D tf i. (see, [], Proposition.2.3.). Let p(u, t, W u, A) be the transition probability of the Wiener process W, i.e. P [W t A W u ] p(u, t, W u, A), where u t, A is a Borel subset of R and p(u, t, x, A) 2π(t u) A (y x)2 exp 2(t u) dy. For the computation of conditional mathematical expectation below we use the well-known statement: Proposition 2.2: For any bounded or positive measurable function f we have the relation E[f(W t ) W u ] f(y)p(u, t, W u, dy) (P a.s.). R
Vol. 2, No. 2, 26 27 Theorem 2.3 : Suppose that g t E[F I W t ] is Malliavin differentiable (g t ( ) D 2, ) for almost all t [, T ). Then we have the stochastic integral representation T g T F EF + ν u dw u (P a.s.), where (see, [9], Theorem ]). ν u lim t T E[D u g t I W u ] in the L 2 ([, T ] Ω) Let L 2 ([, T ]) L 2 ([, T ], B([, T ]), λ) (where λ is the Lebesgue measure). We denote by L 2,T the set of measurable functions u : R R, such that u( )ρ(, T ) L 2 : L 2 (R, B(R), λ), where ρ(x, T ) exp x2 2T. Theorem 2.4 : Let a function f L 2,T/α, < α <, and it has the first order generalized derivative f/ x, such that f/ x L 2,T/β, < β < /2. Then the following stochastic integral representation holds T [ f f(w T ) Ef(W T ) + E x (W T ) I W t ] dw t (see, [8], Theorem 2]). Proposition 2.5: The joint conditional distribution density (t > s, y, y x) can be express as follows f Wt,W t W sz 2 P W t x, W t y W s z x y f Wt,W t W sz 2 z) exp 2π(t s) 3. () Proof : (Proof of Proposition 2.5.) It s clear that if x < y or y > then W t x w t y and the conditional joint distribution function of W t and W t under given W s z is independent from y : P W t x, W t y W s z P W t x W s z Hence, in this case P W t W s x z W s z P W t W s x z. f Wt,W t W sz 2 P W t W s x z x y.
28 Bulletin of TICMI and Suppose now that y x and y. According to the elementary relations we have W t W s min s<l t W l (W s min s<l t W l) W s (W s W s ) ( min s<l t W l W s ), P W t x, W t y W s z, W s u P W t x, W s min s<l t W l y W s z, W s u P W t W s x z, (u min s<l t W l) W s y z W s z, W s u P W t W s x z, (u W s ) min s<l t (W l W s ) y z W s z, W s u. Hence, due to the equality P AB C P A C P AB C, using properties of the Wiener process and conditional probability, one can easily see that (u > y) P W t x, W t y W s z, W s u P W t W s x z W s z, W s u P W t W s x z, (u W s ) min s<l t (W l W s ) > y z W s z, W s u P W t W s x z P W t W s x z, u z > y z, min s<l t (W l W s ) > y z W s z, W s u P W t W s x z
Vol. 2, No. 2, 26 29 P W t W s x z, min s<l t (W l W s ) > y z W s z, W s u P W t W s x z P W t W s x z, min s<l t (W l W s ) > y z P W t W s x z, min s<l t (W l W s ) y z. (2) Let us define a new Wiener process W θ, θ [, t], as follows W θ W t W t θ. It is evident that W t W l W t l and therefore min (W l W s ) min (W l W s ) min W l s min W l s W (t s). s<l t s l t s l t l s t s On the other hand, basing on the expressions for distribution law of minimum process W t and for joint distribution low of W t and W t (see, for example, [2]), we have: and we conclude: P W t b 2 2πt b P W t > a, W t b 2b a 2πt exp v2 dv, b, 2t exp v2 dv, b min(a, ), 2t P W t a, W t b P W t b P W t > a, w t b 2 2πt b exp v2 2t dv 2πt 2b a exp v2 2t dv. Taking into account the last relation, it is possible to rewrite the conditional probability in (2) in the following form: P W t x, W t y W s z, W s u P W t s x z, min s<l t W (t s) y zi u>y y z [2 2π(t s) v2 exp dv 2y x z v2 exp dv].
3 Bulletin of TICMI Therefore, in concordance with properties of the Wiener process and conditional mathematical expectation, we can write P W t x, W t y W s z [E(I Wt x,w t y W s )] Wsz E[E(I Wt x,w t y W s, W s ) W s ] Wsz E[E(I Wt x,w t y W s z, W s u) zws,uw s W s ] Wsz E[P W t x, W t y W s z, W s u zws,uw s W s ] Wsz [ 2 y z E 2π(t s) exp v2 ] Ws dv zws,uw s Wsz [ 2y x z E 2π(t s) exp v2 ] Ws dv zws,uw s Wsz [ 2 y Ws E 2π(t s) exp v2 ] dv W s Wsz [ 2y x Ws E 2π(t s) exp v2 dv W s ] Wsz y z [2 exp v2 2y x z dv exp v2 ] dv. 2π(t s) From this it follows, that 2 x y P W t x, W t y W s z [ exp y 2π(t s) (2y x ] 2 z) exp 2π(t s) 3, that ends the proof of proposition.
Vol. 2, No. 2, 26 3 3. Main result Theorem 3. : For the Wiener functional F (W T K) I WT B (T > t, B, B K) the following stochastic integral representation holds T ( 2B K Wt F EF Φ )dw t, (3) T t where Φ( ) is a standard normal distribution function. Proof : According to the Markov property of the Wiener process and the wellknown properties of conditional mathematical expectation, in accordance with the Proposition 2.2, we have g t E[F I W t ] E[(W T K) I WT B I W t ] E[(W T K) I WT B W t z] zwt [ B K 2 z) (x K) exp 2π(T t) 3 ] dxdy. zwt Using an integration formula in parts in the integral with respect to dx, it is not difficult to see that B K 2 z) (x K) exp 2π(T t) 3 dxdy B K 2π(T t) ( 2(x K)d exp ) dy B 2(x K) exp 2π(T t) K dy B 2 K 2π(T t) exp dxdy B 2 K 2π(T t) exp dxdy. Note, that at the end of calculations we have used the relation: lim x x exp x 2.
32 Bulletin of TICMI Therefore, we conclude that B 2 K g t 2π(T t) exp W t) 2 dxdy. According to Proposition 2., it is not difficult to see that the obtained expression for g t is stochastically differentiable (g t D 2, for all t [, T )). Therefore, basing on the rule of stochastic differentiation of the ordinary integral as well as composite function, we can write D s g t B 2 K 2π(T t) x 2y + W t T t exp W t) 2 I [,t] (s)dxdy. Further, using again the standard technique of integration, we easily obtain that B 2 [ K D s g t 2π(T t) ( d exp W t) 2 )] dyi [,t] (s) B 2 exp 2π(T t) (K 2y + W t) 2 dyi [,t] (s) B exp 2π(T t)/4 (y K/2 W t/2) 2 /4 dyi [,t] (s) Φ,(T t)/4 (B K/2 W t /2)I [,t] (s), where Φ,σ 2( ) is the distribution function of normal distributed random variable N(, σ 2 ) with mean and variance σ 2 respectively (Φ( ) Φ, ( )). As a consequence the elementary relation cn(a, σ 2 ) N(ca, c 2 σ 2 ), we can rewrite the last equalitiy in the following form D s g t Φ,T t (2B K W t )I [,t] (s). Now let us pass to calculation of conditional mathematical expectation of D s g t with respect to σ-algebra I W s. Further, using the Markov property and the transition probabilities of the Wiener process, we have [ E Φ,T t (C W t ) I W s ] [ C Wt E 2π(T t) exp u 2 du I W s ] [ C E exp (u W t) 2 ] du I W s 2π(T t)
Vol. 2, No. 2, 26 33 [ C E exp (u W t) 2 ] du W s 2π(T t) 2π(T t) 2π(t s) [ C exp (u x)2 ] du exp (x W s) 2 dx 2π(T t) 2π(t s) (u x)2 I (,C) (u) exp (x W s) 2 dudx. According to the Fubini s theorem, highlighting the full square in the argument of the exponential function and using the properties of the distribution density function, it is not difficult to see that E[Φ,T t (C W t ) I W s ] 2π(T t) 2π(t s) [ (u x)2 I (,C) (u) exp (x W s) 2 ] dx du 2π(T t) 2π(t s) C [ (u x)2 exp (x W s) 2 ] dx du 2π(T t) 2π(t s) C exp (u W s) 2 2(T s) exp [ x u(t s)+ws(t t) T s 2(T t)(t s) T s ] 2 dx du (T t)(t s) C 2π exp (u W s) 2 2π(T t) 2π(t s) T s 2(T s) du
34 Bulletin of TICMI Thus, we have C 2π(T s) exp (u W s) 2 2(T s) du Φ,T s(c W s ). E[Φ,T t (2B K W t ) I W s ] Φ,T s (2B K W s ). Now, combining all the relations obtained above, we easily conclude that E[D s g t I W s ] Φ,T s (2B K W s )I [,t] (s). Passing now to the limit in the latter expression as t T we obtain ν s lim t T E[D sg t I W s ] Φ,T s (2B K W s )I [,T ] (s) Φ, ( 2B K Ws T s )I [,T ] (s). From here, using Theorem 2.3, we complete the proof of the theorem. Corollary 3.2: Taking in Theorem 3. B K, we will see that the Wiener functional F (W T K) permits the following stochastic integral representation T ( K Wt F EF Φ )dw t, T t where ( KT ) ( KT ) EF KΦ + T ϕ. Really, in the case B K it is evident that (W T K) I WT K (W T K). On the other hand, we have E(W T K) 2πT K (K x) exp x2 2T dx K 2πT K exp x2 dx + T K 2T 2πT ( d exp x2 ) 2T ( KT ) ( KT ) KΦ + T ϕ. Remark : It is not difficult to see that the same result can be obtained from
result [8]. Indeed, according to Theorem 2.4 we have Vol. 2 No. 2, 26 35 T [ (W T K) E(W T K) + E x (x K) xwt I W t ] dw t T E(W T K) E[I WT K I W t ] ( KT ) ( KT ) T KΦ + T ϕ E[I WT K W t ]dw t ( KT ) ( KT ) T KΦ + T ϕ E[I WT W t K x W t x] xwt dw t ( KT ) ( KT ) T KΦ + T ϕ P W T W t K x xwt dw t ( KT ) ( KT ) KΦ + T ϕ T [Φ,T t (K W t )]dw t ( KT ) ( KT ) T ( K Wt KΦ + T ϕ Φ )dw t. T t Corollary 3.3: [8]) In case B K, we obtain the known result (see, for example, W T T 2π + T [ ( Wt ) ] Φ dw t. T t References [] M.C. Clark, The representation of functionals of Brownian motion by stochastic integrals, J. Ann. Math. Stat.,4 (97), 282-295 [2] J.M. Harrison, and S.R. Pliska, Martingales and stochastic integrals in the theory of continuous trading, Stochastic Processes and Applications, (98), 25-26 [3] I. Karatzas and D. Ocone, A generalized Clark representation formula, with application to optimal portfolios, Stochastics and Stochastic Reports, 34 (99), 87-22 [4] N. Ikeda and S. Watanabe, An introduction to Malliavins calculus. In: Stochastic Analysis, ed., K. Ito, Kiuokuniya/North-Holland, Tokyo, 984, -52 [5] D. Ocone, Malliavin calculus and stochastic integral representation formulas of diffusion processes. J. Stochastics, 2 (984), 6-85 [6] A.N. Shyriaev, and M. Yor, To a Question of Stochastic Integral Representations of Functionals of Brownian Motion I. (Russian), J. Theory Probab. Appl., 48, 2 (23), 375-385
36 Bulletin of TICMI [7] S.E. Graversen, A.N. Shyriaev, and M. Yor, To a question of stochastic integral representations of functionals of Brownian motion II. (Russian), J. Theory Probab. Appl., 56, (26), 64-77 [8] V. Jaoshvili and O. Purtukhia, Stochastic Integral Representation of Functionals of Wiener Processes, Bulletin Georgian Academy of Sciences, 7, (25), 7-2 [9] O. Glonti and O. Purtukhia O, On one integral representation of Brownian functional (Russian), J. Theory Probab. Appl., 6, (26), 58-64 [] D. Nualart, E. Pardoux, Stochastic calculus with anticipating integrands, J. Praobab. Th. Related Fields, 78 (988), 535-58 [] D. Nualart, The Malliavin Calculus and Related topics, Springer-Verlag, Berlin, 26 [2] B.C. Korolyuk, N.Y. Portenko, A.B. Skorokhod and A.F. Turbin, Reference Book on Probability Theory and Mathematical Statistics (Russian), Moscow, Nauka, 985