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 rate of convergence of the sum of the sample extremes

Summary Let X ₁, X ₂,..., X _n be independent random variables having a common distribution in the domain of normal attraction of a completely asymmetric stable law with characteristic exponent }(0,1) and support bounded below. Let X _n:n X _n:n ^-1...X _n:1 denote the ordered sample. We obtain the rate of convergence of n ^-1/ (X _n:n +...+X _{n:n-k n+1} ) to the stable limit law as both n and k _n ». As a consequence we obtain a representation of the sum X _n:n +...+X _{n:n-k n+1} .     

On the approximation of positive operators and the behaviour of the spectra of the approximants

LetT be a positive linear operator on the Banach latticeE and let (S _n ) be a sequence of bounded linear operators onE which converge strongly toT. Our main results are concerned with the question under which additional assumptions onS _n andT the peripheral spectra (S _n ) ofS _n converge to the peripheral spectrum (T) ofT. We are able to treat even the more general case of discretely convergent sequences of operators.     

Estimation of the measure of the image of the ball

Under study is the class of ring Q-homeomorphisms with respect to the p-module. We establish a criterion for a function to belong to the class and solve a problem that stems from M. A. Lavrentiev [1] on the estimation of the measure of the image of the ball under these mappings. We also address the asymptotic behavior of these mappings at a point.     

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 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 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.     

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 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 boundary of the attainable set of the dirichlet spectrum

Denoting by ${\varepsilon\subseteq\mathbb{R}^2}$ the set of the pairs ${(\lambda_1(\Omega),\,\lambda_2(\Omega))}$ for all the open sets ${\Omega\subseteq\mathbb{R}^N}$ with unit measure, and by ${\Theta\subseteq\mathbb{R}^N}$ the union of two disjoint balls of half measure, we give an elementary proof of the fact that ${\partial\varepsilon}$ has horizontal tangent at its lowest point ${(\lambda_1(\Theta),\,\lambda_2(\Theta))}$ .     

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 Completeness of Products of Harmonic Functions and the Uniqueness of the Solution of the Inverse Acoustic Sounding Problem

It is proved that the family of all pairwise products of regular harmonic functions on D and of the Newtonian potentials of points on the line L ? Rⁿ is complete in L₂(D), where D is a bounded domain in Rⁿ, n ≥ 3, such that \(\bar D\) ∩ L = ?. This result is used in the proof of uniqueness theorems for the inverse acoustic sounding problem in R³.     

On the asymptotics of the number of states for the Bose-Maslov gas

For a given sequence λ _j of positive numbers whose counting function ρ(λ) has the asymptotics ρ(λ) = c ₀ λ ^1+γ (1 + O(λ ^?? )) with γ > ?1 and ? > 0 as λ → ∞, we consider sequences {N _j } of nonnegative integers such that $\sum\limits_{j = 1}^\infty {\lambda _j N_j \leqslant E} ,$ where E > 0, and find the asymptotics as E → ∞ of the number N(E) of such sequences.     

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.     

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.     

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 3-Torsion Part of the Homology of the Chessboard Complex

Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M _m,n , which is the simplicial complex of matchings in the complete bipartite graph K _m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]_d(\sf M_m,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]_d (\sf M_m,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f _k (a, b) of degree 3k such that the dimension of [(H)\tilde]_k+a+2b-2 (\sf M_{k+a+3b-1,k+2a+3b-1}; \mathbb Z₃){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ₃{\mathbb{Z}_3}, is at most f _k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]₂ (\sf M_5,5; \mathbb Z) @ \mathbb Z₃{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M _m,n to the homology of M _m-2,n-1 and M _m-2,n-3.     

Cellular Structure on the Minimal Resolution of the Edge Ideal of the Complement of the n-Cycle

We study the minimal free resolution of the edge ideal of the complement of the n-cycle for n ≥ 4 and construct a regular cellular complex which supports this resolution.