Application of a computer to the proof of a conjecture of Minkowski in the geometry of numbers

A computer-assisted proof is given of Minkowski's conjecture on the critical determinant of the region x^p+y^p<1 in the cases 1.03p 1.9745, p2.40, p2.577.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 71, pp. 163–180, 1977.     

On Sets of Planes in Projective Spaces Intersecting Mutually in One Point

Let be a projective space. In this paper we consider sets of planes of such that any two planes of intersect in exactly one point. Our investigation will lead to a classification of these sets in most cases. There are the following two main results:- If is a set of planes of a projective space intersecting mutually in one point, then the set of intersection points spans a subspace of dimension 6. There are up to isomorphism only three sets where this dimension is 6. These sets are related to the Fano plane.- If is a set of planes of PG(d,q) intersecting mutually in one point, and if q3, 3(q²+q+1), then is either contained in a Klein quadric in PG(5,q), or is a dual partial spread in PG(4,q), or all elements of pass through a common point.     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

Conditions for non-oscillation of singular linear differential equations of second order

Conditions are found in the fulfillment of which each non-trivial solution of the equation u+ (t)u+(t)u=0, where(t) L(a, b) and (t–a)(t–b)(t) L(a, b) has not more than one zero on the interval atb.Translated from Matematicheskie Zametki, Vol. 6, No. 5, pp. 633–639, November, 1969.     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

On meromorphic solutions of algebraic differential equations in angular domains

We obtain asymptotic estimates of meromorphic solutions to the differential equationP _n (z, , )=P _n–1 (z, , ,..., ^(m) ) in the angular domain P={z: arg z · }. Here P_n(z, w, w) is a polynomial in all variables, and of degree n with respect to w and w; P_n–1(z, w, w, ..., w^(m)) is a polynomial in all variables, and of degree n –1 with respect to w, w, ..., w^(m) In the particular case, when the solutions are entire functions, these estimates are more precise than the known estimates that are obtained by using the method of Wiman-Valiron, which cannot be applied to meromorphic solutions in the domain P.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 4, pp. 514–523, April, 1992.     

On measures that agree on balls

The fundamental result: if and v are two finite Borel measures, defined in the spaceL ^p[0, 1] (1p<) or in C(K) (K is a metric compactum without isolated points), then from the equalities (B)=v(B) for all balls B of radius 1 there follows that =v. In addition, in the spaces C(K) and _p (1p<) from the inequalities (B) v(B) there follows that v.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 122–128, 1989.     

Primitive Inner Illuminating Systems for Convex Bodies

A set X of boundary points of a (possibly unbounded) convex body KE ^d illuminating K from within is called primitive if no proper subset of X still illuminates K from within. We prove that for such a primitive set X of an unbounded, convex set KE ^d (distinct from a cone) one has X=2 if d=2, X6 if d=3, and that there is no upper bound for X if d4.     

Bonds for a functional on a class of functions with positive real parts

We establish sharp upper and lower bounds for the functionalJ (p)- Re{p (z)-zp'(z)/p(z), 1. where ¦z¦=r is fixed, 0 <r <1, p(z).P_n (A, B), –1 B < a 1, a certain class of regular functions in the disk with values in the right halfplane.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 5, pp. 686–689, May, 1990.     

Edges of Canonical Decompositions for 2-Bridge Knots and Links

Let L=C(a1,..., ak) be a hyperbolic 2-bridge knot or link. We give a family of arcs in S3–L which are ambient isotopic to edges of the canonical decomposition of S3–L if each aj is sufficiently large. This result supports the conjecture that the decomposition of S3–L given by Sakuma–Weeks in [12] is the canonical one.     

Tangential chow forms — rank 1 hypersurfaces in a Grassmannian

Let X ⁿ P ^N be an n-dimensional projective variety, and N–n–1kN–1. The closure in the Grassmannian G(k+1, N+1) of the set of k-planes meeting the smooth locus of X nontransversally is a tangential Chow form (TCF) of X.TCF's are generally hypersurfaces. We show that a hypersurface is a TCF iff its conormal form has rank 1, and that a TCF is a hypersurface iff some quadric in the second fundamental form of X has rank n+k+1–N.     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

Time decay for nonlinear wave equations in two space dimensions

The Cauchy Problem for the equation u_tt–u+|u|^p–1u=0 (x², t>0, >1) is studied. Smooth Cauchy data is prescribed, and no smallness condition is imposed. For >5, it is shown that the maximum amplitude of such a wave decays at the expected rate t^–1/2 as t. For 1+8<5, the maximum amplitude still decays, but at a slower rate. These results are then used to demonstrate the existence of the scattering operator when >_o, where _o is the root of the cubic equation ³-2²-7-8=0; thus _o4.15.Alfred P. Sloan Research Fellow     

Stationary Gaussian processes with a finite correlation function

If the correlation function vanishes outside the segment [–R, R], then an upper estimate (uniform with respect to all such processes) is possible for the probability of the fact that on an other segment [–r, r] the process remains between – and . Such an estimate is obtained, decreasing for 0 asexp(–f(r/R ln ²+ ) and, moreover,r/R may be either 0 or +. The proof is based on an estimate of the form P_mQ_n c_mn P_m Q_n for norms of polynomials on a circle in the complex plane.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 184, pp. 279–288, 1990.     

Errors in approximate solutions of Cauchy's problem for a first-order quasilinear equation

The proximity is investigated of the solution of Cauchy's problem for the equation u _t +((u))_x= u _xx ((u) > 0) to the solution of Cauchy's problem for the equation u_t+ ((u))_x= 0, when the solution of the latter problem has a finite number of lines of discontinuity in the strip 0 t T. It is proved that, everywhere outside a fixed neighborhood of the lines of discontinuity, we have |u–u| C, where the constant C is independent of. Similar inequalities are derived for the first derivatives of u–u.Translated from Matematicheskie Zametki, Vol. 8, No. 3, pp. 309–320, September, 1970.In conclusion we express our gratitude to L. A. Chudov for his valuable advice concerning this work.     

Probabilities of moderate deviations

Let X₁, X₂, ... be a sequence of independent, identically distributed random variables, and let. The rate of convergence of probabilities of the form andis studied for any > ₀ and some r and ₀. Moreover, necessary and sufficient conditions are given that the relations be satisfied uniformly with respect to x in the region 0 x clog n, where and c are some positive constants, and. Local limit theorems are also presented.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituts im. V. A. Steklova AN SSSR, Vol. 85, pp. 6–16, 1979.     

Donsker's Delta Function of Lévy Process

Let X={X(t):tR} be a Lévy process and a non-decreasing, right continuous, bounded function with (–)=0 (((1+u ²)/u ²)d(u) is the Lévy measure). In this paper we define the Donsker delta function (X(t)–a), t>0 and aR, as a generalized Lévy functional under the condition that (0)–(0–)>0. This leads us to define F(X(t)) for any tempered distribution F, and as an application, we derive an Itô formula for F(X(t)) when has jumps at 0 and 1.     

Symmetrization of functions in Sobolev spaces and the isoperimetric inequality

A positive measurable function f on R^d can be symmetrized to a function f^* depending only on the distance r, and with the same distribution function as f. If the distribution derivatives of f are Radon measures then we have the inequality f^*f, where f is the total mass of the gradient. This inequality is a generalisation of the classical isoperimetric inequality for sets. Furthermore, and this is important for applications, if f belongs to the Sobolev space H¹,P then f^* belongs to H¹,P and f^*_pf_p.     

Lipschitz and darbo conditions for the superposition operator in ideal spaces

Summary In this paper we give necessary and sufficient conditions for the superposition operator Fx(s)=f(s, x(s)) to satisfy a Lipschitz condition Fx₁ - Fx₂kx₁ - x₂ or a Darbo condition (FN)k(N) in ideal spaces of measurable functions, where is the Hausdorff measure of noncompactness. Moreover, we characterize a large class of spaces in which the above mentioned two conditions are equivalent.

---

Sunto In questo lavoro diamo delle condizioni necessarie e sufficienti perchè l'operatore di sovrapposizione Fx(s)=f (s, x(s)) soddisfi alla condizione di Lipschitz Fx₁–Fx₂ kx₁–x₂ o quella di Darbo (FN)k(N) in spazi ideali di funzioni misurabili, ove è la misura di non compattezza di Hausdorff. Inoltre, caratterizziamo un'ampia classe di spazi in cui le suddette due condizioni sono equivalenti.