The minima of a pair of indefinite, harmonic, binary quadratic forms

Author(s):  
Kathleen Ollerenshaw

If f is a real, indefinite, binary quadratic form of discriminant d and if κ(f) is the minimum of | f | taken over all integer values of x, y, not both zero, then it is well known that and that this is a ‘best possible’ result.

Author(s):  
Daniel Berend ◽  
William Moran

AbstractAn indefinite binary quadratic form ƒ gives rise to a certain function M on the torus. The properties of M, especially those related to its maximum – the so-called inhomogeneous minimum of ƒ – are the subject of numerous papers. Here we continue this study, putting more emphasis on the general behaviour of M.


1975 ◽  
Vol 18 (1) ◽  
pp. 123-125 ◽  
Author(s):  
Kenneth S. Williams

Let B be the set of positive integers prime to d which are representable by some primitive, positive, integral binary quadratic form of discriminant d. It is the purpose of this note to show that the following asymptotic estimate for the number of integers in B less than or equal to x can be proved using only elementary arguments:(1)where c1 is the positive constant given in (17) below. (Using the deeper methods of complex analysis James [2] has proved this result with the error term ((log x)-1/2) replacing ((log log x)-1). Heupel [1] using a transcendental method as in James [2] improved this to ((log x)-1).)


2019 ◽  
Vol 16 (02) ◽  
pp. 233-240
Author(s):  
Frank Patane

In Mathematische Werke, Hecke defines the operator [Formula: see text] and describes their utility in conjunction with theta series of quadratic forms. In particular, he shows that the image of theta series associated to classes of binary quadratic forms in CL[Formula: see text] is again a theta series associated to a collection of forms in CL[Formula: see text]. We state and prove an explicit formula for the action of [Formula: see text] on a binary quadratic form of negative discriminant.


1. Many important applications of analysis to number-theory require the study of a function f (s) of a complex variable s = σ + i τ near a singular point s 0 = σ 0 + i τ 0 . The functions f (s) is frequently defined for σ > σ 0 by an infinite series, really d Dirichlet's series, the general term of which is a function of the variables of summation, e. g ., a quadratic form, raised to the power s . Thus the question of finding the number of classes of binary quadratic forms of given determinant, or the number of classes of ideals in a given field, depends upon the residue, Say R, of an appropriate f (s) at a simple pole s 0 . A deeper question then suggested is that of finding lim s → s 0 ( f (s) — R/ s-s 0 ). In particular, Kronecker's fundamental formula arises when f (s) is a homogeneous binary quadratic form in the variables of summation. Thus, let a a (≠ 0), b, c be any constants real or complex which are such that the roots ω 1 , ω 2 of the quadratic form ϕ (x, y) = ax 2 + bxy + cy 2 = a ( x - ω 1 y ) ( x - ω 2 y ) are neither real nor equal. We need only distinguish the two cases (I) I (ω 1 ) > 0, I (ω 2 ) < 0, (II) I (ω 1 ) > 0, I (ω 2 ) > 0, as the others can be included by writing — y for y .


2010 ◽  
Vol 54 (1) ◽  
pp. 25-32
Author(s):  
Jörg Brüdern ◽  
Rainer Dietmann

AbstractAmong the values of a binary quadratic form, there are many twins of fixed distance. This is shown in quantitative form. For quadratic forms of discriminant −4 or 8 a corresponding result is obtained for triplets.


2016 ◽  
Vol 12 (03) ◽  
pp. 679-690
Author(s):  
A. G. Earnest ◽  
Robert W. Fitzgerald

We investigate the relationship between the numbers of representations of certain integers by a primitive integral binary quadratic form [Formula: see text] of discriminant [Formula: see text] and the order of the class of [Formula: see text] in the form class group of discriminant [Formula: see text], in the case when this order is even. The explicit form of the solutions obtained is used to give a partial answer to a question regarding which multiples of [Formula: see text] can be parameterized in a particular way.


1. Let ƒ( x,y ) = ax 2 + bxy + cy 2 be an indefinite binary quadratic form, with real coefficients a, b, c , and discriminant d = b 2 —4 ac . A well-known theorem of Minkowski asserts that for any real numbers x 0 , y 0 there are integers x, y such that f(x + x0,y + yQ) (!) ♦Various authors (Heinhold 1938, 1939; Davenport 1946; Varnavides 1948 a ) have given results which are more precise than this. In particular, their results give, for a few special quadratic forms, the exact value of the constant, i.e. the least number by which ¼ √ d may be replaced on the right of (1). Perhaps the simplest form for which the existing results do not determine the exact value of the constant is the form x 2 — 7 y 2 with discriminant 28. Here ¼ √ d = ½ √7 and this was improved by Heinhold (1938, p. 683) to ¾. In this paper, we attack the problem by a method based on that of Davenport (1947), and find the exact value of the constant. We prove that it is always possible to satisfy


1955 ◽  
Vol 7 ◽  
pp. 337-346 ◽  
Author(s):  
R. P. Bambah ◽  
K. Rogers

1. Introduction. Several authors have proved theorems of the following type:Let x0, y0 be any real numbers. Then for certain functions f(x, y), there exist numbers x, y such that1.1 x ≡ x0, y ≡ y0 (mod 1),and1.2 .The first result of this type, but with replaced by min , was given by Barnes (3) for the case when the function is an indefinite binary quadratic form. A generalisation of this was proved by elementary geometry by K. Rogers (6).


1954 ◽  
Vol 6 ◽  
pp. 353-363 ◽  
Author(s):  
W. E. Briggs

The theorem that every properly primitive binary quadratic form is capable of representing infinitely many prime numbers was first proved completely by H. Weber (5). The purpose of this paper is to give an elementary proof of the case where the form is ax2 + 2bxy + cy2, with a > 0, (a, 2b, c) = 1, and D = b2 — ac not a square. The cases where the form is ax2 + bxy + cy2 with b odd, and the case where the form is ax2+ 2bxy + cy2 with D a square, can be settled very simply once the first case is taken care of, and this is done in a page and a half in the Weber paper.


2021 ◽  
Vol 71 (6) ◽  
pp. 1339-1360
Author(s):  
Kristýna Zemková

Abstract In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class number one. The article contains an explicit description of the correspondence. In the case of totally negative discriminants, equivalent conditions are given for a binary quadratic form to be totally positive definite.


Sign in / Sign up

Export Citation Format

Share Document