Abstract
A usual problem in analog signal processing is to ascertain the existence of a continuous single-input single-output linear time-invariant input–output stable system associated with a linear differential equation, i.e., of a continuous system such that, for every input signal in a given space of signals, yields an output, in the same space, which verifies the equation with known term the input, and to ascertain the existence of its inverse system. In this paper, we consider, as space of signals, the usual Banach space of \({L^{p}}\) functions, or the space of distributions spanned by \({L^{p}}\) functions and by their distributional derivatives, of any order (input spaces which include signals with not necessarily left-bounded support), we give a systematic theoretical analysis of the existence, uniqueness and invertibility of continuous linear time-invariant input–output stable systems (both causal and non-causal ones) associated with the differential equation and, in case of invertibility, we characterize the continuous inverse system. We also give necessary and sufficient conditions for causality. As an application, we consider the problem of finding a suitable almost inverse of a causal continuous linear time-invariant input–output stable non-invertible system, defined on the space of finite-energy functions, associated with a simple differential equation.
Similar content being viewed by others
1 Introduction
An analog signal defined on \(\mathbb {R}\) is, in this paper, a complex-valued distribution on \(\mathbb {R}\), i.e., a member of the space \({\mathscr {D'}(\mathbb {R})}\).Footnote 1 This class includes usual signals like continuous functions and \({L^{p}}\) functions, as well as less usual signals like distributional derivatives of any order of continuous functions and of \({L^{p}}\) functions (\(1 \leqslant p \leqslant \infty \)).
A space of analog signals is a linear subspace \(\mathscr {X}\) of \({\mathscr {D'}(\mathbb {R})}\) closed under translation and endowed with a notion of convergence and limit (denoted \(\mathscr {X}{-}\lim \)) for sequences, such that for every \(f(t)\in \mathscr {X}\) and every sequence \(f_{k}(t)\in \mathscr {X}\) we have
Given two spaces of analog signals, \(\mathscr {I}\) and \(\mathscr {O}\), a (single-input single-output) system with input space \(\mathscr {I}\) and output space \(\mathscr {O}\) is, in this paper, a (single-valued) map:
As usual, a system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) is linear time-invariant (LTI) if the map \(\mathscr {L}\) is linear and commutes with translations, and it is continuous if the map \(\mathscr {L}\) is continuous, i.e., for every \(f(t)\in \mathscr {I}\) and every sequence \(f_{k}(t)\in \mathscr {I}\) it is:
Also as usual, a system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) is invertible if there exists an (obviously unique) inverse system \(\mathscr {L}^{-1}:\mathscr {O}\rightarrow \mathscr {I}\) such that for every signal \(f(t)\in \mathscr {I}\) it is:
and for every signal \(g(t)\in \mathscr {O}\) it is:
and it is causal if for every \(t_{0}\in \mathbb {R}\) and every \(f(t), g(t)\in \mathscr {I}\) it is:
We will say that a system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) is input–output stable (IOS) if \(\mathscr {I} = \mathscr {O}\). In such case, the system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {I}\) will be called an IOS system on \(\mathscr {I}\). Hence, a continuous IOS system \(\mathscr {L}\) on \(\mathscr {I}\) is such that for every \(f(t)\in \mathscr {I}\) and every sequence \(f_{k}(t)\in \mathscr {I}\) it is:
Moreover, we will say that a system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) is bicontinuous invertible if \(\mathscr {L}\) is continuous, invertible, and the inverse system \(\mathscr {L}^{-1}:\mathscr {O}\rightarrow \mathscr {I}\) is continuous.
A system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) with \(\mathscr {O} = {\mathscr {D'}(\mathbb {R})}\), i.e., a system whose output space is the largest space of signals, will be referred to as a system defined on \(\mathscr {I}\), letting that the expression implies that the output space is \({\mathscr {D'}(\mathbb {R})}\). Hence, a continuous system \(\mathscr {L}\) defined on \(\mathscr {I}\) is such that for every \(f(t)\in \mathscr {I}\) and every sequence \(f_{k}(t)\in \mathscr {I}\) it is:
Finally, let
be two polynomials with coefficients in \(\mathbb {C}\) such that \(n \geqslant 0, m \geqslant 0, a_{n} \not = 0\) and \(b_{m} \not = 0\), and let:Footnote 2
i.e.,
be the linear differential equation with constant coefficients defined by P and Q, in which \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) is a given signal and \(x(t)\in {\mathscr {D'}(\mathbb {R})}\) is the unknown signal.
We will say that a system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {O}\) is associated with the differential equation (1) if:
i.e., if for every \(f(t)\in \mathscr {I}\) the output \(\mathscr {L}(f)\) is a solution in \(\mathscr {O}\) of the differential equation (1).Footnote 3
Let \(\mathscr {I}\) be a given space of input signals. In this paper, we shall be concerned with the problem to find the continuous LTI IOS (causal as well as non-causal) systems on \(\mathscr {I}\) associated with the differential equation (1) and, among them, to find the bicontinuous invertible ones.
LTI systems associated with an ordinary differential equation with constant coefficients are ubiquitous in engineering. Observe that we do not pose any restriction on the degrees of the polynomials defining the differential equation. Sometimes the restriction \(\deg Q(z) < \deg P(z)\) or \(\deg Q(z) \leqslant \deg P(z)\) is introduced on the basis of some state-space realizability criteria,Footnote 4 but we will not be concerned with state-space realizations. We also will find some restrictions on the degrees on the basis of the kind of input–output stability considered.
We restrict our attention to continuous LTI systems because continuity is an essential theoretical property, always implicitly assumed (see [17, Comment on p. 82, Ch. 5, Sect. 5-1] and [13, Sect. 1.1]).Footnote 5
Input–output stable systems are implicitly commonly used. For example, a usual BIBO-stable system, i.e., a system which maps every bounded function into a bounded function, canonically defines an IOS system on \({L^{\infty }(\mathbb {R})}\). Analogously, a usual system which maps finite-energy signals into finite-energy signals, canonically defines an IOS system on \({L^{2}(\mathbb {R})}\), and a usual system which maps signals with left-bounded support into signals with left-bounded support, canonically defines an IOS system on \({\mathscr {D_{+}'}(\mathbb {R})}\).
The problem to find inverses of LTI IOS systems is encountered in many applications (e.g., channel equalization [19, Section 8.4.2, p. 579], deconvolution [10, Section 8.5.2], chaotic systems synchronization [15], design of compensators for measuring systems [16, Problem 4.52] and analog realization of inverse wavelet transform [3]). In particular, non-causal systems are needed to invert causal systems defined on spaces of signals with not necessarily left-bounded support [25].
The problem to find inverses of continuous LTI IOS systems on \({\mathscr {D_{+}'}(\mathbb {R})}\), i.e., in the natural context in which only causal systems and signals with left-bounded support are of interest, is easily solved through the classical representation as convolution of the continuous LTI IOS systems on \({\mathscr {D_{+}'}(\mathbb {R})}\) (see [29, Sect. 9.3 and 5.6]).
Precisely: for every P(z) and Q(z) there exists a unique continuous LTI IOS system \(\mathscr {L}\) associated with the differential equation (1). The system \(\mathscr {L}\) is a bicontinuous-invertible LTI IOS system, and the inverse system \(\mathscr {L}^{-1}\) is the unique continuous LTI IOS system associated with the differential equation \(Q(D)x(t) = P(D)g(t).\) The system \(\mathscr {L}\) is defined by \(\mathscr {L}(f) = h *f\), where h(t), the impulse response of the system, is the inverse (unilateral) Laplace transform of the transfer function Q(s)/P(s), and the system \(\mathscr {L}^{-1}\) is defined by \(\mathscr {L}^{-1}(g) = k *g\) where k(t) is the inverse (unilateral) Laplace transform of the inverse transfer function P(s)/Q(s).
The problem to find inverses of LTI IOS systems on the usual Banach spaces \({L^{p}(\mathbb {R})}\), and on their distributional generalizations \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), is very heavy and constitutes the main topic of this paper.
Concerning these two classes of spaces, no complete theory is available, and only some partial results are known.
In [9, Lesson 24 and Section 34.3], some sufficient conditions for the existence of a unique continuous LTI system mapping \({L^{p}(\mathbb {R})}\) into itself associated with the differential equation (1) are given. Precisely, it is proved that: if the polynomial P(z) has no zero on the complex imaginary axis, and \(\deg Q(z) \leqslant \deg P(z)\), then there exists a unique continuous LTI system mapping \({L^{1}(\mathbb {R})}\) (resp.: \({L^{2}(\mathbb {R})}\), \({L^{\infty }(\mathbb {R})}\)) into itself associated with the differential equation (1). The system is that which maps any signal f(t), whose Fourier transform is \(\hat{f}(\omega )\), into the signal y(t) whose Fourier transform is
Concerning LTI systems defined on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with differential equations, to the author’s knowledge no paper besides [6] reports any result. Observe, however, that the space \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), i.e., the subspace of \({\mathscr {D'}(\mathbb {R})}\) spanned by \({L^{p}(\mathbb {R})}\) itself and by the distributional derivatives, of any order, of its members, is the minimal subspace of \({\mathscr {D'}(\mathbb {R})}\) which includes \({L^{p}(\mathbb {R})}\) and is closed with respect to differentiation, and hence that it is the natural signal space to be taken into consideration when studying systems associated with the differential equation (1) and \({L^{p}(\mathbb {R})}\) input signals are allowed.
The problem to find linear IOS systems has been faced also for systems associated to different kinds of equations. In [7], the author considers LTI systems associated with singular delay-differential equations with constant coefficients and discrete delays and discusses the existence of related LTI IOS systems on a certain class of functions with left-bounded support. In [8], the author considers linear time-varying systems associated with switched delay-differential equations with constant coefficients and discrete delays and discusses the existence of related linear time-varying IOS systems on \({L^{2}(\mathbb {R})}\).
In this paper, the input space \(\mathscr {I}\) taken into consideration is always:
-
either the usual Banach space \({L^{p}(\mathbb {R})}\), endowed with the notion of convergence and limit (denoted \({L^{p}}{-}\)lim) for sequences induced by the usual norm \(\Vert \cdot \Vert _{p}\)
-
or the space \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) endowed either with the notion of weak, or with the notion of strong convergence, and the corresponding notions of limit (denoted \(w{-}{\mathscr {D'}_{L^{p}}}{-}\mathrm{lim}\) and \(s{-}{\mathscr {D'}_{L^{p}}}{-}\mathrm{lim}\), respectively) for sequences,Footnote 6
(all these input spaces include also signals whose support is not left-bounded) and we give a systematic theoretical analysis of the existence, uniqueness and bicontinuous invertibility of continuous (causal and non-causal) LTI IOS systems
associated with the differential equation (1) and, in case of bicontinuous invertibility, we characterize the inverse system.
Since two different notions of convergence (weak and strong) can be considered in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), we will say that a system \(\mathscr {L}:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is \(w{-}\)continuous (resp. \(s{-}\)continuous) when it is continuous with respect to the weak convergence (resp. with respect to the strong convergence) in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), and to the convergence in \({\mathscr {D'}(\mathbb {R})}\), i.e., when for every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and every sequence \(f_{k}(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) we have:
Analogously, we will say that an IOS system \(\mathscr {L}:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is \(w{-}\)continuous (resp. \(s{-}\)continuous) when it is continuous with respect to the weak convergence (resp. with respect to the strong convergence) in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), i.e., when for every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and every sequence \(f_{k}(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) we have:
and that it is \(w{-}\)bicontinuous (resp. \(s{-}\)bicontinuous) invertible if it is invertible and both \(\mathscr {L}\) and \(\mathscr {L}^{-1}\) are \(w{-}\)continuous (resp. \(s{-}\)continuous).
Finally, observe that continuity of a LTI IOS system \(\mathscr {L}:{L^{p}(\mathbb {R})}\rightarrow {L^{p}(\mathbb {R})}\) is equivalent (see [24, Theorem A of Section 47]) to the existence of a real number \(K \geqslant 0\) such that for every \(f(t) \in {L^{p}(\mathbb {R})}\) it is:
Here follows a brief summary of the content of the paper.
In Sect. 2, we give some results on IOS systems associated with differential equations, independent of linearity, time invariance and continuity, interesting per se and used to prove our main results of Sect. 4. In Sect. 3, we describe through a constructive procedure, the distribution \(\varGamma (t)\), a key tool used in Sect. 4. In Sect. 4, we give a complete description, apart two pathologies arising when \(p = \infty \), of the landscape of continuous LTI IOS systems on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and \({L^{p}(\mathbb {R})}\) associated with the differential equation (1), and of the landscape of bicontinuous invertible LTI IOS systems on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and \({L^{p}(\mathbb {R})}\) associated with the same differential equation, respectively. For each of the characterized systems, we also examine causality. In Sect. 5, we give the proofs of the Lemmas, Theorems and Corollaries stated in Sect. 4. These proofs rests heavily on the content of our previous papers [4, 5] and [6]. In Sect. 6, we apply our results to give, in a simple example, a theoretical foundation to the technique used in [3] to find a suitable continuous “almost-inverse” system of a noninvertible continuous LTI system associated with a given differential equation. Section 7 contains the conclusions. Finally, in the Appendix we summarize the definitions of the distributional spaces used in the paper, and some related notions concerning distributional solutions of ordinary differential equations with constant coefficients.
2 IOS Systems Associated with Differential Equations: Results Independent of Linearity, Time Invariance and Continuity
Let P(z) and Q(z) be as in Sect. 1, and let \(\mathscr {X}\) be an arbitrary subspace of \({\mathscr {D'}(\mathbb {R})}\). An IOS system on \(\mathscr {X}\) associated with the differential equation (1) is an arbitrary map
such that for every \(f(t)\in \mathscr {X}\) it is: \(P(D)\mathscr {L}(f) = Q(D)f\).
In this section, we state and prove three Propositions concerning properties of arbitrary IOS systems associated with the differential equation (1), interesting per se and used in the remaining part of the paper.
Two of them are related to the uniqueness of solution in \(\mathscr {X}\) of the homogeneous differential equations \(P(D)x(t) = 0\) and \(Q(D)x(t) = 0\). Since we will use these two Propositions when \(\mathscr {X} = {L^{p}(\mathbb {R})}\) or \(\mathscr {X} = {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), two additional Propositions study in particular the uniqueness of solution in \({L^{p}(\mathbb {R})}\) and \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of a homogeneous differential equation with constant coefficients.
Proposition 1
Let \(\mathscr {L}:\mathscr {X}\rightarrow \mathscr {X}\) be an IOS system on \(\mathscr {X}\) associated with the differential equation (1).
Then: if \(\mathscr {L}\) is invertible, its inverse map \(\mathscr {L}^{-1}:\mathscr {X}\rightarrow \mathscr {X}\) is an IOS system on \(\mathscr {X}\) associated with the differential equation
Proof
Let \(g(t)\in \mathscr {X}\), and let \(f = \mathscr {L}^{-1}(g)\). By assumption, it is \(f(t)\in \mathscr {X}\). Since it is \(P(D)\mathscr {L}(f)=Q(D)f\), then \(Q(D)\mathscr {L}^{-1}(g) = Q(D)f = P(D)\mathscr {L}(f) = P(D)g\). \(\square \)
Proposition 2
Let \(\mathscr {L}:\mathscr {X}\rightarrow \mathscr {X}\) be an IOS system on \(\mathscr {X}\) associated with the differential equation (1), and let \(\mathscr {M}:\mathscr {X}\rightarrow \mathscr {X}\) be an IOS system on \(\mathscr {X}\) associated with the differential equation (2).
If \(x(t) = 0\) is the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(P(D)x(t) = 0\) and also the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(Q(D)x(t) = 0\), then: \(\mathscr {L}\) and \(\mathscr {M}\) are each the inverse system of the other, i.e., for every \(f(t) \in \mathscr {X}\) it is:
Proof
Let \(f(t)\in \mathscr {X}\). It is:
where equality (i) holds since \(\mathscr {M}\) is a map associated with the differential equation (2), and equality (ii) holds since \(\mathscr {L}\) is a map associated with the differential equation (1). Hence: \(Q(D) [\mathscr {M}\big ( \mathscr {L}(f) \big ) - f] = 0\).
Since \(x(t) = 0\) is the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(Q(D)x(t) = 0\) and \(\mathscr {M}\big ( \mathscr {L}(f) \big ) - f \in \mathscr {X}\), then: \( \mathscr {M}\big ( \mathscr {L}(f) \big ) = f\).
Analogously, it is:
Hence: \(P(D) [\mathscr {L}\big ( \mathscr {M}(f) \big ) - f] = 0\).
Since \(x(t) = 0\) is the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(P(D)x(t) = 0\) and \(\mathscr {L}\big ( \mathscr {M}(f) \big ) - f\in \mathscr {X}\), then: \( \mathscr {L}\big ( \mathscr {M}(f) \big ) = f\). \(\square \)
Proposition 3
Let \(\mathscr {L}, \mathscr {M}: \mathscr {X}\rightarrow \mathscr {X}\) be two IOS systems on \(\mathscr {X}\) associated with the differential equation (1).
If \(x(t) = 0\) is the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(P(D)x(t) = 0\), then: \(\mathscr {L} = \mathscr {M}\).
Proof
Let \(f(t) \in \mathscr {X}\). The hypothesis means that it is both \(P(D) \mathscr {L}(f) = Q(D)f\) and \(P(D) \mathscr {M}(f) = Q(D)f\). Hence, we have \(P(D) \mathscr {L}(f) = P(D) \mathscr {M}(f)\), i.e., \(P(D) \big ( \mathscr {L}(f) - \mathscr {M}(f) \big ) = 0\). Since \(\mathscr {L}(f) - \mathscr {M}(f)\in \mathscr {X}\) and \(x(t) = 0\) is the unique solution in \(\mathscr {X}\) of the homogeneous differential equation \(P(D)x(t) = 0\), then: \(\mathscr {L}(f) = \mathscr {M}(f)\). \(\square \)
Let q(z) be a nonzero polynomial with coefficients in \(\mathbb {C}\). In the following Propositions, we study the uniqueness of solution in \({L^{p}(\mathbb {R})}\) and \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the homogeneous differential equation with constant coefficients \(q(D)x(t) = 0\).
Proposition 4
Let \(1 \leqslant p < \infty \). The distribution \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) (resp. in \({L^{p}(\mathbb {R})}\)) of the homogeneous differential equation \(q(D)x(t) = 0\).
Proof
Since \({L^{p}(\mathbb {R})}\subset {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), then it is obviously sufficient to prove the statement for \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\).
If \(\deg q(z) = 0\), the statement is obvious, hence, let \(\deg q(z) \geqslant 1\).
First of all, we prove that:
-
(i)
For every complex number \(\alpha \), the distribution \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the differential equation \((D - \alpha )x(t) = 0\).
Indeed, if \(f(t) \in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is such that \((D - \alpha )f(t) = 0\), then for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is (for the convolution with a test function, see eq. (6) in Sect. 5):
Hence, there exists \(c\in \mathbb {C}\) such that:
Since, by Theorem 6 of the Appendix, it is \(f *\varphi \in {\mathscr {D}_{L^{p}}(\mathbb {R})}\), and, see Sect. A-6 of the Appendix, it is \({\mathscr {D}_{L^{p}}(\mathbb {R})} \subset {\dot{{\mathscr {D}}}_{L^{\infty }}(\mathbb {R})}\), then: \(c\, e^{\alpha t} \in {\dot{{\mathscr {D}}}_{L^{\infty }}(\mathbb {R})}\), hence:
and this implies that \(c = 0\). Hence, for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is \((f *\varphi )(t) = 0\). As a consequence, for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\), defined \({\tilde{\varphi }}(t) = \varphi (-t) \in {\mathscr {D}(\mathbb {R})}\), by the last paragraph of Sect. 5 it is
Hence, it is \(f(t) = 0\).
The statement i) is equivalent to:
-
(ii)
For every complex number \(\alpha \), and every nonzero \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), the distribution \((D - \alpha )f(t)\) is a nonzero element of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\).
Now, write q(z) in the form:
where c is a nonzero complex number, and \(s_{1},\dots ,s_{r}\in \mathbb {C}\), and let f(t) be a nonzero element of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\). We have: \(y_{r}(t) = (D - s_{r}) f(t)\) is a nonzero element of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and, for \(j = r-1,\ldots , 1\): \(y_{j}(t) = (D - s_{j}) y_{j+1}(t)\) is a nonzero element of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\). Thus:
This proves the statement. \(\square \)
Proposition 5
The distribution \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) (resp. in \({L^{\infty }(\mathbb {R})}\)) of the homogeneous differential equation \(q(D)x(t) = 0\) if and only if q(z) has no zero on the complex imaginary axis.
Proof
If \(\deg q(z) = 0\), the statement is obvious, hence, let \(\deg q(z) \geqslant 1\).
If \(\omega \in \mathbb {R}\) is such that \(q(i\omega ) = 0\), then \(q(z) = R(z) (z - i\omega )\) for a suitable polynomial R(z). As a consequence, for every \(c \in \mathbb {C}\), the function \(x(t) = c\, e^{i\omega t}\) is such that:
Hence, if q(z) has a zero on the complex imaginary axis, then the equation \(q(D)x(t) = 0\) has an infinite number of solutions in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) (resp. in \({L^{\infty }(\mathbb {R})}\)).
Assume now that q(z) has no zero on the complex imaginary axis.
First of all, we prove that:
-
(i)
For every complex number \(\alpha \) with nonzero real part, the distribution \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) of the differential equation \((D - \alpha )x(t) = 0\).
Indeed, if \(f(t) \in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) is such that \((D - \alpha )f(t) = 0\), then, as in the proof of Proposition 4, for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) there exists \(c\in \mathbb {C}\) such that:
Since, by Theorem 6 of the Appendix, it is \(f *\varphi \in {\mathscr {D}_{L^{\infty }}(\mathbb {R})}\), then we have: \(c\, e^{\alpha t} \in {\mathscr {D}_{L^{\infty }}(\mathbb {R})}\), i.e., \(c\, e^{\alpha t}\) is bounded. Since the real part of \(\alpha \) is not zero, this implies that \(c = 0\). Hence, for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is \((f *\varphi )(t) = 0\) and, as in the proof of Proposition 4, this implies \(f(t) = 0\).
The statement i) is equivalent to:
-
(ii)
For every complex number \(\alpha \) with nonzero real part, and every nonzero \(f(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), the distribution \((D - \alpha )f(t)\) is a nonzero element of \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\).
Proceeding as in the proof of Proposition 4, we conclude that if \(f(t) \in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) is such that \(q(D)f(t) = 0\) then \(f(t) = 0\). \(\square \)
3 A Key Tool: The Distribution \({\varGamma }(t)\)
Let \(\mathscr {I}\) be as in Sect. 1. The analysis of the continuous, as well as of the bicontinuous invertible, LTI IOS systems on \(\mathscr {I}\) associated with the differential equation (1), rests on a key tool: a suitable distribution \(\varGamma (t)\).
Let P(z) and Q(z) be two nonzero polynomial as in Sect. 1. The following procedure \(\mathbf {P}\) operates on the ordered pair P(z), Q(z) and returns the distribution \(\varGamma (t)\).
Procedure \(\mathbf {P}(P(z),Q(z))\):
If \(\deg P(z) = 0\), i.e., \(P(z) = a_{0}\not = 0\), set:
If \(n = \deg P(z) \geqslant 1\), execute the following steps:
-
Step 1. Write P(z) in the form:
$$\begin{aligned} P(z) = a_{n}\left( z - s_{1}\right) ^{p_{1}}\cdots \left( z - s_{r}\right) ^{p_{r}} \end{aligned}$$where \(s_{1}={\sigma _{1}+i\omega _{1}},\dots ,s_{r}={\sigma _{r}+i\omega _{r}}\) are pairwise distinct complex numbers, and \(p_{1},\dots ,\) \(p_{r}\) are nonzero natural numbers, and write Q(z) in the form:
$$\begin{aligned} Q(z) = \left( z - s_{1}\right) ^{q_{1}}\cdots \left( z - s_{r}\right) ^{q_{r}}Q_{1}(z) \end{aligned}$$where \(q_{1},\dots ,q_{r}\in \mathbb {N}\), and \(Q_{1}(z)\) is relatively prime with P(z).
-
Step 2. Partial-fraction expand Q(z)/P(z) in the uniquely determined form:
$$\begin{aligned} \frac{Q(z)}{P(z)} = \sum _{l:p_{l} > q_{l}} \left( \sum _{h=1}^{p_{l}-q_{l}} K_{lh} \frac{1}{\left( z - s_{l}\right) ^{h}} \right) + R(z) \end{aligned}$$where—remember that \(m = \deg Q(z)\)—it is:
$$\begin{aligned} R(z)= \left\{ \begin{array}{ll} 0 &{} \text {if }m<n \\ \displaystyle \sum _{h=0}^{m-n} K_{h} z^{h} &{} \text {if }m \geqslant n \\ \end{array}\right. \end{aligned}$$and the complex numbers \(K_{lh}, K_{h}\) (when defined, i.e., when \(p_{l} > q_{l}\), the first, and \(m \geqslant n\), the second) are such that:
$$\begin{aligned} K_{lh}\not =0\text { for }h = p_{l} - q_{l}\quad \text { and }\quad K_{m-n}\not =0 \end{aligned}$$(Concerning the first inequality, observe that Q(z) /P(z) has a pole of order \(p_{l} - q_{l}\) for every l such that \(p_{l} > q_{l}\); the second is obvious.)
-
Step 3. For every \(l\in \{\,1,\dots ,r\,\}\) such that \(p_{l} > q_{l}\), define the polynomial function \(\varLambda _{l}(t)\) of degree \(p_{l}-q_{l}-1\) by:
$$\begin{aligned} \varLambda _{l}(t) = \sum _{h = 1}^{p_{l}-q_{l}} K_{lh} \frac{t^{h-1}}{(h-1)!} \end{aligned}$$and define:
$$\begin{aligned} \varLambda (t) = R(\delta ^{(1)}) = \left\{ \begin{array}{ll} 0 &{} \text {if }m<n \\ \displaystyle \sum _{h=0}^{m-n} K_{h}\delta ^{(h)}(t) &{} \text {if }m \geqslant n \end{array}\right. \end{aligned}$$ -
Step 4. Define the sets \(L_{-}, L_{+}\) and \(L_{0}\) of the index of the poles of the rational function Q(z) /P(z) with negative, positive and zero real part, respectively, by:
$$\begin{aligned} L_{-} = \{\,l: p_{l}> q_{l}, \sigma _{l} < 0\,\} ,\quad L_{+} = \{\,l: p_{l}> q_{l}, \sigma _{l} > 0\,\} \end{aligned}$$and
$$\begin{aligned} L_{0} = \{\,l: p_{l} > q_{l}, \sigma _{l} = 0\} \end{aligned}$$ -
Step 5. Set:
$$\begin{aligned} \varGamma (t) = \sum _{l \in L_{-}} \varLambda _{l}(t)e^{s_{l}t}H(t) - \sum _{l \in L_{+}} \varLambda _{l}(t)e^{s_{l}t}H(-t) + \varLambda (t) \end{aligned}$$
Remark 1
The following statements subsist:
-
(a)
\(\varGamma (t)\in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\);
-
(b)
Let \(P^{*}(z)\) and \(Q^{*}(z)\) be two polynomials such that:
$$\begin{aligned} \frac{Q^{*}(z)}{P^{*}(z)} = \frac{Q(z)}{P(z)}, \end{aligned}$$let \(\varGamma (t)\) be the distribution obtained by \(\mathbf {P}(P(z), Q(z))\), and \(\varGamma ^{*}(t)\) be the distribution obtained by \(\mathbf {P}(P^{*}(z), Q^{*}(z))\). Then: \(\varGamma (t) = \varGamma ^{*}(t)\).
-
(c)
If Q(z) /P(z) has no pole on the complex imaginary axis, i.e., if \(L_{0}\) is empty, then:
-
(i)
\(\varGamma (t)\) is the unique fundamental solution in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\) of the differential equation (1), i.e., it is the unique solution in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\) of the differential equation \(P(D)x(t) = Q(D)\delta (t)\);Footnote 7
-
(ii)
\(\varGamma (t)\) is the inverse bilateral Laplace transform of the rational function
$$\begin{aligned} \frac{Q(s)}{P(s)} ,\quad \sigma _{-}< \,\mathrm{Re}(s)\, < \sigma _{+} \end{aligned}$$where:
$$\begin{aligned} \sigma _{-} = \left\{ \begin{array}{ll} \max \{\,\sigma _{l}: l \in L_{-}\,\} &{} \text {if }\deg P(z) > 0\hbox { and }L_{-}\hbox { is not empty} \\ -\infty &{} \text {if }\deg P(z) = 0\hbox { or }L_{-}\hbox { is empty} \end{array} \right. \end{aligned}$$and
$$\begin{aligned} \sigma _{+} = \left\{ \begin{array}{ll} \min \{\,\sigma _{l}: l \in L_{+}\,\} &{} \text {if }\deg P(z) > 0\hbox { and }L_{+}\hbox { is not empty} \\ +\infty &{} \text {if }\deg P(z) = 0\hbox { or }L_{+}\hbox { is empty} \end{array} \right. \end{aligned}$$ -
(iii)
\(\varGamma (t)\) is the inverse Fourier transform of the rational function \(Q(i\omega ) / P(i\omega )\).
-
(i)
4 Characterization of the Continuous, and of the Bicontinuous Invertible, LTI IOS Systems on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and \({L^{p}(\mathbb {R})}\) Associated with Differential Equations, and of their Inverses
Let P(z), Q(z) be as in Sect. 1. In this section, we give a complete description, apart two pathologies arising when \(p = \infty \), of the landscape of continuous LTI IOS systems, and of bicontinuous invertible LTI IOS systems, and of their inverses, on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and \({L^{p}(\mathbb {R})}\) associated with the differential equation (1).
The pathology of the space \({L^{\infty }(\mathbb {R})}\) and, respectively, of the space \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) endowed with the strong convergence, which prevents us from giving a complete description of the systems when \(p = \infty \) consists in the existence of different continuous LTI systems defined on \({L^{\infty }(\mathbb {R})}\) and, respectively, on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), with a same impulse response (see Section 6 of [6]).Footnote 8
The section is structured in four triads “Lemma–Theorem–Corollary.” In each triad, the Lemma indirectly gives a condition necessary to the existence of continuous LTI IOS systems, the Theorem describes the continuous LTI IOS systems, and the Corollary discusses invertibility and describes the inverse systems. In the first triad, we analyze systems defined on \({\mathscr {D'}_{L^{p}}(\mathbb {R})},\) with \(1\leqslant p < \infty \), in the second one we analyze systems defined on on \({L^{p}(\mathbb {R})},\) with \(1\leqslant p < \infty \). In the last two triads, we analyze systems defined on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) and on \({L^{\infty }(\mathbb {R})}\), respectively.
To make the section easier to read, the proofs are given separately in the subsequent dedicated Sect. 5.
Let \(\varGamma (t)\) and \(\varTheta (t)\) be the distributions obtained, respectively, by \(\mathbf {P}(P(z), Q(z))\) and \(\mathbf {P}(Q(z), P(z))\) (see Sect. 3).
4.1 Systems Defined on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}, 1\leqslant p < \infty \)
Lemma 1
Let \(1 \leqslant p < \infty \). If
-
the rational function Q(z)/P(z) has at least one pole on the complex imaginary axis,
then: there are neither \(w{-}\)continuous nor \(s{-}\)continuous LTI IOS systems on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1).
Theorem 1
Let \(1 \leqslant p < \infty \). If
-
the rational function Q(z)/P(z) has no pole on the complex imaginary axis,
then:
-
(a)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{p}}(\mathbb {R})} \rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is both the unique \(w{-}\)continuous, and the unique \(s{-}\)continuous, LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1);
-
(b)
for every \(f(t)\!\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the differential equation (1);
-
(c)
the system \(\mathscr {L}_{\varGamma }\) is causal if and only if the rational function Q(z)/P(z) has no pole with positive real part.
Corollary 1
Let \(1 \leqslant p < \infty \), let
-
the rational function Q(z)/P(z) have no pole on the complex imaginary axis,
and take into account the unique \(w{-}\)continuous, as well as the unique \(s{-}\)continuous, LTI IOS system
on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1).
The system \(\mathscr {L}_{\varGamma }\) is \(w{-}\)bicontinuous (resp.: \(s{-}\)bicontinuous) invertible if and only if
-
also the rational function P(z)/Q(z) has no pole on the complex imaginary axis.
Let the previous condition hold. Then,
-
(a)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is the system \(\mathscr {L}_{\varTheta }:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varTheta }(f) = \varTheta *f \end{aligned}$$and it is the unique \(w{-}\)continuous, as well as the unique \(s{-}\)continuous, LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (2);
-
(b)
for every \(g(t)\!\in \!{\mathscr {D'}_{L^{p}}}\!(\mathbb {R})\), the distribution \(\mathscr {L}_{\varGamma }^{-1}(g)\) is the unique solution in \({\mathscr {D'}_{L^{p}}}\!(\mathbb {R})\) of the differential equation (2);
-
(c)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is causal if and only if the rational function P(z)/Q(z) has no pole with positive real part.
4.2 Systems Defined on \({L^{p}(\mathbb {R})}, 1\leqslant p < \infty \).
Lemma 2
Let \(1 \leqslant p < \infty \). If
-
the rational function Q(z)/P(z) has at least one pole on the complex imaginary axis, or \(\deg Q(z) > \deg P(z)\),
then there are no continuous LTI IOS systems on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1).
Theorem 2
Let \(1 \leqslant p < \infty \). If
-
the rational function Q(z)/P(z) has no pole on the complex imaginary axis, and \(\deg Q(z) \leqslant \deg P(z)\),
then:
-
(a)
the system \(\mathscr {L}_{\varGamma }: {L^{p}(\mathbb {R})}\rightarrow {L^{p}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is the unique continuous LTI IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1);
-
(b)
for every \(f(t)\in {L^{p}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is the unique solution in \({L^{p}(\mathbb {R})}\) of the differential equation (1);
-
(c)
the system \(\mathscr {L}_{\varGamma }\) is causal if and only if the rational function Q(z)/P(z) has no pole with positive real part.
Corollary 2
Let \(1 \leqslant p < \infty \), let
-
the rational function Q(z)/P(z) have no pole on the complex imaginary axis, and \(\deg Q(z) \leqslant \deg P(z)\),
and take into account the unique continuous LTI IOS system
on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1).
The system \(\mathscr {L}_{\varGamma }\) is bicontinuous invertible if and only if
-
also the rational function P(z)/Q(z) has no pole on the complex imaginary axis, and \(\deg Q(z) = \deg P(z)\).
Let the previous condition hold. Then,
-
(a)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is the system \(\mathscr {L}_{\varTheta }: {L^{p}(\mathbb {R})}\rightarrow {L^{p}(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varTheta }(f) = \varTheta *f \end{aligned}$$and it is the unique continuous LTI IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (2);
-
(b)
for every \(g(t)\in {L^{p}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }^{-1}(g)\) is the unique solution in \({L^{p}(\mathbb {R})}\) of the differential equation (2);
-
(c)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is causal if and only if the rational function P(z)/Q(z) has no pole with positive real part.
4.3 Systems Defined on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\).
Lemma 3
If
-
the rational function Q(z)/P(z) has at least one pole on the complex imaginary axis,
then: there are neither \(w{-}\)continuous nor \(s{-}\)continuous LTI IOS systems on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1).
Theorem 3
If
-
the rational function Q(z)/P(z) has no pole on the complex imaginary axis,
then the following statements hold:
-
concerning \(w{-}\)convergence:
-
(a)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is the unique \(w{-}\)continuous LTI IOS on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1);
-
(b)
for every \(f(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is a solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) of the differential equation (1), and such solution is the unique in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) if and only if P(z) has no zero on the complex imaginary axis;
-
(a)
-
concerning \(s{-}\)convergence:
-
(c)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1);
-
(d)
if \(\mathscr {L}:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1), then the impulse response of \(\mathscr {L}\) is \(\varGamma (t)\)—the pathology of \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) doesn’t allow us to say that it is \(\mathscr {L} = \mathscr {L}_{\varGamma }\);
-
(e)
if P(z) has no zero on the complex imaginary axis, then: the system \(\mathscr {L}_{\varGamma }\) is the unique \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1);
-
(c)
-
concerning causality:
-
(f)
the system \(\mathscr {L}_{\varGamma }\) is causal if and only if the rational function Q(z)/P(z) has no pole with positive real part.
-
(f)
Corollary 3
Let
-
the rational function Q(z)/P(z) have no pole on the complex imaginary axis.
There exist \(w{-}\)bicontinuous (resp.: \(s{-}\)bicontinuous) invertible LTI IOS systems on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1) if and only if
-
also the rational function P(z)/Q(z) has no pole on the complex imaginary axis.
Let the previous condition hold. Then:
-
concerning \(w{-}\)convergence:
-
(a)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})} \rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is the unique \(w{-}\)bicontinuous invertible LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1);
-
(b)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is the system \(\mathscr {L}_{\varTheta }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varTheta }(f) = \varTheta *f \end{aligned}$$and it is the unique \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2);
-
(c)
for every \(g(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }^{-1}(g)\) is a solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) of the differential equation (2), and such solution is the unique in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) if and only if Q(z) has no zero on the complex imaginary axis;
-
(a)
-
concerning \(s{-}\)convergence:
-
(d)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})} \rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is a \(s{-}\)bicontinuous invertible LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1)—the pathology of \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) doesn’t allow us to say that it is the unique (see d) of Theorem 3);
-
(e)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is the system \(\mathscr {L}_{\varTheta }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varTheta }(f) = \varTheta *f \end{aligned}$$and it is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2)—the pathology of \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) doesn’t allow us to say that it is the unique;
-
(f)
if P(z) and Q(z) have no zero on the complex imaginary axis, then: \(\mathscr {L}_{\varGamma }\) is the unique \(s{-}\)bicontinuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1), and \(\mathscr {L}_{\varGamma }^{-1}\) is the unique \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2);
-
(d)
-
concerning causality:
-
(g)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is causal if and only if the rational function P(z)/Q(z) has no pole with positive real part.
-
(g)
4.4 Systems Defined on \({L^{\infty }(\mathbb {R})}\).
Lemma 4
If
-
the rational function Q(z)/P(z) has at least one pole on the complex imaginary axis, or \(\deg Q(z) > \deg P(z)\),
then: there are no continuous LTI IOS systems on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1).
Theorem 4
If
-
the rational function Q(z)/P(z) has no pole on the complex imaginary axis, and \(\deg Q(z)\leqslant \deg P(z)\),
then the following statements hold:
-
(a)
the system \(\mathscr {L}_{\varGamma }:{L^{\infty }(\mathbb {R})}\rightarrow {L^{\infty }(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1);
-
(b)
if \(\mathscr {L}:{L^{\infty }(\mathbb {R})}\rightarrow {L^{\infty }(\mathbb {R})}\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1), then the impulse response of \(\mathscr {L}\) is \(\varGamma (t)\)—the pathology of \({L^{\infty }(\mathbb {R})}\) doesn’t allow us to say that \(\mathscr {L} = \mathscr {L}_{\varGamma }\);
-
(c)
if P(z) has no zero on the complex imaginary axis, then \(\mathscr {L}_{\varGamma }\) is the unique continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1);
-
(d)
for every \(f(t)\in {L^{\infty }(\mathbb {R})}\), the function \(\mathscr {L}_{\varGamma }(f)\) is a solution in \({L^{\infty }(\mathbb {R})}\) of the differential equation (1), and such solution is the unique in \({L^{\infty }(\mathbb {R})}\) if and only if P(z) has no zero on the complex imaginary axis;
-
(e)
the system \(\mathscr {L}_{\varGamma }\) is causal if and only if the rational function Q(z)/P(z) has no pole with positive real part.
Corollary 4
Let
-
the rational function Q(z)/P(z) have no pole on the complex imaginary axis, and \(\deg Q(z)\leqslant \deg P(z)\).
The following statement holds: there exist bicontinuous invertible LTI IOS systems on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1) if and only if
-
also the rational function P(z)/Q(z) has no pole on the complex imaginary axis, and \(\deg Q(z)=\deg P(z)\).
Let the previous condition hold. Then:
-
(a)
the system \(\mathscr {L}_{\varGamma }:{L^{\infty }(\mathbb {R})}\rightarrow {L^{\infty }(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \varGamma *f \end{aligned}$$is a bicontinuous invertible LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1) — the pathology of \({L^{\infty }(\mathbb {R})}\) doesn’t allow us to say that it is the unique (see b) of Theorem 4);
-
(b)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is the system \(\mathscr {L}_{\varTheta }: {L^{\infty }(\mathbb {R})}\rightarrow {L^{\infty }(\mathbb {R})}\) defined by:
$$\begin{aligned} \mathscr {L}_{\varTheta }(f) = \varTheta *f \end{aligned}$$and it is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (2)—the pathology of \({L^{\infty }(\mathbb {R})}\) doesn’t allow us to say that it is the unique;
-
(c)
if P(z) and Q(z) have no zero on the complex imaginary axis, then: \(\mathscr {L}_{\varGamma }\) is the unique bicontinuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1), and \(\mathscr {L}_{\varGamma }^{-1}\) is the unique continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (2);
-
(d)
the system \(\mathscr {L}_{\varGamma }^{-1}\) is causal if and only if the rational function P(z)/Q(z) has no pole with positive real part.
5 Proofs of the Statements of Previous Sect. 4
This section contains the proofs of the Lemmas, Theorems and Corollaries stated in Sect. 4.
As a premise to the proofs, we observe that the notions of continuous LTI system defined on \(\mathscr {I}\) associated with the differential equation (1) and of continuous LTI IOS system on \(\mathscr {I}\) associated with the differential equation (1) are related by the following obvious, but formally essential, remark.
Remark 2
The following statements subsist:
-
(a)
Let \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {I}\) be a continuous LTI IOS system on \(\mathscr {I}\) associated with the differential equation (1).
Since \(\mathscr {I}\subset {\mathscr {D'}(\mathbb {R})}\) and convergence in \(\mathscr {I}\) implies convergence in \({\mathscr {D'}(\mathbb {R})}\), then the system
$$\begin{aligned} \mathscr {L}^{*}:\mathscr {I}\rightarrow {\mathscr {D'}(\mathbb {R})}\end{aligned}$$defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\) is a continuous LTI system defined on \(\mathscr {I}\) associated with the differential equation (1). Moreover,
-
(i)
\(\mathscr {L}^{*}(\mathscr {I}) \subset \mathscr {I}\);
-
(ii)
for every \(f(t)\in \mathscr {I}\) and every sequence \(f_{k}(t)\in \mathscr {I}\) we have:
$$\begin{aligned} \mathscr {I}{-}{\displaystyle \lim _{k \rightarrow \infty } }{f_{k}} = f \;\Rightarrow \; \mathscr {I}{-}{\displaystyle \lim _{k \rightarrow \infty } }{\mathscr {L}^{*}(f_{k})}=\mathscr {L}^{*}(f) \end{aligned}$$
-
(i)
-
(b)
Let \(\mathscr {L}^{*}:\mathscr {I}\rightarrow {\mathscr {D'}(\mathbb {R})}\) be a continuous LTI system defined on \(\mathscr {I}\) associated with the differential equation (1), and let:
-
(i)
\(\mathscr {L}^{*}(\mathscr {I}) \subset \mathscr {I}\);
-
(ii)
for every \(f(t)\in \mathscr {I}\) and every sequence \(f_{k}(t)\in \mathscr {I}\) we have:
$$\begin{aligned} \mathscr {I}{-}{\displaystyle \lim _{k \rightarrow \infty } }{f_{k}} = f \;\Rightarrow \; \mathscr {I}{-}{\displaystyle \lim _{k \rightarrow \infty } }{\mathscr {L}^{*}(f_{k})}=\mathscr {L}^{*}(f) \end{aligned}$$
Then, the system \(\mathscr {L}:\mathscr {I}\rightarrow \mathscr {I}\) defined by \(\mathscr {L}(f) = \mathscr {L}^{*}(f)\) is a continuous LTI IOS system on \(\mathscr {I}\) associated with the differential equation (1).
-
(i)
Proof of Lemma 1
We prove the statements by contradiction, i.e., we prove that: if there exists either a \(w{-}\)continuous or a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1), then the rational function Q(z)/P(z) has no pole on the complex imaginary axis.
If \(\deg P(z) = 0\), then there is nothing to prove. Hence, assume that \(\deg P(z) \geqslant 1.\)
Let \(\mathscr {L}:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) be a \(w{-}\)continuous or a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1), and let \(f(t) = \delta (t) \in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\). By hypothesis, \(\mathscr {L}(\delta )\) is a solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the differential equation (1). Hence, by Lemma 4 of [6], the rational function Q(z) /P(z) has no pole on the complex imaginary axis. \(\square \)
Proof of Theorem 1
The proof has two steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
If \(n = \deg P(z) = 0\), then \(P(z) = a_{0}\not = 0\), the rational function \(Q(z)/a_{0}\) has no pole on the complex imaginary axis, and the differential equation (1) reduces to: \(a_{0} x(t) = Q(D) f(t)\). Then, obviously:
-
(1)
the system \(\mathscr {L}_{\varGamma }:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \textstyle \frac{1}{a_{0}}\,Q(D) f \end{aligned}$$is the unique \(w{-}\)continuous, as well as the unique \(s{-}\)continuous, LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation \(a_{0} x(t)=Q(D)f(t)\),
-
(2)
for every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the differential equation \(a_{0} x(t) = Q(D)f(t)\), and
-
(3)
the rational function \(Q(z)/a_{0}\) has no pole with positive real part, and the system \(\mathscr {L}_{\varGamma }\) is causal.
Hence, all the statements hold.
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1\).
Since, by item a) of Remark 1, \(\varGamma (t) \in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\) then, by Theorem 10 in the Appendix, \(\mathscr {L}_{\varGamma }\) is a \(s{-}\)continuous (resp.: \(w{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\).
Since Q(z) /P(z) has no pole on the complex imaginary axis, then, by item c) of Remark 1, \(\varGamma (t)\) is a fundamental solution of the differential equation (1) in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\). By the Third idea of the Introduction of [6], \(\mathscr {L}_{\varGamma }\) is then a \(s{-}\)continuous (resp.: \(w{-}\)continuous) LTI system associated with the differential equation (1).
Finally, by Proposition 4, \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of the homogeneous differential equation \(P(D)x(t) = 0\). Hence, by Proposition 3, \(\mathscr {L}_{\varGamma }\) is the unique \(s{-}\)continuous (resp.: \(w{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (1). Thus, a) holds.
To prove that b) holds, observe that, since a) holds, then \(\mathscr {L}_{\varGamma }\) is a IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = Q(D)f(t)\). Hence, for every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is a solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of \(P(D)x(t) = Q(D)f(t)\). By Proposition 4, it is the unique.
The statement c) is a straightforward consequence of e) of Theorem 5 of [6]. \(\square \)
Proof of Corollary 1
The proof has two steps.
Step 1: \(\mathscr {L}_{\varGamma }\) is \(w{-}\)bicontinuous as well as \(s{-}\)bicontinuous invertible \(\Leftrightarrow \) P(z)/Q(z) has no pole on the complex imaginary axis.
(\(\Leftarrow \)) By Theorem 1 applied to the differential equation (2), the system \(\mathscr {L}_{\varTheta }: {\mathscr {D'}_{L^{p}}(\mathbb {R})} \rightarrow {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) defined by \(\mathscr {L}_{\varTheta }(g) = \varTheta *g\) is the unique \(w{-}\)continuous, as well as the unique \(s{-}\)continuous, LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (2).
Since, by Proposition 4, \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) both of the homogeneous differential equation \(P(D)x(t) = 0\) and of the homogeneous differential equation \(Q(D)x(t) = 0\), then, by Proposition 2, it is
i.e., \(\mathscr {L}_{\varGamma }\) is invertible and its inverse is \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\).
Since \(\mathscr {L}_{\varTheta }\) is \(w{-}\)continuous, as well as \(s{-}\)continuous, then \(\mathscr {L}_{\varGamma }\) is \(w{-}\)bicontinuous as well as \(s{-}\)bicontinuous invertible.
(\(\Rightarrow \)) Since, by assumption and Proposition 1, \(\mathscr {L}_{\varGamma }^{-1}\) is a \(w{-}\)continuous (resp. \(s{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) associated with the differential equation (2), then, by Lemma 1, the rational function P(z)/Q(z) has no pole on the complex imaginary axis.
Step 2: P(z)/Q(z) has no pole on the complex imaginary axis \(\Rightarrow a), b), c)\).
The proof that a) holds has been given in (\(\Leftarrow \)) of Step 1 above.
To prove that b) and c) hold, observe that, as proved in (\(\Leftarrow \)) of Step 1 above, it is: \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\). Hence, statements b) and c) follow by b) and c), respectively, of Theorem 1 applied to the differential equation (2). \(\square \)
Proof of Lemma 2
The proof is by contradiction, i.e., we prove that: if there exists an LTI IOS continuous system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1), then Q(z)/P(z) has no pole on the complex imaginary axis and \(\deg Q(z) \leqslant \deg P(z)\).
The proof has three steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
Assume that \(\mathscr {L}\) is an LTI IOS continuous system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1). Since \(P(z) = a_{0} \ne 0\), then Q(z) /P(z) has no pole on the complex imaginary axis. Moreover, the differential equation (1) now reduces to: \(a_{0} x(t) = Q(D) f(t)\). It is straightforward to prove that: if \(\deg Q(z) > \deg P(z) = 0\), i.e., \(\deg Q(z) \geqslant 1\), then there exists \(f(t)\in {L^{p}(\mathbb {R})}\) such that the differential equation has no solution in \({L^{p}(\mathbb {R})}\). But, by assumption, \(\mathscr {L}(f)\) is such a solution. Thus, \(\deg Q(z) \leqslant \deg P(z)\).
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1, p > 1\).
Assume that \(\mathscr {L}\) is an LTI IOS continuous system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1). By a) of Remark 2, the system \(\mathscr {L}^{*}:{L^{p}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\) is a continuous LTI differential system defined on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1). By Theorem 1 of [6], the rational function Q(z) /P(z) has no pole on the complex imaginary axis.
Now, since Q(z) /P(z) has no pole on the complex imaginary axis, then, by b) of Theorem 1 of [6], we have that the unique continuous LTI differential system defined on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1) is the restriction to \({L^{p}(\mathbb {R})}\) of the system \(\mathscr {L}^{*}_{\varGamma }:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}_{\varGamma }(f) = \varGamma *f\). Hence, \(\mathscr {L}^{*}\) is the restriction to \({L^{p}(\mathbb {R})}\) of \(\mathscr {L}^{*}_{\varGamma }\). Since, by assumption, it is \(\mathscr {L}({L^{p}(\mathbb {R})}) \subset {L^{p}(\mathbb {R})}\), then \(\mathscr {L}^{*}_{\varGamma }({L^{p}(\mathbb {R})}) = \mathscr {L}^{*}({L^{p}(\mathbb {R})}) = \mathscr {L}({L^{p}(\mathbb {R})}) \subset {L^{p}(\mathbb {R})}\). Thus, by d) of Theorem 5 of [6] applied to \(\mathscr {L}^{*}_{\varGamma }\), it is \(\deg Q(z) \leqslant \deg P(z)\).
Step 3: Proof in the case \(n = \deg P(z) \geqslant 1\) and \(p = 1\).
Assume that \(\mathscr {L}\) is an LTI IOS continuous system on \({L^{1}(\mathbb {R})}\) associated with the differential equation (1). By a) of Remark 2, the system \(\mathscr {L}^{*}:{L^{1}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\) is a continuous LTI system defined on \({L^{1}(\mathbb {R})}\) associated with the differential equation (1). By Section II and Theorem 5.1 of [5], there exists \(h(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) such that, for every \(f(t) \in {L^{1}(\mathbb {R})}\) it is \(\mathscr {L}^{*}(f) = h *f\). Since, by assumption, for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\subset {L^{1}(\mathbb {R})}\) it is \(h *\varphi = \mathscr {L}^{*}(\varphi ) = \mathscr {L}(\varphi ) \in {L^{1}(\mathbb {R})}\), then \(h(t) \in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\). Moreover, by the Second idea, Section 1 of [6], h(t) is a fundamental solution, in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\), of the differential equation (1). Hence, by Lemma 4 of [6], Q(z) /P(z) has no pole on the complex imaginary axis.
Now, since Q(z) /P(z) has no pole on the imaginary axis, then, by d) of Theorem 4 of [6], there exists a family \(\mu = (\mu _{l}\in \mathbb {C}, l:\sigma _{l} = 0)\) of complex numbers such that:
Since \(\varGamma (t)\in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\) and, as shown above, \(h(t)\in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\), then
Since, by Corollary 2 of [6], for every \(\mu \not = 0\) it is
then we have: \(h(t) = \varGamma (t)\). This proves that \(\mathscr {L}^{*}\) is the system defined by \(\mathscr {L}^{*}(f) = \varGamma *f\). Since, by assumption, \(\mathscr {L}({L^{1}(\mathbb {R})}) \subset {L^{1}(\mathbb {R})}\), then \(\mathscr {L}^{*}({L^{1}(\mathbb {R})}) = \mathscr {L}({L^{1}(\mathbb {R})}) \subset {L^{1}(\mathbb {R})}\). By d) of Theorem 5 of [6] applied to \(\mathscr {L}^{*}\), this implies that \(\deg Q(z) \leqslant \deg P(z)\). \(\square \)
Proof of Theorem 2
The proof has three steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
Since \(\deg Q(z) \leqslant \deg P(z)\) and \(n = \deg P(z) = 0\), then \(m = \deg Q(z) = 0\). Hence, \(P(z) = a_{0} \not = 0, Q(z) = b_{0} \not = 0\), and the differential equation (1) reduces to: \(a_{0} x(t) = b_{0} f(t)\). Then, obviously:
-
(1)
the system \(\mathscr {L}_{\varGamma }:{L^{p}(\mathbb {R})}\rightarrow {L^{p}(\mathbb {R})}\) defined by
$$\begin{aligned} \mathscr {L}_{\varGamma }(f) = \textstyle \frac{b_{0}}{a_{0}} f \end{aligned}$$is the unique continuous LTI IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation \(a_{0} x(t) = b_{0} f(t)\), hence a) holds;
-
(2)
for every \(f(t)\in {L^{p}(\mathbb {R})}\), the function \(\mathscr {L}_{\varGamma }(f)\) is the unique solution in \({L^{p}(\mathbb {R})}\) of the differential equation \(a_{0} x(t) = b_{0} f(t)\), hence b) holds; and
-
(3)
the rational function \(b_{0}/a_{0}\) has no pole with positive real part, and the system \(\mathscr {L}_{\varGamma }\) is causal, hence c) holds.
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1\).
Since Q(z)/P(z) has no pole on the complex imaginary axis, and \(\deg Q(z) \leqslant \deg P(z)\), then, see Sect. 3, it is: \(\varGamma (t) = c \delta (t) + \gamma (t)\) where \(c \in \mathbb {C}\) and \(\gamma (t) \in {L^{1}(\mathbb {R})}\). Hence, for every \(f(t)\in {L^{p}(\mathbb {R})}\) we have: \(\mathscr {L}_{\varGamma }(f) = c f + \gamma *f\). Since, by Theorem 1.2, Chapter VIII, § 1 of [14], the map \(f \mapsto \gamma *f\) is a continuous map from \({L^{p}(\mathbb {R})}\) into itself, then \(\mathscr {L}_{\varGamma }\) is a continuous LTI IOS system on \({L^{p}(\mathbb {R})}\).
Since Q(z) /P(z) has no pole on the complex imaginary axis, then (see Remark 1) \(\varGamma (t)\) is a fundamental solution of the differential equation (1) in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\). By the Third idea of the Introduction of [6], \(\mathscr {L}_{\varGamma }\) is then a continuous LTI IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1).
Finally, by Proposition 4, \(x(t) = 0\) is the unique solution in \({L^{p}(\mathbb {R})}\) of the homogeneous differential equation \(P(D)x(t) = 0\). Hence, by Proposition 3, \(\mathscr {L}_{\varGamma }\) is the unique continuous LTI IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation (1). Thus, a) holds.
To prove that b) holds, observe that, since a) holds, then \(\mathscr {L}_{\varGamma }\) is a IOS system on \({L^{p}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = Q(D)f(t)\). Hence, for every \(f(t)\in {L^{p}(\mathbb {R})}\), the function \(\mathscr {L}_{\varGamma }(f)\) is a solution in \({L^{p}(\mathbb {R})}\) of \(P(D)x(t) = Q(D)f(t)\). By Proposition 4, it is the unique.
The statement c) is a straightforward consequence of e) of Theorem 5 of [6]. \(\square \)
Proof of Corollary 2
Use the same arguments as in the proof of Corollary 1, substituting \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) with \({L^{p}(\mathbb {R})}\), Theorem 1 with Theorem 2 and Lemma 1 with Lemma 2. \(\square \)
Proof of Lemma 3
We prove the statements by contradiction, i.e., we prove that: if there exists either a \(w{-}\)continuous or a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1), then the rational function Q(z)/P(z) has no pole on the complex imaginary axis.
If \(\deg P(z) = 0\), then there is nothing to prove. Hence, assume that \(\deg P(z) \geqslant 1.\)
Let \(\mathscr {L}:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) be a \(w{-}\)continuous (resp.: a \(s{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1). By a) of Remark 2, the system \(\mathscr {L}^{*}:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\) is a \(w{-}\)continuous (resp. a \(s{-}\)continuous) LTI system defined on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1). By Theorem 2 of [6], the rational function Q(z) /P(z) has no pole on the complex imaginary axis. \(\square \)
Proof of Theorem 3
The proof has two steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
To prove the statement, set \(p = \infty \) in Step 1 of the proof of Theorem 1.
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1\).
Since, by a) of Remark 1, \(\varGamma (t) \in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\) then, by Theorem 10 in the Appendix, \(\mathscr {L}_{\varGamma }\) is a \(s{-}\)continuous (resp.: \(w{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\). Moreover, by Theorem 4.1 of [4], \(\mathscr {L}_{\varGamma }\) is the unique \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\).
Since Q(z) /P(z) has no pole on the complex imaginary axis, then (see Remark 1) \(\varGamma (t)\) is the unique fundamental solution of the differential equation (1) in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\). By the Third idea of the Introduction of [6], \(\mathscr {L}_{\varGamma }\) is then a \(s{-}\)continuous (resp.: the unique \(w{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1). This proves a) and c).
To prove that b) holds, observe that, since a) holds, then \(\mathscr {L}_{\varGamma }\) is a IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = Q(D)f(t)\). Hence, for every \(f(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varGamma }(f)\) is a solution in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) of \(P(D)x(t) = Q(D)f(t)\). By Proposition 4, it is the unique if and only if P(z) has no zero on the complex imaginary axis.
To prove statement d), let us consider the system \(\mathscr {L}^{*}:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\). By Section 2 of [4], \(\mathscr {L}\) and \(\mathscr {L}^{*}\) have the same impulse response. Moreover, by First idea and Second idea in Section 1 of [6], the impulse response \(\varDelta (t)\) of \(\mathscr {L}^{*}\) is a solution in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\) of the differential equation \(P(D)x(t) = Q(D)\delta (t)\). Since the rational function Q(z)/P(z) has no pole on the complex imaginary axis, by i) of item c) of Remark 1, it is \(\varDelta (t) = \varGamma (t)\). Hence, the impulse response of \(\mathscr {L}\) is \(\varGamma (t)\).
To prove statement e), observe that, by Proposition 5, since P(z) has no zero on the complex imaginary axis then \(x(t) = 0\) is the unique solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) of the homogeneous differential equation \(P(D)x(t) = 0\). Hence, by Proposition 3, since P(z) has no zero on the complex imaginary axis, then \(\mathscr {L}_{\varGamma }\) is the unique \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1).
The statement f) is a straightforward consequence of e) of Theorem 5 of [6]. \(\square \)
Proof of Corollary 3
Remember that, by hypothesis, Q(z)/P(z) has no pole on the complex imaginary axis, and that, by Theorem 3, \(\mathscr {L}_{\varGamma }\) is the unique \(w{-}\)continuous (resp.: a \(s{-}\)continuous) LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1).
The proof has three steps.
Step 1: \(\mathscr {L}_{\varGamma }\) is \(w{-}\)bicontinuous invertible \(\Leftrightarrow \) P(z)/Q(z) has no pole on the complex imaginary axis.
(\(\Leftarrow \)) Since the rational function P(z)/Q(z) has no pole on the complex imaginary axis, then, by Theorem 3:
- \(\hbox {I}_{w})\):
-
the system \(\mathscr {L}_{\varTheta }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by \(\mathscr {L}_{\varTheta }(g) = \varTheta *g\) is the unique \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2).
We prove now that:
- \(\hbox {II}_{w})\):
-
the system \(\mathscr {L}_{\varGamma }\) is invertible, and \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\).
Indeed, since \(\mathscr {L}_{\varGamma }\) is associated with the differential equation (1), then, for every \(g(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) we have:
Moreover, since \(\mathscr {L}_{\varTheta }\) is associated with the differential equation (2), then:
Hence,
Thus, the system \(\mathscr {L}_{\varGamma } \circ \mathscr {L}_{\varTheta }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) is a \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = P(D)g(t)\). Since P(z) /P(z) has no pole on the complex imaginary axis, then, by Theorem 3, it is \(\mathscr {L}_{\varGamma } \circ \mathscr {L}_{\varTheta } = {\iota }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\).
Analogously, for every \(f(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) we have:
Thus, the system \(\mathscr {L}_{\varTheta } \circ \mathscr {L}_{\varGamma }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) is a \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation \(Q(D)x(t) = Q(D)f(t)\). Since Q(z) /Q(z) has no pole on the complex imaginary axis, then, by Theorem 3, it is \(\mathscr {L}_{\varTheta } \circ \mathscr {L}_{\varGamma } = {\iota }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\). Statement \(\hbox {II}_{w})\) is proved.
Now, since \(\mathscr {L}_{\varGamma }\) has the following properties:
-
by hypothesis, it is the unique \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1),
-
by \(\hbox {II}_{w})\), it is invertible,
-
by \(\hbox {I}_{w})\), its inverse \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\) is the unique \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\),
then \(\mathscr {L}_{\varGamma }\) is the unique \(w{-}\)bicontinuous invertible LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1).
(\(\Rightarrow \)) Since, by assumption and Proposition 1, \(\mathscr {L}_{\varGamma }^{-1}\) is a \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2), then, by Lemma 3, the rational function P(z)/Q(z) has no pole on the complex imaginary axis.
Step 2: \(\mathscr {L}_{\varGamma }\) is \(s{-}\)bicontinuous invertible \(\Leftrightarrow \) P(z)/Q(z) has no pole on the complex imaginary axis.
(\(\Leftarrow \)) Since the rational function P(z)/Q(z) has no pole on the complex imaginary axis, then, by Theorem 3:
- \(\hbox {I}_{s})\):
-
the system \(\mathscr {L}_{\varTheta }: {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) defined by \(\mathscr {L}_{\varTheta }(g) = \varTheta *g\) is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2).
We prove now that:
- \(\hbox {II}_{s})\):
-
the system \(\mathscr {L}_{\varGamma }\) is invertible, and \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\).
Indeed, as shown in Step 1 above, \(\mathscr {L}_{\varGamma }\) is a \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1), and \(\mathscr {L}_{\varTheta }\) is a \(w{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2). Hence, the arguments used to prove \(\hbox {II}_{w})\) above, prove \(\hbox {II}_{s})\).
Since \(\mathscr {L}_{\varGamma }\) has the following properties:
-
by hypothesis, it is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1),
-
by \(\hbox {II}_{s})\), it is invertible,
-
by \(\hbox {I}_{s})\), its inverse \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\) is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\),
then \(\mathscr {L}_{\varGamma }\) is a \(s{-}\)bicontinuous invertible LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1).
(\(\Rightarrow \)) Since, by assumption and Proposition 1, \(\mathscr {L}_{\varGamma }^{-1}\) is a \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2), then, by Lemma 3, the rational function P(z)/Q(z) has no pole on the complex imaginary axis.
Step 3: P(z)/Q(z) has no pole on the complex imaginary axis \(\Rightarrow \) a)–g).
Statements a) and b) have been proved in (\(\Leftarrow \)) of Step 1 above.
To prove c), observe that, by \(\hbox {I}_{w})\), the system \(\mathscr {L}_{\varTheta }\) is associated with the differential equation (2). Hence, for every \(g(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), the distribution \(\mathscr {L}_{\varTheta }(g)\) is a solution in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) of the differential equation (2). By Proposition 5, such solution is the unique in \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) if and only if Q(z) has no zero on the complex imaginary axis. Since \(\mathscr {L}_{\varTheta }(g) = \mathscr {L}_{\varGamma }^{-1}(g)\), then c) holds.
Statements d) and e) have been proved in (\(\Leftarrow \)) of Step 2 above.
To prove that f) holds, observe that, since the rational function Q(z)/P(z) (resp. P(z)/Q(z)) has no pole on the complex imaginary axis, then: if P(z) (resp. Q(z)) has no zero on the complex imaginary axis, then, by e) of Theorem 3, the system \(\mathscr {L}_{\varGamma }\) is the unique \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (1) (resp. \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\) is the unique \(s{-}\)continuous LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) associated with the differential equation (2)).
Finally, to prove that statement g) holds observe that, as proved in (\(\Leftarrow \)) of Step 1 above, it is: \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\). Hence, statement g) follows by f) of Theorem 3 applied to the differential equation (2). \(\square \)
Proof of Lemma 4
The proof is by contradiction, i.e., we prove that: if there exists a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1), then Q(z)/P(z) has no pole on the complex imaginary axis and \(\deg Q(z) \leqslant \deg P(z)\).
The proof has two steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
To prove the statement, set \(p = \infty \) in Step 1 of the proof of Lemma 2.
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1\).
Let \(\mathscr {L}\) be a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1). By a) of Remark 2, the system \(\mathscr {L}^{*}:{L^{\infty }(\mathbb {R})}\rightarrow {\mathscr {D'}(\mathbb {R})}\) defined by \(\mathscr {L}^{*}(f) = \mathscr {L}(f)\) is a continuous LTI system defined on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1). Hence, by Theorem 2 of [6], the rational function Q(s)/P(s) has no pole on the complex imaginary axis.
We prove by contradiction that \(\deg Q(z) \leqslant \deg P(z)\).
Assume the contrary, i.e., assume that \(\deg Q(z) = \deg P(z) + \nu , \nu \geqslant 1.\) Then, see Sect. 3, it is:
where:
and \(K_{\nu } \not = 0\). Let \(r(t) \in {C^{\,\nu -1}(\mathbb {R})}\) be the function defined by:
and \(\phi (t)\) be a \({C^{\,\infty }(\mathbb {R})}\) function such that:
Defined \(g(t) = r(t) \phi (t)\), it is:
-
(1)
\(g(t) \in \mathscr {C}_{0}(\mathbb {R})\) (the subspace of \({L^{\infty }(\mathbb {R})}\) of the continuous functions null at infinity in the usual sense),
-
(2)
for every \(j = 0,\dots ,\nu -1\), it is \(g^{(j)}(t) \in {L^{\infty }(\mathbb {R})}\) (indeed: for \(j = 0,\dots ,\nu -1\), the function \(g^{(j)}(t)\) is continuous and it has compact support), and (3) \(g^{(\nu )}(t) \not \in {L^{\infty }(\mathbb {R})}\).
Since:
and \(\varGamma _{0}(t) \in {L^{1}(\mathbb {R})}\), then \(\varGamma _{0} *g + K_{0} g \in {L^{\infty }(\mathbb {R})}\). Moreover, since \(K_{\nu } \not = 0\), for the last summand it is: \(\sum _{h=1}^{\nu } K_{h} g^{(h)} \not \in {L^{\infty }(\mathbb {R})}\). Thus, \(\varGamma *g \not \in {L^{\infty }(\mathbb {R})}\).
Since, by statement f) of Theorem 2 of [6], for every \(f(t) \in \mathscr {C}_{0}(\mathbb {R})\) it is \(\mathscr {L}(f) = \varGamma \! *f\), then we have \(\mathscr {L}(g) \not \in {L^{\infty }(\mathbb {R})}\). This contradicts the hypothesis that \(\mathscr {L}({L^{\infty }(\mathbb {R})}) \subset {L^{\infty }(\mathbb {R})}\). \(\square \)
Proof of Theorem 4
The proof has two steps.
Step 1: Proof in the case \(n = \deg P(z) = 0\).
Set \(p = \infty \) in Step 1 of the proof of Theorem 2.
Step 2: Proof in the case \(n = \deg P(z) \geqslant 1\).
Since Q(z)/P(z) has no pole on the complex imaginary axis, and \(\deg Q(z) \leqslant \deg P(z)\), then, see Sect. 3, \(\varGamma (t) = c \delta (t) + \gamma (t)\) where \(c \in \mathbb {C}\) and \(\gamma (t) \in {L^{1}(\mathbb {R})}\). Hence, for every \(f(t)\in {L^{\infty }(\mathbb {R})}\) we have: \(\mathscr {L}_{\varGamma }(f) = c f + \gamma *f\). Since, by Theorem 1.2, Chapter VIII, § 1 of [14], the map \(f \mapsto \gamma *f\) is a continuous map from \({L^{\infty }(\mathbb {R})}\) into itself, then \(\mathscr {L}_{\varGamma }\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\).
Since Q(z) /P(z) has no pole on the complex imaginary axis, then (see Remark 1) \(\varGamma (t)\) is a fundamental solution of the differential equation (1) in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\). By the Third idea of the Introduction of [6], \(\mathscr {L}_{\varGamma }\) is then a continuous LTI system associated with the differential equation (1). This proves a).
The proof of b), c) and d) is obtained by replacing \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) with \({L^{\infty }(\mathbb {R})}\) in the proof of statements d), e) and b), respectively, of Theorem 3.
The statement e) is a straightforward consequence of e) of Theorem 5 of [6]. \(\square \)
Proof of Corollary 4
Remember that, by hypothesis, Q(z)/P(z) has no pole on the complex imaginary axis and \(\deg Q(z) \leqslant \deg P(z)\), and that, by Theorem 4, \(\mathscr {L}_{\varGamma }\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1).
The proof has two steps.
Step 1: \(\mathscr {L}_{\varGamma }\) is bicontinuous invertible \(\Leftrightarrow \) P(z)/Q(z) has no pole on the complex imaginary axis and \(\deg Q(z) = \deg P(z)\).
(\(\Leftarrow \)) Since P(z)/Q(z) has no pole on the complex imaginary axis, and \(\deg Q(z) = \deg P(z)\) then, by a) of Theorem 4:
- (I):
-
the system \(\mathscr {L}_{\varTheta }: {L^{\infty }(\mathbb {R})}\rightarrow {L^{\infty }(\mathbb {R})}\) defined by \(\mathscr {L}_{\varTheta }(g) = \varTheta *g\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (2)—the pathology of \({L^{\infty }(\mathbb {R})}\) doesn’t allow us to say that it is the unique.
We prove now that:
- (II):
-
the system \(\mathscr {L}_{\varGamma }\) is invertible, and \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\).
Indeed, let \(\mathscr {M}_{\varGamma }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) be the system defined by \(\mathscr {M}_{\varGamma }(f) = \varGamma *f\), and \(\mathscr {M}_{\varTheta }:{\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) be the system defined by \(\mathscr {M}_{\varTheta }(f) = \varTheta *f\) (remember that \(\varGamma (t)\) and \(\varTheta (t)\) are in \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\) and see Sect. A-10 of the Appendix).
Since Q(z)/P(z) and P(z)/Q(z) have no pole on the complex imaginary axis, by Corollary 3, the system \(\mathscr {M}_{\varGamma }\) is a \(w{-}\)bicontinuous invertible LTI IOS system on \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\), and its inverse system is \(\mathscr {M}^{-1}_{\varGamma } = \mathscr {M}_{\varTheta }\). Hence, for every \(f(t)\in {\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) it is:
Since for every \(f(t)\in {L^{\infty }(\mathbb {R})}\) it is: \(\mathscr {L}_{\varGamma }(f) = \mathscr {M}_{\varGamma }(f)\) and \(\mathscr {L}_{\varTheta }(f) = \mathscr {M}_{\varTheta }(f)\), then for every \(f(t)\in {L^{\infty }(\mathbb {R})}\) it is:
i.e., \(\mathscr {L}_{\varGamma }\) is invertible, and \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\). Statement II) is proved.
Now, since \(\mathscr {L}_{\varGamma }\) has the following properties:
-
by hypothesis, it is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1),
-
by II), it is invertible,
-
by I), its inverse \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\),
then \(\mathscr {L}_{\varGamma }\) is a bicontinuous invertible LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1).
(\(\Rightarrow \)) By assumption and Proposition 1, \(\mathscr {L}_{\varGamma }^{-1}\) is a continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (2). By Lemma 4, the rational function P(z)/Q(z) has no pole on the complex imaginary axis, and \(\deg P(z) \leqslant \deg Q(z)\), hence \(\deg Q(z) = \deg P(z)\).
Step 2: P(z)/Q(z) has no pole on the complex imaginary axis and \(\deg Q(z) = \deg P(z)\) \(\Rightarrow a), b), c)\).
Statements a) and b) have been proved in (\(\Leftarrow \)) of Step 1 above.
To prove that c) holds, observe that, since the rational function Q(z)/P(z) (resp. P(z)/Q(z)) has no pole on the complex imaginary axis and \(\deg P(z) = \deg Q(z)\), then: if P(z) (resp. Q(z)) has no zero on the complex imaginary axis, then, by c) of Theorem 4, the system \(\mathscr {L}_{\varGamma }\) is the unique continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (1) (resp. \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\) is the unique continuous LTI IOS system on \({L^{\infty }(\mathbb {R})}\) associated with the differential equation (2)).
To prove that d) holds, observe that, as proved in (\(\Leftarrow \)) of Step 1 above, it is: \(\mathscr {L}_{\varGamma }^{-1} = \mathscr {L}_{\varTheta }\). Hence, statement d) follows by e) of Theorem 4 applied to the differential equation (2). \(\square \)
6 An Application: Almost-Inverse of a Noninvertible System
In [3], the authors consider a space A of bandlimited functions (used to model some EEG signals), and face the problem to reconstruct a signal \(f(t)\in A\), given the continuous wavelet transform of f(t), defined by a suitable wavelet, at a given scale. The wavelet transform they consider is realized, at the given scale, by a continuous LTI IOS system \(\mathscr {H}\) on \({L^{2}(\mathbb {R})}\) associated with a differential equation. Since the system \(\mathscr {H}\) has not a continuous LTI IOS inverse system, they find a continuous LTI IOS system \(\mathscr {G}\) on \({L^{2}(\mathbb {R})}\), associated with a suitably modified differential equation, such that, for every signal \(f(t)\in A\), the signal \(\mathscr {G}(\mathscr {H}(f))\) is an accurate approximation of f(t).
As an application of the theoretical results given in the previous sections, we give, on a simple example, a theoretical foundation to the technique used in [3]. Precisely, we show how to find a suitable continuous “almost-inverse” system of a noninvertible continuous LTI system associated with a given differential equation.
Let \(P(z) = (z + 1)(z + 2)\), \(Q(z) = z + 3\) and consider the differential equation:
By a) of Theorem 2, there exists a unique continuous LTI IOS system on \({L^{2}(\mathbb {R})}\) associated with the differential equation (3): the system \(\mathscr {L}_{\varGamma }: {L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) defined by \(\mathscr {L}_{\varGamma }(f) = \varGamma *f\), where
is the distribution obtained by \(\mathbf {P}\big (P(z), Q(z)\big )\), see Sect. 3. Moreover, by c) of Theorem 2, \(\mathscr {L}_{\varGamma }\) is a causal system.
Since \(\deg P(z) \not = \deg Q(z)\), by Corollary 2 the system \(\mathscr {L}_{\varGamma }\) is not a bicontinuous invertible LTI IOS system. Hence, either it is not invertible, or its inverse is not continuous.
Actually, the system \(\mathscr {L}_{\varGamma }:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) is (a) one-to-one, but (b) not onto —indeed:
-
(a)
if \(f(t), g(t)\in {L^{2}(\mathbb {R})}\) are such that \(\mathscr {L}_{\varGamma }(f) = \mathscr {L}_{\varGamma }(g)\), then it is: \(P(D)\mathscr {L}_{\varGamma }(f) = Q(D)f\) and \(P(D)\mathscr {L}_{\varGamma }(g) = Q(D)g\), hence: \(Q(D)f = Q(D)g\), i.e., \(Q(D)(f-g) = 0\); by Proposition 4, this implies \(f(t) = g(t)\);
-
(b)
let \(g(t) = e^{-t} H(t)\in {L^{2}(\mathbb {R})}\); if there would exist a function \(f(t)\in {L^{2}(\mathbb {R})}\) such that \(\mathscr {L}_{\varGamma }(f) = g\), then f(t) would verify \((D + 1)(D + 2) e^{-t} H(t) = (D + 3)f(t)\); as a consequence, by applying the Fourier transformFootnote 9 we would obtain \(\hat{f}(\omega ) = (i\omega +2)/(i\omega + 3)\), and hence, by Plancherel’s Theorem, it would be \((i\omega +2)/(i\omega + 3)\in {L^{2}(\mathbb {R})}\), which is false.
Hence \(\mathscr {L}_{\varGamma }:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) has not an inverse system, i.e., there does not exist an LTI IOS system \(\mathscr {L}:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) such that for every \(f(t)\in {L^{2}(\mathbb {R})}\) it is:
Now, for every positive real number B, let:
be the vector space of the finite energy B-bandlimited signals.
The idea to find a continuous “almost inverse” of \(\mathscr {L}_{\varGamma }\) rests on the introduction of a suitable polynomial r(z) such that, defined:
it is:
-
(i)
there exists a bicontinuous invertible LTI IOS system \(\mathscr {L}:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = Q_{*}(D)f(t)\), and
-
(ii)
\(\mathscr {L}^{-1}:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) is an “almost inverse” of \(\mathscr {L}_{\varGamma }\) in the sense that: given positive real numbers \(\epsilon \) and B, for every \(f(t)\in \varOmega _{B}\), it is:
$$\begin{aligned} \frac{\Vert \,\mathscr {L}_{\varGamma }\big ( \mathscr {L}^{-1}(f) \big ) - f\,\Vert _{2}}{\Vert \,f\,\Vert _{2}} \leqslant \epsilon \qquad \text {and}\qquad \frac{\Vert \,\mathscr {L}^{-1}\big ( \mathscr {L}_{\varGamma }(f) \big ) - f\,\Vert _{2}}{\Vert \,f\,\Vert _{2}} \leqslant \epsilon \end{aligned}$$i.e., the \({L^{2}}{-}\)relative error made by approximating f by both \(\mathscr {L}_{\varGamma }\big ( \mathscr {L}^{-1}(f) \big )\) and \(\mathscr {L}^{-1}\big ( \mathscr {L}_{\varGamma }(f) \big )\) is upper-bounded by \(\epsilon \).
By Corollary 2, a polynomial \(Q_{*}(z)\) satisfying condition (i) must be such that the rational functions \(Q_{*}(z) / P(z)\) and \(P(z) / Q_{*}(z)\) have no pole on the complex imaginary axis, and \(\deg P(z) = \deg Q_{*}(z)\). Hence, an almost canonical choice is:
where K and \(\omega _{*}\) are two nonzero real numbers.
The following considerations show that: if \(K = 1/\omega _{*}\) and \(\omega _{*}\) is such that
then also condition (ii) is satisfied.
From a merely heuristic point of view, observe that: the previous choices imply that, when \(\omega _{*}\) approaches infinity, then the factor
approaches the polynomial 1, and hence suggest that the modified differential equation approaches the original differential equation.
By Corollary 2, there exists a unique bicontinuous invertible LTI IOS system \(\mathscr {L}:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) associated with the differential equation \(P(D)x(t) = Q_{*}(D)f(t)\), its inverse \(\mathscr {L}^{-1}:{L^{2}(\mathbb {R})}\rightarrow {L^{2}(\mathbb {R})}\) is defined by \(\mathscr {L}^{-1}(f) = h *f\), where h(t) is the distribution obtained by \(\mathbf {P}\big (Q_{*}(z), P(z)\big )\), and, for every \(f(t)\in {L^{2}(\mathbb {R})}\), the function \(\mathscr {L}^{-1}(f)\) is the unique solution in \({L^{2}(\mathbb {R})}\) of the differential equation \(Q_{*}(D)x(t) = P(D)f(t)\).
Let \(f(t)\in \varOmega _{B}\) be given, let \(y = \mathscr {L}^{-1}(f)\) and let \(s = \mathscr {L}_{\varGamma }(y) = \mathscr {L}_{\varGamma }\big ( \mathscr {L}^{-1}(f) \big )\). It is:
and hence:
Since for every \(g(t)\in {L^{2}(\mathbb {R})}\) it is \(\Vert \,g(t)\,\Vert _{2} = \sqrt{1/2\pi }\,\Vert \,\hat{g}(\omega )\,\Vert _{2}\) (Plancherel’s Theorem), then:
Since \({\mathrm{supp~}}\hat{f}(\omega ) \subset [-B, B]\), then:
Moreover,
Finally, using (4), we get:
Hence, \(\mathscr {L}\) verifies the first inequality of condition (ii).
Similar arguments prove that \(\mathscr {L}\) verifies also the second inequality of condition (ii).
Observe that, since (see [18, Section 6.3, p. 197]) for every \(g(t)\in \varOmega _{B}\) it is:
then, given positive real numbers \(\epsilon _{*}\) and E, if \(\omega _{*}\) satisfies:
then, for every \(f(t)\in \varOmega _{B}\) with energy \(\Vert \,f(t)\,\Vert _{2}^{2} \leqslant E\), it is also:
i.e., the \({L^{\infty }}{-}\)absolute error made by approximating f by both \(\mathscr {L}_{\varGamma }\big ( \mathscr {L}^{-1}(f) \big )\) and \(\mathscr {L}^{-1}\big ( \mathscr {L}_{\varGamma }(f) \big )\) is upper-bounded by \(\epsilon _{*}\).
Finally, observe that if \(\omega _{*} > 0\), then, by c) of Corollary 2, also the system \(\mathscr {L}^{-1}\) is causal.
7 Conclusions
In the context of analog signal processing, given a space \(\mathscr {I}\) of input signals and a differential equation with constant coefficients \(P(D)x(t) = Q(D)f(t)\), we considered the usual problem of the existence of continuous single-input single-output LTI IOS systems on \(\mathscr {I}\) associated with the differential equation, of their invertibility, and of the determination of their inverse.
When the input space \(\mathscr {I}\) is the space \({\mathscr {D_{+}'}(\mathbb {R})}\) of the distributional signals with left-bounded support, the answer is well known. Precisely, there always exists a unique continuous LTI IOS system on \(\mathscr {I}\) associated with the differential equation: the system \(\mathscr {L}\) defined by \(\mathscr {L}(f) = h *f\) where h(t) is the inverse (unilateral) Laplace transform of the transfer function Q(s)/P(s). This unique system \(\mathscr {L}\) has a continuous inverse, and this inverse is the unique continuous LTI IOS systems on \(\mathscr {I}\) associated with the differential equation \(Q(D)x(t) = P(D)g(t)\).
The space \({\mathscr {D_{+}'}(\mathbb {R})}\) of all the the signals with left-bounded support is not, obviously, the unique space of analog signals of interest in analog signal processing. Other usually considered spaces are the spaces \({L^{p}(\mathbb {R})}\). However, concerning the previous problem, only sporadic and partial results are found in the literature.
Besides there are other spaces that should have been considered, and instead are totally ignored in the literature on signal theory (apart [4]– [6]): the \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), i.e., the spaces spanned by each \({L^{p}(\mathbb {R})}\) and the derivatives of any order of its members. The reason why they should have been used and studied is obvious: working with \({L^{p}(\mathbb {R})}\) and with differential equations, \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is the least space in which computations can be performed.
Then, we considered as input space \(\mathscr {I}\) the space of \({L^{p}}\) functions and the space of \({\mathscr {D'}_{L^{p}}}\) distributions, input spaces which include signals with not necessarily left-bounded support. In each case, we gave a systematic theoretical analysis of the existence, uniqueness and invertibility of continuous LTI IOS systems (both causal and non-causal) on \(\mathscr {I}\) associated with the differential equation and, in every case of invertibility, we characterized the inverse system.
This paper offers to researchers engaged in problems of differential equations and \({L^{p}}\) signals, the landscape of the related continuous, and of bicontinuous invertible, LTI IOS systems, on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) and \({L^{p}(\mathbb {R})}\).
This landscape, for the equation \(P(D)x(t) = Q(D)f(t)\), can be summarized as follows.
When the input space \(\mathscr {I}\) is \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) endowed with the weak convergence, or the input space \(\mathscr {I}\) is \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) or \({L^{p}(\mathbb {R})}\) with \(1 \leqslant p < \infty \), the landscape is simple. Precisely, if the rational function Q(z)/P(z) satisfies a simple condition necessary to the existence of continuous LTI IOS systems on \(\mathscr {I}\) associated with the differential equation \(P(D)x(t) = Q(D)f(t)\), then there exists a unique such system: the system \(\mathscr {L}_{\varGamma }\) defined by \(\mathscr {L}_{\varGamma }(f) = \varGamma *f\), where \(\varGamma (t)\) is the distribution defined in Sect. 3 by the procedure \(\mathbf {P}(P(z), Q(z))\). Moreover, if (and only if) also the rational function P(z)/Q(z) satisfies the same simple condition satisfied by Q(z)/P(z), \(\mathscr {L}_{\varGamma }\) has a continuous inverse, and this inverse is the unique continuous LTI IOS systems on \(\mathscr {I}\) associated with the differential equation \(Q(D)x(t) = P(D)g(t)\).
On the other hand, when the input space \(\mathscr {I}\) is \({\mathscr {D'}_{L^{\infty }}(\mathbb {R})}\) endowed with the strong convergence, or the input space \(\mathscr {I}\) is \({L^{\infty }(\mathbb {R})}\), by the pathology of the space \(\mathscr {I}\), the landscape is not completely definite: when the rational function Q(z)/P(z) satisfies the necessary condition, \(\mathscr {L}_{\varGamma }\) is now simply one of the continuous LTI IOS systems on \(\mathscr {I}\) associated with the differential equation \(P(D)x(t) = Q(D)f(t)\), not necessarily the unique. Moreover, if (and only if) also the rational function P(z)/Q(z) satisfies the same simple condition satisfied by Q(z)/P(z), \(\mathscr {L}_{\varGamma }\) has still a continuous inverse, but this inverse is now simply one of the continuous LTI IOS systems on \(\mathscr {I}\) associated with the differential equation \(Q(D)x(t) = P(D)g(t)\), not necessarily the unique.
Notes
For the reader’s convenience, we collected in the Appendix, at the end of the paper, some notions on distributions used in the paper.
For every \(n\in \mathbb {N}\) and \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), we indicate by \(D^{n} f(t)\in {\mathscr {D'}(\mathbb {R})}\) the \(n-th\) distributional derivative of f(t), see Sect. A-5 of the Appendix.
Since the elements of both \(\mathscr {I}\) and \(\mathscr {O}\) are distributions, \(\mathscr {L}(f)\) is a distributional solution of the differential equation (1). For the existence and uniqueness of distributional solutions of a linear differential equation with constant coefficients, see Sect. A-12 of the Appendix.
For example, in classical LTI state-space systems theory, an input–output description of the form \(P(D)x(t) = Q(D)f(t)\) is realizable if and only if \(\deg Q(z) \leqslant \deg P(z)\) [1, Th. 3.3, p. 391] (see also [11], where minimal realizations are discussed). However, when also generalized state-space realizations are taken into considerations, any input–output description of the form \(P(D)x(t) = Q(D)f(t)\) is realizable [27, Sect. 3.1] (see also [12], where minimal realizations are discussed).
See Sect. A-9 of the Appendix.
The statement follows by Lemma 4 of [6].
In the engineering literature, the pathology of \({L^{\infty }(\mathbb {R})}\) has been made known by I. Sandberg in his paper [21].
For every \(f(t)\in {L^{2}(\mathbb {R})}\), we denote by \(\hat{f}(\omega ) = {L^{2}}{-}\lim _{r\rightarrow \infty }\int _{-r}^{r} e^{-i \omega t} f(t)\, dt\) the Fourier transform of f(t).
If \(A\subset \mathbb {R}\), the characteristic function of A is the function \(\chi _{A}:\mathbb {R}\rightarrow \mathbb {C}\) defined by: \(\chi _{A}(t) = 1\) if \(t \in A\) and \(\chi _{A}(t) = 0\) if \(t\not \in A\)
Let f(t) be a function on \(\mathbb {R}\). The essential sup of f(t) is the infimum of the set of the essential upper bounds of f(t).
It is always possible. Indeed: Write \(g(t) = {\mathscr {D'}}{-}\lim _{k\rightarrow \infty }\theta _{k}(t)\) with \(\theta _{k}(t)\in {\mathscr {D}(\mathbb {R})}\) for every k (remember that \({\mathscr {D}(\mathbb {R})}\) is dense in \({\mathscr {D'}(\mathbb {R})}\), see [2, Th. 1.20]), and let \(\eta (t)\) be a \({C^{\,\infty }(\mathbb {R})}\) function with left-bounded support and such that \(\eta (t) = 1\) on an open set containing \({\mathrm{supp~}}g(t)\). Then it is: for every k it is \(\eta (t) \theta _{k}(t) \in {\mathscr {D}(\mathbb {R})}\), there exists \(a\in \mathbb {R}\) such that for every k it is \({\mathrm{supp~}}\eta (t)\theta _{k}(t) \subset (a,+\infty )\), and:
$$\begin{aligned} g(t) = \eta (t)g(t) = \eta (t)\, {\mathscr {D'}}{-}\lim _{k\rightarrow \infty }\theta _{k}(t) {\mathop {=}\limits ^{(a)}} {\mathscr {D'}}{-}\lim _{k\rightarrow \infty }\eta (t) \theta _{k}(t) {\mathop {=}\limits ^{(b)}} {\mathscr {D_{+}'}}{-}\lim _{k\rightarrow \infty }\eta (t) \theta _{k}(t) \end{aligned}$$where equality (a) follows by the continuity of the multiplication of a distribution by a smooth function, and (b) by the definition of \({\mathscr {D_{+}'}}{-}\lim \).
References
P.J. Antsaklis, A.N. Michel, Linear Systems (Birkhäuser, Boston, 2006)
E.J. Beltrami, M.R. Wohlers, Distributions and the Boundary Values of Analytic Functions (Academic Press, New York, 1966)
Casson, A.J., Rodriguez-Villegas, E.: An inverse filter realisation of a single scale inverse continuous wavelet transform. Proc. of the 2008 IEEE Int. Symp. on Circuits and Syst., 904-907 (2008). https://doi.org/10.1109/ISCAS.2008.4541565
M. Ciampa, M. Franciosi, M. Poletti, A note on impulse response for continuous, linear, time-invariant, continuous-time systems. IEEE Trans. Circuits Syst. I Regular Papers 53(1), 106–113 (2006). https://doi.org/10.1109/TCSI.2005.854291
Ciampa, M., Franciosi, M., Poletti, M.: Continuous LTI systems defined on \(L^{p}({R})\) functions and \(\mathscr {D^{\prime }}_{L^{p}}({R})\) distributions: analysis by impulse response and convolution. IEEE Trans. Circuits Syst. I Regular Papers, 55(6), 1711-1721 (2008). https://doi.org/10.1109/TCSI.2008.916697
M. Ciampa, M. Franciosi, M. Poletti, Linear differential equations and related continuous LTI systems. Circuits Syst. and Signal Process. 38, 4465–4503 (2019). https://doi.org/10.1007/s00034-019-01080-7
M. De la Sen, On positivity of singular regular linear time-delay time-invariant systems subject to multiple internal and external incommensurate point delays. Appl. Math. and Comput. 190, 382–401 (2007). https://doi.org/10.1016/j.amc.2007.01.053
De la Sen, M.: On the characterization of Hankel and Toeplitz operators describing switched linear dynamic systems with point delays. Abstr. and Appl. Anal., vol. 2009, 34 pages (2009). https://doi.org/10.1155/2009/670314
C. Gasquet, P. Witomski, Fourier Analysis and Applications: Filtering, Numerical Computation (Wavelets. Springer Science+Business Media, New York, 1999)
B. Girod, R. Rabenstein, A. Stenger, Signals and Systems (John Wiley and Sons, Chichester, 2001)
I. Gohberg, M.A. Kaashoek, L. Lerer, On minimality in the partial realization problem. Syst. & Control Lett. 9, 97–104 (1987). https://doi.org/10.1016/0167-6911(87)90015-6
D. Hinrichsen, W. Manthey, U. Helmke, Minimal partial realization by descriptor systems. Linear Algebra and its Appl. 326, 45–84 (2001). https://doi.org/10.1016/S0024-3795(00)00303-7
T. Kailath, Linear Systems (Prentice Hall, Englewood Cliffs, N.J., 1980)
S. Lang, Real and Functional Analysis (Springer-Verlag, New York, 1993)
A. Leuciuc, The realization of inverse system for circuits containing nullors with applications in chaos synchronization. Int. J. Circuit Theory Appl. 26, 1–12 (1998). https://doi.org/10.1002/(SICI)1097-007X(199801/02)26:1<1::AID-CTA989>3.0.CO;2-B
A.V. Oppenheim, A.S. Willsky, Signals and Systems (Prentice-Hall, Upper Saddle River, N.J., 1997)
A. Papoulis, The Fourier Integral and Its Applications (McGraw-Hill Book Company, New York, 1962)
A. Papoulis, Signal Analysis (McGraw-Hill Book Company, New York, 1977)
J.G. Proakis, M. Salehi, Communication Systems Engineering (Prentice-Hall Inc., Englewood Cliffs, N. J., 1994)
I. Sandberg, The superposition scandal. Circuits Syst. and Signal Process. 17, 733–735 (1998). https://doi.org/10.1007/BF01206573
I. Sandberg, Bounded inputs and the representation of linear system maps. Circuits Syst. and Signal Process. 24, 103–115 (2005). https://doi.org/10.1007/s00034-004-4070-8
Sandberg, I.: Notes on the superposition scandal. MACMESE’07 Proc. of the 9th WSEAS Int. Conf. on Math. and Comput. Methods in Sci. and Eng., Trinidad and Tobago, 115-118 (2007)
L. Schwartz, Théorie Des Distributions (Hermann, Paris, 1966)
G.F. Simmons, Introduction to Topology and Modern Analysis (McGraw-Hill Book Company, New York, 1963)
T. Sogo, On the equivalence between stable inversion for nonminimum phase systems and reciprocal transfer functions defined by the two-sided Laplace transform. Autom. 46, 122–126 (2010). https://doi.org/10.1016/j.automatica.2009.10.008
M. Unser, P.D. Tafti, An Introduction to Sparse Stochastic Processes (Cambridge University Press, Cambridge, 2014)
A. Varga, Computation of irreducible generalized state-space realizations. Kybern. 26, 89–106 (1990)
V.S. Vladimirov, Methods of the Theory of Generalized Functions (Taylor & Francis, London, 2002)
A.H. Zemanian, Distribution Theory and Transform Analysis (McGraw-Hill Book Company, New York, 1965)
Acknowledgements
The author would like to thank the anonymous reviewers for their comments and suggestions which prompted him to greatly improve the presentation of the results, and Prof. M. Poletti for his valuable discussions.
Funding
Open access funding provided by Universitá di Pisa within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The authors declare that they have no conflict of interest.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Appendix: Distributions
A Appendix: Distributions
In this section, for the reader’s convenience, we describe the spaces of distributions used in the paper and recall some notions concerning distributional solutions of ordinary differential equations with constant coefficients.
1.1 A-1 Identification of Function Equal Almost Everywhere (a.e.)
Let f(t) and g(t) be two functions defined on \(\mathbb {R}\). The functions are almost everywhere equal if for almost every \(t\in \mathbb {R}\) it is \(f(t) = g(t)\), i.e., if there exists a set \(\varOmega \subset \mathbb {R}\) with Lebesgue measure equal to zero such that for every \(t \in \mathbb {R}\setminus \varOmega \) it is \(f(t) = g(t)\). As usual, f(t) and g(t) will be tacitly considered as a unique function, and the equality \(f(t) = g(t)\) will be said to hold.
For instance, for the Heaviside step function H(t) defined as
the following equalities hold:
(here \(\chi _{A}(t)\) denotes the characteristic function of the set A).Footnote 10
This usual tacit identification avoids to substitute the familiar notion of function with a new unfamiliar notion of—let’s say—essential function, where the essential functions are the equivalence classes of functions, modulo the equivalence relation defined by: \(f(t)\backsim g(t)\) if and only if f(t) and g(t) are almost everywhere equal.
Once established this identification, the only functions f(t) for which the value \(f(t_{0})\) at each single point \(t_{0}\in \mathbb {R}\) is still an actually meaningful information are the \(f(t)\in {C^{\,0}(\mathbb {R})}\), i.e., the continuous functions.
1.2 A-2 The Space \({L^{1}_\mathrm{loc}(\mathbb {R})}\)
\({L^{1}_\mathrm{loc}(\mathbb {R})}\) is the space of the functions f(t) locally integrable on \(\mathbb {R}\), i.e., of the Lebesgue measurable functions \(f:\mathbb {R}\rightarrow \mathbb {C}\) which are Lebesgue integrable on every compact set \(K\subset \mathbb {R}\).
1.3 A-3 The spaces \({L^{p}(\mathbb {R})}, 1 \leqslant p \leqslant \infty \)
For every p such that \(1 \leqslant p < \infty \), \({L^{p}(\mathbb {R})}\) is the space of Lebesgue measurable functions f(t) on \(\mathbb {R}\), such that \(|f(t)|^{p}\) is a Lebesgue integrable function; for every \(f(t)\in {L^{p}(\mathbb {R})}\) let:
\({L^{\infty }(\mathbb {R})}\) is the space of Lebesgue measurable bounded functions on \(\mathbb {R}\), i.e., the space of Lebesgue measurable functions f(t) such that: there exists \(\lambda \in \mathbb {R}\) such that for almost every \(t\in \mathbb {R}\) it is \(|f(t)| \leqslant \lambda \) (such a \(\lambda \) is called an essential upper bound of |f(t)|); for every \(f(t)\in {L^{\infty }(\mathbb {R})}\) letFootnote 11
It is well known that, for every p such that \(1\leqslant p\leqslant \infty \), \(\Vert \cdot \Vert _{p}\) is a norm in \({L^{p}(\mathbb {R})}\), and that, endowed with such norm, \({L^{p}(\mathbb {R})}\) is a Banach space (pay attention: this is the first time we are using the identification of Sect. A-1.
1.4 A-4 The Space \({{{\mathscr {D}(\mathbb {R})}}}\)
\({\mathscr {D}(\mathbb {R})}\) is the space of the functions \(\varphi (t)\in {C^{\,\infty }(\mathbb {R})}\) such that \({\mathrm{supp~}}\varphi (t)\) is a compact subset of \(\mathbb {R}\).
Let \(\varphi _{k}(t),\varphi (t)\) be a sequence and an element, respectively, in \({\mathscr {D}(\mathbb {R})}\). The sequence \(\varphi _{k}(t)\) converges to \(\varphi (t)\) in \({\mathscr {D}(\mathbb {R})}\), or
mean that:
-
there exists a compact set \(K\subset \mathbb {R}\) such that: for every \(k\in \mathbb {N}\) it is \({\mathrm{supp~}}\varphi _{k}(t)\subset K\),
-
for every \(q\in \mathbb {N}\), the sequence \(D^{q}\varphi _{k}(t)\) converges to \(D^{q}\varphi (t)\) uniformly on \(\mathbb {R}\).
A subset B of \({\mathscr {D}(\mathbb {R})}\) is called a bounded subset of \({\mathscr {D}(\mathbb {R})}\) if there exist a compact \(K\subset \mathbb {R}\), and positive real numbers \(M_{q}, q\in \mathbb {N}\), such that:
-
for every \(\varphi (t)\in B\) it is \({\mathrm{supp~}}\varphi (t) \subset K\),
-
for every \(q\in \mathbb {N}\) it is
$$\begin{aligned} \sup \{ \left\| D^{q}\varphi (t) \right\| _{\infty } : \varphi (t)\in B \} \leqslant M_{q} \end{aligned}$$
1.5 A-5 The Space \({\mathscr {D'}(\mathbb {R})}\) of the Distributions on \(\mathbb {R}\) and the Convolution by \({\mathscr {D}}\) Functions
By L. Schwartz’s definition, \({\mathscr {D'}(\mathbb {R})}\) is the space of the continuous linear functionals \(T:{\mathscr {D}(\mathbb {R})}\rightarrow \mathbb {C}\). These functionals are called distributions (on \(\mathbb {R}\)). If \(T\in {\mathscr {D'}(\mathbb {R})}\) and \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\), the number \(T(\varphi (t))\in \mathbb {C}\) is usually denoted by \({\left\langle T,\varphi (t) \right\rangle }\).
For every \(f(t)\in {L^{1}_\mathrm{loc}(\mathbb {R})}\), the map \(T_{f}:{\mathscr {D}(\mathbb {R})}\rightarrow \mathbb {C}\) defined by
is a distribution.
By [28, Lemma in Section 1.6 of Chapter 1], the following theorem holds (pay attention: this is the second time we are using the identification of Sect. A-1):
Theorem 5
(Du Bois-Reymond) Let \(f(t) ,g(t)\in {L^{1}_\mathrm{loc}(\mathbb {R})}\). The following statement holds:
As a consequence of Theorem 5, the linear map
is injective, hence the image of \({L^{1}_\mathrm{loc}(\mathbb {R})}\) through this map is an isomorphic copy in \({\mathscr {D'}(\mathbb {R})}\) of \({L^{1}_\mathrm{loc}(\mathbb {R})}\). As a consequence, for every \(f(t)\in {L^{1}_\mathrm{loc}(\mathbb {R})}\), the distribution \(T_{f}\) (the copy of f(t) in \({\mathscr {D'}(\mathbb {R})}\)) will be identified with f(t) and denoted by the same symbol f(t). This allows to handle \({L^{1}_\mathrm{loc}(\mathbb {R})}\) as a subspace of \({\mathscr {D'}(\mathbb {R})}\).
If \(f(t)\in {L^{1}_\mathrm{loc}(\mathbb {R})}\subset {\mathscr {D'}(\mathbb {R})}\) and \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\), the complex number \({\left\langle f(t),\varphi (t) \right\rangle }\) verifies:
hence it is the \(\varphi {-}\)weighted average of the signal f(t) and can be consequently interpreted as the result of the measure of f(t) by the measuring instrument \(\varphi (t)\) (see [10, Section 11.3.5, p. 279]).
From here on, all the distributions will be denoted by function-like symbols f(t), the elements \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) will be interpreted as the allowed measuring instruments—distributed on \(\mathbb {R}\)—for the signals in \({\mathscr {D'}(\mathbb {R})}\) (see [17, Appendix I, Section I-3, p. 281], [26, Section 3.3.1, p. 35]), and the measure of a signal \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) by the measuring instrument \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\), i.e., \({\left\langle f(t),\varphi (t) \right\rangle }\in \mathbb {C}\), will be denoted by the integral-like symbol
Hence, the “ideal experiment” to know a distribution f(t) is to take into account all the measuring instruments \(\varphi (t)\) distributed on \(\mathbb {R}\) and, for each of them, to record the result of the measure of f(t).
The following items summarize some usual “calculus on distributions.”
-
If \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), the continuous linear functional \(T:{\mathscr {D}(\mathbb {R})}\rightarrow \mathbb {C}\) defined by:
$$\begin{aligned} T(\varphi (t)) = -{\displaystyle \int _{}f(t) \bullet (D\varphi )(t)} \end{aligned}$$is a distribution on \(\mathbb {R}\). Well-known non-trivial arguments allow to discover that T plays the role of the derivative of f(t). Consequently, T is denoted by Df(t).
-
Let \(f(t)\in {\mathscr {D'}(\mathbb {R})}\); for every \(\tau \in \mathbb {R}\), \(f(t-\tau )\in {\mathscr {D'}(\mathbb {R})}\) is the distribution defined by:
$$\begin{aligned} {\displaystyle \int _{}f(t-\tau ) \bullet \varphi (t)} = {\displaystyle \int _{}f(t) \bullet \varphi (t+\tau )} \end{aligned}$$ -
Let \(f(t)\in {\mathscr {D'}(\mathbb {R})}\); for every \(q\in \mathbb {N}\), \(D^{q}f(t)\) is the distribution defined by:
$$\begin{aligned} {\displaystyle \int _{}D^{q}f(t) \bullet \varphi (t)} = (-1)^{q}{\displaystyle \int _{}f(t) \bullet (D^{q}\varphi )(t)} \end{aligned}$$ -
The Dirac impulse \(\delta (t)\) is the distribution defined by:
$$\begin{aligned} {\displaystyle \int _{}\delta (t) \bullet \varphi (t)} = \varphi (0) \end{aligned}$$ -
Let \(\tau \in \mathbb {R}\); \(\delta (t-\tau )\)—i.e., the Dirac impulse at \(\tau \)—is the distribution such that:
$$\begin{aligned} {\displaystyle \int _{}\delta (t-\tau ) \bullet \varphi (t)} = {\displaystyle \int _{}\delta (t) \bullet \varphi (t+\tau )} = \varphi (\tau ) \end{aligned}$$ -
Let \(q\in \mathbb {N}\); \(D^{q}\delta (t)\) is the distribution such that:
$$\begin{aligned} {\displaystyle \int _{}D^{q}\delta (t) \bullet \varphi (t)} = (-1)^{q}{\displaystyle \int _{}\delta (t) \bullet (D^{q}\varphi )(t)} = (-1)^{q}(D^{q}\varphi )(0) \end{aligned}$$
Finally, let \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) and \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\). By [23, Ch. VI, \(\S \)4, Th. XI, p. 166], the convolution \((f*\varphi )(t)\) is the function defined, for every \(t\in \mathbb {R}\), by:
and it is: \((f*\varphi )(t)\in {C^{\,\infty }(\mathbb {R})}.\)
Observe that, for every \(t_{0}\in \mathbb {R}\), the complex number \((f*\varphi )(t_{0})\) is the measure of f(t) by the measuring instrument
“with its center translated in \(t_{0}\in \mathbb {R}\).”
1.6 A-6 The Spaces \({{{\mathscr {D}_{L^{p}}(\mathbb {R})}}}\)
For \(1\leqslant p\leqslant \infty \), \({\mathscr {D}_{L^{p}}(\mathbb {R})}\) is (see [23, Ch. 6, \(\S \)8, p.199]) the space of the \(\varphi (t)\in {C^{\,\infty }(\mathbb {R})}\) such that:
Moreover, \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\) is the subspace of \({\mathscr {D}_{L^{\infty }}(\mathbb {R})}\) of the \(\varphi (t)\) such that:
Let \(\varphi _{k}(t),\varphi (t)\) be a sequence and an element, respectively, in \({\mathscr {D}_{L^{p}}(\mathbb {R})}\). The sequence \(\varphi _{k}(t)\) converges to \(\varphi (t)\) in \({\mathscr {D}_{L^{p}}(\mathbb {R})}\), or
mean that:
The space \({\mathscr {D}(\mathbb {R})}\) is dense in \({\mathscr {D}_{L^{p}}(\mathbb {R})}\) for \(1\leqslant p<\infty \), and in \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\), but is not dense in \({\mathscr {D}_{L^{\infty }}(\mathbb {R})}\).
Let \(1< p< q<\infty \): the following relations hold
A subset B of one of the \({\mathscr {D}_{L^{p}}(\mathbb {R})}\), \(1\leqslant p \leqslant \infty \) is called a bounded subset of \({\mathscr {D}_{L^{p}}(\mathbb {R})}\) if there exist positive real numbers \(M_{q}, q\in \mathbb {N},\) such that:
A subset B of \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\) is called a bounded subset of \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\) if there exist positive real numbers \(M_{q}, q\in \mathbb {N},\) such that:
1.7 A-7 The Spaces \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\)
By [23, Ch. VI, \(\S \)8, p. 199], \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\) is the space of the continuous linear functionals on \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\). If \(f(t)\in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\), and \(\varphi (t)\in \mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\), the number \(f(\varphi (t))\in \mathbb {C}\), usually denoted by \({\left\langle f(t),\varphi (t) \right\rangle }\), will be denoted by:
The element \(\varphi (t)\) will be interpreted as a measuring instrument on the members of \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\), and the members of \(\mathscr {\dot{D}}_{L^{\infty }}(\mathbb {R})\) will be called the allowed measuring instruments on \({\mathscr {D'}_{L^{1}}(\mathbb {R})}\).
For \(1<p\leqslant \infty \), \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is the space of the continuous linear functionals on \({\mathscr {D}_{L^{p'}}(\mathbb {R})}\), \(1/p+1/p' = 1\), and similar notations and notions as above will be adopted.
Observe that every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) induces a continuous linear functional on \({\mathscr {D}(\mathbb {R})}\), precisely:
As a consequence, every \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) becomes a particular member of \({\mathscr {D'}(\mathbb {R})}\).
By the previous remark, \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is a subspace of \({\mathscr {D'}(\mathbb {R})}\). The following theorem characterizes the \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) which are members of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) (for the proof see [23, Ch. VI, \(\S 8\), Th. XXV, p. 201]).
Theorem 6
Let \(1\leqslant p\leqslant \infty \). For every \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), the following statements are equivalent:
-
\(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\),
-
there exist \(m\in \mathbb {N}\), and a family \(f^{\circ }_{q}(t)\in {L^{p}(\mathbb {R})}, q\in \mathbb {N}, q\leqslant m\), such that
$$\begin{aligned} f(t) = \sum _{0\leqslant q\leqslant m} D^{q}f^{\circ }_{q}(t) \end{aligned}$$ -
for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is \((f*\varphi )(t)\in {L^{p}(\mathbb {R})}\) (see Eq. (6) in Sect. A-5),
-
for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is \((f*\varphi )(t)\in {\mathscr {D}_{L^{p}}(\mathbb {R})}\).
\({\mathscr {\dot{D}'}_{L^{\infty }}(\mathbb {R})}\) is the space of the distributions null at infinity, i.e., of the \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) such that: for every \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) the smooth function \((f*\varphi )(t)\) is null at infinity, i.e., verifies:
(see [23, Sect. VI, \(\S \)8, Les espaces de distributions \(({\mathscr {D'}_{L^{p}}})\), p. 200, and Autre définition de distributions bornées, p. 205]).
The following theorem gives the inclusion relations among the spaces \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) (see [23, Ch. VI, \(\S 8\), p. 201]).
Theorem 7
For every \(1< r< p< \infty \) it is:
1.8 A-8 Convergence in \({\mathscr {D'}(\mathbb {R})}\)
Remember that we are interpreting the members of \({\mathscr {D}(\mathbb {R})}\) as the allowed measuring instruments on the signals \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), and:
as the result of the measure of f(t) by the measuring instrument \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\).
Let \(f_{k}(t), f(t)\) be a sequence and a member, respectively, of \({\mathscr {D'}(\mathbb {R})}\). By [23, Ch. III, \(\S \)2, remark on Th. VII, p. 70], the following two statements are equivalent:
-
the sequence \(f_{k}(t)\) is weakly convergent to f(t) in \({\mathscr {D'}(\mathbb {R})}\), i.e., for every measuring instrument \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is:
$$\begin{aligned} \lim _{k\rightarrow \infty } {\displaystyle \int _{}f_{k}(t) \bullet \varphi (t)} = {\displaystyle \int _{}f(t) \bullet \varphi (t)} \end{aligned}$$ -
the sequence \(f_{k}(t)\) is strongly convergent to f(t) in \({\mathscr {D'}(\mathbb {R})}\), i.e., for every measuring instrument \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) it is:
$$\begin{aligned} \lim _{k\rightarrow \infty } {\displaystyle \int _{}f_{k}(t) \bullet \varphi (t)} = {\displaystyle \int _{}f(t) \bullet \varphi (t)} \end{aligned}$$and moreover this convergence is uniform on every bounded subset B of the allowed measuring instruments.
Due to this result, when one of the two conditions above is verified, the terms weakly and strongly are omitted; we simply write:
and say that the sequence \(f_{k}(t)\) \({\mathscr {D'}}{-}\)converges to f(t).
This equivalence does not subsist for the spaces \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), so in these spaces two notions of convergence for sequences must be considered and cannot be identified. The next subsection gives the details.
1.9 A-9 Weak and Strong Convergence in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\)
Remember that we are interpreting the members of \({\dot{{\mathscr {D}}}_{L^{\infty }}(\mathbb {R})}\) as the allowed measuring instruments on the signals \(f(t)\in {\mathscr {D'}_{L^{1}}(\mathbb {R})}\), and the members of \({\mathscr {D}_{L^{p'}}(\mathbb {R})}\) as the allowed measuring instruments on the signals \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}, 1 < p\leqslant \infty \).
Definition 1
Let \(f_{k}(t), f(t)\) be a sequence and a member, respectively, of \({\mathscr {D'}_{L^{p}}(\mathbb {R})},\) with \(1 \leqslant p\leqslant \infty \).
-
The sequence \(f_{k}(t)\) is said to be weakly convergent to f(t) in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), and we write:
$$\begin{aligned} w{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } f_{k}(t) = f(t) \end{aligned}$$if for every allowed measuring instrument \(\varphi (t)\) on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) (see above) it is:
$$\begin{aligned} \lim _{k\rightarrow \infty } {\displaystyle \int _{}f_{k}(t) \bullet \varphi (t)} = {\displaystyle \int _{}f(t) \bullet \varphi (t)} \end{aligned}$$ -
The sequence \(f_{k}(t)\) is said to be strongly convergent to f(t) in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\), and we write:
$$\begin{aligned} s{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } f_{k}(t) = f(t) \end{aligned}$$if for every allowed measuring instrument \(\varphi (t)\) on \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) (see above) it is:
$$\begin{aligned} \lim _{k\rightarrow \infty } {\displaystyle \int _{}f_{k}(t) \bullet \varphi (t)} = {\displaystyle \int _{}f(t) \bullet \varphi (t)} \end{aligned}$$and moreover this convergence is uniform on every bounded subset B of the allowed measuring instruments.
It is easily seen that:
-
if \(s{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } f_{k}(t) = f(t)\), then: \(w{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } f_{k}(t) = f(t)\);
-
\(w{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } \delta (t-k) = 0\); indeed, for every allowed measuring instrument \(\varphi (t)\) it is:
$$\begin{aligned} \lim _{k\rightarrow \infty } {\displaystyle \int _{}\delta (t-k) \bullet \varphi (t)} = \lim _{k\rightarrow \infty } \varphi (k) = 0 \end{aligned}$$(remember that, see Sect. A-6, it is: \(\varphi (t)\in {\dot{{\mathscr {D}}}_{L^{\infty }}(\mathbb {R})}\));
-
the statement \(s{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } \delta (t-k) = 0\) is false. Indeed: let \(\varphi (t)\in {\mathscr {D}(\mathbb {R})}\) verify \(\varphi (0) = 1\), then: \(B = \{ \varphi (t-\beta ): \beta \in \mathbb {N}\}\) is a bounded set of allowed measuring instruments on which the convergence in the previous item is not uniform.
In particular, weak and strong convergences in the spaces \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) are not equivalent, and cannot be identified (as instead it happened in \({\mathscr {D'}(\mathbb {R})}\)).
By [23, Ch. VI, \(\S \)8, Remarque \(2^{\circ }\) to Th. XXV, p. 202] the following extremely deep characterization of strongly convergent sequences in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is obtained. The same reference gives the far less significant information (and hence here omitted) that can be given on weakly convergent sequences.
Theorem 8
Let \(f_{k}(t), f(t)\) be a sequence and a member, respectively, of \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\). The following statements are equivalent:
-
\(s{-}{\mathscr {D'}_{L^{p}}}{-}\lim _{k\rightarrow \infty } f_{k}(t) = f(t)\),
-
there exist \(m\in \mathbb {N}\), and:
$$\begin{aligned} g_{jk}(t), g_{j}(t)\in {L^{p}(\mathbb {R})},\ q_{j}\in \mathbb {N}, j = 1,\dots ,m;\ k\in \mathbb {N}\end{aligned}$$such that:
-
for every \(k\in \mathbb {N}\) it is: \(f_{k}(t) = \sum _{j=1}^{m} D^{q_{j}}g_{jk}(t)\),
-
\(f(t) = \sum _{j=1}^{m} D^{q_{j}}g_{j}(t)\),
-
for every \(j = 1,\dots ,m\) it is: \({L^{p}}{-}\lim _{k\rightarrow \infty } g_{jk}(t) = g_{j}(t)\).
-
1.10 A-10 Convolution Between \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) Spaces
Let \(1\leqslant p,q \leqslant \infty \) verify:
and let \(1\leqslant r\leqslant \infty \) verify:
In [23, Ch. VI, \(\S \)8, Th. XXVI, p. 203] it is defined the convolution product:
The following two theorems supply the information sufficient for handling this operation. In particular, the first one makes clear that the new notion is the canonical distributional extension of the usual convolution \(*:{L^{p}(\mathbb {R})}\times {L^{q}(\mathbb {R})}\rightarrow {L^{r}(\mathbb {R})}.\)
Theorem 9
Let \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}, g(t)\in {\mathscr {D'}_{L^{q}}(\mathbb {R})}\), and let (see Theorem 6):
where: I, J are two finite sets of natural numbers, each \(p_{i}, q_{j}\in \mathbb {N}\), each \(f_{i}(t) \in {L^{p}(\mathbb {R})}\) and each \(g_{j}(t) \in {L^{q}(\mathbb {R})}\).
Then:
(observe that: for every \((i,j)\in I\times J\) it is \((f_{i}*g_{j})(t)\in {L^{r}(\mathbb {R})}\)).
Theorem 10
Let \(\gamma (t)\in {\mathscr {D'}_{L^{q}}(\mathbb {R})},\) and let \(\mathscr {L}_{\gamma }:{\mathscr {D'}_{L^{p}}(\mathbb {R})}\rightarrow {\mathscr {D'}_{L^{r}}(\mathbb {R})}\) be the convolution operator defined by
(observe that in Item \((2^{\circ })\) of the previous reference, coherently with the proof, the term “continue” must be substituted by “hypocontinue”).
The following statements hold:
-
(a)
the map \(\mathscr {L}_{\gamma }\) is strongly continuous, i.e., it transforms strongly convergent sequences in \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) into strongly convergent sequences in \({\mathscr {D'}_{L^{r}}(\mathbb {R})}\);
-
(b)
the map \(\mathscr {L}_{\gamma }\) is weakly continuous under each of the following assumptions (see [5, Theorem 3.3]):
-
(i)
if \(p\ne 1\) (independently of the particular \(\gamma (t)\in {\mathscr {D'}_{L^{q}}(\mathbb {R})}\)),
-
(ii)
if \(p = 1, q\ne \infty \) (independently of the particular \(\gamma (t)\in {\mathscr {D'}_{L^{q}}(\mathbb {R})}\)),
-
(iii)
if \(p = 1, q = \infty \), and \(\gamma (t)\in {\mathscr {\dot{D}'}_{L^{\infty }}(\mathbb {R})}\).
-
(i)
1.11 A-11 The Space \({\mathscr {D_{+}'}(\mathbb {R})}\)
\({\mathscr {D_{+}'}(\mathbb {R})}\) is the space of the \(f(t)\in {\mathscr {D'}(\mathbb {R})}\) with left-bounded support. A sequence \(f_{k}(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\) is \({\mathscr {D_{+}'}}{-}\)convergent to \(f(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\), and we write
if \({\mathscr {D'}}{-}\lim _{k\rightarrow \infty }f_{k}(t) = f(t)\) and there exists \(a\in \mathbb {R}\) such that for every k it is \({\mathrm{supp~}}f_{k}\subset (a,+\infty )\).
In [23, Ch. VI, \(\S \)5, p. 170], for every \(f(t),g(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\) it is defined the convolution \((f*g)(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\). By [23, Ch. VI, \(\S \)5, Les opérations du calcul symbolique à une variable, p. 171 ], if
then, by [23, Ch. VI, \(\S \)5, Th. XIII, p. 172], it is
The previous result, apart from its intrinsic meaning and theoretical applications, allows the following easy to think and to handle alternative way to define the convolution in \({\mathscr {D_{+}'}(\mathbb {R})}\): let \(f(t),g(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\), write g(t) in the formFootnote 12
and use the definition
By [23, Ch. VI, \(\S \)5, Th. XIV, p. 173], \((\,{\mathscr {D_{+}'}(\mathbb {R})}; +, *\,)\) is a commutative algebra without zero divisors, and \(\delta (t)\) is its identity.
1.12 A-12 A Remark on Initial Conditions for Differential Equations
Let \(P(z) = a_{n}z^{n} + \cdots + a_{0}z^{0}\) be a polynomial with coefficients in \(\mathbb {C}\), such that \(n\geqslant 1\) and \(a_{n}\ne 0\), and write it in the form:
where \(c \ne 0\) is a complex number, each \(s_{k}\in \mathbb {C},\) r and each \(q_{k}\) are natural numbers greater or equal to one.
For \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), take into account the differential equation:
in the unknown \(x(t)\in {\mathscr {D'}(\mathbb {R})}.\)
It is well known that the equation (7) has solutions, and that, if \(\xi (t)\) is a solution, the set of all the solutions is:
A condition \(\mathscr {C}(x(t))\), meaningful for every solution \(x(t)\in S(f)\), may be considered an initial condition for the equation (7) if the problem:
has a unique solution.
If \(f(t)\in {L^{1}_\mathrm{loc}(\mathbb {R})}\), it is well known that every solution x(t) of the equation (7) is in \({C^{\,n - 1}(\mathbb {R})}\). Moreover, for every \(t_{0}\in \mathbb {R}\), and every \(c_{0},\dots ,c_{n-1}\in \mathbb {C}\), the usual condition:
is meaningful for every \(x(t)\in S(f)\), and it is an existence and uniqueness condition for the equation (7).
Instead, for a generic \(f(t)\in {\mathscr {D'}(\mathbb {R})}\), the initial condition (8) is, in general, meaningless (there may be solutions \(x(t)\not \in {C^{\,n-1}(\mathbb {R})}\)). Other types of conditions may however play the role of existence and uniqueness condition. For instance:
-
if \(f(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\), then (as it is well known) the condition \(x(t)\in {\mathscr {D_{+}'}(\mathbb {R})}\) is an existence and uniqueness condition (it corresponds to the usual “condition of initial rest”);
-
if \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}, 1\leqslant p<\infty \), and P(z) has no zero on the complex imaginary axis, then the condition \(x(t)\in {\mathscr {\dot{D}'}_{L^{\infty }}(\mathbb {R})}\) is an existence and uniqueness condition (see [6, Theorem 1 and 3]);
-
if \(f(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}, 1\leqslant p \leqslant \infty \), and P(z) has no zero on the complex imaginary axis, then the condition \(x(t)\in {\mathscr {D'}_{L^{p}}(\mathbb {R})}\) is an existence and uniqueness condition (see Theorem 1 and 3 of Sect. 4);
-
if \(f(t)\in {L^{p}(\mathbb {R})}, 1\leqslant p \leqslant \infty \), and P(z) has no zero on the complex imaginary axis, then the condition \(x(t)\in {L^{p}(\mathbb {R})}\) is an existence and uniqueness condition (see Theorem 2 and 4 of Sect. 4).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ciampa, M. Continuous LTI Input–Output Stable Systems on \({L^{p}(\mathbb {R})}\) and \({\mathscr {D'}_{L^{p}}(\mathbb {R})}\) Associated with Differential Equations: Existence, Invertibility Conditions and Inversion. Circuits Syst Signal Process 40, 4301–4345 (2021). https://doi.org/10.1007/s00034-021-01689-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00034-021-01689-7