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 Ramsey number of the triangle and the cube

The Ramsey number r(K ₃,Q _n ) is the smallest integer N such that every red-blue colouring of the edges of the complete graph K _N contains either a red n-dimensional hypercube, or a blue triangle. Almost thirty years ago, Burr and Erd?s conjectured that r(K ₃,Q _n )=2 ⁿ⁺¹?1 for every n∈?, but the first non-trivial upper bound was obtained only recently, by Conlon, Fox, Lee and Sudakov, who proved that r(K ₃,Q _n )?7000·2 ⁿ . Here we show that r(K ₃,Q _n )=(1+o(1))2 ⁿ⁺¹ as n→∞.     

Convergence of the wave equation damped on the interior to the one damped on the boundary

In this paper, we study the convergence of the wave equation with variable internal damping term γn(x)ut to the wave equation with boundary damping γ(x)⊗δx∈∂Ωut when (γn(x)) converges to γ(x)⊗δx∈∂Ω in the sense of distributions. When the domain Ω in which these equations are defined is an interval in R, we show that, under natural hypotheses, the compact global attractor of the wave equation damped on the interior converges in X=H¹(Ω)×L²(Ω) to the one of the wave equation damped on the boundary, and that the dynamics on these attractors are equivalent. We also prove, in the higher-dimensional case, that the attractors are lower-semicontinuous in X and upper-semicontinuous in H1−ε(Ω)×H−ε(Ω).     

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 continuity of the sharp constant in the Jackson-Stechkin inequality in the space L 2

This paper deals with the continuity of the sharp constant K(T,X) with respect to the set T in the Jackson-Stechkin inequality $E(f,L) \leqslant K(T,X)\omega (f,T,X),$ , where E(f,L) is the best approximation of the function f ∈ X by elements of the subspace L ? X, and ω is a modulus of continuity, in the case where the space L ²( $\mathbb{T}^d $ , ?) is taken for X and the subspace of functions g ∈ L ²( $\mathbb{T}^d $ , ?), for L. In particular, it is proved that the sharp constant in the Jackson-Stechkin inequality is continuous in the case where L is the space of trigonometric polynomials of nth order and the modulus of continuity ω is the classical modulus of continuity of rth order.     

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 Aleksandrov-Fenchel inequality and the stability of the sphere

LetF be a closed convex hypersurface in Euclideand-space with almost constantq-th mean curvatureH _q (q=1, ...,d–1). The deviation ofF from a suitable sphere is estimated explicitely in terms of geometric quantities ofF. The proof depends on a new stability result on the Aleksandrov-Fenchel inequality, which improves a theorem of Schneider.     

On the tensor rank of the multiplication in the finite fields

First, we prove the existence of certain types of non-special divisors of degree g−1 in the algebraic function fields of genus g defined over Fq. Then, it enables us to obtain upper bounds of the tensor rank of the multiplication in any extension of quadratic finite fields Fq by using Shimura and modular curves defined over Fq. From the preceding results, we obtain upper bounds of the tensor rank of the multiplication in any extension of certain non-quadratic finite fields Fq, notably in the case of F₂. These upper bounds attain the best asymptotic upper bounds of Shparlinski-Tsfasman-Vladut [I.E. Shparlinski, M.A. Tsfasman, S.G. Vladut, Curves with many points and multiplication in finite fields, in: Lecture Notes in Math., vol. 1518, Springer-Verlag, Berlin, 1992, pp. 145-169].     

On the determination of the coefficients in the viscoelasticity equations

For the integrodifferential viscoelasticity equations, we study the problem of determining the coefficients of the equations and the kernels occurring in the integral terms of the system of equations. The density of the medium is assumed to be given. We suppose that the inhomogeneity support of the sought functions is included in some compact domain B ₀. We consider a series of inverse problems in which an impulse source is concentrated at the points y of the boundary of B ₀. The point y is the parameter of the problem. The given information about the solution is the trace of the solution to the Cauchy problem with zero initial data. This trace is given on the boundary of B ₀ for all y ∈ ?B ₀ and for a finite time interval. The main result of the article consists in obtaining uniqueness theorems for a solution to the initial inverse problem.     

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.     

On the behavior of the solution of the Burgers equation as the viscosity goes to zero

The solution of the initial boundary-value problem u_?′ ? ?D²u_? + u_?Du_? = f on (a, b) x(0, T), u_?(a, t) = u_?(b, t) = 0 and u_?(x, 0) = 0 on (a, b), is shown to converge to the solution of the limiting equation as the viscosity tends to zero. Estimates on the rate of convergence are given.     

On the space curves with the same image under the gauss maps

From an irreducible complete immersed curveX in a projective space ? other than a line, one obtains a curveX ^′ in a Graasmann manifoldG of lines in ? that is the image ofX under the Gauss map, which is defined by the embedded tangents ofX. The main result of this article clarifies in case of positive characteristic what curvesX have the sameX′: It is shown thatX is uniquely determined byX′ ifX, or equivalentlyX′, has geometric genus at least two, and that for curvesX ₁ andX ₂ withX ₁ ≠X ₂ in ?, ifX′₁ =X′₂ inG and eitherX ₁ orX ₂ is reflexive, then bothX ₁ andX ₂ are rational or supersingular elliptic; moreover, examples of smoothX ₁ andX ₂ in that case are given.     

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 summation of the Laguerre series by the Euler-Knopp method in the problem of inverting the Laplace transform

A method for inverting the Laplace transform based on expanding the original in Laguerre polynomials as $ f(t) = \sum\limits_{k = 0}^\infty {a_k L_k (bt)} $ is suggested. The representation of the Laguerre series by a linear-fractional mapping is reduced to a power series of the form $ \sum\nolimits_{k = 0}^\infty {a_k z^k } A method for inverting the Laplace transform based on expanding the original in Laguerre polynomials as is suggested. The representation of the Laguerre series by a linear-fractional mapping is reduced to a power series of the form , which is summed by the well-known Euler-Knopp method. The summation parameter is chosen in the complex plane so that the new expansion of the original corresponding to the Euler-Knopp transformation converge at a maximum rate. On the basis of geometric representations, the influence of the requirement that the Euler-Knopp transformation must be regular on the choice of the summation parameter is discussed. Numerical experiments are performed, which demonstrate the high efficiency of the method of choosing a complex parameter suggested in this paper. Original Russian Text ? M.M. Kabardov, 2008, published in Vestnik Sankt-Peterburgskogo Universiteta. Seriya 1. Matematika, Mekhanika, Astronomiya, 2008, No. 4, pp. 84–89.     

On the Gap in the Spectrum of the Translations

The spectrum of the translations in local quantum field theory will be analyzed in order to show that in a positive energy representation without vacuum vector and with lowest mass m₁ there is no gap in the spectrum which is larger than 2m₁. In particular in a zero mass representation there is no hole at all. These results are obtained with methods of analytic functions of several complex variables.     

On the relationship between the genus and the cardinality of the maximum matchings of a graph

Lower bounds on the cardinality of the maximum matchings of graphs are established in terms of a linear polynomial of p, p⁽¹⁾, p⁽²⁾ and γ whose coefficients are functions of κ, where p is the number of the vertices of a graph, p⁽ⁱ⁾ the number of the vertices of degree i (i = 1,2), γ the genus and κ the connectivity.     

On the Continuous Dependence of the Exterior Dirichlet Problem on the Boundary

We consider a sequence of exterior domains D_j,j∈ℕ₀, and assume that the boundaries ∂D_j converge to ∂D₀ with respect to the Hausdorff distance. We investigate solutions to the exterior Dirichlet problem for the Laplace equation and for the Helmholtz equation in these domains. Assuming convergence of the boundary data and D_j⊂D₀, j∈ℕ, then, by essentially using the method of Perron, we show that the solutions in the domains D_j converge to the solution in the domain D₀ with respect to the maximum norm. We prove the same result in case that the requirement D_j⊂D₀,j∈ℕ, is replaced by an equicontinuity property of all barrier functions to all boundary points. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd. Math. Meth. Appl. Sci., Vol. 20, 707–716 (1997)     

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.