On Bohr’s inequality

It is established that H. Bohr’s inequality \(\sum\nolimits_{k = 0}^\infty {\left| {{{f^{\left( k \right)} \left( 0 \right)} \mathord{\left/ {\vphantom {{f^{\left( k \right)} \left( 0 \right)} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right| \leqslant \sqrt 2 \left\| f \right\|_\infty }\) is sharp on the class H _∞.     

Laplace approximations for sums of independent random vectors

Summary LetX _i,iN, be i.i.d.B-valued random variables whereB is a real separable Banach space, and a mappingB R. Under some conditions an asymptotic evaluation of is possible, up to a factor (1+o(1)). This also leads to a limit theorem for the appropriately normalized sums under the law transformed by the density exp .     

Асимптотические фор мулы для нулей функци и типа Миттаг-Леффлера

The paper is devoted to study the asymptotic behaviour of zerosz _n of an entire function of Mittag-Leffler's type

On Kolmogorov-Type Inequalities with Integrable Highest Derivative

We obtain the new exact Kolmogorov-type inequality

The expected number of parts in a partition ofn

Forn a positive integer letp(n) denote the number of partitions ofn into positive integers and letp(n,k) denote the number of partitions ofn into exactlyk parts. Let , thenP(n) represents the total number of parts in all the partitions ofn. In this paper we obtain the following asymptotic formula for .     

Multiple rational trigonometric sums and multiple integrals

We obtain an estimate of the modulus of a complete multiple rational trigonometric sum: $$\left| {\sum {_{x_{1, \ldots ,} x_r = 1^{\exp \left( {{{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} \mathord{\left/ {\vphantom {{2\pi if\left( {x_{1, \ldots ,} x_r } \right)} q}} \right. \kern-\nulldelimiterspace} q}} \right)} }^q } } \right| \ll q^{{{r - 1} \mathord{\left/ {\vphantom {{r - 1} {n + \varepsilon }}} \right. \kern-\nulldelimiterspace} {n + \varepsilon }}} ,$$ where $$\begin{gathered} f\left( {x_{1, \ldots ,} x_r } \right) = \sum {_{0 \leqslant t_1 , \ldots ,t_r \leqslant n^a t_1 , \ldots ,t_r x_1^{t_1 } \ldots x_r^{t_r } ,} } \hfill \\ a_{0, \ldots ,0} = 0,\left( {a_{0, \ldots ,0,1} , \ldots ,a_{n, \ldots ,n,} q} \right) = 1 \hfill \\ \end{gathered} $$ , and an estimate of the modulus of a multiple trigonometric integral.     

On Polytopes that are Simple at the Edges

We study some combinatorial properties of polytopes that are simple at the edges. We give an elementary geometric proof of an analog of the hard Lefschetz theorem for the polytopes for which the distance between any two nonsimple vertices is sufficiently large. This implies that the h-vector of such polytopes satisfies the relations , where d is the dimension of the polytope, which proves a special case of Stanley's conjecture.     

On the Evaluation of the Integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$

The integral $$\int_0^{{\pi \mathord{\left/ {\vphantom {\pi 4}} \right. \kern-\nulldelimiterspace} 4}} {\ln \left( {\cos ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta \pm \sin ^{{m \mathord{\left/ {\vphantom {m n}} \right. \kern-\nulldelimiterspace} n}} \theta } \right)d\theta } $$ where m and n are relatively prime positive integers, is evaluated exactly in terms of elementary functions and the Catalan constant G.     

Comments on the Trotter product formula error-bound estimates for nonself-adjoint semigroups

LetA be a positive self-adjoint operator and letB be anm-accretive operator which isA-small with a relative bound less than one. LetH=A+B, thenH is well-defined on dom(H)=dom(A) andm-accretive. IfB is a strictlym-accretive operator obeying

Weighted monotonicity inequalities for traces on operator algebras

We study inequalities of the form $$ \tau (w(A)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} f(A)w(A)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ) \leqslant \tau (w(A)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} f(B)w(A)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} ),A \leqslant B $$ where τ is a trace on a von Neumann algebra or a C*-algebra, A and B are self-adjoint elements of the algebra in question, f and w are real-valued functions, and the “weight” function w is nonnegative.     

Limit theorems for transient diffusions on the line

Summary LetX be a diffusion in natural scale on (0,1], with 1 reflecting, and letc(x)(H _x ) andv(x)var (H _x ), whereH _x =inf{t: X _t =x}. Let _x =sup{t:X _t =x}. The main results of this paper are firstly that (i)c is slowly varying; (ii) are all equivalent: and secondly that (v) are all equivalent, and are implied by the condition . Other partial results for more general limit theorems are proved, and new results on regular variation are established.     

Strong isochronism of a center and a focus for systems with homogeneous nonlinearities

We suggest a new approach to studying the isochronism of the system

${{dx} \mathord{\left/ {\vphantom {{dx} {dt}}} \right. \kern-\nulldelimiterspace} {dt}} = - y + p_n (x,y),{{dy} \mathord{\left/ {\vphantom {{dy} {dt}}} \right. \kern-\nulldelimiterspace} {dt}} = x + q_n (x,y),$

where p _n and q _n are homogeneous polynomials of degree n. This approach is based on the normal form

${{dX} \mathord{\left/ {\vphantom {{dX} {dt}}} \right. \kern-\nulldelimiterspace} {dt}} = - Y + XS(X,Y),{{dY} \mathord{\left/ {\vphantom {{dY} {dt}}} \right. \kern-\nulldelimiterspace} {dt}} = X + YS(X,Y)$

and its analog in polar coordinates. We prove a theorem on sufficient conditions for the strong isochronism of a center and a focus for the reduced system and obtain examples of centers with strong isochronism of degrees n = 4, 5. The present paper is the first to give examples of foci with strong isochronism for the system in question.

     

Sharp Weighted Young's Inequalities and Moser–Trudinger Inequalities on Heisenberg Type Groups and Grushin Spaces

We obtain sharp weighted Moser–Trudinger inequalities for first-layer symmetric functions on groups of Heisenberg type, and for -symmetric functions on the Grushin plane. To this end, we establish weighted Young's inequalities in the form , for first-layer radial weights on a general Carnot group and functions with first-layer symmetric. The proofs use some sharp estimates for hypergeometric functions.Research supported by NSF grant DMS-0228807.     

The prime-counting function and its analytic approximations

The paper describes a systematic computational study of the prime counting function π(x) and three of its analytic approximations: the logarithmic integral \({\text{li}}{\left( x \right)}: = {\int_0^x {\frac{{dt}}{{\log \,t}}} }\), \({\text{li}}{\left( x \right)} - \frac{1}{2}{\text{li}}{\left( {{\sqrt x }} \right)}\), and \(R{\left( x \right)}: = {\sum\nolimits_{k = 1}^\infty {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} \mathord{\left/ {\vphantom {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} k}} \right. \kern-\nulldelimiterspace} k} }\), where μ is the Möbius function. The results show that π(x)x) for 2≤x≤10¹⁴, and also seem to support several conjectures on the maximal and average errors of the three approximations, most importantly \({\left| {\pi {\left( x \right)} - {\text{li}}{\left( x \right)}} \right|} < x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}}\) and \( - \frac{2}{5}x^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} < {\int_2^x {{\left( {\pi {\left( u \right)} - {\text{li}}{\left( u \right)}} \right)}du < 0} }\) for all x>2. The paper concludes with a short discussion of prospects for further computational progress.     

Comparison of Exact Constants in Inequalities for Derivatives of Functions Defined on the Real Axis and a Circle

We investigate the relationship between the constants K(R) and K(T), where is the exact constant in the Kolmogorov inequality, R is the real axis, T is a unit circle,

On Rounding Error Sums Related to the Circle Problem

For a large real parameter t and 0 a b we consider sums where is the rounding error function, i.e. (z) = z - [z] - 1/2. We generalize Huxley's well known estimate by showing that holds uniformly in 0 a b . Fruther, we investigate an analogous question related to the divisor problem and show that the inequality , which (due to Huxley) holds uniformly in 0 a b , and which is in general not true for 1 a b t, is true uniformly in 0 a b .     

Strong convergence in nonparametric estimation of regression functions

The nonparametric regression problem has the objective of estimating conditional expectation. Consider the model $$Y = R(X) + Z$$ , where the random variableZ has mean zero and is independent ofX. The regression functionR(x) is the conditional expectation ofY givenX = x. For an estimator of the form $$R_n (x) = \sum\limits_{i = 1}^n {Y_i K{{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} \mathord{\left/ {\vphantom {{\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} \right. \kern-\nulldelimiterspace} {\sum\limits_{i = 1}^n {K\left[ {{{\left( {x - X_i } \right)} \mathord{\left/ {\vphantom {{\left( {x - X_i } \right)} {c_n }}} \right. \kern-\nulldelimiterspace} {c_n }}} \right]} }}} $$ , we obtain the rate of strong uniform convergence $$\mathop {\sup }\limits_{x\varepsilon C} \left| {R_n (x) - R(x)} \right|\mathop {w \cdot p \cdot 1}\limits_ = o({{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } \mathord{\left/ {\vphantom {{n^{{1 \mathord{\left/ {\vphantom {1 {(2 + d)}}} \right. \kern-\nulldelimiterspace} {(2 + d)}}} } {\beta _n \log n}}} \right. \kern-\nulldelimiterspace} {\beta _n \log n}}),\beta _n \to \infty $$ . HereX is ad-dimensional variable andC is a suitable subset ofR ^d .     

Caratterizzazione delle tracce per spazi con peso

Sunto Si prova un teorema di tracce per spazi di funzioni, definite su R ₊ ⁿ , con norme del tipo . Entrata in Redazione il 23 luglio 1969. Lavoro eseguito nell'ambito dei gruppi di ricerca del Comitato Nazionale per la Matematica del C.N.R.     

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

LetL(x) denote the number of square-full integers not exceedingx. It is well-known that $$L\left( x \right) \sim \frac{{\zeta \left( {{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{\zeta \left( 3 \right)}}x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} + \frac{{\zeta \left( {{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} \right)}}{{\zeta \left( 2 \right)}}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 assumption of the Riemann hypothesis (R.H.), it is known that $$\Delta x = O\left( {x^{13/81 + 8} } \right)$$ for everyε > 0. In this paper, we prove on the assumption of R.H. that $$\frac{1}{x}\int\limits_x^1 {\left| {\Delta \left( t \right)} \right|dt = O\left( {x^{1/10 + ^8 } } \right)} .$$ In fact, we prove a more general result. We conjecture that $$\Delta x = O\left( {x^{1/10 + ^8 } } \right)$$ under the assumption of the R.H.