On the rational approximation of the sum of the reciprocals of the Fermat numbers

Let $\mathcal{G}(z):=\sum_{n\geqslant0} z^{2^{n}}(1-z^{2^{n}})^{-1}$ denote the generating function of the ruler function, and $\mathcal {F}(z):=\sum_{n\geqslant} z^{2^{n}}(1+z^{2^{n}})^{-1}$ ; note that the special value $\mathcal{F}(1/2)$ is the sum of the reciprocals of the Fermat numbers $F_{n}:=2^{2^{n}}+1$ . The functions $\mathcal{F}(z)$ and $\mathcal{G}(z)$ as well as their special values have been studied by Mahler, Golomb, Schwarz, and Duverney; it is known that the numbers $\mathcal {F}(\alpha)$ and $\mathcal{G}(\alpha)$ are transcendental for all algebraic numbers α which satisfy 0<α<1. For a sequence u, denote the Hankel matrix $H_{n}^{p}(\mathbf {u}):=(u({p+i+j-2}))_{1\leqslant i,j\leqslant n}$ . Let α be a real number. The irrationality exponent μ(α) is defined as the supremum of the set of real numbers μ such that the inequality |α?p/q|<q ^?μ has infinitely many solutions (p,q)∈?×?. In this paper, we first prove that the determinants of $H_{n}^{1}(\mathbf {g})$ and $H_{n}^{1}(\mathbf{f})$ are nonzero for every n?1. We then use this result to prove that for b?2 the irrationality exponents $\mu(\mathcal{F}(1/b))$ and $\mu(\mathcal{G}(1/b))$ are equal to 2; in particular, the irrationality exponent of the sum of the reciprocals of the Fermat numbers is 2.     

On the dependence of the growth rate on the length of the defining relator

Let { } be a sequence of finitely presented groups with generating setA={a1, …, am}, and letRk be the symmetrized set of words over the alphabetA∪A−1 obtained from the defining words and their inverses by all cyclic shifts. We shall assume that the words inRk are cyclically irreducible, and their lengths tend to ∞ ask increases. In the paper, it is proved that ifRk satisfies the small cancellation conditionC'(1/6) and the number of relators increases not very rapidly with increasingk, then the growth rate ψ(Gk) tends to 2m−1 ask→∞. Translated fromMatematicheskie Zametki, Vol. 65, No. 4, pp. 611–617, April, 1999.     

On the distribution of the ratio of the largest eigenvalue to the trace of a Wishart matrix

The ratio of the largest eigenvalue divided by the trace of a p×p random Wishart matrix with n degrees of freedom and an identity covariance matrix plays an important role in various hypothesis testing problems, both in statistics and in signal processing. In this paper we derive an approximate explicit expression for the distribution of this ratio, by considering the joint limit as both p,n→∞ with p/n→c. Our analysis reveals that even though asymptotically in this limit the ratio follows a Tracy-Widom (TW) distribution, one of the leading error terms depends on the second derivative of the TW distribution, and is non-negligible for practical values of p, in particular for determining tail probabilities. We thus propose to explicitly include this term in the approximate distribution for the ratio. We illustrate empirically using simulations that adding this term to the TW distribution yields a quite accurate expression to the empirical distribution of the ratio, even for small values of p,n.     

On the Magnitude of the Sum of Bases of the Natural Numbers

We construct two bases of the natural numbers B₁ and B₂, eachof order two, such that (B₁ + B₂ (n) <n^{+c/(log n)}. For alower estimate, it is proved that if B₂ and are two bases, eachof order two, then (B₁+B₂)(n) > n. Generalisations to sumsof bases of order h > 2 are also given.     

On the minimization of the product of the powers of several integrals

This paper considers the minimization of the product of the powers ofn integrals, each of which depends on a functiony(x) and its derivative . The necessary conditions for the extremum are derived within the frame of the Mayer-Bolza formulation of the calculus of variations, and it is shown that the extremal arc is governed by a second-order differential equation involvingn undetermined multipliers related to the unknown values of the integrals. After the general solution is combined with the definitions of the multipliers and the end conditions, a system ofn+2 algebraic equations is obtained; it involvesn+2 unknowns, that is, then undetermined multipliers and two integration constants.The procedure discussed here can be employed in the study of shapes which are aerodynamically optimum at supersonic, hypersonic, and free-molecular flow velocities, that is, wings and fuselages having the maximum lift-to-drag ratio or the minimum drag. The problem of a slender body of revolution having the minimum pressure drag in Newtonian hypersonic flow is developed as an example. First, a general solution is derived for any pair of conditions imposed on the length, the thickness, the wetted area, and the volume. Then, a particular case is treated, that in which the thickness and the wetted area are given, while the length and the volume are free; the shape minimizing the pressure drag is a cone.This research, supported by the Office of Scientific Research, Office of Aerospace Research, United States Air Force, Grant No. AF-AFOSR-828-67, is a condensed version of the investigation described in Ref. 1. The author is indebted to Messrs. H. Y. Huang, J. C. Heideman, and J. N. Damoulakis for analytical and numerical assistance.     

Problem of the maximum of the product of the conformal radii of nonoverlapping domains

Let c_k, k=1,...,4, be arbitrary distinct points of . LetD be the family of all systems of simply connected domains in. By R(D_k, c_k) we denote the conformal radius of the domain D_k, relative to the point c_k. We prove that in the familyD one has the sharp inequality, (1) where a=(+i)/(–1), being the cross-ratio of the points c₁,c₂, c₃, c₄: E(–1, 1,a) is the continuum of least capacity containing the points –1,1,a. An explicit expression for capE(–1,1,a.) in terms of elliptic Jacobi functions has been obtained earlier by the author [Tr. Mat. Inst. Akad. Nauk SSSR,94, 47–65, 1968]. On the basis of the well-known properties of continua of least capacity, one shows that the largest value of the right-hand side of (1) is attained for a=± i3 and it is equal to 4^–8/3·3². One gives all the configurations for which equality prevails in the obtained estimates.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 100, pp. 131–145, 1980.     

On the Decomposition of the Riesz Operator and the Expansion of the Riesz Semigroup

For a Riesz operator T on a reflexive Banach space X with nonzero eigenvalues denote by E(λ_i; T) the eigen-projection corresponding to an eigenvalue λ_i. In this paper we will show that if the operator sequence is uniformly bounded, then the Riesz operator T can be decomposed into the sum of two operators T_p and T_r: T = T_p + T_r, where T_p is the weak limit of T_n and T_r is quasi-nilpotent. The result is used to obtain an expansion of a Riesz semigroup T(t) for t ≥ τ. As an application, we consider the solution of transport equation on a bounded convex body.     

Singular cases of the problem of the continuation of the boundary layer

One obtains conditions for the existence and uniqueness of the solution of the continuation of the boundary layer near a solid wall in the case when the pressure gradient P_x is positive and satisfies one of the inequalities p_xp_x(0).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituts im. V. A. Steklova AN SSSR, Vol. 138, pp. 86–89, 1984.The author is grateful to V. V. Pukhnachev for his assistance and also to N. V. Khusnutdinova for useful remarks.     

An estimate of the derivatives of the solutions of variational inequalities on the boundary of the domain

For the equation Au=f(x) in the domain Rⁿ, where A is a linear second-order elliptic operator, under conditions of Signorini type on the boundary of the domain , one proves the boundedness of the Hölder continuity of the first derivatives of the solution under the assumption that f L_q(), q>n. The results are applied to the investigation of the regularity of the solutions of variational inequalities in the case of quasilinear operators.Translated from Problemy Matematicheskogo Analiza, No. 10, pp. 92–105, 1986.     

On the behavior of free boundaries near the boundary of the domain

Let u be a solution to the obstacle problem in a domain Ω⊂ℝ ⁿ . In this paper, the behavior of the free boundary in a neighborhood of ϖΩ is studied. It is proved that under some conditions the free boundary touches ϖΩ at contact points. Bibliography:4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 221, 1995, pp. 5–19. Translated by T. N. Rozhkovskaya.     

On the regularity of the distribution of the maximum of one-parameter Gaussian processes

The main result in this paper states that if a one-parameter Gaussian process has C ^2k paths and satisfies a non-degeneracy condition, then the distribution of its maximum on a compact interval is of class C ^k . The methods leading to this theorem permit also to give bounds on the successive derivatives of the distribution of the maximum and to study their asymptotic behaviour as the level tends to infinity. Received: 14 May 1999 / Revised version: 18 October 1999 / Published online: 14 December 2000     

On the decomposition of the tensor algebra of the classical Lie algebras

Let $\text{g}$_n be the Lie algebra gl_n(C), let S($\text{g}$_n) be the symmetric algebra of $\text{g}$_n, and let T($\text{g}$_n) be the tensor algebra of $\text{g}$_n. In a recent paper, R. K. Gupta studied certain sequences of representations R_∞ = (R_n)^∞_{n = 1}, where R_n is a representation of $\text{g}$_n. These sequences have the property that every irreducible representation occurring in S($\text{g}$_n) is in exactly one of these sequences. Fixing f, she considers s(R_∞, f) which is the limit on n of the multiplicity of R_n in S^f($\text{g}$_n), the fth-graded piece of S($\text{g}$_n). She and R. P. Stanley independently showed that the limit s(R_∞, f) exists and is given by an amazingly elegant formula. They call s(R_∞, f) the stable multiplicity of R_n in S^f($\text{g}$_n). In this paper, an entirely different approach is used to extend the above result in several directions. Appropriately defined sequences R_∞ for all of the classical Lie algebras $\text{g}$_n are studied, and a simple formula for the stable multiplicity m(R)_∞, ψ, f, $\text{g}$_∞) of R_n in the ψ-isotypic component of T^f($\text{g}$_n), where ψ is any irreducible character of the symmetric group tS_f, is obtained. As in the work of Gupta and Stanley, the expressions for m(R)_∞, ψ, f, $\text{g}$_∞) are amazingly simple. Special cases include the stable decomposition of the tensor algebra, the symmetric algebra and the exterior algebra of $\text{g}$_n. As a byproduct of our proof, a “stable” decomposition of every isotypic component of T($\text{g}$_n) is obtained. This combinatorial decomposition is in some sense a generalization of Kostant's decomposition of S($\text{g}$_n) into direct sum of the harmonics and the ideal generated by the invariants of positive degree. To be precise, for f <n the combinatorial decomposition of T^f($\text{g}$_n) projects onto Kostant's decomposition of S^f($\text{g}$_n).     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

On the Rate of Decay of the Concentration Function of the Sum of Independent Random Variables

Let X₁, ... , X_n be i.i.d. integral valued random variables and S_n their sum. In the case when X₁ has a moderately large tail of distribution, Deshouillers, Freiman and Yudin gave a uniform upper bound for max _{k ∊ ℤ} Pr{S_n = k} (which can be expressed in term of the Lévy Doeblin concentration of S_n), under the extra condition that X₁ is not essentially supported by an arithmetic progression. The first aim of the paper is to show that this extra condition cannot be simply ruled out. Secondly, it is shown that if X₁ has a very large tail (larger than a Cauchy-type distribution), then the extra arithmetic condition is not sufficient to guarantee a uniform upper bound for the decay of the concentration of the sum S_n. Proofs are constructive and enhance the connection between additive number theory and probability theory.À Jean-Louis Nicolas, avec amitié et respect2000 Mathematics Subject Classification: Primary—60Fxx, 60Exx, 11Pxx, 11B25     

Convergence of the solutions of a nonlinear Dirichlet problem at the refinement of the boundary of the domain

This paper is devoted to the investigation of the convergence of the solutions of Dirichlet problems for quasilinear second-order elliptic equations in a sequence of domains ^s with a fine-grained boundary in the case of the concentration of the fine-grained boundary near some smooth surface. One indicates conditions under which the solutions of the investigated problems converge for s, one investigates the character of the convergence of the solutions, and one obtains a boundary problem for the limit function. It is shown that under certain conditions the solutions of the problems in the domains ^s can be replaced approximately, for large S, by the limit function which can be found without solving the sequence of problems in the domains ^s.Translated from Zapiksi Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 115, pp. 236–250, 1982.     

A comparison of the solutions of the problems of the theory of shells and the three-dimensional theory of elasticity

By comparing with the results obtained by numerical solution of a three-dimensional problem of the theory of elasticity we evaluate the different versions of the theory of elastic orthotropic cylindrical shells.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 28, 1988, pp. 96–101.     

On the boundedness of the total variation of the logarithm of a Blaschke product

We establish that, for a Blaschke product B(z) convergent in the unit disk, the condition - ∞ < \smallint ₀¹ log(1 - t)n(t,B)dt\smallint _0^1 \log (1 - t)n(t,B)dt is sufficient for the total variation of logB to be bounded on a circle of radiusr, 0 <r < 1. For products B(z) with zeros concentrated on a single ray, this condition is also necessary. Here, n(t, B) denotes the number of zeros of the functionB (z) in a disk of radiust.     

A characterization of the minimalbasis of the torus

D. König asks the interesting question in [7] whether there are facts corresponding to the theorem of Kuratowski which apply to closed orientable or non-orientable surfaces of any genus. Since then this problem has been solved only for the projective plane ([2], [3], [8]). In order to demonstrate that König’s question can be affirmed we shall first prove, that every minimal graph of the minimal basis of all graphs which cannot be embedded into the orientable surface f of genusp has orientable genusp+1 and non-orientable genusq with 1≦q≦2p+2. Then let f be the torus. We shall derive a characterization of all minimal graphs of the minimal basis with the nonorientable genusq=1 which are not embeddable into the torus. There will be two very important graphs signed withX ₈ andX ₇ later. Furthermore 19 graphsG ₁,G ₂, ...,G ₁₉ of the minimal basisM(torus, >₄) will be specified. We shall prove that five of them have non-orientable genusq=1, ten of them have non-orientable genusq=2 and four of them non-orientable genusq=3. Then we shall point out a method of determining graphs of the minimal basisM(torus, >₄) which are embeddable into the projective plane. Using the possibilities of embedding into the projective plane the results of [2] and [3] are necessary. This method will be called saturation method. Using the minimal basisM(projective plane, >₄) of [3] we shall at last develop a method of determining all graphs ofM(torus, >₄) which have non-orientable genusq≧2. Applying this method we shall succeed in characterizing all minimal graphs which are not embeddable into the torus. The importance of the saturation method will be shown by determining another graphG ₂₀≠G ₁,G ₂, ...,G ₁₉ ofM(torus, >₄).     

On the order of the error function of the square-full integers

LetL(x) denote the number of square full integers ≤x. By a square-full integer, we mean a positive integer all of whose prime factors have multiplicity at least two. It is well known that $$\left. {L(x)} \right| \sim \frac{{\zeta ({3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2})}}{{\zeta (3)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta ({2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3})}}{{\zeta (2)}}x^{{1 \mathord{\left/ {\vphantom {1 3}} \right. \kern-\nulldelimiterspace} 3}} ,$$ where ζ(s) denotes the Riemann Zeta function. Let Δ(x) denote the error function in the asymptotic formula forL(x). On the basis of the Riemann hypothesis (R.H.), it is known that \(\Delta (x) = O(x^{\tfrac{{13}}{{81}} + \varepsilon } )\) for every ε>0. In this paper, we prove the following results on the assumption of R.H.: (1) $$\frac{1}{x}\int\limits_1^x {\Delta (t)dt} = O(x^{\tfrac{1}{{12}} + \varepsilon } ),$$ (2) $$\int\limits_1^x {\frac{{\Delta (t)}}{t}\log } ^{v - 1} \left( {\frac{x}{t}} \right) = O(x^{\tfrac{1}{{12}} + \varepsilon } )$$ for any integer ν≥1. In fact, we prove some general results and deduce the above from them. On the basis of (1) and (2) above, we conjecture that \(\Delta (x) = O(x^{{1 \mathord{\left/ {\vphantom {1 {12}}} \right. \kern-0em} {12}} + \varepsilon } )\) under the assumption of R.H.