arxiv: v1 [math.pr] 28 Jan 2018

Transcription

1 Submitte to the Annals of Probability WAVELET ANALYSIS OF THE BESOV REGULARITY OF LÉVY WHITE NOISES arxiv: v [math.pr] 28 Jan 208 By Shayan Azizneja, Julien Fageot an Michael Unser Ecole olytechnique féérale e Lausanne In this aer, we characterize the local smoothness an the asymtotic growth rate of Lévy white noises. We o so by ientifying the weighte Besov saces in which they are localize. We exten known results in two ways. First, we obtain new bouns for the local smoothness via the Blumenthal-Getoor inices of the Lévy white noise. We euce the critical local smoothness when the two inices coincie, which is true for symmetric-α-stable, comoun Poisson an symmetric-gamma white noises. Secon, we exress the critical asymtotic growth rate in terms of the moments roerties of the Lévy white noise. Previous analysis only rovie lower bouns for both the local smoothness an the asymtotic growth rate. Showing the sharness of these bouns requires to etermine in which Besov saces a given Lévy white noise is (almost surely) not. Our methos are base on the wavelet-omain characterization of Besov saces an recise moment estimates for the wavelet coefficients of the noise.. Introuction an Main Results. The main toic of this aer is the stuy of the Besov regularity of Lévy white noises. We are esecially intereste in ientifying the critical local smoothness an the critical asymtotic growth rate of those ranom rocesses for any integrability arameter. In a nutshell, our contributions are as follows: Wavelet methos for Lévy white noises. First aearing in the eighties, esecially in the works of Y. Meyer [29] an I. Daubechies [7], wavelet techniques became establishe are rimary tools in functional analysis. As such, they can naturally be use for the stuy of ranom rocesses, as it was one, for instance, for fractional Brownian motion [30], SαS rocesses [32], an for the stuy of stochastic artial ifferential equations [9, 20]. In this aer, we emonstrate that such wavelet techniques are also aate to the analysis of Lévy white noises. In articular, all our results are erive using the wavelet characterization of weighte Besov saces. New ositive results. We etermine in which weighte Besov saces is a given Lévy white noise w is. We are able to imrove known results; in articular, for the growth roerties of the noise. This requires the ientification of a new inex associate to w, characterize by moments roerties. Negative regularity results. We also etermine in which Besov saces a Lévy white noise is not. This requires a more evolve analysis as comare to ositive results an ha, to the best of our knowlege, only receive limite attention of researchers in the ast. Critical local smoothness an asymtotic rate. The combination of ositive an negative results allows etermining the critical Besov exonents of the Lévy white noises, both for the local smoothness an the asymtotic behavior. The results are summarize in Theorem. Two consequences are the characterization of the Sobolev an Höler-Zigmun regularities of Lévy white noises in Corollary. MSC 200 subject classifications: Primary 60K35, 60K35; seconary 60K35 Keywors an hrases: Lévy White Noise, Besov regularity, Wavelet bases, Generalize ranom rocesses, L A TEX2ε

2 2.. Local Smoothness an Asymtotic Rate of Temere Generalize Functions. We construct ranom rocesses as ranom elements in the sace S (R ) of temere generalize functions from R to R (see Section 2.). We will therefore escribe their local an asymtotic roerties as we woul o for a (eterministic) temere generalize function. To o so, we rely on the family of weighte Besov saces, which are embee in S (R ) an allows to jointly stuy the local smoothness an the asymtotic behavior of a generalize function. Besov saces are enote by B τ,q (R ), where τ R is the smoothness, (0, ] the integrability, an q (0, ] a seconary arameter. In this aer, we focus on the case = q. We use the simlifie notation B τ, (R ) = B τ (R ) for this saces which are sometimes refer to as Sobolev- Soboeckij saces. We say that f is in the weighte Besov sace B τ (R ;ρ) with weight ρ R if ρ f is in the classical Besov sace B τ (R ), with the notation x = (+ x 2 ) /2. We recisely efine weighte Besov saces in Section 2.3 in terms of wavelet exansions. For the time being, it is sufficient to remember that the sace of temere generalize functions satisfies [24, Proosition ] (.) S (R ) = τ,ρ R B τ (R ;ρ). Ieally, we aim at ientifying in which weighte Besov sace a given f S (R ) is. The relation (.) imlies that for any, there exists some τ,ρ for which this is true. For fixe, Besov saces are continuously embee in the sense that, for τ,τ,τ 2 an ρ,ρ,ρ 2 such that τ τ 2 an ρ ρ 2, we have B τ 2 (R ;ρ) B τ (R ;ρ) an B τ (R ;ρ 2 ) B τ (R ;ρ ). To characterize the roerties of f S (R ), the key is then to etermine the two critical exonents τ (f) (, ] an ρ (f) (, ] such that: if τ < τ (f) an ρ < ρ (f), then f B τ (R ;ρ); while if τ > τ (f) or ρ > ρ (f), then f / B τ (R ;ρ). The case τ (f) = corresons to smooth functions, an ρ (f) = means that f is raily ecaying. The quantity τ (f) measures the local smoothness an ρ (f) the asymtotic rate of f for the integrability. When ρ (f) < 0 (which will be the case for Lévy white noise), we talk about the asymtotic growth rate of f..2. Local Smoothness an Asymtotic Rate of Lévy White Noises. The comlete family of Lévy white noises, efine as ranom elements in the sace of generalize functions, was introuce by I.M. Gel fan an N.Y. Vilenkin [8]. We briefly reca the concets require to state our main results. A more comlete exosition is given in Section 2. Our main contributions concern the localization of a Lévy white noise w in weighte Besov saces. It inclues ositive (w is almost surely in a given Besov sace) an negative (w is almost surely not in a given Besov sace) results. In orer to characterize the local smoothness τ (w) an the asymtotic rate ρ (w), we now introuce some notations. Let X = w, ½ [0,] be the ranom variable corresoning to the integration of the Lévy white noise w over the omain [0,]. The Lévy exonent Ψ of w is the logarithm of the characteristic function of x; that is, for every ξ R, [ ] [ (.2) Ψ(ξ) = loge e iξ w,½ [0,] = loge e iξx].

3 WAVELET ANALYSIS OF LÉVY WHITE NOISES 3 We associate to a Lévy white noises its Blumenthal-Getoor inices, efine as { } β = inf > 0 Ψ(ξ) (.3) lim ξ ξ = 0, { } = inf > 0 β liminf Ψ(ξ) (.4) ξ ξ = 0. The istinction is that β consiers the limit, while eals with the inferior limit. In general, one has that 0 β β 2. The Blumenthal-Getoor inices are linke to the local behavior of Lévy rocesses an β Lévy white noises (see Section 2.2 for more etails an references to the literature). In aition, we introuce the moment inex of w { } (.5) max = su > 0 E[ w, ½ [0,] ] <, white noise which is closely relate but not ientical to the Pruitt inex in general (see Section 2.2). As we shall see, max fully characterizes the asymtotic rate of the Lévy. The class of Lévy white noise is very general. Secific examles are the Gaussian an comoun Poisson white noises, which will receive a secial treatment thereafter. We summarize the results of this aer in Theorem. Theorem. Consier a Lévy white noise w with Blumenthal-Getoor inices 0 β β 2 an moment inex 0 < max. We fix 0 <. If w is Gaussian, then, almost surely, (.6) τ (w) = 2 an ρ (w) =. If w is comoun Poisson, then, almost surely, (.7) τ (w) = an ρ (w) = min(, max ). If w is non-gaussian, then, almost surely, if (0,2), is an even integer, or =, (.8) max(,β ) τ (w) max(, β ) an ρ (w) = min(, max ). Theorem rovies the full answer to the non-gaussian scenario with 0 < 2 when = β. This covers the case for most of the Lévy white noises use in ractice, incluing symmetric-α-stable β or symmetric-gamma. For > 2, we have full results for even integers. Note that the smoothness is τ (w) = / in this case (because β 2). In Section 6, we refine Theorem by showing that the relation τ (w) max(, β an ρ ) (w) = min(, max) are vali for any > 0. We conjecture that (.8) is actually true without restriction on. Two irect consequences are the ientification of the Sobolev ( = 2) an Höler-Zigmun ( = ) regularity of Lévy white noises. Corollary. Let w be a Lévy white noise in S (R ) with inices max,β, β. Then, the Sobolev local smoothness an asymtotic growth rate ( = 2) are (.9) τ 2 (w) = 2 an ρ 2 (w) = min(2, max ).

4 4 Moreover, the Höler-Zigmun local smoothness an asymtotic growth rate ( = ) are (.0) (.) τ (w) = 2 an ρ (w) = 0 if w is Gaussian, an τ (w) = an ρ (w) = max otherwise. Proof. The case = 2 is irectly euce from Theorem an the relation β 2. For =, we use again Theorem with = 2m, together with the embeing relations (Proosition 2) from which we know that τ w ( ) = lim m τ w (2m) an ρ w ( ) = lim m ρ w (2m). Theorem also allows eucing the following results on the local smoothness of Lévy rocesses. Corollary 2. Let X be a Lévy rocess with Blumenthal-Getoor inices 0 β β 2. Then, we have almost surely that, for any 0 <, (.2) (.3) τ (X) = 2 τ (X) = if X is Gaussian, an if X is comoun Poisson. In the general case, we have almost surely that, for (0,2), is an even integer, or =, (.4) max(,β ) τ (X) max(, β ). Proof. A Lévy white noise w is the weak erivative of the corresoning Lévy rocess X with ientical Lévy exonent. This well-known fact has been rigorously shown in the sense of generalize ranom rocesses in [5]. A irect consequence is that τ (X) = τ (w) +, where w = X. Then, Corollary 2 is a reformulation of the local smoothness results of Theorem with =..3. Relate Works on Lévy Processes an Lévy White Noises. In this section, for comarison uroses, we reinterret all the results in terms of the critical smoothness an asymtotic rate of the consiere ranom rocesses. Lévy rocesses. Most of the attention has been so far evote to classical Lévy rocessess : R R. The Brownian motion was stuie in [42, 35, 4]. The work of [4] also contains results on the Besov regularity of fractional Brownian motions an SαS rocesses. By exloiting the self-similarity of the stable rocesses, Ciesielski et al. obtaine the following results the Gaussian [4, Theorem IV.3] an stable non-gaussian [4, Theorem VI.] scenarios: (.5) 2 τ (X Gauss ) (.6) max(,α) τ (X α ) min(2,), min(,α), for any < α, where X Gauss is the Brownian motion an X α is the SαS rocess with arameter < α < 2. The comlete family of Lévy rocesses an more generally of Lévy-tye rocesses has been consiere by R. Schilling in a series of aers [38, 39, 40] synthesize in [3, Chater V] an by V.

5 WAVELET ANALYSIS OF LÉVY WHITE NOISES 5 Herren [2]. To summarize, Schilling has shown that, for a Lévy rocess X with inices 0 β 2 an 0 < max, (.7) (.8) max(,β ) τ (X), min( max,2) ρ (X). We see that (.5), (.6), an (.7) are consistent with Corollary 2. Moreover, our results rovie an imrovement by showing that the lower bouns of (.5) an (.6) are actually shar. Finally, we significantly imrove the uer boun of (.7) for general Lévy rocesses. In contrast to the smoothness, the growth rate (.8) of the Lévy rocess X oes not seem to be relate to the one of the Lévy white noise w = X by a simle relation. In articular, the rate of X is exresse in terms of the Pruitt inex β 0 = min( max,2), conversely to max for w (see Section 2.2). This nees to be confirme by a recise estimation of τ (X) for which only a lower boun is known. Our conjecture is that (.8) is shar; that is, ρ (X) = min(. max,2) Lévy white noises. Veraar extensively stuie the local Besov regularity of the -imensional Gaussian white noise. As a corollary of [47, Theorem 3.4], one then euces that τ (w Gauss ) = /2. This work is base on the Fourier series exansion of the rocess, which is secific to the Gaussian case. In our own works, we have investigate the question for general Lévy white noises in imension in the erioic [6] an global settings [2]. We ha obtaine the lower bouns (.9) (.20) max(,β ) τ (w) an min(, max,2) ρ (w). These estimates are imrove by Theorem, which now rovies an uer boun for τ (w) an shows that (.9) is shar when β = β. It is also worth noticing that the lower boun of (.20) is shar if an only if max 2; in articular, when the Lévy white noise has an infinite variance ( max < 2)..4. Sketch of Proof an the Role of Wavelet Methos. Our techniques are base on the wavelet characterization of Besov saces as resente by H. Triebel in [44]. We shall wee that the wavelets are esecially relevant to the analysis of Lévy white noises. We briefly resent the strategy of the roof of Theorem in the simlifie scenario of =. The more general case,, is analogous (u to some normalization factors) an will be comrehensively introuce in Section 2. Let (ψ M,ψ F ) be the mother an father Daubechies wavelet of a fixe orer (the choice of the orer has no influence on the results), resectively. For j 0 an k Z, we efine the rescale an shifte functions ψ F,k = ψ F ( k) an ψ j,m,k = 2 j/2 ψ M (2 j k). Then, the family (ψ F,k ) k Z (ψ j,m,k ) j 0,k Z forms an orthonormal basis of L 2 (R ). For a given one-imensional Lévy white noise w, one consiers the family of ranom variables (.2) ( w,ψ F,k ) k Z ( w,ψ j,m,k ) j 0,k Z. We then have thatw = k Z w,ψ F,k ψ F,k + j 0 k Z w,ψ j,m,k ψ j,m,k, for which the convergence is almost sure in S (R).

6 6 Then, for 0 < an τ,ρ R, the ranom variable (.22) w B τ (R;ρ) = k ρ w,ψ F,k + k Z j 0 2 j(τ + 2 ) k Z 2 j k ρ w,ψ j,m,k / is well-efine, an takes values in [0, ]. We aat (.22) in the usual manner when =. We recognize the Besov (quasi-)norm that characterizes the Besov localization of the Lévy white noise. This means that w is a.s. (almost surely) in B τ (R;ρ) if an only if w B τ (R;ρ) < a.s., an a.s. not in B τ (R;ρ) if an only if w B τ (R;ρ) = a.s. We then fix 0 <. We assume that we have guesse the values τ (w) an ρ (w) introuce in Section. Here are the main stes leaing to the roof that these values are the correct ones. For τ < τ (w) an ρ < ρ (w), we show that w B τ (R;ρ) < a.s. For < max (see (.5)), we establish the strongest result E[ w B ] <. This requires moment estimates for (R;ρ) τ the wavelet coefficients of Lévy white noise; that is, a recise estimation of the behavior of E[ w,ψ j,g,k ] as j goes to infinity. When > max, the ranom variables w,ψ j,g,k have an infinite th moment an the resent metho is not alicable. In that case, we actually euce the result using embeings relations between Besov saces. It aears that this aroach is sufficient to obtain shar results. For τ > τ (w), we show that w B τ (R;ρ) = a.s. To o so, we only consier the mother wavelet an truncate the sum over k to yiel the lower boun (.23) w B τ (R;ρ) C j 0 2 j(τ + 2 ) 0 k,...,k <2 j w,ψ j,m,k for some constant C such that 2 j k ρ C for every j 0 an 0 k < 2 j. We then nee to show that the wavelet coefficients w,ψ j,g,k cannot be too small altogether using Borel- Cantalli-tye arguments. Tyically, this requires to control the evolution of quantities such as P( w,ψ j,g,k > x) with resect to j an is again base on moment estimates. For ρ > ρ (w), we show again that w B τ (R;ρ) = a.s. This time, we only consier the father wavelet in (.22) an use the lower boun (.24) w B τ (R;ρ) k Z k ρ w,ψ 0,F,k. A Borel-Cantelli-tye argument is again use to show that the w,ψ 0,F,k cannot be too small altogether, an that the Besov norm is a.s. infinite. The rest of the aer is eicate to the roof of Theorem. The require mathematical concets Lévy white noises as generalize ranom rocesses an weighte Besov saces are lai out in Section 2. In Sections 3, 4, an 5, we consier the case of Gaussian noises, comoun Poisson noises, an finite moments Lévy white noises, resectively. The general case for any Lévy white noise is euce in Section 6. Finally, we iscuss our results an give imortant examles in Section Preliminaries: Lévy White Noises an Weighte Besov Saces. 2.. Lévy White Noises as Generalize Ranom Processes. Let S(R ) be the sace of raily ecaying smooth functions from R to R. It is enowe with its natural Fréchet nuclear toology [43]. Its toological ual is the sace of temere generalize functions S (R ). We shall efine

7 WAVELET ANALYSIS OF LÉVY WHITE NOISES 7 ranom rocesses as ranom elements of the sace S (R ). This allows for a roer efinition of Lévy white noises even if they o not have a ointwise interretation (they can only be escribe by their effect into test functions). The sace S (R ) is enowe with the strong toology an B(S (R )) enotes the Borelian σ-fiel for this toology. Throughout the aer, we fix a robability sace (Ω,F,P). Definition. A generalize ranom rocess s is a measurable function from(ω,f) to(s (R ),B(S (R )). Its robability law is the robability measure on S (R ) efine for B B(S (R )) by (2.) P s (B) = P{ω Ω, s(ω) B}. The characteristic functional of s is the functional Ps : S(R ) C such that (2.2) Ps (ϕ) = e i u,ϕ P s (u). S (R ) The characteristic functional is continuous, ositive-efinite over S(R ), an normalize such that P s (0) =. The converse of this result is also true: if P is a continuous an ositive-efinite functional over S(R ) such that P(0) =, it is the characteristic functional of a generalize ranom rocess in S (R ). This is known as the Minlos-Bochner theorem [8, 3]. It means in articular that one can efine generalize ranom rocesses via the secification of their characteristic functional. Following Gelfan an Vilenkin, we use this rincile to introuce Lévy white noises. We consier functionals of the form P(ϕ) = ex ( R Ψ(ϕ(x))x ). It is known [8] that P is a characteristic functional over the sace D(R ) of comactly suorte smooth functions, if an only if the function Ψ : R C is continuous, conitionally ositive-efinite, with Ψ(0) = 0 [8]. A function Ψ satisfying these conitions is calle a Lévy exonent an can be ecomose accoring to the Lévy-Khintchine theorem [37] as (2.3) Ψ(ξ) = iµξ σ2 ξ 2 + (e iξt iξt½ 2 t )ν(t) R where µ R, σ 2 0, an ν is a Lévy measure; that is, a ositive measure on R such that ν{0} = 0 an R inf(,t2 )ν(t) <. The trilet (µ,σ 2,ν) is unique an calle the Lévy trilet of Ψ. In our case, we are only intereste by efining ranom rocesses, esecially Lévy white noises, over S (R ). This requires an aatation of the theory of Gelfan an Vilenkin. We say that the Lévy exonent Ψ satisfies the ǫ-conition if there exists some ǫ > 0 such that R inf( t ǫ,t 2 )ν(t) <, with ν the Lévy measure of Ψ. This conition is fulfille by all the Lévy measures encountere in ractice. Then, the functional P(ϕ) = ex (R Ψ(ϕ(x))x ) is a characteristic functional over S(R ) if an only if Ψ is a Lévy exonent satisfying the ǫ-conition. The sufficiency is rove in [] an the necessity in [5]. Definition 2. A Lévy white noise in S (R ) (or simly Lévy white noise) is a generalize ranom rocess w with characteristic functional of the form ( ) (2.4) Pw (ϕ) = ex Ψ(ϕ(x))x R for every ϕ S(R ), where Ψ is a Lévy exonent satisfying the ǫ-conition. The Lévy trilet of w is enote by (µ,σ 2,ν). Then, we say that w is a Gaussian white noise if ν = 0, comoun Poisson white noise if σ 2 = 0 an ν = λp, with λ > 0 an P a robability measure such that P{0} = 0, an a finite moment white noise if E[ w,ϕ ] < for any ϕ S(R ) an > 0.

8 8 Lévy white noises are stationary an ineenent at every oint, meaning that w,ϕ an w,ϕ 2 are ineenent as soon as ϕ an ϕ 2 S(R ) have isjoint suorts. One can exten the sace of test functions that can be alie to the Lévy white noise. This is one by aroximating a test functionϕwith functions ins(r ) an showing that the unerlying sequence of ranom variables converges in robability to a ranom variable that we enote by w,ϕ. This rincile is eveloe with more generality in [3] by connecting the theory of generalize ranom rocess to ineenently scattere ranom measures in the sense of B.S. Rajut an J. Rosinski [34]. In articular, as soon as ϕ L 2 (R ) is comactly suorte, the ranom variable w,ϕ is well-efine. Daubechies wavelets or inicator functions of measurable sets with finite Lebesgue measures are in this case. This was imlicitely use in Section.2 when consiering the ranom variable w, ½ [0,] Inices of Lévy White Noises. First of all, we will only consier Lévy white noises whose Lévy exonent satisfies the sector conition; that is, there exists M > 0 such that (2.5) I{Ψ}(ξ) M R{Ψ}(ξ). This conition ensures that no rift is ominating the Lévy white noise (a rift aears as urely imaginary in the Lévy exonent) an is neee for linking the inices with the Lévy measure [39, 8]. In Theorem, the smoothness an growth rate of Lévy white noises is characterize in terms of the inices (.3), (.4), an (.5). We give here some aitional insight about these quantities. The two former are classical, while the latter has never been consiere to characterize the behavior of Lévy rocesses or noises for the best of our knowlege. For the notations of the ifferent inices, with the excetion of max, we follow [3]. The inex β was introuce by R. Blumenthal an R. Getoor [2] in orer to characterize the behavior of Lévy rocess at the origin. This quantity aears to characterize many local roerties of ranom rocesses riven by Lévy white noises, incluing the Hausorff imension of the image set [3], the sectrum of singularities [23, 9], the Besov regularity [38, 40, 2, 3], the local self-similarity [4], or the local comressiblity [5]. Finally, the inex lays a crucial role in the secification of negative results; that is, to ientify the Besov saces β in which the Lévy white noises are not. It satisfies moreover the relation β. In [33], W. Pruitt roose β the inex (2.6) β 0 = su { > 0 lim ξ 0 } Ψ(ξ) ξ = 0 as the asymtotic counterart of β. This quantity aears in the asymtotic growth rate of the suremum of Lévy(-tye) rocesses [39] an the asymtotic self-similarity of ranom rocesses riven by Lévy white noises [4]. The Pruitt inex iffers from the inex max aearing in Theorem. Actually, the two quantities are linke by the relation β 0 = inf( max,2). This is shown by linking β 0 to the Lévy measure [3] an knowing that β 0 2 (see the aenix of [8] for a short an elegant roof). This means that β 0 < max when the Lévy white noise has finite moments of orer bigger than 2, an one cannot recover max from β 0 in this case. It is therefore require to introuce the inex max in aition to the Pruitt inex in our analysis. The first art of the next result is the famous Lévy-Itô ecomosition, usually given for Lévy rocesses an reformulate here for Lévy white noises. We a a roof in the context of generalize ranom rocesses for the sake of comleteness. The secon art resents how oes the inices of the corresoning noise behave.

9 WAVELET ANALYSIS OF LÉVY WHITE NOISES 9 Proosition. A Lévy white noise w can be ecomose as w = w +w 2 +w 3 with w a Gaussian noise, w 2 a comoun Poisson noise, an w 3 a Lévy white noise with finite moments, the three noises being ineenent. Moreover, we have the following relations between the inices: If w has no Gaussian art (w = 0), then If w has a Gaussian art, then β (w) = β (w 3 ) β (w 2 ) = 0; β (w) = β (w 3 ) β (w 2 ) = 0; max (w) = max (w 2 ) max (w 3 ) =. β (w) = β (w) = 2; max (w) = max (w 2 ) max (w ) = max (w 3 ) =. Proof. Two generalize ranom rocesses s an s 2 are ineenent if an only if one has, for every ϕ S(R ), (2.7) Ps +s 2 (ϕ) = P s (ϕ) P s2 (ϕ). We slit the Lévy exonent Ψ of w with Lévy trilet (µ,σ 2,ν) as (2.8) Ψ(ξ) = (iµξ + σ2 ξ 2 ) ( ) ( ) + (e iξt )½ 2 t > ν(t) + (e iξt iξt)½ t ν(t) R R (2.9) := Ψ (ξ)+ψ 2 (ξ)+ψ 3 (ξ). Then, Ψ, Ψ 2, an Ψ 3 (ξ) are three Lévy exonents with resective trilets (µ,σ 2,0), (0,0, ½ ν), an (0,0, ½ > ν). We enote by w, w 2, an w 3 the resective unerlying Lévy white noises. We easily see that (2.0) Pw (ϕ) = P w (ϕ) P w2 (ϕ) P w3 (ϕ) showing the ineenence of the noises. It is clear that w is Gaussian. Moreover, R ν 2(t) = t > ν(t) <, hence w 2 is a comoun Poisson noise in the sense of Definition 2. Finally, the moments of w 3 are finite since t > t ν 3 (t) = 0 < for every > 0 an using [37, Theorem 25.3]. The relations between the Blumenthal-Getoor inices are easily euce from the fact that Ψ(ξ) = Ψ (ξ)+ψ 2 (ξ) +Ψ 3 (ξ) an Ψ (ξ) = σ 2 0 ξ2 /2, with σ 2 0 the variance of w. For the moment inice, we recall that for any > 0, there exists c > 0 such that a+b c ( a + b ). Therefore, if X an Y are two ranom variables such that E[ Y ] <, we have (2.) c (E[ X ] E[ Y ]) E[ X +Y ] c (E[ X ]+E[ Y ]). Alying this to X = w 2, ½ [0,] an Y = w +w 3, ½ [0,], which has finite th moments for any > 0, we euce from (2.) that w, (2.2) E[ ½[0,] ] = E[ X +Y w2 ] < E[, ½ [0,] ] = E[ X ] <. Hence, w an w 2 have the same moment inex.

10 Weighte Besov Saces. We efine the family of weighte Besov saces base on wavelet methos, as exose in [44]. Essentially, Besov saces are subsaces of S (R ) that are characterize by weighte sequence norms of the wavelet coefficients. Following Triebel, we use Daubechies wavelets, which we introuce first. The scale an shift arameters of the wavelets are resectively enote by j 0 an k Z. The letters M an F refer to the gener of the wavelet (F for the father wavelets an G for the mother wavelet). Consier two functions ψ M an ψ F L 2 (R). We set G 0 = {M,F} an, for j, G j = G 0 \{F }. For G = (G,...,G ) G 0, calle a gener, we set, for every x = (x,...,x ) R, ψ G (x) = i= ψ G i (x i ). For j 0, G G j, an k Z, we efine (2.3) ψ j,g,k := 2 j/2 ψ G (2 j k). It is known that, for any regularity arameter r 0, there exists two functions ψ M,ψ F L 2 (R) that are comactly suorte, with at least r 0 continuous erivatives such that the family (2.4) {ψ j,g,k } (j,g,k) N G j Z is an orthonormal basis ofl 2 (R ) [44]. Concretely, one can consier the family of Daubechies wavelets [6]. We now introuce the family of weighte Besov saces B τ (R ;ρ). Traitionally, Besov saces also eens on the aitional arameter q (0, ] (see for instance [44, Definition X]). We shoul only consier the case q = in this aer, so that we o not refer to this arameter. The following efinition of weighte Besov saces is base on wavelets. It is equivalent with the more usual Fourier-base efinitions. This equivalence is rove in [44]. Definition 3. Let τ,ρ R an 0 <. Fix r 0 > max(τ,(/ ) + τ) an consier a family of comactly suorte wavelets {ψ j,g,k } (j,g,k) N G j Z with at least r 0 continuous erivatives. The weighte Besov sace B τ(r ;ρ) is the collection of temere generalize functions f S (R ) that can be written as (2.5) f = c j,g,k ψ j,g,k. (j,g,k) N G j Z where the convergence hols unconitionally on S (R ). The arameter r 0 in Definition 3 is chosen such that the wavelet is regular enough to be alie to a function of B τ (R ;ρ). When the convergence (2.5) occurs, the uality rouct f,ψ j,g,k is well efine an we have c j,g,k = f,ψ j,g,k. Moreover, the quantity (2.6) f B τ (R ;ρ) := j 0 2 j(τ + 2 ) G G j 2 j k ρ f,ψ j,g,k k Z is finite for f B τ (R ;ρ) an secifies a norm (a quasi-norm, resectively) on B τ (R ;ρ) for ( <, resectively). The sace B τ (R ;ρ) is a Banach (a quasi-banach, resectively) for this norm (quasi-norm, resectively). Proosition 2 (Embeings between weighte Besov saces). Let 0 < 0 an τ 0,τ,ρ 0,ρ R. /

11 WAVELET ANALYSIS OF LÉVY WHITE NOISES τ ρ τ 0 ρ (a) (/,τ)-iagram for fixe ρ 0 (b) (/,ρ)-iagram for fixe τ 0 Fig : Reresentation of the embeings between Besov saces: If f B τ 0 0 (R ;ρ 0 ), then f is in any Besov sace that is in the shae green regions. Conversely, if f / B τ 0 0 (R ;ρ 0 ), then f is not in any of the Besov saces of the shae re regions. We have the embeing B τ 0 0 (R ;ρ 0 ) B τ (R ;ρ ) as soon as (2.7) τ 0 τ > 0 an ρ 0 > ρ. We have the embeing B τ (R ;ρ ) B τ 0 0 (R ;ρ 0 ) as soon as (2.8) ρ 0 ρ > 0 an τ 0 > τ. The embeing for the relation (2.7) is rove in [0, Section 4.2.3] an the one for (2.8) in [2, Section 2.2.2]. Proosition 2 is summarize in the two Triebel iagrams of Figure. As a simle examle, we obtain the Besov localization of the Dirac istribution. Of course, this result is known, an an alternative roof can be foun for instance in [4]. We believe that it is interesting to give our own roof here. First, it illustrates how to use the wavelet-base characterization of Besov saces, an secon, it will be use to obtain shar results for comoun Poisson rocesses, justifying to inclue the roof for the sake of comleteness. Proosition 3. The Dirac imulse δ is in B τ (R ;ρ) if an only if τ <. Proof. The efinition of the Besov (quasi-)norm easily gives (2.9) δ B(R τ ;ρ) = 2 j(τ +) 2 j k ρ ψ G (k). j 0 G G j k Z The common suort K ψ of the ψ G is comact. Therefore, only finitely many ψ G (k) are non zero, an for such k an every j we have (2.20) 0 < min x K ψ x ρ = 2 j k ρ max x K ψ x ρ <. It is then easy to fin 0 < A B < such that (2.2) A j 0 2 j(τ +) δ B τ (R ;ρ) B j 02 j(τ +). The sum converges for τ + < 0 an iverges otherwise, imlying the result. The reresentation of the smoothness roerties in iagrams with axis (/,τ) is inherite from the work of H. Triebel. It is very convenient, since the smoothness has often a simle formulation in terms of /. This is also vali for the asymtotic rate ρ.

12 2 3. Gaussian White Noise. Our goal in this section is to rove the Gaussian art of Theorem. Without loss of generality, we will always assume that the noise has variance. The Gaussian case is much simler than the general one since the wavelet coefficients of the Gaussian noise are ineenent an ientically istribute. We resent it searately for three reasons: (i) it can be consiere as an instructive toy roblem, containing alreay some of the technicalities that will aear for the general case, (ii) it cannot be euce from the other sections, where the results are base on a careful stuy of the Lévy measure of the noise (the Lévy measure of the Gaussian noise is zero), an (iii) we are not aware that the localization of the Gaussian noise in weighte Besov saces has been aresse in the literature (for the local Besov regularity, an in-eth answer is given in [47]). We first state a simle lemma that will be useful throughout the aer to show negative results (w not in a given weighte Besov sace) for the asymtotic rate ρ. (3.) Lemma. Assume that (X k ) k Z, is a sequence of i.i.. nonzero ranom variables. Then, X k = + a.s. k k Z Proof. First of all, the result for any imension is easily euce from the one-imensional case. Moreover, k an k are equivalent asymtotically, so that it is equivalent to show that X k k k = for X k i.i.. For k, we set Z k = 2 k 2 k l=2 X k l, so that (3.2) k X k k = k 2 k X l l l=2 k k 2 k 2 k X l = l=2 k k Z k The Z k are ineenent because the X k are. Moreover, for all k, we have E[Z k ] = E[ X ]. The weak law of large numbers ensures that P(Z k > E[ X ]/2) goes to, therefore k P(Z k > E[ X ]/2) =. Since the events {Z k > E[ X ]/2} are ineenent, we can aly the Borel- Cantelli lemma to euce that infinitely many Z k are bigger than E[ X ]/2 almost surely. Finally, this imlies that k Z k = almost surely an the result is rove. Proosition 4. The Gaussian white noise w is almost surely in B τ (R ;ρ) if τ < /2 an ρ < /, an almost surely not in B τ (R ;ρ) if τ /2 or ρ /. Proof. If τ < /2 an ρ < /. For > 0, we enote by C the -th moment of a Gaussian ranom variable with 0 mean an variance. For the Gaussian noise, w,ϕ an w,ϕ 2 are ineenent if an only if ϕ,ϕ 2 = 0, an w,ϕ is a Gaussian ranom variable with variance ϕ 2 2 [46]. The family of functions (ψ j,g,k) j,g,k being orthonormal, the ranom variables w,ψ j,g,k are therefore i.i.. with law N(0,). We then have E[ w B τ(r ;ρ) ] = 2 j(τ + 2 ) 2 j k ρ E[ w,ψ j,g,k ] j 0 G G j k Z (3.3) = C j 0 2 j(τ + 2 ) Car(G j ) k Z 2 j k ρ 2 C 2 j(τ + 2 ) 2 j k ρ. k Z j 0

13 WAVELET ANALYSIS OF LÉVY WHITE NOISES 3 The last inequality is ue to Car(G j ) 2. Since ρ < an 2 j k k 2 j k, we have that k Z 2j k ρ <. Moreover, we recognize a Riemann sum an have the convergence (3.4) 2 j 2 j k ρ x ρ x <. j k Z R In articular, the series )( j 2j(τ+ 2 2 j k 2 j k ρ) converges if an only if the series j 2j(τ+ 2 ) oes; that is, if an only if τ < /2. Finally, if τ < /2 an ρ < /, we have shown that E[ w B τ(r ;ρ) ] < an therefore w Bτ (R ;ρ) almost surely. If τ /2. Then, we have 2 j(τ +/2) 2 j. We aim at lower boun the Besov norm of w an we restrict to the wavelet with gener G = M G j for any j 0. Hence, we have, since 2 j k, w B τ(r ;ρ) (3.5) 2 j w,ψ j,m,k := Z j. j 0 0 k,...,k <2 j j 0 The ranom variables Z j = 2 j 0 k,...,k <2 j w,ψ j,m,k are ineenent, non-negative, an have the same average E[Z j ] = C equals to the th-moment of a Gaussian ranom variable with variance. By the weak law of large numbers, we know that P(Z j C /2) converges to, an then j 0 P(Z j C /2) =. The events {Z j C /2} being ineenent, the Borel- Cantelli lemma ensures that Z j C /2 for infinitely many j almost surely. This ensures that w B τ (R ;ρ) j 0 Z j = almost surely. If ρ /. Keeing only the father wavelet φ = ψ F an the scale j = 0 an exloiting the relation ρ, we have the lower boun (3.6) w B τ (R ;ρ) k Z k ρ w,φ k k Z w,φ k Finally, the ranom variables w,φ k being i.i.., Lemma alies an w B τ (R ;ρ) = almost surely. 4. Comoun Poisson Noises. 4.. Moment estimates for comoun Poisson noises. Our ositive results for comoun Poisson noises are base on a careful estimation of moments for comoun Poisson noise. Lemma 2. Let w be a comoun Poisson rocess with moment inex max an < max. Then, there exists a constant C such that (4.) E[ w,ψ j,g,k ] C2 j/2 j for every j 0, G G j, an k Z. Proof. We enote by λ > 0 the sarsity arameter of w. Being a comoun Poisson noise, w is equal in law to (4.2) w (L) = k Na k δ( x k ) k

14 4 accoring to [45]. For M big enough, the suort of the Ψ G is inclue in [ M/2,M/2]. Hence, the suort of Ψ j,g,k is inclue in (4.3) I j,k := We set [2 j (k i M/2),2 j (k i +M/2)]. (4.4) A j,k = Car{n N, x n I j,k }. i= It is a Poisson ranom variable with arameter λl(i j,k ) = λm 2 j. Then, we have the equality in law (4.5) w,ψ j,k (L) = A j,k a n ψ j,k(x n ) n= where the a k are i.i.. with the same law than the a k. The law of the x k can be secifie exlicitly but will lay no role in the sequel. By conitioning on A j,k an using the relation N N max(0, ) N n= x n, we euce that (4.6) E[ w,ψ j,g,k ] = = P(A j,k = N)E[ w,ψ j,g,k A j,k = N] N= N ] P(A j,k = N)E[ a n ψ j,g,k(x n ) n= [ N ] P(A j,k = N)N max(0, ) E a n ψ j,g,k (x n n) N= N= ψ j,g,k n= P(A j,k = N)N max(,) E[ a ] N= = 2 j/2 ψ G E[ a ] N max(,) P(A j,k = N), N= n= x n where we use at the en the obvious relation ψ j,g,k = 2 j/2 ψ G. Knowing the law of A j,k, we then have (4.7) N max(,) P(A j,k = N) = N= N max(,) N! (M λ) N 2 jn e λm 2 j. N= Then, 2 jn 2 j for every N an e λm 2 j, hence, (4.8) N max(,) P(A j,k = N) N= C2 j where C = N= Nmax(,) N! (M λ) N <. Finally, incluing (4.8) into (4.6), we euce the result with C = CE[ a ] ψ G.

15 WAVELET ANALYSIS OF LÉVY WHITE NOISES The Besov regularity of comoun Poisson noises. We shall rove the following result. Proosition 5. Let w be a comoun Poisson noise with inex max (0, ]. Then, w is almost surely in B τ (R ;ρ) if τ < / an ρ < /min(, max ), an almost surely not in B τ (R ;ρ) if τ / or ρ > /min(, max ). Proof. If < max, τ < /, an ρ < /. Uner this assumtion, we aly Lemma 2 to euce that E[ w B τ (R ;ρ)] = j 0 2 j(τ +/2) G,k 2 j k ρ E[ w,ψ j,g,k ] (4.9) C2 j 0 2 j(τ +) 2 j k Z 2 j k ρ. The sum over the gener was remove using that Car(G j ) 2. Then, 2 k Z j 2 j k ρ j R x ρ x < as soon as ρ < /. Assuming this conition on ρ, the sum in is finite if an only if j 2j(τ +) <, that is, if an only if τ +/ < 0, as execte. If max, τ < /, an ρ < / max. From the conitions on τ an ρ, one can fin 0, ρ 0, an τ 0 such that (4.0) (4.) ρ < ρ 0 < 0 < max, τ + 0 < τ 0 < 0. Then, in articular, 0 <, τ 0 τ > / 0 /, an ρ 0 > ρ, so that B τ 0 0 (R ;ρ 0 ) B(R τ ;ρ) (accoring to (2.7)). Moreover, 0 < max, τ 0 < / 0, an ρ 0 < / 0. We are therefore back to the first case, for which have shown that w B τ 0 0 (R ;ρ 0 ) almost surely. In conclusion, w B(R τ ;ρ) almost surely. Combining this first two cases, we obtain thatw B τ (R ;ρ) ifτ < / anρ < /min(, max ). If τ /. The comoun Poisson noise w is equal in law to (4.2) a n δ( x n ) n Z with (a n ) i.i.. with law of jums P J an (x n ) the jums location, ineenent of (a n ) an such that Car{n,x n B} is a Poisson ranom variable of arameter λleb(b), with Leb(B) the Lebesgue measure of any Borelian set B R. Assume that w is in B τ (R ;ρ) for some ρ R. Then, the rouct of w by any comactly suorte smooth test function ϕ is also in B τ (R ;ρ). Choosing ϕ such that ϕ(x 0 ) = an ϕ(x n ) = 0 for n 0, we get (4.3) ϕ w = a 0 δ( x 0 ) B τ (R ;ρ), what is absur ue to Proosition 3. This roves that w / B τ (R ;ρ) for any ρ R.

16 6 If ρ /. By restricting to the scale j 0, with only the father wavelet φ, an selecting k 0 such that the φ k have isjoint suorts two by two for k k 0 Z, we have the lower boun (4.4) w B τ(r ;ρ) k ρ w,φ k w,φ k k. k k 0 Z k k 0 Z The φ k having isjoint suorts, the ranom variables w,φ k are i.i.. when k k 0 Z. Lemma hence alies an w =, as execte. B τ(r ;ρ) If > max an ρ > / max. This means in articular that max <. We treat the case ρ < 0, the extension for ρ 0 coming easily by embeing. We set q = /ρ. Proceeing as for (4.4), we have that (4.5) w B τ(r ;ρ) w,φ k k /q. k k 0 Z Consier the events A k = { w,φ k k /q } for k k 0 Z. The A k are ineenent because the X k = w,φ k are. Moreover, the X k have the same law, since w is stationary. Set Y = X 0 q. Then, (4.6) P(A k ) = P(Y k ) P(Y mk 0 ). k k 0 Z k k 0 Z m Moreover, we have, exloiting that P(Y x) is ecreasing in x, (4.7) E[Y] = 0 P(Y x)x = m (m+)k0 mk 0 P(Y x)x m P(Y mk 0 ) The relation q = ρ > max imlies that E[Y] = E[ X 0 q ] =. Hence, from (4.6) an (4.7), we euce that k k 0 Z P(A k) =. The Borel-Cantelli lemma imlies that X k k /q for infinitely many k almost surely. Due to (4.5), this imlies that w = almost surely an B τ(r ;ρ) the result is rove. 5. Lévy White Noises with Finite Moments. 5.. Moment estimates for Lévy white noise. As a reliminary result, we estimate the evolution of the even moments of the wavelet coefficients of w with the scale j. This result is aate to the case where the noise has finite moments of orer bigger than 2. Many moment estimates in the litterature usually eal with th-moments where 2 [28, 8, 26, 2]. Lemma 3. Let w be a Lévy white noise with finite moments. Then, for every integer m, there exists a constant C > 0 such that, for every j 0, G G j, an k Z, (5.) E[ w,ψ j,g,k 2m ] C2 j(m ). Proof. Consier a test function ϕ S(R ) an set X = w,ϕ. The characteristic function of X is ( ) (5.2) PX (ξ) = ex Ψ(ξϕ(x))x := ex(ψ ϕ (ξ)). R The functions P X an Ψ ϕ are infinitely ifferentiable because all the moments of X are finite. Their Taylor exansions give resectively the moments an the cumulants of X. In articular, we have

17 WAVELET ANALYSIS OF LÉVY WHITE NOISES 7 E[X 2m ] = ( ) m P(2m) X (0). The (2m)th erivative of PX is euce for instance from the Faà i Bruno formula, an is ( ) (5.3) P(2m) X (ξ) = (2m)! 2m Ψ (v) nv ϕ (ξ) PX (ξ). n!...n 2m! v! n,...n 2m : u unu=2m Exloiting that Ψ (v) ϕ (0) = ( R (ϕ(x)) v x ) Ψ (v) (0) we obtain the boun, for ξ = 0, (5.4) (2m) P X (0) C 2m n,...n 2m : u unu=2m v= v= ( R ϕ(x) v x with C > 0 a constant. We now aly (5.4) to ϕ = ψ j,g. Since we have (5.5) ψ j,g (x) v x = 2 jv/2 ψ G (2 j x k) v x = 2 j(v/2 ) ψ G (x) v x, R R R we euce from (5.4) the new boun (5.6) E[ w,ψ j,g,k 2m ] = (2m) P w,ψ j,g,k (0) C 2m 2 j(v/2 )nv ) nv n,...n 2m : u unu=2m v= v (nv(v/2 )). = C n,...n 2m : u unu=2m 2 j Finally, since v vn v = 2m an v n v, we have v (n v(v/2 )) m, an therefore (5.7) E[ w,ψ j,g,k 2m ] C2 j(m ) for an aequate C > 0, as execte. Until now, we gave moment estimates by roosing uer bouns for the quantity E[ w,ϕ ] (see Lemmas 2 an 3, but also Theorem 2 in [2]). This allows in articular to ientify in which Besov sace is w. We now aress the following roblem: Can we lower boun E[ w,ϕ ] with the moments of ϕ? Lemma 4 answers ositively to this question. Lemma 4. Let w be a Lévy white noise whose inices satisfy 0 < β an β < max. We also fix a nontrivial boune measurable function ψ (tyically a Daubechies wavelet). Consier an integrability 0 < < β satisfying the conitions Then, for ǫ > 0 small enough, there exists A,B > 0 such that (5.8) A2 jǫ 2 j(/2 / β ) E[ w,ψ j,k ] B2 jǫ 2 j(/2 /β ) for any j 0 an k Z. Proof. As a reliminary remark, the shift arameter k in (5.8) can be omitte since w is stationary. We also remark that the uer boun of (5.8) has alreay been roven [2, Corollary ], where the conitions < β < max are require. Actually, [2] oes not consier the inex max

18 8 an istinguishes between the conitions β < β 0 < 2 an β β 0 = 2 with finite variance. These two scenarios are covere by the conition β < max. Hence we focus on the lower boun. Because < 2, one can use the following reresentation of the th-moment of w,ϕ, which can be foun for instance in [27, 8]: (5.9) E[ w,ϕ R P w,ϕ (ξ) ] = c ξ R ξ + for some exlicit constant c > 0. For a short roof, see [2, Proosition 6]. We then remark that (5.0) R P w,ϕ (ξ) P w,ϕ (ξ) = P ( ) w (ξϕ) = Ψ(ξϕ(x))x) (R ex = ex RΨ(ξϕ(x))x. R The sector conition (2.5) imlies that one can foun c Ψ > 0 such that RΨ(ξ) = RΨ (ξ) c Ψ Ψ(ξ). Thus, one has that P w,ϕ (ξ) ex ( c Ψ R Ψ(ξϕ(x)) x ), an then (5.) E[ w,ϕ ] c R e c Ψ R Ψ(ξϕ(x)) x ξ + Now, by efinition of the inex, the function Ψ is ominating ξ β β δ at infinity for 0 < δ < β arbitrarily small. This omination together with the continuity of the functions Ψ an β δ ½ > over [, ), imly the existence of C > 0 such that, for any ξ R, Ψ(ξ) C ξ β δ ½ ξ >. In articular, we have that (5.2) Ψ(ξ(ϕ(x)) x δ C ξ β ϕ(x) β δ. ξϕ(x) > For simlicity, we write β = δ in this roof. We now set ϕ = 2 β j/2 ψ(2 j ), then we have by chance of variable x = 2 j x that ( (5.3) ϕ(x) β = 2 jβ ) 2 β ψ(y) β y. ξϕ(x) > ψ(y) >2 j/2 ξ Let γ 0 an set F(γ) = ψ(y) >γ ψ(y) β y. Then, F is clearly ecreasing, hence for every 0 γ ψ /2 (this last quantity is finite by assumtion on ψ), we have that F(γ) F( ψ /2). Alying this with γ = ξ2 j/2 to (5.3), one euces that (5.4) ψ(y) β y ψ½ ψ > ψ /2 β ψ(y) >2 j/2 ξ β ½ ξ 2 j/2 2/ ψ. Restarting from (5.), we then have ( ( ) E[ w,2 j/2 ψ(2 j ) ex c Ψ C ξ β 2 jβ 2 β) ψ(y) >2 j/2 ξ ψ(y) β y ] c ξ (5.5) R (i) c R ξ + ( ( ) ex c Ψ C ξ β 2 jβ 2 β ) ψ½ ψ > ψ /2 ββ ½ ξ 2 j/22/ ψ ξ ξ + ( (ii) = c c /β Ψ C/β ψ½ ψ > ψ /2 β 2j 2 β) ( (iii) c c /β Ψ C/β ψ½ ψ > ψ /2 β 2j 2 β) R R ξ. e u β ½ u >2 j/β 2/ ψ u + u e u β ½ u >2/ ψ u + u

19 WAVELET ANALYSIS OF LÉVY WHITE NOISES 9 ( where we use (5.4) in (i), the change of variable u = ξc /β Ψ ψ½ ψ > ψ /2 β 2 j 2 β) in (ii), an the inequality ½ u >2 j/β 2/ ψ ½ u >2/ ψ in (iii), vali for any j 0. Finally, we have shown ) that E[ w,2 j/2 ψ(2 j ) ( ] A2 j 2 β with A > 0 a constant ineenent on j. To conclue, we remark that, for ǫ > 0 fixe, one can fin δ > 0 small enough such that 2 jǫ 2 j ( 2 β ) 2 j ( 2 β δ ) for any j 0, giving the lower boun in (5.8) The Besov regularity of finite moment white noises. We have all the tools to euce the following results on the Besov regularity of finite moment white noises. Proosition 6. Let w be a finite moments Lévy white noise with Blumenthal-Getoor inices 0 β β 2. Then, w is almost surely in B τ (R ;ρ) if τ < /max(,β ) an ρ < /, for 0 < 2, an even integer, or = ; an almost surely not in B τ (R ;ρ) if τ > /max(, β ) or ρ / for every 0 < Proof. We only treat the case <. For =, the result is obtaine using embeings (with = 2m, m for ositive results an for negative results). If τ < /max(,β ) an ρ < /. We first remark that for 2, we have ρ < min(,2, = max) min(, max), an the result is a consequence of our revious work [2, Theorem 3]. We can therefore assume that = 2m with m an integer. Then, = 2m 2 β, an the conitions on τ an ρ become τ < 2m an ρ < 2m. Thanks to Lemma 3, we have [ ] E w 2m B2m τ (R ;ρ) = 2 j(2mτ +m) j 0 G,k 2 j k 2mρ E[ w,ψ j,g,k 2m ] C2 2 j(2mτ +2m) (5.6) 2 j 2 j k 2mρ. j 0 k Z Then, 2 j k Z 2 j k 2mρ j R x 2mρ x < since 2mρ <, an the series in (5.6) is finite [ ] if an only if 2mτ +2m < 0, as we assume. Finally, we have shown that E w 2m <, B2m τ (R ;ρ) so that w B2m τ (R ;ρ) almost surely. If τ > /. This art of the roof is actually vali for any Lévy white noise. It uses the ecomosition w = w + w 2 with w a non-trivial comoun Poisson noise an w 2 a white noise with finite moments (see Proosition ). The main iea is that the jums of the comoun Poisson art are enough to make exloe the Besov norm. One writes w = n Z a nδ( x n ) as in (4.2). Then, almost surely, all the a n are nonzero. Let m > 0 be such that P( a 0 m) > 0. One can assume without loss of generality that m = (otherwise, consier the white noise w/m that has the same Besov regularity than w). Then, there exists almost surely n Z such that a n (Borel-Cantelli argument using that the a n are ineenent). For simlicity, one reorers the jums such that this is achieve for n = 0; that is, a 0. Fix I = [a,a+) a set such that the Daubechies wavelet with gener M satisfies ψ M (x) C > 0 for some constant C > 0 an every x I. Due to the size of I, there exists for any j 0 a unique k j Z such that 2 j x 0 k j I. Moreover, there exists almost surely a (ranom) integer

20 20 j 0 0 such that for any j j 0, ψ M (2 j x n k j ) = 0 for any n 0. This is ue to the fact that there are (almost surely) finitely many x n in I. From these rearatory consierations, one has that, for j j 0, (5.7) w,ψ M (2 j k j ) = a n ψ M (2 j x n k j ) = a0 ψ M (2 j x 0 k j ) C almost surely. Since w 2 has a finite variance, we have, using the Markov inequality (5.8) P n Z ( w 2,ψ M (2 j k j ) C ) 4E[ w 2,ψ M (2 j k j ) 2] 2 C 2 = 4σ2 0 ψ M 2 2 C 2 2 j, where σ0 2 is the variance of w 2 such that E[ w 2,ϕ 2 ] = σ0 2 ϕ 2 2. In articular, P ( w 2,ψ M (2 j k j ) C/2 ) <. j 0 From a new Borel-Cantelli argument, we reaily euce the existence of integers j arbitrarily large such that w2,ψ M (2 j k j ) < C/2. In articular, for j j, we have, ue to (5.7), w,ψm (2 j k j ) C/2. Putting the ieces together, we can now lower boun the Besov norm of w by keeing only the mother wavelet ψ M, the scale j j an the corresoning shift arameter k j. Then, we obtain the almost sure lower boun (5.9) w B τ (R ;ρ) 2j(τ +) w,ψm (2 j k j ) 2 j(τ +) (C/2). Finally, this is vali for any j j an because τ + > 0, one conclues that w B τ (R ;ρ) = almost surely. If 0 < < an / β < τ < /. Together with the case τ > / above an by embeings, β we then euce the result for τ < /max( β,). Note that the case = 0 is alreay covere by the revious case. Moreover, as soon as f / B β (R τ ;ρ) for some > 0, we also have that f / Bq τ+ǫ (R ;ρ) for any q > an ǫ > 0 (see Figure ). A crucial consequence for us is that it suffices to work with arbitrarily small in orer to obtain the negative result we exect. We assume here that (5.20) < β /2, < β β 2(β β ) Note that the latter conition is simly < (that is, no restriction) when = β. Let k β 0 be such that the families of ranom variables ( w,ψ j,g,k ) k k0 Z are ineenent when j 0 an G G j are fixe. This is ossible because the wavelets are comactly suorte an because w,ϕ an w,ϕ 2 are ineenent as soon as ϕ an ϕ 2 have isjoint suort. By restricting the range of k an the gener to G = M, we have that (5.2) w B(R τ ;ρ) C 2 j(τ +/2) w,ψj,m,k, j 0 k k 0 Z,0 k i <k 0 2 j

21 WAVELET ANALYSIS OF LÉVY WHITE NOISES 2 ( withc = inf x k 0 x ρ > 0 a constant such that 2 j k C. We setx j,k = 2 j an M j, := 2 j X j,k, k k 0 Z,0 k i <k 0 2 j β 2 ) w,ψ j,m,k which is an average among 2 j ranom variables. Recall that < max /2, β /2. Moreover, since all the moments are finite, max = > β. Hence, one can aly Lemma 4 with integrability q = or q = 2. There exists ǫ > 0 that can be choosen arbitrarily small an constants m q,m q such that ( ) (5.22) m q 2 jǫ 2 jq 2 β E [ w,ψj,m,k q] ( ) M q 2 jǫ 2 jq 2 β for any j 0,k Z. In articular, with our notations, we have that ( (5.23) m q 2 jǫ E[M j,q ] M q 2 jǫ 2 jq β β for any j,k an for q = or 2. Then, we control the variance of M j,q as follows (here, the sum over k are as in (5.2); that is, over 2 j terms): ) 2 ( Var(M j, ) = E[(M j, E[M j,q ]) 2 (i) = 2 j E 2 j ( X j,k E[ X j,k ]) k ) [ (ii) = 2 j E 2 j k (( X j,k E[ X j,k ])) 2 ] [ (iii) 2 j E 2 j k ( X j,k 2 ] (5.24) = 2 j E[M j,2 ], where we use that E[M j, ] = E[ X j,k ] for every k in (i), the ineenence of the X j,k in (ii), an the relation Var(X) E[X 2 ] in (iii). We now aly the Chebyshev s inequality P( X E[X] x) VarX/x 2 to X = M j, an x = 2 jǫ m /2 to get P( M j, E[M j, ] 2 jǫ m /2) 4Var(M j,) m 2 2 2jǫ 4 m 2 2 j E[M j,2 ]2 2jǫ (5.25) 4M 2 m 2 2 j((2(/ β /β ) )+3ǫ) where we use (5.24) an (5.23) (alie to q = 2). Due to the secon relation in (5.20), the exonent in (5.25) is strictly negative for ǫ small enough (what we assume from now). Hence, j P( M j, E[M j, ] 2 jǫ m /2) <. From the lemma of Borel-Cantelli, only a finite number of the j can therefore satisfy the relation M j, E[M j, ] 2 jǫ m /2. A irect consequence is then that there exists almost surely J 0 such that for every j J, (5.26) M j, E[M j, ] M j, E[M j, ] m 2 jǫ m 2 2 jǫ = m 2 2 jǫ.

22 22 Using the latter inequality, we euce that w B τ (R ;ρ) C j J 2 j(τ +/ β ) M j, Cm 2 2 j(τ +/ β ǫ). For ǫ small enough, we have that τ+ / β ǫ > 0 an therefore w = almost surely. B τ(r ;ρ) If ρ /. The roof is ientical to the one of comoun Poisson noises where we also have treat the case ρ /. 6. Non-Gaussian Lévy White Noise. This section is the occasion to synthesize the results an to euce the general case from the revious ones. We consier non-gaussian Lévy white noises, the Gaussian white noise having alreay been treate in Section 3. We conclue with the roof of Theorem. Proosition 7. Consier a non-gaussian Lévy white noise w with inices 0 β β 2 an 0 < max. Then, w is almost surely in B τ (R ;ρ) if τ < /max(,β ) an ρ < /min(, max ), for 0 < 2, an even integer, or = ; an almost surely not in B τ (R ;ρ) if τ > /max(, β ) or ρ > /min(, max ) for every 0 <. Proof. Accoring to Proosition, w = w +w 2 with w a comoun Poisson noise, w 2 a Lévy white noise with finite moments (that can inclue a Gaussian art). Moreover, we have (6.) β = β (w 2 ) β (w ) = 0, (6.2) max = max (w ) max (w 2 ) =. ( ) ( ) If τ < max(,β ) an ρ < min(,. Then, τ < max) an ρ < min(, max(w )) so that w B(R τ ;ρ) ue to Proosition 5. Similarly, w 2 B(R τ ;ρ) thanks to Proosition 6. Finally, w = w +w 2 B(R τ ;ρ). ( If τ > max(,β ) ). The arguments of Proosition 6 for this case are still vali for w. If ρ > min(, max). If ρ /, then the same roof as for the comoun Poisson case imlies that w / B τ (R ;ρ). We alreay know that w / B τ (R ;ρ) if τ /max(,β ) an if ρ /. The only remaining case is when < max, τ < /max(,β ), an / max < ρ < /. In this case, w 2 B τ (R ;ρ) from Proosition 6, while w / B τ (R ;ρ) with Proosition 5 ue to the conition ρ > / max. Finally, w / B τ (R ;ρ) as the sum of a element of B τ (R ;ρ) an a function not in B τ (R ;ρ). Finally, we can translate our results in terms of the local smoothness τ (w) an the asymtotic growth rate ρ (w) of Lévy white noises. Proof of Theorem. The values of τ (w) an ρ (w) are irectly euce from Proositions 4, 5, an 7. Positive results (w B τ (R ;ρ)) irectly give lower bouns for τ (w) an ρ (w), while negative results (w / B τ (R ;ρ)) rovie uer bouns. For the Gaussian an comoun Poisson cases, stuie searatly, there are no restrictions on 0 <. The case of a general non-gaussian Lévy white noise is euce from Proosition 7 j J