Exponentials and Laplace transforms on nonuniform time scales

https://doi.org/10.1016/j.cnsns.2016.03.010Get rights and content

Highlights

  • The paper deals with signals defined on non-uniformly spaced instants.

  • It presents a study of generalised exponentials.

  • With such exponentials new Laplace transforms are introduced.

  • This formulation allows the extending of fractional calculus to non-uniform time scales.

Abstract

We formulate a coherent approach to signals and systems theory on time scales. The two derivatives from the time-scale calculus are used, i.e., nabla (forward) and delta (backward), and the corresponding eigenfunctions, the so-called nabla and delta exponentials, computed. With these exponentials, two generalised discrete-time Laplace transforms are deduced and their properties studied. These transforms are compatible with the standard Laplace and Z transforms. They are used to study discrete-time linear systems defined by difference equations. These equations mimic the usual continuous-time equations that are uniformly approximated when the sampling interval becomes small. Impulse response and transfer function notions are introduced. This implies a unified mathematical framework that allows us to approximate the classic continuous-time case when the sampling rate is high or to obtain the standard discrete-time case, based on difference equations, when the time grid becomes uniform.

Introduction

The analysis of nonuniformly sampled data is a very important task having large spread application in fields like astronomy, seismology, paleoclimatology, genetics and laser Doppler velocimetry [5]. The “jitter” in Telecommunications is a well-known problem [24]. Very interesting is the heart rate variability of the signal obtained from the “R” points [37]. Traditionally, most interesting techniques for dealing with this kind of signals pass by interpolation, to obtain a continuous-time signal that is analysed by current methods [2], [22], [23]. An alternative approach proposed in [25] allows a conversion from irregular to regular samples, maintaining the discrete-time character. Other approaches, include the study of difference equations with fractional delays [6], [32]. However, no specific tools for dealing directly with such signals were developed. In particular, no equivalent to the Laplace or Z transforms were proposed. As well-known, the use of Laplace and Z transforms, to solve differential and difference linear equations, is very common in almost all scientific activities [38]. Normally, uniform time scales are used, but frequent applications use nonuniform scales. This makes important to obtain generalisations of such transforms for other kinds of scales. Some attempts have been made [1], [3], [4], [11], [12], but let us an unsatisfactory feeling: they are not true generalisations of the classic formulations. The main difficulty is in the starting point, i.e., the exponentials used to define the transforms. Usually, on time scales, causal exponentials are used instead of two-sided exponentials [18], [26], [27], [31]. On the other hand, no correct interplay between nabla and delta derivatives and exponentials and transforms has been established. Such interplay was stated for fractional derivatives in the recent paper [36].

Here, in a first step, we clarify nabla and delta definitions and their meaning and relation with causality. With nabla (causal) and delta (anti-causal) derivatives, we define corresponding linear systems. Each concept is used to define two exponentials over the whole time scale and not only above or below a given time reference. With each exponential, a given transform is defined. We start from the inverse transform and only later we define the direct transform. With the nabla exponential, we define the inverse nabla transform through a Mellin-like integral on the complex plane. The direct nabla transform is defined with the help of the delta exponential. For the delta transform we reverse the exponentials. Having defined the exponentials, we study the question of existence, arriving to the concept of region of convergence. The unicity of the transforms is also investigated. This lead us to generalise the convolution and correlation concepts with the help of equivalent time scales. The concept of transfer function, as the eigenvalue corresponding to the respective exponential, is introduced. The inverse Laplace transform is the so called impulse response, i.e., the response of the system when the input is a delta function. We consider also the conversion from one time scale to another one that is equivalent to it. In passing, we prove the existence of no periodicity and, consequently, the inability to define Fourier transforms and series. This is the main drawback of the theory.

Section snippets

On the calculus on time scales

A powerful approach into the continuous/discrete unification/generalisation was introduced by Aulbach and Hilger through the calculus on measure chains [3], [28]. However, the main popularity was gained by the calculus on time scales [4], [14], [16]. These are nonempty closed subsets T of the set R of real numbers, particular cases of measure chains. We remark that the name may be misleading, since the term scale is used in Signal Processing with a different meaning. On the other hand, in many

On the Laplace and Z transforms

The importance of Laplace and Z transforms in the study of linear time invariant systems is unquestionable. Many books enhance such fact. However, most of them do not show clearly why they are important and this led to misinterpretations that conditioned their generalisations to time scales [10], [30].

Derivatives and inverses

In what follows hR+.

The nabla and delta general exponentials

We consider first the nabla derivative. We want to discover the eigenfunction of this operator. We begin by introducing the reference instant t0 and the current instant t. The relations between both depend on the two cases t > t0 or t < t0. We start from t0 and go to t using the values of the graininess. In the first case, we easily write t=t0+μn(t0), where n is the number of steps to go from t0 to t. For the second case, we have t0νm(t0).

Suitable general Laplace transforms

To define a Laplace transform, we adopt a point of view somehow different from the usual. We obtained exponentials that are eigenfunctions of the nabla and delta derivatives. This means that we would like to express a given function in terms of these exponentials. To do it, we start from the inverse transform.

Generalising the transforms

In Section 5 we presented the general forms assumed by the exponentials: (11) and (16). With these we are able to generalise the nabla and delta Laplace transforms. It is a simple task to rewrite both transforms for a general time scale. In the nabla case we have F(s)=+ν(t)f(t)eΔ(t,t0;s)Δt=+f(t)eΔ(t,t0;s)Δtand f(t)=12πiCF(s)e(σ(t),t0;s)ds;while for the delta case we have, similarly, FΔ(s)=+ν(t)f(t)e(t,t0;s)t=+f(t)e(t,t0;s)tand f(t)=12πiCFΔ(s)eΔ(ρ(t),t0;s)ds.It is

Conclusion

We introduced a general approach to define exponentials and transforms on time scales. Starting from the nabla and delta derivatives, we studied them in parallel and derived general formulae for defining exponentials as their eigenfunctions. With these exponentials, we defined two new Laplace transforms and deduced their most important properties. We obtained existence and unicity, and defined convolution and correlation. We also considered linear systems and corresponding transfer functions

Acknowledgements

This work was partially supported by National Funds through the Foundation for Science and Technology of Portugal (FCT), under Project PEst–UID/EEA/00066/2013 (Ortigueira); by CIDMA and FCT within Project UID/MAT/04106/2013 (Torres); and by Project MTM2013-41704-P from the government of Spain (Trujillo). The authors would like to thank two referees for their valuable comments and helpful suggestions.

References (41)

  • RobertsM.J.

    Signals and systems: analysis using transform methods and Matlab

    (2003)
  • RahmatM.R.S.

    The (q, h)-Laplace transform on discrete time scales

    Comput Math Appl

    (2011)
  • AhrendtC.R.

    The Laplace transform on time scales

    PanAm Math J

    (2009)
  • AldroubiA. et al.

    Nonuniform sampling and reconstruction in shift-invariant spaces

    SIAM Rev

    (2001)
  • AulbachB. et al.

    A unified approach to continuous and discrete dynamics

    Qualitative theory of differential equations (Szeged, 1988)

    (1990)
  • AulbachB. et al.

    Linear dynamic processes with inhomogeneous time scale

    Nonlinear dynamics and quantum dynamical systems (Gaussig, 1990)

    (1990)
  • BaleanuD. et al.

    A k-dimensional system of fractional finite difference equations

    Abstr Appl Anal

    (2014)
  • BastosN.R.O.

    Fractional calculus on time scales

    (2012)
  • BastosN.R.O. et al.

    Fractional derivatives and integrals on time scales via the inverse generalized Laplace transform

    Int J Math Comput

    (2011)
  • BenkhettouN. et al.

    A fractional calculus on arbitrary time scales: fractional differentiation and fractional integration

    Signal Process

    (2015)
  • Cited by (0)

    View full text