Analogue of a theorem of Khintchine in fields of formal power series

1966 ◽  
Vol 62 (4) ◽  
pp. 637-642 ◽  
Author(s):  
T. W. Cusick

For a real number λ, ‖λ‖ is the absolute value of the difference between λ and the nearest integer. Let X represent the m-tuple (x1, x2, … xm) and letbe any n linear forms in m variables, where the Θij are real numbers. The following is a classical result of Khintchine (1):For all pairs of positive integers m, n there is a positive constant Г(m, n) with the property that for any forms Lj(X) there exist real numbers α1, α2, …, αn such thatfor all integers x1, x2, …, xm not all zero.

Author(s):  
Madhu Raka

Let Qn be a real indefinite quadratic form in n variables x1, x2,…, xn, of determinant D ≠ 0 and of type (r, s), 0 < r < n, n = r + s. Let σ denote the signature of Qn so that σ = r − s. It is known (see e.g. Blaney(4)) that, given any real numbers c1 c2, …, cn, there exists a constant C depending upon n and σ only such that the inequalityhas a solution in integers x1, x2, …, xn. Let Cr, s denote the infimum of all such constants. Clearly Cr, s = Cs, r, so we need consider non-negative signatures only. For n = 2, C1, 1 = ¼ follows from a classical result of Minkowski on the product of two linear forms. When n = 3, Davenport (5) proved that C2, 1 = 27/100. For all n and σ = 0, Birch (3) proved that Cr, r = ¼. In 1962, Watson(18) determined the values of Cr, s for all n ≥ 21 and for all signatures σ. He proved thatWatson also conjectured that (1·2) holds for all n ≥ 4. Dumir(6) proved Watson's conjecture for n = 4. For n = 5, it was proved by Hans-Gill and Madhu Raka(7, 8). The author (12) has proved the conjecture for σ = 1 and all n. In the preceding paper (13) we proved that C5, 1 = 1. In this paper we prove Watson's conjecture for σ = 2, 3 and 4.


Author(s):  
J. W. S. Cassels

Let θ > 0 and α ≠ 0 be real numbers, and let θ be irrational. Khintchine has shown, by the use of continued fractions, that there is an infinite number of pairs of positive integers (p, q) which satisfy the inequalityfor any given K > 5−½; and, more recently, Jogin has shown the same is still true with K = 5−½. The condition that p and q shall be positive is, of course, essential, as otherwise there is the classical result K = ¼ due to Minkowski.


1968 ◽  
Vol 9 (2) ◽  
pp. 146-151 ◽  
Author(s):  
F. J. Rayner

Letkbe any algebraically closed field, and denote byk((t)) the field of formal power series in one indeterminatetoverk. Letso thatKis the field of Puiseux expansions with coefficients ink(each element ofKis a formal power series intl/rfor some positive integerr). It is well-known thatKis algebraically closed if and only ifkis of characteristic zero [1, p. 61]. For examples relating to ramified extensions of fields with valuation [9, §6] it is useful to have a field analogous toKwhich is algebraically closed whenkhas non-zero characteristicp. In this paper, I prove that the setLof all formal power series of the form Σaitei(where (ei) is well-ordered,ei=mi|nprt,n∈ Ζ,mi∈ Ζ,ai∈k,ri∈ Ν) forms an algebraically closed field.


1990 ◽  
Vol 33 (3) ◽  
pp. 483-490 ◽  
Author(s):  
I. O. York

In this paper, for R a commutative ring, with identity, of characteristic p, we look at the group G(R) of formal power series with coefficients in R, of the formand the group operation being substitution. The results obtained give the exponent of the quotient groups Gn(R) of this group, n∈ℕ.


1982 ◽  
Vol 34 (3) ◽  
pp. 741-758 ◽  
Author(s):  
W. T. Tutte

Early in the Seventies I sought the number of rooted λ-coloured triangulations of the sphere with 2p faces. In these triangulations double joins, but not loops, were permitted. The investigation soon took the form of a discussion of a certain formal power series l(y, z, λ) in two independent variables y and z.The basic theory of l is set out in [1]. There l is defined as the coefficient of x2 in a more complicated power series g(x, y, z, λ). But the definition is equivalent to the following formula.1Here T denotes a general rooted triangulation. n(T) is the valency of its root-vertex, and 2p(T) is the number of its faces. P(T, λ) is the chromatic polynomial of the graph of T.


1947 ◽  
Vol 43 (2) ◽  
pp. 137-152 ◽  
Author(s):  
H. Davenport

Let ξ, η, ζ be linear forms in u, v, w with real coefficients and determinant Δ ≠ 0. A conjecture of Minkowski, which was subsequently proved by Remak, tells us that for any real numbers a, b, c there exist integral values of u, v, w for whichand the constant ⅛ on the right is best possible.


1982 ◽  
Vol 25 (2) ◽  
pp. 183-207 ◽  
Author(s):  
W. Balser

Let a meromorphic differential equationbe given, where r is an integer, and the series converges for |z| sufficiently large. Then it is well known that (0.1) is formally satisfied by an expressionwhere F( z) is a formal power series in z–1 times an integer power of z, and F( z) has an inverse of the same kind, L is a constant matrix, andis a diagonal matrix of polynomials qj( z) in a root of z, 1≦ j≦ n. If, for example, all the polynomials in Q( z) are equal, then F( z) can be seen to be a convergent series (see Section 1), whereas if not, then generally the coefficients in F( z) grow so rapidly that F( z) diverges for every (finite) z.


1992 ◽  
Vol 35 (1) ◽  
pp. 121-131 ◽  
Author(s):  
Ch. G. Philos

Consider the nonautonomous delay logistic difference equationwhere (pn)n≧0 is a sequence of nonnegative numbers, (ln)n≧0 is a sequence of positive integers with limn→∞(n−ln) = ∞ and K is a positive constant. Only solutions which are positive for n≧0 are considered. We established a sharp condition under which all solutions of (E0) are oscillatory about the equilibrium point K. Also we obtained sufficient conditions for the existence of a solution of (E0) which is nonoscillatory about K.


1968 ◽  
Vol 8 (1) ◽  
pp. 109-113 ◽  
Author(s):  
A. Ran

Let Ω be the group of the functions ƒ(z) of the complex variable z, analytic in some neighborhood of z = 0, with ƒ(0) = 0, ƒ′(0) = 1, where the group operation is the composition g[f(z)](g(z), f(z) ∈ Ω). For every function f(z) ∈ Ω there exists [4] a unique formal power series where the coefficients ƒq(s) are polynomials of the complex parameter s, with ƒ1(s) = 1, such that and, for any two complex numbers s and t, the formal law of composition is valid.


Author(s):  
Gavin Brown ◽  
William Moran

A typical Riesz product on the circle is the weak* limitwhere – 1 ≤ rk ≤ 1, øk ∈ R, λT is Haar measure, and the positive integers nk satisfy nk+1/nk ≥ 3. A classical result of Zygmund (11) implies that either µ is absolutely continuous with respect to λT (when ) or µ is purely singular (when ).


Sign in / Sign up

Export Citation Format

Share Document