Hypercomplex functions

Functions of the hypercomplex variable (cf. Hypercomplex number) over the field of real numbers, i.e. a function on a finite-dimensional associative algebra . In a restricted sense, a hypercomplex function is a function with values in the same algebra , i.e. the function may be represented as

where , , is a basis of , while , , is a system of real functions in real variables. The theory of hypercomplex functions has been most thoroughly studied for quaternion algebras (cf. Quaternion).

Analytic (regular) hypercomplex functions are generalizations in different directions of analytic functions of one complex variable. The concepts of an analytic hypercomplex function differ, on account of the fact that the definitions of analyticity in arbitrary algebras need not be equivalent.

In modern studies principal stress is laid on regular hypercomplex functions analytic according to Fueter, or -analytic hypercomplex functions, [1]. A hypercomplex function is said to be right regular at a point if the differential equation (Fueter's condition)

where

is the partial derivative of the function with respect to , is satisfied at that point ; all derivatives are assumed to be continuous. A function is said to be a left-regular hypercomplex function if

In the case of a non-commutative algebra these concepts are not equivalent. The sum and the difference of right-regular hypercomplex functions are right regular, but this is not true for their product or quotient. Powers of the variable are not right-regular. There exist Taylor and Laurent series for specially constructed analogues of powers. Fueter's condition is equivalent to the vanishing of the differential of the hypercomplex differential form , (for left-regular hypercomplex functions — of the form ); hence a specific integral theorem is obtained.

A hypercomplex function analytic according to Scheffers [2] at a point for the case of a commutative algebra is a hypercomplex function for which the differential at that point may be written as

where the derivative is independent of . In the case of a commutative algebra this condition is equivalent to , and the integral is independent of the path. Hypercomplex functions that are analytic according to Scheffers are -regular if and only if

A hypercomplex function is said to be analytic according to Hausdorff [3] at a point if its differential is a linear function of , i.e. if

where are real functions in . In this case the analogues of power series are easier to construct, but the value of the integral depends on the path. For a commutative algebra Hausdorff's and Scheffers' definitions are equivalent.

References

[1]	R. Fueter, "Ueber die Funktionentheorie in einer hyperkomplexen Algebra" Elemente der Math. , 3 : 5 (1948) pp. 89–94
[2]	G. Scheffers, "Verallgemeinerung der Grundlagen der gewöhnlich complexen Funktionen" Ber. Verh. Sächs. Akad. Wiss. Leipzig Mat.-Phys. Kl. , 45 (1893) pp. 828–848
[3]	F. Hausdorff, "Zur Theorie der Systeme complexer Zahlen" Ber. Verh. Sächs. Akad. Wiss. Leipzig Mat.-Phys. Kl. , 52 (1900) pp. 43–61
[4]	R.Kh. Kristalinskii, "Pseudoregular quaternion functions" Uchen. Zap. Smolensk. Ped. Inst. , 14 (1965) pp. 91–95 (In Russian)