# Dual Numbers and Operational Umbral Methods

^{1}

^{2}

^{3}

^{*}

*Keywords:*dual numbers; operational methods; umbral image techniques

Next Article in Journal / Special Issue

Previous Article in Journal

Previous Article in Special Issue

Previous Article in Special Issue

Institut de Recherche en Informatique Fondamentale (IRIF), Université de Paris, Bâtiment Sophie Germain, Case Courier 7014, 8 Place Aurélie Nemours, CEDEX 13, 75205 Paris, France

ENEA—Frascati Research Center, Via Enrico Fermi 45, 00044 Rome, Italy

H. Niewodniczański Institute of Nuclear Physics, Polish Academy of Science, ul. Radzikowskiego 152, 31-342 Kraków, Poland

Author to whom correspondence should be addressed.

Received: 22 May 2019
/
Revised: 25 June 2019
/
Accepted: 26 June 2019
/
Published: 2 July 2019

(This article belongs to the Special Issue Non-associative Structures and Other Related Structures)

Dual numbers and their higher-order version are important tools for numerical computations, and in particular for finite difference calculus. Based on the relevant algebraic rules and matrix realizations of dual numbers, we present a novel point of view, embedding dual numbers within a formalism reminiscent of operational umbral calculus.

Dual numbers (DNs), introduced during the second half of the 19th century [1,2,3,4,5], can be viewed as abstract entities, similar to ordinary complex numbers, and are defined as
where the corresponding “imaginary” unit or dual number unit (DNU) $\u03f5$ is a nilpotent number,

$$z=x+\u03f5y\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{2.em}{0ex}}(x,y)\in \mathbb{R}\phantom{\rule{0.166667em}{0ex}}$$

$${\u03f5}^{2}=0\phantom{\rule{2.em}{0ex}}and\phantom{\rule{2.em}{0ex}}\u03f5\ne 0.$$

Dual numbers were originally introduced within the context of geometrical studies, and later exploited to deal with problems in pure and applied mechanics [6,7]. For instance, it has been demonstrated in [8,9,10] how to formulate the equations of rigid body motion in terms of just three “dual” equations instead of their six “real” counterparts (thereby realizing an equivalence between spherical and spatial kinematics). This approach has been extended in [11,12,13] to a treatment of rigid body motion in terms of a certain variant of “hyper-dual” numbers, implemented in contrast to our approach via sets of “ordinary” dual numbers together with certain algebraic relations that are motivated from the specific requirements within the relevant field of robotics and of mechanics. More recently, as further discussed in the present paper, the importance of a different kind of higher-order dual numbers has been recognized in numerical analysis to reduce round-off errors [14]. We believe that the use of dual numbers in the applied sciences is not as widespread as it could be, and that many new fields of research would benefit from their relevant introduction. An important domain in which they may bring significant novelties is that of the perturbative techniques in classical and quantum mechanics.

The main contribution of this paper consists in fixing the underlying algebraic rules of the dual numbers in the wider context of umbral and operational calculus. The paper is organized as follows: Section 2 delivers a basic mathematical introduction to dual numbers. Section 3 is devoted to the description of the computational procedure based upon dual numbers and umbral calculus. In Section 4, we provide insight into how this powerful method can be applied to deal with problems arising in different contexts. For illustration, we consider the Schrödinger and the heat equation, cornerstones in their respective fields of physics. Section 5 provides a conclusion with further considerations for future works.

The DN algebraic rules [15,16], summarized below, are a straightforward consequence of the previous identity in Equation (2) (with $z=x+\u03f5y$ and $w=u+\u03f5v$):

$$\begin{array}{c}\mathbf{Component}-\mathbf{wise}\mathbf{algebraic}\mathbf{addition}\hfill \\ z+w=x+u+\u03f5(y+\nu )\hfill \\ \mathbf{Product}\hfill \\ z\xb7w=xu+\u03f5(x\nu +yu)\hfill \\ \mathbf{Inverse}\hfill \\ {z}^{-1}=\frac{1}{x}\left(1-\u03f5\phantom{\rule{0.166667em}{0ex}}\frac{y}{x}\right)\phantom{\rule{1.em}{0ex}}(x\ne 0)\hfill \\ \mathbf{Power}\hfill \\ {z}^{n}={x}^{n}\left(1+n\u03f5\frac{y}{x}\right)\phantom{\rule{1.em}{0ex}}(n\in {\mathbb{Z}}_{\ge 0}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{0.277778em}{0ex}}x\ne 0)\hfill \end{array}$$

While the addition operation is entirely analogous to the component-wise addition operation on two-dimensional vectors, the last three operations (product, inverse and power) characterize the distinguishing special algebraic properties of dual numbers (DNs). The multiplication is commutative, associative and distributive, thus DNs form a two-dimensional associative and commutative algebra over the real numbers.

We now extend this traditional dual number formalism as motivated by the following type of problem. Consider the Taylor expansion up to some order k (denoted ${\approx}_{k}$) of an at least k-fold continuously differentiable function f around a point x,

$$f(x+y){\approx}_{k}\sum _{m=0}^{k}\frac{{y}^{m}}{m!}{f}^{\left(m\right)}\left(x\right)\phantom{\rule{0.166667em}{0ex}}.$$

Following the automatic differentiation paradigm [17,18,19], since in practice the function f will be implemented in some algorithmic from, it may be advantageous to formulate truncations such as Equation (4) in terms of generalized (or higher-order) dual numbers. To this end, let us introduce the families of square matrices ${}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}$, ${}_{k}\widehat{1}$ and ${}_{k}\widehat{0}$ with entries (for $i,j=1,\cdots ,k$)
where ${\delta}_{i,j}$ denotes the Kronecker symbol. It is straightforward to verify that for all $k\ge 2$ and $\ell \ge 0$

$${\left({}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}\right)}_{i,j}:={\delta}_{j,i\pm 1}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{2.em}{0ex}}{\left({}_{k}\widehat{1}\right)}_{i,j}:={\delta}_{i,j}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{2.em}{0ex}}{\left({}_{k}\widehat{0}\right)}_{i,j}:=0\phantom{\rule{0.166667em}{0ex}},$$

$${\left({}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}\ell}\right)}_{i,j}={\delta}_{j,i\pm \ell}\phantom{\rule{1.em}{0ex}}\Rightarrow \phantom{\rule{1.em}{0ex}}{\left({}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}\right)}^{k}=0\phantom{\rule{0.166667em}{0ex}}.$$

Then, under the assumptions in Equation (4), endowing the function $f\left(x\right)$ suitably with a component-wise action on square matrices, we find (for $k\ge 2$)

$$f\left(x\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{1}+y\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}\right)=\sum _{m=0}^{k-1}\frac{1}{m!}{y}^{m}{f}^{\left(m\right)}\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}m}\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}.$$

For example, setting $k=2$, reproduces the well-known dual number identity [19]

$$f\left(x\phantom{\rule{0.166667em}{0ex}}{}_{2}\widehat{1}+y\phantom{\rule{0.166667em}{0ex}}{}_{2}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)=f\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{2}\widehat{1}+y{f}^{\prime}\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{2}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}=\left(\begin{array}{cc}f\left(x\right)& y{f}^{\prime}\left(x\right)\\ 0& f\left(x\right)\end{array}\right)\phantom{\rule{0.166667em}{0ex}}.$$

For illustration, setting $k=3$, we obtain

$$f\left(x\phantom{\rule{0.166667em}{0ex}}*{[}_{3}^{}]\widehat{1}+y\phantom{\rule{0.166667em}{0ex}}*{[}_{3}^{}]\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)=f\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{3}\widehat{1}+y{f}^{\prime}\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{3}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}+{\textstyle \frac{1}{2}}{y}^{2}{f}^{\prime \prime}\left(x\right)\phantom{\rule{0.166667em}{0ex}}{}_{3}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}2}=\left(\begin{array}{ccc}f\left(x\right)& y{f}^{\prime}\left(x\right)& {\textstyle \frac{1}{2}}{y}^{2}{f}^{\prime \prime}\left(x\right)\\ 0& f\left(x\right)& y{f}^{\prime}\left(x\right)\\ 0& 0& f\left(x\right)\end{array}\right)\phantom{\rule{0.166667em}{0ex}}.$$

It may be verified that, e.g., for the choice “+” in Equation (5), the first row of the resulting matrices in Equation (7) contain the terms of the Taylor expansion up to order $k-1$. More explicitly, introducing the auxiliary notations for the row vector $\left.\u2329{}_{k}{e}_{1}\right|$ and the column vector $\left|{}_{k}\mathbf{1}\right.\u232a$ of length $k\ge 2$,
allows us to define the order k evaluation operation acting on some function $F\left({}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)$ (which is itself assumed to act entry-wise) depending on a generalized dual number ${}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}$ as

$$\left.\u2329{}_{k}{e}_{1}\right|:=(1,0,\cdots ,0)\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\left|{}_{k}\mathbf{1}\right.\u232a:=\left(\begin{array}{c}1\\ \vdots \\ 1\end{array}\right)\phantom{\rule{0.166667em}{0ex}},$$

$${\langle F\left({}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)\rangle}_{k}:=\left.\u2329{}_{k}{e}_{1}\right|F\left({}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)\left|{}_{k}\mathbf{1}\right.\u232a\phantom{\rule{0.166667em}{0ex}}.$$

We thus find that

$${\u2329f\left(x\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{1}+y\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\right)\u232a}_{k}=\sum _{m=0}^{k-1}\frac{{y}^{m}}{m!}{f}^{\left(m\right)}\left(x\right)\phantom{\rule{0.166667em}{0ex}}.$$

Recently, expansions such as Equation (7) have received considerable interest in the field of numerical analysis [20]. Referring to Fike [19] for an overview, various alternative types of “numbers” have been studied for the purpose of finding optimized numerical schemes for computing kth-order derivatives of functions. For example, it has been demonstrated that the use of so-called hyper-dual numbers results in first- and second-derivative calculations that are exact, regardless of the step size [14].

For later convenience, motivated by the identity (for $k\ge 2$)
we may introduce the so-called truncated exponential polynomials [21] ${e}_{n}\left(x\right)$ defined through the series
which may be expressed in terms of generalized dual numbers as

$$exp\left({}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\phantom{\rule{0.166667em}{0ex}}x\right)=\sum _{r=0}^{k-1}\frac{{x}^{r}}{r!}\phantom{\rule{0.166667em}{0ex}}{}_{k}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}r}\phantom{\rule{0.166667em}{0ex}},$$

$${e}_{n}\left(x\right):=\sum _{r=0}^{n}\frac{{x}^{r}}{r!}\phantom{\rule{0.166667em}{0ex}},$$

$$\left(\begin{array}{c}{e}_{n}\left(x\right)\\ {e}_{n-1}\left(x\right)\\ \vdots \\ {e}_{1}\left(x\right)\\ 1\end{array}\right):=exp\left(*{[}_{n+1}^{}]\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}}\phantom{\rule{0.166667em}{0ex}}x\right)\left|{}_{n+1}\mathbf{1}\right.\u232a\phantom{\rule{0.166667em}{0ex}}.$$

One may thus easily verify (via Equations (13) and (14)) the property

$${e}_{n}^{\prime}\left(x\right)={e}_{n-1}\left(x\right)\phantom{\rule{0.166667em}{0ex}}.$$

Having provided a matrix-based extension of ordinary to kth-order dual numbers of arbitrary order $k\ge 2$, we now proceed to develop a computational procedure embedding dual numbers with other techniques inspired by the operational umbral formalism.

Starting from this section, we employ the notational simplification of writing $\u03f5$ for the dual number unit (DNU)${}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}$ of generalized dual numbers (cf. Equation (5)), making the order $k\ge 2$ of the DN explicit only via the analog of the notation in Equation (11), and masking the matrix nature of ${}_{k}\widehat{\u03f5}{}_{\pm}^{\phantom{\rule{0.166667em}{0ex}}}$. Thus, for some function $F\equiv F\left(\u03f5\right)$, we write
for the truncation of F via setting ${\u03f5}^{k+1}=0$ and afterwards $\u03f5=1$. It is straightforward to verify that this formal definition may be implemented in terms of the matrix representations introduced in Section 2 via use of Equation (11) as

$$F\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}G\phantom{\rule{1.em}{0ex}}:\iff \phantom{\rule{1.em}{0ex}}G=\left(F{|}_{{\u03f5}^{k+1}\to 0}\right){|}_{\u03f5\to 1}$$

$$G={\langle F{}_{k+1}\widehat{\u03f5}{}_{+}^{\phantom{\rule{0.166667em}{0ex}}})\rangle}_{k+1}\phantom{\rule{0.166667em}{0ex}}.$$

Consider then the dual complex parameter

$$\widehat{z}\equiv \widehat{z}(a,b):=a+\u03f5b\phantom{\rule{0.166667em}{0ex}}.$$

Following the principles of umbral calculus, we treat the dual complex parameter $\widehat{z}$ as an ordinary algebraic quantity in calculations of integrals, derivatives and other operations, delaying the evaluation of $\widehat{z}$ via performing the operation $\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}$ to the very end of the computations. Note that albeit the term umbral calculus has been introduced in the seminal papers by Roman and Rota [22], in the following we make reference to the formalism developed in [23] which enriches the original formalism with the wealth of techniques derived from the operational calculus [22,23]. We now illustrate the computational benefits of this approach via a number of examples.

We first consider a Gaussian-type function explicitly containing in its argument the dual complex parameter in Equation (19), whence the dual-shifted Gaussian function

$$f\left(x\right)={e}^{-\alpha {x}^{2}+\widehat{z}(a,b)\phantom{\rule{0.166667em}{0ex}}x}\phantom{\rule{0.166667em}{0ex}}.$$

Assuming for instance third-order dual numbers (i.e., ${\u03f5}^{3}=0$), we may write the above function in more conventional terms as
which is easily recognized as the product of a shifted Gaussian with a second-degree polynomial.

$$f\left(x\right)\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{2}\phantom{\rule{0.166667em}{0ex}}{e}^{-\alpha {x}^{2}+ax}\left[1+bx+{\textstyle \frac{1}{2}}{\left(bx\right)}^{2}\right]\phantom{\rule{0.166667em}{0ex}},$$

In full analogy to the umbral operational methods of Licciardi [23], it is then straightforward to calculate the following integral of the function f of Equation (20) via the standard Gaussian integral formula

$${\int}_{-\infty}^{+\infty}f\left(x\right)dx=\sqrt{{\textstyle \frac{\pi}{\alpha}}}\phantom{\rule{0.166667em}{0ex}}{e}^{\frac{\widehat{z}{(a,b)}^{2}}{4\alpha}}=\sqrt{{\textstyle \frac{\pi}{\alpha}}}\phantom{\rule{0.166667em}{0ex}}{e}^{\frac{{a}^{2}}{4\alpha}+\frac{ab}{2\alpha}\u03f5+\frac{{b}^{2}}{4\alpha}{\u03f5}^{2}}\phantom{\rule{0.166667em}{0ex}}.$$

The term on the right has in fact a definite meaning, since the use of the generating function of the two-variable Hermite polynomials [24]

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty}\frac{{t}^{n}}{n!}{H}_{n}(x,y)& ={e}^{xt+y{t}^{2}}\hfill \end{array}$$

$$\begin{array}{cc}\hfill {H}_{n}(x,y)& ={e}^{y{\partial}_{x}^{2}}{x}^{n}=n!\sum _{r=0}^{\lfloor \frac{n}{2}\rfloor}\frac{{x}^{n-2r}{y}^{r}}{(n-2r)!r!}\hfill \end{array}$$

permits to cast the right-hand side of Equation (22) into the form

$$\sqrt{{\textstyle \frac{\pi}{\alpha}}}\phantom{\rule{0.166667em}{0ex}}{e}^{\frac{{a}^{2}}{4\alpha}+\frac{ab}{2\alpha}\u03f5+\frac{{b}^{2}}{4\alpha}{\u03f5}^{2}}=\sqrt{{\textstyle \frac{\pi}{\alpha}}}\phantom{\rule{0.166667em}{0ex}}{e}^{\frac{{a}^{2}}{4\alpha}}\sum _{m\ge 0}\frac{{\u03f5}^{m}}{m!}\phantom{\rule{0.166667em}{0ex}}{H}_{m}\left({\textstyle \frac{ab}{2\alpha}},{\textstyle \frac{{b}^{2}}{4\alpha}}\right)\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}\sqrt{{\textstyle \frac{\pi}{\alpha}}}\phantom{\rule{0.166667em}{0ex}}{e}^{\frac{{a}^{2}}{4\alpha}}{}_{H}{e}_{k}\left({\textstyle \frac{ab}{2\alpha}},{\textstyle \frac{{b}^{2}}{4\alpha}}\right)\phantom{\rule{0.166667em}{0ex}}.$$

Let us consider as a further example
and the following infinite integral (for $\mathrm{Re}\left(a\right)>0$)

$$g\left(x\right):={e}^{-\widehat{z}(a,b){x}^{2}}$$

$${\int}_{-\infty}^{+\infty}g\left(x\right)dx=\sqrt{\frac{\pi}{\widehat{z}}}=\sqrt{\frac{\pi}{a+\u03f5b}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}\sqrt{\frac{\pi}{a}}\sum _{r=0}^{k}\left(\genfrac{}{}{0pt}{}{-\frac{1}{2}}{r}\right){\left(\frac{b}{a}\right)}^{r}\phantom{\rule{0.166667em}{0ex}}.$$

Here, by invoking the operation $\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}$, we obtain a finite series, thus obviating the need to impose any condition on the relevant convergence range.

The calculus of higher-order dual numbers may be further refined via combining it with the wealth of techniques available from the theory of special functions and symbolic calculus as put forward in [23,28,29,30,31,32]. Consider for illustration the following identity, known from the theory of two-variable Hermite polynomials [33],
which allows to simplify the task of calculating successive derivatives of the dual Gaussian introduced in Equation (26), such as in the computation
Here, the first step follows from (28) and the second by invoking (23b).

$${\partial}_{x}^{n}{e}^{\alpha {x}^{2}}={H}_{n}(2\alpha x,\alpha ){e}^{\alpha {x}^{2}}$$

$${\partial}_{x}^{n}{e}^{-\widehat{z}{x}^{2}}={H}_{n}(-2\widehat{z}x,-\widehat{z}){e}^{-\widehat{z}{x}^{2}}=n!\sum _{r=0}^{\lfloor {\textstyle \frac{n}{2}}\rfloor}\sum _{s\ge 0}\frac{{(-1)}^{n-r+s}{2}^{n-2r}{x}^{n-2(r-s)}}{(n-2r)!r!s!}{\widehat{z}}^{n-r+s}.$$

Another interesting type of calculus concerns infinite integrals involving rational functions such as

$$\Phi (x;a,b):=\frac{1}{1+\widehat{z}{x}^{2}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}\frac{1}{1+a{x}^{2}}\sum _{r=0}^{k}{\left(-\frac{b{x}^{2}}{1+a{x}^{2}}\right)}^{r}\phantom{\rule{0.166667em}{0ex}}.$$

For example, the infinite integral
may be easily transformed into truncated form in full analogy to the calculation summarized in Equation (27).

$${\int}_{-\infty}^{+\infty}\frac{1}{1+\widehat{z}{x}^{2}}dx=\frac{\pi}{\sqrt{\widehat{z}}}$$

Referring to Behr et al. [34] for the precise technical details (compare also [33]), suffice it here to provide the following definition for the action of the formal integration operator $\widehat{\mathbb{I}}$ on the formal variable v (for $\alpha \in \mathbb{C}$):

$$\widehat{\mathbb{I}}\left({v}^{\alpha}\right):=\frac{1}{\Gamma \left(\alpha \right)}\phantom{\rule{0.166667em}{0ex}}.$$

Then, an interesting variant of the example presented in Equation (29) may be obtained as

$$\widehat{\mathbb{I}}\left[{\int}_{-\infty}^{+\infty}v\Phi (x;a,vb)dx\right]=\widehat{\mathbb{I}}\left[\frac{v\pi}{\sqrt{z(a,v\beta )}}\right]\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}\sqrt{\frac{\pi}{a}}\sum _{r=0}^{k}\frac{1}{\Gamma (\frac{1}{2}-r){(r!)}^{2}}{\left(\frac{b}{a}\right)}^{r}\phantom{\rule{0.166667em}{0ex}}.$$

In summary, the combination of the concept of higher order dual numbers with techniques from symbolic and umbral-image type calculus appears to offer a large potential in view of novel tools of computation. To corroborate this claim, we now present some first high-level results in this direction.

Before entering the main topic of this section, let us recall a few useful “operational rules”, starting with the Glaisher identity [27,35]
which can also be understood as the solution of the heat equation with a Gaussian as initial function. It proves particularly useful in the following to note that, according to the definition of the Hermite polynomials ${H}_{n}(x,y)$ as given in Equation (23b), an alternative interpretation of Equation (33) is provided in terms of the double-lacunary exponential generating function ${\mathcal{H}}_{2,0}(\lambda ;x,y)$ of the polynomials ${H}_{n}(x,y)$, where we employ notations as in [36]

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\alpha {x}^{2}}={\textstyle \frac{1}{\sqrt{1+4\tau \alpha}}}{e}^{-\frac{\alpha {x}^{2}}{1+4\tau \alpha}}\phantom{\rule{0.166667em}{0ex}},$$

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\alpha {x}^{2}}=\sum _{n\ge 0}\frac{{(-\alpha )}^{n}}{n!}{H}_{2n}(x,\tau )={\mathcal{H}}_{2,0}(-\alpha ;x,\tau )\phantom{\rule{0.166667em}{0ex}}.$$

By specializing Equation (33) to $\alpha =\widehat{z}$ (with $\widehat{z}=a+\u03f5b$ the dual complex parameter in Equation (19)), we obtain the operational identity

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\widehat{z}{x}^{2}}={\textstyle \frac{1}{\sqrt{1+4\tau \widehat{z}}}}{e}^{-\frac{\widehat{z}{x}^{2}}{1+4\tau \widehat{z}}}\phantom{\rule{0.166667em}{0ex}}.$$

Via the simple factorizations
we may transform the identity in Equation (35) as

$$\begin{array}{cc}\hfill 1+4\widehat{z}\tau & =\gamma (a,\tau )\gamma \left({\textstyle \frac{b\u03f5}{\gamma (a,\tau )}},\tau \right),\hfill \\ \hfill \frac{\widehat{z}}{1+4\widehat{z}\tau}& =\frac{a}{\gamma (a,\tau )}+\frac{b\u03f5}{{\left[\gamma (a,\tau )\right]}^{2}\gamma \left({\textstyle \frac{b\u03f5}{\gamma (a,\tau )}},\tau \right)},\hfill \\ \hfill \gamma (c,\tau )& =1+4c\tau \phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\widehat{z}{x}^{2}}={\mathcal{H}}_{2,0}\left(-{\textstyle \frac{b\u03f5}{{\left[\gamma (a,\tau )\right]}^{2}}};x,\tau \gamma (a,\tau )\right){\mathcal{H}}_{2,0}(-a;x,\tau )\phantom{\rule{0.166667em}{0ex}}.$$

By re-inserting the definition of the first double-lacunary exponential generating function, using the Glaisher-identity in Equation (33) for the second one and finally truncating to order k, we eventually arrive at the compact result

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\widehat{z}{x}^{2}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}\frac{{e}^{-\frac{\alpha {x}^{2}}{\gamma (a,\tau )}}}{\sqrt{\gamma (a,\tau )}}\sum _{n=0}^{k}\frac{1}{n!}{\left({\textstyle \frac{b}{{\left[\gamma (a,\tau )\right]}^{2}}}\right)}^{n}\phantom{\rule{0.166667em}{0ex}}{H}_{2n}\left(x,\tau \gamma (a,\tau )\right)\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{2.em}{0ex}}\gamma (a,\tau )=1+4a\tau \phantom{\rule{0.166667em}{0ex}}.$$

For example, by evaluating the above expression for second order dual numbers, one finds

$${e}^{\tau \frac{{d}^{2}}{d{x}^{2}}}{e}^{-\widehat{z}{x}^{2}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{2}\phantom{\rule{0.166667em}{0ex}}\frac{{e}^{-\frac{a{x}^{2}}{\gamma (a,\tau )}}}{\sqrt{\gamma (a,\tau )}}\left(1-\frac{b}{\gamma {(a,\tau )}^{2}}{H}_{2}(x,\tau \gamma (a,\tau ))+\frac{{b}^{2}}{2\gamma {(a,\tau )}^{4}}{H}_{4}(x,\tau \gamma (a,\tau ))\right)\phantom{\rule{0.166667em}{0ex}}.$$

The above result may be interpreted as the solution of the heat-type equation

$${\partial}_{\tau}F(x,\tau )={\partial}_{x}^{2}F(x,\tau )\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}F(x,0)={e}^{-\widehat{z}{x}^{2}}\phantom{\rule{0.166667em}{0ex}}.$$

An analogous problem has been addressed in [33] within the framework of a different method. The techniques we have envisaged may be further exploited to treat the paraxial propagation of the so-called flattened distributions, introduced in [37] to study the laser field evolution in optical cavities employing super-Gaussian mirrors [38]. These cavities shape beams whose transverse distribution is not reproduced by a simple Gaussian, but by a function exhibiting a quasi-constant flat-top, expressible through a function of the type

$$\begin{array}{c}\hfill E(x;p):={e}^{-{\left|x\right|}^{p}},\phantom{\rule{2.em}{0ex}}p\in {\mathbb{Z}}_{>0}\phantom{\rule{0.166667em}{0ex}}.\end{array}$$

The paraxial propagation of these beams has less obvious properties than, e.g., Laguerre or Hermite Gauss modes [38]. To overcome this drawback, Gori introduced the so-called flattened beams [37], which permit a fairly natural expansion in terms of Gauss Laguerre/Hermite modes, thus providing a straightforward solution to the corresponding paraxial wave equation.

Invoking our formalism as developed thus far, we may approximate the aforementioned Gori beams in the form

$$E(x;p)\approx Y(x;\alpha |m):={e}^{-\alpha {x}^{2}}{e}_{m}\left({x}^{2}\right)\phantom{\rule{0.166667em}{0ex}}.$$

Here, ${e}_{m}\left(x\right)$ denotes the truncated exponential polynomials introduced in Equation (14), and both parameters $\alpha $ and m depend on p (see [33] for further details). Recalling from Equation (19) the definition $\widehat{z}(a,b):=a+b\u03f5$ of the dual complex parameter, the r.h.s. of Equation (42) may be equivalently expressed as
whence as an instance of a dual Gaussian as described in Section 3.2. The problem of the relevant propagation can accordingly be reduced to that of an ordinary Gaussian mode, namely to the solution of the Schrödinger type equation

$${e}^{-\widehat{z}(\alpha ,-1){x}^{2}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{m}\phantom{\rule{0.166667em}{0ex}}Y(x;\alpha |m)\phantom{\rule{0.166667em}{0ex}},$$

$$i{\partial}_{\tau}\Psi (x,\tau )=-{\partial}_{x}^{2}\Psi (x,\tau )\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\Psi (x,0)=Y(x;\alpha |m)\phantom{\rule{0.166667em}{0ex}}.$$

Consequently, by invoking the operational identity in Equation (35), the paraxial evolution of a flattened beam may be expressed in the form
which reproduces indeed the known solution of our problem (compare [33]).

$$\Psi (x,\tau )={e}^{i\tau {\partial}_{x}^{2}}{e}^{-\widehat{z}(\alpha ,-1){x}^{2}}=\frac{1}{\sqrt{1+4i\tau \widehat{z}(\alpha ,-1)}}{e}^{-\frac{\widehat{z}(\alpha ,-1){x}^{2}}{1+4i\tau \widehat{z}(\alpha ,-1)}}\phantom{\rule{0.166667em}{0ex}},$$

In a forthcoming paper, we will discuss this specific application in further detail by applying the method to the problem of designing super-Gaussian optical systems.

The wide flexibility of the method we propose is corroborated by the following further example, relevant to the use of operational ordering tools. Let us consider an evolution equation of the form

$${\partial}_{\tau}F(x,\tau )=[\gamma {\partial}_{x}-\widehat{z}x]F(x,\tau )\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}F(x,0)=f\left(x\right)\phantom{\rule{0.166667em}{0ex}}.$$

The relevant procedure for combining differential calculus with the umbral formalism is described in [39]. Following this approach, the solution of Equation (46) can be expressed as

$$F(x,\tau )={e}^{\tau (\gamma {\partial}_{x}-\widehat{z}x)}f\left(x\right)\phantom{\rule{0.166667em}{0ex}}.$$

To evaluate the solution of Equation (47) explicitly, we need to suitably “factorize” the exponential operator. This so-called disentanglement operation may be implemented via the Weyl formula [40]
which is applicable whenever the identities $[\widehat{X},[\widehat{X},\widehat{Y}]]=[[\widehat{X},\widehat{Y}],\widehat{Y}]]=0$ hold. Applying the Weyl formula in Equation (48) to our solution in Equation (47), if we let $\widehat{X}=-\tau \widehat{z}x$ and $\widehat{Y}=\tau \gamma {\partial}_{x}$ (resulting in $[\widehat{X},\widehat{Y}]={\tau}^{2}\gamma \widehat{z}$, and with higher-order commutators vanishing), we obtain

$${e}^{\widehat{X}+\widehat{Y}}={e}^{-\frac{1}{2}[\widehat{X},\widehat{Y}]}{e}^{\widehat{X}}{e}^{\widehat{Y}}\phantom{\rule{0.166667em}{0ex}},$$

$$F(x,\tau )={e}^{-\frac{1}{2}{\tau}^{2}\gamma \widehat{z}}{e}^{-\widehat{z}x\tau}f(x+\gamma \tau )\phantom{\rule{0.166667em}{0ex}}.$$

Thus, the solution at any desired truncation order k may be obtained by invoking the dual number evaluation operation $\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{k}\phantom{\rule{0.166667em}{0ex}}$ of Equation (17).

As already mentioned above, the Weyl formula applies in the example presented because the algebraic structure of the argument of the exponential in Equation (47) satisfies a special property: the commutators of the associated generators reduce to a constant after the first commutation bracket. A more interesting extension is given by the case in which the generators are embedded into a solvable Lie algebra. In this case, the combined use of the dual number formalism and of the Wei-Norman ordering method [41] leads to new and interesting results. They deserve a separate treatment that will be reported in a forthcoming paper.

As a final example, we define modified Hermite polynomials ${H}_{n}(x,\widehat{z})$, whence ordinary two-variable Hermite polynomials ${H}_{n}(x,y)$ as introduced in Equation (23b) evaluated at $y=\widehat{z}$, with $\widehat{z}\equiv \widehat{z}(a,b)$ the dual complex parameter of Equation (19),

$${H}_{n}(x,\widehat{z})={e}^{\widehat{z}{\partial}_{x}^{2}}{x}^{n}\phantom{\rule{0.166667em}{0ex}}.$$

It is straightforward to verify that these modified polynomials inherit all the relevant properties from the polynomials ${H}_{n}(x,y)$, such as the recurrences
and we find that they satisfy the second order differential equation

$$\begin{array}{cc}\hfill {\partial}_{x}{H}_{n}(x,\widehat{z})& =n{H}_{n-1}(x,\widehat{z})\phantom{\rule{0.277778em}{0ex}},\hfill \\ \hfill {H}_{n+1}(x,\widehat{z})& =x{H}_{n}(x,\widehat{z})+2\widehat{z}{\partial}_{x}{H}_{n}(x,\widehat{z})\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$2\widehat{z}{\partial}_{x}^{2}{H}_{n}(x,\widehat{z})+x{\partial}_{x}{H}_{n}(x,\widehat{z})=n{H}_{n}(x,\widehat{z})\phantom{\rule{0.166667em}{0ex}}.$$

The explicit form of these truncated polynomials is easily obtained. For example, by using third order dual numbers, which implies
we find the explicit formula
where we have invoked the well-known identity

$${e}^{\widehat{z}{\partial}_{x}^{2}}\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{2}\phantom{\rule{0.166667em}{0ex}}{e}^{a{\partial}_{x}^{2}}\left(1+b{\partial}_{x}^{2}+\frac{1}{2}{b}^{2}{\partial}_{x}^{4}\right)\phantom{\rule{0.166667em}{0ex}},$$

$${H}_{n}(x,\widehat{z})\phantom{\rule{0.166667em}{0ex}}{\u21dd}_{2}\phantom{\rule{0.166667em}{0ex}}{H}_{n}(x,a)+b{\partial}_{a}{H}_{n}(x,a)+{\textstyle \frac{1}{2}}{b}^{2}{\partial}_{a}^{2}{H}_{n}(x,a)\phantom{\rule{0.166667em}{0ex}},$$

$${\partial}_{x}^{2}{H}_{n}(x,y)={\partial}_{y}{H}_{n}(x,y)\phantom{\rule{0.166667em}{0ex}}.$$

The method we have outlined in this paper offers many computational advantages to treat problems where truncated expansions (not necessarily of Taylor type) of functions are involved. At its core, the umbral formalism and the notion of higher order dual numbers allow delaying the explicit expansions to later stages in a given calculation, thus opening the possibility to exploit numerous efficient computation strategies from the theory of operational calculus and special functions.

The technique we have introduced in this paper is amenable for new applications in various different fields. We have presented herein the solution of parabolic equations in transport problems, and within such a context a fairly important example has been provided by treating the propagation of flattened beams [33,37] in optics. For brevity, we have just outlined the procedure in terms of a one-dimensional computation. The relevant extension to the three-dimensional case does not require any particular conceptual effort, but only a consistent numerical implementation. In a forthcoming investigation, we will further extend the method and study its potential for treating perturbative problems in classical and quantum mechanics.

Conceptualization, G.D.; methodology, N.B. and G.D.; validation, N.B., G.D. and S.L.; formal analysis, N.B., G.D., A.L., and S.L.; writing—original draft preparation, N.B., G.D., and A.L.; and writing—review and editing, N.B., A.L., and S.L.

The work of N.B. is supported by funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 753750. A.L. was supported by the NCN research project OPUS 12 No. UMO-2016/23/B/ST3/01714 and by the NAWA project: Program im. Iwanowskiej PPN/IWA/2018/1/00098. S.L. was supported by an Enea-Research Center Individual Fellowship.

N.B. would like to thank the LPTMC (Paris 06) and ENEA Frascati for warm hospitality.

The authors declare no conflict of interest. The founding sponsors had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, and in the decision to publish the results.

- Clifford, W.K. Preliminary Sketch of Biquaternions. Proc. Lond. Math. Soc.
**1871**, s1–s4, 381–395. [Google Scholar] [CrossRef] - Grünwald, J. Über duale Zahlen und ihre Anwendung in der Geometrie. Monatshefte für Mathematik Physik
**1906**, 17, 81–136. [Google Scholar] [CrossRef] - Segre, C. Le Geometrie Projettive nei Campi di Numeri Duali; Vincenzo Bona: Torino, Italy, 1912. [Google Scholar]
- Yaglom, I.M. A Simple Non-Euclidean Geometry and Its Physical Basis: An Elementary Account of Galilean Geometry and the Galilean Principle of Relativity; Springer: Berlin, Germany, 2012. [Google Scholar]
- Klawitter, D. Clifford Algebras: Geometric Modelling and Chain Geometries with Application in Kinematics; Springer: Berlin, Germany, 2014. [Google Scholar]
- Kotelnikov, A.P. Screw Calculus and Some Applications to Geometry and Mechanics. Ann. Imp. Univ. Kazan
**1895**, 24. (In Russian) [Google Scholar] - Study, E. Die Geometrie der Dynamen. Jahresbericht der Deutschen Mathematiker-Vereinigung
**1900**, 8, 204–216. [Google Scholar] - Rooney, J. On the principle of transference. In Proceedings of the Fourth World Congress on the Theory of Machines and Mechanisms; Institution of Mechanical Engineers: London, UK, 1975; pp. 1088–1092. [Google Scholar]
- Hsia, L.; Yang, A. On the principle of transference in three-dimensional kinematics. J. Mech. Des.
**1981**, 103, 652–656. [Google Scholar] [CrossRef] - Martínez, J.M.R.; Duffy, J. The principle of transference: History, statement and proof. Mech. Mach. Theory
**1993**, 28, 165–177. [Google Scholar] [CrossRef] - Cohen, A.; Shoham, M. Application of Hyper-Dual Numbers to Multibody Kinematics. J. Mech. Rob.
**2015**, 8, 011015. [Google Scholar] [CrossRef] - Cohen, A.; Shoham, M. Application of hyper-dual numbers to rigid bodies equations of motion. Mech. Mach. Theory
**2017**, 111, 76–84. [Google Scholar] [CrossRef] - Cohen, A.; Shoham, M. Principle of transference—An extension to hyper-dual numbers. Mech. Mach. Theory
**2018**, 125, 101–110. [Google Scholar] [CrossRef] - Fike, J.; Alonso, J. The Development of Hyper-Dual Numbers for Exact Second-Derivative Calculations. In Proceedings of the 49th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition; American Institute of Aeronautics and Astronautics: Reston, VA, USA, 2011. [Google Scholar] [CrossRef][Green Version]
- Harkin, A.A.; Harkin, J.B. Geometry of Generalized Complex Numbers. Math. Mag.
**2004**, 77, 118–129. [Google Scholar] [CrossRef] - Özdemir, M. Introduction to Hybrid Numbers. Adv. Appl. Clifford Algebr.
**2018**, 28. [Google Scholar] [CrossRef] - Rall, L.B. (Ed.) Automatic Differentiation: Techniques and Applications; Springer: Berlin/Heidelberg, Germany, 1981. [Google Scholar] [CrossRef]
- Rall, L.B.; Corliss, G.F. An introduction to automatic differentiation. In Computational Differentiation: Techniques, Applications, and Tools; SIAM: Philadelphia, PA, USA, 1996; Volume 89. [Google Scholar]
- Fike, J.A. Derivative Calculations Using Hyper-Dual Numbers; Technical Report; Sandia National Lab. (SNL-NM): Albuquerque, NM, USA, 2016. [Google Scholar]
- Berland, H.; (Department of Mathematical Sciences, NTNU, Trondheim, Norway). Personal communication, 2006.
- Dattoli, G.; Cesarano, C.; Sacchetti, D. A note on truncated polynomials. Appl. Math. Comput.
**2003**, 134, 595–605. [Google Scholar] [CrossRef] - Roman, S.M.; Rota, G.C. The umbral calculus. Adv. Math.
**1978**, 27, 95–188. [Google Scholar] [CrossRef][Green Version] - Licciardi, S. Umbral Calculus, a Different Mathematical Language. arXiv
**2018**, arXiv:1803.03108. [Google Scholar] - Appel, P.; De Feriet, J.K. Fonctions hypergéométriques et hypersphériques. In Polynômes d’Hermite; Gauthier-Villars: Paris, France, 1926. [Google Scholar]
- Dattoli, G. Hermite-Bessel and Laguerre-Bessel functions: A by-product of the monomiality principle. In Proceedings of the Melfi School on Advanced Topics in Mathematics and Physics, Advanced Special Functions and Applications; Aracne Editrice: Melfi, Italy, 2000; pp. 147–164. [Google Scholar]
- Dattoli, G. Generalized polynomials, operational identities and their applications. J. Comput. Appl. Math.
**2000**, 118, 111–123. [Google Scholar] [CrossRef][Green Version] - Dattoli, G.; Khan, S.; Ricci, P. On Crofton—Glaisher type relations and derivation of generating functions for Hermite polynomials including the multi-index case. Integral Transf. Spec. Funct.
**2008**, 19, 1–9. [Google Scholar] [CrossRef] - Babusci, D.; Dattoli, G.; Górska, K.; Penson, K. Repeated derivatives of composite functions and generalizations of the Leibniz rule. Appl. Math. Comput.
**2014**, 241, 193–199. [Google Scholar] [CrossRef][Green Version] - Babusci, D.; Dattoli, G. On Ramanujan Master Theorem. arXiv
**2011**, arXiv:1103.3947. [Google Scholar] - Górska, K.; Babusci, D.; Dattoli, G.; Duchamp, G.; Penson, K. The Ramanujan master theorem and its implications for special functions. Appl. Math. Comput.
**2012**, 218, 11466–11471. [Google Scholar] [CrossRef][Green Version] - Dattoli, G.; Di Palma, E.; Sabia, E.; Gorska, K.; Horzela, A.; Penson, K. Operational versus umbral methods and the Borel transform. Int. J. Appl. Comput. Math.
**2017**, 3, 3489–3510. [Google Scholar] [CrossRef] - Babusci, D.; Dattoli, G.; Górska, K.; Penson, K. Lacunary generating functions for the Laguerre polynomials. Séminaire Lotharingien Combinatoire
**2017**, 76, B76b. [Google Scholar] - Dattoli, G.; Migliorati, M. The truncated exponential polynomials, the associated Hermite forms and applications. Int. J. Math. Math. Sci.
**2006**, 2006, 98175-1. [Google Scholar] [CrossRef] - Behr, N.; Dattoli, G.; Duchamp, G.; Licciardi, S.; Penson, K. Operational Methods in the Study of Sobolev-Jacobi Polynomials. Mathematics
**2019**, 7, 124. [Google Scholar] [CrossRef] - Crofton, M. On operative symbols in the differential calculus. Proc. Lond. Math. Soc.
**1880**, 1, 122–134. [Google Scholar] [CrossRef] - Behr, N.; Duchamp, G.H.; Penson, K.A. Explicit formulae for all higher order exponential lacunary generating functions of hermite polynomials. arXiv
**2018**, arXiv:1806.08417. [Google Scholar] - Gori, F. Flattened gaussian beams. Opt. Commun.
**1994**, 107, 335–341. [Google Scholar] [CrossRef] - Siegman, A.E. Lasers university science books. Mill Valley CA
**1986**, 37, 208. [Google Scholar] - Babusci, D.; Dattoli, G. Umbral methods and operator ordering. arXiv
**2011**, arXiv:1112.1570. [Google Scholar] - Dattoli, G.; Ottaviani, P.L.; Torre, A.; Vázquez, L. Evolution operator equations: Integration with algebraic and finite difference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory. La Rivista del Nuovo Cimento
**1997**, 20, 3–133. [Google Scholar] [CrossRef] - Wei, J.; Norman, E. Lie algebraic solution of linear differential equations. J. Math. Phys.
**1963**, 4, 575–581. [Google Scholar] [CrossRef]

© 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/).