SERIJA III
|
|
- Clifton Sims
- 5 years ago
- Views:
Transcription
1 SERIJA III I. Gaál, B. Jadrijević and L. Remete Totally real Thue inequalities over imaginary quadrati fields Aepted manusript This is a preliminary PDF of the author-produed manusript that has been peer-reviewed and aepted for publiation. It has not been opyedited, proofread, or finalized by Glasnik Prodution staff.
2 TOTALLY REAL THUE INEQUALITIES OVER IMAGINARY QUADRATIC FIELDS István Gaál, Borka Jadrijevi and László Remete Abstrat. Let F (x, y) be an irreduible binary form of degree 3 with integer oeients and with real roots. Let M be an imaginary quadrati eld, with ring of integers Z M. Let K > 0. We desribe an eient method how to redue the resolution of the relative Thue inequalities F (x, y) K (x, y Z M ) to the resolution of absolute Thue inequalities of type F (x, y) k (x, y Z). We illustrate our method with an expliit example. 1. Introdution Let F (x, y) Z[x, y] be an irreduible binary form of degree 3 and let a Z \ {0}. There is an extensive literature of Thue equations of type F (x, y) = a in x, y Z. In 1909 A. Thue [10] proved that these equations admit only nitely many solutions. In 1967 A. Baker [1] gave eetive upper bounds for the solutions. Later on authors onstruted numerial methods to redue the bounds and to expliitly alulate the solutions, see [6] for a summary. Let M be an algebrai number eld with ring of integers Z M. Let F (x, y) Z M [x, y] be an irreduible binary form of degree n 3 and let µ Z M \ {0}. As a generalization of Thue equations onsider relative Thue equations of type F (x, y) = µ in x, y Z M. 000 Mathematis Subjet Classiation. 11D59, 11D57. Key words and phrases. relative Thue equations, Thue inequalities. 1
3 I. GAÁL, B. JADRIJEVI AND L. REMETE Using Baker's method S. V. Kotov and V. G. Sprindzuk [8] were rst to give eetive upper bounds for the solutions of relative Thue equations. Their theorem has been extended by several authors. Applying Baker's method, redution and enumeration algorithms I. Gaál and M. Pohst [7] gave an eient algorithm for solving relative Thue equations (see also [6]). Let M be an imaginary quadrati number eld. Assuming in addition that the roots of F (x, 1) are all real, in the present paper we give an eient algorithm to redue the resolution of relative Thue inequalities of the type F (x, y) K in x, y Z M to the resolution of (absolute) Thue inequalities of the type F (x, y) k in x, y Z. To nd the solutions of the above absolute Thue inequality one an use Kash [4] or Magma [] whih admit eient algorithms for solving (absolute) Thue equations F (x, y) = k for k Z with k k. For an eient method for alulating "small" solutions of Thue inequalities we refer to [9]. Our method is illustrated with an expliit example.. The main result Let F (x, y) be a binary form of degree n 3 with rational integer oeients. Assume that f(x) = F (x, 1) has leading oeient 1 and distint real roots α 1,..., α n. Let 0 < ε < 1, 0 < η < 1 and let K 1. Set A = min α i α j, B = min α j α i, i j i j i { } K C = max (1 ε) n 1 B, 1, { } { } K 1/n K 1/n C 1 = max εa, (C)1/(n ), C = max εa, C1/(n ), ( ) 1/n K D = η(1 ε) n 1, E = (1 + η)n 1 K AB (1 ε) n 1. Let m 1 be a squarefree positive integer, and set M = Q(i m). Consider the relative Thue inequality (.1) F (x, y) K in x, y Z M.
4 TOTALLY REAL THUE INEQUALITIES 3 If m 3 (mod 4), then x, y Z M an be written as x = x 1 + x 1 + i m = (x 1 + x ) + x i m, 1 + i m y = y 1 + y = (y 1 + y ) + y i m with x 1, x, y 1, y Z. If m 1, (mod 4), then x, y Z M an be written as with x 1, x, y 1, y Z. x = x 1 + x i m, y = y 1 + y i m Theorem.1. Let (x, y) Z M be a solution of (.1). Assume that (.) y > C 1 if m 3 (mod 4), (.3) Then y > C if m 1, (mod 4). (.4) x y 1 = x 1 y. I. Further, if m 3 (mod 4), then the following holds: IA1. If y 1 + y = 0, then x 1 + x = 0 and (.5) F (x, y ) n K ( m) n. IA. If y 1 + y D, then (.6) F (x 1 + x, y 1 + y ) n E. IB1. If y = 0 then x = 0 and (.7) F (x 1, y 1 ) K. IB. If y m D, then (.8) F (x, y ) n ( m) n E. II. If m 1, (mod 4), then the following holds: IIA1. If y 1 = 0 then x 1 = 0 and (.9) F (x, y ) K ( m) n.
5 4 I. GAÁL, B. JADRIJEVI AND L. REMETE IIA. If y 1 D, then (.10) F (x 1, y 1 ) E. IIB1. If y = 0 then x = 0 and (.11) F (x 1, y 1 ) K. IIB. If y D m, then (.1) F (x, y ) E ( m) n. Our result is a far reahing generalization of an idea of [5]. 3. Proof of the main result In the proof of Theorem.1 we shall use the following Lemma. Lemma 3.1. Let x, y Z, y 0. Assume that α i 0 x y d y n for some i 0 (1 i 0 n) and d > 0. If ( ) 1/n d y, ηa then F (x, y) d(1 + η) n 1 α j α i0. Proof. By our assumption, we have α j x y α j α i0 + α i 0 x y (1 + η) α j α i0 for j i 0. Therefore n α j x y = α i0 x y j=1 whih implies our assertion. n α j x y d y n (1 + η)n 1 α j α i0, Now we turn to the proof of our main result Theorem.1.
6 TOTALLY REAL THUE INEQUALITIES 5 Proof. Let (x, y) Z M be an arbitrary solution of (.1) with y 0. Let β j = x α j y, j = 1,..., n, then the inequality (.1) an be written as (3.13) β 1 β n K. Let i 0 be the index with Then β i0 K 1 n β i0 = min j β j. and together with (.) and (.3) we get β j β j β i0 β i0 α j α i0 y K 1 n (1 ε) αj α i0 y for j i 0. From the previous inequality and (3.13), we have (3.14) β i0 with By (3.14) we obtain hene whih implies = K β j y n 1 K (1 ε) n 1 α j α i0. α i 0 xy y = α i0 x y y n, α i0 y xy y n, Im(xy) y n. Note that y < 1 n and y < 1 for m 3 (mod 4) and m 1, (mod n 4), respetively, aording to (.) and (.3). Therefore Im(xy) = 1 x y 1 x 1 y m < 1 and Im(xy) = x y 1 x 1 y m < 1 for m 3 (mod 4) and m 1, (mod 4), respetively. Hene in both ases we have (.4). I. Let m 3 (mod 4). IA. The inequality (3.14) implies Re(β i0 ) y, i.e. n 1 (3.15) (x 1 + x ) α i0 (y 1 + y ) y n 1. IA1. If y 1 + y = 0, then (3.15) yields x 1 + x = 0, and the inequality (.1) has the form ( F x i m, y i ) m K whene we get (.5).
7 6 I. GAÁL, B. JADRIJEVI AND L. REMETE IA. If y 1 + y 0, then (x 1 +x ) α i0 (y 1 +y ) Sine we have assumed Lemma 3.1 implies y n 1 = y 1 + y (y 1 + y ) + y i m ( n ) 1/n, ηa F (x 1 + x, y 1 + y ) n (1 + η) n 1 n 1 α j α i0 whene we get (.6). IB. By the inequality (3.14), we have Im(β i0 ) y, i.e. n 1 (3.16) m x α i0 y y n 1. n y 1 + y n 1. IB1. If y = 0, then (3.16) implies x = 0 and the inequality (.1) has the form ( F x1, y ) 1 K whene we get (.7). IB. If y 0, then x α i0 y Sine Lemma 3.1 implies whih implies (.8). m y n 1 = m (y 1 + y ) + y i m ( n ) 1/n y (, m) n ηa n 1 F (x, y ) n ( (1 + η)n 1 α m) n j α i0 II. Let m 1, (mod 4). IIA. The inequality (3.14) implies Re(β i0 ) y, i.e. n 1 (3.17) x 1 α i0 y 1 y n 1. n ( m) n y n 1.
8 TOTALLY REAL THUE INEQUALITIES 7 IIA1. If y 1 = 0, then (3.17) yields x 1 = 0 and the inequality (.1) has the form whene we get (.9). IIA. If y 1 0, then Sine we have assumed Lemma 3.1 implies F (i mx, i my ) K, x 1 α i0 y 1 y n 1 = y 1 + i my n 1 y 1 n 1. y 1 ( ) 1/n, ηa F (x 1, y 1 ) (1 + η) n 1 α j α i0 whene we get (.10). IIB. By the inequality (3.14) we have Im(β i0 ) y, i.e. n 1 (3.18) m x α i0 y y n 1. IIB1. If y = 0, then (3.18) implies x = 0 and the inequality (.1) has the form whih is just our assertion (.11). IIB. If y 0, then Sine x α i0 y Lemma 3.1 implies F (x 1, y 1 ) K = m y n 1 y 1 + i my n 1 ( m) n y. n 1 F (x, y ) whene we get (.1). ( ) 1/n y (, m) n ηa ( (1 + η)n 1 α m) n j α i0
9 8 I. GAÁL, B. JADRIJEVI AND L. REMETE 4. How to apply Theorem.1 In this setion we give useful hints for a pratial appliation of Theorem.1. Using the same notation let us onsider again the relative Thue inequality (.1). We desribe our algorithm in the ase I (for m 3 (mod 4)) sine the ase II is ompletely similar. 1. If y C 1 then we have only nitely many possible values for y and hene for y 1, y, as well. For eah possible y and for all integers µ Z M with µ K we alulate the roots of the equation F (x, y) µ = 0 in x. For suh a root x we alulate the orresponding x 1, x. If x 1, x are integers, then x Z M and (x, y) is a solutions of (.1). Alternatively, by β i0 K 1 n we obtain x K 1 n + max α j C 1. We an simply enumerate and test the nitely many possible values of x 1, x and y 1, y.. Assume that y > C 1. (a) If y 1 + y < D, then (i) If y < D/ m, then we have only nitely many values for y 1, y, we proeed as in 1. (ii) If y D/ m, then we use IB. We solve F (x, y ) = k for all k Z with k n E/( m) n. We determine the possible values of y 1 whih satisfy y 1 + y < D. We substitute x, y 1, y into x y 1 = x 1 y to see if there exist orresponding integer x 1. (b) If y 1 + y D, then we use IA. We alulate the solutions X = x 1 + x, Y = y 1 + y of F (X, Y ) = k for all k Z with k n E. (i) If y < D/ m then there are only nitely many possible values for y. We determine y 1 from Y. Using X = x 1 +x we set x = X x 1, substitute x = X x 1, y 1, y into x y 1 = x 1 y and test if there is a orresponding x 1 in Z. (ii) If y D/ m we use IB. We solve F (x, y ) = k for k n E/( m) n. We determine x 1, y 1 from x, y and X, Y. For solving absolute Thue equations F (x, y) = k for ertain values k Z one an eiently apply Kash [4] and Magma []. We remark that an appropriate hoie of the parameters ε, η of Thereom.1 makes the resolution muh easier. It is worthy to keep C 1, C and also D small, to avoid extensive tests of small possible solutions. On the other hand, if E is small, then there are fewer Thue equations (over Z) to be solved. Of ourse we an not make all these onstants simultaneously small, therefore we need to make a ompromise, taking into onsideration also the value of K
10 TOTALLY REAL THUE INEQUALITIES 9 (whih also determines the number of Thue equations to be solved). Usually it is worthy to try several values of ε, η before we start solving (.1). Let M = Q(i 5), and let and onsider the solutions of 5. An example F (x, y) = x 4 9x 3 y 1x y + 88xy y 4 (5.19) F (x, y) 0 in x, y Z M. The polynomial F (x, y) is irreduible and the roots of F (x, 1) are approximately 3.471, ,.7581, We may set A =.978, B = Further, let ε = 0.1 and η = 0.1. We are in ase II. Calulating the onstants, Theorem.1 gives: Assume y > 7.9. Then: IIA1. If y 1 = 0, then x 1 = 0 and F (x, y ) IIA. If y , then F (x 1, y 1 ) IIB1. If y = 0, then x = 0 and F (x 1, y 1 ) 0. IIB. If y , then F (x, y ) First we onsider the values with y C = 7.9. We have x max α j C = Enumerating and testing all possible x = x 1 + i 5x and y = y 1 + i 5y satisfying these bounds we obtain the solutions (x 1, x, y 1, y ) = (0, 0, 0, 0), (1, 0, 0, 0), (, 0, 0, 0), (1, 0,, 0), (, 0, 4, 0), up to sign. If y 1 = 0 then by IIA1 we have x 1 = 0 and F (x, y ) 0.8, whene F (x, y ) = 0, x = 0, y = 0. If y = 0 then by IIB1 we have x = 0 and F (x 1, y 1 ) 0. Using Magma we solve F (x 1, y 1 ) = k for 0 k 0. We obtain the solutions (x 1, y 1 ) = (0, 0), (1, 0), (1, ), (, 0), (, 4), up to sign. These bring the above solutions (x 1, x, y 1, y ) again. From now on we assume that y 1 0 and y 0. If y and y then by IIA we have F (x 1, y 1 ) and by IIB we have F (x, y ) In addition to the above alulation we solve F (x 1, y 1 ) = k for 1 k 36 but we do not get any further solutions. Hene the solutions of F (x 1, y 1 ) are (x 1, y 1 ) = (0, 0), (1, 0), (1, ), (, 0), (, 4), up to sign. Also the solutions of F (x, y )
11 10 I. GAÁL, B. JADRIJEVI AND L. REMETE are (x 1, y 1 ) = (0, 0), (1, 0), (1, ), up to sign. Testing these possible (x 1, x, y 1, y ) we do not get any new solutions. If either y 1 < or y < then y 1 = 0 or y = 0 whih ases we have already onsidered. Hene all solutions of (5.19) are (x, y) = (0, 0), (1, 0), (, 0), (1, ), (, 4), up to sign. The alulation takes just a few seonds. Aknowledgements. Researh of the rst author is supported in part by K from the Hungarian National Foundation for Sienti Researh and by the EFOP projet. The projet is o-naned by the European Union and the European Soial Fund. Researh of the seond author is supported in part by the Croatian Siene Foundation under the projet no. 64. Researh of the third author is supported by the ÚNKP-17-3 new national exellene program of the Ministry of human apaities. Referenes [1] A. Baker, Transendental Number Theory, Cambridge, [] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system.i. The user language, J. Symboli Comput. 4(1997), [3] B. W. Char, K. O. Geddes, G. H. Gonnet, M. B. Monagan, S. M. Watt (eds.), MAPLE, Referene Manual, Watom Publiations, Waterloo, Canada, [4] M. Daberkow, C. Fieker, J. Klüners, M. Pohst, K.Roegner and K.Wildanger, KANT V4, J. Symboli Comput. 4(1997), kant/ [5] I. Gaál, Computing elements of given index in totally omplex yli sexti elds, J. Symboli Comput. 0(1995), [6] I. Gaál, Diophantine equations and power integral bases, Birkhäuser, Boston, 00. [7] I. Gaál and M. Pohst, On the resolution of relative Thue equations, Math. Comput. 71(00), [8] S. V. Kotov and V. G. Sprindzuk, An eetive analysis of the Thue-Mahler equation in relative elds (Russian), Dokl. Akad. Nauk. BSSR 17(1973), , 477. [9] A. Peth, On the resolution of Thue inequalities, J. Symboli Comput. 4(1987), [10] A. Thue, Über Annäherungswerte algebraisher Zahlen, J. Reine Angew. Math. 135(1909), István Gaál University of Debreen Mathematial Institute H400 Debreen Pf.400. Hungary gaal.istvan@unideb.hu
12 TOTALLY REAL THUE INEQUALITIES 11 Borka Jadrijevi University of Split Faulty of Siene Ružera Bo²kovi a Split Croatia borka@pmfst.hr László Remete University of Debreen Mathematial Institute H400 Debreen Pf.400. Hungary remete.laszlo@siene.unideb.hu
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationOrdered fields and the ultrafilter theorem
F U N D A M E N T A MATHEMATICAE 59 (999) Ordered fields and the ultrafilter theorem by R. B e r r (Dortmund), F. D e l o n (Paris) and J. S h m i d (Dortmund) Abstrat. We prove that on the basis of ZF
More informationBinomial Thue equations and power integral bases in pure quartic fields
arxiv:1810.00063v1 [math.nt] 27 Sep 2018 Binomial Thue equations and power integral bases in pure quartic fields István Gaál and László Remete University of Debrecen, Mathematical Institute H 4010 Debrecen
More informationSolving binomial Thue equations
arxiv:1810.01819v1 [math.nt] 27 Sep 2018 Solving binomial Thue equations István Gaál and László Remete University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary e mail: igaal@science.unideb.hu,
More informationON THE LEAST PRIMITIVE ROOT EXPRESSIBLE AS A SUM OF TWO SQUARES
#A55 INTEGERS 3 (203) ON THE LEAST PRIMITIVE ROOT EPRESSIBLE AS A SUM OF TWO SQUARES Christopher Ambrose Mathematishes Institut, Georg-August Universität Göttingen, Göttingen, Deutshland ambrose@uni-math.gwdg.de
More informationHankel Optimal Model Order Reduction 1
Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both
More informationDiscrete Bessel functions and partial difference equations
Disrete Bessel funtions and partial differene equations Antonín Slavík Charles University, Faulty of Mathematis and Physis, Sokolovská 83, 186 75 Praha 8, Czeh Republi E-mail: slavik@karlin.mff.uni.z Abstrat
More informationResearch Article Approximation of Analytic Functions by Solutions of Cauchy-Euler Equation
Funtion Spaes Volume 2016, Artile ID 7874061, 5 pages http://d.doi.org/10.1155/2016/7874061 Researh Artile Approimation of Analyti Funtions by Solutions of Cauhy-Euler Equation Soon-Mo Jung Mathematis
More informationREFINED UPPER BOUNDS FOR THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS. 1. Introduction
Version of 5/2/2003 To appear in Advanes in Applied Mathematis REFINED UPPER BOUNDS FOR THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS MATTHIAS BECK AND SHELEMYAHU ZACKS Abstrat We study the Frobenius problem:
More informationJAST 2015 M.U.C. Women s College, Burdwan ISSN a peer reviewed multidisciplinary research journal Vol.-01, Issue- 01
JAST 05 M.U.C. Women s College, Burdwan ISSN 395-353 -a peer reviewed multidisiplinary researh journal Vol.-0, Issue- 0 On Type II Fuzzy Parameterized Soft Sets Pinaki Majumdar Department of Mathematis,
More informationThe Hanging Chain. John McCuan. January 19, 2006
The Hanging Chain John MCuan January 19, 2006 1 Introdution We onsider a hain of length L attahed to two points (a, u a and (b, u b in the plane. It is assumed that the hain hangs in the plane under a
More informationRATIONALITY OF SECANT ZETA VALUES
RATIONALITY OF SECANT ZETA VALUES PIERRE CHAROLLOIS AND MATTHEW GREENBERG Abstrat We use the Arakawa-Berndt theory of generalized η-funtions to prove a onjeture of Lalìn, Rodrigue and Rogers onerning the
More informationNonreversibility of Multiple Unicast Networks
Nonreversibility of Multiple Uniast Networks Randall Dougherty and Kenneth Zeger September 27, 2005 Abstrat We prove that for any finite direted ayli network, there exists a orresponding multiple uniast
More informationHYPERSTABILITY OF THE GENERAL LINEAR FUNCTIONAL EQUATION
Bull. Korean Math. So. 52 (2015, No. 6, pp. 1827 1838 http://dx.doi.org/10.4134/bkms.2015.52.6.1827 HYPERSTABILITY OF THE GENERAL LINEAR FUNCTIONAL EQUATION Magdalena Piszzek Abstrat. We give some results
More informationarxiv: v1 [math.co] 16 May 2016
arxiv:165.4694v1 [math.co] 16 May 216 EHRHART POLYNOMIALS OF 3-DIMENSIONAL SIMPLE INTEGRAL CONVEX POLYTOPES YUSUKE SUYAMA Abstrat. We give an expliit formula on the Ehrhart polynomial of a 3- dimensional
More informationFuzzy inner product space and its properties 1
International Journal of Fuzzy Mathematis and Systems IJFMS). ISSN 48-9940 Volume 5, Number 1 015), pp. 57-69 Researh India Publiations http://www.ripubliation.om Fuzzy inner produt spae and its properties
More informationON THE GENERAL QUADRATIC FUNCTIONAL EQUATION
Bol. So. Mat. Mexiana (3) Vol. 11, 2005 ON THE GENERAL QUADRATIC FUNCTIONAL EQUATION JOHN MICHAEL RASSIAS Abstrat. In 1940 and in 1964 S. M. Ulam proposed the general problem: When is it true that by hanging
More informationHamacher Sum and Hamacher Product of Fuzzy Matrices
Intern J Fuzzy Maematial Arhive Vol 13, No, 017, 191-198 ISSN: 30 34 (P), 30 350 (online) Published on Deember 017 wwwresearhmasiorg DOI: http://dxdoiorg/10457/fmav13na9 International Journal of amaher
More informationThe Effectiveness of the Linear Hull Effect
The Effetiveness of the Linear Hull Effet S. Murphy Tehnial Report RHUL MA 009 9 6 Otober 009 Department of Mathematis Royal Holloway, University of London Egham, Surrey TW0 0EX, England http://www.rhul.a.uk/mathematis/tehreports
More informationMAC Calculus II Summer All you need to know on partial fractions and more
MC -75-Calulus II Summer 00 ll you need to know on partial frations and more What are partial frations? following forms:.... where, α are onstants. Partial frations are frations of one of the + α, ( +
More informationComputer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1
Computer Siene 786S - Statistial Methods in Natural Language Proessing and Data Analysis Page 1 Hypothesis Testing A statistial hypothesis is a statement about the nature of the distribution of a random
More informationQuasi-Monte Carlo Algorithms for unbounded, weighted integration problems
Quasi-Monte Carlo Algorithms for unbounded, weighted integration problems Jürgen Hartinger Reinhold F. Kainhofer Robert F. Tihy Department of Mathematis, Graz University of Tehnology, Steyrergasse 30,
More informationGenerating Functions For Two-Variable Polynomials Related To a Family of Fibonacci Type Polynomials and Numbers
Filomat 30:4 2016, 969 975 DOI 10.2298/FIL1604969O Published by Faulty of Sienes and Mathematis, University of Niš, Serbia Available at: http://www.pmf.ni.a.rs/filomat Generating Funtions For Two-Variable
More informationarxiv:math/ v1 [math.ca] 27 Nov 2003
arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations
More informationMODELING MATTER AT NANOSCALES. 4. Introduction to quantum treatments Eigenvectors and eigenvalues of a matrix
MODELING MATTER AT NANOSCALES 4 Introdution to quantum treatments 403 Eigenvetors and eigenvalues of a matrix Simultaneous equations in the variational method The problem of simultaneous equations in the
More informationSECOND HANKEL DETERMINANT PROBLEM FOR SOME ANALYTIC FUNCTION CLASSES WITH CONNECTED K-FIBONACCI NUMBERS
Ata Universitatis Apulensis ISSN: 15-539 http://www.uab.ro/auajournal/ No. 5/01 pp. 161-17 doi: 10.1711/j.aua.01.5.11 SECOND HANKEL DETERMINANT PROBLEM FOR SOME ANALYTIC FUNCTION CLASSES WITH CONNECTED
More informationA parametric family of quartic Thue equations
A parametric family of quartic Thue equations Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the Diophantine equation x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3 + y 4 = 1, where c
More informationThe First Integral Method for Solving a System of Nonlinear Partial Differential Equations
ISSN 179-889 (print), 179-897 (online) International Journal of Nonlinear Siene Vol.5(008) No.,pp.111-119 The First Integral Method for Solving a System of Nonlinear Partial Differential Equations Ahmed
More informationConcerning the Numbers 22p + 1, p Prime
Conerning the Numbers 22p + 1, p Prime By John Brillhart 1. Introdution. In a reent investigation [7] the problem of fatoring numbers of the form 22p + 1, p a, was enountered. Sine 22p + 1 = (2P - 2*
More informationIntegral bases and monogenity of pure fields
arxiv:1809.10084v1 [math.nt] 26 Sep 2018 Integral bases and monogenity of pure fields István Gaál, and László Remete University of Debrecen, Mathematical Institute H 4002 Debrecen Pf.400., Hungary e mail:
More informationStability of alternate dual frames
Stability of alternate dual frames Ali Akbar Arefijamaal Abstrat. The stability of frames under perturbations, whih is important in appliations, is studied by many authors. It is worthwhile to onsider
More informationOn solving norm equations in global function fields
c de Gruyter 2009 J. Math. Crypt. 3 (2009), 237 248 DOI 10.1515 / JMC.2009.014 On solving norm equations in global function fields István Gaál and Michael E. Pohst Communicated by Jaime Gutierrez Abstract.
More informationWuming Li and Fan Yang
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 33 (004), 159 164 N DIMENSIONAL MINKOWSKI SPACE AND SPACE TIME ALGEBRA Wuming Li and Fan Yang (Reeived February 003) Abstrat. By using an n Dimensional Minkowski
More informationA Functional Representation of Fuzzy Preferences
Theoretial Eonomis Letters, 017, 7, 13- http://wwwsirporg/journal/tel ISSN Online: 16-086 ISSN Print: 16-078 A Funtional Representation of Fuzzy Preferenes Susheng Wang Department of Eonomis, Hong Kong
More informationA note on a variational formulation of electrodynamics
Proeedings of the XV International Workshop on Geometry and Physis Puerto de la Cruz, Tenerife, Canary Islands, Spain September 11 16, 006 Publ. de la RSME, Vol. 11 (007), 314 31 A note on a variational
More informationOn maximal inequalities via comparison principle
Makasu Journal of Inequalities and Appliations (2015 2015:348 DOI 10.1186/s13660-015-0873-3 R E S E A R C H Open Aess On maximal inequalities via omparison priniple Cloud Makasu * * Correspondene: makasu@uw.a.za
More informationAlienation of the logarithmic and exponential functional equations
Aequat. Math. 90 (2016), 107 121 The Author(s) 2015. This artile is published with open aess at Springerlink.om 0001-9054/16/010107-15 published online July 11, 2015 DOI 10.1007/s00010-015-0362-2 Aequationes
More informationHILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES
HILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES L ERBE, A PETERSON AND S H SAKER Abstrat In this paper, we onsider the pair of seond-order dynami equations rt)x ) ) + pt)x
More informationSURFACE WAVES OF NON-RAYLEIGH TYPE
SURFACE WAVES OF NON-RAYLEIGH TYPE by SERGEY V. KUZNETSOV Institute for Problems in Mehanis Prosp. Vernadskogo, 0, Mosow, 75 Russia e-mail: sv@kuznetsov.msk.ru Abstrat. Existene of surfae waves of non-rayleigh
More informationEXACT TRAVELLING WAVE SOLUTIONS FOR THE GENERALIZED KURAMOTO-SIVASHINSKY EQUATION
Journal of Mathematial Sienes: Advanes and Appliations Volume 3, 05, Pages -3 EXACT TRAVELLING WAVE SOLUTIONS FOR THE GENERALIZED KURAMOTO-SIVASHINSKY EQUATION JIAN YANG, XIAOJUAN LU and SHENGQIANG TANG
More informationJAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY
EFFECTIVE RESULTS FOR DIOPHANTINE EQUATIONS OVER FINITELY GENERATED DOMAINS: A SURVEY JAN-HENDRIK EVERTSE AND KÁLMÁN GYŐRY Abstract. We give a survey of our recent effective results on unit equations in
More informationDept. of Computer Science. Raleigh, NC 27695, USA. May 14, Abstract. 1, u 2 q i+1 :
Anti-Leture Hall Compositions Sylvie Corteel CNRS PRiSM, UVSQ 45 Avenue des Etats-Unis 78035 Versailles, Frane syl@prism.uvsq.fr Carla D. Savage Dept. of Computer Siene N. C. State University, Box 8206
More informationA Diophantine System and a Problem on Cubic Fields
International Mathematical Forum, Vol. 6, 2011, no. 3, 141-146 A Diophantine System and a Problem on Cubic Fields Paul D. Lee Department of Mathematics and Statistics University of British Columbia Okanagan
More informationLyapunov Exponents of Second Order Linear Systems
Reent Researhes in Computational Intelligene and Information Seurity Lyapunov Exponents of Seond Order Linear Systems ADAM CZORNIK and ALEKSANDER NAWRAT Department of Automati Control Silesian Tehnial
More informationParametric Solutions of Pell s Equation
PROCEEDINGS OF THE ROMAN NUMBER THEORY ASSOCIATION Volume 1, Number 1, Marh 2016, pages 43 48 Leonardo Zapponi Parametri Solutions of Pell s Equation written by Pietro Meruri 1 Introdution An ordinary
More informationControl Theory association of mathematics and engineering
Control Theory assoiation of mathematis and engineering Wojieh Mitkowski Krzysztof Oprzedkiewiz Department of Automatis AGH Univ. of Siene & Tehnology, Craow, Poland, Abstrat In this paper a methodology
More informationarxiv:math/ v1 [math.ac] 10 Mar 2005
arxiv:math/0503187v1 [math.ac] 10 Mar 2005 STANLEY REISNER RINGS WITH LARGE MULTIPLICITIES ARE COHEN MACAULAY NAOKI TERAI AND KEN-ICHI YOSHIDA Abstrat. We prove that ertain lass of Stanley Reisner rings
More informationParallel algorithm for determining the small solutions of Thue equations
Annales Mathematicae et Informaticae 40 (2012) pp. 125 134 http://ami.ektf.hu Parallel algorithm for determining the small solutions of Thue equations Gergő Szekrényesi University of Miskolc, Department
More informationA Recursive Approach to the Kauffman Bracket
Applied Mathematis, 204, 5, 2746-2755 Published Online Otober 204 in SiRes http://wwwsirporg/journal/am http://ddoiorg/04236/am20457262 A Reursive Approah to the Kauffman Braet Abdul Rauf Nizami, Mobeen
More informationMaximum Entropy and Exponential Families
Maximum Entropy and Exponential Families April 9, 209 Abstrat The goal of this note is to derive the exponential form of probability distribution from more basi onsiderations, in partiular Entropy. It
More informationThe tanh - coth Method for Soliton and Exact Solutions of the Sawada - Kotera Equation
Volume 117 No. 13 2017, 19-27 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu ijpam.eu The tanh - oth Method for Soliton and Exat Solutions of the Sawada -
More informationUTC. Engineering 329. Proportional Controller Design. Speed System. John Beverly. Green Team. John Beverly Keith Skiles John Barker.
UTC Engineering 329 Proportional Controller Design for Speed System By John Beverly Green Team John Beverly Keith Skiles John Barker 24 Mar 2006 Introdution This experiment is intended test the variable
More informationRESEARCH ON RANDOM FOURIER WAVE-NUMBER SPECTRUM OF FLUCTUATING WIND SPEED
The Seventh Asia-Paifi Conferene on Wind Engineering, November 8-1, 9, Taipei, Taiwan RESEARCH ON RANDOM FORIER WAVE-NMBER SPECTRM OF FLCTATING WIND SPEED Qi Yan 1, Jie Li 1 Ph D. andidate, Department
More informationDetermining both sound speed and internal source in thermo- and photo-acoustic tomography
Inverse Problems Inverse Problems (05) 05005 (0pp) doi:0.088/06656//0/05005 Determining both sound speed and internal soure in thermo and photoaousti tomography Hongyu Liu,,5 and Gunther Uhlmann,4 Department
More informationON A PROCESS DERIVED FROM A FILTERED POISSON PROCESS
ON A PROCESS DERIVED FROM A FILTERED POISSON PROCESS MARIO LEFEBVRE and JEAN-LUC GUILBAULT A ontinuous-time and ontinuous-state stohasti proess, denoted by {Xt), t }, is defined from a proess known as
More informationAfter the completion of this section the student should recall
Chapter I MTH FUNDMENTLS I. Sets, Numbers, Coordinates, Funtions ugust 30, 08 3 I. SETS, NUMERS, COORDINTES, FUNCTIONS Objetives: fter the ompletion of this setion the student should reall - the definition
More informationOn the density of languages representing finite set partitions
On the density of languages representing finite set partitions Nelma Moreira Rogério Reis Tehnial Report Series: DCC-04-07 Departamento de Ciênia de Computadores Fauldade de Ciênias & Laboratório de Inteligênia
More informationarxiv:gr-qc/ v2 6 Feb 2004
Hubble Red Shift and the Anomalous Aeleration of Pioneer 0 and arxiv:gr-q/0402024v2 6 Feb 2004 Kostadin Trenčevski Faulty of Natural Sienes and Mathematis, P.O.Box 62, 000 Skopje, Maedonia Abstrat It this
More informationON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS. Ewa M. Bednarczuk
Disussiones Mathematiae Differential Inlusions, Control and Optimization 20 2000 ) 245 255 ON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS Ewa M. Bednarzuk Systems Researh Institute, PAS 01 447 Warsaw,
More informationarxiv:math/ v4 [math.ca] 29 Jul 2006
arxiv:math/0109v4 [math.ca] 9 Jul 006 Contiguous relations of hypergeometri series Raimundas Vidūnas University of Amsterdam Abstrat The 15 Gauss ontiguous relations for F 1 hypergeometri series imply
More informationPacking Plane Spanning Trees into a Point Set
Paking Plane Spanning Trees into a Point Set Ahmad Biniaz Alfredo Garía Abstrat Let P be a set of n points in the plane in general position. We show that at least n/3 plane spanning trees an be paked into
More informationBerry s phase for coherent states of Landau levels
Berry s phase for oherent states of Landau levels Wen-Long Yang 1 and Jing-Ling Chen 1, 1 Theoretial Physis Division, Chern Institute of Mathematis, Nankai University, Tianjin 300071, P.R.China Adiabati
More informationAcoustic Waves in a Duct
Aousti Waves in a Dut 1 One-Dimensional Waves The one-dimensional wave approximation is valid when the wavelength λ is muh larger than the diameter of the dut D, λ D. The aousti pressure disturbane p is
More informationA NONLILEAR CONTROLLER FOR SHIP AUTOPILOTS
Vietnam Journal of Mehanis, VAST, Vol. 4, No. (), pp. A NONLILEAR CONTROLLER FOR SHIP AUTOPILOTS Le Thanh Tung Hanoi University of Siene and Tehnology, Vietnam Abstrat. Conventional ship autopilots are
More informationSensitivity analysis for linear optimization problem with fuzzy data in the objective function
Sensitivity analysis for linear optimization problem with fuzzy data in the objetive funtion Stephan Dempe, Tatiana Starostina May 5, 2004 Abstrat Linear programming problems with fuzzy oeffiients in the
More informationOptimal Control of Air Pollution
Punjab University Journal of Mathematis (ISSN 1016-2526) Vol. 49(1)(2017) pp. 139-148 Optimal Control of Air Pollution Y. O. Aderinto and O. M. Bamigbola Mathematis Department, University of Ilorin, Ilorin,
More informationA Queueing Model for Call Blending in Call Centers
A Queueing Model for Call Blending in Call Centers Sandjai Bhulai and Ger Koole Vrije Universiteit Amsterdam Faulty of Sienes De Boelelaan 1081a 1081 HV Amsterdam The Netherlands E-mail: {sbhulai, koole}@s.vu.nl
More information1 Introdution In reent years the idea of Quantum Field Theories (QFT) endowed with Quantum Group [1] symmetries has attrated onsiderable interest and
July 1996, rev. Nov. 1996 LMU-TPW 96-17 On Bose-Fermi Statistis, Quantum Group Symmetry, and Seond Quantization 1 2 Gaetano Fiore Sektion Physik der Ludwig-Maximilians-Universitat Munhen Theoretishe Physik
More informationCoefficients of the Inverse of Strongly Starlike Functions
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Bull. Malaysian Math. S. So. (Seond Series) 6 (00) 6 7 Coeffiients of the Inverse of Strongly Starlie Funtions ROSIHAN M. ALI Shool of Mathematial
More informationAssessing the Performance of a BCI: A Task-Oriented Approach
Assessing the Performane of a BCI: A Task-Oriented Approah B. Dal Seno, L. Mainardi 2, M. Matteui Department of Eletronis and Information, IIT-Unit, Politenio di Milano, Italy 2 Department of Bioengineering,
More informationModeling of discrete/continuous optimization problems: characterization and formulation of disjunctions and their relaxations
Computers and Chemial Engineering (00) 4/448 www.elsevier.om/loate/omphemeng Modeling of disrete/ontinuous optimization problems: haraterization and formulation of disjuntions and their relaxations Aldo
More informationOn Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles
Daniel Gross, Lakshmi Iswara, L. William Kazmierzak, Kristi Luttrell, John T. Saoman, Charles Suffel On Component Order Edge Reliability and the Existene of Uniformly Most Reliable Uniyles DANIEL GROSS
More informationarxiv:physics/ v4 [physics.gen-ph] 9 Oct 2006
The simplest derivation of the Lorentz transformation J.-M. Lévy Laboratoire de Physique Nuléaire et de Hautes Energies, CNRS - IN2P3 - Universités Paris VI et Paris VII, Paris. Email: jmlevy@in2p3.fr
More informationOn a Sequence of Nonsolvable Quintic Polynomials
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 1 (009), Article 09..8 On a Sequence of Nonsolvable Quintic Polynomials Jennifer A. Johnstone and Blair K. Spearman 1 Mathematics and Statistics University
More informationExact Solution of Space-Time Fractional Coupled EW and Coupled MEW Equations Using Modified Kudryashov Method
Commun. Theor. Phys. 68 (2017) 49 56 Vol. 68 No. 1 July 1 2017 Exat Solution of Spae-Time Frational Coupled EW and Coupled MEW Equations Using Modified Kudryashov Method K. R. Raslan 1 Talaat S. EL-Danaf
More informationCOMBINED PROBE FOR MACH NUMBER, TEMPERATURE AND INCIDENCE INDICATION
4 TH INTERNATIONAL CONGRESS OF THE AERONAUTICAL SCIENCES COMBINED PROBE FOR MACH NUMBER, TEMPERATURE AND INCIDENCE INDICATION Jiri Nozika*, Josef Adame*, Daniel Hanus** *Department of Fluid Dynamis and
More informationA family of quartic Thue inequalities
A family of quartic Thue inequalities Andrej Dujella and Borka Jadrijević Abstract In this paper we prove that the only primitive solutions of the Thue inequality x 4 4cx 3 y + (6c + 2)x 2 y 2 + 4cxy 3
More informationMillennium Relativity Acceleration Composition. The Relativistic Relationship between Acceleration and Uniform Motion
Millennium Relativity Aeleration Composition he Relativisti Relationship between Aeleration and niform Motion Copyright 003 Joseph A. Rybzyk Abstrat he relativisti priniples developed throughout the six
More informationRigorous prediction of quadratic hyperchaotic attractors of the plane
Rigorous predition of quadrati hyperhaoti attrators of the plane Zeraoulia Elhadj 1, J. C. Sprott 2 1 Department of Mathematis, University of Tébéssa, 12000), Algeria. E-mail: zeraoulia@mail.univ-tebessa.dz
More informationBäcklund Transformations: Some Old and New Perspectives
Bäklund Transformations: Some Old and New Perspetives C. J. Papahristou *, A. N. Magoulas ** * Department of Physial Sienes, Helleni Naval Aademy, Piraeus 18539, Greee E-mail: papahristou@snd.edu.gr **
More informationSearching All Approximate Covers and Their Distance using Finite Automata
Searhing All Approximate Covers and Their Distane using Finite Automata Ondřej Guth, Bořivoj Melihar, and Miroslav Balík České vysoké učení tehniké v Praze, Praha, CZ, {gutho1,melihar,alikm}@fel.vut.z
More informationHOW TO FACTOR. Next you reason that if it factors, then the factorization will look something like,
HOW TO FACTOR ax bx I now want to talk a bit about how to fator ax bx where all the oeffiients a, b, and are integers. The method that most people are taught these days in high shool (assuming you go to
More information(, ) Anti Fuzzy Subgroups
International Journal of Fuzzy Mathematis and Systems. ISSN 2248-9940 Volume 3, Number (203), pp. 6-74 Researh India Publiations http://www.ripubliation.om (, ) Anti Fuzzy Subgroups P.K. Sharma Department
More informationThe Unified Geometrical Theory of Fields and Particles
Applied Mathematis, 014, 5, 347-351 Published Online February 014 (http://www.sirp.org/journal/am) http://dx.doi.org/10.436/am.014.53036 The Unified Geometrial Theory of Fields and Partiles Amagh Nduka
More informationTHEORETICAL ANALYSIS OF EMPIRICAL RELATIONSHIPS FOR PARETO- DISTRIBUTED SCIENTOMETRIC DATA Vladimir Atanassov, Ekaterina Detcheva
International Journal "Information Models and Analyses" Vol.1 / 2012 271 THEORETICAL ANALYSIS OF EMPIRICAL RELATIONSHIPS FOR PARETO- DISTRIBUTED SCIENTOMETRIC DATA Vladimir Atanassov, Ekaterina Detheva
More informationModel-based mixture discriminant analysis an experimental study
Model-based mixture disriminant analysis an experimental study Zohar Halbe and Mayer Aladjem Department of Eletrial and Computer Engineering, Ben-Gurion University of the Negev P.O.Box 653, Beer-Sheva,
More informationChapter 8 Hypothesis Testing
Leture 5 for BST 63: Statistial Theory II Kui Zhang, Spring Chapter 8 Hypothesis Testing Setion 8 Introdution Definition 8 A hypothesis is a statement about a population parameter Definition 8 The two
More informationBäcklund Transformations and Explicit Solutions of (2+1)-Dimensional Barotropic and Quasi-Geostrophic Potential Vorticity Equation
Commun. Theor. Phys. Beijing, China) 53 010) pp. 803 808 Chinese Physial Soiety and IOP Publishing Ltd Vol. 53, No. 5, May 15, 010 Bäklund Transformations and Expliit Solutions of +1)-Dimensional Barotropi
More informationc-perfect Hashing Schemes for Binary Trees, with Applications to Parallel Memories
-Perfet Hashing Shemes for Binary Trees, with Appliations to Parallel Memories (Extended Abstrat Gennaro Cordaso 1, Alberto Negro 1, Vittorio Sarano 1, and Arnold L.Rosenberg 2 1 Dipartimento di Informatia
More informationMost results in this section are stated without proof.
Leture 8 Level 4 v2 he Expliit formula. Most results in this setion are stated without proof. Reall that we have shown that ζ (s has only one pole, a simple one at s =. It has trivial zeros at the negative
More informationA two storage inventory model with variable demand and time dependent deterioration rate and with partial backlogging
Malaya Journal of Matematik, Vol. S, No., 35-40, 08 https://doi.org/0.37/mjm0s0/07 A two storage inventory model with variable demand and time dependent deterioration rate and with partial baklogging Rihi
More informationAutomodel solutions for superdiffusive transport by the Levy walks
Automodel solutions for superdiffusive transport by the Levy walks A.B. Kukushkin 1,2,3, A.A. Kulihenko 1 1 National Researh Center Kurhatov Institute, Mosow, 123182, Russian Federation 2 National Researh
More informationA Variational Definition for Limit and Derivative
Amerian Journal of Applied Mathematis 2016; 4(3): 137-141 http://www.sienepublishinggroup.om/j/ajam doi: 10.11648/j.ajam.20160403.14 ISSN: 2330-0043 (Print); ISSN: 2330-006X (Online) A Variational Definition
More informationA new initial search direction for nonlinear conjugate gradient method
International Journal of Mathematis Researh. ISSN 0976-5840 Volume 6, Number 2 (2014), pp. 183 190 International Researh Publiation House http://www.irphouse.om A new initial searh diretion for nonlinear
More informationAlgebra: Basic Operation, Law of Indices
Algera: Basi Operation, Law of Indies MD MARUFUR RAHMAN Ms Sustainale Energy Systems Beng (Hons) Mehanial Engineering Bs (Hons) Computer Siene & Engineering 05-06 Inreasingly, diffiulty in understanding
More informationNormative and descriptive approaches to multiattribute decision making
De. 009, Volume 8, No. (Serial No.78) China-USA Business Review, ISSN 57-54, USA Normative and desriptive approahes to multiattribute deision making Milan Terek (Department of Statistis, University of
More informationError Bounds for Context Reduction and Feature Omission
Error Bounds for Context Redution and Feature Omission Eugen Bek, Ralf Shlüter, Hermann Ney,2 Human Language Tehnology and Pattern Reognition, Computer Siene Department RWTH Aahen University, Ahornstr.
More informationThe law of the iterated logarithm for c k f(n k x)
The law of the iterated logarithm for k fn k x) Christoph Aistleitner Abstrat By a lassial heuristis, systems of the form osπn k x) k 1 and fn k x)) k 1, where n k ) k 1 is a rapidly growing sequene of
More informationAn Integer Solution of Fractional Programming Problem
Gen. Math. Notes, Vol. 4, No., June 0, pp. -9 ISSN 9-784; Copyright ICSRS Publiation, 0 www.i-srs.org Available free online at http://www.geman.in An Integer Solution of Frational Programming Problem S.C.
More informationarxiv:physics/ v1 [physics.class-ph] 8 Aug 2003
arxiv:physis/0308036v1 [physis.lass-ph] 8 Aug 003 On the meaning of Lorentz ovariane Lszl E. Szab Theoretial Physis Researh Group of the Hungarian Aademy of Sienes Department of History and Philosophy
More information