A quaternionic proof of the representation formula of a quaternary quadratic form

The celebrated Four Squares Theorem of Lagrange states that every positive integer is the sum of four squares of integers. Interest in this Theorem has motivated a number of different demonstrations. While some of these demonstrations prove the existence of representations of an integer as a sum of four squares, others also produce the number of such representations. In one of these demonstrations, Hurwitz was able to use a quaternion order to obtain the formula for the number of representations. Recently the author has been able to use certain quaternion orders to demonstrate the universality of other quaternary quadratic forms besides the sum of four squares. In this paper, we develop results analogous to Hurwitz's above mentioned work by delving into the number theory of one of these quaternion orders, and discover an alternate proof of the representation formula for the corresponding quadratic form.     

Traces of Eichler—Brandt matrices and type numbers of quaternion orders

LetA be a totally definite quaternion algebra over a totally real algebraic number fieldF andM be the ring of algebraic integers ofF. For anyM-orderG ofA we derive formulas for the massm(G) and the type numbert(G) of G and for the trace of the Eichler-Brandt matrixB(G, J) ofG and any integral idealJ ofM in terms of genus invariants ofG and of invariants ofF andJ. Applications to class numbers of quaternion orders and of ternary quadratic forms are indicated.     

Quaternion orders with good divisibility

We examine quaternion orders with the complete factorization property. It is proved that all the indefinite quaternion orders have this property and that there is only a finite number of nonisomorphic definite quaternion orders with this property. The relation of this property to the properties of spinor genera of norm forms is established.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 151, pp. 78–94, 1986.     

The planetary <Emphasis Type="Italic">N</Emphasis>-body problem: symplectic foliation,reductions and invariant tori

This is the third of a series of papers relating intersections of special cycles on the integral model of a Shimura surface to Fourier coefficients of Hilbert modular forms. More precisely, we embed the Shimura curve over ℚ associated to a rational quaternion algebra into the Shimura surface associated to the base change of the quaternion algebra to a real quadratic field. After extending the associated moduli problems over ℤ we obtain an arithmetic threefold with a embedded arithmetic surface, which we view as a cycle of codimension one. We then construct a family, indexed by totally positive algebraic integers in the real quadratic field, of codimension two cycles (complex multiplication points) on the arithmetic threefold. The intersection multiplicities of the codimension two cycles with the fixed codimension one cycle are shown to agree with the Fourier coefficients of a (very particular) Hilbert modular form of weight 3/2. The results are higher dimensional variants of results of Kudla-Rapoport-Yang, which relate intersection multiplicities of special cycles on the integral model of a Shimura curve to Fourier coefficients of a modular form in two variables.     

An embedding theorem for Eichler orders

Let B be a quaternion algebra over number field K. Assume that B satisfies the Eichler condition (i.e., there is at least one archimedean place which is unramified in B). Let Ω be an order in a quadratic extension L of K. The Eichler orders of B which admit an embedding of Ω are determined. This is a generalization of Chinburg and Friedman's embedding theorem for maximal orders.     

Quaternion algebras with derivations

We study derivations on quaternion algebras that stabilise quadratic subfields. Following the work of L. Juan and A. Magid [10], we provide an explicit construction of a differential splitting field for a given differential quaternion algebra. We also examine the presence and impact of those derivations on quaternion algebras that admit new constants.     

Über die zentrale Picard-Gruppe und die Einheiten lokaler Quaternionenordnungen

Let M be any order of a quaternion algebra Q over a local field F. The group M^x of units and the central Picard group Picent (M) of M are investigated. The group index (L^x:M^x) and, if F is of characteristic 2, also the norms of all primitive ideals of M and the order of Picent (M) are determined explicitly, where L denotes any maximal order of Q containing M. Applications of these results to local densities of ternary quadratic forms and to class numbers and type numbers of global quaternion orders are indicated.     

Computing all power integral bases in orders of totally real cyclic sextic number fields

An algorithm is given for determining all power integral bases in orders of totally real cyclic sextic number fields. The orders considered are in most cases the maximal orders of the fields. The corresponding index form equation is reduced to a relative Thue equation of degree 3 over the quadratic subfield and to some inhomogeneous Thue equations of degree 3 over the rationals. At the end of the paper, numerical examples are given.

     

Algebraic Method for Inequality Constrained Quaternion Least Squares Problem

In this paper, we introduce a kind of complex representation of quaternion matrices (or quaternion vectors) and quaternion matrix norms, study quaternionic least squares problem with quadratic inequality constraints (LSQI) by means of generalized singular value decomposition of quaternion matrices (GSVD), and derive a practical algorithm for finding solutions of the quaternionic LSQI problem in quaternionic quantum theory.     

二次四元数系统正定解的迭代法

二次四元数系统XAX?BX=P是离散型Lyapunov方程正定解反问题的推广形式.本文在四元数体上讨论它的正定解存在性及迭代求解方法.利用等价二次方程的系数矩阵的极大极小特征值,获得其正定解的存在区间,并针对系数矩阵的不同情况构建出三种收敛的迭代格式.同时根据每种迭代的特点,给出了迭代初始矩阵的选取方法.最后通过四元数矩阵复算子实现Matlab环境下求解.数值算例验证了所给方法的有效及可行性.     

Existence results for coupled systems of quadratic integral equations of fractional orders

We are concerning here with the existence of at least one positive continuous solution of coupled systems of quadratic integral equations of fractional orders. Then an existence theorem for a coupled system of Cauchy problems will be proved.     

A Valuation Theory for Nonassociative Quaternion Algebras

A nonassociative quaternion algebra over a field F is a 4-dimensional F-algebra A whose nucleus is a separable quadratic extension field of F. We define the notion of a valuation ring for A, and we also define a value function on A with values from a totally ordered group. We determine the structure of the set on which the function assumes non-negative values and we prove that, given a valuation ring of A, there is a value function associated to it if and only if the valuation ring is integral and invariant under proper F-automorphisms of A.     

Forms and Baer ordered *-fields

It is well known that for a quaternion algegra, the anisotropy of its norm form determines if the quaternion algebra is a division algebra. In case of biquaternio algebra, the anisotropy of the associated Albert form (as defined in [LLT]) determines if the biquaternion algebra is a division ring. In these situations, the norm forms and the Albert forms are quadratic forms over the center of the quaternion algebras; and they are strongly related to the algebraic structure of the algebras. As it turns out, there is a natural way to associate a tensor product of quaternion algebras with a form such that when the involution is orthogonal, the algebra is a Baer ordered *-field iff the associated form is anisotropic.     

Monotonic solutions of a quadratic integral equation of fractional order

In the paper we indicate an error made in the proof of the main result of the paper [M.A. Darwish, On quadratic integral equation of fractional orders, J. Math. Anal. Appl. 311 (2005) 112-119]. Moreover, we provide correct proof of a slightly modified version of the mentioned result. The main tool used in our proof is the technique associated with the Hausdorff measure of noncompactness.     

四元数分析中超球与双圆柱区域上的正则函数

本文讨论了四元数分析中的正则函数Ｕ（ｚ）（满足方程ｚＵ（ｚ）＝０,ｚ＝ｘ１＋ｉｘ２＋ｊｘ３－ｋｘ４）及其边值问题,给出了超球与双圆柱区域上的四元数正则函数的Ｃａｕｃｈｙ积分公式,获得了一般区域上正则函数的无穷次可微性;给出了定义在超球与双圆柱区域边界上的四元数函数可正则开拓到区域内的条件;讨论了满足非齐次方程ｚＦ＝ｆ的四元函数Ｆ（ｚ）的Ｄｉｒｉｃｈｌｅｔ和Ｎｅｕｍａｎｎ边值问题;获得了超球与双圆柱区域上这两种边值问题解的积分表示．     

Quaternion Fourier and linear canonical inversion theorems

The quaternion Fourier transform (QFT) is one of the key tools in studying color image processing. Indeed, a deep understanding of the QFT has created the color images to be transformed as whole, rather than as color separated component. In addition, understanding the QFT paves the way for understanding other integral transform, such as the quaternion fractional Fourier transform, quaternion linear canonical transform, and quaternion Wigner–Ville distribution. The aim of this paper is twofold: first to provide some of the theoretical background regarding the quaternion bound variation function. We then apply it to derive the quaternion Fourier and linear canonical inversion formulas. Secondly, to provide some in tuition for how the quaternion Fourier and linear canonical inversion theorems work on the absolutely integrable function space. Copyright © 2016 John Wiley & Sons, Ltd.     

On quadratic integral equation of fractional orders

We present an existence theorem for a nonlinear quadratic integral equations of fractional orders, arising in the queuing theory and biology, in the Banach space of real functions defined and continuous on a bounded and closed interval. The concept of measure of noncompactness and a fixed point theorem due to Darbo are the main tool in carrying out our proof.