On Birman's sequence of Hardy–Rellich-type inequalities

In 1961, Birman proved a sequence of inequalities $\{I_n\}$, for $n\in \mathbb{N}$, valid for functions in $C_0^n((0,\infty ))?L^2((0,\infty ))$. In particular, $I_1$ is the classical (integral) Hardy inequality and $I_2$ is the well-known Rellich inequality. In this paper, we give a proof of this sequence of inequalities valid on a certain Hilbert space $H_n([0,\infty ))$ of functions defined on $[0,\infty )$. Moreover, $f\in H_n([0,\infty ))$ implies $f^{\prime }\in H_{n?1}([0,\infty ))$; as a consequence of this inclusion, we see that the classical Hardy inequality implies each of the inequalities in Birman's sequence. We also show that for any finite $b>0$, these inequalities hold on the standard Sobolev space $H_0^n((0,b))$. Furthermore, in all cases, the Birman constants ${[(2n?1)!!]}^2/2^{2n}$ in these inequalities are sharp and the only function that gives equality in any of these inequalities is the trivial function in $L^2((0,\infty ))$ (resp., $L^2((0,b))$). We also show that these Birman constants are related to the norm of a generalized continuous Cesàro averaging operator whose spectral properties we determine in detail.     

Bivariate identities related to Chebyshev and Dickson polynomials over Fq

Let ${\mathbb{F}}_q$ be a field of q elements, where q is a power of an odd prime p. The polynomial $f(y)\in {\mathbb{F}}_q[y]$ defined by$f(y):={(1+\sqrt{y})}^{(q+1)/2}+{(1-\sqrt{y})}^{(q+1)/2}$ has the property that$f(1-y)=\rho (2)f(y),$ where ρ is the quadratic character on ${\mathbb{F}}_q$. This univariate identity was applied to prove a recent theorem of N. Katz. We formulate and prove a bivariate extension, and give an application to quadratic residuacity.     

An exact upper bound for sums of element orders in non-cyclic finite groups

Denote the sum of element orders in a finite group G by $\psi (G)$ and let $C_n$ denote the cyclic group of order n. Suppose that G is a non-cyclic finite group of order n and q is the least prime divisor of n. We proved that $\psi (G)\le \frac{7}{11}\psi (C_n)$ and $\psi (G)<\frac{1}{q?1}\psi (C_n)$. The first result is best possible, since for each $n=4k$, k odd, there exists a group G of order n satisfying $\psi (G)=\frac{7}{11}\psi (C_n)$ and the second result implies that if G is of odd order, then $\psi (G)<\frac{1}{2}\psi (C_n)$. Our results improve the inequality $\psi (G)<\psi (C_n)$ obtained by H. Amiri, S.M. Jafarian Amiri and I.M. Isaacs in 2009, as well as other results obtained by S.M. Jafarian Amiri and M. Amiri in 2014 and by R. Shen, G. Chen and C. Wu in 2015. Furthermore, we obtained some $\psi (G)$-based sufficient conditions for the solvability of G.     

Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.     

Kato–Milne cohomology and polynomial forms

Given a prime number p, a field F with $\mathrm{char}(F)=p$ and a positive integer n, we study the class-preserving modifications of Kato–Milne classes of decomposable differential forms. These modifications demonstrate a natural connection between differential forms and p-regular forms. A p-regular form is defined to be a homogeneous polynomial form of degree p for which there is no nonzero point where all the order $p?1$ partial derivatives vanish simultaneously. We define a ${\stackrel{?}{C}}_{p,m}$ field to be a field over which every p-regular form of dimension greater than $p^m$ is isotropic. The main results are that for a ${\stackrel{?}{C}}_{p,m}$ field F, the symbol length of $H_p^2(F)$ is bounded from above by $p^{m?1}?1$ and for any $n??(m?1){\log }_2?(p)?+1$, $H_p^{n+1}(F)=0$.     

General decay result for nonlinear viscoelastic equations

In this paper we consider a nonlinear viscoelastic equation with minimal conditions on the $L^1(0,\infty )$ relaxation function g namely $g^{\prime }(t)\le ?\xi (t)H(g(t))$, where H is an increasing and convex function near the origin and ξ is a nonincreasing function. With only these very general assumptions on the behavior of g at infinity, we establish optimal explicit and general energy decay results from which we can recover the optimal exponential and polynomial rates when $H(s)=s^p$ and p covers the full admissible range $[1,2)$. We get the best decay rates expected under this level of generality and our new results substantially improve several earlier related results in the literature.