7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
7.2
CiteScore
3.7
Impact Factor
Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors
Search in posts
Search in pages
Filter by Categories
ABUNDANCE ESTIMATION IN AN ARID ENVIRONMENT
Case Study
Editorial
Invited review
Letter to the Editor
Original Article
REVIEW
Review Article
SHORT COMMUNICATION
View/Download PDF

Translate this page into:

Original article
28 (
4
); 355-358
doi:
10.1016/j.jksus.2015.11.003

Dependence of a class of non-integer power functions

Ocean College, Zhejiang University, Yuhangtang Rd. 866, Hangzhou 310058, Zhejiang, PR China
Disclaimer:
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.

Peer review under responsibility of King Saud University.

Abstract

This short article exhibits that there exists critical point of the power for the generalized function t - a for a > 0. The present results show that it is long-range dependent if 0 < a < 1 and short-range dependent when a > 1. My motivation of studying that dependence issue comes from the power-law type functions in fractal time series. The present results may yet be useful to investigate fractal behavior of fractal time series from a new point of view.

Keywords

Power law
Long-range dependence
Generalized functions
Fractal time series
Fractional calculus
1

1 Introduction

Dependence analysis of functions is an interesting topic. That is particularly true in time series with long-range dependence (LRD), (see e.g., Arzano and Calcagni, 2013; Asgari et al., 2011; Cattani, 2010a,b; Cattani et al., 2012; Lévy Véhel, 2013; Mandelbrot, 2001; Stanley et al., 1993; Yang and Baleanu, 2013; Yang et al., 2013; Zhao and Ye, 2013), simply mentioning a few. The particularity in time series with LRD or in fractal time series in general is power-laws in probability density function (PDF), power spectrum density (PSD), and autocorrelation function (ACF) (Li, 2010; Stanley, 1995). By power-laws, we mean that things one concern about are described by power functions, for instance, f(t) = Atλ (t > 0) where A is a constant and λ ∊ R (the set of real numbers).

Functions in the class of tλ play a role in the domain of generalized functions (Rennie, 1982; Kanwal, 2004). Its Fourier transform has been well studied (Gelfand and Vilenkin, 1964; Lighthill, 1958). However, its correlation dependence from a view of statistical analysis is rarely seen. This article aims at providing my analysis of its correlation dependence. For facilitating the consistence with those in fractal time series, we are also interested in t - a for a > 0, which are decayed power functions. This article will show that there exists a critical point for t - a . When a > 1, t - a is of short-range dependence (SRD). If 0 < a < 1, t - a is of LRD.

2

2 Analysis and results for t - a H ( t )

Denote by y(t) a time series. Its ACF is denoted by ryy(τ) = E[y(t)y(t + τ)]. By LRD (Mandelbrot, 2001), one implies

(1)
0 r yy ( τ ) d τ = .

A typical case of ryy(τ), which satisfies the above, is a decayed power function expressed by

(2)
r yy ( τ ) c τ - b ( 0 < b < 1 ) , where c is a constant. If
(3)
0 r yy ( τ ) d τ < ,
y(t) is of SRD. Note that exponentially decayed ACFs are trivial in the field of fractal time series for the meaning of SRD.

Denote by Syy(ω) the PSD of y(t). Then,

(4)
S yy ( ω ) = F [ r yy ( τ ) ] = - r yy ( τ ) e - i ω τ d τ .

The case of LRD expressed by (1) implies Syy(0) = , meaning 1/f noise. On the other hand, the SRD case expressed by (3) means that Syy(ω) is convergent at ω = 0. Both reflect the statistical dependence of LRD and SRD in the frequency domain.

Let f ( t ) = t - a H ( t ) , where a > 0 and H(t) is the Heaviside unit step function. To discuss its correlation dependence, the following lemma is needed.

Lemma 1

The Fourier transform of t λ H ( t ) is given by

(5)
F [ t λ H ( t ) ] = 1 i ω exp - i π λ 2 sgn ω 2 π λ ! | ω | - λ = - i exp - i π λ 2 sgn ω 2 π ( λ ) ! | ω | - λ - 1 = exp - i π ( 1 + λ ) 2 sgn ω 2 π ( λ ) ! | ω | - λ - 1 , referring to (Lighthill, 1958) for the proof, also see (Li, 2013).

From Lemma 1, we have the following corollary.

Corollary 1

The Fourier transform of f(t) is given by

(6)
F [ t - a H ( t ) ] = 1 i ω exp i π a 2 sgn ω 2 π λ ! | ω | a = - i exp i π a 2 sgn ω 2 π ( - a ) ! | ω | a - 1 = exp - i π ( 1 - a ) 2 sgn ω 2 π ( - a ) ! | ω | a - 1 .

Lemma 2

Denote the ACF of f(t) by rff(τ). Representing rff(τ) by using the convolution (Papoulis, 1977) produces

(7)
r ff ( τ ) = f ( τ ) f ( - τ ) , where ∗ stands for the convolution operation.

Corollary 2

The Fourier transform of f(−t) is given by

(8)
F [ f ( - t ) ] = exp i π ( 1 - a ) 2 sgn ω 2 π ( - a ) ! ( - 1 ) a - 1 | ω | a - 1 .

Proof

Denote by F(ω) the Fourier transform of f(t). Then, the Fourier transform of f(−t) is F(−ω). Replacing ω in (6) by −ω produces (8). Hence, Corollary 2 holds.

Let Sff(ω) be the PSD of f(t). Then, we present the following theorem.

Theorem 1

The PSD of f(t) is expressed by

(9)
S ff ( ω ) = ( - 1 ) a - 1 ( - a ) ! 2 | ω | 2 ( a - 1 ) .

Proof

According to the convolution theorem, one has S ff ( ω ) = F [ f ( t ) ] F [ f ( - t ) ] . Therefore, with Corollaries 1 and 2, we have F [ f ( t ) ] F [ f ( - t ) ] = exp - i π ( 1 - a ) 2 sgn ω 2 π ( - a ) ! | ω | a - 1 exp i π ( 1 - a ) 2 sgn ω 2 π ( - a ) ! ( - 1 ) a - 1 | ω | a - 1 = ( - 1 ) a - 1 [ ( - a ) ] ! 2 | ω | 2 ( a - 1 ) .

Thus, Theorem 1 holds.

Theorem 2

f(t) is SRD if a>1 and LRD if 0<a<1.

Proof

From (9) in Theorem 1, we see that Sff(ω) is convergent at ω = 0 for a > 1, meaning f(t) is SRD. On the other side, it is divergent ω = 0 if 0 < a < 1, implying f(t) is LRD. This completes the proof.

The ACF of f(t), rff(τ), gives the quantitative description of how f(t) at time t correlates to the one at t + τ. Thus, suppose f(t) is a PDF or ACF or PSD of a specific time series. Theorem 2 may provide a tool to deeply investigate or describe dynamics of a fractal random function from another point of view. I shall work at this issue in future.

3

3 Analysis and results for | t | - a

Lemma 3

The Fourier transform of | t | λ is given by

(10)
F | t | λ = - 2 sin λ π 2 λ ! | ω | - λ - 1 , where λ ≠ −1, −3, … (Lighthill, 1958; Li, 2013).

Corollary 3

The Fourier transform of | t | - a is given by

(11)
F | t | - a = 2 sin a π 2 ( - a ) ! | ω | a - 1 .

Proof

Replacing λ in (10) by −a yields this corollary.

Theorem 3

Let Sgg(ω) be the PSD of g ( t ) = | t | - a . Then,

(12)
S gg ( ω ) = F ( | t | - a ) 2 = 4 sin 2 a π 2 [ ( - a ) ! ] 2 | ω | 2 ( a - 1 ) .

Proof

According to the convolution theorem, we have S gg ( ω ) = F [ g ( t ) ] F [ g ( - t ) ] = { F [ g ( t ) ] } 2 . Using (11), we have { F [ g ( t ) ] } 2 = 4 sin 2 ( a π 2 ) [ ( - a ) ! ] 2 | ω | 2 ( a - 1 ) . Therefore, Theorem 3 holds.

Theorem 4

g(t) is LRD if 0<a<1 and it is SRD if a>1.

Proof

Omitted as it is similar to that in Theorem 2.

4

4 Concluding remarks

I have explained that there exists a critical point of power for the class of generalized power functions | t | - a and | t | - a H ( t ) to classify its dependence (LRD or SRD). For 0 < a < 1, they are of LRD and SRD if a > 1. The potential utility of the present results may be in the aspect of deeply investigating the fractal dynamics of a fractal time series from the point of view of the dependence behavior of its stochastic models in power laws, such as PSD, PDF or ACF. Indeed, in addition to fractal time series, the generalized functions discussed in this research are also essential in other mathematics branches, such as fractional calculus, where the Mittag–Leffler function, denoted by E γ ( - t γ ) , plays a role (Jumarie, 2009; Klafter et al., 2012).

(13)
E γ ( - t γ ) - = k = 0 ( - 1 ) k t γ k Γ ( 1 + γ k ) , see (Gorenflo et al., 2014; Turner, 2013); and references therein for the Mittag–Leffler function. That is essential in fractional calculus (Kiryakova, 2010). More about it is given in the Addendum.

Acknowledgments

This paper was partly supported by theNational Natural Science Foundation of China under the Project Grant Nos. 61272402 and 61070214.

References

  1. , , , , . Response characteristics of a fractional oscillator. Phys. A. 2002;309(3–4):275-288.
    [Google Scholar]
  2. , , , , . Damping characteristics of a fractional oscillator. Phys. A. 2004;399(3–4):311-319.
    [Google Scholar]
  3. , , . Black-hole entropy and minimal diffusion. Phys. Rev. D. 2013;88(8):084017.
    [Google Scholar]
  4. , , , . Stochastic dynamics of charge fluctuations in dusty plasma: a non-Markovian approach. Phys. Plasmas. 2011;18(8):083709.
    [Google Scholar]
  5. , . Fractals and hidden symmetries in DNA. Math. Prob. Eng.. 2010;2010:1-31.
    [Google Scholar]
  6. , . Harmonic wavelet approximation of random, fractal and high frequency signals. Telecommun. Syst.. 2010;43(3–4):207-217.
    [Google Scholar]
  7. , , , . Simplicial approach to fractal structures. Math. Prob. Eng.. 2012;2012:1-21.
    [Google Scholar]
  8. , , . Generalized Functions. Vol vol. 1. New York: Academic Press; .
  9. , , , , . Mittag-Leffler functions: related topics and applications. In: Theory and Applications. Springer; .
    [Google Scholar]
  10. , . Brownian Motion. Springer; .
  11. , . Laplace’s transform of fractional order via the Mittag-Leffler function and modified Riemann-Liouville derivative. Appl. Math. Lett.. 2009;22(11):1659-1664.
    [Google Scholar]
  12. , . Generalized Functions: Theory and Applications (third ed.). Birkhauser; .
  13. , . The multi-index Mittag-Leffler functions as an important class of special functions of fractional calculus. Comput. Math. Appl.. 2010;59(5):1885-1895.
    [Google Scholar]
  14. , , , . Fractional Dynamics: Recent Advances. World Scientific; .
  15. , . Beyond multifractional Brownian motion: new stochastic models for geophysical modeling. Nonlinear Processes Geophys.. 2013;20(5):643-655.
    [Google Scholar]
  16. , . Fractal time series — a tutorial review. Math. Prob. Eng.. 2010;2010:1-26.
    [Google Scholar]
  17. , . Power spectrum of generalized fractional Gaussian noise. Adv. Math. Phys.. 2013;2013:1-3.
    [Google Scholar]
  18. , , , . Exact solution of impulse response to a class of fractional oscillators and its stability. Math. Prob. Eng.. 2011;2011:1-9.
    [Google Scholar]
  19. , . An Introduction to Fourier Analysis and Generalised Functions. Cambridge University Press; .
  20. , . Gaussian Self-Affinity and Fractals. Springer; .
  21. , . Operational Calculus. Pergamon Press; .
  22. , , . An Introduction to the Fractional Calculus and Fractional Differential Equations. John Wiley; .
  23. , . Signal Analysis. New York: McGraw-Hill; . Part III
  24. , . On generalized functions. J. Appl. Probab.. 1982;19:139-156.
    [Google Scholar]
  25. , . Phase transitions: power laws and universality. Nature. 1995;378(6557):554.
    [Google Scholar]
  26. , , , , , , . Long-range power-law correlations in condensed matter physics and biophysics. Phys. A. 1993;200(1–4):4-24.
    [Google Scholar]
  27. , . The Mittag-Leffler theorem: the origin, evolution, and reception of a mathematical result. Hist. Math.. 2013;40(1):36-83.
    [Google Scholar]
  28. , , . Fractal heat conduction problem solved by local fractional variation iteration method. Therm. Sci.. 2013;17(2):625-628.
    [Google Scholar]
  29. , , , , . Cantor-type cylindrical-coordinate method for differential equations with local fractional derivatives. Phys. Lett. A. 2013;377(28–30):1696-1700.
    [Google Scholar]
  30. , , . Power-law link strength distribution in paper cocitation networks. J. Am. Soc. Inf. Sci. Technol.. 2013;64(7):1480-1489.
    [Google Scholar]

Appendix A.

In addition to (13) mentioned previously, I would like to show more cases about the functions of t - a type from the point of view of fractional calculus.

A.1

A.1 Function ta in Riemann–Liouville integral

Denote by 0 D t - ν the Riemann–Liouville integral operator of order v (Miller and Ross, 1993, p. 45). When v > 0 and f(t) is a piecewise continuous on (0, ∞) and integrable on any finite subinterval of [0, ∞), one has the differential of order v of f(t), for t > 0, in the form

(A1)
0 D t - ν f ( t ) = 1 Γ ( ν ) 0 t ( t - u ) ν - 1 f ( u ) du , where Γ is the Gamma function.

Taking into account the definition of the convolution stated by Mikusinski, 1959, one has

(A2)
0 D t - ν f ( t ) = t ν - 1 Γ ( ν ) f ( t ) The above gives a case of t - a type functions to the Riemann–Liouville integral.

A.2

A.2 Application of t - a to fractional Brownian motion of the Riemann–Liouville integral type

Denote by B(t), t ∊ (0, ∞), the standard Brownian motion, see e.g., Hida, 1980. Then, replacing v with H + 0.5 in (A1) for 0 < H < 1, where H is the Hurst parameter, the fractional Brownian motion (fBm) of the Riemann–Liouville type, BH(t), is given by

(A3)
B H ( t ) = 0 D t - ( H + 1 / 2 ) B ( t ) = 1 Γ ( H + 1 / 2 ) 0 t ( t - u ) H - 1 / 2 dB ( u ) .

The above may be written by

(A4)
B H ( t ) = dB ( t ) dt t H - 1 / 2 Γ ( H + 1 / 2 ) , implying a case of application of ta type functions to the fBm of the Riemann–Liouville type.

A.3

A.3 Application of t - a to fractional vibrations

An oscillator system with the damping zero may be expressed by

(A5)
d 2 dt 2 + ω 0 2 x ( t ) = e ( t ) , where x(t) is the system response, e(t) is the excitation, and ω0 > 0 the angular natural frequency. Generalizing (A5) using the fractional calculus to the form given by
(A6)
d 2 dt 2 + ω 0 2 β x ( t ) = e ( t ) ,
where β > 0 is a fractional index. When x ( 0 ) = x ( 0 ) = 0 , e(t) = δ(t) (Diract-δ function), following Li et al., 2011, we have the impulse response, denoted by h(t), in the form
(A7)
h ( t ) = π Γ ( β ) ( 2 ω 0 ) β - 1 / 2 t β - 1 / 2 J β - 1 / 2 ( ω 0 t ) , β > 0 , t 0 ,
where J β - 1 / 2 ( ω 0 t ) is the Bessel function of the first kind of order 1/2. As can be seen from (A7), the factor t β - 1 / 2 exhibits a case of application of t - a type functions to a class of fractal vibration phenomena described in Li et al., 2011. One may find such an application to other fractional vibration phenomenon, e.g., that explained by Achar et al. (2002, 2004).

The above describes the relationship between the type of functions of t - a and fractional calculus from three points. To be precise, the definition of fractional integral, fBm, and fractional oscillating.

Show Sections