# Desiderata for Fractional Derivatives and Integrals

^{1}

^{2}

^{*}

Next Article in Journal / Special Issue

ICP, Fakultät für Mathematik und Physik, Universität Stuttgart, Allmandring 3, 70569 Stuttgart, Germany

Fachbereich Mathematik-Physik-Chemie, Beuth Hochschule für Technik Berlin, Luxemburger Str. 10, 13353 Berlin, Germany

Author to whom correspondence should be addressed.

Received: 11 January 2019
/
Revised: 24 January 2019
/
Accepted: 25 January 2019
/
Published: 4 February 2019

(This article belongs to the Special Issue Fractional Integrals and Derivatives: “True” versus “False”)

The purpose of this brief article is to initiate discussions in this special issue by proposing desiderata for calling an operator a fractional derivative or a fractional integral. Our desiderata are neither axioms nor do they define fractional derivatives or integrals uniquely. Instead they intend to stimulate the field by providing guidelines based on a small number of time honoured and well established criteria.

A list of six desiderata1 is proposed that in our opinion would justify calling an operator ${\mathit{D}}^{\alpha}$ (or ${\mathit{I}}^{\alpha}$) a fractional derivative (or a fractional integral) of non-integer order $\alpha \notin \mathbb{N}$. Derivatives and integrals of fractional order have a long history and, up until the recent proliferation of novel fractional derivatives, most definitions and interpretations of fractional operators seem to implicitly assume the desiderata of an operational calculus as formulated in this article.

Mathematical terms used in the formulation of our desiderata are defined in Appendix A. A family $\{{\mathit{D}}_{}^{\alpha},{\mathit{I}}_{}^{\alpha}\}$ of operators with $\alpha \in \mathbb{Q},\mathbb{R}$ or $\mathbb{C}$ is proposed to be called a family of fractional derivatives ${\mathit{D}}_{}^{\alpha}$ and integrals ${\mathit{I}}_{}^{\alpha}$ of order α (with $\mathrm{Re}\alpha \ge 0$)2 if and only if it satisfies the following six desiderata:

- (a)
- Integrals ${\mathit{I}}_{}^{\alpha}$ and derivatives ${\mathit{D}}_{}^{\alpha}$ of fractional order $\alpha $ should be linear operators on linear spaces3.
- (b)
- On some subset4 ${\mathsf{G}}_{\left(\mathrm{b}\right)}\subset \mathsf{D}\left({\mathit{I}}_{}^{\alpha}\right)\cap {\mathit{I}}_{}^{\beta}\left[\mathsf{D}\left({\mathit{I}}_{}^{\beta}\right)\right]\cap \mathsf{D}\left({\mathit{I}}_{}^{\alpha +\beta}\right)\ne \varnothing $ the index law (semigroup property)$$\begin{array}{c}\hfill ({\mathit{I}}_{}^{\alpha}\circ {\mathit{I}}_{}^{\beta})f={\mathit{I}}_{}^{\alpha +\beta}f\end{array}$$
- (c)
- Restricted to a suitable subset ${\mathsf{G}}_{\left(\mathrm{c}\right)}\subset \mathsf{D}\left({\mathit{I}}_{}^{\alpha}\right)$ of the domain of ${\mathit{I}}_{}^{\alpha}$ the fractional derivatives ${\mathit{D}}_{}^{\alpha}$ of order $\alpha $ operate as left inverses$$\begin{array}{c}\hfill {\mathit{D}}_{}^{\alpha}\circ {\mathit{I}}_{}^{\alpha}={\mathsf{1}}_{{\mathsf{G}}_{\left(\mathrm{c}\right)}}\end{array}$$
- (d)
- There is a subset ${\mathsf{G}}_{\left(\mathrm{d}\right)}\subset \mathsf{D}\left({\mathit{D}}_{}^{\alpha}\right)$ of the domain of ${\mathit{D}}_{}^{\alpha}$ such that the limits$$\begin{array}{cc}\hfill {g}^{1}={\mathit{D}}_{}^{1}f& =\underset{\alpha \to 1}{lim}{\mathit{D}}_{}^{\alpha}f,\phantom{\rule{2.em}{0ex}}f\in {\mathsf{G}}_{\left(\mathrm{d}\right)},\hfill \end{array}$$$$\begin{array}{cc}\hfill {g}^{0}={\mathit{D}}_{}^{0}f& =\underset{\alpha \to 0}{lim}{\mathit{D}}_{}^{\alpha}f,\phantom{\rule{2.em}{0ex}}f\in {\mathsf{G}}_{\left(\mathrm{d}\right)},\hfill \end{array}$$
- (e)
- The limiting map ${\mathit{D}}_{}^{0}={\mathsf{1}}_{{\mathsf{G}}_{\left(\mathrm{d}\right)}}$ is the identity on ${\mathsf{G}}_{\left(\mathrm{d}\right)}$, i.e., ${g}^{0}=f$;
- (f)
- The limiting map ${\mathit{D}}_{}^{1}=\mathit{D}$ is a derivation on ${\mathsf{G}}_{\left(\mathrm{d}\right)}$. This means it is possible to define a multiplication $\xb7:{\mathsf{G}}_{\left(\mathrm{d}\right)}\times {\mathsf{G}}_{\left(\mathrm{d}\right)}\to {\mathsf{G}}_{\left(\mathrm{d}\right)}$ on ${\mathsf{G}}_{\left(\mathrm{d}\right)}$ such that the Leibniz rule$$\begin{array}{c}\hfill \mathit{D}(f\xb7g)=g\xb7\left(\mathit{D}f\right)+f\xb7\left(\mathit{D}g\right)\end{array}$$

If the semigroup law (1) can be extended to all $\alpha \in \mathbb{R}$ or $\alpha \in \mathbb{C}$, we propose to speak of fractional calculus. Our desiderata are obviously inspired by operational calculus. Recall that an operational calculus is a continuous one-to-one mapping between an algebra of functions and an algebra of operators such that the neutral elements match and algebraic relations are preserved. Extending the algebra from polynomial functions to convergent power series suffices for an operational calculus. More singular functions, namely non-analytic power functions, are required for fractional calculus.

Desiderata differing substantially from those above have been formulated in [1] (p. 5) and [2] (p. 5). Envisaging exclusively analytic functions the criteria given in [1] (p. 5) are extremely restrictive. In theory and applications it is nowadays imperative to include more general functions, measures and also distributions into the purview.

Given the extreme restrictions in [1] (p. 5) a more recent proposal [2] went to opposite extremes. Little or no attention is given to a domain of definition for the fractional derivatives in [2]. Our desiderata for fractional derivatives again differ substantially from those in [2]. Rather than requiring some form of the generalized Leibniz rule ${\phantom{\rule{0.166667em}{0ex}}}^{2}$P5 in [2] for all $\alpha $ we desire the Leibniz rule only for $\alpha =1$, and that differs not only from ${\phantom{\rule{0.166667em}{0ex}}}^{2}$P5, but also from ${\phantom{\rule{0.166667em}{0ex}}}^{2}$P3. In addition the identity rule ${\phantom{\rule{0.166667em}{0ex}}}^{2}$P2 in [2] does not restrict the admissible operators at all. As long as there is no continuity in $\alpha $ or a well defined limit, the identity rule can always be fulfilled, simply by setting ${\mathit{D}}^{0}=\mathsf{1}$. More generally, Ref. [2] seems to neglect parameters other than $\alpha $, or the topological and operator-theoretic implications of the limit in Equation (2) [2].

Our desiderata do not include non-locality of fractional derivatives. Fractional derivatives, that are local operators, were introduced in [3,4] and are discussed further in [5] and Section 7 of [6]. Contrary to ${\phantom{\rule{0.166667em}{0ex}}}^{2}$P3 in [2] we do not constrain the limits $\alpha \to n$ with $n\in \mathbb{N}$ for $n\ge 2$, because we wish to allow more generality.

To illustrate our desiderata in a simple case consider fractional operators of Riemann-Liouville type for complex valued functions $f:[a,b]\to \mathbb{C}$ on a compact interval $[a,b]\subset \mathbb{R}$ with $-\infty <a<b<\infty $ when the fractional order $\alpha $ is real and restricted to $0\le \alpha \le 1$. The (right-sided) Riemann-Liouville fractional integrals ${\mathit{I}}_{a+}^{\alpha}$ of order $\alpha \ge 0$ with lower limit a are defined by setting ${\mathit{I}}_{a+}^{0}f:=f$ for $\alpha =0$ and
for $\alpha >0$ and $x\le b$. The (right-sided) Riemann-Liouville-type fractional derivatives ${\mathit{D}}_{a+}^{\alpha}$ of order $0\le \alpha \le 1$ are defined as [5] (p. 434)
where the number $0\le \beta \le 1$ parametrizes different types of fractional derivatives. The classical Riemann-Liouville derivative is of type $\beta =0$, while the popular Liouville-Caputo derivative has type $\beta =1$ [7] (p. 10).

$$\begin{array}{c}\hfill \left({\mathit{I}}_{a+}^{\alpha}f\right)\left(x\right):=\frac{1}{\mathsf{\Gamma}\left(\alpha \right)}\underset{a}{\overset{x}{\int}}{(x-y)}^{\alpha -1}f\left(y\right)\mathrm{d}y\end{array}$$

$$\begin{array}{c}\hfill \left({\mathit{D}}_{a+}^{\alpha ,\beta}f\right)\left(x\right)=\left({\mathit{I}}_{a+}^{\beta (1-\alpha )}\frac{\mathrm{d}}{\mathrm{d}x}{\mathit{I}}_{a+}^{(1-\beta )(1-\alpha )}f\right)\left(x\right)\end{array}$$

Both operator families are linear and desideratum (a) can be fulfilled on numerous linear spaces due to the compactness of $[a,b]$. Examples are the Lebesgue spaces ${\mathsf{L}}^{p}\left([a,b]\right)$ with $1\le p\le \infty $ or Hölder spaces ${\mathsf{C}}^{\gamma}\left([a,b]\right)$ with $\gamma >0$. Desideratum (c) holds e.g. for ${\mathsf{G}}_{\left(\mathrm{c}\right)}={\mathsf{C}}^{\gamma}\left([a,b]\right)$ with $\gamma >\alpha +\beta -\alpha \beta $ and $\alpha +\beta -\alpha \beta \ne 1$. The Riemann-Liouville fractional integrals (extended from $0\le \alpha \le 1$ to $\alpha \ge 0$) are a strongly continuous semigroup of operators with respect to the parameter $\alpha \ge 0$, and obey the index law (1) in desideratum (b) for all $\alpha ,\beta \ge 0$ on ${\mathsf{G}}_{\left(\mathrm{b}\right)}={\mathsf{L}}^{p}\left([a,b]\right)$ or suitable subspaces. The desiderata (d), (e) and (f) can then be derived with the help of the semigroup property. For the Riemann-Liouville operators they hold e.g. for smooth (infinitely often differentiable) functions $f\in {\mathsf{G}}_{\left(\mathrm{d}\right)}={\mathsf{C}}^{\infty}\left([a,b]\right)$.

For infinite intervals or for generalized functions the problem of domains may become more involved and our desiderata may become more restrictive. As an example consider the family of symmetric Riesz operators
on the real line. In this case the limiting operator ${\mathit{D}}^{1}={lim}_{\alpha \to -1}{\mathit{I}}_{}^{\alpha}$ is again well defined, but does not fulfill desideratum (f). Instead, it fulfills Leibniz’ formula for ${\mathit{D}}^{n}\left(fg\right)$ with $n=2$, i.e.,

$$\begin{array}{c}\hfill \left({\mathit{I}}_{}^{\alpha}f\right)\left(x\right):=\frac{1}{2\mathsf{\Gamma}\left(\alpha \right)cos(\alpha \pi /2)}\underset{-\infty}{\overset{\infty}{\int}}{|x-y|}^{\alpha -1}f\left(y\right)\mathrm{d}y\end{array}$$

$$\begin{array}{c}\hfill {\mathit{D}}^{1}\left[{\mathit{D}}^{1}\left(fg\right)\right]=g{\mathit{D}}^{1}\left({\mathit{D}}^{1}f\right)+2\left({\mathit{D}}^{1}f\right)\left({\mathit{D}}^{1}g\right)+f{\mathit{D}}^{1}\left({\mathit{D}}^{1}g\right).\end{array}$$

We propose to call such operators obeying Leibniz formula for ${\mathit{D}}^{n}\left(fg\right)$ with $n\ge 2$ pseudofractional derivatives or fractional pseudoderivatives.

Of course, our desiderata do not define fractional derivatives and integrals in a unique way. Still, they considerably restrict the set of admissible operators as seen above. In our opinion the above desiderata formulate crucial constraints for the development of a meaningful mathematical theory of fractional calculus and its reasonable applications.

Much work has been done on mathematical interpretations of fractional derivatives and integrals. The results are documented in numerous texts and treatises (see [6,8] for recent reviews). It seems however, that the connection (or not) of classical and recent fractional calculi with historical and contemporary forms of operational and functional calculi such as Heaviside-Mikusinski calculus, Dunford-Schwarz calculus, or Hille-Phillips calculus is a rich source of numerous open problems whose speedy solution would seem pertinent to advance and ultimately consolidate the field. We hope that the desiderata above are sufficiently restrictive to initiate a discussion of these pressing problems, and thereby stimulate readers and contributors to address some of these open problems in their areas of expertise and interest.

For the convenience of readers from non-mathematical disciplines we recall some definitions:

A real (or complex) linear space (or vector space) over the field $\mathbb{R}$ (or $\mathbb{C}$) of real (or complex) numbers is a non-empty set $\mathsf{X}$ with two operations called addition and scalar multiplication fulfilling the usual rules of vector addition and multiplication of vectors with numbers5.

Let $\mathsf{X},\mathsf{Y},\mathsf{Z}$ be linear spaces (vector spaces). A linear operator $\mathit{A}:\mathsf{X}\to \mathsf{Y}$ is a linear subspace of the direct sum $\mathsf{X}\oplus \mathsf{Y}$, where
is the linear space of pairs $(f,g)$ with $f\in \mathsf{X}$, $g\in \mathsf{Y}$ and addition defined as $({f}_{1},{g}_{1})+({f}_{2},{g}_{2})=({f}_{1}+{f}_{2},{g}_{1}+{g}_{2})$ for all ${f}_{i}\in \mathsf{X}$ and ${g}_{i}\in \mathsf{Y}$. The identity operator ${\mathsf{1}}_{\mathsf{X}}:\mathsf{X}\to \mathsf{X}$ is defined as

$$\begin{array}{c}\hfill \mathsf{X}\oplus \mathsf{Y}:=\left\{\right(f,g):f\in \mathsf{X},g\in \mathsf{Y}\}\end{array}$$

$$\begin{array}{c}\hfill {\mathsf{1}}_{\mathsf{X}}=\mathsf{1}:=\left\{(f,f):f\in \mathsf{X}\right\}.\end{array}$$

The domain $\mathsf{D}\left(\mathit{A}\right)$ and range $\mathsf{R}\left(\mathit{A}\right)$ of a linear operator $\mathit{A}:\mathsf{X}\to \mathsf{Y}$ are

$$\begin{array}{cc}\hfill \mathsf{D}\left(\mathit{A}\right)& :=\left\{f\in \mathsf{X}:\exists \phantom{\rule{0.277778em}{0ex}}g\in \mathsf{Y}\phantom{\rule{4.pt}{0ex}}\mathrm{s}.\mathrm{t}.\phantom{\rule{4.pt}{0ex}}(f,g)\in \mathit{A}\right\}\hfill \end{array}$$

$$\begin{array}{cc}\hfill \mathsf{R}\left(\mathit{A}\right)& :=\left\{g\in \mathsf{Y}:\exists \phantom{\rule{0.277778em}{0ex}}f\in \mathsf{X}\phantom{\rule{4.pt}{0ex}}\mathrm{s}.\mathrm{t}.\phantom{\rule{4.pt}{0ex}}(f,g)\in \mathit{A}\right\}.\hfill \end{array}$$

The inverse ${\mathit{A}}^{-1}$ of $\mathit{A}$ is defined as
with domain $\mathsf{D}\left({\mathit{A}}^{-1}\right)=\mathsf{R}\left(\mathit{A}\right)$. For $\mathit{A},\mathit{B}\in \mathsf{X}\oplus \mathsf{Y}$ their sum is defined as
with $\mathsf{D}(\mathit{A}+\mathit{B})=\mathsf{D}\left(\mathit{A}\right)\cap \mathsf{D}\left(\mathit{B}\right)$. For $\mathit{A}\in \mathsf{X}\oplus \mathsf{Y},\mathit{B}\in \mathsf{Y}\oplus \mathsf{Z}$ the composition $\mathit{B}\circ \mathit{A}:\mathsf{X}\to \mathsf{Z}$ is the linear operator defined as
with $\mathsf{D}(\mathit{B}\circ \mathit{A})=\{f\in \mathsf{D}(\mathit{A}):\exists g\in \mathsf{D}(\mathit{B}\left)\phantom{\rule{4.pt}{0ex}}\mathrm{s}.\mathrm{t}.\phantom{\rule{4.pt}{0ex}}\right(f,g)\in \mathit{A}\}$.

$$\begin{array}{c}\hfill {\mathit{A}}^{-1}:=\left\{(g,f)\in \mathsf{Y}\oplus \mathsf{X}:(f,g)\in \mathit{A}\right\}\end{array}$$

$$\begin{array}{c}\hfill \mathit{A}+\mathit{B}:=\left\{(f,g+h)\in \mathsf{X}\oplus \mathsf{Y}:(f,g)\in \mathit{A},(g,h)\in \mathit{B}\right\}\end{array}$$

$$\begin{array}{c}\hfill \mathit{B}\circ \mathit{A}:=\left\{(f,h)\in \mathsf{X}\oplus \mathsf{Z}:\exists g\in \mathsf{Y}\phantom{\rule{4.pt}{0ex}}\mathrm{s}.\mathrm{t}.\phantom{\rule{4.pt}{0ex}}(f,g)\in \mathit{A}\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}(g,h)\in \mathit{B}\right\}\end{array}$$

Let $1\le p<\infty $ be a fixed real number. The Lebesgue space ${\mathsf{L}}^{p}\left([a,b]\right)$ consists of those Lebesgue measurable functions $f:[a,b]\to \mathbb{C}$ on the intervall $[a,b]=[a,b]\subset \mathbb{R}$ for which the norm
is finite. For $p=\infty $ the space ${\mathsf{L}}^{\infty}\left([a,b]\right)$ is the set of all Lebesgue measurable functions such that ${\parallel f\parallel}_{\infty}=\mathrm{ess}{sup}_{x\in [a,b]}\left|f\left(x\right)\right|$ is finite where $\mathrm{ess}sup$ denotes supremum up to sets of Lebesgue measure zero (called essential supremum). The space $\mathsf{B}\left(\right[a,b\left]\right)$ consists of all bounded functions on $[a,b]$. Its norm is ${\parallel f\parallel}_{\mathsf{B}}={sup}_{x\in [a,b]}\left|f\left(x\right)\right|$. The space $\mathsf{C}\left([a,b]\right)={\mathsf{C}}^{0}\left([a,b]\right)$ consists of all continuous functions. Its norm is again ${\parallel f\parallel}_{\mathsf{B}}={sup}_{x\in [a,b]}\left|f\left(x\right)\right|$ because continuous functions on a compact interval are also bounded. For $0<\gamma \le 1$ and $f:[a,b]\to \mathbb{C}$ the number
is called Hölder constant of f on $[a,b]$ of Hölder order γ. The Hölder space ${\mathsf{C}}^{\gamma}\left([a,b]\right)$ is defined as
and is a Banach space for the norm

$$\begin{array}{c}\hfill {\parallel f\parallel}_{p}={\left(\underset{[a,b]}{\int}{\left|f\left(x\right)\right|}^{p}\mathrm{d}x\right)}^{1/p}\end{array}$$

$$\begin{array}{c}\hfill {\mathrm{H}\xf6\mathrm{l}}_{\gamma}(f,[a,b]):=sup\left\{\frac{\left|f\right(x)-f(y\left)\right|}{{|x-y|}^{\gamma}};x,y\in [a,b],x\ne y\right\}\in [0,\infty ]\end{array}$$

$$\begin{array}{c}\hfill {\mathsf{C}}^{\gamma}\left([a,b]\right):=\left\{f\in \mathsf{C}\left([a,b]\right):{\mathrm{H}\xf6\mathrm{l}}_{\gamma}(f,[a,b])<\infty \right\}\end{array}$$

$$\begin{array}{c}\hfill {\parallel f\parallel}_{{\mathsf{C}}^{\gamma}}=\underset{s\in [a,b]}{sup}\left|f\left(x\right)\right|+{\mathrm{H}\xf6\mathrm{l}}_{\gamma}(f,[a,b]).\end{array}$$

For $\alpha =k+\gamma >1$ with $k=0,1,2,...$ and $0<\gamma \le 1$ it is defined as
with
where ${f}^{\left(k\right)}$ is the k-th derivative of f.

$$\begin{array}{c}\hfill {\mathsf{C}}^{\alpha}\left([a,b]\right):=\left\{f\in {\mathsf{C}}^{k}\left([a,b]\right):{\mathrm{H}\xf6\mathrm{l}}_{\gamma}({f}^{\left(k\right)},[a,b])<\infty \right\}\end{array}$$

$$\begin{array}{c}\hfill {\parallel f\parallel}_{{\mathsf{C}}^{\alpha}}={\parallel f\parallel}_{{\mathsf{C}}^{k}}+{\parallel {f}^{\left(k\right)}\parallel}_{{\mathsf{C}}^{\gamma}}\end{array}$$

A family $\left\{T\right(t\left)\right\}$, $t\ge 0$ of bounded linear operators $T\left(t\right):\mathsf{X}\to \mathsf{X}$ on a Banach space $\mathsf{X}$ is called a strongly continuous one-parameter semigroup if it satisfies:

- (a)
- $T\left(0\right)={\mathsf{1}}_{\mathsf{X}}$.
- (b)
- $T\left(t\right)T\left(s\right)=T(t+s)$ for all $t,s\ge 0$.
- (c)
- For every $x\in \mathsf{X}$ the orbit maps ${y}_{x}:t\mapsto {y}_{x}\left(t\right):=T\left(t\right)x$ are continuous from $[0,\infty )$ into $\mathsf{X}$.

- Ross, B. A brief history and exposition of the fundamental theory of fractional calculus. In Fractional Calculus and its Applications; Ross, B., Ed.; Springer Verlag: Berlin, Germany, 1975; Volume 457, pp. 1–37. [Google Scholar]
- Ortigueira, M.; Tenreiro-Machado, J. What is a fractional derivative? J. Comput. Phys.
**2015**, 293, 4–13. [Google Scholar] [CrossRef] - Hilfer, R. Thermodynamic Scaling Derived via Analytic Continuation from the Classification of Ehrenfest. Phys. Scr.
**1991**, 44, 321. [Google Scholar] [CrossRef] - Hilfer, R. Multiscaling and the Classification of Continuous Phase Transitions. Phys. Rev. Lett.
**1992**, 68, 190. [Google Scholar] [CrossRef] [PubMed] - Hilfer, R. Fractional Calculus and Regular Variation in Thermodynamics. In Applications of Fractional Calculus in Physics; Hilfer, R., Ed.; World Scientific: Singapore, 2000; p. 429. [Google Scholar]
- Hilfer, R. Mathematical and physical interpretations of fractional derivatives and integrals. In Handbook of Fractional Calculus and Applications, Volume 1: Basic Theory; Kochubei, A., Luchko, Y., Eds.; De Gruyter: Berlin, Germany, 2019; p. 47. [Google Scholar]
- Liouville, J. Mémoire sur quelques Questions de Geometrie et de Mecanique, et sur un nouveau genre de Calcul pour resoudre ces Questions. J. l’Ecole Polytech.
**1832**, XIII, 1. [Google Scholar] - Kochubei, A.; Luchko, Y. Basic FC operators and their properties. In Handbook of Fractional Calculus and Applications, Volume 1: Basic Theory; Kochubei, A., Luchko, Y., Eds.; De Gruyter: Berlin, Germany, 2019; p. 23. [Google Scholar]

1 | properties to be desired. |

2 | It is common to use only one of the symbols $\mathit{I}$ or $\mathit{D}$ in the sense that either ${\mathit{D}}^{\alpha}={\mathit{I}}^{-\alpha}$ or ${\mathit{I}}^{\alpha}={\mathit{D}}^{-\alpha}$. In this paper we keep the distinction between $\mathit{I}$ and $\mathit{D}$ by assuming $\mathrm{Re}\alpha \ge 0$ unless otherwise specified. This entails discussing the case $\mathrm{Re}\alpha =0$ separately whenever necessary. |

3 | Dependencies of ${\mathit{I}}_{}^{\alpha}$ and ${\mathit{D}}_{}^{\alpha}$ on other parameters are usually present, but notationally suppressed. |

4 | Here the index (b) refers to desideratum (b). The same applies in desiderata (d)–(f) below. |

5 | (a) for all $f,g\in \mathsf{X}$ also $f+g\in \mathsf{X}$, (b) $f+g=g+f$, (c) $f+(g+h)=(f+g)+g$, (d) there exists an element $0\in \mathsf{X}$ (called origin ) such that $f+0=f$ for all $f\in \mathsf{X}$, (e) for all $f\in \mathsf{X}$ there is an element $-f\in \mathsf{X}$ such that $f+(-f)=0$ (f) for all $a\in \mathbb{R}$ (or $a\in \mathbb{C}$) and $f\in \mathsf{X}$ an element $af\in \mathsf{X}$ is defined, (g) for all $a\in \mathbb{R}$ (or $a\in \mathbb{C}$) and $f,g\in \mathsf{X}$ one has $a(f+g)=af+ag$, (h) for all $a,b\in \mathbb{R}$ (or $a,b\in \mathbb{C}$) and $f\in \mathsf{X}$ one has $(a+b)f=af+bf$, (i) for all $a,b\in \mathbb{R}$ (or $a,b\in \mathbb{C}$) and $f\in \mathsf{X}$ one has $a\left(bf\right)=\left(ab\right)f$, and (j) $1f=f$ for all $f\in \mathsf{X}$. |

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).