Abstract
We give a representation of the class of Cullen-regular functions in split-quaternions. We consider each Cullen’s form of split-quaternions, which provides corresponding Cauchy-Riemann equations for split-quaternionic variables. Using Cullen’s form, we research hyperholomorphy and the properties of functions of split-quaternionic variables which are expressed by hyperbolic coordinates.
Similar content being viewed by others
1 Introduction
The skew field of real quaternions, denoted by \(\mathbb{H}\), has the form
where \(\mathbb{R}\) is the set of real numbers and \(i, j\), and k are imaginary units with
Theories and applications of functions of a quaternionic variable have been led by holomorphic functions of one complex variable. Quaternions were introduced by Hamilton [1] in 1843 and generalized by Clifford [2] in 1873. After then, Fueter [3, 4] defined differential operators, called the Cauchy-Fueter operators, and regular functions in the space of solutions of the equation with these operators. Kim et al. [5, 6] obtained the regularity of functions on the form of reduced quaternions in Clifford analysis.
Split-quaternions are elements of four-dimensional algebra introduced by Cockle [7] in 1849. Similar to quaternions, they form a four-dimensional real vector space which is a general associative, but non-commutative, form of multiplication. Unlike the quaternions, the split-quaternions contain zero divisors, nilpotent elements, and nontrivial idempotents such as \(\frac{(1 + j)}{2}\) is an idempotent zero-divisor, and \(i-j\) is nilpotent. Indeed, Helmut and Kist [8] constructed an algebra over the real numbers, which is isomorphic to the algebra of \(2\times2\) real matrices. Moreover, the modulus which has an isotropic quadratic form for split-quaternions provides hyperbolic motions of the Poincaré disk model of hyperbolic geometry. From this result, the structure of split-quaternion analysis has been developed and applied in four-dimensional physics by Frenkel and Libine [9, 10]. Kim and Shon [11, 12] researched corresponding Cauchy-Riemann systems and the properties of hyperholomorphic functions with values in modified split-quaternions. Kim and Shon [13] gave relations between the properties of split-quaternionic regular functions and their algebraic inverse mapping.
In 1965, Cullen [14] proposed the notion of intrinsic functions and found quaternions convenient to write in the form \(\zeta=x_{0}+p\mu\), where \(x_{0}\) and \(p=\sqrt{x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}\) are real and μ is a unit vector quaternion. For fixed μ, the elements of the form \(x_{0}+p\mu\) constitute a subspace of \(\mathcal{D}\) which is isomorphic to the complex field. Since \(\mathcal{D}\) is a generalization of the algebra of complex numbers, \(\mathcal{D}\) has properties analogous to the class of analytic functions of a complex variable. From these properties, Cullen-regular functions are tried to be related to a class of functions of the reduced quaternionic variable, studied by Leutwiler in [15]. Gentili and Struppa [16] and Alayón-Solarz [17, 18] gave definitions of regularity for functions of a quaternionic variable and developed representations of the Cullen-regularity of quaternion analysis. By using the analytic properties and calculating processes of Cullen-regularity, Marin has researched thermoelastic materials in various points of view. For example, Marin and coauthors studied the asymptotic partition of total energy for the solutions of the mixed initial boundary value problem within the thermoelasticity of initially stressed bodies. They obtained a spatial decay estimate which is considered a right cylinder composed of physically micropolar thermoelastic material for which one plane end is subjected to an excitation harmonic in time. Also, they extended the concept of domain of influence in order to cover the elasticity of microstretch materials and studied it for the displacement field, the microrotation field, and the microstretch function (see [19–21]).
Based on these studies, we consider a general type of Cullen-regularity for functions of split-quaternionic variables. First, we give the notions and some properties of split-quaternion-valued functions by using Cullen’s form. Also, we investigate the structure of a Cullen-regular function and corresponding split-Cauchy-Riemann systems for Cullen-variables and research properties of hyperholomorphic functions, represented by Cullen-regular functions.
2 Preliminaries
Let \(\mathbb{S}\) denote the skew field of real split-quaternions which has elements of the form
where \(x_{r} \) (\(r=0,1,2,3\)) are real, i, j and k are imaginary units such that
which is isomorphic to \(\mathbb{R}^{4}\). By the properties of the imaginary units of split-quaternions, we have the following rules for addition and multiplication:
and
respectively. We give the conjugation of a split-quaternion as follows:
Then we have a modulus, denoted by \(\mathcal{N}(p)\), and an inverse element, denoted by \(p^{-1}\) of \(p\in\mathbb{S}\),
and
respectively. By the non-commutative property of basis vectors i, j and k, the product of a split-quaternion with its conjugate is given in an isotropic quadratic form. Given two split-quaternions p and q, the following holds:
For any \(p \neq0\) with \(N(p) = 0\), p is a null vector, and when the modulus is non-zero, then p has a multiplicative inverse.
For a split-quaternion p, it can be written as \(p=S(p)+V(p)\), where \(S(p)\) is the scalar part and \(V(p)\) is the vector part of p. Specially, if \(S(p)=0\), then p is called pure split-quaternion. We focus the attention on the pure split-quaternions to configure Cullen’s form in \(\mathbb{S}\). For a pure split-quaternion p, we consider \(\mathcal{T}=\{p=ix +jy+kz \mid -x^{2}+y^{2}+z^{2}=1\}\). Since points \((x,y,z)\), which satisfy \(-x^{2}+y^{2}+z^{2}=1\), compose Figure 1 in practice, Figure 1 shows that \(\mathcal{T}\) can exist and be non-empty in \(\mathbb{S}\). So, we can represent the following processes and results. If we let
then \(J^{2}=1\) and \(J\in\mathcal{T}\). Indeed, the existence of the element J of \(\mathcal{T}\) is guaranteed by Figures 2-4.
The projection of Figure 2 .
Let Ω be an open set in \(\mathbb{S}\). A function \(f:\Omega \rightarrow \mathbb{S}\) is given by
where \(f_{r}=f_{r}(x_{0},x_{1},x_{2},x_{3})\) (\(r=0,1,2,3\)) are real-valued functions. We try to express a function using the element J of \(\mathcal{T}\). So, we consider the class of split-quaternionic functions which has an element f written as
by letting \(u=f_{0}\) be a real-valued function and
be a split-quaternion-valued function. Let \(\Omega_{J}:=\Omega\cup L_{J}\), where \(L_{J}=\mathbb{R}+J\mathbb{R}\). For all \(p \in\Omega_{J}\), let \(f_{J}:\Omega_{J} \rightarrow \mathbb{S}\) be a function
where u and v are real-valued functions. The function \(f_{J}\) is called a restriction of f in \(\mathbb{S}\).
Remark 2.1
For any split-quaternion \(p\in\mathbb{S}\), the identity function maps one split-quaternion onto itself, and there are unique \(x,y\in\mathbb {R}\) with \(y >0\), and \(J\in\mathcal{T}\) such that \(p = x + Jy\), where
3 Regularity of split-quaternionic functions
Consider differential operators given by
and
where the units i, j and k act from the left or right in each case. We call (3.1) the left-differential operator and (3.2) the right-differential operator in \(\mathbb{S}\). Since both operators have similar roles, we will describe \(D_{l}^{*}\) only later.
Definition 3.1
Let Ω be an open set in \(\mathbb{S}\). A function \(f:\Omega \rightarrow \mathbb{S}\) is said to be J-regular if for every \(J\in \mathcal{T}\), its restriction \(f_{J} : \Omega_{J} \rightarrow \mathbb{S}\) is continuously differentiable and satisfies
where
Remark 3.2
The equation \(D_{J}^{*}f(x+Jy)=0\) is equivalent to the following equations:
So, a function f is J-regular if and only if f satisfies equation (3.3).
Example 1
For \(p\in\mathbb{S}\) and \(a_{n}\in\mathbb{S}\) (\(n\in\mathbb{N}\), where \(\mathbb{N}\) is the set of positive integers), a polynomial \(f(p)=p^{n} a_{n}\) satisfies
Hence, the polynomial \(p^{n} a_{n}\) is J-regular.
Polynomials are used in a wide variety of fields of mathematics and every branch of chemistry and physics. In advanced mathematics, polynomials are used to construct polynomial rings and central concepts in algebra and algebraic geometry. Moreover, if a function is a solution of the equations consisting of differential operators in some systems, the function can be locally expanded as a power series by Taylor’s theorem.
Proposition 3.3
The sum and product of two J-regular functions are J-regular.
Proof
Let \(f=u_{1}(x,y)+Jv_{1}(x,y)\) and \(g=u_{2}(x,y)+Jv_{2}(x,y)\) be J-regular. Then \(D_{J}^{*}f=D_{J}^{*}g=0\). From the rules of addition and product for \(p=x+Jy\in\mathbb{S}\), we get
and
respectively. Since \(u_{\lambda}\) and \(v_{\lambda}\) (\(\lambda=1,2\)) are real-valued functions, by using equation (3.3), we obtain \(D_{J}^{*}(f\pm g)=0\) and \(D_{J}^{*}(fg)=0\). Therefore, the sum and product of two J-regular functions are J-regular. □
Proposition 3.4
If a function is J-regular and non-zero, then its algebraic inverse is J-regular.
Proof
Let \(f=u(x,y)+Jv(x,y)\) be J-regular. Then its algebraic inverse, denoted by \((f)^{-1}\), is
Since u and v are real-valued functions, we have
From equation (3.3), we obtain \(D_{J}^{*}((f)^{-1})=0\). Therefore, the function \((f)^{-1}\) is J-regular. □
Definition 3.5
Let Ω be an open set in \(\mathbb{S}\). Let a function \(f:\Omega \rightarrow \mathbb{S}\) be differentiable. Then \(D_{J}f\) is said to be a J-derivative of f in \(\mathbb{S}\) by
4 Hyperholomorphy in the coordinate system
The coordinate system used by the variables \((t,r,\theta,\varphi)\) can be represented by hyperbolic coordinates
For a split-quaternion \(p=t+Jr\), that is, \(p=t+ir\cosh\theta\sinh \varphi+jr\sinh\theta\sinh\varphi+kr\cosh\varphi\in\mathbb{S}\), a function \(f:\Omega \rightarrow \mathbb{S}\) is written as follows:
We let \(J_{\theta}\) and \(J_{\varphi}\) be the derivatives of J with respect to θ and φ, respectively, such that
and
where \(J_{\theta}^{-1}\) and \(J_{\varphi}^{-1}\) are algebraic inverse elements of \(J_{\theta}\) and \(J_{\varphi}\), respectively, that is, the equations
and
hold.
Lemma 4.1
The left-differential operator (3.1) in this coordinate system has the form
where
Proof
From the representation of J, we have \(Jr=ix_{1}+jx_{2}+kx_{3}\). Then
and
Thus, we obtain
□
This coordinate system can be used to show that a function is hyperholomorphic. Let \(p=t+Jr\in\mathbb{S}\) (\(t,r\in\mathbb{R}\)) and \(f(p)=u(t,r,\theta,\varphi)+Jv(t,r,\theta,\varphi)\), where u and v are real-valued functions.
Definition 4.2
Let Ω be an open set. Then a function \(f=u(t,r,\theta,\varphi )+Jv(t,r,\theta,\varphi)\) is said to be hyperholomorphic if \(u,v\in \mathcal{C}^{1}(\Omega)\) and f satisfies \(D_{l}^{*}f=0\).
Theorem 4.3
A function \(f(p)=u(t,r,\theta,\varphi)+Jv(t,r,\theta,\varphi)\) is hyperholomorphic if and only if u and v satisfy the following equations:
More precisely,
Proof
From the definition of a hyperholomorphic function in split-quaternions, we have
Since \(D_{l}^{*}f=0\), we obtain equation (4.1). Specially, the equation
can be more specifically written as follows.
Since we have
and
we get
Thus, we obtain
□
Proposition 4.4
The sum and product of two hyperholomorphic functions are hyperholomorphic.
Proof
Let \(f=u_{1}(t,r,\theta,\varphi)+Jv_{1}(t,r,\theta,\varphi)\) and \(g=u_{2}(t,r,\theta,\varphi)+J(t,r,\theta,\varphi)\) be hyperholomorphic. Then \(D_{l}^{*}f=D_{l}^{*}g=0\). From the rules of addition and product for \(p=t+Jr\in\mathbb{S}\) with the coordinate system, we get
and
respectively. Since \(u_{\lambda}\) and \(v_{\lambda}\) (\(\lambda=1,2\)) are real-valued functions, by using equation (4.1), we obtain \(D_{l}^{*}(f\pm g)=0\) and \(D_{l}^{*}(fg)=0\). Therefore, the sum and product of two hyperholomorphic functions are hyperholomorphic. □
Proposition 4.5
If a function is hyperholomorphic and non-zero, then its algebraic inverse is hyperholomorphic.
Proof
Let \(f=u(t,r,\theta,\varphi)+Jv(t,r,\theta,\varphi)\) be hyperholomorphic. Then its algebraic inverse
where u and v are real-valued functions, satisfies
From equation (4.1), we obtain \(D_{l}^{*}((f)^{-1})=0\). Therefore, the function \((f)^{-1}\) is hyperholomorphic. □
Lemma 4.6
Let Ω be an open set in \(\mathbb{S}\). For \(p\in\Omega\), if a split-quaternionic function \(f(x+Jy)=u(x,y)+Jv(x,y)\) is hyperholomorphic, then f satisfies
Proof
Since \(u(x,y)\) and \(v(x,y)\) are functions with respect to x and y, the calculation of \(D_{l}^{*} f\) is
Therefore, f satisfies equation (4.2). □
Theorem 4.7
For \(p\in\Omega_{J}\), if a split-quaternionic function \(f(x+Jy)=u(x,y)+Jv(x,y)\) is hyperholomorphic, then f satisfies
Proof
Since \(u(x,y)\) and \(v(x,y)\) are functions with respect to x and y, the calculation of \(D_{l}^{*} (\frac{f}{r^{n}})\) is
Therefore, we obtain the result. □
By referring to [14, 18] and observing Figures 1-4, we consider the corresponding Gauss theorem in four dimensions for the components of f in \(\mathbb{S}\). Specially, if the electric field is known, the Gauss theorem can be of help to find the division of electric charge which is inferred by integrating the electric field. For some symmetry, like cylindrical symmetry, planar symmetry, and spherical symmetry, the electric field passes through the surfaces. As shown in Figure 4, the Gauss theorem can be defined in the class containing the split-quaternionic variables with the cylindrical symmetry as a constituent. From Lemma 4.6 and Theorem 4.7, the Gauss theorem is described as follows.
Theorem 4.8
Let \(f=u(x,y)+J(x,y)\) be a hyperholomorphic function, and let K be any smooth and simple closed hypersurface on \(\mathcal{T}\) in \(\mathbb {S}\), disjoint from the real axis, \(K^{*}\) being the interior of K. Let \(n(p)=n_{0}+n_{1}i+n_{2}j+n_{3}k\), where \((n_{0},n_{1},n_{2},n_{3})\) is the unit outer normal to K at p. Then
where \(dS_{k}\) is the element of surface area on K.
Proof
Suppose that f is hyperholomorphic and \(n(p)=n_{0}+n_{1}i+n_{2}j+n_{3}k\), where \((n_{0},n_{1},n_{2},n_{3})\) is the unit outer normal to K at p (such as Figure 4). From Theorem 4.7, we have
Thus, we can obtain the result. □
References
Hamilton, WR: Elements of Quaternions. Longmans, Green, and Company, London (1899)
Clifford, WK: Preliminary sketch of bi-quaternions. J. Lond. Math. Soc. 4, 381-395 (1873)
Fueter, R: Die Funktionentheorie der Differentialgleichungen \(\Delta u = 0\) und \(\Delta\Delta u = 0\) mit vier reellen Variablen. Comment. Math. Helv. 7(1), 307-330 (1934)
Fueter, R: Über die analytische Darstellung der regulären Funktionen einer Quaternionenvariablen. Comment. Math. Helv. 8(1), 371-378 (1935)
Kim, JE, Lim, SJ, Shon, KH: Regular functions with values in ternary number system on the complex Clifford analysis. Abstr. Appl. Anal. 2013, Article ID 136120 (2013)
Kim, JE, Lim, SJ, Shon, KH: Regularity of functions on the reduced quaternion field in Clifford analysis. Abstr. Appl. Anal. 2014, Article ID 654798 (2014)
Cockle, J: LII. On systems of algebra involving more than one imaginary; and on equations of the fifth degree. Lond. Edin. Dub. Phil. Mag. J. Sci. 35(238), 434-437 (1849)
Karzel, H, Kist, G: Kinematic Algebras and Their Geometries, Rings and Geometry, pp. 437-509. Springer, Dordrecht (1985)
Frenkel, I, Libine, M: Quaternionic analysis, representation theory and physics. Adv. Math. 218(6), 1806-1877 (2008)
Libine, M: An invitation to split quaternionic analysis. In: Hypercomplex Analysis and Applications, pp. 161-180. Springer, Basel (2011)
Kim, JE, Shon, KH: Polar coordinate expression of hyperholomorphic functions on split quaternions in Clifford analysis. Adv. Appl. Clifford Algebras 25(4), 915-924 (2015)
Kim, JE, Shon, KH: The regularity of functions on dual split quaternions in Clifford analysis. Abstr. Appl. Anal. 2014, Article ID 369430 (2014)
Kim, JE, Shon, KH: Inverse mapping theory on split quaternions in Clifford analysis. Filomat 30(7), 1883-1890 (2016)
Cullen, CG: An integral theorem for analytic intrinsic functions on quaternions. Duke Math. J. 32(1), 139-148 (1965)
Leutwiler, H: Modified quaternionic analysis in \(\mathbb{R}^{3}\). Complex Var. Elliptic Equ. 20(1-4), 19-51 (1992)
Gentili, G, Struppa, DC: A new theory of regular functions of a quaternionic variable. Adv. Math. 216(1), 279-301 (2007)
Alayón-Solarz, D: Cullen-regular quaternionic functions in a Fueter operator framework (2008), arXiv:0805.0141v2 [math.CV]
Alayón-Solarz, D: A generalization of a Cullen’s integral theorem for the quaternions. Bol. Asoc. Mat. Venez. 16(1), 5-9 (2009)
Marin, M, Marinescu, C: Thermoelasticity of initially stressed bodies, asymptotic equipartition of energies. Int. J. Eng. Sci. 36(1), 73-86 (1998)
Marin, M, Lupu, M: On harmonic vibrations in thermoelasticity of micropolar bodies. J. Vib. Control 4(5), 507-518 (1998)
Marin, M: A domain of influence theorem for microstretch elastic materials. Nonlinear Anal., Real World Appl. 11(5), 3446-3452 (2010)
Acknowledgements
This work was supported by the Dongguk University Research Fund of 2017.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kim, J.E. A corresponding Cullen-regularity for split-quaternionic-valued functions. Adv Differ Equ 2017, 80 (2017). https://doi.org/10.1186/s13662-017-1131-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1131-4