DOCSLIB.ORG

Evaluation Schemes in the Ring of Quaternionic Polynomials

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Evaluation Schemes in the Ring of Quaternionic Polynomials View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Universidade do Minho: RepositoriUM .pt Universidade do Minho Evaluation schemes in the ring of quaternionic polynomials M. Irene Falc~aoa;c Fernando Mirandaa;c Ricardo Severinoc M. Joana Soaresb;c a CMAT - Centre of Mathematics, University of Minho, Portugal b NIPE - Economic Policies Research Unit, University of Minho, Portugal c Department of Mathematics and Applications, University of Minho, Portugal Information Abstract Keywords: In this paper we focus on computational aspects associated with poly- Quaternions, nomial problems in the ring of one-sided quaternionic polynomials. The Polynomial evaluation, complexity and error bounds of quaternion arithmetic are considered and Error analysis. several evaluation schemes are analyzed from their complexity point of view. The numerical stability of generalized Horner's and Goertzel's Original publication: algorithms to evaluate polynomials with quaternion floating-point co- BIT Numerical Mathematics, 58(1) efficients is addressed. Numerical tests illustrate the behavior of the (2018), 51{72 algorithms from the point of view of performance and accuracy. DOI:10.1007/s10543-017-0667-8 Springer Link 1 Introduction The processes of factoring and evaluating real or complex polynomials are very important problems and have received a lot of attention over the years [10, 12, 14]. In the ring of quaternionic polynomials new problems arise, mainly because the structure of the zero-set of quaternionic polynomials is quite different from the complex case. In particular, the relation between the factors and the zeros of a polynomial is not so simple now. In this paper we address the problem of evaluating a polynomial, i.e., given a polynomial, find its value at a given argument. The paper is organized as follows: in Section2 we introduce the algebra of real quaternions, the complexity of the elementary arithmetic operations and the fundamentals of quaternion floating-point arithmetic. Section3 contains a review of the main results concerning the ring of one-sided left quaternionic polynomials (i.e. quaternionic polynomials whose coefficients are on the left-hand side of the variable). Section4 is entirely dedicated to several polynomial evaluation schemes, each of one associated to a particular form in which the polynomial can be given: expanded form, nested form, factor form or one of two remainder forms. Of these, we would like to point out the method which we have designated by Niven's method | acknowledging in this way the work of [17] | calling the attention to the fact that this procedure can be seen as a quaternionic version of the well-known algorithm of Goertzel [5]; in addition, we show that this method also corresponds to a particular case of the algorithm proposed in [19] for the efficient evaluation of powers. The main objective of Section5 is to obtain forward error bounds for the Horner's and Niven's algorithms to polynomial evaluation. 2 Evaluation schemes in the ring of quaternionic polynomials In this context, we introduce the notion, similar to the classical case, of the condition number of the evaluation of a polynomial at a given point, and express the relative error bound in the approximations produced by each of the aforementioned methods in terms of this number. Finally, Section6 illustrates the results of the paper by examples. 2 Quaternion arithmetic 2.1 The quaternion algebra Let H denote the algebra of real quaternions. H is a vector space of dimension 4 over R with basis f1; i; j; kg 2 2 2 and multiplication rules i = j = k = −1; ij = −ji = k: Given a quaternion x = x0 + x1i + x2j + x3k, with x0; x1; x2; x3 2 R, its conjugate x is defined as x = x0 − x1i − x2j − x3k; the real part of x is the number x0 and is denoted by Re x andp the vector part of x, denoted by x, is given by x = x1i + x2j + x3k; p 2 2 2 2 −1 the norm of x, jxj, is given by jxj = xx = x0 + x1 + x2 + x3; if x 6= 0, the inverse of x, denoted by x , −1 −1 −1 x is the (unique) quaternion such that xx = x x = 1 and is given by x = jxj2 . Note that the norm is multiplicative, i.e. we have jxyj = jxjjyj, for all x; y 2 H. 2.2 Complexity In the next sections we are going to present several algorithms to perform operations on polynomials together with their computational costs. We will assume that for quaternion numbers x = x0 + x1i + x2j + x3k and y = y0 + y1i + y2j + y3k we compute x ± y = x0 ± y0 + (x1 ± y1)i + (x2 ± y2)j + (x3 ± y3)k (2.1) kx = kx0 + kx1i + kx2j + kx3k; k 2 R (2.2) xy := x × y = (x0y0 − x1y1 − x2y2 − x3y3) + (x1y0 + x0y1 − x3y2 + x2y3)i + (x2y0 + x3y1 + x0y2 − x1y3)j + (x3y0 − x2y1 + x1y2 + x0y3)k (2.3) 1 x0 − x1i − x2j − x3k = 2 2 2 2 (2.4) x x0 + x1 + x2 + x3 Table1 summarizes the number of flops 1 required by each of the arithmetic operations (2.1)-(2.4). Table 1: Operations cost Operations × ± ÷ flops R R R ± : quaternion ± quaternion − 4 − 4 H ×scalar : real × quaternion 4 − − 4 × : quaternion × quaternion 16 12 − 28 H inv : 1=quaternion 4 3 4 11 H Remark 2.1. It is possible to perform a quaternionic multiplication using only 8 real multiplications, but using 27 additions. In our days, with machines where the multiplications are as fast as additions, it is not important anymore to distinguish these type of operations and so multiplication performed as indicated in (2.3) is preferable. 1In the context of this paper, a flop is any of the four elementary arithmetic operations +, −, ×, ÷. M.I. Falc~ao,F. Miranda, R. Severino and M.J. Soares 3 2.3 Quaternion floating-point arithmetic To carry out error analysis of algorithms in quaternion arithmetic we recall first the principles of real floating- point arithmetic. We mostly follow [10] (see also [22] and [7]) and adapt the results to the quaternion context, considering the operations (2.1)-(2.4). Let F ⊂ R denote the set of all normalized floating-point numbers and let fl : R ! F denote rounding to the nearest according to IEEE 754. Floating-point operations in IEEE 754 satisfy the following standard model (assuming that no underflow nor overflow occurs), in which x; y 2 F and op 2 f+; −; ×; ÷}: x op y fl(x op y) = (x op y)(1 + δ1) = ; jδ1j; jδ2j ≤ u; 1 + δ2 where u is the unit roundoff of the system. For binary IEEE 754 double precision, u = 2−53. Throughout the paper, we assume that, in the operations performed, overflow or underflow never occurs. The following results play an important role in the error analysis performed in this section. Lemma 2.1 ([10, Lemma 3.1]). If jδij ≤ u and ρi = ±1, i = 1; : : : ; n and nu < 1, then n Y nu (1 + δ )ρi = 1 + θ ; where jθ j ≤ =: γ : (2.5) i n n 1 − nu n i=1 Lemma 2.2 ([10, Lemma 3.3]). For any positive integer k let θk denote a quantity bounded according to jθkj ≤ γk with γk defined by (2.5). The following relations hold: i. (1 + θk)(1 + θj) = 1 + θj+k; ( 1 + θk+j; j ≤ k; ii. 1+θk = ; 1+θj 1 + θk+2j; j > k 1 iii. γkγj ≤ γmin(k;j), if max(j; k) u ≤ 2 ; iv. iγk ≤ γik; v. γk + u ≤ γk+1; vi. γk + γj + γkγj ≤ γk+j. Theorem 2.1 ([11, Theorem 4.2]). For n 2 N and given x = (xi); y = (yi), with xi; yi 2 F for i = 1; : : : ; n, any order of evaluation of the inner-product xTy produces an approximation fl(xTy) such that n T T X j fl(x y) − x yj ≤ nu jxijjyij: i=1 We denote by FH := F + Fi + Fj + Fk the set of quaternion floating-point numbers. As in the real (or complex) case we denote by fl(·) the result of a floating-point computation, where all operations inside parentheses are done in floating-point working precision in the obvious way ([10,7]). We adapt [10, Lemma 3.5] to derive the following error bounds of the quaternion operations. Theorem 2.2. For x; y 2 FH and k 2 F we have, with δ denoting a quaternion: i. fl(x ± y) = (x ± y)(1 + δ); jδj ≤ u; ii. fl(kx) = (kx)(1 + δ); jδj ≤ u; iii. fl(xy) = (xy)(1 + δ); jδj ≤ 8u; p iv. fl(x y) = (x y)(1 + δ); jδj ≤ 3 3u; 1 1 v. fl( x ) = x (1 + δ); jδj ≤ γ5; 4 Evaluation schemes in the ring of quaternionic polynomials vi. fl(jxj2) = jxj2(1 + δ); jδj ≤ 4u: Proof. We only prove relation iii., the other results being obtained in a similar manner. From (2.3), we have e := fl(xy) − xy = e0 + e1i + e2j + e3k; where e0 = fl(x0y0 − x1y1 − x2y2 − x3y3) − (x0y0 − x1y1 − x2y2 − x3y3); e1 = fl(x1y0 + x0y1 − x3y2 + x2y3) − (x1y0 + x0y1 − x3y2 + x2y3); e2 = fl(x2y0 + x3y1 + x0y2 − x1y3) − (x2y0 + x3y1 + x0y2 − x1y3); e3 = fl(x3y0 − x2y1 + x1y2 + x0y3) − (x3y0 − x2y1 + x1y2 + x0y3): By using the result of Theorem 2.1, it follows that jeij ≤ 4u Ai; i = 0; 1; 2; 3; where A0 := jx0jjy0j + jx1jjy1j + jx2jjy2j + jx3jjy3j; A1 := jx1jjy0j + jx0jjy1j + jx3jjy2j + jx2jjy3j; A2 := jx2jjy0j + jx3jjy1j + jx0jjy2j + jx1jjy3j; A3 := jx3jjy0j + jx2jjy1j + jx1jjy2j + jx0jjy3j: Using the fact that (jaj + jbj + jcj + jdj)2 ≤ 4(a2 + b2 + c2 + d2), we can write 2 2 2 2 2 2 2 2 2 A0 ≤ 4 x0y0 + x1y1 + x2y2 + x3y3 ; 2 2 2 2 2 2 2 2 2 A1 ≤ 4 x1y0 + x0y1 + x3y2 + x2y3 ; 2 2 2 2 2 2 2 2 2 A2 ≤ 4 x2y0 + x3y1 + x0y2 + x1y3 ; 2 2 2 2 2 2 2 2 2 A3 ≤ 4 x3y0 + x2y1 + x1y2 + x0y3) : Therefore, we obtain q q 2 2 2 2 2 2 2 2 jej = e0 + e1 + e2 + e3 ≤ 4u A0 + A1 + A2 + A3 q 2 2 2 2 2 2 2 2 ≤ 8u (x0 + x1 + x2 + x3)(y0 + y1 + x2 + y3) = 8ujxjjyj = 8ujxyj; where in the last equality we used the fact that the norm is multiplicative.
Load more

Recommended publications
  • Quaternion Zernike Spherical Polynomials
    MATHEMATICS OF COMPUTATION Volume 84, Number 293, May 2015, Pages 1317–1337 S 0025-5718(2014)02888-3 Article electronically published on August 29, 2014 QUATERNION ZERNIKE SPHERICAL POLYNOMIALS J. MORAIS AND I. CAC¸ AO˜ Abstract. Over the past few years considerable attention has been given to the role played by the Zernike polynomials (ZPs) in many different fields of geometrical optics, optical engineering, and astronomy. The ZPs and their applications to corneal surface modeling played a key role in this develop- ment. These polynomials are a complete set of orthogonal functions over the unit circle and are commonly used to describe balanced aberrations. In the present paper we introduce the Zernike spherical polynomials within quater- nionic analysis ((R)QZSPs), which refine and extend the Zernike moments (defined through their polynomial counterparts). In particular, the underlying functions are of three real variables and take on either values in the reduced and full quaternions (identified, respectively, with R3 and R4). (R)QZSPs are orthonormal in the unit ball. The representation of these functions in terms of spherical monogenics over the unit sphere are explicitly given, from which several recurrence formulae for fast computer implementations can be derived. A summary of their fundamental properties and a further second or- der homogeneous differential equation are also discussed. As an application, we provide the reader with plot simulations that demonstrate the effectiveness of our approach. (R)QZSPs are new in literature and have some consequences that are now under investigation. 1. Introduction 1.1. The Zernike spherical polynomials. The complex Zernike polynomials (ZPs) have long been successfully used in many different fields of optics.
    [Show full text]
  • A Generalization of Fueter's Monogenic Functions to Fine Domains
    WSGP 25 Roman Lávička A generalization of Fueter’s monogenic functions to fine domains In: Martin Čadek (ed.): Proceedings of the 25th Winter School "Geometry and Physics". Circolo Matematico di Palermo, Palermo, 2006. Rendiconti del Circolo Matematico di Palermo, Serie II, Supplemento No. 79. pp. [129]--138. Persistent URL: http://dml.cz/dmlcz/701772 Terms of use: © Circolo Matematico di Palermo, 2006 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO Serie II, Suppl. 79 (2006), pp. 129-138 A GENERALIZATION OF FUETER'S MONOGENIC FUNCTIONS TO FINE DOMAINS ROMAN LAVICKA ABSTRACT. The so-called quaternionic analysis is a theory analogous to complex analysis but the complex numbers are replaced by the non-commutative 4-dimensional field H of quaternions. A role of holomorphic functions in quaternionic analysis is played by monogenic functions. In this note we extend the notion of monogeneity to functions defined on fine domains in R4, i.e., domains in the fine topology of classical potential theory In fact, we generalize to some extent Fuglede's theory of finely holomorphic functions for dimension 4. 1. INTRODUCTION At the beginning of the twentieth century E. Borel tried to extend holomorphic functions to more general domains (no longer open) in such a way that the unique continuation property was preserved, see [3].
    [Show full text]
  • Hypercomplex Analysis Selected Topics
    Hypercomplex Analysis Selected Topics (Habilitation Thesis) Roman Lávička Field: Mathematics — Mathematical Analysis Faculty of Mathematics and Physics Charles University in Prague August 2011 Contents 1 Introduction 5 2 Preliminaries of hypercomplex analysis 11 2.1 Clifford analysis . 11 2.1.1 Euclidean Clifford analysis . 14 2.1.2 Generalized Moisil-Théodoresco systems . 14 2.1.3 Hermitian Clifford analysis . 16 2.2 Quaternionic analysis . 17 3 Complete orthogonal Appell systems 19 3.1 Spherical harmonics . 19 3.1.1 Gelfand-Tsetlin bases for spin modules . 21 3.2 Clifford algebra valued spherical monogenics . 22 3.3 Spinor valued spherical monogenics . 24 3.3.1 The generalized Appell property in dimension 3 . 27 3.4 Hodge-de Rham systems . 29 3.4.1 The Riesz system in dimension 3 . 33 3.5 Hermitian monogenics . 35 4 Finely monogenic functions 39 4.1 Finely holomorphic functions . 39 4.2 Finely monogenic functions . 41 4.3 Finely differentiable monogenic functions . 42 4.4 Open problems . 45 List of reprinted papers 47 Bibliography 49 [L1] Reversible maps in the group of quaternionic Möbius trans- formations 55 [L2] A generalization of monogenic functions to fine domains 71 [L3] A remark on fine differentiability 83 [L4] Finely continuously differentiable functions 91 [L5] The Gelfand-Tsetlin bases for spherical monogenics in di- mension 3 105 3 [L6] Canonical bases for sl(2,C)-modules of spherical monogen- ics in dimension 3 135 [L7] Orthogonal basis for spherical monogenics by step two branch- ing 149 [L8] The Fischer Decomposition for the H-action and Its Appli- cations 177 [L9] The Gelfand-Tsetlin bases for Hodge-de Rham systems in Euclidean spaces 189 [L10] Gelfand-Tsetlin Bases of Orthogonal Polynomials in Her- mitean Clifford Analysis 211 4 Chapter 1 Introduction Without any doubt, complex analysis belongs to the most important areas of mathematics.
    [Show full text]
  • Quaternionic Analysis
    Quaternionic Analysis A. Sudbery [[email protected]] Department of Mathematics University of York Heslington, York YO1 5DD August 1977 Contents 1 Introduction 2 2 Preliminaries 5 2.1 The Algebra of Quaternions1 . 5 2.2 Quaternionic Differential Forms . 9 3 Regular Functions 11 4 Cauchy’s Theorem and the Integral Formula 17 5 Some Immediate Consequences 25 6 Construction of Regular Functions 26 7 Regular Functions and Conformal Mappings 30 8 Homogeneous Regular Functions 32 9 Regular Power Series 39 1 1 Introduction The richness of the theory of functions over the complex field makes it natural to look for a similar theory for the only other non-trivial real associative division algebra, namely the quaternions. Such a theory exists and is quite far-reaching, yet it seems to be little known. It was not developed until nearly a century after Hamilton’s discov- ery of quaternions. Hamilton himself [1] and his principal followers and expositors, Tait [2] and Joly [3], only developed the theory of functions of a quaternion variable as far as it could be taken by the general methods of the theory of functions of several real variables (the basic ideas of which appeared in their modern form for the first time in Hamilton’s work on quaternions). They did not delimit a special class of regular functions among quaternion-valued functions of a quaternion variable, analogous to the regular functions of a complex variable. This may have been because neither of the two fundamental definitions of a regular function of a complex variable has interesting consequences when adapted to quater- nions; one is too restrictive, the other not restrictive enough.
    [Show full text]
  • Quaternion Derivatives: the GHR Calculus
    Technical Report, TR-Quat-GHR-Calc-08-01-14/1 Imperial College London Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Quaternion Derivatives: The GHR Calculus D. P. Xu, C. Jahanchahi, C. C. Took and D. P. Mandic Abstract Quaternion derivatives in the mathematical literature are typically defined only for analytic (regular) functions. However, in engineering problems, functions of interest are often real-valued and thus not analytic, such as the standard cost function. The HR calculus is a convenient way to calculate formal derivatives of both analytic and non-analytic functions of quaternion variables, however, both the HR and other functional calculus in quaternion analysis have encountered an essential technical obstacle, that is, the traditional product rule is invalid due to the non- commutativity of the quaternion algebra. To address this issue, a generalized form of the HR derivative is proposed based on a general orthogonal system. The so introduced generalization, called the generalized HR (GHR) calculus, encompasses not just the left- and right-hand versions of quaternion derivative, but also enables solutions to some long standing problems, such as the novel product rule, the chain rule, the mean-valued theorem and Taylor’s theorem. At the core of the proposed approach is the quaternion rotation, which can naturally be applied to other functional calculi in non-commutative settings. Examples on using the GHR calculus in adaptive signal processing support the analysis. 1. Introduction. Quaternions have become a standard in physics [40], computer graphics [1], and have also been successfully applied to many signal processing and communications problems [9, 10, 11, 20, 37, 38, 39, 43, 45, 46, 47].
    [Show full text]
  • Convergence of Very Weak Solutions to A-Dirac Equations in Clifford Analysis Yueming Lu* and Hui Bi
    Lu and Bi Advances in Difference Equations (2015)2015:219 DOI 10.1186/s13662-015-0555-y R E S E A R C H Open Access Convergence of very weak solutions to A-Dirac equations in Clifford analysis Yueming Lu* and Hui Bi *Correspondence: [email protected] Abstract Department of Applied Mathematics, Harbin University of This paper is concerned with the very weak solutions to A-Dirac equations Science and Technology, Xue Fu DA(x, Du) = 0 with Dirichlet boundary data. By means of the decomposition in a Road, Harbin, 150080, P.R. China Clifford-valued function space, convergence of the very weak solutions to A-Dirac equations is obtained in Clifford analysis. MSC: Primary 35J25; secondary 31A35 Keywords: Dirac equations; very weak solutions; decomposition; convergence 1 Introduction In this paper, we shall consider a nonlinear mapping A : × Cn → Cn such that (N) x → A(x, ξ) is measurable for all ξ ∈ Cn, (N) ξ → A(x, ξ) is continuous for a.e. x ∈ , p– (N) |A(x, ξ)–A(x, ζ )|≤b|ξ – ζ | , p– (N) (A(x, ξ)–A(x, ζ ), ξ – ζ ) ≥ a|ξ – ζ | (|ξ| + |ζ |) , where < a ≤ b < ∞. ,p The exponent p > will determine the natural Sobolev class, denoted by W (, Cn), in which to consider the A-Dirac equations DA(x, Du)=. () ∈ ,p We call u Wloc (, Cn) a weak solution to ()if A(x, Du)Dϕ dx = () ∈ ,p for each ϕ Wloc (, Cn) with compact support. { } ∈ ,s Definition . For s > max , p– , a Clifford-valued function u Wloc(, Cn) is called a s , s–p+ very weak solution of equation ()ifitsatisfies() for all ϕ ∈ W (, Cn)withcompact support.
    [Show full text]
  • Duality in Complex Clifford Analysis
    JOURNAL OF FUNCTIONAL ANALYSIS 61, 117-135 (1985) Duality in Complex Clifford Analysis JOHN RYAN* Department of Mathematics, University of York, Heslington, York YOI SDD, Britain Communicated by L. Gross Received December 6, 1982 The aim of this paper is to characterize the dual and bidual of complex Clifford modules of holomorphic functions which are defined over domains in @“+I and satisfy generalized Cauchy-Riemann equations. In one instance the generalized Cauchy-Riemann equation reduces to a holomorphic extension of Maxwell’s equations in vacua. 0 1985 Academic Press, Inc. 1. INTRODUCTION The development of function theories over certain classes of Clifford algebras has proved increasingly relevant in a number of branches of mathematics and mathematical physics (e.g., [2-4, 6, 14, 15)). In particular in [2] Delanghe and Brackx establish a generalization, to real Clifford algebras, of the classical result of Kijthe [7] which characterizes the dual of the space of holomorphic functions defined over an arbitrary, proper, open subset of the Riemann sphere. In this paper we extend the analysis developed by Delanghe and Brackx [2] and characterize the dual and bidual of complex Clifford modules of holomorphic functions, defined over certain classes of domains lying in C”+ ‘, and satisfying generalized Cauchy-Riemann equations. The paper is a continuation of [9-121 and relies on a number of results and ideas developed in these papers. The analysis developed here will later be applied [ 131 to provide representations of the dual of complex Clifford modules of real analytic functions defined over certain classesof real n-dimensional manifolds lying in F+‘, thereby generalizing recent results obtained on representations of analytic functionals on the unit sphere [14].
    [Show full text]
  • Quaternionic Analysis
    Quaternionic analysis A. Sudbery [[email protected]] Math. Proc. Camb. Phil. Soc. (1979), 85, 199-225 1. Introduction. The richness of the theory of functions over the complex field makes it natural to look for a similar theory for the only other non-trivial real asso- ciative division algebra, namely the quaternions. Such a theory exists and is quite far-reaching, yet it seems to be little known. It was not developed until nearly a cen- tury after Hamilton’s discovery of quaternions. Hamilton himself (1) and his principal followers and expositors, Tait (2) and Joly (3), only developed the theory of functions of a quaternion variable as far as it could be taken by the general methods of the theory of functions of several real variables (the basic ideas of which appeared in their mod- ern form for the first time in Hamilton’s work on quaternions). They did not delimit a special class of regular functions among quaternion-valued functions of a quaternion variable, analogous to the regular functions of a complex variable. This may have been because neither of the two fundamental definitions of a regular function of a complex variable has interesting consequences when adapted to quater- nions; one is too restrictive, the other not restrictive enough. The functions of a quater- nion variable which have quaternionic derivatives, in the obvious sense, are just the constant and linear functions (and not all of them); the functions which can be repre- sented by quaternionic power series are just those which can be represented by power series in four real variables.
    [Show full text]
  • Quaternionic Analysis on Riemann Surfaces and Differential Geometry
    Doc Math J DMV Quaternionic Analysis on Riemann Surfaces and Differential Geometry 1 2 Franz Pedit and Ulrich Pinkall Abstract We present a new approach to the dierential geometry of 3 4 surfaces in R and R that treats this theory as a quaternionied ver sion of the complex analysis and algebraic geometry of Riemann surfaces Mathematics Sub ject Classication C H Introduction Meromorphic functions Let M b e a Riemann surface Thus M is a twodimensional dierentiable manifold equipp ed with an almost complex structure J ie on each tangent space T M we p 2 have an endomorphism J satisfying J making T M into a onedimensional p complex vector space J induces an op eration on forms dened as X JX A map f M C is called holomorphic if df i df 1 A map f M C fg is called meromorphic if at each p oint either f or f is holomorphic Geometrically a meromorphic function on M is just an orientation 2 preserving p ossibly branched conformal immersion into the plane C R or 1 2 rather the sphere CP S 4 Now consider C as emb edded in the quaternions H R Every immersed 4 4 surface in R can b e descib ed by a conformal immersion f M R where M is a suitable Riemann surface In Section we will show that conformality can again b e expressed by an equation like the CauchyRiemann equations df N df 2 3 where now N M S in R Im H is a map into the purely imaginary quaternions of norm In the imp ortant sp ecial case where f takes values in 1 Research supp orted by NSF grants DMS DMS and SFB at TUBerlin 2 Research supp orted by SFB
    [Show full text]
  • A New Theory of Regular Functions of a Quaternionic Variable
    Advances in Mathematics 216 (2007) 279–301 www.elsevier.com/locate/aim A new theory of regular functions of a quaternionic variable Graziano Gentili a,∗, Daniele C. Struppa b a Dipartimento di Matematica “U. Dini”, Università di Firenze, Viale Morgagni, 67 A, Firenze, Italy b Department of Mathematics and Computer Science, Chapman University, Orange, CA 92866, USA Received 24 April 2006; accepted 22 May 2007 Available online 2 June 2007 Communicated by Michael J. Hopkins Abstract In this paper we develop the fundamental elements and results of a new theory of regular functions of one quaternionic variable. The theory we describe follows a classical idea of Cullen, but we use a more geometric formulation to show that it is possible to build a rather complete theory. Our theory allows us to extend some important results for polynomials in the quaternionic variable to the case of power series. © 2007 Elsevier Inc. All rights reserved. Keywords: Functions of hypercomplex variables; Functions of complex variables; Quaternions 1. Introduction Let H denote the skew field of real quaternions. Its elements are of the form q = x0 + ix1 + jx2 + kx3 where the xl are real, and i, j, k, are imaginary units (i.e. their square equals −1) such that ij =−ji = k, jk =−kj = i, and ki =−ik = j. Since the beginning of the last century, mathematicians have been interested in creating a theory of quaternionic valued functions of a quaternionic variable, which would somehow resemble the classical theory of holomorphic functions of one complex variable. * Corresponding author. E-mail addresses: [email protected]fi.it (G.
    [Show full text]
  • Slice Holomorphic Functions in Several Variables with Bounded L-Index in Direction
    axioms Article Slice Holomorphic Functions in Several Variables with Bounded L-Index in Direction Andriy Bandura 1,* and Oleh Skaskiv 2 1 Department of Advanced Mathematics, Ivano-Frankivsk National Technical University of Oil and Gas, 76019 Ivano-Frankivsk, Ukraine 2 Department of Mechanics and Mathematics, Ivan Franko National University of Lviv, 79000 Lviv, Ukraine * Correspondence: [email protected] Received: 25 June 2019; Accepted: 25 July 2019; Published: 26 July 2019 Abstract: In this paper, for a given direction b 2 Cn n f0g we investigate slice entire functions of several complex variables, i.e., we consider functions which are entire on a complex line fz0 + tb : t 2 Cg for any z0 2 Cn. Unlike to quaternionic analysis, we fix the direction b. The usage of the term slice entire function is wider than in quaternionic analysis. It does not imply joint holomorphy. For example, it allows consideration of functions which are holomorphic in variable z1 and continuous in variable z2. For this class of functions there is introduced a concept of boundedness of L-index n in the direction b where L : C ! R+ is a positive continuous function. We present necessary and sufficient conditions of boundedness of L-index in the direction. In this paper, there are considered local behavior of directional derivatives and maximum modulus on a circle for functions from this class. Also, we show that every slice holomorphic and joint continuous function has bounded L-index n in direction in any bounded domain and for any continuous function L : C ! R+. Keywords: bounded index; bounded L-index in direction; slice function; entire function; bounded l-index MSC: 32A10; 32A17; 32A37; 30H99; 30A05 1.
    [Show full text]
  • Quaternionic Monge-Ampere Equations
    Quaternionic Monge-Amp`ere equations. Semyon Alesker Department of Mathematics, Tel Aviv University, Ramat Aviv 69978 Tel Aviv, Israel e-mail: [email protected] Abstract The main result of this paper is the existence and uniqueness of so- lution of the Dirichlet problem for quaternionic Monge-Amp`ere equa- tions in quaternionic strictly pseudoconvex bounded domains in Hn. We continue the study of the theory of plurisubharmonic functions of quaternionic variables started by the author at [2]. 0 Introduction. This paper is a continuation of author’s previous paper [2]. In [2] we have de- veloped the necessary algebraic technique and we have introduced and stud- ied the class of plurisubharmonic functions of quaternionic variables (this class was independently introduced also by G. Henkin [36]). The main re- sult of the present paper is the existence of a generalized solution of the Dirichlet problem for quaternionic Monge-Amp`ere equations in quaternionic strictly pseudoconvex bounded domains in Hn. The uniqueness of solution arXiv:math/0208005v4 [math.CV] 5 Jul 2016 was established in [2]. The versions of this result for real and complex Monge-Amp`ere equations were established in classical papers by A.D. Aleksandrov [1] (the real case) and E. Bedford and B. Taylor [10] (the complex case). We prove also a result on the regularity of solution in the Euclidean ball. For real Monge-Amp`ere equations this result was proved by L. Caffarelli, L. Nirenberg, and J. Spruck [14] for arbitrary strictly convex bounded domains, and for complex Monge- Amp`ere equations by L.
    [Show full text]