On the second part of Hilbert s 16th problem

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "On the second part of Hilbert s 16th problem"

Transcription

1 Nonlinear Analysis ( ) On the second part of Hilbert s 6th problem Elin Oxenhielm Department of Mathematics, Stockholm University, Stockholm 69, Sweden Received 3 July 23; accepted 3 October 23 Abstract Let k be an integer such that k is larger than or equal to zero, and let H be the Hilbert number. In this paper, we use the method of describing functions to prove that in the Lienard equation, the upper bound for H(2k ) is k. By applying this method to any planar polynomial vector eld, it is possible to completely solve the second part of Hilbert s 6th problem.? 23 Elsevier Ltd. All rights reserved. Keywords: Second part of Hilbert s 6th problem; Hilbert number; Lienard equation; Describing function; Limit cycle; Polynomial vector eld. Introduction In 9, Hilbert presented a list consisting of 23 mathematical problems (see []). The second part of the 6th problem appears to be one of the most persistent in that list, second only to the 8th problem, the Riemann conjecture. The second part of the 6th problem is traditionally split into three parts (see [2]). Problem. A limit cycle is an isolated closed orbit. Is it true that a planar polynomial vector eld has but a nite number of limit cycles? Problem 2. Is it true that the number of limit cycles of a planar polynomial vector eld is bounded by a constant depending on the degree of the polynomials only? Denote the degree of the planar polynomial vector eld by n. The bound on the number of limit cycles in Problem 2 is denoted by H(n), and is known as the Hilbert number. Linear vector elds have no limit cycles, hence H()=. Tel.: ; fax: address: (E. Oxenhielm). URL: X/$ - see front matter? 23 Elsevier Ltd. All rights reserved. doi:.6/j.na.23..2

2 2 E. Oxenhielm / Nonlinear Analysis ( ) Problem 3. Give an upper bound for H(n). Let k be an integer such that k. In 977, Lins et al. [3] found examples with k dierent limit cycles in the Lienard equation ẋ = y F(x); where ẏ = x; F(x)=q 2k x 2k q 2k x 2k q 2 x 2 q x: () The degree of this polynomial vector eld is denoted by 2k. The coecients q i (for integers i such that 6 i 6 2k) are real constants. Lins et al. [3] conjectured the number k as the upper bound for the number of limit cycles of the Lienard equation (). Their conjecture thus states that in the Lienard equation (), the upper bound for H(2k ) is k. In his list of mathematical problems for the next century, published in 998, Smale [4] mentioned the Lienard equation () as a simplied version of the second part of Hilbert s 6th problem (see [4]). In the present paper, we will prove the conjecture stated by Lins et al. [3] in 977, thereby solving the simplied version of the second part of Hilbert s 6th problem stated by Smale [4] in Preliminaries In this section, we will introduce the method of describing functions, which may be used to calculate limit cycles in nonlinear dynamic systems (see [4]). Consider a dynamic system ẋ = Mx h(x); where x is the m-dimensional vector of state variables, M is an m m constant matrix and h(x) is an m-dimensional vector of nonlinear functions. Assume that the state variables are dominated by a harmonic term of a specic order x = a a sin(!t); where a is the m-dimensional vector of center values, a is the m-dimensional vector of amplitudes and! is the frequency. a ; a and! are assumed to be real. a and! are nonzero. Then, approximate the vector of nonlinear functions by discarding higher harmonic terms (terms of the form cos(r!t) and sin(r!t) for integers r such that r 2) h(x) = Na sin(!t); where is an m-dimensional constant vector and N is an m m constant matrix. The components of N are called describing functions.

3 E. Oxenhielm / Nonlinear Analysis ( ) 3 The system becomes ẋ = Ma (M N)a sin(!t) and solutions for a ; a and! satisfy Ma =; (2) det(j!i M N)=; (3) where I is the m m identity matrix and j satises the equation j 2 =. 3. Result In this section, we will prove the conjecture stated by Lins et al. [3] in 977, by applying the method of describing functions to the Lienard equation (). Theorem. Let k be an integer such that k, and let H be the Hilbert number. For the Lienard equation (), we have that the upper bound for H(2k ) is k. Proof. Noticing that the state variable x of the Lienard equation () behaves approximately like a sine function in simulations (see Fig. ), we assume in order to make a good approximation of x that both state variables are dominated by a harmonic term of a specic order [ ] [ ] [ ] x a a = sin(!t) (4) y b b which gives that the Lienard equation () becomes [ ] [ ] [ ][ ] [ ][ ] ẋ f(t) q a q a = = sin(!t) ẏ g(t) b b [ ] q2k [a a sin(!t)] 2k q 2k [a a sin(!t)] 2k q 2 [a a sin(!t)] 2 : Since the nonlinear function only aects f(t), Eq. (2) gives that the constant part of g(t) may be set equal to zero at this stage, so that a =. The nonlinear function in f(t) becomes q 2k x 2k q 2k x 2k q 3 x 3 q 2 x 2 = q 2k a 2k sin 2k (!t) q 2k a 2k sin 2k (!t) q 3 a 3 sin 3 (!t) q 2 a 2 sin 2 (!t)

4 4 E. Oxenhielm / Nonlinear Analysis ( ) X vs T X vs T Y vs T Y vs T Y vs X Y vs X Fig.. Numerical integration of the Lienard equation () when F(x)=x 3 x. In the left gures, the initial conditions are x() = and y() =. In the right gures, the initial conditions are x() = and y() =. = q 2ka 2k [ cos(2!t)]k 2 k q 2k 2a 2k 2 [ cos(2!t)] k 2 k q 2a 2 [ cos(2!t)] 2 [ q 2ka 2k [ cos(2!t)] k 2 k q 2k a 2k [ cos(2!t)] k 2 k q 3a 3 ] [ cos(2!t)] sin(!t) 2

5 E. Oxenhielm / Nonlinear Analysis ( ) 5 = q2k k a 2k q 2k 2 k a 2k 2 q 2 a 2 [ q 2k k a 2k q 2k k a 2k q 3 a 3 ] sin(!t) such that each l always is larger than or equal to =2 l, for integers l such that 6 l 6 k. The Lienard equation () becomes [ ] [ ][ ] [ ] ẋ q a q2k k a 2k q 2k 2 k a 2k 2 q 2 a 2 = ẏ b ([ ] [ ]) [ ] q q2k k a 2k q 3 a 2 a sin(!t): b Letting the constant part of f(t) equal to zero according to Eq. (2) gives that b = q 2k k a 2k q 2k 2 k a 2k 2 q 2 a 2 (5) so that the coecients in front of the even powers of the polynomial F(x) only have an impact on the center value b (see also Example ). Eq. (3) gives that the solutions for a and! satisfy! = ± (6) so that the dominant harmonic order is the rst one, and q 2k k a 2k q 3 a 2 q = (7) which has at most k distinct zeros in terms of a 2. For each such zero a2, we have that ± a are solutions. The approximation of the state variables as in Eq. (4) ts the solution in terms of x. To solve for y, we notice that ẏ = x from the Lienard equation (), which gives that y = b a cos(!t) (8)! since x is as in Equation (4) and! is nonzero. Notice that b still satises Eq. (5), since we would get that same equation if we assumed that the state variables were cosine functions instead of sine functions in Eq. (4). Thus, the following are the possible cases for the state variables. A. If a and! are of the same sign, x = a sin t; y = b a cos t: B. If a and! are of dierent signs x = a sin t; y = b a cos t:

6 6 E. Oxenhielm / Nonlinear Analysis ( ) Fig. 2. Numerical integration of the Lienard equation () when F(x)=x 3 :5x 2 x and the initial condition y() is positive. For each distinct zero a 2 of Eq. (7), these two cases correspond to the same limit cycle. Simulations show that the sign of the initial condition y() determines whether the trajectory follows the solution of case A or case B (see Fig. ). We thus have that for each unique x that may be approximated as in Eq. (4), there exists a unique y as in Eq. (8). Therefore, we have that there exist at most k distinct limit cycles in the Lienard equation (). In Eq. (4), we assumed that the state variables were dominated by a harmonic term of a specic order. If this assumption is not true, it is possible to increase the accuracy of the approximation of the state variables by adding higher harmonic terms to Eq. (4). By doing this, and by going through the calculations one more time, we would if the state variables were not dominated by a harmonic term of a specic order end up with other amplitudes than in the rst calculation. It is of great importance for the result to understand that this change in amplitudes does not mean that there exist additional limit cycles in the Lienard equation () it only means that the new approximation of the state variables has a higher accuracy (see also [5]). Thereby, we have proved that the maximum number k of limit cycles that exist in the Lienard equation (), depends on the degree 2k of the polynomial F(x) only. Hence, we have proved that the upper bound for H(2k ) is k. Note that the method of describing functions may be used in a similar manner as in the proof above, to nd the upper bounds for the Hilbert number in any planar polynomial vector eld. Thus, it is possible to completely solve the second part of Hilbert s 6th problem by using this approach.

7 E. Oxenhielm / Nonlinear Analysis ( ) 7 Fig. 3. Numerical integration of the Lienard equation () when F(x)=:25x 5 2x 3 :25x and the initial condition y() is positive. The initial conditions lie just outside the small cycle, and the trajectory is attracted to it at rst. Then, at t = 55, it becomes attracted to the large cycle. Example. Let F(x)=x 3 :5x 2 x (Fig. 2). Eqs. (5) (8) give that x = ±:4 sin t; y = :5 ± :4 cos t: Example 2. Let F(x)=:25x 5 2x 3 :25x (Fig. 3). Eqs. (5) (8) give that { ± 3:23 sin t; x = ± :5 sin t; { ± 3:23 cos t; y = ± :5 cos t: Acknowledgements It is my pleasure to thank Y. Zhou, who read the rst version of the paper and made many fruitful comments. I am also grateful to M. Gripenhufvud for encouragement and many good advices.

8 8 E. Oxenhielm / Nonlinear Analysis ( ) References [] D. Hilbert, Mathematical problems, Reprinted from Bull. Amer. Math. Soc. 8 (92) in Bull. Amer. Math. Soc. 37 (2) [2] YU. Ilyashenko, Centennial history of Hilbert s 6th problem, Bull. Amer. Math. Soc. 39 (3) (22) [3] A. Lins, W. de Melo, C.C. Pugh, On Lienard s Equation, Lecture Notes in Mathematics, Vol. 597, Springer, Berlin, 977, pp [4] S. Smale, Mathematical problems for the next century, Math. Intelligencer 2 (2) (998) 7 5. [5] P.J. Holmes, New approaches to nonlinear problems in dynamics, SIAM (98)

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued). MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors Jordan canonical form (continued) Jordan canonical form A Jordan block is a square matrix of the form λ 1 0 0 0 0 λ 1 0 0 0 0 λ 0 0 J = 0

More information

Lloyd R. Welch. Let GF (q) be the nite eld with q elements. A linear code over GF (q) is cyclic if,

Lloyd R. Welch. Let GF (q) be the nite eld with q elements. A linear code over GF (q) is cyclic if, INTRODUCTION FOURIER TRANSFORMS OVER FINITE FIELDS by Lloyd R. Welch Let GF (q) be the nite eld with q elements. A linear code over GF (q) is cyclic if, whenever the letters of a codeword are cyclically

More information

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)! Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

More information

Solutions series for some non-harmonic motion equations

Solutions series for some non-harmonic motion equations Fifth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 10, 2003, pp 115 122. http://ejde.math.swt.edu or http://ejde.math.unt.edu

More information

ARTICLE IN PRESS Nonlinear Analysis ( )

ARTICLE IN PRESS Nonlinear Analysis ( ) Nonlinear Analysis ) Contents lists available at ScienceDirect Nonlinear Analysis journal homepage: www.elsevier.com/locate/na A question concerning a polynomial inequality and an answer M.A. Qazi a,,

More information

2.5 Complex Eigenvalues

2.5 Complex Eigenvalues 1 25 Complex Eigenvalues Real Canonical Form A semisimple matrix with complex conjugate eigenvalues can be diagonalized using the procedure previously described However, the eigenvectors corresponding

More information

CHAPTER 3. Fourier Series

CHAPTER 3. Fourier Series `A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 4 A COLLECTION OF HANDOUTS ON PARTIAL DIFFERENTIAL

More information

Remark on Rotation of Bilinear Vector Fields

Remark on Rotation of Bilinear Vector Fields Remark on Rotation of Bilinear Vector Fields A.M. Krasnosel skii Institute for Information Transmission Problems, Moscow, Russia E-mail: Sashaamk@iitp.ru A.V. Pokrovskii National University of Ireland

More information

15 Limit sets. Lyapunov functions

15 Limit sets. Lyapunov functions 15 Limit sets. Lyapunov functions At this point, considering the solutions to ẋ = f(x), x U R 2, (1) we were most interested in the behavior of solutions when t (sometimes, this is called asymptotic behavior

More information

Remark on Rotation of Bilinear Vector Fields

Remark on Rotation of Bilinear Vector Fields Remark on Rotation of Bilinear Vector Fields A.M. Krasnosel skii Institute for Information Transmission Problems, Moscow, Russia E-mail: amk@iitp.ru A.V. Pokrovskii Department of Applied Mathematics and

More information

4.3 Lagrange Approximation

4.3 Lagrange Approximation 206 CHAP. 4 INTERPOLATION AND POLYNOMIAL APPROXIMATION Lagrange Polynomial Approximation 4.3 Lagrange Approximation Interpolation means to estimate a missing function value by taking a weighted average

More information

Trigonometric Functions

Trigonometric Functions Trigonometric Functions MATH 10, Precalculus J. Robert Buchanan Department of Mathematics Fall 011 Objectives In this lesson we will learn to: identify a unit circle and describe its relationship to real

More information

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, 112612, UAE

ON SUPERCYCLICITY CRITERIA. Nuha H. Hamada Business Administration College Al Ain University of Science and Technology 5-th st, Abu Dhabi, 112612, UAE International Journal of Pure and Applied Mathematics Volume 101 No. 3 2015, 401-405 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu doi: http://dx.doi.org/10.12732/ijpam.v101i3.7

More information

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.

More information

48 M. Adabitabar Firozja et al. / IJIM Vol. 2, No. 1 (2010) 47-51

48 M. Adabitabar Firozja et al. / IJIM Vol. 2, No. 1 (2010) 47-51 Available online at http://ijim.srbiau.ac.ir Int. J. Industrial Mathematics Vol. 2, No. 1 (2010) 47-51 Equation of Circulation Energy in Human Body in Time Acupuncture Medicine M. Adabitabar Firozja, B.

More information

Lecture 14: Section 3.3

Lecture 14: Section 3.3 Lecture 14: Section 3.3 Shuanglin Shao October 23, 2013 Definition. Two nonzero vectors u and v in R n are said to be orthogonal (or perpendicular) if u v = 0. We will also agree that the zero vector in

More information

Data analysis in supersaturated designs

Data analysis in supersaturated designs Statistics & Probability Letters 59 (2002) 35 44 Data analysis in supersaturated designs Runze Li a;b;, Dennis K.J. Lin a;b a Department of Statistics, The Pennsylvania State University, University Park,

More information

some algebra prelim solutions

some algebra prelim solutions some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no

More information

1 + (f L = (x)) 2 dx. 1 x 2, (f (x)) 2 = x2. 1 x (f (x)) 2 = 1 x2 1 x 2 + x2. 1 x 2 = 1 L = 1 x

1 + (f L = (x)) 2 dx. 1 x 2, (f (x)) 2 = x2. 1 x (f (x)) 2 = 1 x2 1 x 2 + x2. 1 x 2 = 1 L = 1 x SO YOU WANT TO KNOW THE CIRCUMFERENCE OF AN ELLIPSE? CHRIS RACKAUCKAS The circumference of an ellipse is a surprising problem due to the complexity that it has. Although the question what is the circumference

More information

Engineering Mathematics II

Engineering Mathematics II PSUT Engineering Mathematics II Fourier Series and Transforms Dr. Mohammad Sababheh 4/14/2009 11.1 Fourier Series 2 Fourier Series and Transforms Contents 11.1 Fourier Series... 3 Periodic Functions...

More information

ECON Mathematical Economics - ANSWERS FINAL EXAM. 1. (a)- The consumer's utility maximization problem is written as:

ECON Mathematical Economics - ANSWERS FINAL EXAM. 1. (a)- The consumer's utility maximization problem is written as: ECON 331 - Mathematical Economics - ANSWERS FINAL EXAM 1. a- The consumer's utility maximization problem is written as: max x,y [xy + y2 + 2x + 2y] s.t. 6x + 10y = m, x 0, y 0 - The associated Lagrangian

More information

Math 407A: Linear Optimization

Math 407A: Linear Optimization Math 407A: Linear Optimization Lecture 4: LP Standard Form 1 1 Author: James Burke, University of Washington LPs in Standard Form Minimization maximization Linear equations to linear inequalities Lower

More information

Comm. Korean Math. Soc. 13 (1998), No. 4, pp. 913{931 INVARIANT CUBATURE FORMULAS OVER A UNIT CUBE Kyoung Joong Kim and Man Suk Song Abstract. Using invariant theory, new invariant cubature formulas over

More information

MATH 304 Linear Algebra Lecture 16: Basis and dimension.

MATH 304 Linear Algebra Lecture 16: Basis and dimension. MATH 304 Linear Algebra Lecture 16: Basis and dimension. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis. Equivalently, a subset S V is a basis for

More information

Math Common Core Sampler Test

Math Common Core Sampler Test High School Algebra Core Curriculum Math Test Math Common Core Sampler Test Our High School Algebra sampler covers the twenty most common questions that we see targeted for this level. For complete tests

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

Lecture 12 Basic Lyapunov theory

Lecture 12 Basic Lyapunov theory EE363 Winter 2008-09 Lecture 12 Basic Lyapunov theory stability positive definite functions global Lyapunov stability theorems Lasalle s theorem converse Lyapunov theorems finding Lyapunov functions 12

More information

Fourier Analysis. Nikki Truss. Abstract:

Fourier Analysis. Nikki Truss. Abstract: Fourier Analysis Nikki Truss 09369481 Abstract: The aim of this experiment was to investigate the Fourier transforms of periodic waveforms, and using harmonic analysis of Fourier transforms to gain information

More information

(a) The transpose of a lower triangular matrix is upper triangular, and the transpose of an upper triangular matrix is lower triangular.

(a) The transpose of a lower triangular matrix is upper triangular, and the transpose of an upper triangular matrix is lower triangular. Theorem.7.: (Properties of Triangular Matrices) (a) The transpose of a lower triangular matrix is upper triangular, and the transpose of an upper triangular matrix is lower triangular. (b) The product

More information

Zeros of Polynomial Functions

Zeros of Polynomial Functions Zeros of Polynomial Functions The Rational Zero Theorem If f (x) = a n x n + a n-1 x n-1 + + a 1 x + a 0 has integer coefficients and p/q (where p/q is reduced) is a rational zero, then p is a factor of

More information

A note on Dulac functions for a sum of vector fields

A note on Dulac functions for a sum of vector fields AVANZA. Vol. iii. Fm - Iit, Uacj (2013) 17 23. Isbn: 978-607-9224-52-3 A note on Dulac functions for a sum of vector fields Osuna, Osvaldo, Vargas-De-León, Cruz, Villaseñor, Gabriel Abstract In this paper

More information

Availability of a system with gamma life and exponential repair time under a perfect repair policy

Availability of a system with gamma life and exponential repair time under a perfect repair policy Statistics & Probability Letters 43 (1999) 189 196 Availability of a system with gamma life and exponential repair time under a perfect repair policy Jyotirmoy Sarkar, Gopal Chaudhuri 1 Department of Mathematical

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables

Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables Available online at www.tjnsa.com J. Nonlinear Sci. Appl. 6 (013), 74 85 Research Article Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative

More information

Solving nonlinear equations in one variable

Solving nonlinear equations in one variable Chapter Solving nonlinear equations in one variable Contents.1 Bisection method............................. 7. Fixed point iteration........................... 8.3 Newton-Raphson method........................

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

RINGS WITH A POLYNOMIAL IDENTITY

RINGS WITH A POLYNOMIAL IDENTITY RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

More information

Introduction to Logistic Regression

Introduction to Logistic Regression OpenStax-CNX module: m42090 1 Introduction to Logistic Regression Dan Calderon This work is produced by OpenStax-CNX and licensed under the Creative Commons Attribution License 3.0 Abstract Gives introduction

More information

2 Complex Functions and the Cauchy-Riemann Equations

2 Complex Functions and the Cauchy-Riemann Equations 2 Complex Functions and the Cauchy-Riemann Equations 2.1 Complex functions In one-variable calculus, we study functions f(x) of a real variable x. Likewise, in complex analysis, we study functions f(z)

More information

CHAPTER 2 FOURIER SERIES

CHAPTER 2 FOURIER SERIES CHAPTER 2 FOURIER SERIES PERIODIC FUNCTIONS A function is said to have a period T if for all x,, where T is a positive constant. The least value of T>0 is called the period of. EXAMPLES We know that =

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

α = u v. In other words, Orthogonal Projection

α = u v. In other words, Orthogonal Projection Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

More information

Continuity of the Perron Root

Continuity of the Perron Root Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

More information

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

More information

ANALYTICAL MATHEMATICS FOR APPLICATIONS 2016 LECTURE NOTES Series

ANALYTICAL MATHEMATICS FOR APPLICATIONS 2016 LECTURE NOTES Series ANALYTICAL MATHEMATICS FOR APPLICATIONS 206 LECTURE NOTES 8 ISSUED 24 APRIL 206 A series is a formal sum. Series a + a 2 + a 3 + + + where { } is a sequence of real numbers. Here formal means that we don

More information

MATHEMATICS BONUS FILES for faculty and students http://www2.onu.edu/~mcaragiu1/bonus_files.html

MATHEMATICS BONUS FILES for faculty and students http://www2.onu.edu/~mcaragiu1/bonus_files.html MATHEMATICS BONUS FILES for faculty and students http://www2onuedu/~mcaragiu1/bonus_fileshtml RECEIVED: November 1 2007 PUBLISHED: November 7 2007 Solving integrals by differentiation with respect to a

More information

can be extended into NC and RNC algorithms, respectively, that solve more

can be extended into NC and RNC algorithms, respectively, that solve more Extending NC and RNC Algorithms Nimrod Megiddo A technique is presented by which NC and RNC algorithms for some problems can be extended into NC and RNC algorithms, respectively, that solve more general

More information

Similarity and Diagonalization. Similar Matrices

Similarity and Diagonalization. Similar Matrices MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

Chapter 1 A Pri Characterization of T m e Pairs w in Proceedings NCUR V. (1991), Vol. I, pp. 362{366. Jerey F. Gold Department of Mathematics, Department of Physics University of Utah DonH.Tucker Department

More information

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction

SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS. Abdelaziz Tajmouati Mohammed El berrag. 1. Introduction italian journal of pure and applied mathematics n. 35 2015 (487 492) 487 SOME RESULTS ON HYPERCYCLICITY OF TUPLE OF OPERATORS Abdelaziz Tajmouati Mohammed El berrag Sidi Mohamed Ben Abdellah University

More information

Rational inequality. Sunil Kumar Singh. 1 Sign scheme or diagram for rational function

Rational inequality. Sunil Kumar Singh. 1 Sign scheme or diagram for rational function OpenStax-CNX module: m15464 1 Rational inequality Sunil Kumar Singh This work is produced by OpenStax-CNX and licensed under the Creative Commons Attribution License 2.0 Rational inequality is an inequality

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

x 2 x 2 cos 1 x x2, lim 1. If x > 0, multiply all three parts by x > 0, we get: x x cos 1 x x, lim lim x cos 1 lim = 5 lim sin 5x

x 2 x 2 cos 1 x x2, lim 1. If x > 0, multiply all three parts by x > 0, we get: x x cos 1 x x, lim lim x cos 1 lim = 5 lim sin 5x Homework 4 3.4,. Show that x x cos x x holds for x 0. Solution: Since cos x, multiply all three parts by x > 0, we get: x x cos x x, and since x 0 x x 0 ( x ) = 0, then by Sandwich theorem, we get: x 0

More information

Rolle s Theorem. q( x) = 1

Rolle s Theorem. q( x) = 1 Lecture 1 :The Mean Value Theorem We know that constant functions have derivative zero. Is it possible for a more complicated function to have derivative zero? In this section we will answer this question

More information

On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

More information

arxiv: v1 [math.ho] 7 Apr 2016

arxiv: v1 [math.ho] 7 Apr 2016 ON EXISTENCE OF A TRIANGLE WITH PRESCRIBED BISECTOR LENGTHS S. F. OSINKIN arxiv:1604.03794v1 [math.ho] 7 Apr 2016 Abstract. We suggest a geometric visualization of the process of constructing a triangle

More information

CHROMATIC POLYNOMIALS OF PLANE TRIANGULATIONS

CHROMATIC POLYNOMIALS OF PLANE TRIANGULATIONS 990, 2005 D. R. Woodall, School of Mathematical Sciences, University of Nottingham CHROMATIC POLYNOMIALS OF PLANE TRIANGULATIONS. Basic results. Throughout this survey, G will denote a multigraph with

More information

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity MA4001 Engineering Mathematics 1 Lecture 10 Limits and Dr. Sarah Mitchell Autumn 2014 Infinite limits If f(x) grows arbitrarily large as x a we say that f(x) has an infinite limit. Example: f(x) = 1 x

More information

On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems

On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Dynamics at the Horsetooth Volume 2, 2010. On using numerical algebraic geometry to find Lyapunov functions of polynomial dynamical systems Eric Hanson Department of Mathematics Colorado State University

More information

Robust output feedback stabilization of the angular velocity of a rigid body

Robust output feedback stabilization of the angular velocity of a rigid body Systems & Control Letters 39 (2000) 203 20 www.elsevier.com/locate/sysconle Robust output feedback stabilization of the angular velocity of a rigid body F. Mazenc, A. Astol Centre for Process Systems Engineering,

More information

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian Pasquale

More information

1 Fixed Point Iteration and Contraction Mapping Theorem

1 Fixed Point Iteration and Contraction Mapping Theorem 1 Fixed Point Iteration and Contraction Mapping Theorem Notation: For two sets A,B we write A B iff x A = x B. So A A is true. Some people use the notation instead. 1.1 Introduction Consider a function

More information

Trigonometric Functions and Equations

Trigonometric Functions and Equations Contents Trigonometric Functions and Equations Lesson 1 Reasoning with Trigonometric Functions Investigations 1 Proving Trigonometric Identities... 271 2 Sum and Difference Identities... 276 3 Extending

More information

160 CHAPTER 4. VECTOR SPACES

160 CHAPTER 4. VECTOR SPACES 160 CHAPTER 4. VECTOR SPACES 4. Rank and Nullity In this section, we look at relationships between the row space, column space, null space of a matrix and its transpose. We will derive fundamental results

More information

A simple criterion on degree sequences of graphs

A simple criterion on degree sequences of graphs Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

More information

Fourier Series Representations

Fourier Series Representations Fourier Series Representations Introduction Before we discuss the technical aspects of Fourier series representations, it might be well to discuss the broader question of why they are needed We ll begin

More information

1 Orthogonal projections and the approximation

1 Orthogonal projections and the approximation Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit

More information

A Python Project for Lagrangian Mechanics

A Python Project for Lagrangian Mechanics The 3rd International Symposium on Engineering, Energy and Environments 17-20 November 2013, Pullman King Power Hotel, Bangkok A Python Project for Lagrangian Mechanics Peter Slaets 1, Pauwel Goethals

More information

STRAND B: Number Theory. UNIT B2 Number Classification and Bases: Text * * * * * Contents. Section. B2.1 Number Classification. B2.

STRAND B: Number Theory. UNIT B2 Number Classification and Bases: Text * * * * * Contents. Section. B2.1 Number Classification. B2. STRAND B: Number Theory B2 Number Classification and Bases Text Contents * * * * * Section B2. Number Classification B2.2 Binary Numbers B2.3 Adding and Subtracting Binary Numbers B2.4 Multiplying Binary

More information

Numerical investigations on the MIRUP of the. Jan Riehme, Guntram Scheithauer and Johannes Terno

Numerical investigations on the MIRUP of the. Jan Riehme, Guntram Scheithauer and Johannes Terno Working Paper TU Dresden, August 1995 (submitted for publication) Numerical investigations on the MIRUP of the 2-stage guillotine cutting stock problem Jan Riehme, Guntram Scheithauer and Johannes Terno

More information

SECRET sharing schemes were introduced by Blakley [5]

SECRET sharing schemes were introduced by Blakley [5] 206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has

More information

Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable.

Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable. Linear Codes Linear Codes In the V[n,q] setting, an important class of codes are the linear codes, these codes are the ones whose code words form a sub-vector space of V[n,q]. If the subspace of V[n,q]

More information

MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix.

MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix. MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix. Inverse matrix Definition. Let A be an n n matrix. The inverse of A is an n n matrix, denoted

More information

Linearly Independent Sets and Linearly Dependent Sets

Linearly Independent Sets and Linearly Dependent Sets These notes closely follow the presentation of the material given in David C. Lay s textbook Linear Algebra and its Applications (3rd edition). These notes are intended primarily for in-class presentation

More information

Math 115A HW4 Solutions University of California, Los Angeles. 5 2i 6 + 4i. (5 2i)7i (6 + 4i)( 3 + i) = 35i + 14 ( 22 6i) = 36 + 41i.

Math 115A HW4 Solutions University of California, Los Angeles. 5 2i 6 + 4i. (5 2i)7i (6 + 4i)( 3 + i) = 35i + 14 ( 22 6i) = 36 + 41i. Math 5A HW4 Solutions September 5, 202 University of California, Los Angeles Problem 4..3b Calculate the determinant, 5 2i 6 + 4i 3 + i 7i Solution: The textbook s instructions give us, (5 2i)7i (6 + 4i)(

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

FACTORING SPARSE POLYNOMIALS

FACTORING SPARSE POLYNOMIALS FACTORING SPARSE POLYNOMIALS Theorem 1 (Schinzel): Let r be a positive integer, and fix non-zero integers a 0,..., a r. Let F (x 1,..., x r ) = a r x r + + a 1 x 1 + a 0. Then there exist finite sets S

More information

These axioms must hold for all vectors ū, v, and w in V and all scalars c and d.

These axioms must hold for all vectors ū, v, and w in V and all scalars c and d. DEFINITION: A vector space is a nonempty set V of objects, called vectors, on which are defined two operations, called addition and multiplication by scalars (real numbers), subject to the following axioms

More information

Review: Vector space

Review: Vector space Math 2F Linear Algebra Lecture 13 1 Basis and dimensions Slide 1 Review: Subspace of a vector space. (Sec. 4.1) Linear combinations, l.d., l.i. vectors. (Sec. 4.3) Dimension and Base of a vector space.

More information

3.7 Complex Zeros; Fundamental Theorem of Algebra

3.7 Complex Zeros; Fundamental Theorem of Algebra SECTION.7 Complex Zeros; Fundamental Theorem of Algebra 2.7 Complex Zeros; Fundamental Theorem of Algebra PREPARING FOR THIS SECTION Before getting started, review the following: Complex Numbers (Appendix,

More information

Essential spectrum of the Cariñena operator

Essential spectrum of the Cariñena operator Theoretical Mathematics & Applications, vol.2, no.3, 2012, 39-45 ISSN: 1792-9687 (print), 1792-9709 (online) Scienpress Ltd, 2012 Essential spectrum of the Cariñena operator Y. Mensah 1 and M.N. Hounkonnou

More information

Math 1B, lecture 14: Taylor s Theorem

Math 1B, lecture 14: Taylor s Theorem Math B, lecture 4: Taylor s Theorem Nathan Pflueger 7 October 20 Introduction Taylor polynomials give a convenient way to describe the local behavior of a function, by encapsulating its first several derivatives

More information

International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013

International Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013 FACTORING CRYPTOSYSTEM MODULI WHEN THE CO-FACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II Mohammedia-Casablanca,

More information

Approximation Errors in Computer Arithmetic (Chapters 3 and 4)

Approximation Errors in Computer Arithmetic (Chapters 3 and 4) Approximation Errors in Computer Arithmetic (Chapters 3 and 4) Outline: Positional notation binary representation of numbers Computer representation of integers Floating point representation IEEE standard

More information

Portfolio selection based on upper and lower exponential possibility distributions

Portfolio selection based on upper and lower exponential possibility distributions European Journal of Operational Research 114 (1999) 115±126 Theory and Methodology Portfolio selection based on upper and lower exponential possibility distributions Hideo Tanaka *, Peijun Guo Department

More information

1 Example of Time Series Analysis by SSA 1

1 Example of Time Series Analysis by SSA 1 1 Example of Time Series Analysis by SSA 1 Let us illustrate the 'Caterpillar'-SSA technique [1] by the example of time series analysis. Consider the time series FORT (monthly volumes of fortied wine sales

More information

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH 31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

More information

Real Roots of Quadratic Interval Polynomials 1

Real Roots of Quadratic Interval Polynomials 1 Int. Journal of Math. Analysis, Vol. 1, 2007, no. 21, 1041-1050 Real Roots of Quadratic Interval Polynomials 1 Ibraheem Alolyan Mathematics Department College of Science, King Saud University P.O. Box:

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem

FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS. Mateusz Nikodem Opuscula Mathematica Vol. 32 No. 4 2012 http://dx.doi.org/10.7494/opmath.2012.32.4.751 FALSE ALARMS IN FAULT-TOLERANT DOMINATING SETS IN GRAPHS Mateusz Nikodem Abstract. We develop the problem of fault-tolerant

More information

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

More information

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for Higher-Order Adjacent Derivative

More information

Integer Divisibility

Integer Divisibility V. Adamchik 1 Integer Divisibility Victor Adamchik Fall of 2005 Lecture 5 (out of seven) Plan 1. Introduction to Diophantine Equations 2. Linear Diophantine Equations 3. Positive solutions to LDE Introduction

More information

Arithmetic and Algebra of Matrices

Arithmetic and Algebra of Matrices Arithmetic and Algebra of Matrices Math 572: Algebra for Middle School Teachers The University of Montana 1 The Real Numbers 2 Classroom Connection: Systems of Linear Equations 3 Rational Numbers 4 Irrational

More information

36 CHAPTER 1. LIMITS AND CONTINUITY. Figure 1.17: At which points is f not continuous?

36 CHAPTER 1. LIMITS AND CONTINUITY. Figure 1.17: At which points is f not continuous? 36 CHAPTER 1. LIMITS AND CONTINUITY 1.3 Continuity Before Calculus became clearly de ned, continuity meant that one could draw the graph of a function without having to lift the pen and pencil. While this

More information

Polynomials Classwork

Polynomials Classwork Polynomials Classwork What Is a Polynomial Function? Numerical, Analytical and Graphical Approaches Anatomy of an n th -degree polynomial function Def.: A polynomial function of degree n in the vaiable

More information

On closed-form solutions of a resource allocation problem in parallel funding of R&D projects

On closed-form solutions of a resource allocation problem in parallel funding of R&D projects Operations Research Letters 27 (2000) 229 234 www.elsevier.com/locate/dsw On closed-form solutions of a resource allocation problem in parallel funding of R&D proects Ulku Gurler, Mustafa. C. Pnar, Mohamed

More information

4 Linear Dierential Equations

4 Linear Dierential Equations Dierential Equations (part 2): Linear Dierential Equations (by Evan Dummit, 2012, v. 1.00) Contents 4 Linear Dierential Equations 1 4.1 Terminology.................................................. 1 4.2

More information

Limits at Infinity Limits at Infinity for Polynomials Limits at Infinity for the Exponential Function Function Dominance More on Asymptotes

Limits at Infinity Limits at Infinity for Polynomials Limits at Infinity for the Exponential Function Function Dominance More on Asymptotes Lecture 5 Limits at Infinity and Asymptotes Limits at Infinity Horizontal Asymptotes Limits at Infinity for Polynomials Limit of a Reciprocal Power The End Behavior of a Polynomial Evaluating the Limit

More information