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.     

Cauchy problem for a semilinear Éidel’man parabolic equation

We establish conditions for the existence and uniqueness of a generalized solution of the Cauchy problem for the equation

Generalization of some polynomial inequalities not vanishing in a disk

If $P(z) = \sum\limits_{\nu = 0}^n {c_\nu z^\nu } $ is a polynomial of degree n, then for |β| ≤ 1, it was proved in [4] that $\left| {zP'(z) + n\frac{\beta } {2}P(z)} \right| \leqslant n\left| {1 + \frac{\beta } {2}} \right|\mathop {\max }\limits_{|z| = 1} |P(z)|,|z| = 1 $ In this paper, first we generalize the above result for the s ^th derivative of polynomials and next we improve the above inequality for polynomials with restricted zeros.     

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}.$$      

Asymptotic properties for the loglog laws under positive association

Let {X _n : n ?? 1} be a strictly stationary sequence of positively associated random variables with mean zero and finite variance. Set $S_n = \sum\limits_{k = 1}^n {X_k }$ , $Mn = \mathop {\max }\limits_{k \leqslant n} \left| {S_k } \right|$ , n ?? 1. Suppose that $0 < \sigma ^2 = EX_1^2 + 2\sum\limits_{k = 2}^\infty {EX_1 X_k < \infty }$ . In this paper, we prove that if E|X ₁|^2+?? < for some ?? ?? (0, 1], and $\sum\limits_{j = n + 1}^\infty {Cov\left( {X_1 ,X_j } \right) = O\left( {n^{ - \alpha } } \right)}$ for some ?? > 1, then for any b > ?1/2 $$\mathop {\lim }\limits_{\varepsilon \searrow 0} \varepsilon ^{2b + 1} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^{b - 1/2} }} {{n^{3/2} \log n}}} E\left\{ {M_n - \sigma \varepsilon \sqrt {2n\log \log n} } \right\}_ + = \frac{{2^{ - 1/2 - b} E\left| N \right|^{2(b + 1)} }} {{(b + 1)(2b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2(b + 1)} }}}$$ and $$\mathop {\lim }\limits_{\varepsilon \nearrow \infty } \varepsilon ^{ - 2(b + 1)} \sum\limits_{n = 1}^\infty {\frac{{(\log \log n)^b }} {{n^{3/2} \log n}}E\left\{ {\sigma \varepsilon \sqrt {\frac{{\pi ^2 n}} {{8\log \log n}}} - M_n } \right\}} _ + = \frac{{\Gamma (b + 1/2)}} {{\sqrt 2 (b + 1)}}\sum\limits_{k = 0}^\infty {\frac{{( - 1)^k }} {{(2k + 1)^{2b + 2} }}} ,$$ where x ₊ = max{x, 0}, N is a standard normal random variable, and ??(·) is a Gamma function.     

Precise asymptotics of complete moment convergence on moving average

Let {ξi,-∞i∞} be a doubly infinite sequence of identically distributed-mixing random variables with zero means and finite variances,{ai,-∞i∞} be an absolutely summable sequence of real numbers and X k =∑i=-∞+∞ aiξi+k be a moving average process.Under some proper moment conditions,the precise asymptotics are established for     

Sharp nonexistence results of prescribed L 2-norm solutions for some class of Schrödinger–Poisson and quasi-linear equations

In this paper, we study the existence of minimizers for $$F(u) = \frac{1}{2} \int_{\mathbb{R}^3} |\nabla u|^{2} {\rm d}x + \frac{1}{4} \int_{\mathbb{R}^3} \int_{\mathbb{R}^3} \frac{| u(x)|^2 | u(y)|^2}{| x-y|} {\rm d}x{\rm d}y-\frac{1}{p} \int_{\mathbb{R}^3}|u|^p {\rm d}x$$ on the constraint $$S(c) = \{u \in H^1(\mathbb{R}^3) : \int_{\mathbb{R}^3}|u|^2 {\rm d}x = c\}$$ , where c >  0 is a given parameter. In the range ${p \in [3,\frac{10}{3}]}$ , we explicit a threshold value of c >  0 separating existence and nonexistence of minimizers. We also derive a nonexistence result of critical points of F(u) restricted to S(c) when c >  0 is sufficiently small. Finally, as a by-product of our approaches, we extend some results of Colin et al. (Nonlinearity 23(6):1353–1385, 2010) where a constrained minimization problem, associated with a quasi-linear equation, is considered.     

On a transformation of power series

Изучаются ряды Риман а, рассматривавшиеся ранее в работах [1] и [2]. Пустьa _n (n=1, 2,…) — последов ательность комплекс ных чисел иr _n =a _n +a _2n +…. Предполо жим, чтоΣ¦a _n ¦<∞. Тогда выпо лняются неравенства $$\begin{array}{*{20}c} {\sum\limits_n {\left| {r_n } \right| \leqq } \sum\limits_n {\left| {a_n } \right|} d(n),} & {\sum\limits_n {\left| {a_n } \right|} } \\ \end{array} \leqq \sum\limits_n {\left| {r_n } \right|2^{\omega (n)} ,} $$ гдеd(n) иω(n) — соответств енно число делителей и число простых делителейn. Е сли $$\begin{array}{*{20}c} {F(z) = \sum\limits_n {a_n z^n ,} } & {p_n (z) = \sum\limits_{s|n} {\mu \left( {\frac{n}{s}} \right)z^s ,} } \\ \end{array} $$ то \(F(z) = \sum\limits_n {r_n p_n (z)} \) для ¦z¦<1. В статье с одержатся некоторые результаты о сходимо сти рядов РиманаΣt _n p _n (z) на окружно сти ¦z¦=1. Например, если числаt _n неотрицатель ны, монотонно убывают и \(\sum\limits_n {t_n< \infty } \) , то ряд равн омерно сходится для ¦z¦=1. Сформулированы неко торые новые задачи.     

A Theorem of Hardy-Bennett-Type

Recently G. Bennett described a new way of looking at classical inequalities. His method is a certain "factorization" of inequalities. The new results provide the best possible version of several well-known inequalities. We generalize one of Bennett's theorems which is the factorized restatement and generalization of the following classical Hardy inequality: $$\sum\limits_{n = 1}^\infty {\left( {\frac{1}{n}\sum\limits_{k = 1}^n {\left| {x_k } \right|} } \right)^p < \left( {\frac{p}{{p - 1}}} \right)^p \sum\limits_{n = 1}^\infty {\left| {x_n } \right|} ^p }$$ , which holds for any p > 1.     

On a relationship in the theory of Fourier series

In this paper we prove the validity of the inequality $$\begin{array}{*{20}c} {\sup } \\ n \\ \end{array} \int_{ - \pi }^\pi {\left| {\frac{{f(0)}}{2} + \sum\nolimits_{k = 1}^n f \left( {\frac{{k\pi }}{n}} \right)e^{ikt} } \right|} dt \leqslant C\sum\nolimits_{m = 0}^\infty {\left| {\int_0^\pi {f(t)e^{imt} dt} } \right|}$$ for an arbitrary continuous function (C is an absolute constant). An inequality in the opposite sense was obtained by one of us earlier.     

Precise Asymptotics in the Baum-Katz and Davis Laws of Large Numbers of ρ-mixing Sequences

Let {X,Xn;n ≥ 1} be a strictly stationary sequence of ρ-mixing random variables with mean zeros and finite variances. Set Sn =∑k=1^n Xk, Mn=maxk≤n｜Sk｜,n≥1.Suppose limn→∞ESn^2/n=：σ^2〉0 and ∑n^∞=1 ρ^2/d（2^n）〈∞,where d=2 if 1≤r〈2 and d〉r if r≥2.We prove that if E｜X｜^r 〈∞,for 1≤p〈2 and r〉p,then limε→0ε^2（r-p）/2-p ∑∞n=1 n^r/p-2 P{Mn≥εn^1/p}=2p/r-p ∑∞k=1（-1）^k/（2k＋1）^2（r-p）/（2-p）E｜Z｜^2（r-p）/2-p,where Z has a normal distribution with mean 0 and variance σ^2.     

Symplectic mean curvature flow in CP 2

Let Σ be an immersed symplectic surface in CP ² with constant holomorphic sectional curvature k > 0. Suppose Σ evolves along the mean curvature flow in CP ². In this paper, we show that the symplectic mean curvature flow exists for long time and converges to a holomorphic curve if the initial surface satisfies ${|A|^2 \leq \lambda|H|^2 + \frac{2\lambda-1}{\lambda}k}$ and ${\cos\alpha\geq\sqrt{\frac{7\lambda-3}{3\lambda}}\left(\frac{1}{2} < \lambda\leq\frac{2}{3}\right) {\rm or} |A|^2\leq \frac{2}{3}|H|^2+\frac{4}{5}k\cos\alpha\, {\rm and} \cos\alpha\geq 1-\varepsilon}$ , for some ${\varepsilon}$ .     

Asymptotic radial symmetry and growth estimates of positive solutions to weighted Hardy–Littlewood–Sobolev system of integral equations

In this article, we study the asymptotics of the positive solutions of the Euler–Lagrange system of the weighted Hardy–Littlewood–Sobolev in R ⁿ $$\begin{array}{ll} u(x) = \frac{1}{|x|^{\alpha}}\int\limits_{R^{n}} \frac{v(y)^q}{|y|^{\beta}|x-y|^{\lambda}} dy,\\ v(x) = \frac{1}{|x|^{\beta}}\int\limits_{R^{n}} \frac{u(y)^p}{|y|^{\alpha}|x-y|^{\lambda}} dy.\end{array}$$ A new iterative method is introduced to obtain the optimal weighted local integrability of u(x). By this new method, we establish the asymptotic estimates of the solutions around the origin and near infinity. With these new estimates, we complete the study of the asymptotic behavior of the solutions. We believe this new iterative method and the new type of the weighted local estimates can be used in many other cases.     

Sharp weak-type inequalities for Hilbert transform and Riesz projection

The paper is devoted to the study of the weak norms of the classical operators in the vector-valued setting.

1. Let S, H denote the singular integral involution operator and the Hilbert transform on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {\mathcal{S}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p,$$ $$\left\| {\mathcal{H}f} \right\|_{p,\infty } \leqslant \left( {\frac{1} {\pi }\int_{ - \infty }^\infty {\frac{{\left| {\tfrac{2} {\pi }\log \left| t \right|} \right|^p }} {{t^2 + 1}}dt} } \right)^{ - 1/p} \left\| f \right\|p.$$ Both inequalities are sharp.
2. Let P ₊ and P _? stand for the Riesz projection and the co-analytic projection on $L^p \left( {\mathbb{T}, \ell _\mathbb{C}^2 } \right)$ , respectively. Then for 1 ≤ p ≤ 2 and any f, $$\left\| {P + f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p ,$$ $$\left\| {P - f} \right\|_{p,\infty } \leqslant \left\| f \right\|_p .$$ Both inequalities are sharp.
3. We establish the sharp versions of the estimates above in the nonperiodic case.

The results are new even if the operators act on complex-valued functions. The proof rests on the construction of an appropriate plurisubharmonic function and probabilistic techniques.     

Absolute tauberian conditions for absolute hausdorff and quasi-hausdorff methods

The purpose of this paper is to prove that for a large set of absolute Hausdorff and quasi-Hausdorff methods the condition $$\sum\limits_{k = 1}^\infty {\left| {\lambda _n a_n - \lambda _{n - 1} a_{n - 1} } \right|< } \infty $$ is a Tauberian condition, i.e., its fulfillment together with the absolute summability of \(\sum\limits_{n = 0}^\infty {a_n } \) tos implies that \(\sum\limits_{n = 0}^\infty {\left| {a_n } \right|}< \infty \) and \(\sum\limits_{n = 0}^\infty {a_n } = s.\) a _n =s.     

Some inequalities related to Sobolev norms

In this paper, we study some properties related to the new characterizations of Sobolev spaces introduced in Bourgain and Nguyen (C R Acad Sci, 343:75?C80, [2006]), Nguyen (J Funct Anal 237: 689?C720, [2006]; J Eur Math Soc 10:191?C229, [2008]). More precisely, we establish variants of the Poincaré inequality, the Sobolev inequality, and the Rellich?CKondrachov compactness theorem, where ${\int_{\mathbb{R}^N} |\nabla g|^p \;dx}$ is replaced by some quantity of the type $$I_{\delta} (g) =\mathop{\int\limits_{\mathbb{R}^N}\int\limits_{\mathbb{R}^N}}_{|g(x) - g(y)| > \delta}\frac{\delta^p}{|x-y|^{N+p}}\, dx \, dy.$$      

Some Zygmund type inequalities for the <Emphasis Type="Italic">s</Emphasis>th derivative of polynomials

For a polynomial P(z) of degree n having no zeros in |z| < 1, it was recently proved in [9] that

$$\left| {{z^s}{P^{\left( s \right)}}\left( z \right) + \beta \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{{{2^s}}}P\left( z \right)} \right| \leqslant \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{2}\left( {\left| {1 + \frac{\beta }{{{2^s}}}} \right| + \left| {\frac{\beta }{{{2^s}}}} \right|} \right)\mathop {\max }\limits_{\left| z \right| = 1} \left| {P\left( z \right)} \right|$$

for every β ∈ C with |β| ≤ 1, 1 ≤ s ≤ n and |z| = 1. In this paper, we obtain the L _p mean extension of the above and other related results for the sth derivative of polynomials.

     

Volume Formulas in Lp-Spaces

We extend classical volume formulas for ellipsoids and zonoids to p-sums of segments $${vol}\left( {\sum\limits_{i=1}^m { \oplus_p } [ -x_i ,x_i ]} \right)^{1/n} \sim_{c_p} n^{ - \frac{1}{{p'}}} \left( {\sum\limits_{card(I) = n} {|\det (x_i)_i |^p}} \right)^{\frac{1}{{pn}}}$$ where x1,...,xm are m vectors in $\mathbb{R}^n ,\frac{1}{p} + \frac{1}{{p\prime }} = 1$ . According to the definition of Firey, the Minkowski p-sum of segments is given by $$\sum\limits_{i = 1}^m { \oplus _p [ - x_{i,} x_i ]} = \left\{ {\sum\limits_{i = 1}^m {\alpha _i } x_i \left| {\left( {\sum\limits_{i = 1}^m {|\alpha _i |^{p^\prime } } } \right)} \right.^{\frac{1}{{p^\prime }}} \leqslant 1} \right\}.$$ We describe related geometric properties of the Lewis maps associated to classical operator norms.     

Logarithmic growth of theL 1-norm of the majorant of partial sums of an orthogonal series

It is proved that for anyN ×N orthogonal matrixA = {a _ij} we have $$\sum\limits_{i = 1}^N {\mathop {\max }\limits_{1 \leqslant n \leqslant N} |\left| {\sum\limits_{j = 1}^n {a_{ij} } } \right|} \geqslant \frac{1}{{30}}N^{1/2} \log N.$$ A multidimensional analog of this result is also established.