On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

On the derivatives of X-ray functions

We show that for every n \geqq 4, 0 \leqq k \leqq n - 3, p ? (0, 3] n \geqq 4, 0 \leqq k \leqq n - 3, p \in (0, 3] and every origin-symmetric convex body K in \mathbbRⁿ \mathbb{R}^n , the function ||x ||^-k₂ ||x ||^-n+k+p_K \parallel x \parallel^{-k}_{2} \parallel x \parallel^{-n+k+p}_{K} represents a positive definite distribution on \mathbbRⁿ \mathbb{R}^n , where ||·||₂ \parallel \cdot \parallel_{2} is the Euclidean norm and ||·||_K \parallel \cdot \parallel_{K} is the Minkowski functional of K. We apply this fact to prove a result of Busemann-Petty type that the inequalities for the derivatives of order (n - 4) at zero of X-ray functions of two convex bodies imply the inequalities for the volume of average m-dimensional sections of these bodies for all 3 \leqq m \leqq n 3 \leqq m \leqq n . We also prove a sharp lower estimate for the maximal derivative of X-ray functions of the order (n - 4) at zero.     

On $\frak {F}$-normal Fitting classes of finite soluble groups

Let \frak X, \frak F,\frak X\subseteqq \frak F\frak {X}, \frak {F},\frak {X}\subseteqq \frak {F}, be non-trivial Fitting classes of finite soluble groups such that G_{\frak X}G_{\frak {X}} is an \frak X\frak {X}-injector of G for all G ? \frak FG\in \frak {F}. Then \frak X\frak {X} is called \frak F\frak {F}-normal. If \frak F=\frak S_p\frak {F}=\frak {S}_{\pi }, it is known that (1) \frak X\frak {X} is \frak F\frak {F}-normal precisely when \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and consequently (2) \frak F í \frak X\frak N\frak {F}\subseteq \frak {X}\frak {N} implies \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and (3) there is a unique smallest \frak F\frak {F}-normal Fitting class. These assertions are not true in general. We show that there are Fitting classes \frak F\not = \frak S_p\frak {F}\not =\frak {S}_{\pi } filling property (1), whence the classes \frak S_p\frak {S}_{\pi } are not characterized by satisfying (1). Furthermore we prove that (2) holds true for all Fitting classes \frak F\frak {F} satisfying a certain extension property with respect to wreath products although there could be an \frak F\frak {F}-normal Fitting class outside the Lockett section of \frak F\frak {F}. Lastly, we show that for the important cases \frak F=\frak Nⁿ, n\geqq 2\frak {F}=\frak {N}^{n},\ n\geqq 2, and \frak F=\frak S_p1?\frak S_pr, p_i \frak {F}=\frak {S}_{p_{1}}\cdots \frak {S}_{p_{r}},\ p_{i} primes, there is a unique smallest \frak F\frak {F}-normal Fitting class, which we describe explicitly.     

On a question of Erdös and Graham

We prove that for any $ \varepsilon > 0 $ \varepsilon > 0 there is k (e) k (\varepsilon) such that for any prime p and any integer c there exist k \leqq k(e) k \leqq k(\varepsilon) pairwise distinct integers x_i with 1 \leqq x_i \leqq p^e, i = 1, ?, k 1 \leqq x_{i} \leqq p^{\varepsilon}, i = 1, \ldots, k , and such that¶¶?_i=1^k [1/(x_i)] o c    (mod p). \sum\limits_{i=1}^k {{1}\over{x_i}} \equiv c\quad (\mathrm{mod}\, p). ¶¶ This gives a positive answer to a question of Erdös and Graham.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Sharp bounds for the Bernoulli numbers

We determine the best possible real constants a\alpha and b\beta such that the inequalities [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^a-2n)] \leqq |B_2n| \leqq [(2(2n)!)/((2p)²ⁿ)] [1/(1-2^b-2n)]{2(2n)! \over(2\pi)^{2n}} {1 \over 1-2^{\alpha -2n}} \leqq |B_{2n}| \leqq {2(2n)! \over (2\pi )^{2n}}\, {1 \over 1-2^{\beta -2n}}hold for all integers n\geqq 1n\geqq 1. Here, B₂, B₄, B₆,... are Bernoulli numbers.     

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

Odd order groups with the rewriting property Q3

Let n be an integer greater than 1, and let G be a group. A subset {x₁, x₂, ..., x_n} of n elements of G is said to be rewritable if there are distinct permutations p \pi and s \sigma of {1, 2, ..., n} such that¶¶x_p(1)x_p(2) ?x_p(n) = x_s(1)x_s(2) ?x_s(n). x_{\pi(1)}x_{\pi(2)} \ldots x_{\pi(n)} = x_{\sigma(1)}x_{\sigma(2)} \ldots x_{\sigma(n)}. ¶¶A group is said to have the rewriting property Q_n if every subset of n elements of the group is rewritable. In this paper we prove that a finite group of odd order has the property Q₃ if and only if its derived subgroup has order not exceeding 5.     

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

Quermassintegrals of a random polytope in a convex body

Let K be a convex body in \mathbbRⁿ \mathbb{R}^n with volume |K| = 1 |K| = 1 . We choose N 3 n+1 N \geq n+1 points x₁,?, x_N x_1,\ldots, x_N independently and uniformly from K, and write C(x₁,?, x_N) C(x_1,\ldots, x_N) for their convex hull. Let f : \mathbbR⁺ ? \mathbbR⁺ f : \mathbb{R^+} \rightarrow \mathbb{R^+} be a continuous strictly increasing function and 0 ￡ i ￡ n-1 0 \leq i \leq n-1 . Then, the quantity¶¶E (K, N, f °W_i) = ò_K ?ò_K f[W_i(C(x₁, ?, x_N))]dx_N ?dx₁ E (K, N, f \circ W_{i}) = \int\limits_{K} \ldots \int\limits_{K} f[W_{i}(C(x_1, \ldots, x_N))]dx_{N} \ldots dx_1 ¶¶is minimal if K is a ball (W_i is the i-th quermassintegral of a compact convex set). If f is convex and strictly increasing and 1 ￡ i ￡ n-1 1 \leq i \leq n-1 , then the ball is the only extremal body. These two facts generalize a result of H. Groemer on moments of the volume of C(x₁,?, x_N) C(x_1,\ldots, x_N) .     

The Nevai Condition

We study Nevai’s condition that for orthogonal polynomials on the real line, $K_{n}(x,x_{0})^{2}K_{n}(x_{0},x_{0})^{-1}\,d\rho(x)\to\delta_{x_{0}}We study Nevai’s condition that for orthogonal polynomials on the real line, K_n(x,x₀)²K_n(x₀,x₀)^-1 dr(x)?d_x0K_{n}(x,x_{0})^{2}K_{n}(x_{0},x_{0})^{-1}\,d\rho(x)\to\delta_{x_{0}} , where K _n is the Christoffel–Darboux kernel. We prove that it holds for the Nevai class of a finite gap set uniformly on the spectrum, and we provide an example of a regular measure on [−2,2] where it fails on an interval.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

Integration of the lifting formulas and the cyclic homology of the algebras of differential operators

We integrate the Lifting cocycles Y_2n+1, Y_2n+3, Y_2n+5,? ([Sh1,2]) \Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,([\rm Sh1,2]) on the Lie algebra Dif_n of holomorphic differential operators on an n-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle l \lambda on an n-dimensional complex manifold M in the sense of Gelfand--Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin--Tsygan theorem [FT1]:¶¶ H^·_Lie(\frak g\frak l^fin_￥(Dif_n);\Bbb C) = ù^·(Y_2n+1, Y_2n+3, Y_2n+5,? ) H^\bullet_{\rm Lie}({\frak g}{\frak l}^{\rm fin}_\infty({\rm Dif}_n);{\Bbb C}) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,) .     

Hausdorff dimension of the recurrence set of Gauss transformation

Let x₀ ? [0,1){x_0\in [0,1)} be an irrational number and {t _n } _n≥1 be a nondecreasing sequence of natural numbers. The recurrence set of Gauss transformation T is defined by

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

On the equation of generalized bisymmetry with outer functions injective in each argument

Summary. It is shown that provided F and G are injective in every argument, the functional equation of generalized m ×n m \times n bisymmetry (m,n 3 2) (m,n \ge 2) ,¶¶ G(F₁(x₁₁, \hdots , x_1n),\hdots , F_m(x_m1,\hdots, x_mn)) G(F_1(x_{11}, \hdots , x_{1n}),\hdots , F_m(x_{m1},\hdots, x_{mn})) ¶ = F(G₁(x₁₁,\hdots , x_m1),\hdots , G_n(x_1n,\hdots , x_mn)) = F(G_1(x_{11},\hdots , x_{m1}),\hdots , G_n(x_{1n},\hdots , x_{mn})) ¶may be reduced to ¶¶ G([`(F)]<sub>1</sub>(u<sub>11</sub>, \hdots , u<sub>1n</sub>),\hdots ,[`(F)]_m(u_m1,\hdots, u_mn)) G(\overline{F}_1(u_{11}, \hdots , u_{1n}),\hdots , \overline{F}_m(u_{m1},\hdots, u_{mn})) ¶ = F([`(G)]<sub>1</sub>(u<sub>11</sub>,\hdots , u<sub>m1</sub>),\hdots ,[`(G)]_n(u_1n,\hdots , u_mn)) = F(\overline{G}_1(u_{11},\hdots , u_{m1}),\hdots ,\overline{G}_n(u_{1n},\hdots , u_{mn})) ¶where¶¶ F_i(x_i1,\hdots , x_in) = [`(F)]<sub>i</sub> (j<sub>i1</sub>(x<sub>i1</sub>),\hdots , j<sub>in</sub>(x<sub>in</sub>)), G<sub>j</sub>(x<sub>1j</sub>, \hdots , x<sub>mj</sub>) = [`(G)]_j(j_1j (x_1j),\hdots, j_mj(x_mj)) F_i(x_{i1},\hdots , x_{in}) = \overline{F}_i (\varphi_{i1}(x_{i1}),\hdots , \varphi_{in}(x_{in})), G_j(x_{1j}, \hdots , x_{mj}) = \overline{G}_j(\varphi_{1j} (x_{1j}),\hdots, \varphi_{mj}(x_{mj})) ,¶¶j_ij < /FORMULA > are surjections and < FORMULA > \varphi_{ij} are surjections and \overline{F}_i, \overline{G}_j < /FORMULA > are injective in every argument for all < FORMULA > are injective in every argument for all 1\le i \le m,\ 1\le j\le n $. The result is also shown to hold for a wider class of functional equations.     

Surfaces with affine Gauss-Kronecker curvature zero

We classify surfaces with affine Gauss-Kronecker curvature zero in locally and globally. If x:M ? A³x:M \rightarrow A^3 is Euclidean complete and its affine conormal surface U:M ? \Bbb R³U:M \rightarrow \Bbb R^3 is complete, thenx(M) is an elliptic paraboloid or unimodular affine equivalent to a surface determined by equation x²₁-x²₂+C² x^2_1-x^2_2+C^2\,cos h²x₃=0\,\hbox {h}^2x_3=0 where x₂ \leqq Cx_2 \leqq C and C is a positive constant.     

Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications

For x = (x ₁, x ₂, …, x _n ) ∈ (0, 1 ] ⁿ and r ∈ { 1, 2, … , n}, a symmetric function F _n (x, r) is defined by the relation