On exponential sums over primes and application in Waring-Goldbach problem

In this paper, we prove the following estimate on exponential sums over primes: Let κ≥1,βκ=1/2 log κ/log2, x≥2 and α=a/q λsubject to (a, q) = 1, 1≤a≤q, and λ∈R. Then As an application, we prove that with at most O(N2/8 ε) exceptions, all positive integers up to N satisfying some necessary congruence conditions are the sum of three squares of primes. This result is as strong as what has previously been established under the generalized Riemann hypothesis.     

A Spectral Gap Estimate and Applications

We consider the Schrödinger operator

$$ \text{-} \frac{d^{2}}{d x^{2}} + V {\text{on an interval}}~~[a,b]~{\text{with Dirichlet boundary conditions}},$$

where V is bounded from below and prove a lower bound on the first eigenvalue λ ₁ in terms of sublevel estimates: if w _V (y) = |{x ∈ [a, b] : V (x) ≤ y}|, then

$$\lambda_{1} \geq \frac{1}{250} \min\limits_{y > \min V}{\left( \frac{1}{w_{V}(y)^{2}} + y\right)}.$$

The result is sharp up to a universal constant if {x ∈ [a, b] : V(x) ≤ y} is an interval for the value of y solving the minimization problem. An immediate application is as follows: let \({\Omega } \subset \mathbb {R}^{2}\) be a convex domain and let \(u:{\Omega } \rightarrow \mathbb {R}\) be the first eigenfunction of the Laplacian ? Δ on Ω with Dirichlet boundary conditions on ?Ω. We prove

$$\| u \|_{L^{\infty}({\Omega})} \lesssim \frac{1}{\text{inrad}({\Omega})} \left( \frac{\text{inrad}({\Omega})}{\text{diam}({\Omega})} \right)^{1/6} \|u\|_{L^{2}({\Omega})},$$

which answers a question of van den Berg in the special case of two dimensions.

     

Weak Type (1,1) Behavior for the Maximal Operator with <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-Dini Kernel

Let M _Ω be the maximal operator with homogeneous kernel Ω. In the present paper, we show that if Ω satisfies the L ¹-Dini condition on ?? ^n?1, then the following weak type (1,1) behaviors

$$\lim\limits _{\lambda \rightarrow 0_{+}}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})=\frac {1}{n} \|\Omega \|_{1} \|f\|_{1},$$

$$\sup\limits_{\lambda >0}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})\lesssim {\bigg ((\log n)\|\Omega \|_{1}+{\int }_{0}^{1/n}\frac {\tilde {\omega }_{1}(\delta )}{\delta }d\delta \bigg )}\|f\|_{1}$$

hold for the maximal operator M _Ω and \(f\in L^{1}(\mathbb {R}^{n})\), here \(\tilde {\omega }_{1}\) denotes the L ¹ integral modulus of continuity of Ω defined by translation in \(\mathbb {R}^{n}\).     

Relations between the norms of a function and its gradient in classes of surface and solid spherical harmonics on a finite-dimensional space

Relations between the Euclidean (mean-square) and Chebyshev (uniform) norms of a surface spherical harmonic of order n and its gradient in the tangent bundle of the sphere \(\mathbb{S}^{k - 1} \), as well as relations between the same norms of a solid spherical harmonic (internal and external) of order n and its spatial gradient, are given. In all cases, the norm of the gradient differs from that of the harmonic by a factor of order n. As examples, relations between the norms of the internal and external solid spherical harmonics

$r\left\langle {gradU_n } \right\rangle = n\left\langle {U_n } \right\rangle , r\left\| {gradU_n } \right\| = \sqrt {n(2n + k - 2)} \left\| {U_n } \right\|$

and

$r\left\langle {gradV_n } \right\rangle = (n + k - 2)\left\langle {V_n } \right\rangle , r\left\| {gradV_n } \right\| = \sqrt {(n + k - 2)(2n + k - 2)} \left\| {V_n } \right\|,$

respectively, are considered; here, <·> and ∥·∥ denote the Chebyshev and Euclidean norms, respectively.

     

Mean Square Estimates for Coefficients of Symmetric Power <Emphasis Type="Italic">L</Emphasis>-Functions

Let L(sym ^j f,s) be the jth symmetric power L-function attached to a holomorphic Hecke eigencuspform f(z) for the full modular group, and \(\lambda_{\mathrm{sym}^{j}f}(n)\) denote its nth coefficient. In this paper we are able to prove that

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{3}f}(n)\bigg|^{2}dy=O\bigl(x^{2}\bigr),$

and

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{4}f}(n)\bigg|^{2}dy=O\bigl(x^{\frac{11}{5}}\log x\bigr).$

     

A generalized Khintchine inequality in rearrangement invariant spaces

Let X be a separable or maximal rearrangement invariant space on [0, 1]. Necessary and sufficient conditions are found under which the generalized Khintchine inequality

$\left\| {\sum\limits_{k = 1}^\infty {f_k } } \right\|_X \leqslant C\left\| {\left( {\sum\limits_{k = 1}^\infty {f_k^2 } } \right)^{1/2} } \right\|_X $

holds for an arbitrary sequence {?_k} _k=1 ^∞ ? X of mean zero independent variables. Moreover, the subspace spanned in a rearrangement invariant space by the Rademacher system with independent vector coefficients is studied.

     

On the uniform Kreiss resolvent condition

Let B be a Banach space with norm ‖ · ‖ and identity operator I. We prove that, for a bounded linear operator T in B, the strong Kreiss resolvent condition

$\parallel (T - \lambda I)^{ - k} \parallel \leqslant \frac{M}{{(|\lambda | - 1)^k }}, |\lambda | > 1,k = 1,2, \ldots ,$

implies the uniform Kreiss resolvent condition

$\left\| {\sum\limits_{k = 0}^n {\frac{{T^k }}{{\lambda ^{k + 1} }}} } \right\| \leqslant \frac{L}{{|\lambda | - 1}}, |\lambda | > 1, n = 0,1,2, \ldots .$

We establish that an operator T satisfies the uniform Kreiss resolvent condition if and only if so does the operator T ^m for each integer m ? 2.

     

Conditional exponential stability of a differential system with linear dichotomous Coppel-Conti approximation

We prove the conditional exponential stability of the zero solution of the nonlinear differential system

$$\dot y = A(t)y + f(t,y),{\mathbf{ }}y \in R^n ,{\mathbf{ }}t \geqslant 0,$$

with L ^p -dichotomous linear Coppel-Conti approximation .x = A(t)x whose principal solution matrix X _A (t), X _A (0) = E, satisfies the condition

$$\mathop \smallint \limits_0^t \left\| {X_A (t)P_1 X_A^{ - 1} (\tau )} \right\|^p d\tau + \mathop \smallint \limits_t^{ + \infty } \left\| {X_A (t)P_2 X_A^{ - 1} (\tau )} \right\|^p d\tau \leqslant C_p (A) < + \infty ,{\mathbf{ }}p \geqslant 1,{\mathbf{ }}t \geqslant 0,$$

where P ₁ and P ₂ are complementary projections of rank k ∈ {1, …, n ? 1} and rank n ? k, respectively, and with a higher-order infinitesimal perturbation f:[0, ∞) × U → R ⁿ that is piecewise continuous in t ≥ 0 and continuous in y in some neighborhood U of the origin.

     

A note on skew characters of symmetric groups

In this paper we establish the following estimate:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant \frac{{{c_T}}}{{{\varepsilon ^2}}}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right){M_{L{{\left( {\log L} \right)}^{1 + \varepsilon }}}}} \omega \left( x \right)dx$$

where ω ≥ 0, 0 < ε < 1 and Φ(t) = t(1 + log⁺(t)). This inequality relies upon the following sharp L ^p estimate:

$${\left\| {\left[ {b,T} \right]f} \right\|_{{L^p}\left( \omega \right)}} \leqslant {c_T}{\left( {p'} \right)^2}{p^2}{\left( {\frac{{p - 1}}{\delta }} \right)^{\frac{1}{{p'}}}}{\left\| b \right\|_{BMO}}{\left\| f \right\|_{{L^p}\left( {{M_{L{{\left( {{{\log }_L}} \right)}^{2p - 1 + {\delta ^\omega }}}}}} \right)}}$$

where 1 < p < ∞, ω ≥ 0 and 0 < δ < 1. As a consequence we recover the following estimate essentially contained in [18]:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant {c_T}{\left[ \omega \right]_{{A_\infty }}}{\left( {1 + {{\log }^ + }{{\left[ \omega \right]}_{{A_\infty }}}} \right)^2}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right)M} \omega \left( x \right)dx.$$

We also obtain the analogue estimates for symbol-multilinear commutators for a wider class of symbols.

     

On the Darboux Integrability of the Hindmarsh–Rose Burster

We study the Hindmarsh–Rose burster which can be described by the differential system = y-x~3+ bx~2+ I-z,  = 1-5 x2~-y, z = μ(s(x-x_0)-z),where b, I, μ, s, x_0 are parameters. We characterize all its invariant algebraic surfaces and all its exponential factors for all values of the parameters. We also characterize its Darboux integrability in function of the parameters. These characterizations allow to study the global dynamics of the system when such invariant algebraic surfaces exist.     

On the global attractivity of two nonlinear difference equations

The main objective of this paper is to study some qualitative behavior of the solutions of the two difference equations

$ {x_{n + 1}} = {{{a{x_n} - b{x_{n - k}}}} \left/ {{\left( {c{x_n} - d{x_{n - k}}} \right)}} \right.}\quad n = 0,\,1,\,2, \ldots, $

and

$ {x_{n + 1}} = {{{a{x_{n - k}} + b{x_n}}} \left/ {{\left( {c{x_n} - d{x_{n - k}}} \right)}} \right.}\quad n = 0,\,1,\,2, \ldots, $

where the initial conditions x???k, ?, x???1, x0 are arbitrary positive real numbers and the coefficients a, b, c, and d are positive constants, while k is a positive integer number.

     

Some Berezin Number Inequalities for Operator Matrices

The Berezin symbol à of an operator A acting on the reproducing kernel Hilbert space H = H(Ω) over some (nonempty) set is defined by \(\tilde A(\lambda ) = \left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle \), λ ∈ Ω, where \(\hat k_\lambda = k_\lambda /\left\| {k_\lambda } \right\|\) is the normalized reproducing kernel of H. The Berezin number of the operator A is defined by \(ber(A) = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\tilde A(\lambda )} \right| = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle } \right|\). Moreover, ber(A) ? w(A) (numerical radius). We present some Berezin number inequalities. Among other inequalities, it is shown that if \(T = \left[ {\begin{array}{*{20}c} A & B \\ C & D \\ \end{array} } \right] \in \mathbb{B}(\mathcal{H}(\Omega _1 ) \oplus \mathcal{H}(\Omega _2 ))\), then

$$ber(T) \leqslant \frac{1}{2}(ber(A) + ber(D)) + \frac{1}{2}\sqrt {(ber(A) - ber(D))^2 + \left( {\left\| B \right\| + \left\| C \right\|} \right)^2 } .$$

     

The hole probability for Gaussian entire functions

Consider the random entire function

$f(z) = \sum\limits_{n = 0}^\infty {{\phi _n}{a_n}{z^n}} $

, where the ? _n are independent standard complex Gaussian coefficients, and the a _n are positive constants, which satisfy

$\mathop {\lim }\limits_{x \to \infty } {{\log {a_n}} \over n} = - \infty $

.

We study the probability P _H (r) that f has no zeroes in the disk{|z| < r} (hole probability). Assuming that the sequence a _n is logarithmically concave, we prove that

$\log {P_H}(r) = - S(r) + o(S(r))$

, where

$S(r) = 2 \cdot \sum\limits_{n:{a_n}{r^n} \ge 1} {\log ({a_n}{r^n})} $

, and r tends to ∞ outside a (deterministic) exceptional set of finite logarithmic measure.

     

On the divisor function in short intervals

Let d(n) denote the number of positive divisors of the natural number n. The aim of this paper is to investigate the validity of the asymptotic formula

$\begin{array}{lll}\sum \limits_{x < n \leq x+h(x)}d(n)\sim h(x)\log x\end{array}$

for \({x \to + \infty,}\) assuming a hypothetical estimate on the mean

$\begin{array}{lll} \int \limits_X^{X+Y}(\Delta(x+h(x))-\Delta (x))^2\,{d}x, \end{array}$

which is a weakened form of a conjecture of M. Jutila.

     

Inequalities for combinatorial sums

For \(k,l\in \mathbf {N}\), let

$$\begin{aligned}&P_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k-1} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }\\&\quad \text{ and }\quad Q_{k,l}=\Bigl (\frac{l}{k+l}\Bigr )^{k+l} \sum _{\nu =0}^{k} {k+l\atopwithdelims ()\nu } \Bigl (\frac{k}{l}\Bigr )^{\nu }. \end{aligned}$$

We prove that the inequality

$$\begin{aligned} \frac{1}{4}\le P_{k,l} \end{aligned}$$

is valid for all natural numbers k and l. The sign of equality holds if and only if \(k=l=1\). This complements a result of Vietoris, who showed that

$$\begin{aligned} P_{k,l}<\frac{1}{2} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

An immediate corollary is that

$$\begin{aligned} \frac{1}{4}\le P_{k,l}<\frac{1}{2} <Q_{k,l}\le \frac{3}{4} \quad {(k,l\in \mathbf {N})}. \end{aligned}$$

The constant bounds are sharp.

     

Simple proofs and extensions of a result of L. D. Pustylnikov on the nonautonomous Siegel theorem

We present simple proofs of a result of L.D. Pustylnikov extending to nonautonomous dynamics the Siegel theorem of linearization of analytic mappings. We show that if a sequence f _n of analytic mappings of C ^d has a common fixed point f _n (0) = 0, and the maps f _n converge to a linear mapping A∞ so fast that

$$\sum\limits_n {{{\left\| {{f_m} - {A_\infty }} \right\|}_{L\infty \left( B \right)}} < \infty } $$

$${A_\infty } = diag\left( {{e^{2\pi i{\omega _1}}},...,{e^{2\pi i{\omega _d}}}} \right)\omega = \left( {{\omega _1},...,{\omega _q}} \right) \in {\mathbb{R}^d},$$

then f _n is nonautonomously conjugate to the linearization. That is, there exists a sequence h _n of analytic mappings fixing the origin satisfying

$${h_{n + 1}} \circ {f_n} = {A_\infty }{h_n}.$$

The key point of the result is that the functions hn are defined in a large domain and they are bounded. We show that

$${\sum\nolimits_n {\left\| {{h_n} - Id} \right\|} _{L\infty (B)}} < \infty .$$

We also provide results when f _n converges to a nonlinearizable mapping f∞ or to a nonelliptic linear mapping. In the case that the mappings f _n preserve a geometric structure (e. g., symplectic, volume, contact, Poisson, etc.), we show that the hn can be chosen so that they preserve the same geometric structure as the f _n . We present five elementary proofs based on different methods and compare them. Notably, we consider the results in the light of scattering theory. We hope that including different methods can serve as an introduction to methods to study conjugacy equations.

     

On a property of the reducibility exponent of linear differential systems

We establish that the reducibility exponent (Differentsial’nye Uravneniya, 2007, vol. 43, no. 2, pp. 191–202) of each linear system

$$\dot x = A(t)x, x \in \mathbb{R}^n , t \geqslant 0$$

, with piecewise continuous bounded coefficient matrix A does not belong to the set of values of σ for which the perturbed system (1_A+Q) with an arbitrary piecewise continuous perturbation Q satisfying the condition \(\overline {\lim } _{t \to + \infty } t^{ - 1} \ln \left\| {Q(t)} \right\| \leqslant - \sigma \) is reducible to the original system (1 _A ) by some Lyapunov transformation.

     

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space:?????(-?)~mu(x)=u~p(x)/|x|~s,in R_+~n,u(x)=-?u(x)=…=(-?)~(m-1)u(x)=0,on ?R_+~n,(0.1)where m is any positive integer satisfying 02mn.We first prove that the positive solutions of(0.1)are super polyharmonic,i.e.,(-?)~iu0,i=0,1,...,m-1.(0.2) For α=2m,applying this important property,we establish the equivalence between (0.1) and the integral equation u(x)=c_n∫R_+~n(1/|x-y|~(n-α)-1/|x~*-y|~(n-α))u~p(y)/|y|~sdy,(0.3) where x~*=(x1,...,x_(n-1),-x_n) is the reflection of the point x about the plane R~(n-1).Then,we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of(0.3),in whichαcan be any real number between 0 and n.By some Pohozaev type identities in integral forms,we prove a Liouville type theorem—the non-existence of positive solutions for(0.1).     

Linear FDEs in the frame of generalized ODEs: variation-of-constants formula

We present a variation-of-constants formula for functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t + f\left( {y_t,t} \right),\;y_{t_0}= \varphi $$

, where \(\mathcal{L}\) is a bounded linear operator and φ is a regulated function. Unlike the result by G. Shanholt (1972), where the functions involved are continuous, the novelty here is that the application t \(t \mapsto f\left( {y_t,t} \right)\) is Kurzweil integrable with t in an interval of ?, for each regulated function y. This means that t \(t \mapsto f\left( {y_t,t} \right)\) may admit not only many discontinuities, but it can also be highly oscillating and yet, we are able to obtain a variation-of-constants formula. Our main goal is achieved via theory of generalized ordinary differential equations introduced by J.Kurzweil (1957). As a matter of fact, we establish a variation-of-constants formula for general linear generalized ordinary differential equations in Banach spaces where the functions involved are Kurzweil integrable. We start by establishing a relation between the solutions of the Cauchy problem for a linear generalized ODE of type

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x} \right],x\left( {{t_0}} \right) = \tilde x$$

and the solutions of the perturbed Cauchy problem

$$\frac{{dx}}{{d\tau }} = D\left[ {A\left( t \right)x + F\left( {x,t} \right)} \right],x\left( {{t_0}} \right) = \tilde x$$

Then we prove that there exists a one-to-one correspondence between a certain class of linear generalized ODE and the Cauchy problem for a linear functional differential equations of the form

$$\dot y = \mathcal{L}\left( t \right)y_t,\;y_{t_0} = \varphi$$

, where \(\mathcal{L}\) is a bounded linear operator and φ is a regulated function. The main result comes as a consequence of such results. Finally, because of the extent of generalized ODEs, we are also able to describe the variation-of-constants formula for both impulsive FDEs and measure neutral FDEs.

     

On the existence of periodic motions of the excited inverted pendulum by elementary methods

Using purely elementary methods, necessary and sufficient conditions are given for the existence of 2T-periodic and 4T-periodic solutions around the upper equilibrium of the mathematical pendulum when the suspension point is vibrating with period 2T. The equation of the motion is of the form

$$\ddot{\theta}-\frac{1}{l}(g+a(t)) \theta=0,$$

where l, g are constants and

$$a(t) := \begin{cases} A &\text{if } 2kT\leq t < (2k+1)T,\\ -A &\text{if } (2k+1)T\leq t < (2k+2)T,\end{cases}\quad (k=0,1,\dots);$$

A, T are positive constants. The exact stability zones for the upper equilibrium are presented.