Next Article in Journal
Ideals and Filters on Neutrosophic Topologies Generated by Neutrosophic Relations
Next Article in Special Issue
An Introduction to Extended Gevrey Regularity
Previous Article in Journal
Full Classification of Finite Singleton Local Rings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Hyperholomorphicity by Proposing the Corresponding Cauchy–Riemann Equation in the Extended Quaternion Field

Department of Mathematics, Dongguk University, Gyeongju-si 38066, Republic of Korea
Axioms 2024, 13(5), 291; https://doi.org/10.3390/axioms13050291
Submission received: 23 March 2024 / Revised: 19 April 2024 / Accepted: 20 April 2024 / Published: 25 April 2024
(This article belongs to the Special Issue Research on Functional Analysis and Its Applications)

Abstract

:
In algebra, the sedenions, an extension of the octonion system, form a 16-dimensional noncommutative and nonassociative algebra over the real numbers. It can be expressed as two octonions, and a function and differential operator can be defined to treat the sedenion, expressed as two octonions, as a variable. By configuring elements using the structure of complex numbers, the characteristics of octonions, the stage before expansion, can be utilized. The basis of a sedenion can be simplified and used for calculations. We propose a corresponding Cauchy–Riemann equation by defining a regular function for two octonions with a complex structure. Based on this, the integration theorem of regular functions with a sedenion of the complex structure is given. The relationship between regular functions and holomorphy is presented, presenting the basis of function theory for a sedenion of the complex structure.
MSC:
32A99; 30G35; 32W50

1. Introduction

Applying the Cayley–Dickson construction to octonions yields sedenions. In algebra, sedenions are hypercomplex numbers that belong to a 16-dimensional algebra over the real numbers. However, unlike octonions, sedenions are not an alternative algebra. In 1898, Conway and Smith [1,2] showed that algebra has a multiplicative for the reals, the complex numbers, the quaternions, and the octonions, which are processed by the usual Cayley–Dickson construction. They researched various operators on 16-dimensional real space to construct the multiplication and the Euclidean norm. Carmody [3] studied the arithmetic of sedenions with 16-dimensional hypercomplex numbers, and subsequently K. Imaeda and M. Imaeda [4] and Kvplinger [5] developed concepts of sedenion represented in rectangular form and defined a single norm and some notations into polar forms. They are classified in sedenions obtained by the Cayley–Dickson construction and conic sedenions belonging to a part of a hypernumber concept. Kim et al. [6,7] defined hyperholomorphic functions with dual sedenion variables and researched the properties of hyperholomorphic functions of dual sedenion variables in Clifford analysis by the condition of harmonicity.
By defining complex numbers as ordered pairs of real numbers, various mathematical results were produced. Inspired by this, quaternions were defined as ordered pairs of complex numbers. By presenting the operations and function theories of quaternions in the form of complex numbers, the properties and characteristics of complex numbers can be used to deal with the function theory of quaternions (see [8,9]). In addition, by defining an octonion as an ordered pair of quaternions, the functional theory of octonions was expanded by applying the structural characteristics of complex numbers and the properties of quaternions (see [10,11,12,13]). Concerning this approach, we define sedenions as ordered pairs of octonion numbers. Through this, we would like to see whether it is possible to arrive at a theory similar to the mathematical results of quaternions and octonions that is aimed at the structure of complex numbers. Our objective is to highlight the advantages of complex number structures and operations, and to simplify the base numbers so that operations can be handled more effectively. We can use the composition and characteristics of previous number systems in our analysis. However, operation laws such as commutative laws and combination laws cannot be organized with existing general operators. Therefore, we need to define operators that can be used in a number system that deals with the combination of complex structures. Two types of differential operators can be defined using multiplication defined on the sedenion number of a complex structure using two octonion numbers. It can express one Laplace operator and define a regular function from each differential operator. To perform an analytical approach to the complex sedenions number, a function is defined that has the complex sedenions number as a variable. We define differentiation, which is the basic operation for functions, and propose a tool to determine whether the defined differentiation is differentiable. In the case of complex numbers, the regular function is determined using the Cauchy–Riemann equation. For quaternions and octonions expressed in the form of complex numbers, the construction and alternative of the Cauchy–Riemann equation, which has an equivalence relationship with the normal function defined in each number system, was presented. We also propose a corresponding Cauchy–Riemann equation for defining a function with a expressed in the structure of a complex number as a variable. This defined function can be called a regular function. Using the definition of a regular function and the corresponding Cauchy–Riemann equation, the integration theorem in the complex sedenion system is presented. Additionally, the relationship between regularity and regular functions is proposed. It has been confirmed that the relationship between the integral theorem and regularity can be dealt with using a regular function of the hexadecimal number in a complex form. This also suggests that the contents of other function theories can be addressed in the future.
Section 2 presents the elements and functions of sedenions, denoted by S , with two octonions, written as O × O . Section 3 gives an extension to sedenions of the Cauchy–Riemann equations, which is similar to the construction of quaternions and octonions. Also, we define the regularity of a function and investigate some properties of regular functions with values in O × O .

2. Preliminaries

The Sedenions, denoted by S , are a non-commutative, 16-dimensional R -field consisting of 16 base elements, e j , and an expression of the form
z = j = 0 15 e j x j , x j ( j = 0 , 1 , , 15 ) R .
The Table 1 below displays the rules of the 16 bases that comprise a sedenion.
The field of complex numbers, C , is equipped with an identity element, e 0 , and an imaginary unit, e 1 = 1 . A sedenion, z, is represented by the form z = ζ 0 + e 8 ζ 1 ¯ , where ζ 0 : = j = 0 7 e j x j and ζ 1 : = j = 0 7 e j x j + 8 are octonions, O . The set O × O , where O denotes the octonions, is non-commutative. It can be identified with O 2 and is defined as { z = e 0 ζ 0 + e 8 ζ 1 | ζ j O , j = 0 , 1 } .
We give the non-commutative multiplication, × ˜ , of two sedenions, z = ζ 0 + e 8 ζ 1 ¯ and w = η 0 + e 8 η 1 ¯ , denoted by
z × ˜ w = 1 2 ( ζ 0 η 0 ζ 1 η 1 ¯ + η 0 ζ 0 η 1 ζ 1 ¯ ) + 1 2 e 8 ( ζ 0 ¯ η 1 ¯ + ζ 1 ¯ η 0 η 0 ¯ ζ 1 ¯ η 1 ¯ ζ 0 )
and
w × ˜ z = 1 2 ( ζ 0 η 0 ζ 1 η 1 ¯ + η 0 ζ 0 η 1 ζ 1 ¯ ) + 1 2 e 8 ( ζ 0 ¯ η 1 ¯ ζ 1 ¯ η 0 + η 0 ¯ ζ 1 ¯ + η 1 ¯ ζ 0 ) = 1 2 ( ζ 0 η 0 ζ 1 η 1 ¯ + η 0 ζ 0 η 1 ζ 1 ¯ ) 1 2 e 8 ( ζ 0 ¯ η 1 ¯ + ζ 1 ¯ η 0 η 0 ¯ ζ 1 ¯ η 1 ¯ ζ 0 ) ,
where
ζ j ¯ = i = 0 7 e j ¯ x j and η j ¯ = i = 0 7 e j ¯ y j ( j = 0 , 1 ) .
The process for calculating variables in the real number system is detailed in Appendix A. The two equations, z × ˜ w and w × ˜ z , differ only in the sign of the basis, e 8 .
The absolute value, | z | , and sedenionic conjugate number, z * , of z = ζ 0 + e 8 ζ 1 are given by
| z | = z × ˜ z * = z * × ˜ z = j = 0 15 x j 2 and z * = ζ 0 ¯ e 8 ζ 1 ¯ .

3. Regularity of a Function with Values in O × O

Let Ω be an open subset of O × O . We can define the function f ( z ) in the domain Ω as f : Ω O 2 , such that it satisfies the following equation:
z = ( ζ 0 , ζ 1 ) Ω f ( z ) = f ( ζ 0 , ζ 1 ) = f 0 ( ζ 0 , ζ 1 ) + e 8 f 1 ¯ ( ζ 0 , ζ 1 ) O 2 ,
where f 0 = j = 0 7 e j u j , f 1 = j = 0 7 e j ¯ u j + 8 and u j ( j = 0 , 1 , , 15 ) are real-valued functions.
We consider the differential operators as follows:
D 1 = ζ 0 e 8 ζ 1 ¯ , D 1 * = ζ 0 ¯ + e 8 ζ 1 ¯ D 2 = ζ 0 ζ 1 ¯ e 8 , D 2 * = ζ 0 ¯ + ζ 1 ¯ e 8 ,
where ζ 0 = j = 0 7 e j ¯ x j and ζ 1 = j = 0 7 e j ¯ x j + 8 .
We have the Laplacian of O 2 :
D k × ˜ D k * = 2 ζ 0 ζ 0 ¯ + 2 ζ 1 ζ 1 ¯ = j = 0 15 2 x j 2 ,
where k = 1 , 2 .
We have derived the following equations from the operators mentioned above:
D 1 × ˜ f = f 0 ζ 0 + f 1 ¯ ζ 1 + f 0 ζ 0 + f 1 ζ 1 ¯ + e 8 f 1 ¯ ζ 0 ¯ f 0 ζ 1 ¯ + f 0 ¯ ζ 1 ¯ f 1 ¯ ζ 0 ,
D 1 * × ˜ f = f 0 ζ 0 ¯ f 1 ¯ ζ 1 + f 0 ζ 0 ¯ f 1 ζ 1 ¯ + e 8 f 1 ¯ ζ 0 + f 0 ζ 1 ¯ f 0 ¯ ζ 1 ¯ f 1 ¯ ζ 0 ¯ ,
D 2 × ˜ f = f 0 ζ 0 + f 1 ¯ ζ 1 ¯ + f 0 ζ 0 + f 1 ζ 1 + e 8 f 1 ¯ ζ 0 ¯ f 0 ζ 1 + f 0 ¯ ζ 1 f 1 ¯ ζ 0
and
D 2 * × ˜ f = f 0 ζ 0 ¯ f 1 ¯ ζ 1 ¯ + f 0 ζ 0 ¯ f 1 ζ 1 + e 8 f 1 ¯ ζ 0 + f 0 ζ 1 f 0 ¯ ζ 1 f 1 ¯ ζ 0 ¯ .
In order to understand how each term in Equations (2)–(5) is calculated, we have provided a detailed calculation process in Appendix B using the real term system. The regularity of functions with values in O × O is defined by the results of Equations (2)–(5). The following definitions and theorems are based on the works of Li et al. [14] and Ludkovski [15].
Definition 1.
Let Ω be a domain in O × O . A function f ( z ) = f 0 ( ζ 0 , ζ 1 ) + e 8 f 1 ¯ ( ζ 0 , ζ 1 ) is said to be L k ( R k ) -regular in Ω if the following two conditions are satisfied:
(i) 
f 0 and f 1 are differential functions in Ω,
(ii) 
D k * × ˜ f ( z ) = 0   ( f ( z ) × ˜ D k * = 0 ) in Ω, where k = 1 , 2 .
The equations (ii) mentioned in Definition 1 are equivalent to the following equations: for k = 1 ,
f 0 ζ 0 ¯ + f 0 ζ 0 ¯ = f 1 ¯ ζ 1 + f 1 ζ 1 ¯ , f 1 ¯ ζ 0 f 1 ¯ ζ 0 ¯ = f 0 ζ 1 ¯ + f 0 ¯ ζ 1 ¯ ,
and for k = 2 ,
f 0 ζ 0 ¯ + f 0 ζ 0 ¯ = f 1 ¯ ζ 1 ¯ + f 1 ζ 1 , f 1 ¯ ζ 0 f 1 ¯ ζ 0 ¯ = f 0 ζ 1 + f 0 ¯ ζ 1 .
Moreover, f ( z ) × ˜ D k * = 0 if and only if D k * × ¯ f ( z ) = 0 ( k = 1 , 2 ) .
As referred to by Kauhanen and Orelma [16] and Vinogradov [17], the equations in (6) and (7) are the corresponding Cauchy–Riemann for the f ( z ) system in T . Let f ( z ) be a L k ( R k ) ( k = 1 , 2 ) -regular function defined in Ω . The derivative f ( z ) of f ( z ) is defined by f ( z ) = D × ˜ f ( z ) .
According to Kauhanen and Orelma [16] and Vinogradov [17], Equations (6) and (7) represent the Cauchy–Riemann system for the function, f ( z ) , in T . For a L k ( R k ) ( k = 1 , 2 ) -regular function f ( z ) defined in Ω , we can define its derivative f ( z ) as f ( z ) = D × ˜ f ( z ) .
Theorem 1.
Let Ω be a domain in O × O and f ( z ) be a L k ( R k ) -regular function defined on Ω, where ( k = 1 , 2 ) . Then,
f ( z ) = ζ 0 + ζ 0 ¯ × ˜ f = 2 x 0 × ˜ f .
Proof. 
Since the function f ( z ) is L k ( R k ) -regular in Ω , we have
D 1 × ˜ f = f 0 ζ 0 + f 1 ¯ ζ 1 + f 0 ζ 0 + f 1 ζ 1 ¯ + e 8 f 1 ¯ ζ 0 ¯ f 0 ζ 1 ¯ + f 0 ¯ ζ 1 ¯ f 1 ¯ ζ 0 = ζ 0 + ζ 0 ¯ f 0 + f 0 ζ 0 + ζ 0 ¯ + e 8 ζ 0 + ζ 0 ¯ f 1 ¯ f 1 ¯ ζ 0 + ζ 0 ¯ = ζ 0 + ζ 0 ¯ × ˜ f .
Similarly, we obtain the equation D 2 × ˜ f = ζ 0 + ζ 0 ¯ × ˜ f .  □
Theorem 2.
Let a function, f ( z ) , be L k ( R k ) -regular in a domain G of O × O and let
τ = d z 1 d z 2 d z 3 d z 4 d z 2 ¯ d z 3 ¯ d z 4 ¯ d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 3 ¯ d z 4 ¯ e 2 + d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 2 ¯ d z 4 ¯ e 4 d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 2 ¯ d z 3 ¯ e 6 .
Then, for any domain Ω G with smooth boundary b Ω ,
b Ω τ g = 0 .
Proof. 
Let
τ ( 1 ) = d z 1 d z 2 d z 3 d z 4 d z 2 ¯ d z 3 ¯ d z 4 ¯ , τ ( 2 ) = d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 3 ¯ d z 4 ¯ , τ ( 3 ) = d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 2 ¯ d z 4 ¯ , τ ( 4 ) = d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 2 ¯ d z 3 ¯ .
Then,
τ g = ( τ ( 1 ) τ ( 2 ) e 2 + τ ( 3 ) e 4 τ ( 4 ) e 6 ) ( g 1 + g 2 e 2 + g 3 e 4 + g 4 e 6 ) = ( g 1 τ ( 1 ) g 2 τ ( 2 ) + g 3 τ ( 3 ) g 4 τ ( 4 ) ) + ( g 2 τ ( 1 ) g 1 τ ( 2 ) + g 4 τ ( 3 ) g 3 τ ( 4 ) ) e 2 + ( g 3 τ ( 1 ) g 4 τ ( 2 ) + g 1 τ ( 3 ) g 2 τ ( 4 ) ) e 4 + ( g 4 τ ( 1 ) g 3 τ ( 2 ) + g 2 τ ( 3 ) g 1 τ ( 4 ) ) e 6 .
Hence,
d ( τ g ) = ( g 1 z 1 ¯ + g 2 z 2 ¯ + g 3 z 3 ¯ + g 4 z 4 ¯ ) d V + ( g 2 z 1 ¯ + g 1 z 2 ¯ + g 4 z 3 ¯ + g 3 z 4 ¯ ) d V e 2 + ( g 3 z 1 ¯ + g 4 z 2 ¯ + g 1 z 3 ¯ + g 2 z 4 ¯ ) d V e 4 + ( g 4 z 1 ¯ + g 3 z 2 ¯ + g 2 z 3 ¯ + g 1 z 4 ¯ ) d V e 6 ,
where d V = d z 1 d z 2 d z 3 d z 4 d z 1 ¯ d z 2 ¯ d z 3 ¯ d z 4 ¯ , and by Equations (6) and (7) we obtain d ( τ g ) = 0 . By Stoke’s theorem, we have
b Ω τ g = Ω d ( τ g ) = 0 .
 □
Theorem 3.
Let Ω be a domain of holomorphy, C ( C ) , with respect to the complex variables z 1 , z 2 , z 3 , z 4 . For any complex valued function g i ( z ) ( i = 1 , 2 , 3 , 4 ) of class C 2 on Ω, we can find another complex valued function g i ( z ) ( i = 1 , 2 , 3 , 4 ) of class C 2 on Ω, such that g ( z ) = g 1 ( z ) + g 2 ( z ) e 2 + g 3 ( z ) e 4 + g 4 ( z ) e 6 is a O-regular function on Ω.
Proof. 
If g 1 ( z ) is a complex-valued function of class C 2 on Ω , then there exists a complex-valued function g 2 ( z ) of class C 2 on Ω . We consider the 1-form and the differential operator on Ω :
ψ : = ( g 1 z 2 ¯ + g 4 z 3 ¯ + g 3 z 4 ¯ ) d z 1 ¯ ( g 1 z 1 ¯ + g 3 z 3 ¯ + g 4 z 4 ¯ ) d z 2 ¯ ( g 4 z 1 ¯ + g 3 z 2 ¯ + g 1 z 4 ¯ ) d z 3 ¯ ( g 3 z 1 ¯ + g 4 z 2 ¯ + g 1 z 3 ¯ ) d z 4 ¯ .
Then, we operate the operator, ¯ , from the left-hand side for the 1-form ψ on Ω :
¯ ψ = ( 2 g 1 z 1 ¯ z 1 ¯ 2 g 3 z 1 ¯ z 3 ¯ 2 g 4 z 1 ¯ z 4 ¯ + 2 g 1 z 2 ¯ z 2 ¯ + 2 g 4 z 2 ¯ z 3 ¯ + 2 g 3 z 2 ¯ z 4 ¯ ) d z 1 ¯ d z 2 ¯ ( 2 g 4 z 1 ¯ z 1 ¯ 2 g 3 z 1 ¯ z 2 ¯ 2 g 1 z 1 ¯ z 4 ¯ + 2 g 1 z 3 ¯ z 2 ¯ + 2 g 4 z 3 ¯ z 3 ¯ + 2 g 3 z 3 ¯ z 4 ¯ ) d z 1 ¯ d z 3 ¯ ( 2 g 3 z 1 ¯ z 1 ¯ 2 g 4 z 1 ¯ z 2 ¯ 2 g 1 z 1 ¯ z 3 ¯ + 2 g 1 z 4 ¯ z 2 ¯ + 2 g 4 z 4 ¯ z 3 ¯ + 2 g 3 z 4 ¯ z 4 ¯ ) d z 1 ¯ d z 4 ¯ ( 2 g 4 z 2 ¯ z 1 ¯ 2 g 3 z 2 ¯ z 2 ¯ 2 g 1 z 2 ¯ z 4 ¯ + 2 g 1 z 3 ¯ z 1 ¯ + 2 g 3 z 3 ¯ z 3 ¯ + 2 g 4 z 3 ¯ z 4 ¯ ) d z 2 ¯ d z 3 ¯ ( 2 g 3 z 2 ¯ z 1 ¯ 2 g 4 z 2 ¯ z 2 ¯ 2 g 1 z 2 ¯ z 3 ¯ + 2 g 1 z 4 ¯ z 1 ¯ + 2 g 3 z 4 ¯ z 3 ¯ + 2 g 4 z 4 ¯ z 4 ¯ ) d z 2 ¯ d z 4 ¯ ( 2 g 3 z 3 ¯ z 1 ¯ 2 g 4 z 3 ¯ z 2 ¯ 2 g 1 z 3 ¯ z 3 ¯ + 2 g 4 z 4 ¯ z 1 ¯ + 2 g 3 z 4 ¯ z 2 ¯ + 2 g 1 z 4 ¯ z 4 ¯ ) d z 3 ¯ d z 4 ¯ .
Based on Equations (6) and (7), all coefficients turn out to be zero. According to Hörmander [18], the ¯ -closed form ψ of z 1 , z 2 , z 3 , and z 4 is a ¯ -exact form on Ω . Krantz [19] states that since Ω is a domain of holomorphy, there exists a complex-valued function g i ( z ) (where i = 1 , 2 , 3 , 4 ) of class C on Ω , with a ¯ -closed form ψ = ¯ g 2 ( z ) on Ω . The form ψ is of z 1 , z 2 , z 3 , and z 4 and is a ¯ -exact ( 0 , 1 ) -form on Ω . Moreover, g ( z ) is a O-regular function on Ω . Using a similar approach, we can derive the desired outcome. □

4. Conclusions

The sedenion is a number system consisting of 16 real numbers and their bases. It can be expressed in the dual structure of octonions. By using the properties and characteristics of octonions, we can investigate the regular function of a sedenion and the Cauchy–Riemann equations derived from regularity. To understand the structure of a sedenion extended from octonions, we can express it with two octonions. This helps us present a regular function defined in the variable representing sedenion. We can also specify the Cauchy–Riemann equations on sedenions corresponding to the structure of the two octonions. By constructing Cauchy–Riemann equations, it is easy to determine the regular function on a sedenion. We can also identify the characteristics of the regular function on a sedenion. By interpreting the expansion of the number system using the structure of the lower number system, we can utilize the analytical properties and structure of the lower number system. Based on the properties and structure of octonions, the regularity of a sedenion is defined. This helps us derive the Cauchy–Riemann equation forms and applications. We can investigate the properties of a regular function and their relationship with Cauchy–Riemann equations.
Operators in the complex sedenion number system are newly defined and used in the corresponding number system. Although the operation is difficult to utilize in existing lower number systems, the convenience of complex structures and the ability to quote the algebraic results of lower number systems, especially quaternions and octonions, enables the application of additional function theory and research into new proposals. Through the attempts and results made in this paper, the use of a number system citing complex number structures enables the formation of a higher-level number system. Also, based on this, the following recent literature related to the use of lower number systems that deal with complex number structures can be introduced.
In the field of signal processing, a theory proposed by Bhat et al. [20] has introduced a new tool called the Wigner–Ville distribution (WVD) associated with quaternion offset linear canonical transform (QOLCT). The main contribution of this work is the introduction of WVD–QOLCT and an ambiguity function (AF) associated with QOLCT (AF–QOLCT). Firstly, it proposed a definition of WVD–QOLCT and derived several important properties such as dilation, nonlinearity, and boundedness. Secondly, they derived the AF for the proposed transform and studied a number of important properties, including the reconstruction formula associated with the AF. This work is an emerging tool in the field of signal processing and can potentially contribute towards solving various signal processing-related challenges. Oubba [21] has presented a comprehensive proof that establishes the validity of any local and 2-local derivation of the generalized quaternion algebra H α , β as a derivation. This proof will entail a systematic and rigorous analysis of the algebraic structure of H α , β , as well as a thorough examination of its various properties and characteristics. Furthermore, this paper will also focus on determining the biderivations, commuting linear maps, and centroid of H α , β over the real numbers. This will require an in-depth investigation of the various linear maps and their properties, as well as an analysis of the algebraic operations that govern their behavior in relation to H α , β . Through this analysis, we aim to provide a comprehensive understanding of the algebraic structure of H α , β and its various properties. Achak et al. [22] have discussed some estimates that have various applications in interpolation theory. In particular, recent issues in image processing and singular integral operators require the computation of appropriate estimates. Abilov et al. [23] have proved two useful estimates for the Fourier transform in the space of square integral multivariable functions on certain classes of functions characterized by the generalized continuity modulus. These estimates are proven for only two variables, using a translation operator. The purpose of this paper is to study these estimates for measurable sets from the complex domain to a hypercomplex domain by using quaternion algebras, associated with the quaternion linear canonical transform, constructed by the generalized Steklov function.

Funding

This study was supported by Dongguk University Research Fund 2021 and the National Research Foundation of Korea (NRF) (2021R1F1A1063356).

Data Availability Statement

Data sharing is not applicable to this article as no new data were created or analyzed in this study.

Conflicts of Interest

The author declares no conflicts of interest.

Appendix A

The specific calculation process in the real number system for variables is developed in
ζ 0 ¯ ζ 1 ¯ = x 0 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 1 x 1 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 2 x 2 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 3 x 3 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 4 x 4 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 5 x 5 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 6 x 6 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) e 7 x 7 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) ,
ζ 0 ¯ ζ 1 ¯ = ( x 0 x 8 e 1 x 0 x 9 e 2 x 0 x 10 e 3 x 0 x 11 e 4 x 0 x 12 e 5 x 0 x 13 e 6 x 0 x 14 e 7 x 0 x 15 ) + ( e 1 x 1 x 8 x 1 x 9 + e 3 x 1 x 10 e 2 x 1 x 11 + e 5 x 1 x 12 e 4 x 1 x 13 e 7 x 1 x 14 + e 6 x 1 x 15 ) + ( e 2 x 2 x 8 e 3 x 2 x 9 x 2 x 10 + e 1 x 2 x 11 + e 6 x 2 x 12 + e 7 x 2 x 13 e 4 x 2 x 14 e 5 x 2 x 15 ) + ( e 3 x 3 x 8 + e 2 x 3 x 9 e 1 x 3 x 10 x 3 x 11 + e 7 x 3 x 12 e 6 x 3 x 13 + e 5 x 3 x 14 e 4 x 3 x 15 ) + ( e 4 x 4 x 8 e 5 x 4 x 9 e 6 x 4 x 10 e 7 x 4 x 11 x 4 x 12 + e 1 x 4 x 13 + e 2 x 4 x 14 + e 3 x 4 x 15 ) + ( e 5 x 5 x 8 + e 4 x 5 x 9 e 7 x 5 x 10 + e 6 x 5 x 11 e 1 x 5 x 12 x 5 x 13 e 3 x 5 x 14 + e 2 x 5 x 15 ) + ( e 6 x 6 x 8 + e 7 x 6 x 9 + e 4 x 6 x 10 e 5 x 6 x 11 e 2 x 6 x 12 + e 3 x 6 x 13 x 6 x 14 e 1 x 6 x 15 ) + ( e 7 x 7 x 8 e 6 x 7 x 9 + e 5 x 7 x 10 + e 4 x 7 x 11 e 3 x 7 x 12 e 2 x 7 x 13 + e 1 x 7 x 14 x 7 x 15 ) ,
ζ 1 ¯ ζ 0 ¯ = x 8 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 1 x 9 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 2 x 10 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 3 x 11 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 4 x 12 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 5 x 13 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 6 x 14 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) e 7 x 15 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) ,
ζ 1 ¯ ζ 0 ¯ = ( x 8 x 0 e 1 x 8 x 1 e 2 x 8 x 2 e 3 x 8 x 3 e 4 x 8 x 4 e 5 x 8 x 5 e 6 x 8 x 6 e 7 x 8 x 7 ) + ( e 1 x 9 x 0 x 9 x 1 + e 3 x 9 x 2 e 2 x 9 x 3 + e 5 x 9 x 4 e 4 x 9 x 5 e 7 x 9 x 6 + e 6 x 9 x 7 ) + ( e 2 x 10 x 0 e 3 x 10 x 1 x 10 x 2 + e 1 x 10 x 3 + e 6 x 10 x 4 + e 7 x 10 x 5 e 4 x 10 x 6 e 5 x 10 x 7 ) + ( e 3 x 11 x 0 + e 2 x 11 x 1 e 1 x 11 x 2 x 11 x 3 + e 7 x 11 x 4 e 6 x 11 x 5 + e 5 x 11 x 6 e 4 x 11 x 7 ) + ( e 4 x 12 x 0 e 5 x 12 x 1 e 6 x 12 x 2 e 7 x 12 x 3 x 12 x 4 + e 1 x 12 x 5 + e 2 x 12 x 6 + e 3 x 12 x 7 ) + ( e 5 x 13 x 0 + e 4 x 13 x 1 e 7 x 13 x 2 + e 6 x 13 x 3 e 1 x 13 x 4 x 13 x 5 e 3 x 13 x 6 + e 2 x 13 x 7 ) + ( e 6 x 14 x 0 + e 7 x 14 x 1 + e 4 x 14 x 2 e 5 x 14 x 3 e 2 x 14 x 4 + e 3 x 14 x 5 x 14 x 6 e 1 x 14 x 7 ) + ( e 7 x 15 x 0 e 6 x 15 x 1 + e 5 x 15 x 2 + e 4 x 15 x 3 e 3 x 15 x 4 e 2 x 15 x 5 + e 1 x 15 x 6 x 15 x 7 ) ,
ζ 0 ζ 1 ¯ = x 0 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 1 x 1 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 2 x 2 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 3 x 3 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 4 x 4 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 5 x 5 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 6 x 6 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) + e 7 x 7 ( x 8 e 1 x 9 e 2 x 10 e 3 x 11 e 4 x 12 e 5 x 13 e 6 x 14 e 7 x 15 ) ,
ζ 0 ζ 1 ¯ = ( x 0 x 8 e 1 x 0 x 9 e 2 x 0 x 10 e 3 x 0 x 11 e 4 x 0 x 12 e 5 x 0 x 13 e 6 x 0 x 14 e 7 x 0 x 15 ) + ( e 1 x 1 x 8 + x 1 x 9 e 3 x 1 x 10 + e 2 x 1 x 11 e 5 x 1 x 12 + e 4 x 1 x 13 + e 7 x 1 x 14 e 6 x 1 x 15 ) + ( e 2 x 2 x 8 + e 3 x 2 x 9 + x 2 x 10 e 1 x 2 x 11 e 6 x 2 x 12 e 7 x 2 x 13 + e 4 x 2 x 14 + e 5 x 2 x 15 ) + ( e 3 x 3 x 8 e 2 x 3 x 9 + e 1 x 3 x 10 + x 3 x 11 e 7 x 3 x 12 + e 6 x 3 x 13 e 5 x 3 x 14 + e 4 x 3 x 15 ) + ( e 4 x 4 x 8 + e 5 x 4 x 9 + e 6 x 4 x 10 + e 7 x 4 x 11 + x 4 x 12 e 1 x 4 x 13 e 2 x 4 x 14 e 3 x 4 x 15 ) + ( e 5 x 5 x 8 e 4 x 5 x 9 + e 7 x 5 x 10 e 6 x 5 x 11 + e 1 x 5 x 12 + x 5 x 13 + e 3 x 5 x 14 e 2 x 5 x 15 ) + ( e 6 x 6 x 8 e 7 x 6 x 9 e 4 x 6 x 10 + e 5 x 6 x 11 + e 2 x 6 x 12 e 3 x 6 x 13 + x 6 x 14 + e 1 x 6 x 15 ) + ( e 7 x 7 x 8 + e 6 x 7 x 9 e 5 x 7 x 10 e 4 x 7 x 11 + e 3 x 7 x 12 + e 2 x 7 x 13 e 1 x 7 x 14 + x 7 x 15 ) ,
ζ 1 ¯ ζ 0 = x 8 ( x 0 + e 1 x 1 + e 2 x 2 e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 1 x 9 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 2 x 10 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 3 x 11 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 4 x 12 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 5 x 13 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 6 x 14 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) e 7 x 15 ( x 0 + e 1 x 1 + e 2 x 2 + e 3 x 3 + e 4 x 4 + e 5 x 5 + e 6 x 6 + e 7 x 7 ) ,
and
ζ 1 ¯ ζ 0 = ( x 8 x 0 + e 1 x 8 x 1 + e 2 x 8 x 2 + e 3 x 8 x 3 + e 4 x 8 x 4 + e 5 x 8 x 5 + e 6 x 8 x 6 + e 7 x 8 x 7 ) + ( e 1 x 9 x 0 + x 9 x 1 e 3 x 9 x 2 + e 2 x 9 x 3 e 5 x 9 x 4 + e 4 x 9 x 5 + e 7 x 9 x 6 e 6 x 9 x 7 ) + ( e 2 x 10 x 0 + e 3 x 10 x 1 + x 10 x 2 e 1 x 10 x 3 e 6 x 10 x 4 e 7 x 10 x 5 + e 4 x 10 x 6 + e 5 x 10 x 7 ) + ( e 3 x 11 x 0 e 2 x 11 x 1 + e 1 x 11 x 2 + x 11 x 3 e 7 x 11 x 4 + e 6 x 11 x 5 e 5 x 11 x 6 + e 4 x 11 x 7 ) + ( e 4 x 12 x 0 + e 5 x 12 x 1 + e 6 x 12 x 2 + e 7 x 12 x 3 + x 12 x 4 e 1 x 12 x 5 e 2 x 12 x 6 e 3 x 12 x 7 ) + ( e 5 x 13 x 0 e 4 x 13 x 1 + e 7 x 13 x 2 e 6 x 13 x 3 + e 1 x 13 x 4 + x 13 x 5 + e 3 x 13 x 6 e 2 x 13 x 7 ) + ( e 6 x 14 x 0 e 7 x 14 x 1 e 4 x 14 x 2 + e 5 x 14 x 3 + e 2 x 14 x 4 e 3 x 14 x 5 + x 14 x 6 + e 1 x 14 x 7 ) + ( e 7 x 15 x 0 + e 6 x 15 x 1 e 5 x 15 x 2 e 4 x 15 x 3 + e 3 x 15 x 4 + e 2 x 15 x 5 e 1 x 15 x 6 + x 15 x 7 ) .

Appendix B

In order to examine the specific calculation process for each term expressed in Equations (2)–(5), the calculation is developed in the real term system in
ζ 0 f 0 = x 0 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 1 x 1 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 2 x 2 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 3 x 3 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 4 x 4 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 5 x 5 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 6 x 6 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) e 7 x 7 ( u 0 + e 1 u 1 + e 2 u 2 + e 3 u 3 + e 4 u 4 + e 5 u 5 + e 6 u 6 + e 7 u 7 ) ,
ζ 0 f 0 = ( u 0 x 0 + e 1 u 1 x 0 + e 2 u 2 x 0 e 3 u 3 x 0 + e 4 u 4 x 0 + e 5 u 5 x 0 + e 6 u 6 x 0 + e 7 u 7 x 0 ) + ( e 1 u 0 x 1 + u 1 x 1 e 3 u 2 x 1 + e 2 u 3 x 1 e 5 u 4 x 1 + e 4 u 5 x 1 + e 7 u 6 x 1 e 6 u 7 x 1 ) + ( e 2 u 0 x 2 + e 3 u 1 x 2 + u 2 x 2 e 1 u 3 x 2 e 6 u 4 x 2 e 7 u 5 x 2 + e 4 u 6 x 2 + e 5 u 7 x 2 ) + ( e 3 u 0 x 3 e 2 u 1 x 3 + e 1 u 2 x 3 + u 3 x 3 e 7 u 4 x 3 + e 6 u 5 x 3 e 5 u 6 x 3 + e 4 u 7 x 3 ) + ( e 4 u 0 x 4 + e 5 u 1 x 4 + e 6 u 2 x 4 + e 7 u 3 x 4 + u 4 x 4 e 1 u 5 x 4 e 2 u 6 x 4 e 3 u 7 x 4 ) + ( e 5 u 0 x 5 e 4 u 1 x 5 + e 7 u 2 x 5 e 6 u 3 x 5 + e 1 u 4 x 5 + u 5 x 5 + e 3 u 6 x 5 e 2 u 7 x 5 ) + ( e 6 u 0 x 6 e 7 u 1 x 6 e 4 u 2 x 6 + e 5 u 3 x 6 + e 2 u 4 x 6 e 3 u 5 x 6 + u 6 x 6 + e 1 u 7 x 6 ) + ( e 7 u 0 x 7 + e 6 u 1 x 7 e 5 u 2 x 7 e 4 u 3 x 7 + e 3 u 4 x 7 + e 2 u 5 x 7 e 1 u 6 x 7 + u 7 x 7 ) ,
f 0 ζ 0 = u 0 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 1 u 1 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 2 u 2 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 3 u 3 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 4 u 4 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 5 u 5 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 6 u 6 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) + e 7 u 7 ( x 0 e 1 x 1 e 2 x 2 e 3 x 3 e 4 x 4 e 5 x 5 e 6 x 6 e 7 x 7 ) ,
f 0 ζ 0 = ( u 0 x 0 e 1 u 0 x 1 e 2 u 0 x 2 e 3 u 0 x 3 e 4 u 0 x 4 e 5 u 0 x 5 e 6 u 0 x 6 e 7 u 0 x 7 ) + ( e 1 u 1 x 0 + u 1 x 1 e 3 u 1 x 2 + e 2 u 1 x 3 e 5 u 1 x 4 + e 4 u 1 x 5 + e 7 u 1 x 6 e 6 u 1 x 7 ) + ( e 2 u 2 x 0 + e 3 u 2 x 1 + u 2 x 2 e 1 u 2 x 3 e 6 u 2 x 4 e 7 u 2 x 5 + e 4 u 2 x 6 + e 5 u 2 x 7 ) + ( e 3 u 3 x 0 e 2 u 3 x 1 + e 1 u 3 x 2 + u 3 x 3 e 7 u 3 x 4 + e 6 u 3 x 5 e 5 u 3 x 6 + e 4 u 3 x 7 ) + ( e 4 u 4 x 0 + e 5 u 4 x 1 + e 6 u 4 x 2 + e 7 u 4 x 3 + u 4 x 4 e 1 u 4 x 5 e 2 u 4 x 6 e 3 u 4 x 7 ) + ( e 5 u 5 x 0 e 4 u 5 x 1 + e 7 u 5 x 2 e 6 u 5 x 3 + e 1 u 5 x 4 + u 5 x 5 + e 3 u 5 x 6 e 2 u 5 x 7 ) + ( e 6 u 6 x 0 e 7 u 6 x 1 e 4 u 6 x 2 + e 5 u 6 x 3 + e 2 u 6 x 4 e 3 u 6 x 5 + u 6 x 6 + e 1 u 6 x 7 ) + ( e 7 u 7 x 0 + e 6 u 7 x 1 e 5 u 7 x 2 e 4 u 7 x 3 + e 3 u 7 x 4 + e 2 u 7 x 5 e 1 u 7 x 6 + u 7 x 7 ) ,
ζ 1 f 1 ¯ = x 8 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 1 x 9 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 2 x 10 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 3 x 11 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 4 x 12 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 5 x 13 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 6 x 14 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) e 7 x 15 ( u 8 e 1 u 9 e 2 u 10 e 3 u 11 e 4 u 12 e 5 u 13 e 6 u 14 e 7 u 15 ) ,
ζ 1 f 1 ¯ = ( u 8 x 8 e 1 u 9 x 8 e 2 u 10 x 8 e 3 u 11 x 8 e 4 u 12 x 8 e 5 u 13 x 8 e 6 u 14 x 8 e 7 u 15 x 8 ) + ( e 1 u 8 x 9 u 9 x 9 + e 3 u 10 x 9 e 2 u 11 x 9 + e 5 u 12 x 9 e 4 u 13 x 9 e 7 u 14 x 9 + e 6 u 15 x 9 ) + ( e 2 u 8 x 10 e 3 u 9 x 10 u 10 x 10 + e 1 u 11 x 10 + e 6 u 12 x 10 + e 7 u 13 x 10 e 4 u 14 x 10 e 5 u 15 x 10 ) + ( e 3 u 8 x 11 + e 2 u 9 x 11 e 1 u 10 x 11 u 11 x 11 + e 7 u 12 x 11 e 6 u 13 x 11 + e 5 u 14 x 11 e 4 u 15 x 11 ) + ( e 4 u 8 x 12 e 5 u 9 x 12 e 6 u 10 x 12 e 7 u 11 x 12 u 12 x 12 + e 1 u 13 x 12 + e 2 u 14 x 12 + e 3 u 15 x 12 ) + ( e 5 u 8 x 13 + e 4 u 9 x 13 e 7 u 10 x 13 + e 6 u 11 x 13 e 1 u 12 x 13 u 13 x 13 e 3 u 14 x 13 + e 2 u 15 x 13 ) + ( e 6 u 8 x 14 + e 7 u 9 x 14 + e 4 u 10 x 14 e 5 u 11 x 14 e 2 u 12 x 14 + e 3 u 13 x 14 u 14 x 14 e 1 u 15 x 14 ) + ( e 7 u 8 x 15 e 6 u 9 x 15 + e 5 u 10 x 15 + e 4 u 11 x 15 e 3 u 12 x 15 e 2 u 13 x 15 + e 1 u 14 x 15 u 15 x 15 ) ,
f 1 ζ 1 ¯ = u 8 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 1 u 9 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 2 u 10 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 3 u 11 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 4 u 12 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 5 u 13 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 6 u 14 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) + e 7 u 15 ( x 8 + e 1 x 9 + e 2 x 10 + e 3 x 11 + e 4 x 12 + e 5 x 13 + e 6 x 14 + e 7 x 15 ) ,
and
f 1 ζ 1 ¯ = ( u 8 x 8 + e 1 u 8 x 9 + e 2 u 8 x 10 + e 3 u 8 x 11 + e 4 u 8 x 12 + e 5 u 8 x 13 + e 6 u 8 x 14 + e 7 u 8 x 15 ) + e 1 ( u 9 x 8 + e 1 u 9 x 9 + e 2 u 9 x 10 + e 3 u 9 x 11 + e 4 u 9 x 12 + e 5 u 9 x 13 + e 6 u 9 x 14 + e 7 u 9 x 15 ) + e 2 ( u 10 x 8 + e 1 u 10 x 9 + e 2 u 10 x 10 + e 3 u 10 x 11 + e 4 u 10 x 12 + e 5 u 10 x 13 + e 6 u 10 x 14 + e 7 u 10 x 15 ) + e 3 ( u 11 x 8 + e 1 u 11 x 9 + e 2 u 11 x 10 + e 3 u 11 x 11 + e 4 u 11 x 12 + e 5 u 11 x 13 + e 6 u 11 x 14 + e 7 u 11 x 15 ) + e 4 ( u 12 x 8 + e 1 u 12 x 9 + e 2 u 12 x 10 + e 3 u 12 x 11 + e 4 u 12 x 12 + e 5 u 12 x 13 + e 6 u 12 x 14 + e 7 u 12 x 15 ) + e 5 ( u 13 x 8 + e 1 u 13 x 9 + e 2 u 13 x 10 + e 3 u 13 x 11 + e 4 u 13 x 12 + e 5 u 13 x 13 + e 6 u 13 x 14 + e 7 u 13 x 15 ) + e 6 ( u 14 x 8 + e 1 u 14 x 9 + e 2 u 14 x 10 + e 3 u 14 x 11 + e 4 u 14 x 12 + e 5 u 14 x 13 + e 6 u 14 x 14 + e 7 u 14 x 15 ) + e 7 ( u 15 x 8 + e 1 u 15 x 9 + e 2 u 15 x 10 + e 3 u 15 x 11 + e 4 u 15 x 12 + e 5 u 15 x 13 + e 6 u 15 x 14 + e 7 u 15 x 15 ) .

References

  1. Conway, J.H.; Smith, D.A. On Quaternions and Octonions: Their Geometry and Symmetry; A. K. Peters Ltd.: Natick, MA, USA, 1982. [Google Scholar]
  2. Smith, W.D. Quaternions, Octonions, 16-Ons and 2n × 2n-Ons; New Kinds of Numbers; Pensylvania State University: Pennsylvania, PA, USA, 2004; pp. 1–68. [Google Scholar]
  3. Carmody, K. Circular and hyperbolic quaternions, octonions, and sedenions—Further results. Appl. Math. Comput. 1997, 84, 27–47. [Google Scholar] [CrossRef]
  4. Imaeda, K.; Imaeda, M. Sedenions: Algebra and analysis applied. Appl. Math. Comput. 2007, 188, 942–947. [Google Scholar]
  5. Kvplinger, J. Sgnature of gravity in conic sedenions. Appl. Math. Comput. 2007, 188, 942–947. [Google Scholar]
  6. Kim, J.E.; Ha, S.J.; Shon, K.H. Properties of hyperholomorphic functions on dual sedenion numbers. Honam Math. J. 2014, 36, 921–932. [Google Scholar] [CrossRef]
  7. Kim, J.E. Characteristics of Regular Functions Defined on a Semicommutative Subalgebra of 4-Dimensional Complex Matrix Algebra. J. Math. 2021, 2021, 9. [Google Scholar] [CrossRef]
  8. Naser, M. Hyperholomorphic functions. Sib. Math. J. 1971, 12, 959–968. [Google Scholar] [CrossRef]
  9. Nôno, K. Hyperholomorphic functions of a quaternion variable. Bull. Fukuoka Univ. Ed. 1982, 32, 22–37. [Google Scholar]
  10. Kim, J.E.; Shon, K.H. Exponential form of biquaternionic variables in Clifford analysis. Comm. Korean Math. Soc. 2017, 32, 85–92. [Google Scholar] [CrossRef]
  11. Kim, J.E.; Shon, K.H. Regular Functions on Dual Split Quaternions in Clifford Analysis. Filomat 2017, 31, 17–27. [Google Scholar] [CrossRef]
  12. Lim, S.J.; Shon, K.H. Regular functions with values in a noncommutative algebra using Clifford analysis. Filomat 2016, 30, 1747–1755. [Google Scholar] [CrossRef]
  13. Lim, S.J.; Shon, K.H. Hyperholomorphic functions and hyper-conjugate harmonic functions of octonion variables. J. Ineq. Appl. 2013, 2013, 77. [Google Scholar] [CrossRef]
  14. Li, X.; Kai, Z.; Peng, L.Z. Characterization of octonionic analytic functions. Complex Var. 2005, 50, 1031–1040. [Google Scholar] [CrossRef]
  15. Ludkovski, S.V. Differentiable functions of Cayley—Dickson numbers and line integration. J. Math. Sci. 2007, 141, 1231–1298. [Google Scholar] [CrossRef]
  16. Kauhanen, J.; Orelma, J. Cauchy—Riemann operators in octonionic analysis. Adv. Appl. Clifford Al. 2018, 28, 14. [Google Scholar] [CrossRef]
  17. Vinogradov, V.S. An analog of the Cauchy—Riemann system in four-dimensional space. Soviet. Math. Dokl. 1964, 5, 10–13. [Google Scholar]
  18. Hörmander, L. L2 estimates and existence theorems for the ¯ operator. Acta Math. 1965, 113, 89–152. [Google Scholar] [CrossRef]
  19. Krantz, S.G. Characterizations of various domains of holomorphy via ¯ estimates and applications to a problem of Kohn. Ill. J. Math. 1979, 23, 267–285. [Google Scholar] [CrossRef]
  20. Bhat, M.Y.; Almanjahie, I.M.; Dar, A.H.; Dar, J.G. Wigner-Ville distribution and ambiguity function associated with the quaternion offset linear canonical transform. Demonstr. Math. 2022, 55, 786–797. [Google Scholar] [CrossRef]
  21. Oubba, H. Generalized quaternion algebras. Rend. Circ. Mat. Palermo 2023, 72, 4239–4250. [Google Scholar] [CrossRef]
  22. Achak, A.; Akhlidj, A.; Daher, R.; Jaafari, A. On estimates for the quaternion linear canonical transform in the space L2( R 2 , H ). Rend. Circ. Mat. Palermo 2024, 1–14. [Google Scholar]
  23. Abilov, V.A.; Abilova, F.V.; Kerimov, M.K. Some remarks concerning the Fourier transform in the space L2( R 2 ). Comput. Math. Math. Phys. 2008, 48, 2146–2153. [Google Scholar] [CrossRef]
Table 1. Rules of 16 base elements, e j .
Table 1. Rules of 16 base elements, e j .
× e 0 e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 e 15
e 0 e 0 e 1 e 2 e 3 e 4 e 5 e 6 e 7 e 8 e 9 e 10 e 11 e 12 e 13 e 14 e 15
e 1 e 1 1 e 3 e 2 e 5 e 4 e 7 e 6 e 9 e 8 e 11 e 10 e 13 e 12 e 15 e 14
e 2 e 2 e 3 1 e 1 e 6 e 7 e 4 e 5 e 10 e 11 e 8 e 9 e 14 e 15 e 12 e 13
e 3 e 3 e 2 e 1 1 e 7 e 6 e 5 e 4 e 11 e 10 e 9 e 8 e 15 e 14 e 13 e 12
e 4 e 4 e 5 e 6 e 7 1 e 1 e 2 e 3 e 12 e 13 e 14 e 15 e 8 e 9 e 10 e 11
e 5 e 5 e 4 e 7 e 6 e 1 1 e 3 e 2 e 13 e 12 e 15 e 14 e 9 e 8 e 11 e 10
e 6 e 6 e 7 e 4 e 5 e 2 e 3 1 e 1 e 14 e 15 e 12 e 13 e 10 e 11 e 8 e 9
e 7 e 7 e 6 e 5 e 4 e 3 e 2 e 1 1 e 15 e 14 e 13 e 12 e 11 e 10 e 9 e 8
e 9 e 9 e 8 e 11 e 10 e 13 e 12 e 15 e 14 e 1 1 e 3 e 2 e 5 e 4 e 7 e 6
e 10 e 10 e 11 e 8 e 9 e 14 e 15 e 12 e 13 e 2 e 3 1 e 1 e 6 e 7 e 4 e 5
e 11 e 11 e 10 e 9 e 8 e 15 e 14 e 13 e 12 e 3 e 2 e 1 1 e 7 e 6 e 5 e 4
e 12 e 12 e 13 e 14 e 15 e 8 e 9 e 10 e 11 e 4 e 5 e 6 e 7 1 e 1 e 2 e 3
e 13 e 13 e 12 e 15 e 14 e 9 e 8 e 11 e 10 e 5 e 4 e 7 e 6 e 1 1 e 3 e 2
e 14 e 14 e 15 e 12 e 13 e 10 e 11 e 8 e 9 e 6 e 7 e 4 e 5 e 2 e 3 1 e 1
e 15 e 15 e 14 e 13 e 12 e 11 e 10 e 9 e 8 e 7 e 6 e 5 e 4 e 3 e 2 e 1 1
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Kim, J.-E. Hyperholomorphicity by Proposing the Corresponding Cauchy–Riemann Equation in the Extended Quaternion Field. Axioms 2024, 13, 291. https://doi.org/10.3390/axioms13050291

AMA Style

Kim J-E. Hyperholomorphicity by Proposing the Corresponding Cauchy–Riemann Equation in the Extended Quaternion Field. Axioms. 2024; 13(5):291. https://doi.org/10.3390/axioms13050291

Chicago/Turabian Style

Kim, Ji-Eun. 2024. "Hyperholomorphicity by Proposing the Corresponding Cauchy–Riemann Equation in the Extended Quaternion Field" Axioms 13, no. 5: 291. https://doi.org/10.3390/axioms13050291

APA Style

Kim, J. -E. (2024). Hyperholomorphicity by Proposing the Corresponding Cauchy–Riemann Equation in the Extended Quaternion Field. Axioms, 13(5), 291. https://doi.org/10.3390/axioms13050291

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop