Quaternionic Blaschke Group

In the complex case, the Blaschke group was introduced and studied. It turned out that in the complex case this group plays important role in the construction of analytic wavelets and multiresolution analysis in different analytic function spaces. The extension of the wavelet theory to quaternion variable function spaces would be very beneficial in the solution of many problems in physics. A first step in this direction is to give the quaternionic analogue of the Blaschke group. In this paper we introduce the quaternionic Blaschke group and we study the properties of this group and its subgroups.


Introduction
We write D for the unit disc D := {z ∈ C : |z| < 1}, and T := {z ∈ C : |z| = 1} for the unit circle.The element (e := (0, 1) ∈ B) will play a special role.The complex Blaschke-functions are then defined by B a (z) := z − a 1 − az (a := (a, ) ∈ B := D × T, |z| ≤ 1). ( The restrictions of the Blaschke functions on the set D or on T with the composition operation (B a 1 • B a 2 )(z) := B a 1 (B a 2 (z)) (z ∈ D) form transformation groups.B a is a one-to-one map on D as well as on T. The function B e (z) = z is the identity map of D = D ∪ T and B a −1 (a −1 := (−a , ) ∈ B) is the inverse of the function B a .
In the parameter set B := D × T let us define the operation induced by the function composition in the following way: B a 1 •a 2 := B a 1 • B a 2 .The set of the parameters B with the induced operation is called the complex Blaschke group on B. The components of a = (a, ) = a 1 • a 2 are given by the following formulas: The complex Blaschke functions play important role in the theory of Hardy spaces and in the control theory.Using the Blaschke functions one of the basic results of the theory of Hardy spaces, the factorization theorem, can be formulated in a natural way (see for ex.[1]).
The Blaschke group is related to well known matrix groups.The special linear group SL(2, R) is the group of 2 × 2 real matrices with determinant one.SL(2, R) is isomorphic to the group of all linear transformations of R 2 that preserve oriented area, and is isomorphic to the generalized special unitary group SU (1,1).SL(2, R) acts on the complex upper half-plane by fractional linear transformations.
The quotient PSL(2, R) has several interesting descriptions.PSL(2, R) is the group of conformal automorphisms of the upper half-plane, which is isomorphic with the group of conformal automorphisms of the unit disc, i.e., with the Blaschke group .
The topological group SU(1, 1) is homeomorphic to the space B = D × T. With the Blaschke group we can realize another parametrization of the SU(1, 1), on which wavelet transforms were introduced earlier.
For the descriptions of the mentioned matrix groups and the related transforms see for example [2][3][4][5].
Using the parametrization of the Blaschke group reflects better in the same time the properties of the covering group and the action of the representations on different analytic function spaces, see [6], where it is explained in detail the relation between SU(1, 1) and the Blaschke group, and why we consider the Blaschke group useful in order to develop wavelet analysis on this group.One reason is that the techniques of the complex analysis can be applied more directly in the study of the properties of the voice transforms (so called hyperbolic wavelet transforms) generated by representations of the Blaschke group on different analytic function spaces (see [7][8][9][10][11]).The discretization of these special wavelet transforms leads to the construction of analytic rational orthogonal wavelets, and multiresolution analysis (MRA) in the Hardy space of the unit disc, upper half plane, and in weighted Bergman spaces (see [11][12][13][14]).The Blaschke functions are closely related to the generator functions of the Zernike functions often used in optical tests.They can be expressed as matrixelements of the representation of the Blasche group on the Hardy space of the unit circle.An important consequence of this relation is the addition formula for these functions (see [7,8,11]).In the same time using the parametrization of the Blaschke group it was easier to apply the coorbit theory (see [15]) in order to obtain atomic decompositions in weighted Bergman spaces (see [6,10]).In this way as a special case we get back well known atomic decompositions in the weighted Bergman spaces obtained by complex techniques, but in addition some new atomic decompositions can be presented.This is the reason why we consider that Blaschke group is very interesting and the wavelet transforms on Blaschke group are worth to be studied.
In this paper we introduce the quaternionic analogue of the Blaschke group, and we will study the properties of this group.

The Blaschke Group over the Set of Quaternions.
Quaternions play important role in modeling the time and space dependent problems in physics and engineering.For example in engineering applications unit quaternions are used to describe three dimensional rotations.In the last years quaternions have gained a new life due to their applicability in signal processing, for example by the use of quaternion-valued functions for the coding of color-coded images as well as the link to new concepts of higher-dimensional phases, like the hypercomplex signal of Bülow or the monogenic signal by Larkin and Felsberg.Quaternions are also of interest in connection with quantum theory.Thus there is a strong motivation to extend key results of modern harmonic analysis, like the wavelet theory, to spaces of functions with quaternion variables.As a first step in this direction we propose the foundations of a quaternionic analogue of the Blaschke group.The main obstacle in the study of quaternion-valued matrices and functions, as expected, comes from the non-commutative nature of quaternionic multiplication.
Our work was inspired by [16], where monogenic wavelet transform for quaternion valued functions on the three dimensional unit ball in R 3 was introduced.The construction is based on representations of the group of Möbius transformations which maps the three dimensional unit ball onto itself.

Quaternions are extensions of complex numbers. There is an useful representation of the quaternions:
The matrix representation.The matrix representation makes possible to use the properties of the matrices at different computations.
Let us denote by the quaternion units, where i ∈ C is the complex imaginary unit.Analogous with the property of the complex unit i 2 = −1, the quaternion units satisfy the following equations the set {±E j : j = 0, 1, 2, 3} is closed with respect to matrix multiplication.Let us denote by the set of quaternions, which is a non-commutative field with the unit element E and null element the null-matrix Θ ∈ C 2×2 .Let us denote by the analogue of the conjugate which in matrix representation is Z * , the adjoint matrix of Z ∈ C 2×2 , and the absolute value of the Z = ∑ 3 j=0 z j E j ∈ Q.The map Z → |Z| defines a multiplicative norm: The multiplicative inverse of a nonzero quaternion Z ∈ Q, Z = Θ in matrix representation is Z −1 = Z * /|Z| 2 .The analogue of the complex torus and unit disc in the set of the quaternions are defined by T := {Z ∈ Q : |Z| = 1}, and D := {Z ∈ Q : |Z| < 1} respectively.From the property of the norm it follows that T is a multiplicative subgroup of the multiplicative group of Q, which can be identified by the matrix group SU 2 .
The set Q with matrix addition and multiplication is a skew-field denoted by (Q, +, •).Taking into account that RE and R are isomorphic (RE R) and CE C the field (Q, +, •) can be considered as an extension of R and C, respectively.The purely imaginary quaternion The map c → I c is a linear isomorphism between R 3 and the set of purely imaginary quaternion The two dimensional subspace of Q is called the slice of Q in the direction of the vector c.The map and obviously This implies that the map Q c is an isometric isomorphism between the fields C and Q c .
The complex numbers and their extensions, the quaternions are very useful in the description of many problems in geometry and physics.For example the rotations in the Euclidian plane C can be described using the map z → z where , z ∈ C are complex numbers and = e iα ∈ T (α ∈ R).In this case α is the angle of the rotation.
If instead of complex numbers we use quaternions, we can describe the rotations in R 3 with a relatively simple map.In order to illustrate this, we use the analogue of the Euler formula e it = cos t + i sin t (t ∈ R): From this it follows that, analogue to unit complex numbers, every unit quaternion S = z 0 E + I z (z = (z 1 , z 2 , z 3 ) ∈ R 3 ), |S| = 1 can be represented as S = e tI c , where cos t = z 0 , c = z/|z|.
The relation spur(SZS * ) = spur(Z) (S ∈ T, Z ∈ Q) implies that the map Z → SZS * takes the subspace J, which is isomorphic with R 3 , in itself and can be interpreted as a rotation around the axis c of the space R 3 with angle 2t.The image of the slice Q c trough this rotation will be the slice Q b for which The polar representation of the quaternion Z ∈ Q can be written as

The Quaternion Blaschke Group
The Blaschke functions can be defined also among quaternion.The formulas are very similar to the complex case: It can be proved that these quaternion Blaschke functions have many analogue properties of the complex Blaschke functions (see [17]).One of this is: From this follows that, similar to the complex case, for any A ∈ D the function B A takes the quaternion unit disc D into D, and the quaternion unit torus T into T.
Because of the non commutativity of the product operation in Q, in order to generate the quaternion analogue of the complex Blaschke group, we have to introduce a right and left unit quaternion factor from T in (9) instead of the multiplication by complex ∈ T. We consider in Q the following function: It is obvious that C A takes D into T, and C Z (A) = C * A (Z) (A, Z ∈ D).First we show that for the extended quaternion Blaschke functions, given by ( 9), an analogue rule of composition hold.

Theorem 1. For every A
We observe that for the complex unit parameter (see formula (1)), in the quaternion case corresponds a right and left unit quaternion.In the complex case we can interchange the order of the terms in the product and obtain analogue of factor.
To get a collection of functions closed with respect to the composition operation • it is convenient to introduce the parameter set B := T × D × T and the function set For the extended quaternion Blaschke functions we have and B a takes D into D. Applying formula (12) for

This implies that B
The set of functions B is closed with respect to the inverse operation.In order to prove this we will use the following formula Let us introduce the map a = (U, A, V) → a := U AV * from B to D. Based on the previous relation it follows that any function of the form has an inverse and It can be proved that the set of functions B is closed with respect to function composition, consequently (B, •) is a transformation group on D and T respectively, called quaternion Blascke transformation group.

Theorem 2. For any two functions
The unit element of this group is B e , where e = (E, Θ, E).
The bijection B a → B a ∈ B induces in the set of the parameters B an operation, a 1 a 2 = a for which B a 1 • B a 2 = B a .The set of the parameters with the induced operation (B, ) is a group.In the set of the parameters the inverse a − of an element a = (U, A, V) is the element for which B a − = B −1 a where a − = (U * , − a, V * ).
If instead of a 1 we set z and instead of a 2 a − , then and in the set of the parameters the right translations z → z a − can be described as follows: In the papers [18][19][20][21][22]the operations C −a (z), B a (z) were studied, also for higher dimensions, which we describe now as follows: a They have been also used (19) to describe the gyro group.Our description makes possible to avoid the complicated gyro group description.It is also more useful from the point of view of the extensions for higher dimension.

Subgroups of B
The set {B ρE : is the real Blaschke group operation on I.
Another subgroup can be generated if we choose the parameters and variable Z on the same slice.First let us observe that if A j = Q c (a j ) (j = 1, 2) and Z = Q c (z) belong to the same slice, then This implies is a transformation group on D c and T c respectively, isomorph to the complex Blaschke transformation group.
Another interesting subgroup of the quaternion Blaschke group is induced by the following subset: Then the subset is a one parameter subgroup of B. Moreover it follows that the function A A (A ∈ D) are bijections on D and on T respectively, consequently A is a transformation subgroup on D. The bijection A → A A between the sets D and A induces a group structure (D, •), where The unit element of this subgroup is the nullmatrix O ∈ Q and the inverse element of A ∈ D is given by A − = − (A)A (A).
The map A → |A| defines a norm on the group (D, the metric induced by this norm.It can be proved that the group operation 2 is continuous with respect to this metric.

Proofs
First we prove relation (10), i.e.,: During the proofs we will use in several places the following identity: We start from the left hand side of the equality (10), which is equal to: Another frequently used relation is the following: This is equivalent to This last equality follows from the following identity: We will use also the following property: which is equivalent to the following relations This last one is true, because Proof of Theorem 1.As in the complex case this identity can be proved directly: From this relation it follows that where and let us denote A := P = Q * .Using this notation we get that , and Theorem 1 is proved.
Relation (14) says: This follows from: which implies (14).Relation (15) says: Proof of relation ( 15 Proof of Theorem 2. We use that B A 3 (U 3 ZV * 3 ) = U 3 B U * 3 A 3 V 3 (Z)V * 3 with the following parameters and the following relation is true: where Using the previous relation and Theorem 1. we get Applying again Theorem 1. for the parameters A 1 , a 2 , z: .