Professional Documents
Culture Documents
Review Article
Ming Li
1. Introduction
Denote
n ∈ Z�
things
, by R
belonging
n
the n-dimensional
where Z� is the set of positive
to R
n
n � 1,2,3 are
for
Euclidean
integers.
space
Then,
visible,
for
⎧⎨⎩
1, l� m,
� el ,em � �
0, �
l/ m.
�2.1� 2
Then,
n�l
f �
�l�1 �f,el �el
.
�1.2�
.
is visible. Luckily, human being has nimbus such that
people are able to think about high-dimensional
n
objectseven
in Ri neven case
the in n →of
case
the of n∞→ ∞.
.
Note that the nature is rich and colorful
�Mandelbrot �3�, Korvin �4�, Peters �5�,
,
Bassingthwaighte et al. �6� � Spaces of integer
dimension are not enough. As a matter of factor, there
exist spaces with fractional dimension, such as R n�d
where 0 < d < 1is a fraction. There- fore, even in the
n�d
low-dimensional case of n � 1,2,3, those in R are
not completely visible.
We now turn to time series. Intuitively, we
1
say that x�t� is a conventional series if x�t� ∈ R �
x �t � ∈toRbe
R.On the other side, x�t� is said a fractal time
series if it belongs to R
1�d
for 0 < d < 1. A curve of x ∈
1�d
R we usually see, such as a series of stock market
price, is only its integer part belonging to R.However,
it is the fractional part of x�t� that makes it
substantially differ from a conventional series in the
aspects of PDF, ACF, and PSD, unless d is
infinitesimal.
The theory of conventional series is relatively
mature; see, for example, Fuller �7�, Box et al. �8�,
of Integer Order
�t0
y� t� � g� t − τ� w� τ� dτ.
p
�i�0
ai
d
p−iy�
dt
p−i
t�
�
q
�i�0
bi
d
q−iw�
dt
q−i
t�
.
�2.2�
.
the theorem of convolution, has
�jω �W�
Y� ω� � G ω�
�2.3�
G� s� �
1�
1�
�qi�1
�pi�1
bi s
ai s
i
i
.
�2.5�
G
�jω �
� F
�g�
t�
�
� G�s�|s�jω ,
�2.6�
G� z� � Z
�g�
n�
�
�
∞
�n�0
g� n� z −n
�
1�
1�
�qi�1
�pi�1
bi z
ai z
−i
−i
,
�2.7�
q q
�n�0 �n�0 �i� �i�1
−i.
G� z� � g� n� z −n � 1 � bi z
�n�0 �i�1
�2.8�
Thus, an FIR filter is always stable with a linear
phase.
�t0
−v
1 v−1f�
0D t
f� t� � � t − u� u� du,
Γ� v�
�2.9�
,
Let vp ,vp−1 ,...,v0 and uq ,uq−1 ,...,u0 be
two strictly decreasing sequences of nonnegative
numbers. Then, for the constants ai and bi we have
p q
�i�0
�i�0
�i�0
ap−i D
vi
�i�
y� t� �
�i�0
�i�0
bq−i D
ui
w� t�
�2.10�
,
which is a stochastically fractional differential
.
.
equation with constant coefficients of order vp It
corresponds to a stochastically fractional filter of
order vp The transfer function of this filter expressed
by using the Laplace transform is given by
�Ortigueira �22��
G� s� �
1�
1�
�qi�1
�pi�1
bq−i
ap−i
s
−ui
s −vi
.
�2.11�
In the discrete case, it is expressed in z domain by
G� z� �
1�
1�
�qi�1
�pi�1
bq−i
ap−i
z
−ui
z −vi
.
Mathematical Problems in Engineering
�2.18�
5
Denote the inverse Laplace transform and the
−1 −1,
inverse z transform by L and Z respectively.
Then, the impulse responses of the filter expressed
by �2.10� in the continuous and discrete cases are
,,
given by
−1�
g� t� � L G� s��
−1�
g� n� � Z G� z��
�2.13�
respectively.
Without loss of the generality to explain the
concept of fractal time series, we reduce
.
�2.10�to the following expression:
p
�i�0
vi
ap−i D y� t� � w� t�
G� s� � 1�
q
�i�1
bq−i s
−ui
,
G� z� � 1�
q
�i�1
bq−i z
−ui
.
a
,
Recall that the realization resulted from such class of
continuous case by
y� t� � w� t� ∗ g� t�
�2.14�
�2.15�
�2.16�
.
where ∗ implies the operation of convolution, or in
the discrete case by
y� n� � w� n� ∗ g� n�
�2.17�
Hence, we have the following notes.
Note 3. A realization y�t� resulted from a
stochastically fractional differential equation may be
unbelonging to R.
Note 4. For a stochastically fractional differential
�t0
−�H�1/2� �� 1
0 Dt B t� � �t −
Γ� H � 1/2�
∞. �3.1� 6
� −t�
Γ� H � 1/2�
H−1/2
.
�2.19�
BH � t� �
dB� t�
dt
∗
� −t�
H−1/2
Γ� H � 1/2�
.
�2.20�
,
fractional Langevin equation given by
α
�a Dt � A� y� t� � w� t� α > 0,
�2.21�
Series
�∞0
rxx � τ� dτ < ∞.
that is,
�∞0
rxx � τ� dτ � ∞.
�3.2�
A typical form of such an ACF for rxx being
,
nonintegrable has the following asymptotic
expression:
−β
rxx � τ� ∼ c|τ| � τ −→ ∞�
�3.3�
where c > 0 is a constant and 0< β <1. The above
expression implies a power law in the ACF of LRD
fractal series.
Denote the PSD of x�t�by Sxx �ω�. Then,
�∞−∞
−jωtdt.
Sxx � ω� � rxx � t� e
�3.4�
In the LRD case, the above Sxx �ω� does not exist as an
ordinary function but it can be regarded as a function
in the domain of generalized functions. Since
�| �
� �Γ
−β
πβ �1 �|
β−1
F τ| � 2 sin − β ω|
2
�3.5�
see, for example, �29� and Li and Lim �38, 39�, the
rxx � τ� � x� t� x� t � τ� p� x� dx.
�3.6�
Considering rxx is nonintegrable in the LRD
that
μx � xp� x� dx.
�3.7�
The variance of x�t�is given by
�∞−∞
�x �2p�
x� � − μx x� dx.
8
3.14�
Mathematical Problems in Engineering
x a�1
,
�3.9�
μPareto �
ab
,
.
a − 1
2
ab
Var � x�Pareto �
2�
� a − 1� a − 2�
�3.10�
Parameter
α
rxx � 0� − rxx � τ� ∼ c1 |
τ| τ| −→ 0,
for |
�3.11�
α2
D � 2 − ;
�3.12�
see, for example, Kent and Wood �45�, Hall and Roy
�46�, and Adler �47�.
On the other side, expressing β in �3.3�by the
Hurst parameter 0.5 < H < 1yields
β � 2 − 2H.
�3.13�
.
Therefore,
2H−2
rxx � τ� ∼ c|τ| � τ −→ ∞�
Mathematical Problems in Engineering
,
respectively, use D and H to characterize the local
property and the global one of LRD x�t� rather than
mean and variance �Gneiting and Schlather �48� Lim
and Li �49��.
In passing, we mention that the estimation
of H and/or D becomes a branch of fractal time
series as can be seen from �11, 12�. Various
methods regarding the estimation of fractal
parameters are reported; see, for example, Taqqu
et al. �50�, methods based on ACF regression �Li
and Zhao �51� and Li �52��, periodogram regression
,
method �Raymond et al. �53� �, generalized linear
regression �Beran �54, 55��, scaled and rescaled
windowed variance methods � �56–58� Schepers et al.
�59�, Mielniczuk and Wojdłło �60�, Cajueiro and
,
Tabak �61� �, dispersional method �Raymond and
Bassingthwaighte �62, 63� �, maximum likelihood
,
estimation methods �Kendziorski et al. �64�
Guerrero and Smith �65��, methods based on
wavelet �66–72� fractional Fourier transform
�Chen et al. �73�� and detrended method �Govindan
�74��.
In the end of this section, we note that
self-similarity of a stationary process is a concept
closely relating to fractal time series. Fractional
Gaussian noise �fGn� is an only stationary increment
process with self-similarity �Samorodnitsky and
Taqqu �75��. In general, however, a fractal time series
may not be globally self-similar. Nevertheless, a
series that is not self-similar may be locally
self-similar �47�.
,
definition of fBm described in �2.18� is called the
Riemann-Liouville type since it uses the
Riemann-Liouville integral; see, for example, �27�
Sithi and Lim �78�, Muniandy and Lim �79�, and
Feyel and de la Pradelle �80�. Its PSD is given by
πωt
ω 2H�1
�4.1�
� JH � 2ωt� HH−1 � 2ωt� − JH−1 � 2ωt� HH � 2ωt�� ,
where JH is the Bessel function of order H �G.A.
Korn and T.M. Korn �81��, HH is the Struve function
of order H, and the subscript on the left side
implies the type of the Riemann- Liouville integral,
see �78� for details. The ACF of the fBm of the
Riemann-Liouville type is given by
t
H�1/2
s
� H � 1/2� Γ� H � 1/2�
H−1/2
2
2 F1
�
1
2
− H,1,H �
12
,s
t
�,
�4.2�
�4.3�
Thus, the fBm of the Weyl type is defined by
��0−∞
��
1 H−0.5
BH � t� − BH � 0� � t − u� −
Γ� H � 1/2�
�t0 �.
�dB�
H−0.5 H−0.5dB�
� −u� u� � � t − u� u�
�4.4�
It has stationary increment. Its PSD is given by
�Flandrin �83��
�1 �,
1 1−2H
SBH ,W � t,ω� �
2H�1
− 2 cos 2ωt
ω|
|
�4.5�
Its ACF is expressed by
rBH ,W � t,s�
�| �,
VH 2H 2H 2H
� t| � |
s| t − s|
− |
� H � 1/2� Γ� H � 1/2�
�4.6� where VH is the strength of the fBm and it is
given by
VH � Var� BH � 1�� � Γ� 1− 2H�
cos
πH
πH
.
�4.7�
The basic properties of fBm are listed below.
BH
expressed
� at� ≡ a H
BH
by
� t� , a >
�4.8�
0,
distribution.
Note 9. The PSD of fBm is divergent at ω � 0,
exhibiting a case of 1/f
α
noise. Note 10. The process
fBm reduces to the standard Brownian motion when
H � 1/2, as can be seen from �2.18� and �4.4�.
1
SB1/2 ,RL � t,ω� � SB1/2 ,W � t,ω� � �1
2
ω
which is the PSD of the standard Brownian motion �78�.
Note 12. The fractal dimension of fBm is given by
DfBm � 2 − HfBm .
− cos 2ωt� , �4.9�
�4.10�
11
��0−∞
��
1 H� t� −0.5
X� t� � t − u� −
Γ� H� t� � 1/2�
�t0 �.
�dB�
H� t� −0.5 H�t�−0.5dB�
� −u� u� � � t − u� u�
�4.11�
By using H�t�, one has a tool to characterize
E� X� t� X� t � τ�� �
.
�|
VH�t�
2H�t�
t|
� H� t� � 1/2� Γ� H� t� � �1/2�
2H�t� 2H�t�
t � τ|
� | − |
τ| �4.12� The self-similarity
varying
self-similarity of X�t�.
12
Mathematical Problems in Engineering
Sk
�j �
�
m
N − 1
j�k
�j�0
X� i�
| 1� − X� i�| , 1< k < N,
�4.15�
��π/2Sk �j �
�
log
H� t� � − ;
log� N − 1�
�4.16�
CH � τ; ε�
��|
�2H ���� ���� 2H ���� ���� 2H �,
2H−2
VH ε τ| |
τ| τε
� � 1 � − 1 − 2
2 ε ε
τ ∈ R, �4.17�
SfGn � ω� � σ
2
sin� Hπ� Γ� 2H � 1�| ω|
1−2H
.
�4.18�
dfGn is given by
2 ��| �.
σ 2H 2H 2H
rdfGn � k� � k| � 1� k|− 1|
� || − 2|k|
2
me ter Mathematical Problems in Engineering
σ
−2H−1,
2�2π� −1
ω ∈ � −π,π�
sin�πH�Γ�2H
,
� 1�.
�4.20� where Cf �
2H
.
2H
Note that the expression 0.5��k � 1� − 2k
2H
� �k − 1� � is the finite − 2 k
second-order � �k −of1
difference
2H
0.5�k� Approximating it with the second-order
2H
differential of 0.5�k� yields
��
0.5 k �
�
2H 2H 2H 2H−2.
1� − 2k � � k − 1� ≈ H� 2H − 1�� k�
�4.22�
.
Hence, we have the following notes.
Note 13. The fGn as the increment process of the
rdfGn � k; H� t��
2 ��| �.
σ 2H�t� 2H�t� 2H�t�
� k| � 1� � ||k|− 1| − 2|k|
2
�4.23� Another generalization by Li �88�is given by
rdfGn � k; H, a�
σ
2 ���| �� 2H ��| �� 2H ��| �� 2H �,
a a a
� k| � 1 − 2 k| � k| − 1
2
0 < a ≤ 1. �4.24� In �4.23�, if H�t� � const, the
.
characterizes a global property, namely, LRD. The
parameter 1< D < 2 is independent of 0 < H < 1 in
principle as can be seen from �3� By using a single
14
Mathematical Problems in Engineering model, such as
fGn and fBm, D and H happen to be linearly related.
�1 α
�−β/α,
CGC � τ� � E� X� t � τ� X� t�� � � |
τ|
�4.25�
where 0 < α ≤ 2 and β > 0. The ACF CGC �τ� is
�4.26�
which has been applied in geostatistics; see, for
CGC
τ|
α
, ,
� τ� ∼ |
τ
τ|
−→ 0,
−β
τ −→ ∞.
�4.27�
� 2 −
α2
, �4.28�
.
DGC
β2
HGC � 1− �4.29�
CGC � τ; I� �
�1
� τ
α� I�
�−β�I�/α�I�
, τ ≥ 0.
�4.30�
Consequently, we have
DGC � n� � 2 −
α� n�
2
,
HGC � n� � 1 −
β� n�
2
. �4.31�
��β/α � �
∞ k
�k�0 � −1� Γ � k
,
SGC � ω� � �β/α �Γ� I1� ω� ∗ Sa� ω�
πΓ 1� k�
��β/α � �
∞ k
�k�0 � −1� Γ � k
� �β/α �Γ� � πI2 � ω� − I2 � ω� ∗ Sa� ω��
πΓ 1� k�
�4.32�
where
� �Γ�
αkπ −αk−1,
I1� ω� � −2 sin αk � 1�| ω|
2
��β �π �Γ
� αk �1 �β ��|
�β�αk�−1.
I2 � ω� � 2 sin − � αk ω|
2
�4.33�
1 β−1,
SGC � ω� ∼ �β � �βπ/2 �| ω| ω −→ 0,
Γ cos
�4.34�
which is actually the inverse Fourier transform of
CGC �t1 ,
17.
t2 �
The
does
GC
not
process
satisfy
is
the
nonMarkovian
triangular relation
since
given by
CGC � t1,t3 � �
CGC � t1,t2 � CGC � t2 ,t3 �
CGC � t2 ,t2 �
, t1 < t2 < t3 ,
�4.36�
which is a necessary condition for a Gaussian
process to be Markovian �Todorovic �90��. In fact, up
to a multiplicative constant, the Ornstein-Uhlenbeck
process is the only stationary Gaussian Markov
process �Lim and Muniandy �91�, Wolpert and Taqqu
�92��.
16
Mathematical Problems in Engineering
.
some applications, for example, network traffic at
small scales, a series is nonGaussian; see, for example,
Scherrer et al. �97� One type of models that are of
�α�
The expression Y ∼ S implies that Y follows Φ�θ�.
σ,β,μ
It
roughness the
specifies in le distribution,
the that is, the weight of
the distribution tail.
�e � �jμθ �.
jθY 2
Φ� θ� � E � exp − � σθ�
�4.38�
H �
⎧⎪⎪⎨⎪⎪⎩
� 0,1�
�0,
1
, �,
Loα � t� � � ln|t − Y|
α ≥ 1,
�4.40�
α < 1.
− ln|Y|� Mdu. �4.41�
,
�i�and
,
Nα,H � i� � Lα,H � i � 1� − Lα,H � i� i ∈ Z,
�4.42�
NLoα,H � i� � Loα � i � 1� − Loα � i� i ∈ Z.
.
stationary self-similar with the self-similarity
,
measured by H and the local roughness characterized
by α �75� However, two parameters are not
independent because the LRD condition � �75�
αH > 1.
�4.43�
18
Mathematical Problems in Engineering 4.6.1.
Ordinary OU Process
Following the idea addressed by Uhlenbeck and
,
stochastic differential equation given by
� �X�
d
� λ t� � w� t�
dt
where λ is
X� 0� � X0 ,
a positive parameter, w�t� is the white
�4.44�
−λt λu
X� t� � X0 e � e w� u� du.
�4.45�
Denote the Fourier transforms of w�t� and
X�t�, respectively, by W�ω� and X�ω�. Note that the
system function of �4.44� in the frequency domain is
given by
GOU � ω� �
λ � jω
1
.
.
�4.46�
Then, according to the convolution theorem, one has
X� ω� � GOU � ω� W� ω�
�4.47�
Since the PSD of the normalized Since to
w�t� equals the1, Pthat
SD
2
is, |W�ω�| � 1, we immediately obtain the PSD of the
process
.
OU given by
1
SOU � ω� �
λ2 � ω2
�4.48�
Consequently, the ACF of the OU process is given by
E� X� t� X� t � τ�� � F
−1�
SOU � ω�� �
e
−λ| τ|
2λ
,
�4.49�
−1
where F is the operator of the inverse Fourier
transform.
The ordinary OU process is obviously SRD.
It is one-dimensional. What interests people in the
field of fractal time series is the generalized OU
Problems in Engineering
dt
� λ
�β
X1� t� � w� t�
�4.50�
.
Denote by gX1 �t� the impulse response function of
dt
� λ
�β
gX1 � t� � δ� t�
�4.51�
,
where δ�t� is the Dirac-δ function. Doing the
− jω
�β ,
�4.52�
where GX1 �ω�is the Fourier transform of gX1 �t�.
Note that the PSD of X1�t�is equal to
∗,
SX1 � ω� � GX1 � ω�� GX1 �ω��
�4.53�
∗
where �GX1 �ω�� is the complex conjugate of GX1 �ω�.
Then,
SX1 � ω� �
1
� λ 2 � ω 2�
β
,
�4.54�
which is the solution to �4.50� in the frequency
� F
−1�
�4.55� where
CX1 � τ�
SX1 � ω��
v
�
� β−1/2
E� X1� t� X1� t
2v
√πΓ�
λ
−2v
v
� 1/2�
�
|
v
λτ| Kv �|λτ| �
Bessel
,
function of the second kind of order v �29, 91�.
Let v � H ∈ �0,1�. Then, one has
SX1 � ω� �
�λ 2
� ω 2�
1
H�1/2
,
�4.56�
which exhibits that X1 �t� is SRD because its PSD is
convergent for ω → 0.
Keep in mind that the Langevin equation is in
the sense of generalized functions since we take w�t�
as the differential of the standard Brownian motion
�4.63� 20
Mathematical Problems in Engineering if it is
lim cos ωt � 0.
�4.57�
Therefore, the PSD of the fBm of the Weyl type
�see �4.5�� has the following asymptotic property:
1
lim SBH ,W � t,ω� ∼ for ω −→ ∞.
ω → ∞ 2H�1
|
ω|
�4.58�
On the other hand, from �4.56�, we see that the PSD
of X1�t� has the asymptotic expression given by
1
SX1 � ω� ∼ for ω � λ.
2H�1
|
ω|
�4.59�
Therefore, we see that SX1 �ω� has the approximation
given by
SX1 � ω� ∼ SBH ,W � t,ω� for ω −→ ∞.
�4.60�
Hence, we have Note 20.
Note 20. The generalized OU process governed by
�4.50� can be taken as the locally stationary
counterpart of fBm.
F
−1
�
|
ω|
1
2H�1
�
∼ |
τ|
2H
.
�4.61�
Therefore, we obtain
2H
CX1 � τ� ∼ cX1 |
τ| for τ −→ 0,
�4.62�
where cX1 is a constant. Following �3.11� and �3.12�,
we have the fractal dimension of X1�t� given by
�−∞
D
α
t
� λ
�β
X2 � t� � w� t�
�4.64�
,
α
where −∞ D
t
is the operator of the Weyl fractional
response
.
derivative. Denote by gX2 �t� the impulse
function of the above system. Then,
�−∞ �β
α
D
t
� λ gX2 � t� � δ� t�
�4.65�
The Fourier transform of gX2 �t�, which is denoted by
GX2 � ω� � �λ
�
1
�−jω �α �β
.
�4.66�
.
Therefore, the PSD of X2 �t� is given by
∗
1
SX2 � ω� � GX2 � ω�� GX2 �ω�� � ��λ �� 2β
α
� �jω�
�4.67�
Note that
1
SX2 � ω� ∼ for ω −→ ∞.
2αβ
ω
�4.68�
In addition,
� �
−1
1 2αβ−1.
F ∼ |
τ|
2αβ
ω|
|
�4.69�
Thus, the ACF of X2 �t� has the asymptotic expression
given by
2αβ−1
CX2 � τ� ∼ cX2 τ|
| for τ −→ 0,
�4.70�
where cX2 is a constant. Hence, the fractal dimension
of X2 �t� is given by
52
DX2 � − αβ. �4.71�
22
Mathematical Problems in Engineering
5. Conclusions
Acknowledgment
References
23
�21� K. S. Miller and B. Ross, An Introduction to the Fractional
Calculus and Fractional Differential Equations,
A Wiley-Interscience Publication, John Wiley & Sons,
New York, NY, USA, 1993.
�22� M. D. Ortigueira, “Introduction to fractional linear
systems—part 1: continuous-time case,” IEE
Proceedings: Vision, Image and Signal Processing, vol. 147,
no. 1, pp. 62–70, 2000.
�23� M. D. Ortigueira, “Introduction to fractional linear
systems—part 2: discrete-time case,” IEE
Proceedings: Vision, Image and Signal Processing, vol. 147,
no. 1, pp. 71–78, 2000.
�24� M. D. Ortigueira, “An introduction to the fractional
continuous-time linear systems: the 21st century
systems,” IEEE Circuits and Systems Magazine, vol. 8, no.
3, pp. 19–26, 2008.
�25� Y. Q. Chen and K. L. Moore, “Discretization
24
Mathematical Problems in Engineering
1998.
�73� Y.-Q. Chen, R. Sun, and A. Zhou, “An improved
Hurst parameter estimator based on fractional
Fourier transform,” to appear in Telecommunication
Systems.
26
Mathematical Problems in Engineering
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Advances in
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International
Journal of Journal of
Mathematics and
Mathematical
Discrete Mathematics
Sciences
Journal of
Function Spaces
Hindawi Publishing Corporation Hindawi Publishing Corporation Volume 2014 Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com http://www.hindawi.com Volume 2014
Abstract and Discrete Dynamics in
Applied Analysis Nature and Society
Hindawi Publishing Corporation Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014
International Journal of Journal of