Next Article in Journal
An Analytical Solution to the One-Dimensional Unsteady Temperature Field near the Newtonian Cooling Boundary
Next Article in Special Issue
Entire Gaussian Functions: Probability of Zeros Absence
Previous Article in Journal
New Developments in Geometric Function Theory
Previous Article in Special Issue
Certain Geometric Properties of the Fox–Wright Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Deterministic and Random Generalized Complex Numbers Related to a Class of Positively Homogeneous Functionals

Institute of Mathematics, University of Rostock, 18051 Rostock, Germany
Axioms 2023, 12(1), 60; https://doi.org/10.3390/axioms12010060
Submission received: 28 November 2022 / Revised: 27 December 2022 / Accepted: 29 December 2022 / Published: 4 January 2023

Abstract

:
Based upon a new general vector-valued vector product, generalized complex numbers with respect to certain positively homogeneous functionals including norms and antinorms are introduced and a vector-valued Euler type formula for them is derived using a vector valued exponential function. Furthermore, generalized Cauchy–Riemann differential equations for generalized complex differentiable functions are derived. For random versions of the considered new type of generalized complex numbers, moments are introduced and uniform distributions on discs with respect to functionals of the considered type are analyzed. Moreover, generalized uniform distributions on corresponding circles are studied and a connection with generalized circle numbers, which are natural relatives of π , is established. Finally, random generalized complex numbers are considered which are star-shaped distributed.

1. Introduction

Well-known generalizations of complex numbers include quaternions [1,2], octonions [3,4], bicomplex and multicomplex numbers [5,6] and Clifford algebras [7,8], among others. All of these works have a methodological common ground, which differs significantly from that used in the present work. Namely, products of elements of such structure are explained by the fact that certain expressions in brackets are formally treated as when multiplying expressions in brackets of real numbers, with additional assumptions being made for the multiplication of so-called basic elements. In contrast to this, suitable vector-valued vector products are introduced and used in the present work, which are geometrically well motivated as rotations and stretches.
Another essential difference between the present work and the group of works mentioned above is that the latter usually do not provide any information about which concrete mathematical objects fulfill the formulated wishes with regard to multiplication and whether the fulfillment of these wishes is unequivocal or ambiguous, while in concrete objects they are always specified in the present work.
To be more concrete: the present work generalizes [9] in that it considers generalized complex numbers with respect to certain general positively homogeneous functionals which contain the l p -functionals considered in [9] as just a particular case. In particular, this new general approach allows the consideration of complex algebraic structures with respect to any norm or antinorm and at the same time leads to the simplification of proofs. Furthermore, we open a new research area with the definition of the generalized complex differentiability of functions and the derivation of a first result for this.
Complex random variables are natural generalizations of ordinary, i.e., real random variables and are studied in an extensive literature such as, for example, in [10,11,12,13]. The close connection between analytical and geometric aspects when considering complex numbers is expressed in [14,15,16,17] among others, and was further developed in [9,18]. Probability densities for complex random variables are considered in [19], for the particular Gaussian case, see [20]. In [21,22] circularity is emphasized, while [23,24] consider complex elliptical distributions. The authors of [25,26,27] study statistical questions for complex random variables and [28] is devoted to statistics in the closely related field of shape analysis.
In [29], the authors refer to [30], where C.F. Gauss described the status of formation of complex numbers in the following words: “It could be said in all this that so long as imaginary quantities were still based on a fiction, they were not, so to say, fully accepted in mathematics but were regarded rather as something to be tolerated; they remained far from being given the same status as real quantities. There is no longer any justification for such discrimination now that the metaphysics of imaginary numbers has been put in a true light and that it has been shown that they have just as good a real objective meaning as the negative numbers”. The authors of [29] continue with the words: “It was the authority of Gauss that first removed from complex numbers all aura of mysticism: his simple interpretation of complex numbers as points in the plane freed these fictive magnitudes from all mysterious and speculative associations and gave them full citizenship rights in mathematics as those enjoyed by the real numbers”.
With respect to later developments, the same authors refer to the following: “In his habilitation presentation at Göttingen at which C.F. Gauss was present …, R. Dedekind said … ‘Until now we have had available no theory of complex numbers entirely free from reproach…or at least none has so far been published [31]’”.
In [32], M. J. Crowe writes that C.F. Gauss published in 1831 “the geometrical justification of complex numbers, which he had worked out in 1799. Whereas … “other”… authors on this subject attracted almost no attention, the prestige and proven track record of Gauss ensures the widespread acceptance of this representation followed upon his publication. Ironically, Gauss himself did not accept the geometrical justification of imaginaries as fully satisfactory”.
Regardless of the last two statements, today’s readers of a text on complex numbers do not bother too much with the question of whether i = 1 has a meaning or what it consists of. However, they should do so for understanding how to close the historical gap in mathematical rigor which nevertheless still exists in the extensive literature including the internet. Many readers will accept the juxtaposed equations ( x , y ) 2 = ( x 2 y 2 , 2 x y ) , i = ( 0 , 1 ) and i 2 = 1 when done in a text about complex numbers, but would surely not accept it when done in any other type of text because of an apparent conflict.
The authors of [29] also point out that A.L. Cauchy said in [33], “We call an imaginary expression, any symbolic expression of the form
a + b 1 where a , b denote two real quantities
Every imaginary equation is only just the symbolic representation of two equations between real quantities.” A.L. Cauchy also undertakes to explain what a formal expression of the form (1) is. H. Hankel called Cauchy’s explanation in this regard a conjuring trick, see [34]. The reader is encouraged to reconsider also Cauchy’s other mentioned point of view, which is rarely if ever encountered these days.
Let C = ( R 2 , , , e , i ) where x 1 y 1 x 2 y 2 = x 1 + x 2 y 1 + y 2 denotes usual vector addition, e = 1 0 , i = 0 1 are particular (ordered pairs of reals or) vectors, a vector-valued vector multiplication is defined by
z 1 z 2 = x 1 x 2 y 1 y 2 x 1 y 2 + x 2 y 1 for all z 1 = x 1 y 1 , z 2 = x 2 y 2 from R 2 ,
and + and · denote addition and multiplication of real numbers. Then, in C , the laws of commutativity, associativity and distributivity apply, so that C is a field that is usually called the complex plane.
In the literature, a preliminary step on a possible way to introduce the product (2) arises if one assumes that for operating with two numbers z 1 = x 1 y 1 = x 1 e + y 1 i and z 2 = x 2 y 2 = x 2 e + y 2 i the usual bracket rules apply. Then, as W.R. Hamilton derived in [35],
x 1 y 1 x 2 y 2 = x 1 x 2 e + ( x 1 y 2 + x 2 y 1 ) i + y 1 y 2 i 2 .
For making this definition complete, he assumes that the product rule is satisfied, stating that the length of the product z of z 1 and z 2 is equal to the product of the lengths of z 1 and z 2 where the length of a complex number z = x e + y i is defined as | z | = x 2 + y 2 . Then,
i 2 = e ,
Equation (3) necessarily becomes (2), and the distributivity rule turns out to be a consequence of the other assumptions.
It is well known that C is a field extension of ( R , + , · ) and as such is uniquely determined up to isomorphism. One may ask whether or not this uniqueness statement is preserved if one somehow weakens the assumed field properties. Since, as W.R. Hamilton showed, distributivity can follow from other properties, one could consider not requiring it from the start.
In [36], B. Riemann points out another aspect of introducing complex numbers, as stated in [29]: “In his 1851 Göttingen inaugural dissertation …‘The original purpose and immediate objective in introducing complex numbers into mathematics is to express laws of dependence between variables by simpler operations on the quantities involved…, ’ ”.
The special case of introducing complex numbers contained in [9] for the case p = 2 ensures compliance with the mathematical rigor reminded of above. The gap in mathematical precision described has thus been closed. In the case of arbitrary real p > 0 , this work dispenses with distributivity of the number system under consideration and demonstrates the newly emerging possibility of constructing complex algebraic structures of great diversity.
How to go from a quadratic equation that cannot be solved for real numbers to a system of two equations that can be solved for complex numbers is shown in [18]. It is also demonstrated there that the variety of possible number systems can be further increased, and how. All of these number systems are suitable for expressing different dependencies between two variables, such as electric current and voltage, to name just one particularly striking representative.
The well known formula which deals with complex numbers in the Euclidean unit circle and is named after L.Euler [37] establishes a connection between this circle and the imaginary unit. This formula has been modified in [9,18] for several number systems, revealing different properties of the imaginary unit as an element of different spaces.
The paper is further organized as follows. A complex algebraic structure which is related to the positively homogeneous Minkowski functional | | . | | of a bounded star body is introduced in Section 2 and a corresponding Euler type formula is derived in Section 3. The notion of generalized complex differentiability and correspondingly generalized Cauchy–Riemann differential equations are presented in Section 4. Section 5 deals with random generalized complex numbers and their basic properties, such as moments, uniform probability distributions on discs with respect to the functional | | . | | and the circles that bound them. In addition, a connection to the equation
{ e i p x , x [ 0 , 2 π ) } = { x y R 2 : | x | p + | y | p = 1 } = S p , i p C p , p > 0
following from [9] is established using generalized circle numbers from [38], and star-shaped distributed generalized complex numbers are introduced. The paper is finished by a discussion in Section 5 and Appendix A demonstrating existence and variety of generalized complex numbers.
Why do we continue to speak of random complex numbers instead of complex random numbers? We do this because the introduction of complex algebraic structures in what follows must be given much greater weight than the subsequent formal simple step of introducing randomness.

2. The Complex Algebraic Structure

In this section and in the Appendix A we discuss the existence and variety of complex numbers and their generalizations. Let V be a two-dimensional real vector space with vector addition ⊕ and scalar multiplication · and denote by 0 the additive neutral element. Suppose further that | | . | | : V R + is a positively homogeneous and bounded functional such that the set B = { x V : | | x | | 1 } is star-shaped with respect to the inner point 0 . For the sake of brevity we call such functional phbs-functional, B the unit disc with respect to the functional | | . | | and the boundary S = B = { x V : | | x | | = 1 } the corresponding unit circle.
 Definition 1. 
A commutative function : V × V V is called a vector-valued vector product with respect to a phbs-functional | | . | | , or a phbs-generated vector product, if for all x and y from V and positive reals λ and μ
x y = 0 if and only if x = 0 or y = 0 ,
x | | x | | y | | y | | S if x 0 and y 0
and
( λ x ) ( μ y ) = ( λ μ ) x y .
 Definition 2. 
If there exist linearly independent elements e and i from V such that
e x = x for all x V
and
i i = e
then V = ( V , , , · , 0 , e , i ) is called a two-dimensional (phbs-functional related) complex algebraic structure and the elements of V are called (phbs-functional related) generalized complex numbers.
If ( V , ) = ( R 2 , p ) according to [9] then we write V = C p and if ( V , ) = ( R 2 , | | . | | ) according to [18] then we write V = C | | . | | .
Note that (7) entails that
| | x y | | = | | x | | · | | y | | .
The sets
B ϱ = ϱ B = { ϱ x : x B } and S ϱ = ϱ S
being generated by the phbs-functional | | . | | are correspondingly called disc and circle having phbs-radius ϱ > 0 and center o . By
z 1 z 2 = | | z 1 | | | | z 2 | | z 1 z 2 | | z 1 z 2 | |
we are always given a vector-valued vector product with respect to a phbs-functional | | . | | .
 Definition 3. 
The operation z 1 z 2 : V × V V defined by (12) will be called generalized complex multiplication (with respect to the phbs-functional | | . | | : V R + ).
To finish this section, we recall that if V = R 2 and = then V is usually called the complex plane. For other choices of V, V is called the V-realization of the complex plane.

3. Euler-Type Trigonometric Representation of Generalized Complex Numbers

From now on, for the sake of simplicity, let V = R 2 and assume that a vector-valued vector product with respect to a phbs-functional is given according to Definition 1.
 Definition 4. 
With z 0 = e | | e | | , z 1 = z , the n-th vector-valued power of z V is defined as
z n = z n 1 z , n = 2 , 3 ,
 Definition 5. 
The vector-valued exponential function with respect to the phbs-funtional | | . | | , exp | | . | | ( . ) : V V , is defined as
exp | | . | | ( z ) = k = 0 z k k ! .
 Definition 6. 
Let the central projection of vector z V onto the unit circle S be denoted c p r S ( z ) . The exponential-projection function with respect to the phbs-functional | | . | | , e | | . | | : V S , is defined then by
e | | . | | z = c p r S ( exp | | . | | ( z ) ) .
 Definition 7. 
The generalizations of the usual cosine and sine functions with respect to the phbs-funtional | | . | | are defined to be
cos S x = cos x N ( x ) and sin S x = sin x N ( x )
where
N ( x ) = | | cos x e | | e | | + sin x i | | i | | | | .
Note that
B = { ( cos S φ ) e + ( sin S φ ) i , 0 φ < 2 π } .
In the following theorem, it is assumed that there is exactly one fixed imaginary unit for all phbs-functionals. However, the right-hand side of the Euler-type formula explicitly depends on the specific choice of the phbs-functional in two ways, namely explicitly by | | e | | and | | i | | and implicitly through S in the definition of the generalized sine and cosine functions. In the subsequent Corollary it is conversely assumed that the imaginary unit is chosen in dependence of the phbs-functional. At first glance, the right-hand side of the Euler-type formula then seems to depend only implicitly through S from the choice of the phbs-functional because the dependence of the imaginary unit on the phbs-functional is not visible there.
 Theorem 1. 
If
e = 1 0 and i = 0 1
then the following Euler-type formula holds true
e | | . | | x i | | i | | = cos S x e | | e | | + sin S x i | | i | | , x R .
 Proof. 
It follows from
i 2 k = ( 1 ) k | | i | | 2 k e | | e | | and i 2 k + 1 = ( 1 ) k | | i | | 2 k i
that
e | | . | | x i | | i | | = c p r S ( exp | | . | | ( x i | | i | | ) ) = cos x e | | e | | + sin x i | | i | | N ( x ) .
 Remark 1. 
We emphasize that (14) is a vector equation. While one-dimensional considerations in the literatur have so far not led to a fully satisfactory explanation for the imaginary unit, the two-dimensional consideration carried out here allows different interpretations in a well-structured way, as will be shown below.
With e and i as in this theorem, for any phbs-functional | | . | | , the following vector equation holds,
e | | . | | π i | | i | | + e | | e | | = 0 .
 Corollary 1. 
If
e = 1 0 | | 1 0 | | and i = 0 1 | | 0 1 | |
then we have the following Euler-type formula
e | | . | | x i = ( cos S x ) e + ( sin S x ) i .
 Proof. 
Obviously,
| | e | | = | | i | | = 1 and N ( x ) = | | ( cos x ) e + ( sin x ) i | | .
Thus,
i 2 k = ( 1 ) k e and i 2 k + 1 = ( 1 ) k i
and
e | | . | | x i = c p r S ( exp | | . | | ( x i ) ) = cos x e + sin x i N ( x ) .
With e and i as in this corollary, the following vector equation is true for any phbs-functional | | . | | ,
e | | . | | i π + e = 0 .
This equation clarifies and generalizes the well known formula
e i π + 1 = 0 .
 Remark 2. 
If | | . | | = | | . | | p where | | z | | p = ( | x | p + | y | p ) 1 / p then in Corollary 1 there holds i = 0 1 , p > 0 , but e | | . | | p x i nevertheless depends on p.
 Corollary 2. 
Let z = x y from V and assumtion (16) be fulfilled. Then z allows the generalized polar representation
z = r e | | . | | i φ
with
r = | | x y | | and arctan | y x | = φ if z Q 1 π φ if z Q 2 φ π if z Q 3 2 π φ if z Q 4
where Q 1 Q 4 stand for the anticlockwise enumerated quadrants of R 2 .
 Proof. 
The generalized polar coordinate transformation w.r.t the phbs-functional | | . | | , P o l S : [ 0 , 2 π ) × [ 0 , ) R 2 , is defined in [38] by x = r cos S φ , y = r sin S φ that is z = r ( ( cos S φ ) e + ( sin S φ ) i ) . The inverse of P o l S is given by (20), (21). Finally, (17) applies to prove (20). □
For i satisfying (16), let us write i = i | | . | | . We close this section with the following generalization of Equation (5):
{ e | | . | | i | | . | | x , x [ 0 , 2 π ) } = { x y R 2 : | | x y | | = 1 } = S | | . | | , i | | . | | C | | . | | .

4. Generalized Complex Differentiability

We note that both the usual complex multiplication
z 1 z 2 = x 2 y 2 y 2 x 2 x 1 y 1
and the generalized complex multiplication (12) represent torsional stretches and that
x y y x x y y x = | | z | | 2 1 0 0 1 , z = x y ,
which motivates the following definition.
 Definition 8. 
With
z 1 z 2 = x 2 y 2 y 2 x 2 x 1 y 1 = x 1 x 2 + y 1 y 2 y 1 x 2 x 1 y 2 ,
the generalized complex division (with respect to the phbs-functional | | . | | ) is defined as
z 1 | | . | | z 2 = | | z 1 | | | | z 2 | | z 1 z 2 | | z 1 z 2 | | .
It can be easily checked that
( z 1 | | . | | z 2 ) z 2 = z 1
and, for ε R ,
( ε z ) | | . | | ε 0 = z | | e | |
as well as
( ε z ) | | . | | 0 ε = | | z | | | | i | | · | | A z | | A z where A = 0 1 1 0
describes a 90 counterclockwise rotation.
 Definition 9. 
Let U be an open subset of the complex plane C . A function f = u v : U C is called differentiable at z 0 C if the limit
lim z z o ( f ( z ) f ( z o ) ) | | . | | ( z z o )
exists. Moreover, f is called a holomorphic function if it is generalized complex differentiable in U.
 Theorem 2. 
If f = u v is differentiable in U C then the partial derivatives of u and v satisfy the equations
u x ( x , y ) = Q ( x , y ) v y ( x , y ) , v x ( x , y ) = Q ( x , y ) u y ( x , y )
where Q ( x , y ) = | | e | | · | | u y v y | | | | i | | · | | v y u y | | .
 Proof. 
Recognize that, with some δ ( 0 , 1 ) ,
( f ( z + ε e ) f ( z ) ) | | . | | ( ε e ) = ( ( u ( x + ε , y ) v ( x + ε , y ) ) ( u ( x , y ) v ( x , y ) ) ) | | . | | ε 0 = ε u x ( x + δ ε , y ) ε v x ( x + δ ε , y ) | | . | | ε 0 = 1 | | e | | u x ( x + δ ε , y ) v x ( x + δ ε , y )
and
( f ( z + ε i ) f ( z ) ) | | . | | ( ε i ) = | | u y ( x , y + δ ε ) v y ( x , y + δ ε ) | | | | i | | · | | A u y ( x , y + δ ε ) v y ( x , y + δ ε ) | | A u y ( x , y + δ ε ) v y ( x , y + δ ε ) .
Thus, for ε 0 ,
( f ( z + ε e ) f ( z ) ) | | . | | ( ε e ) 1 | | e | | u x ( x , y ) v x ( x , y )
and
( f ( z + ε i ) f ( z ) ) | | . | | ( ε i ) | | u y ( x , y ) v y ( x , y ) | | | | i | | · | | v y ( x , y ) u y ( x , y ) | | v y ( x , y ) u y ( x , y )
from where (23) immediately follows. □
 Definition 10. 
We call the equations in Theorem 2 the generalized Cauchy-Riemann differential equations (with respect to the phbs-funtional | | . | | ).

5. Random Numbers

5.1. Moments

Let [ Ω , A , P ] denote any probability space and S the Borel σ -algebra of subsets of V. Any ( A , S ) -measurable mapping Z = X Y : Ω V will be called a random generalized complex number. If we assume that the square z 2 = z z of a complex number z is particularly defined as z 2 = z z , Z possesses second order moments and E means mathematical expectation then the vector-valued second order central moment of Z is
E ( Z E Z ) 2 = σ X 2 σ Y 2 2 σ X , Y ,
where σ X 2 and σ Y 2 stand accordingly for the variances of X and Y and σ X , Y for the covariance between X and Y. If | | . | | = | | . | | 2 denotes the Euclidean norm then τ = | | E ( Z E Z ) 2 | | 2 2 takes the form
τ = ( σ X 2 σ Y 2 ) 2 + 4 σ X , Y 2 .
Note that τ = 0 means homoscedasticity and uncorrelatedness of X and Y, and non-zero τ means either heteroscedasticity or correlatedness, or both.
Similarly, the vector-valued third and fourth order central moments of Z are, under suitable conditions,
E ( Z E Z ) 3 = E ( X μ X ) 3 3 E ( X μ X ) ( Y μ Y ) 2 3 E ( X μ X ) 2 ( Y μ Y ) E ( Y μ y ) 3
and
E ( Z E Z ) 4 = E ( X μ X ) 4 6 E ( X μ X ) 2 ( Y μ Y ) 2 + E ( Y μ Y ) 4 4 E ( X μ X ) 3 ( Y μ Y ) 4 E ( X μ X ) ( Y μ Y ) 3 ,
respectively.

5.2. Uniform Probability Distribution

A closer description of a random variable is given by its distribution law. We start with one of the most elementary distributions which one can assign a random vector in V. If μ ( A ) denotes the area content or Lebesgue measure of A , μ ( A ) = A d ( x , y ) , where A is a Borel subset of V, then the uniform probability distribution on B S is defined by
U ( A ) = μ ( A ) μ ( B ) , A S B .
Let us assume that Z follows this distribution, Z d U . The probability density of the random vector Z is then
f Z ( x , y ) = 1 μ ( B ) , ( x , y ) T B .
We now exploit the fact that Z in the sense of Corollary 2 allows the generalized polar representation
Z = P o l S ( R , Φ ) = R cos S Φ sin S Φ = R e | | . | | i Φ .
The Jacobian of the transformation P o l S is D ( x , y ) D ( r , φ ) = r N 2 ( φ ) , the area content of B ϱ satisfies the equation
μ ( B ϱ ) = μ ( B ) ϱ 2 where μ ( B ) = 1 2 0 2 π d φ N 2 ( φ ) ,
and the joint distribution function of R and Φ is given by
P ( R < ϱ , Φ < ψ ) = 0 ϱ 0 ψ 1 μ ( B ) r N 2 ( φ ) d φ d r , ϱ > 0 , ψ ( 0 , 2 π ) .
Thus, R and Φ are stochastically independent and follow the densities
f R ( r ) = 2 r , 0 < r < 1
and
f Φ ( φ ) = 1 2 μ ( B ) N 2 ( φ ) , φ ( 0 , 2 π ) ,
respectively. This allows to simulate R , Φ and Z.

5.3. Generalized Circle Numbers

In this section, we discuss a geometric aspect of the normalizing constant μ ( B ) from (28). The phbs-functional | | . | | can be viewed as the Minkowski functional of the star body B, that is | | z | | = h B ( z ) = inf { λ > 0 : z λ B } , z V .
Let T be a star disc in R 2 which is generated by the positive homogeneous Minkowski functional h T and Z n : z 0 , z 1 , . . . , z n = z 0 a successive and positive (anticlockwise) oriented partition of S ϱ . The positive directed T-arc-length of S ϱ is defined as
A L S ϱ , T = lim n j = 1 h T ( z j z j 1 ) ,
if the limit exists for and is independent of all described partitions of S ϱ satisfying the assumption max 1 j n h T ( z j z j 1 ) 0 as n .
If the gradient h B is defined almost everywhere and a star body S * satisfies the rotated gradient condition
h 0 1 1 0 S * ( h B ( x , y ) | ( x , y ) = P o l s ( r , φ ) ) = 1 , a . e .
Then, according to [38], A L S ϱ , S * allows the representation,
A L S ϱ , S * = 2 μ ( B ) ϱ .
It follows from (26) and (31) that
μ ( B ϱ ) ϱ 2 = μ ( B ) = A L S ϱ , S * 2 ϱ ,
which was the motivation in [38] to call
π S : = μ ( B )
the S-generalized circle number of the star body B. With regard to the specific definition of S * , we refer to [38,39] for the general case.
We note that, if specifically V = R 2 and | | x y , | | = x 2 + y 2 denotes the Euclidean norm then the quantity π S = π is well known to represent the area content of the unit disc, and S = S * , μ ( B ) = π .
If, however, | | x y | | = ( x a ) 2 + ( y b ) 2 then B = { x y : x 2 a 2 + y 2 b 2 1 } has area content μ ( B ) = a b π , π S = a b π , and S * = { x y : b 2 x 2 + a 2 y 2 = 1 } satisfies (30).

5.4. The Distribution of e | | . | | i Φ

Let Φ still denote the random angle from the stochastic representation (25) and assume for the sake of simplicity from now on that assumption (16) is satisfied. The random generalized complex number e | | . | | i Φ takes values in S, e | | . | | i Φ : Ω S , and is ( A , B ( S ) ) -measurable where B ( S ) denotes the Borel σ -algebra over S. The following sections of S,
S ( φ 1 , φ 2 ) = { cos S φ sin S φ : φ 1 φ φ 2 } , 0 φ 1 < φ 2 < 2 π ,
are elements from B ( S ) and serve for defining the following sectors of B:
s e c t o r ( φ 1 , φ 2 ) = { r · S ( φ 1 , φ 2 ) , 0 r < 1 } , 0 φ 1 < φ 2 < 2 π .
In analogy to formulae (2.35) and (2.36) in [38], we have
A L ϱ · S ( φ 1 , φ 2 ) , S * = ϱ φ 1 φ 2 d φ N 2 ( φ )
and
μ ( ϱ · s e c t o r ( φ 1 , φ 2 ) ) = ϱ 2 2 φ 1 φ 2 d φ N 2 ( φ ) .
Notice that (33) and (34) together broadly generalize the defining equations of π S and are an integral part of the intellectual background of the generalized Cavalieri integration mentioned in [40]. Moreover,
P ( e | | . | | i Φ S ( φ 1 , φ 2 ) ) = P ( cos S ( Φ ) sin S ( Φ ) S ( φ 1 , φ 2 ) ) = P ( Φ ( φ 1 , φ 2 ) ) .
It follows now by (28) and (31) that the distribution law L ( e i Φ ) looked for in this section is
P ( e i Φ S ( φ 1 , φ 2 ) ) = A L S ( φ 1 , φ 2 ) , S * A L S , S * , 0 φ 1 < φ 2 < 2 π .
 Definition 11. 
We call the distribution in (35) the generalized uniform distribution on the circle S with respect to the phbs-functional | | . | | , or the S-generalized uniform distribution, for short, and a random variable U S that follows this distribution an S-generalized uniform basis of the random generalized complex number Z.
Equation (25) can now be viewed as a stochastic representation,
Z R · U S ,
where the random phbs-radius variable R = | | Z | | and uniform basis U S are independent and follow the density (27) and the distribution law (35), respectively.
Because S borders the star body B, the product R · U S is said to be star-shaped distributed.

5.5. Star-Shaped Distributed Random Generalized Complex Numbers

 Definition 12. 
A random generalized complex number Z = X Y is said to follow a star-shaped distribution if there exist a nonnegative random variable R, a star body S, centered at 0 , and a uniform basis U S that is independent of R such that the random vector X Y satisfies the stochastic representation (36).
For the big subclasses of norm- and antinorm-contoured and more general star-shaped distributions, we refer to [40,41], respectively. For antinorms, see [42]. The more particular class of elliptically contoured distributions is studied in [12,40,41,43] and the related ellipses numbers in [38,39].
Still another class of probability densities which are invariant with respect to certain [ p , q ] -vector multiplications was discussed in [18].

6. Discussion

In the present work, a new, rather general concept of complex numbers was brought into connection with the concepts of generalized uniform distributions on generalized circles, generalized circle numbers for circular discs with respect to positively homogeneous and bounded functionals and a well known general theory of star-shaped distributions in R 2 . Moreover, the concept of complex differentiability was generalized and a generalization of the Cauchy–Riemann differential equations was derived. Obvious further questions for future work in this area concern a general treatment of power series and the search for a potentially possible adaption of the statement of Cauchy’s integral theorem. Additionally, the reader should be made aware of the following aspects.
As subsets of the real line, the set of all integers is a subset of the set of all rational numbers; analogously, every rational number is a real number. However, are real numbers special complex numbers? To the best of the author’s knowledge, this has actually not been shown anywhere, although an impression to this effect may occasionally have arisen. Instead, it has been proved that the two-dimensional field of complex numbers, C , is an extension field of the one-dimensional field of real numbers, R , based on the following. Because of
x 1 0 x 2 0 = x 1 + x 2 0 and x 1 0 x 2 0 = x 1 · x 2 0 ,
the mapping x x 0 defines an isomorphism from R to C . In other words, the space ( { x 0 , x R } , , ) is isomorph to ( R , + , · ) . The occasionally encountered view that z = x + i y = x y becomes a real number if y = 0 falls short within the present vector space approach.
In a certain part of the international mathematical literature, a mentality of wishing properties of abstract mathematical objects has become established without giving the reader the guarantee that these wishes can be fulfilled, or how, by explicitly specifying suitable concrete mathematical objects. Beginning in [9,18], this approach was abandoned and explicit objects for the realization of ordinary complex numbers and their p-generalizations, p > 0 , as well their norm-, antinorm- and semi-antinorm-generalizations were given.
As we have seen, Equation (19), often referred to as mysterious or most beautiful formula of mathematics, does not, from a rigorous point of view, point to the facts at hand with complete precision. The message that a frequently quoted formula is not perfectly correct could lead to great uncertainty, if it had not been specified in Equation (18) at the same time.
These circumstances are the reason why we also subject other well-known mathematical formulas to a check for the necessary mathematical rigor. This is demonstrated here using the example of the addition property of the exponential function. The proof of the formula,
e x + y = e x e y for all x and y from R ,
can be done quite easily using the Cauchy formula as follows:
e x e y = ( k = 0 x k k ! ) ( l = 0 y l l ! ) = m = 0 ( ν = 0 m x ν y m ν ν ! ( m ν ) ! ) = m = 0 ( x + y ) m m ! = e x + y .
However, this proof cannot be transferred directly to complex numbers within the framework of the present vector space approach. Let | | . | | be the Euclidean norm in R 2 . In order to prove the formula
e x p | | . | | ( z 1 + z 2 ) = e x p | | . | | ( z 1 ) e x p | | . | | ( z 2 ) for all z 1 and z 2 from C 2
in the vector approach considered here for ordinary complex numbers, the formulation of the series expansion
e x p | | . | | ( z ) = e + x y + 1 2 ! x 2 y 2 2 x y + 1 3 ! x 3 3 x y 2 3 x 2 y y 3 + 1 4 ! x 4 6 x 2 y 2 + y 4 4 ( x 3 y x y 3 ) + 1 5 ! x 5 10 x 3 y 2 + 5 x y 4 5 x 4 y 10 x 2 y 3 + y 5 + 1 6 ! x 6 15 x 4 y 2 + 15 x 2 y 4 y 5 6 x 5 y 20 x 3 y 3 + 6 x y 5 + , z = z 1 + z 2 C 2
and the suitable sorting of the summands in the corresponding vector product,
e x p | | . | | ( z 1 ) e x p | | . | | ( z 2 ) for all z 1 and z 2 from C 2 ,
are correspondingly more technically challenging. The reader should wonder from the considerations made so far whether in the present approach, or other ones in papers which start from various desires that a complex algebraic structure should satisfy, there is a guarantee that all precisifications in the sense of mathematical rigor cannot lead to any technical or even deep-seated conflicts. The need for a consistent, strict mathematical action in this field is additionally underlined by a statement in [44], where it is shown in Theorem 1, Formula (19), that the exponential function considered there does not have the addition property examined here.
If one has finally carried out the steps just indicated, then, for example, a valid proof follows from (38) and the usual definitions of cos z and sin z that the Euler formula
e i x = cos x + i sin x , x R
can be generalized to
e i z = cos z + i sin z , z C .
Fortunately, the greater effort that a vector consideration of complex numbers requires is offset by a greater expected benefit. For example, it was shown in [18] that a quadratic equation that has no real solution can have solutions in C p for infinitely many p . A fundamental question then is, for which p, for a given variable x, a suitable variable y exists and is well interpretable, so that they naturally satisfy the equation | x | p + | y | p = r p for a certain r > 0 .

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

Appendix A

The examples presented in this section are to prove the existence and variety of complex numbers and their generalizations. Notice that the known uniqueness statement on usual complex numbers can only be made under the additional distributivity assumption with respect to the complex algebraic structure under consideration. Each of the following examples can occur equally in the deterministic and in the stochastic context. To name just two of the possible areas of application, we refer to complex variable frequency electric circuit theory in [45] and complex spectral signal representation for the processing and analysis of images in [46].
 Example A1. 
Let V = R 2 , | | z | | = | | x y | | = x 2 + y 2 ,   z 1 z 2 = z 1 z 2 , e = 1 0 and i = 0 1 . Then, the assumptions (6)–(10) are fulfilled; the complex algebraic structure C = ( V , , , · , 0 , e , i ) is commonly called the complex plane and its elements, z = x y , are called complex numbers.
Usually complex numbers are written as z = x + i y where the so called imaginary unit i is said to come from a different set than the real numbers, nowadays an astonishing non-mathematical approach. The circumstance that then it is simply not explained what i y , x + i y , i 2 are, and what the “identification” 1 0 = 1 , which stands for i 2 = 0 1 0 1 = 1 means is often not even mentioned.
The present approach to C avoids such a gap in mathematical rigor and proves the existence of a mathematically completely formally correct definition while the following examples show the variety of complex numbers as well as the existence and variety of their generalizations.
 Example A2. 
Let V = { f : [ 0 , 1 ] R with f ( x ) = a x + b where a , b are reals } be a function space, | | f | | = a 2 + b 2 a norm on it and
( f g ) ( x ) = ( a c b d ) x + ( a d + b c )
if f ( x ) = a x + b and g ( x ) = c x + d with reals a , b , c , d . Further assume that elements e and i from V satisfy e ( x ) = x and i ( x ) = 1 for all x [ 0 , 1 ] . Then, assumptions (6)–(10) are satisfied and the complex algebraic structure ( V , , , · , 0 , e , i ) can be considered as another realization of the complex plane C .
 Example A3. 
Let the vector space V = { a b b a , a , b are reals } be endowed with the norm | | a b b a | | = a 2 + b 2 and put e = 1 0 0 1 , i = 0 1 1 0 as well as
a b b a c d d c = a c b d a d b c a d + b c a c b d .
Then, assumptions (6)–(10) are satisfied and the corresponding algebraic structure is called the matrix representation of C .
 Example A4. 
Let V = R 2 , | | z | | = | | z | | p with p 0 ,
z 1 z 2 = z 1 p z 2 = ( | x 1 | p + | y 1 | p ) ( | x 2 | p + | y 2 | p ) | x 1 x 2 y 1 y 2 | p + | x 1 y 2 + x 2 y 1 | p 1 / p z 1 z 2
for all z 1 = x 1 y 1 , z 2 = x 2 y 2 from V and e = 1 0 , i = 0 1 . Then, the assumptions (6)–(10) are satisfied and the corresponding complex algebraic structure can be viewed as a generalization of the complex plane C .
Here, | | . | | p denotes a norm, antinorm or semi-antinorm if accordingly p 1 , 0 < p 1 or p < 0 ,42], and ⊕ denotes common vector addition.
 Remark A1. 
Suitably modified, the product p can also be used in Examples 2 and 3.
 Example A5. 
If V = R 2 , | | z | | = | z | ( a , b ) = ( x a ) 2 + ( y b ) 2 , a > 0 , b > 0 and
z 1 ( a , b ) z 2 = ( x 1 2 + ( a b y 1 ) 2 ) ( ( b a x 2 ) 2 + y 2 2 ) b 2 ( x 1 x 2 y 1 y 2 ) 2 + a 2 ( x 1 y 2 + x 2 y 1 ) 2 1 / 2 z 1 z 2
then assumptions (6)–(10) are satisfied and the complex algebraic structure ( V , , , · , 0 , e , i ) , where , 0 , e , i are as before, is called an elliptical complex plane.
 Remark A2. 
Suitably adopted, the Euler-type formulae apply to arbitrary two-dimensional complex algebraic structures.

References

  1. Hamilton, W.R. On quaternions. Proc. R. Ir. Acad. 1847, 3, 89–92. [Google Scholar]
  2. Hamilton, W.R. Lectures on Quaternions; Hodges and Smith: Dublin, Ireland, 1853. [Google Scholar]
  3. Graves, J.T. On a connection between the general theory of normal couples and the theory of complete quadratic functions of two variables. Lond. Edinb. Dublin Philos. Mag. J. Sci. 1845, 26, 315–320. [Google Scholar] [CrossRef] [Green Version]
  4. Conway, J.H.; Derek, A.S. On Quaternions and Octonions; A.K. Peters: Boca Raton, FL, USA; CRC Press: Boca Raton, FL, USA, 2003. [Google Scholar]
  5. Luna-Elizarraras, M.E.; Shapiro, M.; Struppa, D.C.; Vajiac, A. Bicomplex Holomorphic Functions: The Algebra, Geometry and Analysis of Bicomplex Numbers; Birkhäuser: Cham, Switzerland, 2015. [Google Scholar]
  6. Price, G.B. An introduction to Multicomplex Spaces and Functions; Dekker, M., Ed.; CRC Press: Boca Raton, FL, USA, 1991. [Google Scholar]
  7. Clifford, W.K. Preliminary sketch of biquaternions. Proc. Lond. Math. Soc. 1873, s1-4, 381–396. [Google Scholar] [CrossRef] [Green Version]
  8. Snygg, J. Clifford Algebra: A Computational Tool for Physicists; Oxford University Press: New York, NY, USA, 1997. [Google Scholar]
  9. Richter, W.-D. On lp-complex numbers. Symmetry 2020, 12, 877. [Google Scholar] [CrossRef]
  10. Wooding, R.A. The multivariate distribution of complex normal variables. Biometrika 1956, 43, 212–215. [Google Scholar] [CrossRef]
  11. Goodman, N.R. Statistical analysis based on a certain multivariate complex Gaussian distribution (An introduction). Ann. Math. Stat. 1963, 34, 152–177. [Google Scholar] [CrossRef]
  12. Fang, K.-T.; Kotz, S.; Ng, K. Symmetric Multivariate and Related Distributions; Chapman Hall: London, UK, 1990. [Google Scholar]
  13. Khurshid, A.; Al-Hemyari, Z.A.; Kamal, S. On complex random variables. Pak. J. Stat. Oper. Res. 2012, VIII, 645–654. [Google Scholar] [CrossRef] [Green Version]
  14. Mac Llwaine, P.S.W.; Plumpton, C. Coordinate geometry and complex numbers. In Core Books in Advanced Mathematics; Macmillan Education Limited: Houndmills, Basingstoke Hamshire, UK; London, UK, 1984. [Google Scholar]
  15. Stillwell, J. Numbers and Geometry; Springer: New York, NY, USA, 1998. [Google Scholar]
  16. Stein, E.M.; Shakarchi, R. Complex Analysis; Princeton University Press: Princeton, NJ, USA, 2003. [Google Scholar]
  17. Harkin, A.A.; Harkin, J.B. Geometry of Generalized Complex Numbers. Math. Mag. 2004, 77, 118–129. [Google Scholar] [CrossRef]
  18. Richter, W.-D. Complex numbers related to semi-antinorms, ellipses or matrix homogeneous functionals. Axioms 2021, 10, 340. [Google Scholar] [CrossRef]
  19. Olhede, S.C. On probability density functions for complex variables. IEEE Trans. Inf. Theory 2006, 52, 1212–1217. [Google Scholar] [CrossRef]
  20. Van den Bos, A. The multivariate complex normal distribution-A generalization. IEEE Trans. Inf. Theory 1995, 41, 537–539. [Google Scholar] [CrossRef]
  21. Picinbono, B. On circularity. IEEE Trans. Signal Process. 1994, 42, 3473–3482. [Google Scholar] [CrossRef]
  22. Ollila, E. On the circularity of a complex random variable. IEEE Signal Process. Lett. 2008, 15, 841–844. [Google Scholar] [CrossRef]
  23. Krishnaiah, P.R.; Lin, J. Complex elliptically symmetric distributions. Commun. Stat. Theory Methods 1986, 15, 3693–3718. [Google Scholar] [CrossRef]
  24. Ollila, E.; Koivunen, V. Generalized complex elliptical distributions. In Proceedings of the Processing Workshop Proceedings, 2004 Sensor Array and Multichannel Signal, Barcelona, Spain, 18–21 July 2004; pp. 460–464. [Google Scholar]
  25. Amblard, P.; Gaeta, M.; Lacoume, J. Statistics for complex variables and signals—Part I: Variables. Signal Process. 1996, 53, 1–13. [Google Scholar] [CrossRef]
  26. Eriksson, J.; Ollila, E.; Koivunen, V. Statistics for complex random variables revisited. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech and Signal Processing, Taipei, Taiwan, 19–24 April 2009; pp. 3565–3568. [Google Scholar]
  27. Walden, A.T.; Rubin-Delanchy, P. On testing for impropriety of complex-valued Gaussian vectors. IEEE Trans. Signal Process. 2009, 57, 835–842. [Google Scholar] [CrossRef]
  28. Dryden, I.L.; Mardia, K.V. Statistical Shape Analysis; John Wiley: New York, NY, USA, 1998. [Google Scholar]
  29. Ebbinghaus, H.-D.; Hermes, H.; Hirzebruch, F.; Koecher, M.; Mainzer, K.; Neukirch, J.; Prestel, A.; Remmert, R. Numbers; Springer: New York, NY, USA, 1991. [Google Scholar]
  30. Gauss, C.F. Werke; posthum publication of collected work in 2011; Cambridge Library Collection: Cambridge, UK, 1917; Volume 10, Part 1. [Google Scholar]
  31. Dedekind, R. Gesammelte Mathematische, Werke 3; Friedrich Vieweg und Sohn: Braunschweig, Germany, 1932. [Google Scholar]
  32. Crowe, M.J. A History of Vector Analysis. 1969. Available online: https://www.researchgate.net/publication/244957729-A-History-of-Vector-Analysis (accessed on 17 March 2022).
  33. Cauchy, A.L. Cours d’Analysede l’Ecole Royale Polytechnique (1821); Cambridge University Press: Cambridge, UK, 2009. [Google Scholar]
  34. Hankel, H. Theorie der Komplexen Zahlensysteme; Leopold Voss: Leipzig, Germany, 1867. [Google Scholar]
  35. Hamilton, W.R. Theory of Conjugate Functions, or Algebraic Couples, with a Preliminary and Elementary Essay on Algebra as the Science of Pure Time; Philip Dixon Hardy: Dublin, Ireland, 1835. [Google Scholar]
  36. Riemann, B. Bernhard Riemann’s Gesammelte mathematische Werke und Wissenschaftlicher Nachlass; B.G. Teubner: Leipzig, Germany, 1892. [Google Scholar]
  37. Euler, L. Introductio in Analysin Infinitorum; Apud Marcum-Michaelem Bousquet Socios: Lausanna, Switzerland, 1748. [Google Scholar]
  38. Richter, W.-D. Circle numbers for star-discs. ISNR Geom. 2011, 2011, 479262. [Google Scholar] [CrossRef] [Green Version]
  39. Richter, W.-D. Ellipses numbers and geometric measure representations. J. Appl. Anal. 2011, 17, 165–179. [Google Scholar] [CrossRef]
  40. Richter, W.-D. Star-shaped distributions: Euclidean and non-Euclidean representations. In Proceedings of the 60th World Statistics Congress 2015, Rio de Janeiro, Brazil, 26–31 July 2015. [Google Scholar]
  41. Richter, W.-D. Norm contoured distributions in R 2 . Lect. Notes Semin. Interdiscip. Mat. 2015, 12, 179–199. [Google Scholar]
  42. Moszyńska, M.; Richter, W.-D. Reverse triangle inequality. Antinorms and semi-antinorms. Stud. Sci. Math. Hung. 2012, 49, 120–138. [Google Scholar] [CrossRef]
  43. Cambanis, S.; Huang, S.; Simons, G. On the theory of elliptically contoured distributions. J. Mult. Anal. 1981, 11, 368–385. [Google Scholar] [CrossRef] [Green Version]
  44. Richter, W.-D. Three-complex numbers and related algebraic structures. Symmetry 2021, 13, 342. [Google Scholar] [CrossRef]
  45. Hahn, S. Complex variable frequency electric circuit theory. Proc. IEEE 1964, 52, 735–736. [Google Scholar] [CrossRef]
  46. Buelow, T. Hypercomplex Spectral Signal Representation for the Processing and Analysis of Images; Bericht Nr. 99-3; Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität: Kiel, Germany, 1999. [Google Scholar]
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

Richter, W.-D. Deterministic and Random Generalized Complex Numbers Related to a Class of Positively Homogeneous Functionals. Axioms 2023, 12, 60. https://doi.org/10.3390/axioms12010060

AMA Style

Richter W-D. Deterministic and Random Generalized Complex Numbers Related to a Class of Positively Homogeneous Functionals. Axioms. 2023; 12(1):60. https://doi.org/10.3390/axioms12010060

Chicago/Turabian Style

Richter, Wolf-Dieter. 2023. "Deterministic and Random Generalized Complex Numbers Related to a Class of Positively Homogeneous Functionals" Axioms 12, no. 1: 60. https://doi.org/10.3390/axioms12010060

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