Trigonometric Polynomials and Quartic Hyperbolic Ternary Forms
|
|
- Hester Long
- 5 years ago
- Views:
Transcription
1 International Journal of Algebra, Vol. 5, 2011, no. 4, Trigonometric Polynomials and Quartic Hyperbolic Ternary Forms Seiji Kitamura Graduate School of Science and Technology Hirosaki University, Hirosaki , Japan Course of Safety Science and Technology, Safety System Engineering Hirosaki University, Hirosaki , Japan Hiroshi Nakazato Graduate School of Science and Technology Hirosaki University, Hirosaki , Japan Department of Mathematical Sciences Faculty of Science and Technology Hirosaki University, Hirosaki , Japan Abstract The 4 4 matrix associated with a hyperbolic ternary form of degree 4 is provided constructively. Mathematics Subject Classification: 15A60 Keywords: Numerical range; algebraic curves 1. Introduction In the paper [1], a 4 4 matrix a A = A(a) = 2 1 a ( a>1) is associated with the form F (t, x, y) = det(ti n + x/2(a + A ) yi/2(a A )),
2 160 S. Kitamura and H. Nakazato and the affine curve F (1,x,y) = 0 is parametrized as 2 2 x = R( {a exp(2iθ)+exp( iθ)}),y = I( {a exp(2iθ)+exp( iθ)}), a 2 1 a 2 1 (0 θ 2π). A real ternary form G(t, x, y) defined as det(ti n + x/2(b + B ) yi/2(b B )) by an n n matrix B and its adjoint (conjugate transpose) B is hyperbolic with respect to (1, 0, 0), that is, the univariate polynomial t G(t + t 0,x 0,y 0 ) has all real roots, for all vectors (t 0,x 0,x 0 ) R 3 independent of (1, 0, 0). The converse of this statement was conjectured by Fiedler in 1981 and it was proved to be true (cf. [2], [3],[4]). However the proof is not so elementary. We consider a trigonometric polynomial φ(exp(iθ)) = exp(2iθ) s 1 exp(iθ)+s 2 s 3 exp( iθ), (1.1) with 4 complex coefficients 1, s 1, s 2, s 3 for which the polynomial exp(iθ)φ(exp(iθ)) = exp(3iθ) s 1 exp(2iθ)+s 2 exp(iθ) s 3, (1.2) is factorized as (exp(iθ) a 1 )(exp(iθ) a 2 )(exp(iθ) a 3 ), (1.3) by some complex numbers a 1,a 2,a 3 with max{ a 1, a 2, a 3 } < 1. (1.4) Then the following relations hold: s 1 = a 1 + a 2 + a 3, s 2 = a 1 a 2 + a 1 a 3 + a 2 a 3, s 3 = a 1 a 2 a 3. We consider a curve {φ(exp(iθ)) : θ R, 0 θ 2π}, (1.5) on the Gaussian plane C and a quartic form F (t, x, y) satisfying F (1, R(φ(exp(iθ)))), I(φ(exp(iθ)) )) = 0, (1.6) for every 0 θ 2π and F (1, 0, 0) = 1. We shall show that the function f(θ) = Arg(φ(exp(iθ))) = I(Logφ(exp(iθ)))
3 Quartic hyperbolic forms 161 is a strictly increasing function in θ. Since the equation 4 f(θ) = Arg((exp(iθ) a j ) exp( iθ/2)), j=1 holds, it is sufficient to prove that the function g(θ) = Arg((exp(iθ) a) exp( iθ/2)), is a strictly increasing function for any a C with a < 1. By the equation exp(iθ/2) a exp(iψ) exp( iθ/2) = {exp(i (θ/2 ψ/2)) a exp( i (θ/2 ψ/2))} exp(iψ/2), we may assume that 0 a<1. In this case we have g(θ) = θ + I(Log(1 a exp( iθ))), 2 g (θ) = 1 ai exp( iθ) + I( 2 1 a exp( iθ) ) 1 a 2 = 2(1 2a cos θ + a 2 ) > 0. Hence we proved that f is strictly increasing. Since the function f(θ) satisfies 2π 0 dg(θ) =2π π = π, 2π 0 df (θ) =4π, that is, the winding number of φ(θ) around 0 for 0 θ 2π is 2. The curve (1.5) does not pass through the origin 0 of the Gaussian plane. So the equation F (t, x 0,y 0 )=0inthave 4 real solutions for every (x 0,y 0 ) R 2. Thus the form F (t, x, y) ishyperbolic with respect to (1, 0, 0). In this paper we present 4 4 matrix X satisfying det(ti 4 +(x/2)(x + X ) yi/2(x X )) = F (t, x, y) for some class of the quartic forms F. For the simplicity we restrict our attention to the case the coefficients s j s are real. In this case the polynomial F (t, 1, 0) satisfies the equation F (t, 1, 0)
4 162 S. Kitamura and H. Nakazato 1 = {t } (t )(t ) 1 s 2 + s 1 s 3 s s 1 + s 2 + s 3 1 s 1 + s 2 s 3 1 = {t 1 j<k 3(1 a j a k ) }2 1 {t (1 + a 1 )(1 + a 2 )(1 + a 3 ) }{t 1 (1 a 1 )(1 a 2 )(1 a 3 ) }, In the above the denominators 1 s 2 + s 1 s 3 s 2 3 =(1 a 1 a 2 )(1 a 1 a 3 )(1 a 2 a 3 ), (1.7) 1+s 1 + s 2 + s 3 =(1+a 1 )(1 + a 2 )(1 + a 3 ), (1.8) 1 s 1 + s 2 s 3 =(1 a 1 )(1 a 2 )(1 a 3 ), (1.9) are positive real numbers under the assumption (1.4). In fact, each one of these expressions is the product of real factors of the form 1 t j ( 1 <t j < 1) or (1 t j )(1 t j )(I(t j ) 0, t j < 1). If all the roots a j s are real, then the polynomial F (t, 1, i) is given by F (t, 1, i) =t 3 2a 2 k (t 3j=1 k=1 (1 a j a k ) ). We shall give the explicit form of the polynomial F by using the 3 real coefficients s 1, s 2, s 3. The polynomial F (t, x, y) =c0,0 F (t, x, y) = F (t, x, y : a 1,a 2,a 3 ) satisfying F (t, 0, 0) = c 00 t 4, c 00 =(1+s 1 + s 2 + s 3 )(1 s 1 + s 2 s 3 )(1 s 2 + s 1 s 3 s 2 3) 2 is given by the following equation F (t, x, y) =c 40 x 4 + c 22 x 2 y 2 + c 04 y 4 + c 30 tx 3 + c 12 txy 2 +c 20 t 2 x 2 + c 02 t 2 y 2 + c 10 t 3 x + c 00 t 4, where the 9 coefficients c ij are given by the following : c 40 = c 04 =1, c 22 =2, c 30 = 2 {2s 2 s 1 s 3 + s 2 3 },c 12 = 2{2s 2 s 1 s 3 3s 2 3 }, c 20 = 2 s s2 2 4s 1 s 3 6s 1 s 2 s 3 + s s2 1 s2 3 +6s 2 s 2 3 2s 1 s s 4 3, c 02 = 2 s s s 1 s 3 2s 1 s 2 s 3 + s s 2 1 s 2 3 6s 2 s 2 3
5 Quartic hyperbolic forms s 1 s s4 3, c 10 = 2(1 s 2 + s 1 s 3 s 2 3)( s s 2 +2s 2 2 3s 1 s 3 s 1 s 2 s 3 + s 2 s 2 3), c 00 =(1+s 1 + s 2 + s 3 )(1 s 1 + s 2 s 3 )(1 s 2 + s 1 s 3 s 2 3) 2. Theorem 2.1 Suppose that φ(exp(iθ)) = exp(2iθ) s 1 exp(iθ)+s 2 s 3 exp( iθ), (2.1) is a trigonometric polynomial with real coefficients s 1, s 2, s 3 satisfying the condition t 3 s 1 t 2 + s 2 t s 3 =(t a 1 )(t a 2 )(t a 3 ), (2.2) for some complex numbers a j s with a j < 1(j =1, 2, 3, 4). If the coefficient s 3 vanishes, or equivalently, a 1 a 2 a 3 =0, (2.3) then there exists a 4 4 real matrix in the form for which the quartic form satisfies the condition x 1 b 12 b 13 0 b A = 12 x 2 b 23 b 24 b 13 b 23 x 3 0, (2.4) 0 b 24 0 x 4 F (t, x, y) = det(ti 4 + x/2(a + A ) yi/2(a A )), (2.5) for 0 θ 2π. F (1, R(φ(exp(iθ))), I(φ(exp(iθ)))) = 0, (2.6) Proof. We define the matrix A in the form (2.4) by the equations x 1 = x 2 = 1, 1 s 2 + s 1 s 3 s 2 3 b 12 = x 3 = 1 1, x 4 =, 1+s 1 + s 2 + s 3 1 s 1 + s 2 s 3 B 13, b 23 = B 23, b 24 = B 12, b 13 = B 24.
6 164 S. Kitamura and H. Nakazato Then the above x j s satisfy the equation c 00 det(ti 4 + x/2(a + A )) = F (t, x, 0). Moreover, the equation c 00 det(ti 4 + x/2(a + A ) yi/2(a A )) = F (t, x, y). in b 12,b 13,b 23,b 24 is expressed as the following c 00 det(ti 4 + x/2(a + A ) yi/2(a A )) F (t, x, y) = y 2 {L 1 (B 12,B 13,B 23,B 24 ; s 1,s 2,s 3 ) t 2 + L 2 (B 12,B 13,B 23,B 24 ; s 1,s 2,s 3 ) x 2 +L 3 (B 12,B 13,B 23,B 24 ; s 1,s 2,s 3 ) tx+ L 4 (B 13 B 24 ; s 1,s 2,s 3 ) y 2 } =0, (2.8) where B 12 = b 2 12,B 13 = b 2 13,B 23 = b 2 23,B 24 = b 2 24, and L j s for j =1, 2, 3 are expressed as L j (B 12,B 13,B 23,B 24 ; s 1,s 2,s 3 ) = φ j,1 (s 1,s 2,s 3 ) B 12 + φ j,2 (s 1,s 2,s 3 ) B 13 +φ j,3 (s 1,s 2,s 3 ) B 23 + φ j,4 (s 1,s 2,s 3 ) B 24 + φ j,0 (s 1,s 2,s 3 ). for some polynomials φ j,k s with integral coefficients. The coefficient function L 4 is expressed as L 4 (B 13 B 24 ; s 1,s 2,s 3 ) =(1 s 1 + s 2 s 3 )(1 + s 1 + s 2 + s 3 )(1 s 2 + s 1 s 3 s 2 3) 2 B 13 B We solve the simultaneous equations L 1 = L 2 = L 3 = L 4 =0inB 12,B 13,B 23,B 24. We take the resultant R 1 (B 12,B 24 )ofl 1, L 2 with respect to B 23. We take the resultant R 2 (B 12,B 24 )ofl 1, L 3 with respect to B 23. We eliminate B 24 from the equations R 1 = R 2 = 0 and obtain an equation in B 12. We solve this equation and obtain the solution : B 12 =(s 1 3s 3 ) 2 /[(2 + s 1 s 3 )(2 s 1 + s 3 )(1 s 2 + s 1 s 3 s 2 3 )2 ]. (2.9) We substitute this expression of B 12 into the equation R 2 = 0 and obtain an equation in B 24. We solve this equation and obtain the solution : B 24 =(4 s 1 s 3 )(1 s 3 )/[2(1 s 1 + s 2 s 3 )(2 s 1 + s 3 )(1 s 2 + s 1 s 3 s 2 3)]. (2.10) We substitute this expression of B 24 into the equation L 4 = 0 and obtain an equation in B 13. We solve this equation and obtain the solution :
7 Quartic hyperbolic forms 165 B 13 = 2(2 s 1 + s 3 )/[(4 s 1 s 3 )(1 + s 1 + s 2 + s 3 )(1 s 3 )(1 s 2 + s 1 s 3 s 2 3 )]. (2.11) We substitute the expressions of B 12,B 24,B 13 in to the equation L 1 = 0 and obtain an equation in B 23. We solve this equation and obtain the equation B 23 =(s 1 + s 3 )(3s 1 13s 3 + s 1 s s3 3 )/[2(4 s 1 s 3 )(1 + s 1 + s 2 + s 3 ), (2 + s 1 s 3 )(1 s 3 )(1 s 2 + s 1 s 3 s 2 3 )]. (2.12) Conversely the rational functions B 12,B 13,B 23,B 24 in s 1,s 2,s 3 given by (2.9), (2.10), (2.11), (2.12) satisfy the simultaneous equations L 1 = L 2 = L 3 = L 4 =0. The equation (2.8) in b 12,b 13,b 23,b 24 has a real solution if and only if the denominators of (2.9), (2.10), (2.11), (2.12) are non-zero and the functions B 12,B 13,B 23,B 24 take non-negative values under the assumption s 1 s 3 =0. Under the assumption s 3 = 0, we have B 12 = s 2 1 /[(2 + s 1)(2 s 1 )(1 s 2 ) 2 ]. B 24 =(4 s 1 )/[2(1 s 1 + s 2 )(2 s 1 )(1 s 2 )]. B 13 = 2(2 s 1 )/[(4 s 1 )(1 + s 1 + s 2 )(1 s 2 )]. B 23 =3s 2 1 /[2(4 s 1)(1 + s 1 + s 2 )(2 + s 1 )(1 s 2 )]. We may assume that a 3 = 0 and s 1 = a 1 + a 2, s 2 = a 1 a 2. Hence 1+s 1 +s 2 =1+a 1 +a 2 +a 1 a 2 = (1+a 1 )(1+a 2 ) > 0, 1 s 1 +s 2 =(1 a 1 )(1 a 2 ) > 0, 1 s 2 =1 a 1 a 2 > 0, 1+s 2 =1+a 1 a 2 > 0 by the assumption a j < 1(j =1, 2). Thus the equation (2.8) has a nonnegative real solutions (b 12,b 13,b 23,b 24 ). References [1] M. T. Chien and H. Nakazato, Numerical range for orbits under a central force, to appear in Mathematical Physics, Analysis and Geometry. [2] M. Fiedler, Geometry of the numerical range of matrices, Linear Algebra Appl. 37(1981), [3] P. D. Lax, Differential equations, difference equations and matrix theory. Comm. Pure Appl. Math., 6(1958),
8 166 S. Kitamura and H. Nakazato [4] A. S. Lewis, P. A. Parrilo and M. V. Ramana, The Lax conjecture is true, Proc. Amer. Math. Soc. 133(2005), Received: September, 2010
An inverse numerical range problem for determinantal representations
An inverse numerical range problem for determinantal representations Mao-Ting Chien Soochow University, Taiwan Based on joint work with Hiroshi Nakazato WONRA June 13-18, 2018, Munich Outline 1. Introduction
More informationKepler s Quartic Curve as a Model of Planetary Orbits
International Mathematical Forum, 3, 2008, no. 38, 1871-1877 Kepler s Quartic Curve as a Model of Planetary Orbits Takuma Kimura Grduate School of Science and Technology Hirosaki University, Hirosaki 036-8561,
More informationNOTES ON HYPERBOLICITY CONES
NOTES ON HYPERBOLICITY CONES Petter Brändén (Stockholm) pbranden@math.su.se Berkeley, October 2010 1. Hyperbolic programming A hyperbolic program is an optimization problem of the form minimize c T x such
More informationTraditional Mathematics in the Aomori Prefecture
International Mathematical Forum, Vol. 9, 014, no. 33, 1639-1645 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/imf.014.49158 Traditional Mathematics in the Aomori Prefecture Noriaki Nagase Department
More informationA Note on Product Range of 3-by-3 Normal Matrices
International Mathematical Forum, Vol. 11, 2016, no. 18, 885-891 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2016.6796 A Note on Product Range of 3-by-3 Normal Matrices Peng-Ruei Huang
More informationarxiv: v1 [math.fa] 12 Mar 2019
SINGULARITIES OF BASE POLYNOMIALS AND GAU WU NUMBERS KRISTIN A. CAMENGA, LOUIS DEAETT, PATRICK X. RAULT, TSVETANKA SENDOVA, ILYA M. SPITKOVSKY, AND REBEKAH B. JOHNSON YATES arxiv:1903.05183v1 [math.fa]
More informationExample 9 Algebraic Evaluation for Example 1
A Basic Principle Consider the it f(x) x a If you have a formula for the function f and direct substitution gives the indeterminate form 0, you may be able to evaluate the it algebraically. 0 Principle
More informationKepler s Quartic Curve is Implemented by a Central Force
International Mathematical Forum, 5, 2010, no. 3, 139-144 Kepler s Quartic Curve is Implemented by a Central Force Hideyuki Ide Graduate School of Science and Technology, Hirosaki University Hirosaki 036-8561,
More information6.1 Matrices. Definition: A Matrix A is a rectangular array of the form. A 11 A 12 A 1n A 21. A 2n. A m1 A m2 A mn A 22.
61 Matrices Definition: A Matrix A is a rectangular array of the form A 11 A 12 A 1n A 21 A 22 A 2n A m1 A m2 A mn The size of A is m n, where m is the number of rows and n is the number of columns The
More informationGram Spectrahedra. Lynn Chua UC Berkeley. joint work with Daniel Plaumann, Rainer Sinn, and Cynthia Vinzant
Gram Spectrahedra Lynn Chua UC Berkeley joint work with Daniel Plaumann, Rainer Sinn, and Cynthia Vinzant SIAM Conference on Applied Algebraic Geometry 017 1/17 Gram Matrices and Sums of Squares Let P
More informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More informationHow to sharpen a tridiagonal pair
How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.
More informationMS 3011 Exercises. December 11, 2013
MS 3011 Exercises December 11, 2013 The exercises are divided into (A) easy (B) medium and (C) hard. If you are particularly interested I also have some projects at the end which will deepen your understanding
More informationTHE PYTHAGOREAN THEOREM
THE STORY SO FAR THE PYTHAGOREAN THEOREM USES OF THE PYTHAGOREAN THEOREM USES OF THE PYTHAGOREAN THEOREM SOLVE RIGHT TRIANGLE APPLICATIONS USES OF THE PYTHAGOREAN THEOREM SOLVE RIGHT TRIANGLE APPLICATIONS
More informationON THE HÖLDER CONTINUITY OF MATRIX FUNCTIONS FOR NORMAL MATRICES
Volume 10 (2009), Issue 4, Article 91, 5 pp. ON THE HÖLDER CONTINUITY O MATRIX UNCTIONS OR NORMAL MATRICES THOMAS P. WIHLER MATHEMATICS INSTITUTE UNIVERSITY O BERN SIDLERSTRASSE 5, CH-3012 BERN SWITZERLAND.
More informationElementary maths for GMT
Elementary maths for GMT Linear Algebra Part 2: Matrices, Elimination and Determinant m n matrices The system of m linear equations in n variables x 1, x 2,, x n a 11 x 1 + a 12 x 2 + + a 1n x n = b 1
More informationSome suggested repetition for the course MAA508
Some suggested repetition for the course MAA58 Linus Carlsson, Karl Lundengård, Johan Richter July, 14 Contents Introduction 1 1 Basic algebra and trigonometry Univariate calculus 5 3 Linear algebra 8
More informationCOMMUTATIVITY OF OPERATORS
COMMUTATIVITY OF OPERATORS MASARU NAGISA, MAKOTO UEDA, AND SHUHEI WADA Abstract. For two bounded positive linear operators a, b on a Hilbert space, we give conditions which imply the commutativity of a,
More informationLinear Systems and Matrices
Department of Mathematics The Chinese University of Hong Kong 1 System of m linear equations in n unknowns (linear system) a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.......
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationMath 408 Advanced Linear Algebra
Math 408 Advanced Linear Algebra Chi-Kwong Li Chapter 4 Hermitian and symmetric matrices Basic properties Theorem Let A M n. The following are equivalent. Remark (a) A is Hermitian, i.e., A = A. (b) x
More informationMINIMAL NORMAL AND COMMUTING COMPLETIONS
INTERNATIONAL JOURNAL OF INFORMATION AND SYSTEMS SCIENCES Volume 4, Number 1, Pages 5 59 c 8 Institute for Scientific Computing and Information MINIMAL NORMAL AND COMMUTING COMPLETIONS DAVID P KIMSEY AND
More informationHessenberg Pairs of Linear Transformations
Hessenberg Pairs of Linear Transformations Ali Godjali November 21, 2008 arxiv:0812.0019v1 [math.ra] 28 Nov 2008 Abstract Let K denote a field and V denote a nonzero finite-dimensional vector space over
More informationThe Fibonacci sequence modulo π, chaos and some rational recursive equations
J. Math. Anal. Appl. 310 (2005) 506 517 www.elsevier.com/locate/jmaa The Fibonacci sequence modulo π chaos and some rational recursive equations Mohamed Ben H. Rhouma Department of Mathematics and Statistics
More informationarxiv: v1 [quant-ph] 4 Jul 2013
GEOMETRY FOR SEPARABLE STATES AND CONSTRUCTION OF ENTANGLED STATES WITH POSITIVE PARTIAL TRANSPOSES KIL-CHAN HA AND SEUNG-HYEOK KYE arxiv:1307.1362v1 [quant-ph] 4 Jul 2013 Abstract. We construct faces
More informationConjugacy classes of torsion in GL_n(Z)
Electronic Journal of Linear Algebra Volume 30 Volume 30 (2015) Article 32 2015 Conjugacy classes of torsion in GL_n(Z) Qingjie Yang Renmin University of China yangqj@ruceducn Follow this and additional
More informationON SUM OF SQUARES DECOMPOSITION FOR A BIQUADRATIC MATRIX FUNCTION
Annales Univ. Sci. Budapest., Sect. Comp. 33 (2010) 273-284 ON SUM OF SQUARES DECOMPOSITION FOR A BIQUADRATIC MATRIX FUNCTION L. László (Budapest, Hungary) Dedicated to Professor Ferenc Schipp on his 70th
More information3.4. ZEROS OF POLYNOMIAL FUNCTIONS
3.4. ZEROS OF POLYNOMIAL FUNCTIONS What You Should Learn Use the Fundamental Theorem of Algebra to determine the number of zeros of polynomial functions. Find rational zeros of polynomial functions. Find
More informationarxiv: v1 [math.ca] 23 Oct 2018
A REMARK ON THE ARCSINE DISTRIBUTION AND THE HILBERT TRANSFORM arxiv:80.08v [math.ca] 3 Oct 08 RONALD R. COIFMAN AND STEFAN STEINERBERGER Abstract. We prove that if fx) ) /4 L,) and its Hilbert transform
More informationExact algorithms: from Semidefinite to Hyperbolic programming
Exact algorithms: from Semidefinite to Hyperbolic programming Simone Naldi and Daniel Plaumann PGMO Days 2017 Nov 14 2017 - EDF Lab Paris Saclay 1 Polyhedra P = {x R n : i, l i (x) 0} Finite # linear inequalities
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 1 x 2. x n 8 (4) 3 4 2
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS SYSTEMS OF EQUATIONS AND MATRICES Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationOn Q-derived Polynomials
On Q-derived Polynomials R.J. Stroeker Econometric Institute, EUR Report EI 2002-0 Abstract A Q-derived polynomial is a univariate polynomial, defined over the rationals, with the property that its zeros,
More informationOptimal Preconditioning for the Interval Parametric Gauss Seidel Method
Optimal Preconditioning for the Interval Parametric Gauss Seidel Method Milan Hladík Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic http://kam.mff.cuni.cz/~hladik/ SCAN,
More informationReview of Basic Concepts in Linear Algebra
Review of Basic Concepts in Linear Algebra Grady B Wright Department of Mathematics Boise State University September 7, 2017 Math 565 Linear Algebra Review September 7, 2017 1 / 40 Numerical Linear Algebra
More informationHardy martingales and Jensen s Inequality
Hardy martingales and Jensen s Inequality Nakhlé H. Asmar and Stephen J. Montgomery Smith Department of Mathematics University of Missouri Columbia Columbia, Missouri 65211 U. S. A. Abstract Hardy martingales
More informationClassical transcendental curves
Classical transcendental curves Reinhard Schultz May, 2008 In his writings on coordinate geometry, Descartes emphasized that he was only willing to work with curves that could be defined by algebraic equations.
More informationCitation Osaka Journal of Mathematics. 40(3)
Title An elementary proof of Small's form PSL(,C and an analogue for Legend Author(s Kokubu, Masatoshi; Umehara, Masaaki Citation Osaka Journal of Mathematics. 40(3 Issue 003-09 Date Text Version publisher
More informationR. Popovych (Nat. Univ. Lviv Polytechnic )
UDC 512.624 R. Popovych (Nat. Univ. Lviv Polytechnic ) SHARPENING OF THE EXPLICIT LOWER BOUNDS ON THE ORDER OF ELEMENTS IN FINITE FIELD EXTENSIONS BASED ON CYCLOTOMIC POLYNOMIALS ПІДСИЛЕННЯ ЯВНИХ НИЖНІХ
More informationGAKUTO International Series
GAKUTO International Series Mathematical Sciences and Applications, Vol.28(2008) Proceedings of Fourth JSIAM-SIMMAI Seminar on Industrial and Applied Mathematics, pp.139-148 A COMPUTATIONAL APPROACH TO
More informationQUADRATIC EQUATIONS AND MONODROMY EVOLVING DEFORMATIONS
QUADRATIC EQUATIONS AND MONODROMY EVOLVING DEFORMATIONS YOUSUKE OHYAMA 1. Introduction In this paper we study a special class of monodromy evolving deformations (MED). Chakravarty and Ablowitz [4] showed
More informationThe Geometry of Semidefinite Programming. Bernd Sturmfels UC Berkeley
The Geometry of Semidefinite Programming Bernd Sturmfels UC Berkeley Positive Semidefinite Matrices For a real symmetric n n-matrix A the following are equivalent: All n eigenvalues of A are positive real
More informationAbstract. In this article, several matrix norm inequalities are proved by making use of the Hiroshima 2003 result on majorization relations.
HIROSHIMA S THEOREM AND MATRIX NORM INEQUALITIES MINGHUA LIN AND HENRY WOLKOWICZ Abstract. In this article, several matrix norm inequalities are proved by making use of the Hiroshima 2003 result on majorization
More informationOn a WKB-theoretic approach to. Ablowitz-Segur's connection problem for. the second Painleve equation. Yoshitsugu TAKEI
On a WKB-theoretic approach to Ablowitz-Segur's connection problem for the second Painleve equation Yoshitsugu TAKEI Research Institute for Mathematical Sciences Kyoto University Kyoto, 606-8502, JAPAN
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationarxiv: v1 [math.fa] 1 Sep 2014
SOME GENERALIZED NUMERICAL RADIUS INEQUALITIES FOR HILBERT SPACE OPERATORS MOSTAFA SATTARI 1, MOHAMMAD SAL MOSLEHIAN 1 AND TAKEAKI YAMAZAKI arxiv:1409.031v1 [math.fa] 1 Sep 014 Abstract. We generalize
More informationSOLVING SOLVABLE QUINTICS. D. S. Dummit
D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if
More informationOn the lines passing through two conjugates of a Salem number
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the lines passing through two conjugates of a Salem number By ARTŪRAS DUBICKAS Department of Mathematics and Informatics, Vilnius
More informationGeometry Summer Assignment 2018
Geometry Summer Assignment 2018 The following packet contains topics and definitions that you will be required to know in order to succeed in Geometry this year. You are advised to be familiar with each
More informationThe equivalence of Picard, Mann and Ishikawa iterations dealing with quasi-contractive operators
Mathematical Communications 10(2005), 81-88 81 The equivalence of Picard, Mann and Ishikawa iterations dealing with quasi-contractive operators Ştefan M. Şoltuz Abstract. We show that the Ishikawa iteration,
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationPseudo-Boolean Functions, Lovász Extensions, and Beta Distributions
Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions Guoli Ding R. F. Lax Department of Mathematics, LSU, Baton Rouge, LA 783 Abstract Let f : {,1} n R be a pseudo-boolean function and let
More informationTRUNCATED TOEPLITZ OPERATORS ON FINITE DIMENSIONAL SPACES
TRUNCATED TOEPLITZ OPERATORS ON FINITE DIMENSIONAL SPACES JOSEPH A. CIMA, WILLIAM T. ROSS, AND WARREN R. WOGEN Abstract. In this paper, we study the matrix representations of compressions of Toeplitz operators
More informationb jσ(j), Keywords: Decomposable numerical range, principal character AMS Subject Classification: 15A60
On the Hu-Hurley-Tam Conjecture Concerning The Generalized Numerical Range Che-Man Cheng Faculty of Science and Technology, University of Macau, Macau. E-mail: fstcmc@umac.mo and Chi-Kwong Li Department
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationA determinant characterization of moment sequences with finitely many mass-points
To appear in Linear and Multilinear Algebra Vol 00, No 00, Month 20XX, 1 9 A determinant characterization of moment sequences with finitely many mass-points Christian Berg a and Ryszard Szwarc b a Department
More informationCSL361 Problem set 4: Basic linear algebra
CSL361 Problem set 4: Basic linear algebra February 21, 2017 [Note:] If the numerical matrix computations turn out to be tedious, you may use the function rref in Matlab. 1 Row-reduced echelon matrices
More informationTwo remarks on normality preserving Borel automorphisms of R n
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 3, No., February 3, pp. 75 84. c Indian Academy of Sciences Two remarks on normality preserving Borel automorphisms of R n K R PARTHASARATHY Theoretical Statistics
More informationA CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES. 1. Introduction
A CHARACTERIZATION OF THE MOONSHINE VERTEX OPERATOR ALGEBRA BY MEANS OF VIRASORO FRAMES CHING HUNG LAM AND HIROSHI YAMAUCHI Abstract. In this article, we show that a framed vertex operator algebra V satisfying
More informationA POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE
Bull. Korean Math. Soc. 47 (2010), No. 1, pp. 211 219 DOI 10.4134/BKMS.2010.47.1.211 A POLAR, THE CLASS AND PLANE JACOBIAN CONJECTURE Dosang Joe Abstract. Let P be a Jacobian polynomial such as deg P =
More informationESTIMATES ON THE NUMBER OF LIMIT CYCLES OF A GENERALIZED ABEL EQUATION
Manuscript submitted to Website: http://aimsciences.org AIMS Journals Volume 00, Number 0, Xxxx XXXX pp. 000 000 ESTIMATES ON THE NUMBER OF LIMIT CYCLES OF A GENERALIZED ABEL EQUATION NAEEM M.H. ALKOUMI
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationExponential Properties 0.1 Topic: Exponential Properties
Ns Exponential Properties 0.1 Topic: Exponential Properties Date: Objectives: SWBAT (Simplify and Evaluate Expressions using the Exponential LAWS) Main Ideas: Assignment: LAW Algebraic Meaning Example
More information11 a 12 a 21 a 11 a 22 a 12 a 21. (C.11) A = The determinant of a product of two matrices is given by AB = A B 1 1 = (C.13) and similarly.
C PROPERTIES OF MATRICES 697 to whether the permutation i 1 i 2 i N is even or odd, respectively Note that I =1 Thus, for a 2 2 matrix, the determinant takes the form A = a 11 a 12 = a a 21 a 11 a 22 a
More informationON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM. Zygmunt Wronicz
Opuscula Math. 36, no. 5 (2016), 681 687 http://dx.doi.org/10.7494/opmath.2016.36.5.681 Opuscula Mathematica ON A PROBLEM OF GEVORKYAN FOR THE FRANKLIN SYSTEM Zygmunt Wronicz Communicated by P.A. Cojuhari
More informationASSIGNMENT BOOKLET. Bachelor's Degree Programme LINEAR ALGEBRA. It is compulsory to submit the assignment before filling in the exam form.
ASSIGNMENT BOOKLET MTE- Bachelor's Degree Programme LINEAR ALGEBRA (Valid from st January, to st December, ) It is compulsory to submit the assignment before filling in the exam form. School of Sciences
More informationPerov s fixed point theorem for multivalued mappings in generalized Kasahara spaces
Stud. Univ. Babeş-Bolyai Math. 56(2011), No. 3, 19 28 Perov s fixed point theorem for multivalued mappings in generalized Kasahara spaces Alexandru-Darius Filip Abstract. In this paper we give some corresponding
More informationMATH 211 review notes
MATH 211 review notes Notes written by Mark Przepiora 1 Determinants 1. Let A = 3 1 1 2 1 2 5 2 1 (a) Compute det(a). Solution: To find the determinant, we expand along the first row. det(a) = 2 1 1 2
More informationRESEARCH STATEMENT. Introduction
RESEARCH STATEMENT PRITHA CHAKRABORTY Introduction My primary research interests lie in complex analysis (in one variable), especially in complex-valued analytic function spaces and their applications
More informationBounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers
3 47 6 3 Journal of Integer Seuences, Vol. (7), rticle 7..3 ounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers Roger Woodford Department of Mathematics University
More informationON THE p-adic VALUE OF JACOBI SUMS OVER F p
Kyushu J. Math. 68 (014), 3 38 doi:10.06/kyushujm.68.3 ON THE p-adic VALUE OF JACOBI SUMS OVER F p 3 Takahiro NAKAGAWA (Received 9 November 01 and revised 3 April 014) Abstract. Let p be a prime and q
More informationThe moduli space of binary quintics
The moduli space of binary quintics A.A.du Plessis and C.T.C.Wall November 10, 2005 1 Invariant theory From classical invariant theory (we refer to the version in [2]), we find that the ring of (SL 2 )invariants
More informationHYPERBOLICITY CONES AND IMAGINARY PROJECTIONS
HYPERBOLICITY CONES AND IMAGINARY PROJECTIONS THORSTEN JÖRGENS AND THORSTEN THEOBALD Abstract. Recently, the authors and de Wolff introduced the imaginary projection of a polynomial f C[z] as the projection
More informationON CRITICAL VALUES OF POLYNOMIALS WITH REAL CRITICAL POINTS
ON CRITICAL VALUES OF POLYNOMIALS WITH REAL CRITICAL POINTS AIMO HINKKANEN AND ILGIZ KAYUMOV Abstract. Let f be a polynomial of degree at least 2 with f = and f =. Suppose that all the zeros of f are real.
More informationPOWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS
MATHEMATICS OF COMPUTATION Volume 66, Number 220, October 1997, Pages 1689 1696 S 002-718(97)00868- POWER INTEGRAL BASES IN A PARAMETRIC FAMILY OF TOTALLY REAL CYCLIC QUINTICS Abstract. We consider the
More informationMath 108b: Notes on the Spectral Theorem
Math 108b: Notes on the Spectral Theorem From section 6.3, we know that every linear operator T on a finite dimensional inner product space V has an adjoint. (T is defined as the unique linear operator
More informationOn Robbins example of a continued fraction expansion for a quartic power series over F 13
Journal of Number Theory 28 (2008) 09 5 www.elsevier.com/locate/jnt On Robbins example of a continued fraction expansion for a quartic power series over F 3 Alain Lasjaunias C.N.R.S.-UMR 5465, Université
More informationChapter 1: Systems of Linear Equations and Matrices
: Systems of Linear Equations and Matrices Multiple Choice Questions. Which of the following equations is linear? (A) x + 3x 3 + 4x 4 3 = 5 (B) 3x x + x 3 = 5 (C) 5x + 5 x x 3 = x + cos (x ) + 4x 3 = 7.
More informationSPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction
SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationarxiv:math/ v2 [math.oc] 25 May 2004
arxiv:math/0304104v2 [math.oc] 25 May 2004 THE LAX CONJECTURE IS TRUE A.S. Lewis, P.A. Parrilo, and M.V. Ramana Key words: hyperbolic polynomial, Lax conjecture, hyperbolicity cone, semidefinite representable
More informationALEXEY V. GAVRILOV. I p (v) : T p M T Expp vm the operator of parallel transport along the geodesic γ v. Let E p be the map
THE TAYLOR SERIES RELATE TO THE IFFERENTIAL OF THE EXPONENTIAL MAP arxiv:205.2868v [math.g] 3 May 202 ALEXEY V. GAVRILOV Abstract. In this paper we study the Taylor series of an operator-valued function
More informationRanks of Real Symmetric Tensors
Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like
More informationA classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger
Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,
More informationThe Geometry of Cubic Maps
The Geometry of Cubic Maps John Milnor Stony Brook University (www.math.sunysb.edu) work with Araceli Bonifant and Jan Kiwi Conformal Dynamics and Hyperbolic Geometry CUNY Graduate Center, October 23,
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationA Diophantine System Concerning Sums of Cubes
1 2 3 47 6 23 11 Journal of Integer Sequences Vol. 16 (2013) Article 13.7.8 A Diophantine System Concerning Sums of Cubes Zhi Ren Mission San Jose High School 41717 Palm Avenue Fremont CA 94539 USA renzhistc69@163.com
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationRELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS
Kragujevac Journal of Mathematics Volume 38(1) (2014), Pages 147 161. RELATION BETWEEN SMALL FUNCTIONS WITH DIFFERENTIAL POLYNOMIALS GENERATED BY MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL
More informationSpectral Theorem for Self-adjoint Linear Operators
Notes for the undergraduate lecture by David Adams. (These are the notes I would write if I was teaching a course on this topic. I have included more material than I will cover in the 45 minute lecture;
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationChapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010
Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression
More informationUNIVERSAL IDENTITIES. b = det
UNIVERSAL IDENTITIES KEITH CONRAD 1 Introduction We want to describe an idea which reduces the verification of algebraic identities valid over all commutative rings to the verification over the complex
More informationTwo finite forms of Watson s quintuple product identity and matrix inversion
Two finite forms of Watson s uintuple product identity and matrix inversion X. Ma Department of Mathematics SuZhou University, SuZhou 215006, P.R.China Submitted: Jan 24, 2006; Accepted: May 27, 2006;
More informationLow-Degree Polynomial Roots
Low-Degree Polynomial Roots David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License. To view
More informationTopological groups with dense compactly generated subgroups
Applied General Topology c Universidad Politécnica de Valencia Volume 3, No. 1, 2002 pp. 85 89 Topological groups with dense compactly generated subgroups Hiroshi Fujita and Dmitri Shakhmatov Abstract.
More informationHomework 2 Foundations of Computational Math 2 Spring 2019
Homework 2 Foundations of Computational Math 2 Spring 2019 Problem 2.1 (2.1.a) Suppose (v 1,λ 1 )and(v 2,λ 2 ) are eigenpairs for a matrix A C n n. Show that if λ 1 λ 2 then v 1 and v 2 are linearly independent.
More informationMultiplicative Perturbation Bounds of the Group Inverse and Oblique Projection
Filomat 30: 06, 37 375 DOI 0.98/FIL67M Published by Faculty of Sciences Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Multiplicative Perturbation Bounds of the Group
More informationSign changes of Fourier coefficients of cusp forms supported on prime power indices
Sign changes of Fourier coefficients of cusp forms supported on prime power indices Winfried Kohnen Mathematisches Institut Universität Heidelberg D-69120 Heidelberg, Germany E-mail: winfried@mathi.uni-heidelberg.de
More information