## Local times for multifractional Brownian motion in higher dimensions: A white noise approach

## Wolfgang Bock ,

CMAF, Universidade de Lisboa, 1649-003 Lisbon, Portugal. Email: bock@campus.ul.pt

## José Luís da Silva ,

CCM, University of Madeira, Campus da Penteada, 9020-105 Funchal, Portugal. Email: luis@uma.pt

## Herry P. Suryawan

Department of Mathematics Sanata Dharma University Yogyakarta, Indonesia Email: herrypribs@usd.ac.id

August 4, 2014

## Abstract

We present the expansion of the multifractional Brownian (mBm) local time in higher dimensions, in terms of Wick powers of white noises (or multiple Wiener integrals). If a suitable number of kernels is subtracted, they exist in the sense of generalized white noise functionals. Moreover we show the convergence of the regularized truncated local times for mBm in the sense of Hida distributions.

Keywords : Local time, multifractional Brownian motion, white noise analysis.

## 1 Introduction

Over the last decades fractional Brownian motion (fBm) with Hurst parameter H has become an intensively studied object. This centered Gaussian process B H with covariance function

$$\mathbb { E } ( B _ { H } ( t ) B _ { H } ( s ) ) = \frac { 1 } { 2 } \left ( | t | ^ { 2 H } + | s | ^ { 2 H } - | t - s | ^ { 2 H } \right ), \ \ t, s > 0, \\ \hat { \ }. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \.$$

was first introduced by Mandelbrot and Van-Ness [MvN68]. Instead of giving an exhaustive overview about fBm we refer to the articles [AN03, Ben03b, Ben03a, DHPD00, EvdH03, HØ03, Nua06, DOS08] and monographs [BHØZ07, Mis08] and the references therein.

To overcome this Lévy Véhel and Peltier [PLV95] and Benassi et.al. [BJR97] independently introduced multifractional Brownian motion (mBm) B h , where the regularity of the paths is a function of time. The covariance of the centered Gaussian process B h is given by

Due to its properties such as Hölder continuity of any order less than H , long-range dependence and stationary increments, the process is used for modeling problems from telecommunications, finance and engineering. Although there are various problems accessible, the use of fBm involves a restriction to a certain Hölder continuity H of the paths for all times of the process. For many applications this is too restrictive and variable timedependent Hölder continuities of the paths are needed.

$$\mathbb { E } ( B _ { h } ( t ) B _ { h } ( s ) ) = \frac { C \left ( \frac { h ( t ) + h ( s ) } { 2 } \right ) ^ { 2 } } { C ( h ( t ) ) C ( h ( s ) ) } \left [ \frac { 1 } { 2 } ( t ^ { h ( t ) + h ( s ) } + s ^ { h ( t ) + h ( s ) } - | t - s | ^ { h ( t ) + h ( s ) } ) \right ],$$

where h : [0 , T ] -→ (1 / , 2 1) is a continuous function and

$$C ( x ) \coloneqq \left ( \frac { 2 \pi } { \Gamma ( 2 x + 1 ) \sin ( \pi x ) } \right ) ^ { 1 / 2 },$$

where Γ is the Gamma function. Different properties of this process are recently studied, such as Hölder continuity of the paths and Hausdorff dimension [BJR97, BDG08], as well as local times of mBm [ASX11, BDG07,

MWX08] and estimates for the local Hurst parameters [BFG13]. In white noise analysis mBm was treated recently in [LLV14] together with its respective stochastic calculus.

In this article we use a white noise approach to determine the kernels in the Wiener-Itô-Segal chaos decomposition of the (truncated) local time of a d -dimensional mBm for h : [0 , T ] -→ (1 / 2 1) , . As in [DOS08] for fBm, we show the convergence of the regularized local time for mBm to the truncated local time via the convergence of Hida distributions.

## 2 Gaussian white noise analysis

In this section we review some of the standard concepts and theorems of white noise analysis used throughout this work, and refer to [HKPS93, KLP + 96, Kuo96] and references therein for a detailed presentation.

We start with the basic Gel'fand triple

$$S _ { d } \subset L _ { d } ^ { 2 } \subset S _ { d } ^ { \prime },$$

where S d := S ( R R , d ) , d ∈ N , is the space of vector valued Schwartz test functions, S ′ d its topological dual and the central Hilbert space L 2 d := L 2 ( R R , d ) of square integrable vector valued functions, i.e.,

$$| f | _ { 0 } ^ { 2 } = \sum _ { i = 1 } ^ { d } \int _ { \mathbb { R } } f _ { i } ^ { 2 } ( x ) \, d x, \ \ f \in L _ { d } ^ { 2 }.$$

Since S d is a nuclear space, represented as projective limit of a decreasing chain of Hilbert spaces ( H p ) p ∈ N , see e.g.[RS75] and [GV68], i.e.

$$S _ { d } = \bigcap _ { p \in \mathbb { N } } H _ { p },$$

we have that S d is a countably Hilbert space in the sense of Gel'fand and Vilenkin [GV68]. We denote the corresponding norm on H p by | · | p , with the convention H 0 = L 2 d . Let H -p be the dual space of H p and let 〈· , ·〉 denote the dual pairing on H -p × H p . H p is continuously embedded into L 2 d . By identifying L 2 d with its dual via the Riesz isomorphism, we obtain the chain H p ⊂ L 2 d ⊂ H -p . Note that S ′ d = ⋃ p ∈ N H -p , i.e. S ′ d is the inductive limit of the increasing chain of Hilbert spaces ( H -p ) p ∈ N , see e.g. [GV68]. We denote the dual pairing of S ′ d and S d also by 〈· , ·〉 .

Let B be the σ -algebra generated by cylinder sets on S ′ d . By Minlos' theorem there is a unique probability measure µ d on ( S , ′ d B ) with characteristic function given by

$$\int _ { S _ { d } ^ { \prime } } e ^ { i \langle w, \varphi \rangle } d \mu _ { d } ( w ) = \exp \left ( - \frac { 1 } { 2 } | \varphi | _ { 0 } ^ { 2 } \right ), \quad \varphi \in S _ { d }.$$

Hence, we have defined the white noise measure space ( S , ′ d B , µ d ) . The complex Hilbert space L 2 ( µ d ) := L 2 ( S , ′ d B , µ d ) is canonically isomorphic to the Fock space of symmetric square integrable functions

$$L ^ { 2 } ( \mu _ { d } ) \simeq \left ( \bigoplus _ { k = 0 } ^ { \infty } \text{Sym} L ^ { 2 } ( \mathbb { R } ^ { k }, k! d ^ { k } x ) \right ) ^ { \otimes d }$$

which implies the Wiener-Itô-Segal chaos decomposition for any element F in L 2 ( µ d )

$$F ( w ) = \sum _ { n \in \mathbb { N } ^ { d } } \langle \colon w ^ { \otimes n } \, \colon, F _ { n } \rangle$$

with the kernel function F n in the Fock space. We introduce the following notation for simplicity

$$\mathbf n = ( n _ { 1 }, \dots, n _ { d } ) \in \mathbb { N } _ { 0 } ^ { d }, \ \ n = n _ { 1 } + \dots + n _ { d }, \ \ n! = n _ { 1 }! \dots n _ { d }!$$

and for any w = ( w , . . . , w 1 d ) ∈ S ′ d

$$\colon w ^ { \otimes n } \coloneqq \colon w _ { 1 } ^ { \otimes n _ { 1 } } \colon \otimes \dots \otimes \colon w _ { d } ^ { \otimes n _ { d } } \colon,$$

where : w ⊗ n : denotes the n -th Wick tensor power of the element w ∈ S ′ 1 , for its definition see e.g. [HKPS93]. For any F ∈ L 2 ( µ d ) , the isomorphism (1) yields

$$\| F \| _ { L ^ { 2 } ( \mu _ { d } ) } ^ { 2 } \coloneqq \sum _ { n \in \mathbb { N } ^ { d } } n! | F _ { n } | _ { 0 } ^ { 2 },$$

where the symbol | · | 0 is also preserved for the norms on L 2 ( R R , d ) ˆ ⊗ n C , for simplicity. By the standard construction with the space of square-integrable functions w.r.t. µ d as central space, we obtain the Gel'fand triple of Hida test functions and Hida distributions.

$$( S _ { d } ) \subset L ^ { 2 } ( \mu _ { d } ) \subset ( S _ { d } ) ^ { \prime }.$$

In the following we denote the dual pairing between elements of ( S d ) ′ and ( S d ) by 〈 〈· , ·〉 〉 . For F ∈ L 2 ( µ d ) and ϕ ∈ ( S d ) , with kernel functions f n and ϕ n , resp. the dual pairing yields

$$\left \langle \left \langle F, \varphi \right \rangle \right \rangle = \sum _ { n } n! \left \langle f _ { n }, \varphi _ { n } \right \rangle$$

This relation extends the chaos expansion to Φ ∈ ( S d ) ′ with distribution valued kernels Φ n such that

$$\left \langle \left \langle \Phi, \varphi \right \rangle \right \rangle = \sum _ { n } n! \left \langle \Phi _ { n }, \varphi _ { n } \right \rangle,$$

for every generalized test function ϕ ∈ ( S d ) with kernels ϕ n .

Instead of reviewing the detailed construction of these spaces we give a characterization in terms of the S -transform.

Definition 1. Let ξ ∈ S d , then : exp( 〈 ., ξ 〉 ) : := ∞ ∑ k =0 1 k ! 〈 : . ⊗ n : , ξ ⊗ n 〉 ∈ ( S d ) and we define the S -transform of Φ ∈ ( S d ) ′ by

$$( S \Phi ) ( \xi ) = \left \langle \left \langle \Phi, \colon \exp ( \left \langle., \xi \right \rangle ) \, \colon \right \rangle.$$

Definition 2 ( U -functional) . A function F : S d -→ C is called a U -functional whenever

↦

- 1. for every ϕ 1 , ϕ 2 ∈ S d the mapping R glyph[owner] λ → F λ ( ϕ 1 + ϕ 2 ) has an entire extension to z ∈ C ,
- 2. there are constants K , K 1 2 &gt; 0 such that

$$\left | F ( z \varphi ) \right | \leq K _ { 1 } \exp \left ( K _ { 2 } \left | z \right | ^ { 2 } \left \| \varphi \right \| ^ { 2 } \right ), \quad \forall z \in \mathbb { C }, \varphi \in S _ { d }$$

for some continuous norm ‖ · ‖ on S d .

We are now ready to state the aforementioned characterization result.

Theorem 3 (cf. [KLP + 96], [PS91]) . The S -transform defines a bijection between the space ( S d ) ′ and the space of U -functionals. In other words, Φ ∈ ( S d ) ′ if and only if S Φ : S d → C is a U -functional.

Based on Theorem 3 a deeper analysis of the space ( S d ) ′ can be done. The following Corollaries concern the convergence of sequences and the Bochner integration of families of generalized functions in ( S d ) ′ (for more details and proofs see e.g. [HKPS93], [KLP + 96], [PS91]).

Corollary 4. Let (Φ ) n n ∈ N be a sequence in ( S d ) ′ such that

- 1. for all ϕ ∈ S d , (( S Φ )( n ϕ )) n ∈ N is a Cauchy sequence in C ,
- 2. there are K , K 1 2 &gt; 0 such that for some continuous norm ‖ · ‖ on S d one has

$$| ( S \Phi _ { n } ) ( z \varphi ) | \leq K _ { 1 } \exp \left ( K _ { 2 } | z | ^ { 2 } \| \varphi \| ^ { 2 } \right ), \ \ \varphi \in S _ { d }, \ n \in \mathbb { N }, \ z \in \mathbb { C }.$$

Then (Φ ) n n ∈ N converges strongly in ( S d ) ′ to a unique Hida distribution.

↦

Corollary 5. Let (Ω , B , m ) be a measure space and λ → Φ λ be a mapping from Ω to ( S d ) ′ . We assume that the S -transform of Φ λ fulfills the following two properties:

↦

- 1. The mapping λ → ( S Φ )( λ ϕ ) is measurable for every ϕ ∈ S d ,
- 2. The S Φ λ obeys the estimate

$$| ( S \Phi _ { \lambda } ) ( z \varphi ) | \leq C _ { 1 } ( \lambda ) \exp \left ( C _ { 2 } ( \lambda ) | z | ^ { 2 } \| \varphi \| ^ { 2 } \right ), \ \ z \in \mathbb { C }, \varphi \in S _ { d },$$

for some continuous norm ‖ · ‖ on S d and for C 1 ∈ L 1 (Ω , m ) , C 2 ∈ L ∞ (Ω , m ) .

Then

$$\int _ { \Omega } \Phi _ { \lambda } \, d m ( \lambda ) \in ( S _ { d } ) ^ { \prime }$$

and

$$S \left ( \int _ { \Omega } \Phi _ { \lambda } \, d m ( \lambda ) \right ) ( \varphi ) = \int _ { \Omega } ( S \Phi _ { \lambda } ) ( \varphi ) \, d m ( \lambda ), \quad \varphi \in S _ { d }.$$

At the end of this section we introduce the notion of truncated kernels, defined via their Wiener-Itô-Segal chaos decomposition.

Definition 6. For Φ ∈ ( S d ) ′ with kernels F , n n ∈ N d 0 and k ∈ N 0 we define truncated Hida distribution by

$$\Phi ^ { ( k ) } = \sum _ { n \in \mathbb { N } _ { 0 } ^ { d } \colon n \geq k } \langle \colon. ^ { \otimes n } \colon, F _ { n } \rangle.$$

Obviously one has Φ ( k ) ∈ ( S d ) ′ .

## 3 Multifractional Brownian motion

Multifractional Brownian motion (mBm) in dimension 1 , was introduced by Peltier and Lévy Véhel [PLV95], Benassi et al. [BJR97] as zero mean Gaussian process with covariance given by

$$R _ { h } ( t, s ) = \frac { C \left ( \frac { h ( t ) + h ( s ) } { 2 } \right ) ^ { 2 } } { C ( h ( t ) ) C ( h ( s ) ) } \left [ \frac { 1 } { 2 } ( t ^ { h ( t ) + h ( s ) } + s ^ { h ( t ) + h ( s ) } - | t - s | ^ { h ( t ) + h ( s ) } ) \right ],$$

where the normalizing constant is defined by

$$C ( x ) \coloneqq \left ( \frac { 2 \pi } { \Gamma ( 2 x + 1 ) \sin ( \pi x ) } \right ) ^ { 1 / 2 },$$

where Γ is the Gamma function. Let us fix some notations. By ˆ u we denote the Fourier transform of u and let L 1 loc ( R ) be the set of measurable functions which are locally integrable in R . Each f ∈ L 1 loc ( R ) gives rise to an element in S ′ 1 , denoted by T f namely, for any ϕ ∈ S 1 , 〈 T , ϕ f 〉 = GLYPH&lt;1&gt; R f ( x ϕ x ) ( ) dx .

In order to obtain a realization of mBm in the framework of white noise analysis we introduce the following operator, see [LLV14]. For any H ∈ (1 / 2 1) , we define the operator

$$( \widehat { M _ { H } u } ) ( y ) = \frac { \sqrt { 2 \pi } } { C ( H ) } | y | ^ { 1 / 2 - H } \hat { u } ( y ),$$

where ˆ u denotes the Fourier transform of the function u . The operator M H is well defined in the space

$$L _ { H } ^ { 2 } ( \mathbb { R } ) \coloneqq \{ u \in S _ { 1 } ^ { \prime } \, \colon \, \hat { u } = T _ { f } ; \, f \in L _ { \text{loc} } ^ { 1 } ( \mathbb { R } ) \text{ and } \| u \| _ { H } < \infty \},$$

where the norm

$$\| u \| _ { H } ^ { 2 } \coloneqq \frac { 1 } { C ( H ) ^ { 2 } } \int _ { \mathbb { R } } | x | ^ { 1 - 2 H } | \hat { u } ( x ) | ^ { 2 } \, d x$$

is the inner product norm on the Hilbert space L 2 H ( R ) given by

$$( u, v ) _ { H } = \frac { 1 } { C ( H ) ^ { 2 } } \int _ { \mathbb { R } } | x | ^ { 1 - 2 H } \hat { u } ( x ) \overline { \hat { v } } ( x ) \, d x.$$

Another possible representation for the operator M H is as follows [LLV14, Eq. 2.4]

$$( M _ { H } \varphi ) ( x ) = \gamma ( H ) \langle | \cdot | ^ { H - 3 / 2 }, \varphi ( x + \cdot ) \rangle = \colon \gamma ( H ) \langle \Theta _ { H }, \varphi ( x + \cdot ) \rangle, \quad \varphi \in S _ { 1 } ( \mathbb { R } ), \\, \dots$$

$$\gamma ( H ) \coloneqq \frac { \sqrt { \Gamma ( 2 H + 1 ) \sin ( \pi H ) } } { 2 \Gamma ( H - 1 / 2 ) \cos ( \pi ( H - 1 / 2 ) / 2 ) }.$$

where

Note that Θ H is a generalized function from S ′ 1 , i.e. for any ψ ∈ S 1 we have 〈 Θ H , ψ 〉 = 〈| y | H -3 2 / , ψ ( y ) 〉 .

The operator M H establishes an isometry between the Hilbert spaces L 2 H ( R ) and L 2 ( R ) [LLV14, Prop. 2.10]. Below we review some useful properties of the operator M H .

Proposition 7. Let M H be the operator defined above and H ∈ (1 / 2 1) , .

- 1. Then M H is an isometric isomorphism between the Hilbert spaces L 2 H ( R ) and L 2 ( R ) .
- 2. For any f, g ∈ L 2 ( R ) ∩ L 2 H ( R ) we have

$$\int _ { \mathbb { R } } f ( x ) ( M _ { H } g ) ( x ) \, d x = \int _ { \mathbb { R } } ( M _ { H } f ) ( x ) g ( x ) \, d x.$$

Moreover, for any f ∈ L 1 loc ( R ) ∩ L 2 H ( R ) and g ∈ S 1 , we have

$$\langle f, M _ { H } g \rangle = ( M _ { H } f, g ) _ { L ^ { 2 } ( \mathbb { R } ) }.$$

- 3. There exists a constant D such that for every k ∈ N 0 := N ∪ { 0 } we have

$$\max _ { x \in \mathbb { R } } | ( M _ { H } e _ { k } ) ( x ) | \leq \frac { D } { C ( H ) } ( k + 1 ) ^ { 2 / 3 },$$

where e k := M -1 H h k and h k is the k-th Hermite function.

- 4. There exists p ∈ N such that for all t ∈ [0 , T ] and ϕ ∈ S 1 we have

$$\left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { H } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | \leq | \gamma ( H ) | \, | \Theta _ { H } | _ { - p } \, t \, \sup _ { x \in \mathbb { R } } | \varphi ( x + \cdot ) | _ { p },$$

with Θ H as in (2).

Proof. The items 1., 2. and 3. are proved in [LLV14, Thm 2.14, 2.15]. Assertion 4 . is a direct consequence of 2. under the use of the Cauchy-Schwarz inequality and the representation (2) for the operator M H .

Next we define the operator M H for a measurable functional parameter h : [0 , T ] -→ (1 / , 2 1) . For two indicator functions we define

$$R _ { h } ( t, s ) \coloneqq ( \mathbb { I } _ { [ 0, t ) }, \mathbb { I } _ { [ 0, s ) } ) _ { h } \coloneqq \frac { 1 } { C ( h ( t ) ) C ( h ( s ) ) } \int _ { \mathbb { R } } | x | ^ { 1 - 2 h ( x ) } \hat { \mathbb { I } } _ { [ 0, t ) } ( x ) \overline { \hat { \mathbb { I } } } _ { [ 0, s ) } ( x ) \, d x,$$

which can be extended by linearity to the pre-Hilbert space of simple functions ( E ( R ) , ( · , · ) h ) .

- (A1) From now on we assume that h : [0 , T ] -→ (1 / 2 1) , is a continuous function.

↦

Remark 8 . For all h : [0 , T ] -→ (1 / , 2 1) satisfying (A1), the bilinear form ( · , · ) h is an inner product. See [LLV14, Prop. 3.1]. Moreover we define the linear map M h : E ( R ) -→ L 2 ( R ) , 1 1 [0 ,t ) → M h 1 1 [0 ,t ) := M h t ( ) 1 1 [0 ,t ) := M H 1 1 [0 ,t ) | H = ( ) h t .

Definition 9. For h satisfying (A1) we define the L 2 ( µ 1 ) random variable B h ( ) t by

$$B _ { h } ( t ) = \langle \cdot, M _ { h } \mathbb { I } _ { [ 0, t ) } \rangle.$$

↦

- 1. One can show that the process ( ω, t ) → B h ( ω, t ) is a one-dimensional mBm, see [LLV14].
- 2. There is a continuous version of the process B h ( ) t by Kolmogorov's theorem and we use the same notation for this continuous version.

Remark 10 . The completion of E ( R ) with respect to ( · , · ) h is a Hilbert space denoted by L 2 h ( R ) . Moreover the operator M h is an isometry between ( E ( R ) , ( · , · ) h ) and ( L 2 ( R ) , ( · , · )) , which can be extended to an isometry between L 2 h ( R ) and L 2 ( R ) .

The next proposition shows certain properties of 1-dimensional mBm.

Proposition 11. The process B h ( ) t , t ≥ 0 has the following properties.

- 1. The characteristic function of B h ( ) t is given by

$$\mathbb { E } ( e ^ { i \lambda B _ { h } ( t ) } ) \ & = \ \int _ { S _ { 1 } ^ { \prime } ( \mathbb { R } ) } e ^ { i \lambda \langle w, M _ { h } \mathbb { 1 } _ { [ 0, t ) } \rangle } \, d \mu _ { 1 } ( w ) = \exp \left ( - \frac { \lambda ^ { 2 } } { 2 } | M \mathbb { 1 } _ { [ 0, t ) } | _ { 0 } ^ { 2 } \right ) \\ & = \ \exp \left ( - \frac { \lambda ^ { 2 } } { 2 } t ^ { 2 h ( t ) } \right ).$$

- 2. The expectation of B h ( ) t is zero.
- 3. The variance of B h ( ) t is given by

$$\mathbb { E } ( B _ { h } ^ { 2 } ( t ) ) = t ^ { 2 h ( t ) }.$$

- 4. The covariance of B h ( ) t is

$$R _ { h } ( t, s ) \ \colon = \ \mathbb { E } ( B _ { h } ( t ) B _ { h } ( s ) ) \\ = \ \frac { C \left ( \frac { h ( t ) + h ( s ) } { 2 } \right ) ^ { 2 } } { C ( h ( t ) ) C ( h ( s ) ) } \left [ \frac { 1 } { 2 } ( t ^ { h ( t ) + h ( s ) } + s ^ { h ( t ) + h ( s ) } - | t - s | ^ { h ( t ) + h ( s ) } ) \right ].$$

In Figures 1 and 2 the method of Wood and Chan [CW98] was used to motion.

simulate mBm on the interval [0 , 1] for different Hurst parameter functionals. Now we are ready to define the d -dimensional multifractional Brownian

Definition 12 ( d -dimensional mBm) . Let h satisfy (A1). A d -dimensional mBm with functional parameter h is defined by

$$B _ { h } ( t ) = \left ( B _ { h, 1 } ( t ), \dots, B _ { h, d } ( t ) \right ), \ \ t \geq 0,$$

where B h,i ( ) t , i = 1 , . . . , d , are d independent 1 -dimensional mBms.

Properties of B h ( ) t :

- 1. The expectation is zero

$$\mathbb { E } ( B _ { h } ( t ) ) = 0.$$

Figure 1: Multifractional Brownian motion for parameter functional h. Simulated with the method of Wood and Chan with s = 10000 discretization points. Here the Hölder continuity of the path is linearly increasing in time.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0189v1-figure-855084b8-1b2a-4a1d-b3f0-15c88cf548c1.jpg)

Figure 2: Multifractional Brownian motion for parameter functional h . Simulated with the method of Wood and Chan with s = 10000 discretization points. Here the Hölder continuity of the path is the function h t ( ) = 0 4 + 0 5 sin(5 . . πt . )

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0189v1-figure-ef8d8abc-168f-4a7b-8654-1d0149b94d3f.jpg)

- 2. The characteristic function of B h ( ) t is given, for any x ∈ R d , by

$$\int _ { S _ { d } ^ { \prime } } e ^ { i ( \lambda, B _ { h } ( w, t ) ) _ { \mathbb { R } ^ { d } } } \, d \mu _ { d } ( w ) \ & = \ \exp \left ( - \frac { 1 } { 2 } \sum _ { k = 1 } ^ { d } x _ { k } ^ { 2 } | M _ { h } \mathbb { 1 } _ { [ 0, t ) } | _ { 0 } ^ { 2 } \right ) \\ & = \ \exp \left ( - \frac { 1 } { 2 } t ^ { 2 h ( t ) } | x | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ).$$

- 3. Covariance matrix of B h ( ) t :

$$\text{cov} ( B _ { h } ( t ) ) = ( \delta _ { i j } t ^ { 2 h ( t ) } ) _ { i, j = 1 } ^ { d }.$$

## 4 Local time

The time a process spends in a certain point y ∈ R d is called the local time of the process. Formally the local time is given by the time integral over a Dirac delta function of the process. This Donsker's delta function is a well-defined and studied object in white noise analysis, see e.g. [LLSW93, HKPS93, Oba94, Kuo96]. For mBm recently the concept of local times was introduced and studied, see e.g. [BDG07, MWX08, ASX11] and references therein.

In this section we determine the kernel functions for the local time and the regularized local time of mBm. Moreover we show that for a suitable number of truncated kernel functions the local time of mBm is a Hida distribution and can be obtained as a limit of the regularized local time.

Proposition 13. For t &gt; 0 the Bochner integral

$$\delta ( B _ { h } ( t ) ) \coloneqq \left ( \frac { 1 } { 2 \pi } \right ) ^ { d } \int _ { \mathbb { R } ^ { d } } e ^ { i ( \lambda, B _ { h } ( t ) ) _ { \mathbb { R } ^ { d } } } \, d \lambda$$

is a Hida distribution and for any ϕ ∈ S d its S -transform given by

$$S \delta ( B _ { h } ( t ) ) ( \varphi ) = \left ( \frac { 1 } { \sqrt { 2 \pi } \, t ^ { h ( t ) } } \right ) ^ { d } \exp \left ( - \frac { 1 } { 2 t ^ { 2 h ( t ) } } \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \, \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ).$$

Proof. First we compute the S -transform of the integrand in (3) for any ϕ ∈ S d :

$$S e ^ { i ( \lambda, B _ { h } ( t ) ) _ { \mathbb { R } ^ { d } } } ( \varphi ) & = \exp \left ( - \frac { 1 } { 2 } | \lambda | _ { \mathbb { R } ^ { d } } ^ { 2 } t ^ { 2 h ( t ) } + i \left ( \lambda, \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right ) _ { \mathbb { R } ^ { d } } \right ). \\ \intertext { I t i c a l o r t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o n t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t i t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t s t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o th o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o te h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t ho t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t k o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o u t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t g o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o t h o { \Phi } \Phi ( \Phi ), \quad \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \alpha \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \beta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \da \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \Delta \dep \Delta \Delta \Delta$$

It is clear that the S -transform is λ -measurable for any ϕ ∈ S d . On the other hand, for any z ∈ C and all ϕ ∈ S d we obtain

$$\begin{array} { l l } \text{It is clear that the $S$-transform is $\lambda$-measurable for any $\varphi \in S_{d}$.  On the} \\ \text{other hand, for any $z \in \mathbb{C}$ and all $\varphi \in S_{d}$ we obtain} \\ & | S e ^ { i ( \lambda, B _ { h } ( t ) ) _ { R d } ( z \varphi ) | } \\ = & \left | \exp \left ( - \frac { 1 } { 2 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } + i z \left ( \lambda, \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right ) _ { \mathbb { R } d } \right ) \right | \\ \leq & \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } \right ) \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } + | z | \left ( \lambda, \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | \right ) ^ { 2 } \right ) \\ \leq & \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } \right ) \exp \left ( - \left ( \frac { 1 } { 2 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { h ( t ) } - \frac { 1 } { t ^ { h ( t ) } } | z | \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | \right ) ^ { 2 } \right ) \\ & \times \exp \left ( \frac { 1 } { t ^ { 2 h ( t ) } } | z | ^ { 2 } \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | ^ { 2 } _ { \mathbb { R } d } \right ) \\ \leq & \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } \right ) \exp \left ( \frac { 1 } { t ^ { 2 h ( t ) } } | z | ^ { 2 } \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | ^ { 2 } _ { \mathbb { R } d } \right ) \\ \leq & \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } d } ^ { 2 } t ^ { 2 h ( t ) } \right ) \exp \left ( | z | ^ { 2 } | \varphi | _ { \mathbb { R } d } ^ { 2 } \right ). \\ \text{Thus we have the following bound} \\ & | S e ^ { i ( \lambda, B _ { h } ( t ) ) _ { R d } ( \tau, \tau \lambda ) | < \exp \tbinom { - 1 } { \lambda | ^ { 2 } \cdot t ^ { 2 h ( t ) } } \right ) \exp \tbinom { | \tau | ^ { 2 } | _ { \lambda | ^ { 2 } \cdot | \tau ^ { 2 } } \lambda }$$

Thus we have the following bound

$$| S e ^ { i ( \lambda, B _ { h } ( t ) ) _ { \mathbb { R } ^ { d } } } ( z \varphi ) | \leq \exp \left ( - \frac { 1 } { 4 } | \lambda | _ { \mathbb { R } ^ { d } } ^ { 2 } t ^ { 2 h ( t ) } \right ) \exp \left ( | z | ^ { 2 } | \varphi | _ { 0 } ^ { 2 } \right ),$$

where, as a function of λ , the first factor is integrable on R d and the second factor is constant. The result (4) follows from (5) and integration with respect to λ .

In the following theorem we characterize the truncated local time of mBm as a Hida distribution. Therefore we use the notation δ ( N ) for the truncated Donsker's delta function as in 6, i.e. for any ϕ ∈ S d

$$S \delta ^ { ( N ) } ( B _ { h } ( t ) ) ( \varphi ) = \left ( \frac { 1 } { \sqrt { 2 \pi } \, t ^ { h ( t ) } } \right ) ^ { d } \exp _ { N } \left ( - \frac { 1 } { 2 t ^ { 2 h ( t ) } } \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ),$$

with exp N ( x ) := ∑ ∞ n = N n 1 ! x n for x ∈ C .

(A2) Let h satisfy (A1) and sup t ∈ [0 ,T ) h t ( ) &lt; 1+2 N 2 N + d , for a fixed N ∈ N 0 and d ∈ N .

Theorem 14. For h satisfying (A2) with dimension d ∈ N and N ∈ N 0 , the Bochner integral

$$L _ { h } ^ { ( N ) } ( T ) \coloneqq \int _ { 0 } ^ { T } \delta ^ { ( N ) } ( \mathbf B _ { h } ( t ) ) \, d t$$

is a Hida distribution.

Proof. The proof uses again Corollary 5 with respect to the Lebesgue measure in [0 , T ] . It follows from (4) that

$$S \delta ^ { ( N ) } ( B _ { h } ( t ) ) ( \varphi ) = \left ( \frac { 1 } { \sqrt { 2 \pi } \, t ^ { h ( t ) } } \right ) ^ { d } \exp _ { N } \left ( - \frac { 1 } { 2 t ^ { 2 h ( t ) } } \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \, \mathbb { I } _ { [ 0, t ) } ) ( x ) \, d x \right | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ), \\ \text{which is measurable in $t$ for every $\tau\in S$, $I$} \text{in$\emph{Proposition}(7\rangle-4$ we obtain}$$

which is measurable in t for every ϕ ∈ S d . Using Proposition (7)-4. we obtain the following bound for any z ∈ C and all ϕ ∈ S d

$$& \text{and working your $v$} \times \aleph \, \text{and} \, \tilde { \varphi } \, \infty \, \text{and} \, \tilde { \varphi } \, \infty \, \text{and} \\ & \quad | S \delta ^ { ( N ) } ( B _ { h } ( t ) ) ( z \varphi ) | \\ & \leq \quad & \left ( \frac { 1 } { \sqrt { 2 \pi } \, t ^ { h } ( t ) } \right ) ^ { d } \exp _ { N } \left ( \frac { 1 } { 2 t ^ { 2 h ( t ) } } | \gamma ( h ( t ) ) | ^ { 2 } \, | \Theta _ { h ( t ) } | _ { - p } ^ { 2 } t ^ { 2 } | z | ^ { 2 } \left ( \sup _ { x \in \mathbb { R } } \varphi ( x + \cdot ) | _ { p } \right ) ^ { 2 } \right ). \\ & \leq \quad & \left ( \frac { 1 } { \sqrt { 2 \pi } \, t ^ { h ( t ) } } \right ) ^ { d } \exp _ { N } \left ( \frac { 1 } { 2 } K ( h ) t ^ { 2 - 2 h ( t ) } | z | ^ { 2 } \| \varphi \| ^ { 2 } \right ), \\ & \text{where $K(h\,\is\information\text{and} \, of $t$ that sum $.\ - | h(t\| - \mathcal { B } \times 1\, \text{and} \, new}$$

where K h ( ) is independent of t (note that sup t ∈ [0 ,T ] | h t ( ) | = β &lt; 1 ) and we defined the continuous norm on S d by

$$\| \varphi \| \coloneqq \sup _ { x \in \mathbb { R } } | \varphi ( x + \cdot ) | _ { p }.$$

The estimation

$$\exp _ { N } \left ( \frac { 1 } { 2 } K ( h ) t ^ { 2 - 2 h ( t ) } | z | ^ { 2 } \| \varphi \| ^ { 2 } \right ) \leq t ^ { 2 N ( 1 - h ( t ) ) } \exp \left ( \frac { K ( h ) } { 2 } | z | ^ { 2 } \| \varphi \| ^ { 2 } \right )$$

allows us to obtain the bound

$$| S \delta ^ { ( N ) } ( B _ { h } ( t ) ) ( z \varphi ) | \ \leq \ \left ( \frac { 1 } { \sqrt { 2 \pi } } \right ) ^ { d } t ^ { 2 N ( 1 - h ( t ) ) - d h ( t ) } \exp \left ( \frac { K ( h ) } { 2 } | z | ^ { 2 } \| \varphi \| ^ { 2 } \right ),$$

which is integrable in t ∈ [0 , T ) due to (A2). The proof follows from the application of Corollary 5.

Theorem 15. For h satisfying (A2) for dimension d and N ∈ N 0 , the kernels functions of L ( N ) h ( T ) are given by

$$& F _ { h, 2 n } ( u _ { 1 }, \dots, u _ { 2 n } ) = \frac { 1 } { n! } \left ( \frac { 1 } { \sqrt { 2 \pi } } \right ) ^ { d } \left ( - \frac { 1 } { 2 } \right ) ^ { n } \int _ { 0 } ^ { T } \frac { 1 } { t ^ { 2 h ( t ) N + d h ( t ) } } \prod _ { j = 1 } ^ { 2 n } ( M _ { h ( t ) } \mathbb { I } _ { [ 0, t ] } ) ( u _ { j } ) \, d t \\ & \text{for each $n \in \mathbb{N}^{d}$ such that $n > N$ } \ A l l \text{ the other kernels } F _ { i \,. } \text{ are zero}$$

for each n ∈ N d such that n ≥ N . All the other kernels F h, n are zero.

Proof. The kernels of L ( N ) h ( T ) are obtained by its S -transform. Therefore we use Corollary 5 and integrate (6) over [0 , T ] . For any ϕ ∈ S d , we have

$$\text{$\nu$} \varphi \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \col{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{ $\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\mu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$ } \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \rowel$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$}\colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \col: \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \tilde { \nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu`} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \colon \text{$\nu$} \\ \text{Comparing it with the general form of the chaos expansion$$

Comparing it with the general form of the chaos expansion

$$L _ { h } ^ { ( N ) } ( T ) = \sum _ { n \in \mathbb { N } ^ { d } } \langle \colon w ^ { \otimes n } \, \colon, F _ { h, n } \rangle$$

we obtain F h, n as in (7). This completes the proof.

Remark 16 . The result of Theorem 14 shows that for d = 1 all local times are well-defined, but for d ≥ 2 they are well-defined after truncation of divergent terms. This motivates the study of a regularized version, namely we discuss

$$L _ { h, \varepsilon } ( T ) \coloneqq \int _ { 0 } ^ { T } \delta _ { \varepsilon } ( \mathbf B _ { h } ( t ) ) \, d t, \quad \varepsilon > 0,$$

where

$$\delta _ { \varepsilon } ( B _ { h } ( t ) ) \coloneqq \left ( \frac { 1 } { \sqrt { 2 \pi \varepsilon } } \right ) ^ { d } \exp \left ( - \frac { 1 } { 2 \varepsilon } | B _ { h } ( t ) | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ).$$

Theorem 17. Let ε &gt; 0 be given and h satisfy (A2).

- 1. The functional L h,ε ( T ) is a Hida distribution with kernels functions given by

$$F _ { h, \varepsilon, 2 n } ( u _ { 1 }, \dots, u _ { 2 n } ) \ = \ \frac { 1 } { n! } \left ( \frac { 1 } { \sqrt { 2 \pi } } \right ) ^ { d } \left ( - \frac { 1 } { 2 } \right ) ^ { n } \int _ { 0 } ^ { T } \frac { 1 } { ( \varepsilon + 2 h ( t ) ) ^ { n + d / 2 } } ( 8 ) \\ \times \prod _ { j = 1 } ^ { 2 n } ( M _ { h } \mathbb { I } _ { [ 0, t ) } ) ( u _ { j } ) \, d t$$

for each n = ( n , . . . , n 1 d ) ∈ N d and F h,ε, n = 0 if at least one of the n j is an odd number.

- 2. For ε tends to zero the truncated functional L ( N ) h,ε ( T ) converges strongly in ( S d ) ′ to the truncated local time L ( N ) h ( T ) .

Proof. 1. First we compute the S -transform of the integrand of L h,ε ( T ) . For any ϕ ∈ S , d we obtain

$$S \delta _ { \varepsilon } ( B _ { h } ( t ) ) ( \varphi ) \ = \ & \ \left ( \frac { 1 } { \sqrt { 2 \pi ( \varepsilon + t ^ { 2 h } ( t ) ) } } \right ) ^ { d } \exp \left ( \ - \ \frac { 1 } { 2 ( \varepsilon + t ^ { 2 h } ( t ) ) } \\ & \quad \times \left | \int _ { \mathbb { R } } \varphi ( x ) ( M _ { h } \, \mathbb { I } _ { [ 0, t } ) ( x ) \, d x \right | _ { \mathbb { R } ^ { d } } ^ { 2 } \right ), \\. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

which is measurable in t . Thus, for any z ∈ C and ϕ ∈ S d , by Proposition 7-4. we arrive at the following bound

$$| S \delta _ { \varepsilon } ( B _ { h } ( t ) ) ( z \varphi ) | \leq \left ( \frac { 1 } { \sqrt { 2 \pi ( \varepsilon + t ^ { 2 h ( t ) } ) } } \right ) ^ { d } \exp \left ( K ( h ) | z | ^ { 2 } \frac { t ^ { 2 } } { 2 ( \varepsilon + t ^ { 2 h ( t ) } ) } \| \varphi \| ^ { 2 } \right ).$$

On the other hand, t 2 2( ε + t 2 h t ( ) ) is bounded in [0 , T ] and ( ε + t 2 h t ( ) ) -d/ 2 is integrable on [0 , T ] , therefore we may conclude, by Corollary 5, that L h,ε ( T ) ∈

( S d ) ′ . In addition, for any ϕ ∈ S d , we have

$$( S _ { d } ) ^ { \prime }. \, In \, \text{addition, for any } \varphi \in S _ { d }, \, \text{ we have} \\ ( S L _ { h, e } ( T ) ) ( \varphi ) \ = \ \int _ { 0 } ^ { T } \left ( S \delta _ { \varepsilon } ( B _ { h } ( t ) ) \right ) ( \varphi ) \, d t \\ = \ \left ( \frac { 1 } { \sqrt { 2 } \pi } \right ) ^ { d } \int _ { 0 } ^ { T } \frac { 1 } { ( \varepsilon + t ^ { 2 h ( t ) } ) d / 2 } \sum _ { n = 0 } ^ { \infty } \frac { ( - 1 ) ^ { n } } { 2 ^ { n } ( \varepsilon + t ^ { 2 h ( t ) } ) ^ { n } } \\ & \times \sum _ { \substack { n _ { 1 } \dots, n _ { d } \in \mathbb { N } \\ n _ { 1 } + \dots + n _ { d } = n } } } \frac { 1 } { n _ { 1 }! \dots n _ { d }! } \prod _ { j = 1 } ^ { d } \left ( \int _ { \mathbb { R } } \varphi _ { j } ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t } ) ( x ) \, d x \right ) ^ { 2 n _ { j } } d t. \\ = \ \left ( \frac { 1 } { \sqrt { 2 } \pi } \right ) ^ { d } \int _ { 0 } ^ { T } \sum _ { n = 0 } ^ { \infty } \left ( - \frac { 1 } { 2 } \right ) ^ { n } \frac { 1 } { ( \varepsilon + t ^ { 2 h ( t ) } ) ^ { n + d / 2 } } \\ & \times \sum _ { \substack { n _ { 1 } \dots, n _ { d } \in \mathbb { N } \\ n _ { 1 } + \dots + n _ { d } = n } } \frac { 1 } { n! } \prod _ { j = 1 } ^ { d } \left ( \int _ { \mathbb { R } } \varphi _ { j } ( x ) ( M _ { h } \mathbb { I } _ { [ 0, t } ) ( x ) \, d x \right ) ^ { 2 n _ { j } } d t. \\ \text{Comparing the latter expression with the kernels } F _ { h, e, n } \, \text{from the chaos ex-} \\ \text{pansion of } L _ { h, e } ( T )$$

Comparing the latter expression with the kernels F h,ε, n from the chaos expansion of L h,ε ( T )

$$L _ { h, \varepsilon } ( T ) = \sum _ { n \in \mathbb { N } ^ { d } } \langle \colon w ^ { \otimes n } \, \colon, F _ { h, \varepsilon, n } \rangle,$$

we conclude that whenever one of the n j in n = ( n , . . . , n 1 d ) is odd we have F h,ε, n = 0 , otherwise they are given by the expression (8). 2. To check the convergence we shall use Corollary 4 and fact that

$$\left ( S L _ { h, \varepsilon } ^ { ( N ) } ($$

Thus, for all z ∈ C and all ϕ ∈ S d we estimate ( SL ( N ) h,ε ( T ) ) ( z ϕ ) by

$$\begin{array} {$$

for a certain constant C h, T ( ) &gt; 0 , which shows the uniform boundedness condition. Moreover, using similar calculations as in Theorem 14, for any t ∈ [0 , T ] , yields

$$\left | ( S L _ { h, \varepsilon } ^ { ( N ) }$$

This upper bound together with the fact that 1 / 2 &lt; h t ( ) &lt; 1 , for any t ∈ [0 , T ] , gives an integrable function on [0 , T ] . Finally, an application of Lebesgue's dominated convergence theorem implies the other condition in order to apply Corollary 4. This completes the proof.

## Acknowledgments

H.P.S. and W.B. would like to thank the financial support of FCT - Fundação para a Ciência e a Tecnologia through the project Refª PEst-OE/MAT/UI0219/2014. W.B. thanks for the fellowship in the FCT-project PTDC/MAT-STA/1284/2012.

## References

[AN03] E. Alòs and D. Nualart. Stochastic integration with respect to the fractional Brownian motion. Stoch. Stoch. Rep. , 75(3):129-152, 2003. 2

[ASX11] A. Ayache, N.-R. Shieh, and Y. Xiao. Multiparameter multifrac- tional Brownian motion: Local nondeterminism and joint conti- nuity of the local times. Annales de l'Institut Henri Poincaré, Probabilités et Statistiques , 47(4):1029-1054, 11 2011. 3, 13

[BDG07]

B. Boufoussi, M. Dozzi, and R. Guerbaz. Sample path properties of the local time of multifractional Brownian motion. Bernoulli , 13(3):849-867, 08 2007. 3, 13

[BDG08]

B. Boufoussi, M. Dozzi, and R. Guerbaz. Path properties of a class of locally asymptotically self similar processes. Electronic Journal of Probability , 13(29):898-921, 2008. 2

| [Ben03a]   | C. Bender. An Itô formula for generalized functionals of a frac- tional Brownian motion with arbitrary Hurst parameter. Stochas- tic Process. Appl. , 104(1):81-106, 2003. 2                                                                                                                                                                                                                                    |
|------------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Ben03b]   | C. Bender. An S -transform approach to integration with respect to a fractional Brownian motion. Bernoulli , 9(6):955-983, 2003. 2                                                                                                                                                                                                                                                                              |
| [BFG13]    | P. Bertrand, M. Fhima, and A. Guillin. Local estimation of the Hurst index of multifractional Brownian motion by increment ratio statistic method. ESAIM: Probability and Statistics , 17:307- 327, 1 2013. 3                                                                                                                                                                                                   |
| [BHØZ07]   | F. Biagini, Y. Hu, B. Øksendal, and T. Zhang. Stochastic Calcu- lus for Fractional Brownian Motion and Applications . Probability and Its Applications. Springer, 2007. 2                                                                                                                                                                                                                                       |
| [BJR97]    | A. Benassi, S. Jaffard, and D. Roux. Elliptic Gaussian ran- dom processes. Revista Matematica Iberoamericana , 13(1):19-90, 1997. 2, 7                                                                                                                                                                                                                                                                          |
| [CW98]     | G. Chan and A. Wood. Simulation of multifractional Brownian motion. In Roger Payne and Peter Green, editors, COMPSTAT , pages 233-238. Physica-Verlag HD, 1998. 10                                                                                                                                                                                                                                              |
| [DHPD00]   | T. E. Duncan, Y. Hu, and B. Pasik-Duncan. Stochastic calcu- lus for fractional Brownian motion. I. Theory. SIAM J. Control Optim. , 38(2):582-612 (electronic), 2000. 2                                                                                                                                                                                                                                         |
| [DOS08]    | C. Drumond, M. J. Oliveira, and J. L. Silva. Intersection lo- cal times of fractional Brownian motions as generalized white noise functionals. In C. C. Bernido and V. C. Bernido, editors, Stochastic and Quantum Dynamics of Biomolecular Systems , vol- ume 1021 of AIP Conference Proceedings , pages 34-45, Melville, NY: American Institute of Physics (AIP), 2008. AIP Conference Proceedings 1021. 2, 3 |
| [EvdH03]   | R. J. Elliott and J van der Hoek. A general fractional white noise theory and applications to finance. Math. Finance , 13(2):301- 330, 2003. 2                                                                                                                                                                                                                                                                  |

| [GV68]     | I. M. Gel'fand and N. Ya. Vilenkin. Generalized Functions , vol- ume 4. Academic Press, Inc., New York and London, 1968. 3                                                                                     |
|------------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [HKPS93]   | T. Hida, H. H. Kuo, J. Potthoff, and L. Streit. White Noise. An Infinite Dimensional Calculus . Kluwer Academic Publishers, Dordrecht, 1993. 3, 4, 6, 13                                                       |
| [HØ03]     | Y. Hu and B. Øksendal. Fractional white noise calculus and applications to finance. Infin. Dimens. Anal. Quantum Probab. Relat. Top. , 6(1):1-32, 2003. 2                                                      |
| [KLP + 96] | Yu. G. Kondratiev, P. Leukert, J. Potthoff, L. Streit, and W. Westerkamp. Generalized functionals in Gaussian spaces: The characterization theorem revisited. J. Funct. Anal. , 141(2):301- 318, 1996. 3, 5, 6 |
| [Kuo96]    | H. H. Kuo. White Noise Distribution Theory . CRC Press, Boca Raton, New York, London and Tokyo, 1996. 3, 13                                                                                                    |
| [LLSW93]   | A. Lascheck, P. Leukert, L. Streit, and W. Westerkamp. Quan- tum mechanical propagators in terms of Hida distributions. Rep. Math. Phys. , 33:221-232, 1993. 13                                                |
| [LLV14]    | J. Lebovits and J. Lévy Véhel. White noise-based stochastic cal- culus with respect to multifractional Brownian motion. Stochas- tics , 86(1):87-124, 2014. 3, 7, 8, 9                                         |
| [Mis08]    | Y. S. Mishura. Stochastic Calculus for Fractional Brownian Motion and Related Processes . Lecture Notes in Mathematics. Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg, 2008. 2                         |
| [MvN68]    | B. B. Mandelbrot and J. W. van Ness. Fractional Brownian mo- tions, fractional noises and applications. SIAM Review , 10:422- 437, 1968. 2                                                                     |
| [MWX08]    | M. Meerschaert, D. Wu, and Y. Xiao. Local times of multifrac- tional brownian sheets. Bernoulli , 14(3):865-898, 08 2008. 3, 13                                                                                |
| [Nua06]    | David Nualart. Stochastic calculus with respect to fractional Brownian motion. Annales de la faculté des sciences de Toulouse Mathématiques , 15(1):63-78, 2006. 2                                             |

```
[Oba94]     N. Obata. White Noise Cal
```
Wolfgang Bock Jose Luis da Silva Herry Pribawanto Suryawan
Local times for multifractional Brownian motion in higher dimensions: A white noise approach
We present the expansion of the multifractional Brownian (mBm) local time in
higher dimensions, in terms of Wick powers of white noises (or multiple Wiener
integrals). If a suitable number of kernels is subtracted, they exist in the
sense of generalized white noise functionals. Moreover we show the convergence
of the regularized truncated local times for mBm in the sense of Hida
distributions.