Abstract
Solving fractional relaxation equations requires precisely characterized domains of definition for applications of fractional differential and integral operators. Determining these domains has been a longstanding problem. Applications in physics and engineering typically require extension from domains of functions to domains of distributions. In this work convolution modules are constructed for given sets of distributions that generate distributional convolution algebras. Convolutional inversion of fractional equations leads to a broad class of multinomial Mittag-Leffler type distributions. A comprehensive asymptotic analysis of these is carried out. Combined with the module construction the asymptotic analysis yields domains of distributions, that guarantee existence and uniqueness of solutions to fractional differential equations. The mathematical results are applied to anomalous dielectric relaxation in glasses. An analytic expression for the frequency dependent dielectric susceptibility is applied to broadband spectra of glycerol. This application reveals a temperature independent and universal dynamical scaling exponent.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Applications of fractional calculus in physics [3, 5, 9, 21] and mathematics [16, 40, 49] are enjoying an undiminished surge of attention in recent years. Determining extended domains and parameter ranges for fractional operators is oftentimes the crucial step in advanced applications.
Modern interpretations of fractional derivatives and integrals have for many years centered around fractional powers of closed operators on Banach spaces [2, 12, 15, 17, 20, 47]. A paradigmatic class of closed operators for such studies are generators \(H=T'(0)\) of strongly continuous semigroups T(s). It is common [23, 45, 46] to use Marchaud’s interpretation [26] of fractional derivatives rewritten as
where T(s) is an equibounded semigroup (taken to be translation in [26]) with infinitesimal generator H on a Banach space X, \(f\in X\), \(m\in \mathbb {N},\alpha \in \mathbb {R}\), \(C_{\alpha ,m}\in \mathbb {R}\) is a norming constant, and the limit is taken in the norm topology. Other interpretations based on rewriting Cauchy’s integral formula with the help of resolvents are applicable to sectorial operators in Hilbert spaces [29]. Resolvents were also crucial in Balakrishnan’s celebrated interpretation [2]. Extending a commutative ring of complex-valued continuous functions to a field of ordered pairs representing convolution quotients provides a more algebraic interpretation of fractional calculus [13, 30, 48]. Mellin transform based interpretations of fractional powers of operators in Banach spaces are useful for extensions to purely imaginary powers [38, 44]
Distributional extensions of fractional calculus have received comparatively little attention, perhaps due to the fact that distribution spaces tend to be locally convex but not normable. Erdelyi [6] and McBride [28] have considered distributions on test functions with half-axis support, while the full real axis was considered in [22, 41]. In [27] Balakrishnan’s interpretation was extended abstractly to non-negative operators on locally convex spaces without, however, providing concrete spaces of distributions for applications.
Given the need for concretely characterized extended domains in applications a first step was taken in [18, 19] where fractional Weyl integrals have been interpreted as convolutions of Radon measures with continuous functions. Locally convex topologies generated by weighted supremum norms were identified such that a given set of convolution operators acts as an equicontinuous family of endomorphisms on certain weighted spaces of continuous functions [19]. Our objective in this work is to combine the benefits of our approach [18, 19] with those of Marchaud’s [26], with those of fractional powers [2, 12, 15, 17, 20, 47], with those of translation invariant distribution spaces [22, 41], and with the algebraic benefits of operational calculus [13, 30, 48]. Recall that in Marchaud’s interpretation [26] fractional derivatives with positive orders impose rather mild growth restrictions and are well defined also on bounded functions. In [22, 41], on the other hand, the domains are differentiation and translation invariant distribution spaces, but with rather strong growth restrictions. Abstract operational approaches [13, 30, 48] or fractional powers (with appropriate domain restrictions) [2, 12, 15, 17, 20, 47] automatically guarantee invertibility and the validity of algebraic relations between operators. Merging these benefits with the advantage of “maximal” domains for certain sets of integral operators on weighted spaces in [18, 19] has therefore been the objective of this work.
The result is an extended distributional translation invariant fractional calculus with the growth conditions as mild as possible while preserving composition laws. The calculus emerges naturally from a construction that associates a convolution module to any given convolution semigroup of distributions in such a way that the resulting module is the maximal distribution space with respect to simultaneous convolution of multiple distributions from the semigroup. Our calculus guarantees the invertibility of linear combinations of fractional derivatives on an appropriate domain that depends only on the asymptotic behaviour of the convolutional inverses at infinity. The approach is less abstract than algebraic approaches or fractional power approaches, but still has the benefits of the latter.
Results in this work are based on considering the convolution field of causal distributions \(\mathscr {F}_+\) generated by the convolution kernels of fractional integrals \(\mathrm {I}^\alpha _+\) and derivatives \(\mathrm {D}^\alpha _+\) which we denote as \(\mathrm {p}^{\alpha }_+\) and \(\mathrm {q}^{\alpha }_+\). In Sect. 3 we show using Neumann series, that the quotients from the field \(\mathscr {F}_+\) can be identified as linear combinations of a certain multiparameter family of distributions specified in Definition 2. A thorough study of their properties is carried out in Propositions 1 and 2. Multinomial Mittag-Leffler functions characterize their densities. In Sect. 4 an explicit analysis based on Hankel type integral representations (Theorem 2) serves to characterize the asymptotic behaviour of these distributions in Theorem 3. To the best of our knowledge this represents the most comprehensive asymptotic analysis of multinomial Mittag-Leffler distributions to date. For \(t\rightarrow +\infty \) they behave asymptotically as \(t^p\mathrm {e}^{at}\) with certain \(a,p\in \mathbb {R}\) (Theorem 4) leading to a classification into four types described in Theorem 5. The classification involves the set of singularities of the Laplace transforms given in Theorem 6 and induces four corresponding subalgebras of \(\mathscr {F}_+\) that are introduced in Definition 3.
The main results of the paper are derived from a new method to construct endomorphic domains of distributions for general families of convolution operators that is described in Sect. 6. Let A be a given set of distributions with the property that A generates a convolution algebra. A convolution module \((A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) of distributions is introduced in Definition 5 such that A operates linearly and associatively on \((A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) as described in Theorem 8. The distributions belonging to \((A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) are characterized in Theorem 9. The key for this construction is the notion of convolutes and convolvability of pairs and tuples of distributions (see Refs. [43, p. 2], [34, Definition 5]).
The module construction from Definition 3 is then applied to the subalgebras of \(\mathscr {F}_+\) in Theorem 10 of Sect. 7. Characterizations of the resulting modules are obtained from the asymptotic results in Sect. 4 and Theorem 9. Conclusions are drawn in Sect. 8 such as existence and uniqueness of solutions for translation invariant fractional linear response equations on certain spaces of distributions. Fractional derivatives are seen to be well behaved on a space of distributions \(\mathscr {D}^\prime _{L^1(Q_-)}\) that contains all distributions that are bounded on the left half axis. In this way the index law for fractional derivatives is extended to a distribution space considerably larger than those in previous approaches, because associativity holds for the convolution module \(\mathscr {D}^\prime _{L^1(Q_-)}\) over the algebra generated by \(\mathrm {q}^{\alpha }_+\), \(\alpha \in \mathbb {R}_+\).
The mathematical results are applied in Sect. 9 to the longstanding problem of anomalous dielectric relaxation in supercooled liquids and glass formers. The domain \(\mathscr {D}^\prime _{L^1(Q_-)}\) is found to be well adapted for the solution of fractional relaxation problems as linear response equations, because the reverse Heaviside function \(\varTheta _-\) and periodic distributions, such as \(\mathrm {e}^{\mathrm {i}\omega }\), \(\omega \in \mathbb {R}\), both belong to \(\mathscr {D}^\prime _{L^1(Q_-)}\). This permits to view dielectric relaxation processes, described by fractional initial value problems on \(\mathbb {R}_+\), and the response to periodic excitations, described by Fourier multipliers on \(\mathbb {R}\), as resulting from a single translation invariant linear differential equation on \(\mathbb {R}\).
2 Notations
The sets of natural, integer, real and complex numbers are \(\mathbb {N}=\{0,1,\dots \}\), \(\mathbb {Z}\), \(\mathbb {R}\), \(\mathbb {C}\), as usual. The notations \(\mathbb {C}_{\ne 0}=\mathbb {C}\setminus \{0\}\), \(\mathbb {R}_+=\{x\in \mathbb {R}:x>0\}\), \(\overline{\mathbb {R}}_+=[0,+\infty ]\), and \(\mathbb {H}:=\mathbb {H}_0\) are used, where \(\mathbb {H}_\sigma :=\{z\in \mathbb {C}:\mathfrak {R}z>\sigma \}\) is a complex half plane. The symbol \(\mathbb {L}\) denotes the Riemann surface of the logarithm. Closed annuli and sectors in \(\mathbb {L}\) are denoted as
for \(0\le r\le R\le \infty \) and \(\theta \in \mathbb {R}_+\). The Hankel loop \(\mathrm {H}(r;\theta )\) with parameters \(r,\theta \in \mathbb {R}_+\) is the piecewise smooth path \(\eta _{r;\theta }:\mathbb {R}\rightarrow \mathbb {L}\) that encircles the domain \(\mathbb {L}\setminus \mathbb {AS}(r,+\infty ;\theta )\) counter clockwise with speed 1 and fulfills \(\eta _{r;\theta }(0)=r\).
The inverse \({\widetilde{\exp }}:\mathbb {C}\rightarrow \mathbb {L}\) of the logarithm is an injective variant of the exponential function. Any \(\zeta \in \mathbb {L}\) can be written as \(\zeta =r\widetilde{\mathrm {e}}^{\mathrm {i}\phi }\) with unique \(r\in \mathbb {R}_+\) and \(\phi \in \mathbb {R}\). Multiplication and exponentiation in \(\mathbb {L}\) are given by the formulas
with \(\mathfrak {R}\) and \(\mathfrak {I}\) denoting real and imaginary parts. The exponential laws
hold for all \(\zeta ,\xi \in \mathbb {L},\,\alpha ,\beta \in \mathbb {C}\). The canonical projection \(\mathbb {L}\rightarrow \mathbb {C}_{\ne 0}\subseteq \mathbb {C}\), \(r\widetilde{\mathrm {e}}^{\mathrm {i}\phi }\mapsto r\mathrm {e}^{\mathrm {i}\phi }\), corresponds to the quotient mapping \(\phi \mapsto \phi +2\pi \mathbb {Z}\). Numbers \(\zeta \in \mathbb {L}\) occuring as summands, or multiplied by a number \(z\in \mathbb {C}\), are implicitly converted to numbers from \(\mathbb {C}\). Real part, imaginary part and absolute value are defined similarly, but the argument of \(\zeta =r\widetilde{\mathrm {e}}^{\mathrm {i}\phi }\in \mathbb {L}\) is \(\arg \zeta =\phi \). With these conventions, the functions
are well-defined as meromorphic functions on \(\mathbb {L}\) for parameters \(n,m\in \mathbb {N}\), \(\alpha ,\lambda \in \mathbb {C}^n\), \(\beta ,\mu \in \mathbb {C}^m\) with \(m\ne 0\) and \(\mu _1,\dots ,\mu _m\ne 0\). Here, if x is a scalar, \(y=(y_1,\dots ,y_n)\) and \(z=(z_1,\dots ,z_n)\) (\(n\in \mathbb {N}\)), then the shorthand notations \(xy=(xy_1,\dots ,xy_n)\), \(x^y=(x^{y_1},\dots ,x^{y_n})\), \(yz=(y_1z_1,\dots ,y_nz_n)\), \(y^z=(y_1^{z_1},\dots ,y_n^{z_n})\), \(\Sigma y:=y_1+\dots +y_n\) and \(\Pi y:=y_1\cdots y_n\) are used for products, powers and sums. Multinomial coefficients are denoted as
for all \(p\in \mathbb {N}^n\). In our notation the multinomial formula reads as
with sum range \(p\in \mathbb {N}^n\) for all \(\lambda \in \mathbb {C}^n\) and \(q\in \mathbb {N}\).
Except for Sect. 7 all function spaces consist of functions on \(\mathbb {R}\). The function spaces of interest are
and the space of distributions is denoted \(\mathscr {D}^\prime \). The compactly supported, tempered and integrable distributions are denoted by \(\mathscr {E}^\prime \), \(\mathscr {S}^\prime \) and \(\mathscr {D}^\prime _{L^1}\) [36, 42]. A subscript “\(+\)”, as in \(\mathscr {I}_+\), \(L^1_{\mathrm{loc},+}\), \(\mathscr {C}^{m}_+\) and \(\mathscr {D}^\prime _+\), indicates spaces of functions or distributions with support bounded on the left. The space of convolutors and multipliers is denoted by \(\mathscr {O}^\prime _C\), and \(\mathscr {O}_M\) [14, 42]. The space \(\mathscr {O}^\prime _C\) is characterized as the set of distributions such that \(\phi *\mathscr {O}^\prime _C\in \mathscr {S}\) for all test functions \(\phi \). Topological statements for locally convex spaces will always refer to the usual strong topologies.
Inverses with respect to convolution in \((\mathscr {D}^\prime _+,+,*)\) will be denoted as \((-)^{*-1}\). The notion of fractions will be extended to “convolution quotients” \(u/v=u*(v)^{*-1}\) for \(u,v\in \mathscr {D}^\prime _+\) whenever v invertible and the meaning is clear from the context.
3 The field generated by causal power distributions
Definition 1
The causal power distribution \(\mathrm {p}^{\alpha }_+\) of index \(\alpha \in \mathbb {C}\) is given by
where \(\mathrm {D}^{m}\) denotes the m-th distibutional derivative [7, 36]. The inverse of \(\mathrm {p}^{\alpha }_+\) with respect to convolution is denoted as \(\mathrm {q}^{\alpha }_+:=(\mathrm {p}^{\alpha }_+)^{*-1}\). Further, define the sets
The goal of this section is to prove that the convolution subgroup \(\mathscr {P}_+\) of \(\mathscr {D}^\prime _+\), that consists of the causal power distributions with real indices, generates a field \(\mathscr {F}_+=(\mathbb {C}(\mathscr {P}_+),+,*)\). This is achieved using the Neumann series method to calculate the inverses of \(\mathbb {C}[\mathscr {P}_+]\setminus \{0\}\) within \((\mathscr {D}^\prime _+,+,*)\). Representations for these inverses are given in terms of generalized multivariate Mittag-Leffler functions. The inverses are shown to be analytic in indices and prefactors.
A causal power distribution fulfills \({\text {supp}}\mathrm {p}^{\alpha }_+=\{0\}\) if and only if \(\alpha \in -\mathbb {N}\), and then \(\mathrm {p}^{-m}_+=\mathrm {D}^{m}\updelta \) where \(\updelta \) is the Dirac-distribution. Otherwise \({\text {supp}}\mathrm {p}^{\alpha }_+=[0,+\infty )\). For example, \(\mathrm {p}^{1}_+=\varTheta _+\) is just the Heaviside function. The index law holds, which reads
and entails that \(\mathrm {q}^{\alpha }_+=(\mathrm {p}^{\alpha }_+)^{*-1}=\mathrm {p}^{-\alpha }_+\). As a conclusion, \(\mathscr {P}_+\) and \(\mathscr {P}^\mathbb {C}_+\) are convolution groups and \(\mathscr {Q}_+\) and \(\mathscr {Q}^\mathbb {H}_+\) are convolution semigroups contained in \(\mathscr {D}^\prime _+\). The subgroup \(\{\mathrm {p}^{k}_+:k\in \mathbb {Z}\}\subseteq \mathscr {P}_+\) is just the group of differentiation and formation of the unique primitive with support bounded on the left.
The mappings \(\mathrm {I}^{\alpha }_+:u\mapsto \mathrm {p}^{\alpha }_+*u\) and \(\mathrm {D}^{\alpha }_+:u\mapsto \mathrm {q}^{\alpha }_+*u\) are understood as fractional integration and differentiation operators. Due to the fact that \((\mathscr {D}^\prime _+,+,*)\) is a commutative, associative and hypo-continuous convolution algebra, see [42, Ch. VI, §5], \(\mathrm {I}^{\alpha }_+\) and \(\mathrm {D}^{\alpha }_+\) are well-defined continuous linear operators \(\mathscr {D}^\prime _+\rightarrow \mathscr {D}^\prime _+\) that are bijective and fulfill the index laws \(\mathrm {I}^{\alpha }_+\circ \mathrm {I}^{\beta }_+=\mathrm {I}^{\alpha +\beta }_+\) and \(\mathrm {D}^{\alpha }_+\circ \mathrm {D}^{\beta }_+=\mathrm {D}^{\alpha +\beta }_+\) for all \(\alpha ,\beta \in \mathbb {C}\). These are the essentials of Schwartz’ approach to fractional calculus [42].
The convolution algebra \((\mathbb {C}[\mathscr {P}^\mathbb {C}_+],+,*)\) of all linear combinations of causal power distributions is now considered as a subalgebra of \((\mathscr {D}^\prime _+,+,*)\). It natural to ask which of the distributions \(\Sigma \lambda \mathrm {p}^{\alpha }_+\ne 0\) are invertible as elements of \((\mathscr {D}^\prime _+,+,*)\) which has no zero divisors [42]. This is an open problem for general indices \(\alpha \in \mathbb {C}^n\). Using the Neumann series method, as in [33], the inverses of \(\mathrm {p}^{-\gamma }_+*(\updelta -\Sigma \lambda \mathrm {p}^{\alpha }_+)\) are calculated in the following when \((\alpha ,\gamma ,\lambda )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\), \(n\in \mathbb {N}\). Strong analyticity in the parameters \((\alpha ,\gamma ,\lambda )\) is proved, which supplements previous investigations.
Definition 2
For \(n\in \mathbb {N}\), \((\alpha ,\gamma ,\lambda )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) define the distribution
It is intended that \(\mathrm {F}^{\emptyset ;\gamma }_{\emptyset ;+}=\mathrm {p}^{\gamma }_+\) when \(n=0\) and one denotes \(\mathrm {F}^{\alpha }_{\lambda ;+}:=\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\).
The restriction of the distribution \(\mathrm {p}^{\alpha }_+\), \(\alpha \in \mathbb {C}\) to \((0,+\infty )\) has an analytic density that extends to \(\mathbb {L}\) by the formula \(\xi \mapsto \mathrm {p}^{\alpha }_+(\xi )=\xi ^{\alpha -1}/\Gamma (\alpha )\). Considering (11) as a series of analytic functions on \(\mathbb {L}\) leads to the multinomial Mittag-Leffler function of index \((\alpha ,\gamma )\) [13, 24, eq. (29)] which is defined by the power series
and defines an entire function.
Proposition 1
Let \(n\in \mathbb {N}\), \(K\subseteq \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) compact, \(\phi \in \mathbb {R}\) and \(r,R,\theta \in \mathbb {R}_+\) with \(r\le R\). The restriction of \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) to \((0,+\infty )\) has a Lebesgue density \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}(t)\), \(t\in (0,+\infty )\). The density \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) has an analytic extension to \(\mathbb {L}\) that is described by the formulas
The series (13a) converges uniformly in \((\xi ,\alpha ,\gamma ,\lambda )\in \mathbb {AS}(r,R;\theta )\times K\). Up to a finite number of summands the series convergences uniformly even on \(\mathbb {AS}(0,R;\theta )\times K\).
Proof
Formally, the equations (13) are obtained by replacing z with \(\lambda \xi ^\alpha \in \mathbb {L}{}^n\). In order to prove the uniform convergence statements one uses that
and that for any \(R^\prime \in \mathbb {R}_+\), \(\theta ^\prime \in [0,\pi /2)\) there exist \(a,C\in \mathbb {R}_+\) such that
With these inequalities the statements on convergence are seen to be consequences of the fact that \(\mathrm {E}_{\alpha ;\gamma }\) is entire and that K is compact. \(\square \)
The mapping \(\mathbb {L}\times \mathbb {C}\rightarrow \mathbb {C}:(\xi ,\alpha )\mapsto \mathrm {p}^{\alpha }_+(\xi )\) is analytic. Further, the assignment \(\alpha \mapsto \mathrm {q}^{\alpha }_+\) is analytic as a mapping \(\mathbb {C}\rightarrow \mathscr {D}^\prime _+\), \(\mathbb {H}\rightarrow L^1_{\mathrm{loc},+}\) and \(\mathbb {H}_{m+1}\rightarrow \mathscr {C}^{m}_+\), \(m\in \mathbb {N}\). Similarly, for the functions \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\), one obtains the following Proposition. For Definitions of analyticity see [36] and referencies therein. For absolute convergence in locally convex spaces see [37].
Proposition 2
The series (11) converges absolutely in \(\mathscr {D}^\prime _+\). The convergence is uniform in the parameters \((\alpha ,\gamma ,\lambda )\in K\) for any compact \(K\subseteq \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\), \(n\in \mathbb {N}\).
If \(\mathfrak {R}\gamma >0\), then \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) has a Lebesgue density and (11) converges absolutely and uniformly in \(L^1_{\mathrm{loc},+}\) for \((\alpha ,\gamma ,\lambda )\in K\) with \(K\subseteq \mathbb {H}^n\times \mathbb {H}\times \mathbb {C}^n\) compact.
If \(\mathfrak {R}\gamma >m+1\), \(m\in \mathbb {N}\) then \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) has a density that is m-times continuously differentiable and (11) converges absolutely and uniformly in \(\mathscr {C}^{m}_+\) for \((\alpha ,\gamma ,\lambda )\in K\) with \(K\subseteq \mathbb {H}^n\times \mathbb {H}_{m+1}\times \mathbb {C}^n\) compact.
The assignment \((\alpha ,\gamma ,\lambda )\mapsto \mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) is analytic as a mapping \(\mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\rightarrow \mathscr {D}^\prime _+\), \(\mathbb {H}^n\times \mathbb {H}\times \mathbb {C}^n\rightarrow L^1_{\mathrm{loc},+}\) or \(\mathbb {H}^n\times \mathbb {H}_{m+1}\times \mathbb {C}^n\rightarrow \mathscr {C}^{m}_+\).
Proof
The main argument of the proof is that series of analytic functions that converge absolutely on compact sets produce analytic functions and that continous linear mappings preserve absolute convergence. It holds that \(\mathrm {D}^m\mathrm {p}^{\beta }_+=\mathrm {p}^{\beta -m}_+\) in the \(\mathscr {C}^{m}\)-sense whenever \(m\in \mathbb {N}\) and \(\beta \in \mathbb {H}_{m+1}\). Therefore, an application of Theorem 1 yields absolute and uniform convergence of (11) in \(\mathscr {C}^{m}_+\) for \(K\subseteq \mathbb {H}^n\times \mathbb {H}_{m+1}\times \mathbb {C}^n\) and thus analyticity of \((\alpha ,\gamma ,\lambda )\mapsto \mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}\) as a mapping \(\mathbb {H}^n\times \mathbb {H}_{m+1}\times \mathbb {C}^n\rightarrow \mathscr {C}^{m}_+\).
The canonical inclusions \(\mathscr {C}_+\rightarrow L^1_{\mathrm{loc},+}\rightarrow \mathscr {D}^\prime _+\) are continuous and the distributional derivative is a continuous linear operation on \(\mathscr {D}^\prime _+\) that coincides with the classical derivative for \(\mathscr {C}^{m}\)-functions. Therefore, the last statement of Theorem 1 implies the analogous statements for \(K\subseteq \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) and \(\mathscr {D}^\prime _+\) instead of \(\mathscr {C}^{m}_+\). Finally, using that \(\mathrm {p}^{\beta }_+\in L^1_{\mathrm{loc},+}\) whenever \(\mathfrak {R}\beta >0\) one obtains the analogous statements for \(L^1_{\mathrm{loc},+}\) when \(K\subseteq \mathbb {H}^n\times \mathbb {H}\times \mathbb {C}^n\). \(\square \)
Proposition 3
Let \(n\in \mathbb {N}\) and \((\alpha ,\gamma ,\lambda )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\). It holds that
Proof
Using (6) and (10) in the absolutely convergent series (11) one obtains
Now the right hand side is recognized as a Neumann type series. \(\square \)
As a consequence of this Proposition “convolution quotients” \((\Sigma \lambda \mathrm {p}^{\alpha }_+)/(\Sigma \mu \mathrm {p}^{\beta }_+)\) with \(\alpha \in \mathbb {R}^n\), \(\beta _1<\cdots <\beta _m\), \(\lambda \in \mathbb {C}^n\), \(\mu \in \mathbb {C}^m\), \(n,m\in \mathbb {N}\) such that \(\mu _1\ne 0\) are well defined and can be rewritten as
where \(\gamma _k:=\alpha _k-\beta _1\), \(\eta _k:=\lambda _k/\mu _1\), \(k=1,\dots ,n\), \(\delta _l:=\beta _{l+1}-\beta _1\), \(\kappa _l:=-\mu _{l+1}/\mu _1\), \(l=1,\dots ,m-1\). This proves the main result of this section:
Theorem 1
The set of causal power distributions with real indices \(\mathscr {P}_+\) generates the fieldFootnote 1\(\mathscr {F}_+:=(\mathbb {C}(\mathscr {P}_+),+,*)\) which consists of all quotients of the form (16). The field \(\mathscr {F}_+\) is isomorphic to the quotient field of the ring \(\mathbb {C}[\mathscr {P}_+]\).
4 Asymptotic expansions of convolution quotients
The asymptotics of the function \(\mathrm {F}^{\alpha ;\gamma }_{\lambda ;+}(t)\) for \(t\searrow 0\) can be conveniently described in terms of \((\alpha ,\gamma ,\lambda )\) using the power series representation (13a). The asymptotics for \(t\rightarrow +\infty \) can be derived from the Hankel type loop integral representation under a mild restriction on the parameters \((\alpha ,\gamma ,\lambda )\) and are more conveniently expressed in terms of dual parameters. A tuple \((\alpha ,\gamma ,\lambda )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) is said to possess a dominant order index if there exists \(l\in \{1,\dots ,n\}\) such that \(\mathfrak {R}\alpha _l>\mathfrak {R}\alpha _k\) for \(k=1,\dots ,n\), \(k\ne l\) and \(\mu _l\ne 0\). Without restrictions it can and will be assumed that \(l=n\). For real \(\alpha \) the assumptions \(0<\alpha _1<\dots <\alpha _n\), \(\lambda _n\ne 0\) guarantee that \((\alpha ,\gamma ,\lambda )\) has a dominant order index.
The dual parameters \((\alpha ,\gamma ,\lambda )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) associated to any \((\beta ,\delta ,\mu )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) with dominant order index are defined as
With these parameters the distribution \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) is defined as
Hankels’ loop integral formula for the reciprocal of the Gamma function can be transformed, by means of the substitution \(\zeta \mapsto \xi \zeta \), into the elegant formula
where \(r\in \mathbb {R}_+\) and the angle \(\theta ^\prime \in \mathbb {R}_+\) satisfies the condition
Theorem 2
Let \(n\in \mathbb {N}\), \((\beta ,\delta ,\mu )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) with dominant order index, \((\alpha ,\gamma ,\lambda )\) the dual parameters to \((\beta ,\delta ,\mu )\) and \(\theta \in (\pi /2,3\pi /2)\). Let \(r,\theta ^\prime \in \mathbb {R}_+\) satisfy (20) and
The function \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}(\xi )\) is described by the contour integral
Proof
Equation (19) is inserted into (13a). The condition (21) guarantees that exchanging the order of summation and integration is permitted because it implies that \(|\mu \zeta ^\beta |<1\) if \(|\zeta |\ge r\). Recognizing a geometric series as in (15) one arrives at
Inserting here the dual parameters according to Eq. (17) yields (22). \(\square \)
In the following, the roots of \(1-\Sigma \mu \zeta ^\beta \) are denoted as
For \(\zeta _0\in \mathbb {L}\), \(m^\beta _\mu (\zeta _0)\) will denote the greatest \(m\in \mathbb {N}\) with the property that
that means \(m^\beta _\mu (\zeta _0)\) is the multiplicity of the root \(\zeta _0\) of \(1-\Sigma \mu \zeta ^\beta \).
Theorem 3
Let n, \((\beta ,\delta ,\mu )\) and \(r,\theta ,\theta ^\prime \) be as in Theorem 2. In addition, let \(p\in \mathbb {R}\) and assume \(\theta \notin \arg \mathrm {Z}^{\beta }_{\mu }\). The function \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) can be decomposed as
The \(\theta \)-exponential part \(\mathrm {E}_{\theta }\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) with \(\theta \in \mathbb {R}_+\) is defined as
The p-negative-power part \(\mathrm {P}^{p}\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) with \(p\in \mathbb {R}\) is defined as
The \((p,\theta )\)-residual part \(\mathrm {R}^{p}_{\theta }\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) with \((p,\theta )\in \mathbb {R}\times (\pi /2,3\pi /2)\setminus \arg \mathrm {Z}^{\beta }_{\mu }\) is
Given \(r^\prime \in \mathbb {R}_+\) one finds \(C<\infty \) such that the \((p,\theta )\)-residual part satisfies
Proof
The function \((1-\Sigma \mu \zeta ^\beta )^{-1}\) can be expanded in complex powers of \(\zeta \) in two ways:
where \(\widetilde{\rho }^{\beta }_{\mu ;m}(\zeta ) :=[\Sigma \mu \zeta ^\beta ]^m/(1-\Sigma \mu \zeta ^\beta )\) for \(m\in \mathbb {N}\). Inserting (31a) into (22) decomposes the function \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}(\xi )\) into the p-negative-power part (28) and the loop integral of \(\mathrm {e}^{\xi \zeta }\zeta ^\delta \rho ^{\beta ;\delta }_{\mu ;p}(\zeta )\) over \(\zeta \in \mathrm {H}(r;\theta )\). The limit for \(r\searrow 0\) of the latter is well defined. Its value is constant with the exception of a finite number of jumps, because the function \(1-\Sigma \mu \zeta ^\beta \) has only a finite number of zeros in the sector \(\mathbb {S}(\theta ^{\prime \prime })\) for every \(\theta ^{\prime \prime }\in \mathbb {R}_+\). The singularities that are crossed by the loop \(\mathrm {H}(r;\theta )\) within the limit process are taken into account via the residue theorem. Calculating the arising residues using Leibniz’ rule yields the \(\theta \)-exponential part (27). The limit of loop integrals is just the \((p,\theta )\)-residual part (29a) and the proof of the decomposition (26) is complete.
It remains to prove the estimate (30). For sufficiently large m, the difference \(\rho ^{\beta ;\delta }_{\mu ;p}(\zeta )-\widetilde{\rho }^{\beta }_{\mu ;m}(\zeta )\) is a finite linear combination of complex powers \(\zeta ^\gamma \) with \(\mathfrak {R}\gamma >p\). Therefore, using (19), the absolute value of the loop integral of \(\mathrm {e}^{\xi \zeta }\zeta ^\delta (\rho ^{\beta ;\delta }_{\mu ;p}(\zeta ) -\widetilde{\rho }^{\beta }_{\mu ;m}(\zeta ))\) is found to be bounded by \(C^\prime |\xi |^{-p-1}\) for all \(\xi \in \mathbb {AS}(r^\prime ,+\infty ;\theta ^\prime )\) with \(C^\prime <\infty \). Therefore, it suffices to estimate the loop integral of \(\mathrm {e}^{\xi \zeta }\zeta ^\delta \widetilde{\rho }^{\beta }_{\mu ;m}(\zeta )\) for some arbitrary but fixed \(m\in \mathbb {N}\) instead.
Choosing m large enough guarantees that \(\zeta ^\delta \widetilde{\rho }^{\beta }_{\mu ;m}(\zeta )\) remains bounded for \(|\zeta |\rightarrow 0\). Then the limit of loop integrals can be understood as an absolutely convergent integral over the limit contour \(\mathrm {H}(0+;\theta )\). Substituting \(\zeta \mapsto a_\xi \cdot \zeta \), where \(a_\xi :=r^\prime /|\xi |\le 1\), one obtains
Finding a \(\xi \)-independent finite upper bound for the integral in the last equation will finish the proof. First, the absolute value \(|(1-\Sigma \mu \zeta ^\beta )^{-1}|\) remains bounded for \(\zeta \in \mathrm {H}(0+;\theta )\) because the function is continuous, finite-valued, due to \(\theta \notin \arg \mathrm {Z}^{\beta }_{\mu }\), and tends to zero for \(|\zeta |\rightarrow 0\) uniformly on any sector \(\mathbb {S}(\theta ^{\prime \prime })\). Now, because \(a_\xi \le 1\) and \(\mathfrak {R}(\xi \zeta /|\xi \zeta |)\le \sin (\theta -\theta ^\prime )<0\), it suffices to find a polynomial in \(R\in \mathbb {R}_+\) that is an upper bound for the function
Using that \(R^b\le R^a+R^c\) for all \(R\in \mathbb {R}_+\), \(a,b,c\in \mathbb {R}\) with \(a\le b\le c\) and the monotonicity of \(\mathbb {R}_+\ni R\mapsto R^a\) for \(a\in \{0\}\cup \mathbb {R}_+\) one obtains
for all \(\zeta =s\mathrm {e}^{\pm \mathrm {i}\theta }\), \(s\in (0,R]\) where \(b_+:=\max \mathfrak {R}\beta \), \(b_-:=\min \mathfrak {R}\beta \) and \(C^{\prime \prime }<\infty \). Using (34) and Euler’s integral formula for the Gamma function one estimates
This expression is independent of \(\xi \). Combining (32) and (35) yields (30). \(\square \)
Remark 1
In the case where \(\beta \) consists of integers the function \(1-\Sigma \mu \zeta ^\beta \) can be interpreted as a meromorphic function on \(\mathbb {C}\). If, in addition, \(\delta \in \mathbb {N}\) then the loop in (22) can be deformed into a closed loop that encircles the zeros of \(1-\Sigma \mu \zeta ^\beta \) in \(\mathbb {C}\). Therefore, one obtains \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}=\mathrm {E}_{\pi }\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) and \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) is a finite sum of distributions of the form \(\mathrm {p}^{k}_+\cdot \mathrm {e}^{at}\) with \(k\in \mathbb {N}_1\), \(a\in \mathbb {C}\). This coincides with the well known formula for the causal fundamental solution of integer order differential equations on the real line.
Remark 2
In the case where \(|\arg \mathrm {Z}^{\beta }_{\mu }|>\pi /2\) one can choose \(\theta \) such that \(|\arg \mathrm {Z}^{\beta }_{\mu }|>\theta \). Here and in the following, for subsets \( Z \subseteq \mathbb {L}\) and \( \phi \in \mathbb {R}_+\), the notation \( | \arg Z | > \phi \) always means that \( | \zeta | > \phi \) for all \( \zeta \in Z \). Then the \(\theta \)-exponential part vanishes and it holds \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}=\mathrm {P}^{p}\mathrm {G}^{\beta ;\delta }_{\mu ;+} +\mathrm {R}^{p}_{\theta }\mathrm {G}^{\beta ;\delta }_{\mu ;+}\). The limit operation \(r\searrow 0\) in (29a) is superflous in this case and the loop integral is independent of \(r\in \mathbb {R}_+\). If, in addition, \(\mathfrak {R}\delta >-1\) the loop \(\mathrm {H}(r;\theta )\) can be replaced by the limit loop \(\mathrm {H}(0+;\theta )\). Note, that with p chosen small enough, it holds \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}=\mathrm {R}^{p}_{\theta }\mathrm {G}^{\beta ;\delta }_{\mu ;+}\).
5 Subalgebras of \(\mathscr {F}_+\) characterized by asymptotics
Using Theorem 3 one obtains a characterization of the leading terms for \(t\rightarrow +\infty \). Let \(f,g:\mathbb {R}\rightarrow \mathbb {C}\). The expressions “\(f(t)\preceq g(t)\) for \(t\rightarrow +\infty \)” respectively “\(f(t)\prec g(t)\) for \(t\rightarrow +\infty \)” will be used to denote the asymptotic statements
The expression “\(f(t)\sim g(t)\) for \(t\rightarrow +\infty \)” is defined as “\(f(t)-g(t)\prec g(t)~\text {for}~t\rightarrow +\infty \)” and means that f(t) and g(t) are asymptotically equivalent for \(t\rightarrow +\infty \). A trigonometric log-polynomial is a function g of the form
For distinct tuples \((b_k,\omega _k)\) the coefficients c are uniquely determined by g(t). Evaluating now Theorem 3 for \(t>0\) one obtains the following asymptotic characterizations:
Theorem 4
Let \(n\in \mathbb {N}\) and \((\beta ,\delta ,\mu )\in \mathbb {H}^n\times \mathbb {C}\times \mathbb {C}^n\) with dominant order index. Let \(a^{\beta ;\delta }_\mu \) denote the smallest \(a\in \mathbb {R}\) with the property that for some \(p\in \mathbb {R}\) it holds
Let \(p^{\beta ;\delta }_\mu \) denote the smallest \(p\in \mathbb {R}\) such that (38) holds with \(a=a^{\beta ;\delta }_\mu \).
If \((\beta ,\delta )\in \mathbb {N}^n\times \mathbb {N}\) or there exists \(\zeta _0\in \mathrm {Z}^{\beta }_{\mu }\) with \(|\arg \zeta _0|\le \pi /2\), then
Otherwise, it holds \(a^{\beta ;\delta }_\mu =0\) and
There exists a unique non-zero trigonometric log-polynomial \(g^{\beta ;\delta }_\mu (t)\) such that
If \(\beta \) and \(\delta \) are real, then \(g^{\beta ;\delta }_\mu (t)\) is a trigonometric polynomial.
Lemma 1
Let u be a distribution that is regular on \((0,+\infty )\).
-
1.
For any \(a,p\in \mathbb {R}\) and \(\eta \in \mathscr {D}\) it holds that
$$\begin{aligned}&u(t)\preceq t^p\mathrm {e}^{at}~\text {for}~t\rightarrow +\infty\Rightarrow & {} (\eta *u)(t)\preceq t^p\mathrm {e}^{a t}~\text {for}~t\rightarrow +\infty . \end{aligned}$$(42)The same implication holds with \(\preceq \) replaced by \(\prec \).
-
2.
Let \(a,p\in \mathbb {R}\) and g a non-zero trigonometric polynomial and assume
$$\begin{aligned}&u(t)\sim t^{p}\mathrm {e}^{at}g(t)&\text {for}~t\rightarrow +\infty . \end{aligned}$$(43a)Then one finds \(\phi _1,\dots ,\phi _n\in \mathscr {D}\), \(n\in \mathbb {N}\) with the property that
$$\begin{aligned} |\phi _1*u|(t)+\cdots +|\phi _n*u|(t)\succeq t^{p}\mathrm {e}^{at}&\text {for}~t\rightarrow +\infty . \end{aligned}$$(43b)
Proof
Part 1: For real numbers \(a,p\ge 0\) and \(H\in \mathbb {R}_+\) one estimates
for all \(t\in \mathbb {R}_+\), \(0\le h\le H\). For \(a,p\le 0\) reverse these inequalities. Then (42) is proved using (44) and an estimate of the form \(\left|\int ^\infty _0\eta (s)f(s)\,\mathrm {d}s\right| \le \int |\eta (s)|\,\mathrm {d}s\cdot \sup _{s\in [t,t+H]}|f(s)|\).
Part 2: Let \(\lambda \in \mathbb {R}_+\) be \(\le \) the smallest non-zero quarter wave length of the summands of g. Then let \(\phi \in \mathscr {D}\) be positive, non-zero with support in \([0,\lambda ]\). Due to (44) the inequality (43b) can be satisfied by choosing the \(\phi _1,\dots ,\phi _n\) as suitable translates of \(\phi \). \(\square \)
Theorem 5
Let \(n\in \mathbb {N}\) and \((\beta ,\delta ,\mu )\in \mathbb {R}_+^n\times \mathbb {R}\times \mathbb {C}^n\).
-
1.
It holds that \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\in \mathscr {S}^\prime \) iff \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |\ge \pi /2\).
-
2.
It holds that \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\in \mathscr {D}^\prime _{L^1}\) iff \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\) and \(\delta \ge 0\).
-
3.
It holds that \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\in \mathscr {O}^\prime _C\) iff \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\) and \(\beta ,\delta \) are integer.
Proof
Let \(u:=\mathrm {G}^{\beta ;\delta }_{\mu ;+}\). Due to analogy it suffices to prove Part 1.
If \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |\ge \pi /2\), then Theorem 4 and Lemma 1.1 imply that for \(\phi \in \mathscr {D}\) one finds \(n\in \mathbb {N}\) such that \(|u*\phi |(t)\preceq t^n\) for \(t\rightarrow +\infty \). Combining this with the fact that \(|u*\phi |\) is a continuous function that vanishes for all \(t\le T\) for some fixed \(T\in \mathbb {R}\) implies that \(|u*\phi |\) is dominated by some polynomial on all of \(\mathbb {R}\).
Assume that \(u\in \mathscr {S}^\prime \), but that \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |<\pi /2\). The assumption \(u\in \mathscr {S}^\prime \) implies that \(|\phi *u|\) is bounded by a polynomial and thus a finite sum of such terms is bounded by a polynomial. According to Theorem 4 and Lemma 1.2 one finds \(\phi _1,\dots ,\phi _n\in \mathscr {D}\), \(n\in \mathbb {N}\) such that (43b) holds with \(a>0\). This is a contradiction. \(\square \)
The next Theorem provides the Laplace transforms of elements from \(\mathscr {F}_+\). For basic definitions and results for the Laplace transform \(\mathfrak {L}\), see [50, p.255,Eq.(2)]. The Fourier transform \(\mathfrak {F}u(\omega )\) of a distribution \(u\in \mathscr {D}^\prime _{L^1}\) is point-wise defined as \(\mathfrak {F}u(\omega )={\langle u,\mathrm {e}^{\mathrm {i}\omega t}\rangle }_1\) for all \(\omega \in \mathbb {R}\) [36, Proposition 1.6.6 (2)] where \({\langle \cdot ,\cdot \rangle }_1\) denotes the pairing \(\mathscr {D}^\prime _{L^1}\times \mathscr {B}\rightarrow \mathbb {C}\) (see Section 6). The pairing \(\mathscr {S}^\prime \times \mathscr {S}\rightarrow \mathbb {C}\) is denoted by \({\langle \cdot ,\cdot \rangle }_\mathrm {s}\) and \({\langle \cdot ,\cdot \rangle }_\mathscr {L}\) is defined as in [50, p.255,eq.(3)]. The following Lemma connects Fourier and Laplace transforms.
Lemma 2
For \(u\in \mathscr {D}^\prime _{L^1}\cap \mathscr {D}^\prime _+\) and \(f\in \mathscr {B}\) it holds that \(\lim _{\kappa \searrow 0}{\langle u,\mathrm {e}^{-\kappa t}f\rangle }_\mathscr {L}={\langle u,f\rangle }_1\).
Proof
Let \(\chi \) be a smooth function with \(\chi (t)=1\) for \(t\ge 0\) and support bounded on the left. Then it follows that
The first equality follows from the Definition. For the second equality see [4, p. 186]. The third equality follows because \(\mathrm {e}^{-\kappa t}f\chi \rightarrow f\chi \) in \(\mathscr {B}\) for \(\kappa \searrow 0\). The fourth equality follows from \(\chi \in \mathscr {B}\). \(\square \)
Definition 3
Let \(u\in \mathscr {F}_+\) and write u in the form
-
1.
Define \(\mathscr {G}_+\subseteq \mathscr {F}_+\) by “\(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |\ge \pi /2\) implies \(u\in \mathscr {G}_+\)”.Footnote 2
-
2.
Define \(\mathscr {R}_+\subseteq \mathscr {F}_+\) by “\(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\) and \(\alpha _1\ge 0\) implies \(u\in \mathscr {R}_+\)”.
-
3.
Define \(\mathscr {L}_+\subseteq \mathscr {F}_+\) by “\(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\) and \(\alpha ,\beta \) integer implies \(u\in \mathscr {L}_+\)”.
Theorem 6
Every \(u\in \mathscr {F}_+\), written in the form (46), is Laplace transformable with abscissa of convergence \(\sigma \le a^{\beta ;0}_\mu \) (see Theorem 4). The Laplace transform \(\mathfrak {L}u\) extends meromorphically from \(\mathbb {H}_{\sigma }\) to \(\mathbb {L}\) and is given by
If \(u\in \mathscr {G}_+\), then \(\sigma \le 0\). Further, if \(u\in \mathscr {R}_+\), then \(\mathfrak {L}u(s)\) extends continuously to the closed half-plane \(\overline{\mathbb {H}}:=\{s\in \mathbb {C}:\mathfrak {R}s\ge 0\}\). Thus, the Fourier transform \(\mathfrak {F}u:\mathbb {R}\rightarrow \mathbb {C}\) exists, is continuous and reads as
If \(u\in \mathscr {L}_+\), then \(\mathfrak {L}u\) extends to a meromorphic function on \(\mathbb {C}\).
Proof
The statement on Laplace transformability is clear. For \(\delta +2<\max \beta \) the Hankel formula (22) can be transformed into the Laplace inversion formula
by deforming the contour of integration \(\mathrm {i}\mathbb {R}\) into a Hankel loop \(\mathrm {H}(r;\pi )\) with r large enough. This is permitted because the integrand in (49) tends to zero faster than \(|\zeta |^{\delta -\max \beta }\le |\zeta |^{-2}\) for \(|\zeta |\rightarrow +\infty \) when \(\zeta \in \mathbb {AS}(r,+\infty ;\pi )\setminus \mathbb {AS}(r,+\infty ;\pi /2)\), \(r\ge 1\).
The distribution \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) has a continuous first derivative according to Proposition 2 and Eq. (17). Combining this with Eq. (49) and the fact that \({\text {supp}}\mathrm {G}^{\beta ;\delta }_{\mu ;+}=[0,+\infty )\) one concludes that the function \(\zeta ^\delta /(1-\Sigma \mu \zeta ^\beta )\) is the Laplace transform of \(\mathrm {G}^{\beta ;\delta }_{\mu ;+}\) [50, Ch. 8]. Now Eq. (47) follows using that \(\mathfrak {L}(\mathrm {D}^{m}u)(s)=s^m\mathfrak {L}(u)(s)\) for \(m\in \mathbb {N}\) and \(s\in \mathbb {H}_\sigma \) and linearity.
The remaining statements are immediate from Lemma 2. \(\square \)
Theorem 7
The sets \(\mathscr {G}_+\), \(\mathscr {R}_+\) and \(\mathscr {L}_+\) are subalgebras of \(\mathscr {F}_+\) that satisfy the inclusions \(\mathscr {G}_+\subseteq \mathscr {S}^\prime \), \(\mathscr {R}_+\subseteq \mathscr {D}^\prime _{L^1}\) and \(\mathscr {L}_+\subseteq \mathscr {O}^\prime _C\) hold true.
Remark 3
We conjecture that Theorem 5 can be extended to general convolution quotients when appropriately reduced fractions are considered. Theorem 7 covers one implication of this extension.
6 Distributional convolution modules
This section describes a method to construct convolution modules of distributions for prescribed totally convolvable sets of distributions, see Definition 5. These modules are maximal with respect to convolvability and characterized in Theorems 8 and 9 which are based on Propositions 4 and 5. The proofs for these propositions are of technical nature and merely p-ary variants to their binary or ternary variants, compare [35, Proposition 1.3.4]. A proof for Proposition 4 will be published elsewhere.
The results in this section are valid in arbitrary dimensions \(d\in \mathbb {N}\) and the suffix \((\mathbb {R}^d)\) will be suppressed everywhere except within Definition 4. Notions for convolvability and convolutes of distributions are taken from [34, 35]. Let \(\mathscr {B}\) denote the locally convex space of smooth functions with uniformly bounded derivatives. The topology on \(\mathscr {B}\) is induced by the seminorms
where \(\mathscr {C}_0\) is the space of continuous functions vanishing at infinity. The dual space of \(\mathscr {B}\), the space of integrable distributions, is denoted by \(\mathscr {D}^\prime _{L^1}\). The pairing \(\mathscr {B}\times \mathscr {D}^\prime _{L^1}\rightarrow \mathbb {C}\) is denoted by \({\langle \cdot ,\cdot \rangle }_1\).
Definition 4
A tuple \((u_1,\dots ,u_p)\in (\mathscr {D}^\prime (\mathbb {R}^d))^p\), \(p\in \mathbb {N}\) is called convolvable if
where \(\phi ^{\varDelta p}(x_1,\dots ,x_p):=\phi (x_1+\dots +x_p)\) denotes the p-codiagonal function associated to \(\phi \). Then, the convolute \(u_1*\cdots *u_p\) is defined as
A set of distributions \(U\subseteq \mathscr {D}^\prime (\mathbb {R}^d)\) will be called totally convolvable whenever all tuples \((u_1,\dots ,u_p)\) with \(u_1,\dots ,u_p\in U\) and \(p\in \mathbb {N}\) are convolvable.
Due to the symmetric nature of the definition it is clear that the notions of convolvability and convolute of a given tuple of distributions are invariant under arbitrary permutations of that tuple. Further, it is clear that the set of convolvable p-tuples is linear and that the mapping \((u_1,\dots ,u_p)\mapsto u_1*\cdots *u_p\) is multilinear.
Convolution of \(\overline{\mathbb {R}}_+\)-valued lower semicontinuous functions is seen to be associative without further restrictions by virtue of the Lebesgue-Fubini theorem [8, p. 54f]. The question under which circumstances the associative law holds for convolution of distributions is less obvious (and suprisingly rarely treated in the literature). The answer in Proposition 5 below will provide a satisfactory sufficient condition.
Proposition 4
Let \(p\in \mathbb {N}\), \(u_1,\dots ,u_p\in \mathscr {D}^\prime \). Then \((u_1,\dots ,u_p)\) is convolvable iff
Remark 4
The binary variant of this Proposition is just Chevalley’s convolvability condition [35] in disguise which reads as \((\phi *u)\cdot (\psi *v)^\vee \in L^1\) for all \(\phi ,\psi \in \mathscr {D}\).
Proposition 5
Let \(p\in \mathbb {N}\) and \(u_1,\dots ,u_p\in \mathscr {D}^\prime \), each \(u_k\) non-zero. Then, if \((u_1,\dots ,u_p)\) is convolvable, brackets can be introduced arbitrarily into the expression \(u_1*\cdots *u_p\) without creating non-convolvable tuples or changing the result of this expression.
Definition 5
The maximal distributional convolution module associated to a totally convolvable set \(A\subseteq \mathscr {D}^\prime \) is defined as
Theorem 8
Let \(A\subseteq \mathscr {D}^\prime \) be totally convolvable and such that \(A*A\subseteq A\). Convolution defines bilinear operations
that are associative. That is, for all \(a,b,c\in A\) and \(m\in (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) it holds that
Proof
Total convolvability and the definition of \((A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) imply that the mappings \({*:\mathbb {C}[A]\times \mathbb {C}[A]\rightarrow \mathbb {C}[A]}\) and \(*:\mathbb {C}[A]\times (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\rightarrow \mathscr {D}^\prime \) are well-defined and bilinear. Proposition 5 guarantees that the associative laws hold once it is proved that \(\mathbb {C}[A]*(A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\subseteq (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\).
Let \(a_1,\dots ,a_p,b\in A\) and \(m\in (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) be non-zero, \(p\in \mathbb {N}\). The tuple of distributions \((a_1,\dots ,a_p,b,m)\) is convolvable by definition. Proposition 5 implies that \((a_1,\dots ,a_p,b*m)\) is convolvable as well which means that \(b*m\in (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\). \(\square \)
Definition 6
The \(L^1\)-weighted space of distributions associated to a set of lower semicontinuous functions \(I\subseteq \mathscr {I}\) is
where \(\Vert g\Vert _1:=\int _{\mathbb {R}^d}|g(x)|\,\mathrm {d}x\).
Proposition 6
Let \(I,J\subseteq \mathscr {I}\).
-
1.
If all elements of I are locally bounded then \(\mathscr {E}^\prime \subseteq \mathscr {D}^\prime _{L^1(I)}\).
-
2.
The space \(\mathscr {D}^\prime _{L^1(I)}\) is translation invariant.
-
3.
If for all \(f\in I\) there exist \(g_1,\dots ,g_n\in J\), \(x_1,\dots ,x_n\in \mathbb {R}^d\), \(n\in \mathbb {N}\), \(C\in \mathbb {R}_+\) such that \(f\le C\sup \left\{ \mathrm {T}_{x_1}g_1,\dots ,\mathrm {T}_{x_n}g_n\right\} \) then the inclusion \(\mathscr {D}^\prime _{L^1(J)}\subseteq \mathscr {D}^\prime _{L^1(I)}\) holds.
The following summarizes some evident properties of the spaces \(\mathscr {D}^\prime _{L^1(I)}\).
Theorem 9
Let A be totally convolvable and define the set
The maximal convolution module of A is given by the weighted space
Proof
Let \(f=|\check{\phi }_1*\check{a}_1|*\cdots *|\check{\phi }_p*\check{a}_p|\) with \(\phi _1,\dots ,\phi _p\in \mathscr {D}\), \(a_1,\dots ,a_p\in A\), \(p\in \mathbb {N}\). Using that the associative law holds for arbitrary convolutes of \(\overline{\mathbb {R}}_+\)-valued lower semicontinuous functions one calculates for \(x\in \mathbb {R}^d\) that
Finiteness of the latter expression for all \(\phi _1,\dots ,\phi _p\in \mathscr {D}\), \(\phi \in \mathscr {D}\), \(a_1,\dots ,a_p\in A\) and \(x\in \mathbb {R}^d\) is equivalent to \(u\in (A)^{*\mathrm {M}}_{\mathscr {D}^\prime }\) by Proposition 4. \(\square \)
7 Distribution modules for fractional calculus
Definitions and results for maximal distributional convolution modules from the previous section are now applied to \(\mathscr {F}_+\) and its subalgebras \(\mathscr {G}_+\), \(\mathscr {R}_+\) and \(\mathscr {L}_+\).
Definition 7
Let \(p\in \mathbb {R}\). Define the sets
and their reflected variants \(P^p_-:=(P^p_+)^\vee \). Further, let
Proposition 7
Let \(a\in \mathbb {R}\) and \(q\in \mathbb {R}_+\). Each of the sets \(E_\pm \), \(P_\pm \), \(Q_\pm \) and \(E^{<0}_\pm \) is closed with respect to convolution.
Proof
It suffices to prove that \(P^{p-1}_+*P^{q-1}_+\subseteq P^{p+q-1}_+\) and \(P^{-p-1}_+*P^{-p-1}_+\subseteq P^{-p-1}_+\) for \(p,q\in \mathbb {R}_+\) due to \((\mathrm {e}^{at}f)*(\mathrm {e}^{at}g)=\mathrm {e}^{at}(f*g)\) and \(\check{f}*\check{g}=(f*g)^\vee \), \(a\in \mathbb {R}\), \(f,g\in \mathscr {I}\) and because the property \(S*S\subseteq S\) is preserved under directed unions. Using that convolution is isotone, homogeneous and translation invariant and observing that every element of \(P^{p-1}_+\) is bounded by a translate of \(C\mathrm {p}^{p}_+(t)\) for some \(C\in \mathbb {R}_+\) one concludes \(P^{p-1}_+*P^{q-1}_+\subseteq P^{p+q-1}_+\) from the index law (10). For \(p\in \mathbb {R}_+\) one estimates
Combining this with arguments as above one obtains \(P^{-p-1}_+*P^{-p-1}_+\subseteq P^{-p-1}_+\). \(\square \)
Theorem 10
The following results for maximal convolution modules hold:
Proof
Due to analogy if suffices to prove (61a). Using Lemma 1 and Theorem 4 one obtains that \(|\mathscr {D}*\mathscr {F}_+|\subseteq E_+\) and that every element of \(E_+\) is dominated by a sum of elements from \(|\mathscr {D}*\mathscr {F}_+|\). Combining this with Proposition 7 one concludes that \(((\mathscr {F}_+)^\vee )^{*\mathrm {A}}_\mathscr {I}=E_-\) (see Eq. (56b)). With this equation the first statement is a consequence of Theorems 1 and 9. \(\square \)
For any subalgebra \(\mathscr {A}\) of \(\mathscr {D}^\prime _+\) let \((\mathscr {A})^\times \) denote the set of distributions \(a\in \mathscr {A}\) that are invertible as elements of \((\mathscr {D}^\prime _+,+,*)\) and obey \(a^{*-1}\in \mathscr {A}\).
Corollary 1
The convolution groups \((\mathscr {F}_+)^\times \), \((\mathscr {G}_+)^\times \), \((\mathscr {R}_+)^\times \) resp. \((\mathscr {L}_+)^\times \) operate bijectively and lineary on the spaces \(\mathscr {D}^\prime _{L^1(E_-)}\), \(\mathscr {D}^\prime _{L^1(P_-)}\), \(\mathscr {D}^\prime _{L^1(Q_-)}\) resp. \(\mathscr {D}^\prime _{L^1(E^{<0}_-)}\).
Proposition 8
Let \(u\in \mathscr {F}_+\) be non-zero and write u in the form
-
1.
If \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |\ge \pi /2\) and \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |\ge \pi /2\) then \(u\in (\mathscr {G}_+)^\times \).
-
2.
If \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |, \big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\) and \(\gamma =0\) then \(u\in (\mathscr {R}_+)^\times \).
-
3.
If \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |, \big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\), \(\gamma =0\) and \(\alpha ,\beta \) are integer then \(u\in (\mathscr {L}_+)^\times \).
Proof
This is immediate from Definition 3. \(\square \)
8 Conclusions for fractional calculus
The final Section discusses consequences for fractional calculus and fractional differential equations that result from the previous sections.
8.1 Extending domains of fractional derivatives and integrals
From Eq. (61b) in Theorem 10 one obtains a generalization for the operators \(\mathrm {D}^{\alpha }_-\), \(\alpha \in \mathbb {C}\) from functions [31, 32] to distributions. Let \(\mathscr {E}=\mathscr {E}(\mathbb {R}_+)\) be the space of smooth functions on \(\mathbb {R}_+\) with derivatives vanishing rapidly for \(t\rightarrow +\infty \). The restriction to the half-axis is unnecessary, and all definitions and results are readily transported to the operators \(\mathrm {D}^{\alpha }_+\) and the space \(\widetilde{\mathscr {E}}=\widetilde{\mathscr {E}}(\mathbb {R})\) of smooth functions on \(\mathbb {R}\) vanishing rapidly for \(t\rightarrow -\infty \). With this extension one obtains bijective linear operators that commute with translations and obey the index law in full generality, that is
It has been shown recently by the authors [19], that the space \(\widetilde{\mathscr {E}}\) can be endowed with a weighted topology in a natural way such that one obtains bicontinous operators.
By means of Theorem 10, Eq. (61b), domain and range can now be enlarged to the space \(\mathscr {D}^\prime _{L^1(P_-)}\) of distributions vanishing rapidly for \(t\rightarrow -\infty \). Bijectivity, linearity and commutativity with translations are preserved under this extension. It contains earlier extensions that used exponentially weighted spaces of distributions [41], thus, more rapidly falling distributions. A rigorous treatment of the question of continuity is more complicated and requires to introduce new topologies.
An even more fundamental extension to fractional calculus is obtained from Eq. (61c) of Theorem 10. The statement there shows that the space
can be assigned as joint domain and range to the operators \(\mathrm {D}^{\alpha }_+\), \(\alpha \in \mathbb {H}\) when they are defined as \(u\mapsto \mathrm {q}^{\alpha }_+*u\) by means of Definition 4. With this extension bijectivity is lost, but still, one has linear operators at hand that satisfy the index law and commute with translations. Comparing with the domain for Marchaud derivatives, as in [39, p.109], it is seen that the present extension has a similar growth condition, but for distributions instead of functions.
One value of the extension lies in the fact that \(\mathscr {D}^\prime _{L^1(Q_-)}\) contains the space of uniformly bounded distributions \(\mathscr {B}^\prime \), and thus, the space of periodic distributions. For example, the fractional derivatives of the functions \(\varpi _{\mathrm {i}\omega }(t)=\exp (\mathrm {i}\omega t)\), \(t\in \mathbb {R}\) and the reversed Heaviside function \(\varTheta _-=1-\varTheta _+\) are defined. The section concludes with the calculation of these fundamental fractional derivatives.
Proposition 9
For \(\alpha \in \mathbb {H}\) and \(\sigma \in \overline{\mathbb {H}}\) holds \(\mathrm {q}^{\alpha }_+*\varpi _\sigma =\sigma ^\alpha \varpi _\sigma \) where \(\varpi _\sigma (t)=\mathrm {e}^{\sigma t}\).
Proof
Let \(m\in \mathbb {N}\) such that \(m-\mathfrak {R}\alpha >0\) and set \(\beta :=m-\alpha \). First, assume \(\mathfrak {R}\sigma >0\). Then \(\varpi _\sigma \in \mathscr {D}^\prime _{L^1(P_-)}\) and one calculates that \(\mathrm {q}^{\beta }_+*\varpi _\sigma =\sigma ^{-\beta }\varpi _\sigma \). Using the associative law, which is justified by Eq. (61b) and Theorem 8, one obtains
An application of Lemma 2 extends this result to \(\sigma \in \overline{\mathbb {H}}\). \(\square \)
Corollary 2
It holds that \(\mathrm {D}^{\alpha }_+\varTheta _-=-\mathrm {p}^{1-\alpha }_+\) for all \(\alpha \in \mathbb {H}\).
Proof
Using Proposition 9 with \(\sigma =0\) and that \(\varTheta _-\in \mathscr {D}^\prime _{L^1(Q_-)}\) one obtains
proving the corollary. \(\square \)
The operators \(\mathrm {p}^{\alpha }_+\) and \(\mathrm {q}^{\alpha }_+\) from the field \(\mathscr {F}_+\) acting on the convolution module \(\mathscr {D}^\prime _{L^1(E_-)}\) resemble the operators \(J^\alpha \) and \(S^\alpha \) obtained via the operational method in [13]. However, the operators \(S^\alpha \) from [13] are constructed as members of a quotient field \(\mathscr {M}_{-1}\) of a convolution ring \((C_{-1},\circ ,+)\) of functions on the right half axis. In the present work the quotient field \(\mathscr {F}_+\) is constructed by adjoining the inverses from the convolution algebra \((\mathscr {D}^\prime _+,*,+)\). It is at present not clear whether all hyperfunctions in \(\mathscr {M}_{-1}\) can be interpreted as distributions, or how to extended the operators \(S^\alpha \) to functions on the real line.
8.2 General linear fractional differential equations
The most general linear response equation that can be formulated within the present framework of fractional derivatives reads as
with parameters \(\alpha \in \mathbb {R}_+^n\), \(\beta \in \mathbb {R}_+^m\), \(\gamma \in \mathbb {R}\), \(\lambda \in \mathbb {C}_{\ne 0}^n\), \(\mu \in \mathbb {C}_{\ne 0}^m\), \(\eta \in \mathbb {C}_{\ne 0}\) and \(n,m\in \mathbb {N}\). In the case \(m=0\) the right hand side reduces to v. According to Theorem 10 the operators \(\eta \mathrm {D}^{\gamma }_+[1-\Sigma \lambda \mathrm {D}^{\alpha }_+]\) and \(1-\Sigma \mu \mathrm {D}^{\beta }_+\) define automorphisms of \(\mathscr {D}^\prime _{L^1(E_-)}\). This implies existence and uniqueness of solutions u (“responses”) for prescribed v (“excitations”). Note, that the roles of u and v can be interchanged.
Under certain assumptions on the parameters it is possible to enlarge the domains. For example, under the assumptions
it is guaranteed that \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |,\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |>\pi /2\). This follows from the inequality
According to Definition 3 and Eq. (61c) of Theorem 10 one obtains that the domain for u and v can be enlarged to \(\mathscr {D}^\prime _{L^1(Q_-)}\) while preserving existence and uniqueness of solutions. For the case \(m=0\), Theorem 5 proves that the condition \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |>\pi /2\) is also necessary to extend the domains to \(\mathscr {D}^\prime _{L^1(Q_-)}\).
The case \(\gamma =0\) and \(m=0\) was discussed in [1] with the space \(\mathscr {S}^\prime _+\) as domain for u and v. In Theorem 3.2 from [1] existence and uniqueness were characterized in terms of \(\mathrm {Z}^{\alpha }_{\lambda }\). Note, that in the proof of [1, Theorem 3.2] it was stated that if the function \(1-\Sigma \mu \zeta ^\alpha \) has no zeros \(\zeta _0\) with \(\big |\arg \zeta _0\big |<\pi /2\), then all of its zeros with \(\big |\arg \zeta _0\big |<\pi \) fulfill \(\big |\arg \zeta _0\big |=\pi /2\). This is false, a counter example is given by \(1+\zeta ^{3/2}\). Nevertheless Theorem 3.2 from [1] is equivalent to Part 1 of Theorem 5 from the present work. In the notation of the present work it states that the problem \(\eta [u-\Sigma \mu \mathrm {D}^{\alpha }_+u]=v\) with \(u,v\in \mathscr {S}^\prime _+\) is well-posed with existence and uniqueness of solutions u to prescribed v if and only if \(\big |\arg \mathrm {Z}^{\alpha }_{\lambda }\big |\le \pi /2\). Theorem 10 from the present work extends this from \(\mathscr {S}^\prime _+\) to the larger space \(\mathscr {D}^\prime _{L^1(P_-)}\).
9 Application to dielectric relaxation
9.1 Composite fractional relaxation model extended to the full axis
The composite fractional relaxation model for the dielectric relaxation function \(f(t)\), \(t>0\) [10]
involves the fractional derivative \(\mathrm {D}^{\alpha ,\mu }_{0+}\) with order \(\alpha \) and type \(\mu \) [10, Eq. (7)]. The parameters are \(0<\tau _1,\tau _2<\infty \), \(0<\alpha <1\), \(0\le \mu \le 1\). In [10] the right hand side \(h=0\) vanishes, the function \(f\) is a \(\mathscr {C}^1\)-function defined on the half axis \((0,\infty )\), and interpreted as the normalized relaxation function after a constant external force is suddenly released at \(t=0\). The purpose of this section is to extend Eq. (70) to the full axis and use it as a template for an application of Eq. (67) to dielectric relaxation in glasses.
Following [10] and [11] the Laplace transform \(\mathfrak {L}_+\chi _+\) of the dielectric response \(\chi _+(t)\) on \(t>0\) for the case \(h=0\) is calculated as (cf. [11, Eq.(3)])
where \(\mathsf {r}^\alpha _\mu \) is a parameter. In the following \(\mathsf {r}^\alpha _\mu \ge 0\) will be assumed except for \(\mathsf {r}^\alpha _1=-1.\) Equation (71) admits continuous extensions from \(\zeta \in \mathbb {H}\subseteq \mathbb {L}\) to \(\zeta \in \overline{\mathbb {H}}\).
The response function \(\chi (t)\) is extended as \(\chi (t)={\chi _+(t)+\chi ^\infty \updelta (t)}\) to the full axis, where \(\chi _+(t)\) is extended as \(\chi _+(t)=0\) to \(t\le 0\). The relaxation function \(f\) is extended discontinuously as \(f(t)=f(0)=f_0=f_{0+}+\chi ^\infty \) to \(t\le 0\). It can be written as
with \(f_{0+}=\int _0^\infty \chi _+(t)\mathrm {d}t\). Using Eq. (71) as guidance the normalized response \(\chi _+/f_{0+}\) is represented as a convolution quotient
by virtue of Theorem 6 and Definition 3. The convolution quotient falls under case 2 of Proposition 8 and hence \(\widehat{\chi }\in (\mathscr {R}_+)^\times \). Equation (61c) of Theorem 10 guarantees that the fractional differential equation
is well defined with existence and uniqueness for all \(u,w\in \mathscr {D}^\prime _{L^1(Q_-)}\), because it is a special case of (67) with (68). Equation (74) is equivalent to \(u=\widehat{\chi }*w\) with \(\widehat{\chi }\in (\mathscr {R}_+)^\times \) a bijective convolution operator on \(\mathscr {D}^\prime _{L^1(Q_-)}\). Equation (74) generalizes the fractional relaxation Eq. (70) from the positive half axis to the full real axis in a translation invariant manner. It has the form of Eq. (67) and is taken in Sect. 9.3 as a mathematical model to predict dielectric relaxation in glycerol.
Choosing \(w=\updelta \) in (74) entails \(u=\widehat{\chi }\) and verifies that \(\widehat{\chi }\) is indeed the impulse response function associated to (74). Choosing \(w=w_0=\varTheta _-\) in Eq. (74), one obtains \(u=\widehat{\chi }*\varTheta _-\). This solution u of the convolution equation is expected to coincide on \(t>0\) with the step relaxation \(f\) of Eq. (70) for \(h=0\) up to a factor. And that will indeed be verified explicitly further below. For general h the factor \(w_0\) needs to be replaced with
and this relates the external forcing \(w\) to the inhomogeneity h in Eq. (70). Thus, for \(\mu \ne 1\) the right hand side of (70) can not be interpreted as the external force itself but only as a quantity derived from the external force in a non-trivial way.
Because the domain \(\mathscr {D}^\prime _{L^1(Q_-)}\) contains besides \(\updelta \) and \(\varTheta _-\) also the periodic functions \(\varpi _{\mathrm {i}\omega }(t)=\exp (\mathrm {i}\omega t)\), \(\omega \in \mathbb {R}\) the convolutional formulation Eq. (74) unifies impulse response, step relaxation and periodic excitations. For periodic forcing of the form \(w=\varpi _{\mathrm {i}\omega }\) with a single frequency \(\omega \in \mathbb {R}\) one obtains the complex admittances
This follows directly from the formulas of the Laplace transforms, because by definition \(\mathfrak {L}u(\mathrm {i}\omega )=\mathfrak {F}u(\omega )={\langle u,\varpi _{-\mathrm {i}\omega }\rangle }_1=(u*\varpi _{\mathrm {i}\omega })(0)\). Equation (76) is just the result expected from multiplier theory.
9.2 Solutions
The normalized response function \(\widehat{\chi }\), obtained from Eq. (74) for \(w=\updelta \), can with the help of Eq. (18) be written in the form
Thus \(\widehat{\chi }(t)=0\) for \(t\le 0\) and using Eq. (13b) one finds
for \(t>0\).
The subtracted relaxation function \(\widetilde{f}=f-\chi ^\infty \varTheta _-\) solving the original problem (70) on \(t>0\) can be represented in the form
A sufficient assumption on h to make eqs. (70), (74) and (79) well defined is that h is a continuous function with \({\text {supp}}h\subseteq (0,+\infty ) \). Because \(\mathscr {R}_+=(\mathscr {R}_+,+,*)\) is an algebra operating on \(\mathscr {D}^\prime _{L^1(Q_-)}\) this expression can be further evaluated. We illustrate the calculations for the homogeneous case \(h=0\). One calculates
where eqs. (72), (77) and (18), were used. Using (13b) one finds
for \(t>0\) in terms of the binomial Mittag-Leffler function \(\mathrm {E}_{(\alpha _1,\alpha _2);\beta }(z_1,z_2)\). In order to verify that f indeed solves (70) the Laplace transform \(\mathfrak {L}_+f=\mathfrak {L}(\varTheta _+f)\) is calculated from Eq. (81) which yields Eqs. (35) and (37) from [10]. This argument works also for non-zero h, if h is assumed to be Laplace transformable.
9.3 Application to glycerol
In this section the convolution Eq. (74) is applied to predict broadband dielectric spectra of glycerol over 13 decades in frequency and temperatures between 193 and 253 K. The experimental data are from [25]. Figure 1 shows the result of fitting Eq. (76) to the experimental data. In all fits the order \(\alpha =0.56\) of the fractional derivative is fixed and independent of temperature. It plays the role of a universal dynamical critical exponent. The type \(\mu =0.2\) and the parameter \(\mathsf {r}^\alpha _\mu \) are also temperature independent. Moreover, the time scale ratio \(\tau _1/\tau _2\) is only weakly temperature dependent varying monotonically between \(\tau _1/\tau _2\approx 4.57\) for \(T=195\) K and \(\tau _1/\tau _2\approx 6.45\) for \(T=253\) K. This leaves a single relaxation time, e.g. \(\tau _1\), as the only temperature dependent fit parameter. It determines the frequency of the main peak in the imaginary part. Note that previously there did not exist a fit function for the excess wing [25] and its physical origin was unknown. Remarkably, the composite fractional relaxation model (70) and its convolutional interpretation (74) predict asymmetric relaxation peaks plus excess wings with a single temperature independent scaling exponent.
Data Availability Statement
Not applicable.
Notes
More precisely, \(\mathscr {F}_+\) is the smallest subalgebra \(\mathscr {A}\) of \((\mathscr {D}^\prime _+,+,*)\) such that \((\mathscr {A}\setminus \{0\})^{*-1}\) is well-defined and contained in \(\mathscr {A}\) and such that \(\mathscr {P}_+\subseteq \mathscr {A}\).
More explicitly, \(\mathscr {G}_+\) consists of those \(u\in \mathscr {F}_+\) with the property that u can be written in the form (46) with \(\big |\arg \mathrm {Z}^{\beta }_{\mu }\big |\ge \pi /2\). Part 2 and Part 3 are interpreted in the same fashion.
References
Atanackovic, T., Oparnica, L., Pilipovic, S.: Semilinear ordinary differential equation coupled with distributed order fractional differential equation. Nonlinear Anal. 72, 4101–4114 (2010)
Balakrishnan, A.: Fractional powers of closed operators and the semigroups generated by them. Pacific J. Math. 10, 419–437 (1960)
Cresson, J.: Fractional embedding of differential operators and Lagrangian systems. J. Math. Phys. 48, 033504 (2007)
Dierolf, P., Voigt, J.: Convolution and S’-convolution of distributions. Collect. Math. 29, 185–196 (1978)
Dipierro, S., Palatucci, G., Valdinoci, E.: Dislocation Dynamics in Crystals: A Macroscopic Theory in a Fractional Laplace Setting. Commun. Math. Phys. 333, 1061–1105 (2015)
Erdelyi, A.: Fractional integrals of generalized functions. In: Ross, B. (ed.) Fractional Calculus and its Applications. Lecture Notes in Mathematics, vol. 457, pp. 151–170. Springer Verlag, Berlin (1975)
Gelfand, I., Shilov, G.: Generalized Functions, vol. I. Academic Press, New York (1964)
Godement, R.: Analysis IV: Integration and Spectral Theory. Springer, Berlin (2015)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific Publ. Co., Singapore (2000)
Hilfer, R.: Experimental evidence for fractional time evolution in glass forming materials. Chem. Phys. 284, 399 (2002)
Hilfer, R.: Excess wing physics and nearly constant loss in glasses. J. Stat. Mech. Theory Exp. 2019, 104007 (2019)
Hilfer, R.: Mathematical and physical interpretations of fractional derivatives and integrals. In: Kochubei, A., Luchko, Y. (eds.) Handbook of Fractional Calculus with Applications: Basic Theory, vol. 1, pp. 47–86. Walter de Gruyter GmbH, Berlin (2019)
Hilfer, R., Luchko, Y., Tomovski, Z.: Operational method for the solution of fractional differential equations with generalized Riemann-Liouville fractional derivatives. Fract. Calc. Appl. Anal. 12, 299 (2009)
Horvath, J.: Topological Vector Spaces and Distributions. Addison-Wesley, Reading (1966)
Hövel, H., Westphal, U.: Fractional powers of closed operators. Studia Math. 42, 177–194 (1972)
Kamocki, R.: A new representation formula for the Hilfer fractional derivative and its application. J. Comput. Appl. Math. 308, 39–45 (2016)
Kato, T.: Note on fractional powers of linear operators. Proc. Japan Acad. 36, 94–96 (1960)
Kleiner, T., Hilfer, R.: Weyl integrals on weighted spaces. Fract. Calc. Appl. Anal. 22, 1225–1248 (2019)
Kleiner, T., Hilfer, R.: Convolution operators on weighted spaces of continuous functions and supremal convolution. Annali di Matematica 199, 1547–1569 (2020)
Komatsu, H.: Fractional powers of operators. Pac. J. Math. 19, 285–346 (1966)
La Nave, G., Limtragool, K., Phillips, P.: Colloquium: Fractional electromagnetism in quantum matter and high-energy physics. Rev. Mod. Phys. 91, 021003–1 (2019)
Lamb, W.: A distributional theory of fractional calculus. Proc. R. Soc. Edinb. 99A, 347–357 (1985)
Lanford, O., Robinson, D.: Fractional powers of generators of equicontinuous semigroups and fractional derivatives. J. Aust. Math. Soc. (A) 46, 473–504 (1989)
Luchko, Y., Gorenflo, R.: An Operational Method for Solving Fractional Differential Equations with the Caputo Derivatives. Acta Math. Vietnam. 24, 207–233 (1999)
Lunkenheimer, P., Loidl, A.: Dielectric spectroscopy of glass-forming materials: \(\alpha \)-relaxation and excess wing. Chem. Phys. 284, 205–219 (2002)
Marchaud, A.: Sur les derivees et sur les differences des fonctions de variables reelles. J. Math. Pures Appl. 6, 337–425 (1927)
Martinez Carracedo, C., Sanz Alix, M.: The Theory of Fractional Powers of Operators. Elsevier, Amsterdam (2001)
McBride, A.: Fractional Calculus and Integral Transform of Generalized Functions. Pitman Publishing Ltd, San Francisco (1979)
McIntosh, A.: Operators which have an \(H_\infty \)-calculus. In: Jefferies, B., et al. (eds.) Miniconference on Operator Theory and Partial Differential Equations, pp. 210–231. Australian National University, Canberra (1986)
Mikusinski, J.: Operational Calculus. PWN, Warszaw (1959)
Miller, K.: The Weyl fractional calculus. In: Ross, B. (ed.) Fractional Calculus and its Applications. Lecture Notes in Mathematics, vol. 457, pp. 80–89. Springer Verlag, Berlin (1975)
Miller, K., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Morita, T., Sato, K.: Neumann-series solution of fractional differential equation. Interdiscip. Inf. Sci. 16, 127–137 (2010)
Ortner, N.: On some contributions of John Horvath to the theory of distributions. J. Math. Anal. Appl. 297, 353–383 (2004)
Ortner, N., Wagner, P.: Distribution-Valued Analytic Functions - Theory and Applications. Tredition GmbH, Hamburg (2013)
Ortner, N., Wagner, P.: Fundamental Solutions of Linear Partial Differential Operators. Springer, Berlin (2015)
Pietsch, A.: Nuclear Locally Convex Spaces. Springer, Berlin (1972)
Prüss, J., Spohr, H.: On operators with bounded imaginary powers in banach spaces. Math. Z. 203, 429–452 (1990)
Samko, S., Kilbas, A., Marichev, O.: Fractional Integrals and Derivatives. Gordon and Breach, Berlin (1993)
Saxena, R., Garra, R., Orsingher, E.: Analytical solution of space-time fractional telegraph-type equations involving Hilfer and Hadamard derivatives. Integral Transf. Special Funct. 27, 30–42 (2016)
Schiavone, S., Lamb, W.: A fractional power approach to fractional calculus. J. Math. Anal. Appl. 149, 377–401 (1990)
Schwartz, L.: Theorie des Distributions. Hermann, Paris (1950)
Schwartz, L.: Definition integrale de la convolution de deux distributions. Seminaire Schwartz 1, 1–7 (1954)
Uiterdijk, M.: A functional calculus for analytic generators of \(C_0\)-Groups. Integr. Eqn. Oper. Theory 36, 340–369 (2000)
Westphal, U.: Ein Kalkül für gebrochene Potenzen infinitesimaler Erzeuger von Halbgruppen und Gruppen von Operatoren. Teil I: Halbgruppenerzeuger. Compositio Math. 22, 67–103 (1970)
Westphal, U.: Fractional powers of infinitesimal generators of semigroups. In: Hilfer, R. (ed.) Applications of Fractional Calculus in Physics, pp. 131–170. World Scientific, Singapore (2000)
Yosida, K.: Fractional powers of infinitesimal generators and the analyticity of the semi-groups generated by them. Proc. Japan Acad. 36, 86–89 (1960)
Yosida, K.: Functional Analysis. Springer, Berlin (1965)
Zavada, P.: Operator of fractional derivative in the complex plane. Commun. Math. Phys. 192, 261–285 (1998)
Zemanian, A.: Distribution Theory and Transform Analysis. McGraw-Hill, New York (1965)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Kleiner, T., Hilfer, R. Fractional glassy relaxation and convolution modules of distributions. Anal.Math.Phys. 11, 130 (2021). https://doi.org/10.1007/s13324-021-00504-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00504-5