On averages of Fourier coefficients of Maass cusp forms

Let φ be a primitive Maass cusp form and t _φ (n) be its nth Fourier coefficient at the cusp infinity. In this short note, we are interested in the estimation of the sums ${\sum_{n \leq x}t_{\varphi}(n)}$ and ${\sum_{n \leq x}t_{\varphi}(n^2)}$ . We are able to improve the previous results by showing that for any ${\varepsilon > 0}$ $$\sum_{n \leq x}t_{\varphi}(n) \ll\, _{\varphi, \varepsilon} x^{\frac{1027}{2827} + \varepsilon} \quad {and}\quad\sum_{n \leq x}t_{\varphi}(n^2) \ll\,_{\varphi, \varepsilon} x^{\frac{489}{861} + \varepsilon}.$$      

Nef line bundles on flag bundles on a curve over {\overline{{\mathbb F}}_p}

Let E be a vector bundle of rank r over an irreducible smooth projective curve X defined over the field ${\overline{{\mathbb F}}_p}$ F ¯ p . For fixed integers ${r_1\, , \ldots\, , r_\nu}$ r 1 , ... , r ν with ${1\, \leq\, r_1\, <\, \cdots\, <\, r_\nu\, <\, r}$ 1 ≤ r 1 < ? < r ν < r , let ${\text{Fl}(E)}$ Fl ( E ) be the corresponding flag bundle over X associated to E. Let ${\xi\, \longrightarrow \, {\rm Fl}(E)}$ ξ ? Fl ( E ) be a line bundle such that for every pair of the form ${(C\, ,\phi)}$ ( C , ? ) , where C is an irreducible smooth projective curve defined over ${\overline{\mathbb F}_p}$ F ¯ p and ${\phi\, :\, C\, \longrightarrow\, {\rm Fl}(E)}$ ? : C ? Fl ( E ) is a nonconstant morphism, the inequality ${{\rm degree}(\phi^* \xi)\, > \, 0}$ degree ( ? ? ξ ) > 0 holds. We prove that the line bundle ${\xi}$ ξ is ample.     

Extinction profile of the logarithmic diffusion equation

Let ${N \geq 3}$ and u be the solution of u _t = Δ log u in ${\mathbb{R}^N \times (0, T)}$ with initial value u ₀ satisfying ${B_{k_1}(x, 0) \leq u_{0} \leq B_{k_2}(x, 0)}$ for some constants k ₁ > k ₂ > 0 where ${B_k(x, t) = 2(N - 2)(T - t)_{+}^{N/(N - 2)}/(k + (T - t)_{+}^{2/(N - 2)}|x|^{2})}$ is the Barenblatt solution for the equation and ${u_0 - B_{k_0} \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 if ${N \geq 4}$ . We give a new different proof on the uniform convergence and ${L^1(\mathbb{R}^N)}$ convergence of the rescaled function ${\tilde{u}(x, s) = (T - t)^{-N/(N - 2)}u(x/(T - t)^{-1/(N - 2)}, t), s = -{\rm log}(T - t)}$ , on ${\mathbb{R}^N}$ to the rescaled Barenblatt solution ${\tilde{B}_{k_0}(x) = 2(N - 2)/(k_0 + |x|^{2})}$ for some k ₀ > 0 as ${s \rightarrow \infty}$ . When ${N \geq 4, 0 \leq u_0(x) \leq B_{k_0}(x, 0)}$ in ${\mathbb{R}^N}$ , and ${|u_0(x) - B_{k_0}(x, 0)| \leq f \in L^{1}(\mathbb{R}^{N})}$ for some constant k ₀ > 0 and some radially symmetric function f, we also prove uniform convergence and convergence in some weighted L ¹ space in ${\mathbb{R}^N}$ of the rescaled solution ${\tilde{u}(x, s)}$ to ${\tilde{B}_{k_0}(x)}$ as ${s \rightarrow \infty}$ .     

An Osgood type regularity criterion for the liquid crystal flows

In this paper, we prove an Osgood type regularity criterion for the model of liquid crystals, which says that the condition $$\sup_{2 \leq q< \infty} \int \nolimits_0^T \frac{\| \bar{S}_{q} \nabla {\bf u}(t)\|_{L^\infty}}{q \, {\rm \ln} \, q} {\rm d} t<\infty$$ implies the smoothness of the solution. Here, ${{\bar S_q=\sum\nolimits_{k=-q}^q \dot {\triangle}_k}}$ with ${\dot{\triangle}_k}$ being the frequency localization operator.     

Traces, traceability, and lattices of traces under the set theoretic inclusion

Let a trace be a computably enumerable set of natural numbers such that ${V^{[m]} = \{n : \langle n, m\rangle \in V \}}$ V [ m ] = { n : 〈 n , m 〉 ∈ V } is finite for all m, where ${\langle^{.},^{.}\rangle}$ 〈 . , . 〉 denotes an appropriate pairing function. After looking at some basic properties of traces like that there is no uniform enumeration of all traces, we prove varied results on traceability and variants thereof, where a function ${f : \mathbb{N} \rightarrow \mathbb{N}}$ f : N → N is traceable via a trace V if for all ${m, \langle f(m), m\rangle \in V.}$ m , 〈 f ( m ) , m 〉 ∈ V . Then we turn to lattices $$\textit{\textbf{L}}_{tr}(V) = (\{W : V \subseteq W \, {\rm and} \, W \, {\rm a} \, {\rm trace}\}, \, \subseteq),$$ L t r ( V ) = ( { W : V ? W and W a trace } , ? ) , V a trace. Here, we study the close relationship to ${\mathcal{E} = (\{A : A \subseteq \mathbb{N} \quad c.e.\}, \subseteq)}$ E = ( { A : A ? N c . e . } , ? ) , automorphisms, isomorphisms, and isomorphic embeddings.     

On the stationary Navier–Stokes flows around a rotating body

Consider the stationary motion of an incompressible Navier–Stokes fluid around a rotating body $ \mathcal{K} = \mathbb{R}^3 \, \backslash \, {\Omega}$ which is also moving in the direction of the axis of rotation. We assume that the translational and angular velocities U, ω are constant and the external force is given by f = div F. Then the motion is described by a variant of the stationary Navier–Stokes equations on the exterior domain Ω for the unknown velocity u and pressure p, with U, ω, F being the data. We first prove the existence of at least one solution (u, p) satisfying ${\nabla u, p \in L_{3/2, \infty} (\Omega)}$ and ${u \in L_3, \infty (\Omega)}$ under the smallness condition on ${|U| + |\omega| + ||F||_{L_{3/2, \infty} (\Omega)}}$ . Then the uniqueness is shown for solutions (u, p) satisfying ${\nabla u, p \in L_{3/2, \infty} (\Omega) \cap L_{q, r} (\Omega)}$ and ${u \in L_{3, \infty} (\Omega) \cap L_{q*, r} (\Omega)}$ provided that 3/2 <? q <? 3 and ${{F \in L_{3/2, \infty} (\Omega) \cap L_{q, r} (\Omega)}}$ . Here L _q,r (Ω) denotes the well-known Lorentz space and q* =? 3q /(3 ? q) is the Sobolev exponent to q.     

Sign-definiteness of q-eigenfunctions for a super-linear p-Laplacian eigenvalue problem

We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ _q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ _q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution.     

Program extraction for 2-random reals

Let ${2-\textsf{RAN}}$ be the statement that for each real X a real 2-random relative to X exists. We apply program extraction techniques we developed in Kreuzer and Kohlenbach (J. Symb. Log. 77(3):853–895, 2012. doi:10.2178/jsl/1344862165), Kreuzer (Notre Dame J. Formal Log. 53(2):245–265, 2012. doi:10.1215/00294527-1715716) to this principle. Let ${{\textsf{WKL}_0^\omega}}$ be the finite type extension of ${\textsf{WKL}_0}$ . We obtain that one can extract primitive recursive realizers from proofs in ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN}}$ , i.e., if ${{\textsf{WKL}_0^\omega} + \Pi^0_1-{\textsf{CP}} + 2-\textsf{RAN} \, {\vdash} \, \forall{f}\, {\exists}{x} A_{qf}(f,x)}$ then one can extract from the proof a primitive recursive term t(f) such that ${A_{qf}(f,t(f))}$ . As a consequence, we obtain that ${{\textsf{WKL}_0}+ \Pi^0_1 - {\textsf{CP}} + 2-\textsf{RAN}}$ is ${\Pi^0_3}$ -conservative over ${\textsf{RCA}_0}$ .     

On a property of Abelian groups related to direct sums and products

Let T be an infinite set of prime numbers, $ \mathcal{M} $ be a set of groups $ \left\{ {\left. {\mathbb{Z}(p)} \right|p \in T} \right\} $ . An Abelian group A is said to be $ \mathcal{M} $ -large if $$ {\text{Hom}}\left( {A,\;\mathop { \bigoplus }\limits_{p \in T} \mathbb{Z}(p)} \right) = {\text{Hom}}\left( {A,\;\prod\limits_{p \in T} {\mathbb{Z}(p)} } \right). $$ This paper presents a characterization of $ \mathcal{M} $ -large torsion-free and mixed groups.     

Inequalities for the harmonic numbers

We present various inequalities for the harmonic numbers defined by ${H_n=1+1/2 +\ldots +1/n\,(n\in{\bf N})}$ . One of our results states that we have for all integers n ???2: $$\alpha \, \frac{\log(\log{n}+\gamma)}{n^2} \leq H_n^{1/n} -H_{n+1}^{1/(n+1)} < \beta \, \frac{\log(\log{n}+\gamma)}{n^2}$$ with the best possible constant factors $$\alpha= \frac{6 \sqrt{6}-2 \sqrt[3]{396}}{3 \log(\log{2}+\gamma)}=0.0140\ldots \quad\mbox{and} \quad\beta=1.$$ Here, ?? denotes Euler??s constant.     

Recurrent statistical experiments with persistent linear regression

Statistical experiments with persistent linear regression are considered as normalized sums $ {S_N}(k)=\frac{1}{N}\sum\nolimits_{r=1}^N {{\delta_r}(k),\;\;k\geq 0} $ , of jointly independent and identically distributed, for every $ r\geq 1 $ , random variables $ {\delta_r}(k),\;\;1\leq r\leq N,\;\;k\geq 0 $ , which can take two values ±1. The persistent linear regression means that the recurrence relation $$ E\left[ {{S_N}\left( {k+1} \right)|{S_N}(k)} \right]=c-2a{S_N}(k),\;k\geq 0, $$ holds. We investigate the stable mode (equilibrium) (Theorem 2.1) and propose a stochastic approximation of statistical tests as a discrete-time autoregression process with normal perturbations (Theorem 3.1).     

Line transversals to blown up closed balls

The number ?? _d (k) is defined as the minimum ???>?0 such that the following holds: For any finite family ${\mathcal {F}=\{B_1,B_2, \ldots , B_n\}}$ of closed balls in ${{\mathbb{R}}^d}$ such that every k elements of ${\mathcal {F}}$ have a common line transversal, the elements of the blown up family ${\lambda\mathcal {F}=\{\lambda B_1,\lambda B_2, \ldots , \lambda B_n\}}$ have a common line transversal. In this paper we show that ${\lambda_d(d+1)\leq4, \lambda_2(4)\leq 2\sqrt 2}$ and ??₂(3)?<?2.88.     

Trivectors yielding spreads in PG(5, 2)

Given an alternating trilinear form ${T\in {\rm Alt}(\times^{3}V_{6})}$ on V ₆ = V(6, 2) let ${\mathcal{L}_{T}}$ denote the set of those lines ${\langle a, b \rangle}$ in ${{\rm PG}(5,2)=\mathbb{P}V_{6}}$ which are T-singular, satisfying, that is, T(a, b, x) = 0 for all ${x\in {\rm PG}(5, 2).}$ If ${\mathcal{L}_{21}}$ is a Desarguesian line-spread in PG(5, 2) it is shown that ${\mathcal{L}_{T}=\mathcal{L}_{21}}$ for precisely three choices T ₁,T ₂,T ₃ of T, which moreover satisfy T ₁ + T ₂ + T ₃ = 0. For ${T\in\mathcal{T}:=\{T_{1},T_{2},T_{3}\}}$ the ${\mathcal{G}_{T}}$ -orbits of flats in PG(5, 2) are determined, where ${\mathcal{G}_{T}\cong {\rm SL}(3,4).2}$ denotes the stabilizer of T under the action of GL(6, 2). Further, for a representative U of each ${\mathcal{G}_{T}}$ -orbit, the T-associate U ^# is also determined, where by definition $$U^{\#}=\{v\in {\rm PG}(5,2)\, |\, T(u_{1},u_{2},v) = 0\, \,{\rm for\,all }\, \, u_{1},u_{2}\in U\}$$ .     

Calabi Product Lagrangian Immersions in Complex Projective Space and Complex Hyperbolic Space

Starting from two Lagrangian immersions and a Legendre curve ${\tilde{\gamma}(t)}$ in ${\mathbb{S}^3(1)}$ $({\rm or\,in}\,{\mathbb{H}_1^3(-1)})$ , it is possible to construct a new Lagrangian immersion in ${\mathbb{CP}^n(4)}$ $({\rm or\,in}\,{\mathbb{CH}^n(-4)})$ , which is called a warped product Lagrangian immersion. When ${\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i(- \frac{r_1}{r_2}at)})}$ $({\rm or}\,{\tilde{\gamma}(t)=(r_1e^{i(\frac{r_2}{r_1}at)}, \;r_2e^{i( \frac{r_1}{r_2}at)})})$ , where r ₁, r ₂, and a are positive constants with ${r_1^2+r_2^2=1}$ $({\rm or}\,{-r_1^2+r_2^2=-1})$ , we call the new Lagrangian immersion a Calabi product Lagrangian immersion. In this paper, we study the inverse problem: how to determine from the properties of the second fundamental form whether a given Lagrangian immersion of ${\mathbb{CP}^n(4)}$ or ${\mathbb{CH}^n(-4)}$ is a Calabi product Lagrangian immersion. When the Calabi product is minimal, or is Hamiltonian minimal, or has parallel second fundamental form, we give some further characterizations.     

On the Broadcast Independence Number of Grid Graph

A broadcast on a nontrivial connected graph G is a function ${f:V \longrightarrow \{0, \ldots,\operatorname{diam}(G)\}}$ such that for every vertex ${v \in V(G)}$ , ${f(v) \leq e(v)}$ , where ${\operatorname{diam}(G)}$ denotes the diameter of G and e(v) denotes the eccentricity of vertex v. The broadcast independence number is the maximum value of ${\sum_{v \in V} f(v)}$ over all broadcasts f that satisfy ${d(u,v) > \max \{f(u), f(v)\}}$ for every pair of distinct vertices u, v with positive values. We determine this invariant for grid graphs ${G_{m,n} = P_m \square P_n}$ , where ${2 \leq m \leq n}$ and □ denotes the Cartesian product. We hereby answer one of the open problems raised by Dunbar et al. in (Discrete Appl Math 154:59–75, 2006).     

A Geometry for the Set of Split Operators

We study the set ${\mathcal{X}}$ of split operators acting in the Hilbert space ${\mathcal{H}}$ : $$\mathcal{X}=\{T\in \mathcal{B}(\mathcal{H}): N(T)\cap R(T)=\{0\} \ {\rm and} \ N(T)+R(T)=\mathcal{H}\}.$$ Inside ${\mathcal{X}}$ , we consider the set ${\mathcal{Y}}$ : $$\mathcal{Y}=\{T\in\mathcal{X}: N(T)\perp R(T)\}.$$ Several characterizations of these sets are given. For instance ${T\in\mathcal{X}}$ if and only if there exists an oblique projection ${Q}$ whose range is N(T) such that T + Q is invertible, if and only if T posseses a commuting (necessarilly unique) pseudo-inverse S (i.e. TS = ST, TST = T and STS = S). Analogous characterizations are given for ${\mathcal{Y}}$ . Two natural maps are considered: $${\bf q}:\mathcal{X} \to \mathbb{Q}:=\{{\rm oblique \ projections \ in} \, \mathcal{H} \}, \ {\bf q}(T)=P_{R(T)//N(T)}$$ and $${\bf p}:\mathcal{Y} \to \mathbb{P}:=\{{\rm orthogonal \ projections \ in} \ \mathcal{H} \}, \ {\bf p}(T)=P_{R(T)}, $$ where ${P_{R(T)//N(T)}}$ denotes the projection onto R(T) with nullspace N(T), and P _R(T) denotes the orthogonal projection onto R(T). These maps are in general non continuous, subsets of continuity are studied. For the map q these are: similarity orbits, and the subsets ${\mathcal{X}_{c_k}\subset \mathcal{X}}$ of operators with rank ${k<\infty}$ , and ${\mathcal{X}_{F_k}\subset\mathcal{X}}$ of Fredholm operators with nullity ${k<\infty}$ . For the map p there are analogous results. We show that the interior of ${\mathcal{X}}$ is ${\mathcal{X}_{F_0}\cup\mathcal{X}_{F_1}}$ , and that ${\mathcal{X}_{c_k}}$ and ${\mathcal{X}_{F_k}}$ are arc-wise connected differentiable manifolds.     

Köthe’s upper nil radical for modules

Let M be a left R-module. In this paper a generalization of the notion of an s-system of rings to modules is given. Let N be a submodule of M. Define $\mathcal{S}(N):=\{ {m\in M}:\, \mbox{every } s\mbox{-system containing } m \mbox{ meets}~N \}$ . It is shown that $\mathcal{S}(N)$ is equal to the intersection of all s-prime submodules of M containing N. We define $\mathcal{N}({}_{R}M) = \mathcal{S}(0)$ . This is called (Köthe’s) upper nil radical of M. We show that if R is a commutative ring, then $\mathcal{N}({}_{R}M) = {\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ where ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)$ denotes the prime radical of M. We also show that if R is a left Artinian ring, then ${\mathop{\mathrm{rad}}\nolimits}_{R}(M)=\mathcal{N}({}_{R}M)= {\mathop{\mathrm{Rad}}\nolimits}\, (M)= {\mathop{\mathrm{Jac}}\nolimits}\, (R)M$ where ${\mathop{\mathrm{Rad}}\nolimits}\, (M)$ denotes the Jacobson radical of M and ${\mathop{\mathrm{Jac}}\nolimits}\, (R)$ the Jacobson radical of the ring R. Furthermore, we show that the class of all s-prime modules forms a special class of modules.     

On the generalization of Faltings’ Annihilator Theorem

Let R be a commutative Noetherian ring, and let n be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever R is a homomorphic image of a Noetherian Gorenstein ring, then the invariants ${\inf\{i \in \mathbb{N}_0|\, \rm{dim\, Supp}(\mathfrak{b}^t H_{\mathfrak{a}}^i(M)) \geq n\, \rm{for\, all}\, t \in \mathbb{N}_0\}}$ and ${\inf\{\lambda_{\mathfrak{a} R_{\mathfrak{p}}}^{\mathfrak{b} R_{\mathfrak{p}}}(M_{\mathfrak{p}})|\, \mathfrak{p} \in {\rm Spec} \, R\, \rm{and\, dim}\, R/ \mathfrak{p} \geq n\}}$ are equal, for every finitely generated R-module M and for all ideals ${\mathfrak{a}, \mathfrak{b}}$ of R with ${\mathfrak{b}\subseteq \mathfrak{a}}$ . This generalizes Faltings’ Annihilator Theorem (see [6]).     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

Comparison and oscillatory behavior for certain second order nonlinear dynamic equations

We present some new necessary and sufficient conditions for the oscillation of second order nonlinear dynamic equation $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)=0$$ on an arbitrary time scale $\mathbb{T}$ , where α and β are ratios of positive odd integers, a and q are positive rd-continuous functions on $\mathbb{T}$ . Comparison results with the inequality $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)\leqslant 0\quad (\geqslant 0)$$ are established and application to neutral equations of the form $$\bigl(a(t)\bigl(\bigl[x(t)+p(t)x[\tau (t)]\bigr]^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }+q(t)x^{\beta }\bigl[g(t)\bigr]=0$$ are investigated.