Stationary processes in functional spaces Lq( R )

The paper is devoted to the problem of establishing the conditions on the stochastic process to belong it to the functional space Lq(R) with probability one. The corresponding results were obtained for the strictly Orlicz, stationary in wide sense processes.

Збережено в:
Бібліографічні деталі
Дата:2007
Автор: Yakovenko, T.
Формат: Стаття
Мова:English
Опубліковано: Інститут математики НАН України 2007
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/4525
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Stationary processes in functional spaces Lq( R ) / T. Yakovenko // Theory of Stochastic Processes. — 2007. — Т. 13 (29), № 4. — С. 210–218. — Бібліогр.: 7 назв.— англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-4525
record_format dspace
spelling irk-123456789-45252009-11-25T12:00:39Z Stationary processes in functional spaces Lq( R ) Yakovenko, T. The paper is devoted to the problem of establishing the conditions on the stochastic process to belong it to the functional space Lq(R) with probability one. The corresponding results were obtained for the strictly Orlicz, stationary in wide sense processes. 2007 Article Stationary processes in functional spaces Lq( R ) / T. Yakovenko // Theory of Stochastic Processes. — 2007. — Т. 13 (29), № 4. — С. 210–218. — Бібліогр.: 7 назв.— англ. 0321-3900 http://dspace.nbuv.gov.ua/handle/123456789/4525 en Інститут математики НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language English
description The paper is devoted to the problem of establishing the conditions on the stochastic process to belong it to the functional space Lq(R) with probability one. The corresponding results were obtained for the strictly Orlicz, stationary in wide sense processes.
format Article
author Yakovenko, T.
spellingShingle Yakovenko, T.
Stationary processes in functional spaces Lq( R )
author_facet Yakovenko, T.
author_sort Yakovenko, T.
title Stationary processes in functional spaces Lq( R )
title_short Stationary processes in functional spaces Lq( R )
title_full Stationary processes in functional spaces Lq( R )
title_fullStr Stationary processes in functional spaces Lq( R )
title_full_unstemmed Stationary processes in functional spaces Lq( R )
title_sort stationary processes in functional spaces lq( r )
publisher Інститут математики НАН України
publishDate 2007
url http://dspace.nbuv.gov.ua/handle/123456789/4525
citation_txt Stationary processes in functional spaces Lq( R ) / T. Yakovenko // Theory of Stochastic Processes. — 2007. — Т. 13 (29), № 4. — С. 210–218. — Бібліогр.: 7 назв.— англ.
work_keys_str_mv AT yakovenkot stationaryprocessesinfunctionalspaceslqr
first_indexed 2025-07-02T07:44:58Z
last_indexed 2025-07-02T07:44:58Z
_version_ 1836520359488126976
fulltext Theory of Stochastic Processes Vol.13 (29), no.4, 2007, pp.210–218 TETYANA YAKOVENKO STATIONARY PROCESSES IN FUNCTIONAL SPACES Lq(R) The paper is devoted to the problem of establishing the conditions on the stochastic process to belong it to the functional space Lq(R) with probability one. The corresponding results were obtained for the strictly Orlicz, stationary in wide sense processes. 1. Introduction This paper deals with the problem of establishing the condition on the stochastic process from the space of random variables Lp(Ω) under which it belongs to the functional space Lq(R) with probability one. This two spaces are actually Orlicz spaces generated by the functions V (x) = |x|p, p ≥ 1 and U(x) = |x|q, q ≥ 1. The general theory on Orlicz functions and spaces is contained in [1]. Random variables and stochastic processes in Orlicz spaces were investigated in book [2]. For the stochastic process defined in compact set the corresponding conditions of belonging were established for two cases: for 1 ≤ p < q in [3] and for 1 ≤ q ≤ p in [4]. The stochastic processes with noncompact parametric set were examined in [5,6] for 1 ≤ p < q. In this paper we have completed that results with treatment the case when 1 ≤ q ≤ p. The results obtained were applied to strictly Orlicz, stationary in wide sense stochastic processes in both this cases. 2. Some facts from Orlicz space theory. Definition 2.1 [1] A function U = U(x), x ∈ R is called an Orlicz S- function if it is continuous, even, convex and U(0) = 0, U(x) > 0 as x �= 0. Example 2.2 The functions U(x) = A|x|α, A > 0, α ≥ 1 and V (x) = exp{B|x|β} − 1, B > 0, β ≥ 1 are the S-functions. 2000 Mathematics Subject Classifications. Primary 60G17, secondary 60G07 Key words and phrases. Stationary process, Orlicz space, noncompact parametric set, strictly Orlicz random variables. 210 STATIONARY PROCESSES IN SPACES Lq(R) 211 Let {T,B, μ} be a measurable space. Definition 2.3 [2] The space of measurable functions f = {f(t), t ∈ T} such that for all f there exists a constant rf > 0 for which∫ T U ( f(t) rf ) dμ(t) < ∞ is called the Orlicz space LU(T, μ) generated by the S-function U . Remark 2.4 [2] The space LU (T, μ) is a Banach space with respect to the Luxemburg norm ‖f(t)‖LU (T) = inf { r > 0 : ∫ T U ( f(t) r ) dμ(t) ≤ 1 } . Definition 2.5 [2] Let {Ω,B, P} be a standard probability space. Then LU (Ω, P ) is the Orlicz space of random variables generated by the S-function U . The Luxemburg norm in this space is determined as ‖ξ‖LU (Ω) = inf { r > 0 : EU ( ξ r ) ≤ 1 } . Definition 2.6 [2] A stochastic process X = {X(t), t ∈ T} belongs to the Orlicz space LU (Ω, P ) if for all t ∈ T random variables X(t) belong to the space LU(Ω). Definition 2.7 [2] A stochastic process X = {X(t), t ∈ T} belongs to the Orlicz space LU(T, μ) with probability one if the trajectories of the process X are measurable and X(t) ∈ LU(T, μ) with probability one. Condition M. [3] It is said that condition M is satisfied for S-function V in a set G if for all measurable stochastic processes Z = {Z(t), t ∈ G} such that Z(t) ∈ LV (Ω) and ‖Z(t)‖LV (Ω) = 1, random variables ‖Z(t)‖LV (G) also belong to LV (Ω) and there exists an absolute constant aV such that∥∥‖Z(t)‖LV (G) ∥∥ LV (Ω) ≤ aV . Example 2.8 [3] The functions U(x) = A|x|α, where A > 0, α ≥ 1 and V (x) = exp{B|x|β} − 1, where B > 0, β ≥ 1 satisfy the condition M in every compact set G. Consider the measurable parametric space (T,B(T), μ) with σ− finite measure μ. That is, there exists such partition {Tl ∈ B(T)}l≥1 of space T 212 TETYANA YAKOVENKO that T = ⋃∞ l=1 Tl and μ(Tl) < ∞. Furthermore, let for all l ′ , l ′′ the following condition holds : Tl′ ⋂ Tl′′ = ∅ as l ′ �= l ′′ . Assume that U and V are such Orlicz S− functions that W = W (x) = V −1(U(x)), x ∈ R is convex function too. In this case the following theorem takes place. Theorem 2.9 [5] Assume that the stochastic process X = {X(t), t ∈ T} (μ(T) = ∞), which belongs to the Orlicz space of random variables LV (Ω), is separable, measurable and ∀B ∈ B(T ) sup ρ(t, s) ≤ h t, s ∈ B ‖X(t) − X(s)‖LV (Ω) ≤ σB(h) where σB = σB(h), h > 0 is the continuous, monotone nondecreasing func- tion and σB(h) → 0 as h → 0. Then, if the condition M is satisfied for the Orlicz S-function V in every set Tl from the partition T and there exists such sequence {0 < δl < 1}l≥1 that ∑ l≥1 δl < ∞ and ∑ l≥1 ( V ( δl∥∥‖X(t)‖LU (Tl) ∥∥ LV (Ω) ))−1 < ∞, then the stochastic process X = {X(t), t ∈ T} belongs to the space LU (T) with probability one. 3. Conditions for stochastic process belonging to the functional space Lq(R). Consider stochastic processes from the Orlicz space of random variables Lp(Ω). This space is generated by the S-function V (x) = |x|p, p ≥ 1. The functional space Lq(R) is generated by the Orlicz S-function U(x) = |x|q, q ≥ 1. In this section we will present sufficient conditions for belonging of the stochastic processes defined on set of all real numbers R to functional space Lq(R) with probability one in two cases, according to the type of subordination between p and q : 1 ≤ q ≤ p and 1 ≤ p < q. Consider measurable parametric space (R,B(R), μ), where B(R) is a σ- algebra of Borelian subsets on R, μ is the Lebegue measure on R. Let partition the set R into half-open intervals [xl−1, xl) with properties ∀l ≥ 1 Δxl = |xl − xl−1| < ∞; ⋃ l∈ [xl−1, xl) = R; (1) STATIONARY PROCESSES IN SPACES Lq(R) 213 [xl′−1, xl′) ⋂ [xl′′−1, xl′′) = ∅ , as l′ �= l′′. The partition determined by the sequence⎧⎨ ⎩xl = sign(l) |l|∑ i=1 1 iγ , 0 < γ < 1 ⎫⎬ ⎭ l∈ (2) has property (1) and for all l ≥ 1 xl = |x−l| = l∑ i=1 1 iγ > (l + 1)1−γ − 1 ∼ l1−γ as l → ∞ Really, since for all 0 < γ < 1, u ≥ 1 function 1/uγ is monotonely decreas- ing. Then for all i ≥ 1 1 iγ = ∫ i+1 i 1 iγ du ≥ ∫ i+1 i 1 uγ du = u1−γ 1 − γ ∣∣∣∣ i+1 i = 1 1 − γ ( (i + 1)1−γ − i1−γ ) , and thus xl = |x−l| = l∑ i=1 1 iγ ≥ 1 1 − γ l∑ i=1 ( (i + 1)1−γ − i1−γ ) = = 1 1 − γ ( (l + 1)1−γ − 1 ) > (l + 1)1−γ − 1 ∼ l1−γ as l → ∞. Theorem 3.1 Let 1 ≤ q ≤ p. Suppose that the measurable stochastic process X = {X(t), t ∈ R} belongs to the space of random variables Lp(Ω) and for all −∞ < a < b < +∞ such that b − a ≤ 1 sup a≤t<b (E|X(t)|p)1/p ≤ A (max{|a|, |b|})τ , where A > 0, τ > 1 1−γ + 1 p and 0 < γ < 1. Then trajectories of the process X belong to the functional space Lq(R) with probability one. Proof. Let partition the set R using sequence {xl}l∈ (2). Then Δxl = |xl − xl−1| = { 1 lγ , l ≥ 1; 1 (−l+1)γ , l ≤ 0. Notice, that for all l ∈ Z xl = −x−l and Δxl = Δx−l+1. Theorem 4.1 [4] and properties of the sequence (2) imply that for every l ≥ 1 ∥∥‖X(t)‖Lq[xl−1,xl) ∥∥ Lp(Ω) ≤ (1 + Δxl)Δx 1/q l xτ l ≤ ( 1 + 1 lγ ) 1 lγ/q ((l + 1)1−γ − 1)τ ≤ ≤ 2 lγ/q ((l + 1)1−γ − 1)τ ∼ 2 lγ/q+τ(1−γ) =: B+ l , as l → +∞, 214 TETYANA YAKOVENKO and for l ≤ 0, ∥∥∥‖X(t)‖Lq [xl−1,xl) ∥∥∥ Lp(Ω) ≤ (1 + Δxl)Δx 1/q l |xl−1|τ = = (1 + Δxl)Δx 1/q l xτ −l+1 ≤ ( 1 + 1 (1−l)γ ) 1 (1−l)γ/q ((2 − l)1−γ − 1)τ ≤ ≤ 2 (1 − l)γ/q ((2 − l)1−γ − 1)τ ∼ 2 (1 − l)γ/q+τ(1−γ) =: B− l , as l → −∞. It is obvious that for all l ≥ 1 B+ l = B− −l+1. Consider the following sequence δl = { 1 lε , l ≥ 1; 1 (−l+1)ε , l ≤ 0, ε > 1. Then +∞∑ l=−∞ δl = 0∑ l=−∞ 1 (−l + 1)ε + +∞∑ l=1 1 lε = 2 +∞∑ l=1 1 lε < ∞, and +∞∑ l=−∞ ( Bl δl )p = 0∑ l=−∞ ( B− l (−l + 1)ε )p + +∞∑ l=1 ( B+ l lε )p = = 2 +∞∑ l=1 ( B+ l lε )p ∼ ∑ l≥1 1 lγ+τ(1−γ)p−εp . The last series converges as γ + τ(1 − γ)p − εp > 1, that is 1 < ε < (1 − γ) ( τ − 1 p ) . (3) According to the conditions of the theorem (1 − γ) ( τ − 1 p ) > (1 − γ) ( 1 1 − γ + 1 p − 1 p ) = 1. and such ε exists. So, the statement of the theorem follows from the Theo- rem 2.9. � Theorem 3.2 [6] Let 1 ≤ p < q. We consider separable measurable stochas- tic process X = {X(t), t ∈ R}, which belongs to the space of random vari- ables Lp(Ω). Suppose that for some −∞ < a < b < +∞, b − a ≤ 1: i) supa≤t<b (E|X(t)|p)1/p ≤ A (max{|a|,|b|})τ , where A > 0, τ > 1 1−γ ( 1 + 1 p − γ q ) , 0 < γ < 1; STATIONARY PROCESSES IN SPACES Lq(R) 215 ii) sup |t − s| ≤ h t, s ∈ [a, b) (E|X(t) − X(s)|p)1/p ≤ Ca,bh α, where h> 0, α > 1 p − 1 q ; iii) ∃ 0 < c < ∞ : Ca,b ≤ c (b−a)α supa≤t<b (E|X(t)|p)1/p . In this case trajectories of the stochastic process X belong to the functional space Lq(R) with probability one. Remark 3.3 Conditions in the Theorem 3.1 and Theorem 3.2 on stochastic process will be weaker if γ is closer to 0. 4. Stationary strictly Orlicz stochastic processes. In this section we consider special kind of stochastic processes, namely stationary strictly Orlicz processes. Let us recall some definitions first. Definition 4.1 [7] Let V = V (x), x ∈ R be Orlicz S-function, such that, there exist x0 > 0 and k > 0 that for all x > x0, x2 ≤ V (kx). Family Δ of random variables ξi (Eξi = 0) from space LV (Ω) is called strictly Orlicz if there exists constant CΔ, such that for every finite set of random variables ξi ∈ Δ, i ∈ I and for all λi ∈ R the following inequality holds true ∥∥∥∥∥ ∑ i∈I λiξi ∥∥∥∥∥ LV (Ω) ≤ CΔ ⎛ ⎝E (∑ i∈I λiξi )2 ⎞ ⎠ 1/2 . CΔ is determining constant for the family of strictly Orlicz random variables Δ. Properties of the Orlicz S-function V imply that there exists constant B > 0 such that⎛ ⎝E (∑ i∈I λiξi )2 ⎞ ⎠ 1/2 ≤ B ∥∥∥∥∥ ∑ i∈I λiξi ∥∥∥∥∥ LV (Ω) , i.e. norms ‖ · ‖LV (Ω) and (E(·)2)1/2 are equivalent for family Δ. Example 4.2 Family of Gaussian centered random variables is strictly Orlicz in the exponential Orlicz space Exp2(Ω)(See book [2]). Definition 4.3 Stochastic process X = {X(t), t ∈ T} belonging to space LV (Ω) is called strictly Orlicz if the family of random variables {X(t)}t∈T is strictly Orlicz. Definition 4.4 Stochastic process X = {X(t), t ∈ R} is called station- ary in wide sense if EX(t) = m = const and its correlation function 216 TETYANA YAKOVENKO R(t, s) = r(t − s), t, s ∈ R. In the space Lp(Ω), p ≥ 2 the family of the strictly Orlicz random vari- ables can be easily determined. For more details see [7]. Theorem 4.5 Let 1 ≤ q ≤ p, Y = {Y (t), t ∈ R} be centered, measurable, stationary in wide sense, strictly Orlicz in Lp(Ω) stochastic process with determining constant CΔp and correlation function R(t, s) = r(t− s), t, s ∈ R. Consider function c(t) = A (|t|+1)τ , t ∈ R, A = CΔp √ r(0), τ > 1 1−γ + 1 p , 0 < γ < 1. Then stochastic process X(t) = {c(t)Y (t), t ∈ R} belongs to the functional space Lq(R) with probability one. Proof. The statement of the theorem follows from the Theorem 3.1. Indeed, for all −∞ < a < b < +∞, b−a ≤ 1 (Note: 0 must not be inside the interval (a, b)) sup a ≤ t < b ‖X(t)‖Lp(Ω) = sup a ≤ t < b (E|X(t)|p)1/p = (4) = sup a ≤ t < b (E|c(t)Y (t)|p)1/p ≤ CΔp sup a ≤ t < b |c(t)| (E|Y (t)|2)1/2 = = CΔp √ r(0) sup a ≤ t < b |c(t)| = CΔp √ r(0) (min{|a|, |b|} + 1)τ ≤ A (max{|a|, |b|})τ , since b − a = max{|a|, |b|} − min{|a|, |b|} ≤ 1. � Theorem 4.6 Let 2 ≤ p ≤ q and Y = {Y (t), t ∈ R} be centered, measur- able, separable, stationary in wide sense, strictly Orlicz in Lp(Ω) stochastic process with determining constant CΔp and correlation function R(t, s) = r(t − s), t, s ∈ R (r(0) �= 0), such that for all 0 < h ≤ 1 r(0) − r(h) ≤ C0h 2α, C0 > 0, 1/p − 1/q < α ≤ 1. Consider function c(t) = A (|t|+1)τ , t ∈ R, τ > 1 1−γ ( 1 + 1 p − γ q ) , 0<γ <1, A = CΔp √ r(0). Then stochastic process X(t) = {c(t)Y (t), t ∈ R} belongs to the functional Orlicz space Lq(R) with probability one. Proof. For stochastic process X(t) = {c(t)Y (t), t ∈ R} the inequality (4) takes place, i.e the first condition of Theorem 3.2 holds. Now, let’s check the other two conditions of the Theorem 3.2. For −∞ < a < b < +∞, b − a ≤ 1 sup |t − s| ≤ h t, s ∈ [a, b) ‖X(t) − X(s)‖Lp(Ω) = sup |t − s| ≤ h t, s ∈ [a, b) (E|X(t) − X(s)|p)1/p ≤ ≤ CΔp sup |t − s| ≤ h t, s ∈ [a, b) ( E|X(t) − X(s)|2)1/2 = STATIONARY PROCESSES IN SPACES Lq(R) 217 = CΔp sup |t − s| ≤ h t, s ∈ [a, b) ( E|c(t)Y (t) − c(s)Y (s)|2)1/2 = = CΔp sup |t − s| ≤ h t, s ∈ [a, b) ( E|c(t)Y (t) − c(s)Y (t) + c(s)Y (t) − c(s)Y (s)|2)1/2 ≤ ≤ CΔp sup |t − s| ≤ h t, s ∈ [a, b) [ |c(t) − c(s)| (EY 2(t) )1/2 + c(s) ( E(Y (t) − Y (s))2 )1/2 ] = = CΔp sup |t − s| ≤ h t, s ∈ [a, b) [ |c(t) − c(s)| √ r(0) + c(s) √ 2(r(0) − r(t − s)) ] = = CΔp [ (c(min{|a|, |b|}) − c(min{|a|, |b|} + h)) √ r(0)+ + c(min{|a|, |b|}) √ 2(r(0) − r(h)) ] . As long as function c(t) is continuous then there exists θ ∈ [min{|a|, |b|}, min{|a|, |b|} + h] such that c(min{|a|, |b|}) − c(min{|a|, |b|} + h) = = A (min{|a|, |b|} + 1)τ − A (min{|a|, |b|} + h + 1)τ = = −τA (|θ| + 1)τ+1 (min{|a|, |b|} − min{|a|, |b|} − h) = = τA (|θ| + 1)τ+1 h ≤ τA (min{|a|, |b|} + 1)τ+1 h then sup |t − s| ≤ h t, s ∈ [a, b) ‖X(t) − X(s)‖Lp(Ω) ≤ ≤ CΔp [ Aτ √ r(0) · h (min{|a|, |b|} + 1)τ+1 + A √ 2C0 · hα (min{|a|, |b|} + 1)τ ] ≤ ≤ ACΔp √ r(0)hα (min{|a|, |b|} + 1)τ [ τ (min{|a|, |b|}+ 1) + √ 2C0 r(0) ] ≤ ≤ ACΔp √ r(0) ( τ + √ 2C0 r(0) ) (min{|a|, |b|} + 1)τ hα = Ca,bh α. So, condition ii) holds true. Let’s check condition iii). Since p ≥ 2 then there exists constant C̃ such that ‖ · ‖L2(Ω) ≤ C̃‖ · ‖Lp(Ω). So, Ca,b = ACΔp ( τ + √ 2C0 r(0) ) (min{|a|, |b|} + 1)τ √ r(0) ≤ 218 TETYANA YAKOVENKO ≤ ACΔp ( τ + √ 2C0 r(0) ) (b − a)α · (b − a)α · sup a ≤ t < b |b − a| ≤ 1 ( E|X(t)|2)1/2 ≤ ≤ AV CΔp ( τ + √ 2C0 r(0) ) C̃ (b − a)α sup a ≤ t < b |b − a| ≤ 1 (E|X(t)|p)1/p . This concludes that all conditions of Theorem 3.2 hold for stochastic process X(t) = {c(t)Y (t), t ∈ R}. The theorem has been proved. � References 1. Krasnosel’skĭi, M. A. and Rutickĭi, Ya. B., Convex functions and Orlicz spaces. Fizmatgiz, Moscow, (1958). English transl., Noordhof, Gröningen (1961). 2. Buldygin V.V. and Kozachenko Yu.V., Metric characterization of random variables and random processes, Amer. Math. Soc., Providence, RI (2000). 3. Kozachenko Yu.V. and Yakovenko T.O., Conditions under which stochastic processes belong to some functional Orlicz spaces, Bulletin of the University of Kyiv 5, (2002), 64–74. (In Ukrainian). 4. Yakovenko T.O., Conditions of belonging LV (Ω) processes to some func- tional Orlicz spaces, Bulletin of the University of Kyiv 2, (2004), 76–80. (In Ukrainian). 5. Yakovenko T.O., Conditions under which processes belong to Orlicz spaces in case of noncompact parametric set, Theory of Stochastic Processes 10(26), no.1-2, (2004), 178–183. 6. Kozachenko Yu.V. and Yakovenko T.O., Stochastic processes in Sobolev- Orlicz spaces, Ukrainian Mathematical Journal, 58, no. 10, (2006), 1340– 1356. (In Ukrainian). 7. Barrasa de la Krus E., Kozachenko Yu.V., Boundary-value problems for equations of mathematical physics with strictly Orlicz random initial con- ditions, Random Oper. and Stoch. Eq., 3, no. 3, (1995), 201–220. Department of Probability Theory and Mathematical Statistics, Kyiv National Taras Shevchenko University, Kyiv, Ukraine. E-mail address: yata452@univ.kiev.ua