Abstract
The purpose of this article is to further develop the theory of octonion Fourier transformations (OFT), but from a different perspective than before. It follows the earlier work by Błaszczyk and Snopek, where they proved a few essential properties of the OFT of realvalued functions of three continuous variables. The research described in this article applies to discrete transformations, i.e. discretespace octonion Fourier transform (DSOFT) and discrete octonion Fourier transform (DOFT). The described results combine the theory of Fourier transform with the analysis of solutions for difference equations, using for this purpose previous research on algebra of quadruplecomplex numbers. This hypercomplex generalization of the discrete Fourier transformation provides an excellent tool for the analysis of 3D discrete linear timeinvariant (LTI) systems and 3D discrete data.
Introduction
Research in the field of signal and system processing is not only an analysis of the functions of a continuous variable (interpreted as time or space) and their representations in the frequency domain, but also in the field of discrete variables, which we naturally obtain as a result of the process of digitization (i.e. in connection with sampling of signals). As in the case of classical signal processing, so the discrete counterpart of this theory has so far mainly focused on signals with real and complex values, as well as their complex spectra. In recent years, however, more and more works have started to appear, which authors use in their research hypercomplex algebras, among others quaternions and octonions (Brackx et al. 2013; Hahn and Snopek 2016; Lian 2019; Snopek 2015; Wang et al. 2017). The area of applications is focused so far on the study of neural networks (Popa 2016, 2018), analysis of color and multispectral images (Ell et a. 2014; Gao and Lam 2014; Gomes et al. 2017; Grigoryan and Agaian 2018; Lazendić et al. 2018a, b; Sheng et al. 2018), as well as the biomedical signals processing (Delsuc 1988; Klco et al. 2017).
Octonions are defined as the 8tuple of real numbers, i.e.
where \(\mathbf{e}_1,\ldots ,\mathbf{e}_7\) are seven different octonion imaginary units, each satisfying the property \(\mathbf{e}_i^2=\mathbf{e}_i\cdot \mathbf{e}_i=1\), \(i=1,\ldots ,7\), and other octonion multiplication rules shown in Fig. 1. Octonions form a nonassociative and a noncommutative algebra (Baez 2002).
In previous studies, we focused on discussing the properties of the octonion Fourier transform (OFT) of realvalued functions of three variables (and in the case of some properties, we extended this to octonionvalued functions) (Błaszczyk 2018, 2019, 2020; Błaszczyk and Snopek 2017). OFT is given by a formula
where \(\mathbf {e}_1\), \(\mathbf {e}_2\) and \(\mathbf {e}_4\) are three of the seven octonion imaginary units and the octonion exponential function is defined by the power series (Błaszczyk 2020), similarly as for the complex numbers and quaternions. In previous investigations (Błaszczyk 2020; Błaszczyk and Snopek 2017) it has been shown that (1) is well defined (i.e. the inverse transform theorem is valid) and some properties of the OFT, analogous to the properties of the complex and quaternion Fourier transform (e.g. Hermitian symmetry, shift theorem, PlancherelParseval theorems and derivative theorem) were also derived.
A major difficulty in these works was the lack of significant properties of octonion multiplication, i.e. commutativity and associativity. Noncommutativity is also encountered with Fourier transforms based on quaternion algebra and (in general) Clifford algebras (Brackx et al. 2013). In order to deal with these problems, we have defined the algebra of quadruplecomplex numbers (based on the doublecomplex numbers introduced by Ell (1993); Kurman (1958)). Like octonions, we define the algebra of order 8 over the field of real numbers and each element of this algebra will be identified with the 8tuple of real numbers (Błaszczyk 2019, 2020), i.e.
Addition in \(\mathbb F\) is defined in a classical way—elementwise, and multiplication (denoted as \(\odot \)) rules are shown in Fig. 2. We can see that imaginary units in \(\mathbb F\) follow the analogous (although significantly different) rules as the octonion multiplication, i.e.
It is worth pointing out that, just as in the case of octonions, algebra \(\mathbb F\) is generated by three imaginary units, i.e. \(\mathbf{E}_1\), \(\mathbf{E}_2\) and \(\mathbf{E}_4\). Each other imaginary unit can be obtained by multiplying these three units, i.e. \(\mathbf{E}_3=\mathbf{E}_1\odot \mathbf{E}_2\), \(\mathbf{E}_5=\mathbf{E}_1\odot \mathbf{E}_4\), \(\mathbf{E}_6=\mathbf{E}_2\odot \mathbf{E}_4\) and \(\mathbf{E}_7=\mathbf{E}_1\odot \mathbf{E}_2\odot \mathbf{E}_4\). However, unlike octonions, the three basic imaginary units of algebra \(\mathbb F\) are commutative. The multiplication in \(\mathbb F\) is commutative and associative, however not every nonzero element of \(\mathbb F\) has its inverse, which is a property common to Clifford algebras. This algebra has already appeared in the literature, in particular in Felsberg et al. (2001) (where it was denoted as hypercomplex algebra \(\mathcal {H}_4\)). By using operations in the quadruple algebra the notation of formulas for determining many OFT properties could be reduced to simple equations known from classical theory. We discussed that in detail in Błaszczyk (2019, 2020).
From the point of view of numerical calculations and practical applications, it is also important to develop discrete equivalents of the transformations under consideration and their properties. In the case of the classical Fourier transformation, this subject is well known, as in the case of quaternions (Bahri and Surahman 2013; Ell et a. 2014; Sangwine and Bihan 2005; Sangwine 1997). In the case of octonions, references to the analysis of 1 and 2dimensional signals appear in the literature (Grigoryan and Agaian 2018), but there is still no definition of discrete octonion Fourier transform of 3dimensional signals.
The paper is organized as follows. In Sect. 2 we recall previous results concerning the octonion Fourier transform and introduce some important properties. In Sect. 3 we focus on the discretetime LTI systems, which leads to the definition of the discretespace octonion Fourier transform. Its wellposedness and some of its properties are the main part of Sect. 4. Sections 5 and 6 are devoted to the discrete octonion Fourier transform—its definition, properties and implementation aspects. The implementation of the DOFT algorithm and the results of the first tests are also presented there. The paper is concluded in Sect. 7 with a short discussion of obtained results.
Octonion Fourier transform and some properties
As mentioned earlier, the OFT of the realvalued function \(u:\mathbb R^3\rightarrow \mathbb R\) is given by the formula (1). In order for the integral (1) to exist, it is necessary for the function u to be at least integrable. However, in general, conditions of existence of the OFT are the same as for the classical (complex) Fourier transform (Błaszczyk 2020). Choice and order of imaginary units in the exponents is not accidental (see Błaszczyk and Snopek 2017). In our previous studies (see Błaszczyk and Snopek 2017), we proved the inverse formula (for continuous functions \(u:\mathbb R^3\rightarrow \mathbb R\) such that both u and its OFT are integrable):
where \(\mathbf{x}=(x_1,x_2,x_3)\), \(\mathbf{f}=(f_1,f_2,f_3)\) and multiplication is performed from left to right. We have also proved some important features, among which there are those that will be useful in the analysis of discretevariable signals (Błaszczyk 2020; Błaszczyk and Snopek 2017). Below, we quote their wording, assuming in each of these statements that the OFTs are welldefined and invertible. Let U be the OFT of the realvalued function u and let \(u_{x_i}\) denote the partial derivative of u with respect to \(x_i\).
Theorem 1
(Shift Theorem) Let \(U^{\alpha }\), \(U^{\beta }\) and \(U^{\gamma }\) denote the OFTs of \(u(x_1\alpha ,x_2,x_3)\), \(u(x_1,x_2\beta ,x_3)\) and \(u(x_1,x_2,x_3\gamma )\), respectively. Then
Theorem 2
Let \(U^{\partial x_1}\), \(U^{\partial x_2}\) and \(U^{\partial x_3}\) denote the OFTs of \(u_{x_1}\), \(u_{x_2}\) and \(u_{x_3}\), respectively. Then
It seems that in the above form these statements are of little use. It is worth noting, however, that on the one hand we have a theorem on Hermitian symmetry (Błaszczyk and Snopek 2017), and on the other hand we can reformulate the given formulas using the operation \(\odot \). Then these theorems take the form known from classical theory.
Corollary 1
Let \(U^{\alpha }\), \(U^{\beta }\) and \(U^{\gamma }\) denote the OFTs of \(u(x_1\alpha ,x_2,x_3)\), \(u(x_1,x_2\beta ,x_3)\) and \(u(x_1,x_2,x_3\gamma )\), respectively. Then
Corollary 2
Let \(U^{\partial x_1}\), \(U^{\partial x_2}\) and \(U^{\partial x_3}\) denote the OFTs of \(u_{x_1}\), \(u_{x_2}\) and \(u_{x_3}\), respectively. Then
Remark 1
The claims of the Corollaries 1 and 2 should be understood in a specific way. We will show it on the example of the last formula in Corollary 2. The OFT of the realvalued function u can be expressed as
where \(U_0,\ldots ,U_7:\mathbb R^3\rightarrow \mathbb R\) are realvalued functions (we omit the argument of the function so as not to lose readability of the formula). Then
On the other hand we can treat the octonionvalued function U as the 8tuple of realvalued functions, which allows us to write this function as a \(\mathbb F\)valued function:
Then
which, again treating this expression as 8tuple of realvalued functions, gives the statement of the Corollary. Other expressions should be understood analogously.
Proofs of these claims are based on direct calculations and we omit the details here. It should be remembered that the notation related to the operation \(\odot \) serves only to increase the readability of performed operations and facilitate their interpretation. More importantly, it allows the direct use of the OFT for the analysis of LTI systems, which are described both by partial differential equations and difference equations (of three variables).
Discretetime LTI systems
Consider linear timeinvariant stationary system of three variables. We know from the classical signal and system theory that such systems are described by their impulse responses \(h:\mathbb R^3\rightarrow \mathbb R\) (also sometimes called Green functions) and then the inputoutput relation of signals \(u:\mathbb R^3\rightarrow \mathbb R\) and \(v:\mathbb R^3\rightarrow \mathbb R\), respectively, is given by the formula:
The function at the output of the system is therefore a convolution of the function on the input with the impulse response, which is schematically presented in the block form as in Fig. 3.
From the convolutionmultiplication duality theorem for the classic Fourier transformation, it immediately follows that the following equality occurs:
and function \(H=\mathcal {F}_{\mathrm {CFT}}\left\{ h\right\} \) is called the frequency response of the system. In Błaszczyk (2019, 2020) we showed that the similar relation is valid also in case of octonion Fourier transform:
where \(H_{\mathrm {OFT}}\) is the octonion Fourier transform of the impuls response h (and therefore called the octonion frequency response) and we use the multiplication in the algebra of quadruplecomplex numbers (in the sense described in Remark 1).
Thanks to these relations (and also Corollary 2), we can see that every linear partial differential equation with constant coefficients can be reduced to the algebraic equation (in the sense of multiplication in \(\mathbb F\)). In Błaszczyk (2019, 2020) we presented a few examples showing the possibilities of using this notation.
Analogous reasoning can be performed for discretetime systems. They are described mostly by difference equations, i.e. equations of the form:
where \(u,v:\mathbb N^3\rightarrow \mathbb R\) are unknown sequences indexed by a 3D discrete variable, \(a_{\mathbf {i}},b_{\mathbf {j}}\in \mathbb R\), \(\mathbf {n}=(n_1,n_2,n_3)\), \(\mathbf {i}=(i_1,i_2,i_3)\) and \(\mathbf {j}=(j_1,j_2,j_3)\). Using the octonion Fourier transform and Theorem 1, we can write this equality in a different form. However, only by composing Corollary 1 (and treating octonions as 8tuples of real numbers, and therefore as elements of \(\mathbb F\)) we can reduce this relation to that which we know from classical theory:
It can be shown with direct calculations that
where the multiplication in the octonion algebra is performed from left to right. The above equality should be understood in the sense described in Remark 1, i.e. as the equality of 8tuples of real numbers. Therefore we have
where expressions in brackets are some octonion counterparts to discrete Fourier transforms of vectors \(\mathbf {a} = (a_{\mathbf {i}})\), \(\mathbf {b} = (b_{\mathbf {j}})\) indexed by 3D discrete variables.
Discretespace octonion Fourier transform
The above considerations lead to the definition of the octonion counterpart of the discrete Fourier transform of realvalued sequences.
Definition 1
Let \(\mathbf {a}:\mathbb N^3\rightarrow \mathbb R\) be a sequence indexed by a 3D discrete variable and let \(\mathbf {a} = (a_{\mathbf {i}})\), \(\mathbf {i}=(i_1,i_2,i_3)\). Octonion Fourier transform of the sequence \(\mathbf {a}\) is defined by the formula
where multiplication is performed from left to right.
The above definition is a threedimensional equivalent of the Fourier transformation of discrete time (discretetime Fourier transform—DTFT), in relation to which the given formula can be abbreviatied as DSOFT (discretespace octonion Fourier transform). Like its classic equivalent, DSOFT is a periodic function with relation to each variable, with a period of 1. Using the methods presented in the proof of the inverse theorem (Błaszczyk and Snopek 2017), the following formula can be derived for the inverse transform.
Theorem 3
Let \(\mathbf {a}:\mathbb N^3\rightarrow \mathbb R\) be a sequence indexed by a 3D discrete variable and let \(\mathbf {a} = (a_{\mathbf {i}})\), \(\mathbf {i}=(i_1,i_2,i_3)\), be squaresummable. Then
where multiplication is performed from left to right.
This theorem can be generalized to octonionvalued sequences, proving it with the same methods as in Błaszczyk (2018, 2020). From simple calculations the proof of the following theorem on the transformation of the rescaled function follows.
Theorem 4
Let \(\mathbf {a}=(a_{\mathbf {i}}):\mathbb N^3\rightarrow \mathbb R\) and let A denote the DSOFT of \(\mathbf {a}\). Let \(k_1,k_2,k_3\in \mathbb N_+\), define \(\mathbf {b}:\mathbb N^3\rightarrow \mathbb R\) by the formula:
and let B denote the DSOFT of \(\mathbf {b}\). Then
Proof
From straightforward calculations we have that
which concludes the proof. \(\square \)
It is worth noting that proofs of other properties of the octonion Fourier transformation (of functions of the continuous variable) proceeded in the same way as proofs of equivalents of these properties for the classic Fourier transform. Differences in statements of those theorems resulted only from the properties of multiplication of octonions, and, as a consequence, of operations on exponential functions in the kernel of transformation. Therefore, the equivalents of these properties for DSOFT will look the same, and their proofs will be very similar. We will therefore omit the details and quote only the statements.
Theorem 5
Let \(\mathbf {a}=(a_{\mathbf {i}}):\mathbb N^3\rightarrow \mathbb R\) and let A denote the DSOFT of \(\mathbf {a}\). Moreover, let \(f_0\in \mathbb R\) and denote \(\mathbf {a}^{\cos ,k}=(a_{\mathbf {i}})\), \(a^{\cos ,k}_{\mathbf {i}} = a_{\mathbf {i}}\cdot \cos (2\pi f_0 i_k)\), and \(A^{\cos ,k}\) as the DSOFT of \(\mathbf {a}^{\cos ,k}\), \(k=1,2,3\). Then
Theorem 6
Let \(\mathbf {a}=(a_{\mathbf {i}}):\mathbb N^3\rightarrow \mathbb R\) and let A denote the DSOFT of \(\mathbf {a}\). Moreover, let \(f_0\in \mathbb R\) and denote \(\mathbf {a}^{\sin ,k}=(a_{\mathbf {i}})\), \(a^{\sin ,k}_{\mathbf {i}} = a_{\mathbf {i}}\cdot \sin (2\pi f_0 i_k)\), and \(A^{\cos ,k}\) as the DSOFT of \(\mathbf {a}^{\sin ,k}\), \(k=1,2,3\). Then
From the reasoning in the previous section, the shift theorem also immediately follows.
Theorem 7
Let \(\mathbf {a}=(a_{\mathbf {i}}):\mathbb N^3\rightarrow \mathbb R\) and let A denote the DSOFT of \(\mathbf {a}\). Moreover, let \(\alpha ,\beta ,\gamma \in \mathbb Z\) and denote \(\mathbf {a}^{\alpha } = (a^{\alpha }_{\mathbf {i}})\), \(a^{\alpha }_{(i_1,i_2,i_3)} = a_{(i_1\alpha ,i_2,i_3)}\), \(\mathbf {a}^{\beta } = (a^{\beta }_{\mathbf {i}})\), \(a^{\beta }_{(i_1,i_2,i_3)} = a_{(i_1,i_2\beta ,i_3)}\), \(\mathbf {a}^{\gamma } = (a^{\gamma }_{\mathbf {i}})\), \(a^{\gamma }_{(i_1,i_2,i_3)} = a_{(i_1,i_2,i_3\gamma )}\). Let \(A^{\ell }\) denote the DSOFT of \(\mathbf {a}^{\ell }\), where \(\ell =\alpha ,\beta ,\gamma \). Then
As we mentioned earlier, deriving the DSOFT definition, it can be used to analyze discrete systems described by difference equations. It is also easy to see that these methods will be used in the analysis of finite difference schemes for partial differential equations. The theory considered so far mainly used classic Fourier transforms (discrete), which were applied to a variable interpreted as space (one or twodimensional), but by defining an octonion transformation we can try to transform the whole scheme, both for time and space.
Discrete octonion Fourier transform
In the previous section we considered signals (sequences) of infinite length. However, in practice, finitelength signals are usually found, which, as in the classical case, leads to the definition of discrete octonion Fourier transform. Similarly to the complex and quaternion case, the following definition has its basis in the discretization of the frequency domain in discretespace octonion Fourier transform.
Definition 2
Let \(\mathbf {a}:[N_1]\times [N_2]\times [N_3]\rightarrow \mathbb R\), \([N_i]=\{0,\ldots ,N_i1\}\), be a finitelength sequence indexed by a 3D discrete variable and let \(\mathbf {a}=(a_{\mathbf {n}})\), \(\mathbf {n}=(n_1,n_2,n_3)\). Discrete octonion Fourier transform (DOFT) \(\mathbf {A}_{\mathrm {OFT}} = (A_{\mathrm {OFT},\mathbf {k}})\) of \(\mathbf {a}\) is defined by the formula
where \(\mathbf {k}=(k_1,k_2,k_3)\in [N_1]\times [N_2]\times [N_3]\) and multiplication is performed from left to right.
This is the direct octonion equivalent of the 3D discrete Fourier transformation. The formula for inverse transformation is proved analogously to the corresponding formula for inverse OFT (Błaszczyk 2020). In particular, the following equality is used:
valid for every octonion imaginary unit \(\mathbf{e}_i\), \(i=1,\ldots ,7\). We omit the proof and only quote the statement of the inversetransform theorem.
Theorem 8
Let \(\mathbf {a}:[N_1]\times [N_2]\times [N_3]\rightarrow \mathbb R\), \([N_i]=\{0,\ldots ,N_i1\}\), be a finitelength sequence indexed by a 3D discrete variable and let \(\mathbf {a}=(a_{\mathbf {n}})\), \(\mathbf {n}=(n_1,n_2,n_3)\). If \(\mathbf {A}_{\mathrm {OFT}} = (A_{\mathrm {OFT},\mathbf {k}})\) is the DOFT of \(\mathbf {a}\), then
where multiplication is performed from left to right.
From a computational point of view, consideration should be given to the possibility of implementing a fast DOFT calculation version. In the quaternion case, various solutions to this problem have been proposed—direct implementation of the quaternion version of the Fast Fourier Transform algorithm (FFT) and the use of the complex (original) version of this algorithm. The latter option turned out to be better and less computationally demanding (Ell et a. 2014).
In the case of octonions, one can do the same. In Błaszczyk (2020) we proved that the octonion Fourier transformation of octonionvalued functions can be calculated using the classical Fourier transformation. This was formulated in the following statement (for proof see Błaszczyk 2020).
Theorem 9
Let \(u:\mathbb R^3\rightarrow \mathbb O\) and \(u = v_0 + v_1\mathbf{e}_2 + v_2\mathbf{e}_4 + v_3\mathbf{e}_2\cdot \mathbf{e}_4\), where \(v_0,\ldots ,v_3:\mathbb R^3\rightarrow \mathbb C\). If \(U_{\mathrm {OFT}}\) is the OFT of u, then
where \(V_i\) is the OFT of \(v_i\), \(i=0,\ldots ,3\), and
where \(\widehat{v_i}\) is the classical (complex) Fourier transform of \(v_i\), \(i=0,\ldots ,3\).
It is important to notice that the field of complex numbers \(\mathbb C\) used in the abovementioned theorem is the specific subfield of the octonion algebra, i.e. \(\mathbb C=\{x_0 + x_1\mathbf{e}_1\in \mathbb O:x_0,x_1\in \mathbb R\}\). Consequently, only the imaginary units \(\mathbf{e}_2\) and \(\mathbf{e}_4\) appear in the thesis. Equivalent versions of the above theorem can be derived which take into account other pairs of imaginary units.
Analogous theorems for calculating the inverse transformation are also known (Błaszczyk 2020, Theorem 5 and Corollary 2). Due to the long formulation of the theorem, we omit it here. These claims remain true also for discrete transformations. The operation of changing the sign of a variable should be understood in the sense of modulo operations, as in the classic case—DOFT, just like DFT, can be treated as a periodic function.
Thanks to this, it is possible to use all the advantages of the FFT algorithm, with a small additional calculation effort—the octonion FFT algorithm for functions with octonion values requires the calculation of four transforms of different functions with complex values.
Tools for operations on hypercomplex numbers are available in many programming environments, including in MATLAB®. MATLAB® environment is one of the more popular tools supporting the work of engineers and packages expanding programming capabilities in this environment appear quite often. The qtfm package developed by the team of S. Sangwine and N. Le Bihan Sangwine and Bihan (2005) focuses on numerical calculations in quaternion algebra (not only basic arithmetic operations are available, but also highly developed tools for calculating quaternion Fourier transforms), but on the other hand, it also allows simple operations in octonion algebra. However, it lacks more advanced features that would give users the opportunity to calculate octonion Fourier transforms.
The qtfm package has been extended by, among others, five additional functions

doft3 and idoft3 (forward and inverse DOFT using the direct formula),

offt3 and iofft3 (forward and inverse DOFT using the FFT algorithm),

fftreflection (symmetrical reflection of functions relative to the indicated axes).
The functions have been implemented using the qtfm package syntax. Octonions are entered in it, among others as
where r0, ..., r7 are numbers or matrixes of numbers. It is also possible to automatically project real numbers, complex numbers and quaternions to the appropriate octonions, using the fact that they are created in the CayleyDickson construction (this is done using the available function cd).
The implementation of the forward and inverse discrete octonion Fourier transformation was performed in two ways—using the direct formula (2) and using Theorem 9, where first the classical (complex) Fourier transforms are calculated, and then they are combined in an appropriate manner. In the case of the direct algorithm, in order to avoid problems with multiplication of octonions, the matrix representation of multiplication presented in Tian (2000) was used. One of the important elements of the octonion FFT algorithm is the ability to symmetrically reflect functions with relation to the respective axes. This has been implemented in the fftreflection(X, A) function, where X is a mirrored function (matrix), and A is a vector that indicates which variables to reflect (e.g. [1,3] means that X is mirrored with respect to 1st and 3rd variable). It uses the convention that MATLAB® adopts with the FFT algorithm – zero frequencies always appear on the first coordinates of the matrix (in each dimension), and the discrete Fourier transform is a periodic function.
Implemented functions can be found in the GitHub repository:
https://github.com/blaszczykl/matlaboctonions and the code is also included in Appendix 1 (Listings 1–5). This is the original code developed by the author, however, it requires the qtfm package to work correctly (it is based on the syntax used in this package).
The correctness of implemented functions can be tested in two ways. First, it was checked whether applying the reverse transformation to the result of the forward transformation returned the original matrix. This check was done for both versions of the algorithm by generating random \(N\times N\times N\) octonion matrices, where \(N=4\) and each coordinate was generated from a uniform distribution over the interval [0, 1] (for details see Listing 7). In both cases, the maximum relative error did not exceed \(2.2\cdot 10^{11}\%\), which can be treated as a numerical approximation error.
It is worth noting the (expected) problem of calculation time for various quantities of N. In the case of the direct algorithm, the execution time is proportional to \(N^6\), while for the FFT algorithm the time is proportional to \(N^3 \log N\). This is not a surprising feature, it also applies to the classical DFT, however, due to operations on octonions, the time needed to perform calculations may be larger than in the case of the classical one. It can be seen that this issue is important.
To check whether an error was made when implementing the algorithm using Theorem 9 and whether it actually returns a discrete OFT, it was assumed that the direct algorithm returns the correct result and then it was compared with the result returned by the octonion FFT. In this case, the error did not exceed \(1.5\cdot 10^{12}\%\), which suggests that the implementation is correct.
Symmetry properties of the DOFT
As in the case of continuous OFT, most discrete classical equivalents of Fourier transform properties can be proved for discrete OFT. One of the first results for continuous OFT was to show the equivalent of Hermitian symmetry (Błaszczyk and Snopek 2017, Theorem 4.6). In the discrete case, the following theorem can be proved by repeating the reasoning presented in Błaszczyk and Snopek (2017).
Theorem 10
Let \(\mathbf {a}:[N_1]\times [N_2]\times [N_3]\rightarrow \mathbb R\), \([N_i]=\{0,\ldots ,N_i1\}\), be a finitelength sequence indexed by a 3D discrete variable and let \(\mathbf {a}=(a_{\mathbf {n}})\), \(\mathbf {n}=(n_1,n_2,n_3)\). If \(\mathbf {A}_{\mathrm {OFT}} = (A_{\mathrm {OFT},\mathbf {n}})\) is the DOFT of \(\mathbf {a}\), then
where \(m_i = (n_i \!\!\mod \; N_i)\), \(\alpha _{i_1,\ldots ,i_4} = \alpha _{i_1}\circ \ldots \circ \alpha _{i_4}\) and \(\alpha _{i}(o) = \mathbf{e}_i\cdot o\cdot \mathbf{e}_i\).
It should be noted that the function \(\alpha _{i_1,\ldots ,i_4}\), introduced in Błaszczyk and Snopek (2017), changes the sign of four imaginary units of an octonion, i.e. \(\mathbf{e}_{i_1}\), \(\ldots \), \(\mathbf{e}_{i_4}\). The above theorem should be interpreted so that the individual imaginary parts are even or odd with relation to the respective variables (in the sense of modulo operations).
The function \(\alpha _{i_1,\ldots ,i_4}\) has also been implemented on the basis of the qtfm package as a function alpha(o, i1, i2, i3, i4) (see Listing 6), where o is the transformed octonion (or matrix of octonions) and i1, ..., i4 are four (different) indices of imaginary parts of o whose sign should be changed. The tests that could be performed thanks to this (presented in Listing 7) illustrate Theorem 10 and show that indeed DOFT of realvalue matrices has the mentioned symmetry properties.
Discussion and conclusions
The results presented show that discrete Fourier transforms can be generalized to the case of higher order algebras (e.g. octonions). What’s more, using the properties of algebra of quadruplecomplex numbers, this generalization can lead to a very similar form.
One could ask the question why it is worth working in two different algebras in parallel instead of just working in the algebra of quadruplecomplex numbers \(\mathbb F\). While going through calculations in \(\mathbb F\) facilitates the interpretation of results, there are more and more papers in the literature devoted to the use of octonion algebra (Gao and Lam 2014; Grigoryan and Agaian 2018; Hahn and Snopek 2016; Klco et al. 2017; Lazendić et al. 2018a, b; Lian 2019; Popa 2016, 2018; Sheng et al. 2018; Snopek 2015; Wang et al. 2017). Therefore, it seems important to develop tools enabling work in this algebra as well.
The properties of discrete octonion Fourier transforms show that they can be used without difficulty for the analysis of difference equations, as well as for the analysis of finite difference schemes for differential equations. Detailed work in this area remains in the plans for further actions, as well as the further development of this theory.
References
Baez JC (2002) The octonions. Bull Am Math Soc 39:145–205. https://doi.org/10.1090/S027309790100934X
Bahri M, Surahman (2013) Discrete quaternion fourier transform and properties. Int J Math Anal 7(25):1207–1215
Błaszczyk Ł (2018) Octonion spectrum of 3d octonionvalued signals—properties and possible applications. In: Proceedings of 2018 26th European signal processing conference (EUSIPCO), pp 509–513. https://doi.org/10.23919/EUSIPCO.2018.8553228
Błaszczyk Ł (2019) Hypercomplex Fourier transforms in the analysis of multidimensional linear timeinvariant systems. In: Progress in industrial mathematics at ECMI 2018, pp 575–581. Springer Nature Switzerland AG. https://doi.org/10.1007/9783030275501_73
Błaszczyk Ł (2020) A generalization of the octonion Fourier transform to 3d octonionvalued signals—properties and possible applications to 3d lti partial differential systems. Multidim Syst Sign Process 31(4):1227–1257. https://doi.org/10.1007/s11045020007063
Błaszczyk Ł, Snopek KM (2017) Octonion Fourier transform of realvalued functions of three variables—selected properties and examples. Signal Process 136:29–37. https://doi.org/10.1016/j.sigpro.2016.11.021
Brackx F, Hitzer E, Sangwine SJ (2013) History of quaternion and clifford Fourier transforms and wavelets. In: Hitzer E, S. Sangwine (eds.) Quaternion and Clifford Fourier Transforms and Wavelets, Trends in Mathematics, vol. 27, pp. xi–xxvii. Springer Basel AG. https://doi.org/10.1007/9783034806039
Delsuc MA (1988) Spectral representation of 2d nmr spectra by hypercomplex numbers. J Magn Reson 77:119–124
Ell TA (1993) Quaternionfourier transforms for analysis of 2dimensional linear timeinvariant partialdifferential systems. In: Proceedings of 32nd IEEE conference on decision and Controll, vol 1–4, pp 1830–1841
Ell TA, Bihan NL, Sangwine SJ (2014) Quaternion Fourier transforms for signal and image processing. WileyISTE
Felsberg M, Bülow T, Sommer G (2001) Commutative hypercomplex Fourier transforms of multidimensional signals. In: Sommer G (ed) Geometric computing with clifford algebras. Theoretical foundations and applications in computer vision and robotics, pp 209–229. Springer, Berlin. https://doi.org/10.1007/9783662046210_8
Gao HY, Lam KM (2014) From quaternion to octonion: featurebased image saliency detection. In: 2014 IEEE International conference on acoustics, speech and signal processing (ICASSP), pp 2808–2812
Gomes N, Hartmann S, Kähler U (2017) Compressed sensing for quaternionic signals. Complex Anal Oper Theory 11:417–455
Grigoryan AM, Agaian SS (2018) Quaternion and octonion color image processing with MATLAB. SPIE
Hahn SL, Snopek KM (2016) Complex and hypercomplex analytic signals: theory and applications. Artech House
Klco P, Smetana M, Kollarik M, Tatar M (2017) Application of octonions in the cough sounds classification. Adv Appl Sci Res 8(2):30–37
Kurman K (1958) Liczby podwójne zespolone i możliwość ich zastosowania. Tech. rep, Politechnika Warszawska, Katedra Automatyki i Telemechaniki
Lazendić S, Bie HD, Pižurica A (2018a) Octonion sparse representation for color and multispectral image processing. In: Proceeding 2018 26th European signal processing conference (EUSIPCO), pp 608–612
Lazendić S, Pižurica A, Bie HD (2018b) Hypercomplex algebras for dictionary learning. In: Proceedings the 7th conference on applied geometric algebras in computer science and engineering–AGACSE 2018, pp 57–64
Lian P (2019) The octonionic fourier transform: Uncertainty relations and convolution. Sig Process 164:295–300. https://doi.org/10.1016/j.sigpro.2019.06.015
Popa CA (2016) Octonionvalued neural networks. Artif Neural Netw Mach Learn ICANN 2016:435–443
Popa CA (2018) Global exponential stability of octonionvalued neural networks with leakage delay and mixed delays. Neural Netw 105:277–293
Sangwine S, Bihan NL (2005–2019) Quaternion and octonion toolbox for matlab. http://qtfm.sourceforge.net/
Sangwine SJ (1997) The discrete quaternion Fourier transform. In: 1997 6th International conference on image processing and its applications, pp 790–793. https://doi.org/10.1049/cp:19971004
Sheng H, Shen X, Lyu Y, Shi Z (2018) Image splicing detection based on Markov features in discrete octonion cosine transform domain. IET Image Proc 12(10):1815–1823
Snopek KM (2015) Quaternions and octonions in signal processing—fundamentals and some new results. Telecommunication review + telecommunication news, teleradioelectronic, Information Technology 6:618–622
Tian Y (2000) Matrix representations of octonions and their applications. Adv Appl Clifford Algebras 10(1):61–90. https://doi.org/10.1007/BF03042010
Wang R, Xiang G, Zhang F (2017) L1norm minimization for octonion signals. In: 2016 International conference on audio, language and image processing (ICALIP), pp 552–556
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research was supported by WUT grant No. 504/04239/1120.
Communicated by Apala Majumdar.
MATLAB® files
MATLAB® files
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
Błaszczyk, Ł. Discrete octonion Fourier transform and the analysis of discrete 3D data. Comp. Appl. Math. 39, 329 (2020). https://doi.org/10.1007/s40314020013737
Received:
Revised:
Accepted:
Published:
Keywords
 Hypercomplex numbers
 Octonion Fourier transform
 Discretetime systems
 Fast Fourier transform
Mathematics Subject Classification
 30G35 (primary)
 65T50
 94A12