Some consequences of the Lindelöf conjecture

Suppose that the Lindelöf conjecture is valid in the following quantitative form: $$|\zeta (\frac{1}{2} + it)| \leqslant c_0 |t|^{\varepsilon (|t|)} $$ , where ε(t) is a monotone decreasing function, $\varepsilon (2t) \geqslant \tfrac{1}{2}\varepsilon (t),\varepsilon (t) \geqslant \tfrac{1}{{\sqrt {log t} }}$ . Then it is proved that for |t|≥T₀ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant v\} $ contains at most 20v log |t| zeros of ζ(s) if $\tfrac{1}{2} \geqslant v \geqslant \sqrt {\varepsilon (t)} $ . There exists an absolute constant A such that for |t|≥T₁ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant A\varepsilon ^{\tfrac{1}{3}} (t)\} $ contains at least one zero of ζ(s). Bibliography: 2 titles.     

Two inequalities for pseudo-differential operators

Изучается ограничен ность псевдодиффере нциальных операторов на \(L^2 (R^n )\) и на пр остранствах Харди в \(R^n \) . Пусть \(D_k = \{ \xi \in R^n :2^{k - 1} \leqq \left| \xi \right|< 2^k \} , k = 1,2,3, \ldots ,\) и \(D_0 = \{ \xi \in R^n :\left| \xi \right|< 1\} \) . Псевдодиффер енциальный операторP с символом p определяется соотно шением $$Pf(x) = \int\limits_{R^n } {e^{ix \cdot \xi } p(x,\xi )\hat f(\xi )d\xi ,x \in R^n .} $$ Будем говорить, что p пр инадлежит классу \(\bar S_{\varrho ,} {}_\delta (M,N), 0 \leqq \delta ,\varrho \leqq 1\) , ес ли $$\left| {D_x^a p(x,\xi )} \right| \leqq C_a (1 + \left| \xi \right|)^{\delta \left| a \right|} , x,\xi \in R^n ,\left| a \right| \leqq M,$$ и $$\int\limits_{D_k } {\left| {D_x^a D_\xi ^\beta p(x,\xi )} \right|d\xi \leqq C_{a\beta } 2^{kn} 2^{k(\delta |a| - \varrho |\beta |)} , x} \in R^n , k = 0,1,2, \ldots ;|a| \leqq M, |\beta | \leqq N.$$ Изучаются условия, ко торым должны удовлет ворять ?. δ,M иN, чтобы для каждого символа \(p \in \bar S_\varrho , {}_\delta (M,N)\) соответствующий оп ераторP был ограниче н на \(L^2 (R^n )\) . Далее, пусть \(p \in S_\varrho , {}_\delta \) , если дл я всех мультииндексо в а и β выполнено условие $$|D_x^a D_\xi ^\beta p(x,\xi )| \leqq C_{a\beta } (1 + |\xi |)^{\delta |\alpha | - \varrho |\beta |} , x,\xi \in R^n .$$ Доказывается, что при 0≦δ<1 операторP отображ ает пространство Харди \(H^p (R^n )\) в локальное пространство Харди ? ^p , если символp принадл ежит классуS ₁, δ.     

Interpolation with lagrange polynomials a simple proof of Markov inequality and some of its generalizations

The following theorem is provedTheorem 1.Let q be a polynomial of degree n(qP_n)with n distinct zeroes lying inthe interval[-1,1] and△'_q={-1}∪{τ_i:q'(τ_i)=0,i=1,n-1}∪{1}.If polynomial pP_n satisfies the inequalitythen for each k=1,n and any x[-1,1]its k-th derivative satisfies the inequality丨p~(k)(x)丨≤max{丨q~((k))(x)丨,丨1/k(x~2-1)q~(k+1)(x)+xq~((k))(x)丨}.This estimate leads to the Markov inequality for the higher order derivatives ofpolynomials if we set q=T_n,where Tn is Chebyshev polynomial least deviated from zero.Some other results are established which gives evidence to the conjecture that under theconditions of Theorem 1 the inequality ‖p~((k))‖≤‖q~(k)‖holds.     

A mixed boundary-value problem for a hyperbolic-parabolic equation

Let Ω be a bounded domain in the n-dimensional Euclidean space. In the cylindrical domain QT=Ω x [0, T] we consider a hyperbolic-parabolic equation of the form (1) $$Lu = k(x,t)u_{tt} + \sum\nolimits_{i = 1}^n {a_i u_{tx_i } - } \sum\nolimits_{i,j = 1}^n {\tfrac{\partial }{{\partial x_i }}} (a_{ij} (x,t)u_{x_j } ) + \sum\nolimits_{i = 1}^n {t_i u_{x_i } + au_t + cu = f(x,t),} $$ where \(k(x,t) \geqslant 0,a_{ij} = a_{ji} ,\nu |\xi |^2 \leqslant a_{ij} \xi _i \xi _j \leqslant u|\xi |^2 ,\forall \xi \in R^n ,\nu > 0\) . The classical and the “modified” mixed boundary-value problems for Eq. (1) are studied. Under certain conditions on the coefficients of the equation it is proved that these problems have unique solution in the Sobolev spaces W ₂ ¹ (QT) and W ₂ ² (QT).     

On spectra ofp-hyponormal operators

The purpose of this paper is to show the following: Let 0<p<1/2. IfT=U|T| is a p-hyponormal operator with a unitaryU on a Hilbert space, then $$\sigma (T) = \mathop \cup \limits_{0 \leqslant k \leqslant 1} \sigma (T_{\left[ k \right]} ),$$ where $$T_{\left[ k \right]} = U[(1 - k)S_U^ - (\left| T \right|^{2p} ) + kS_U^ + (\left| T \right|^{2p} ]^{\tfrac{1}{{2p}}} $$ andS _U ^± (T) denote the polar symbols ofT.     

An analog of the weyl decomposition of the spaceL q (ω, ℝ n ) for a first-order differential operatorfor a first-order differential operator

We prove the following theorem: Suppose the function f(x) belongs toL _q (ω, ? ⁿ ), ω ? ? ^m , q∈(1, ∞), and satisfies the inequality $$|\int\limits_\omega {(f(x),{\mathbf{ }}v(x)){\mathbf{ }}dx| \leqslant \mu ||} v||'_q ,{\mathbf{ }}\tfrac{1}{q} + \tfrac{1}{{q'}} = 1,$$ for all n-dimensional vector-valued functions in the kernel of a scalar-valued first-order differential operator £ for which the second-order operatorLL ^* is elliptic. Then there exists a function p(x)∈W _q ¹ (ω) such that $$||f(x) - \mathfrak{L}^* p(x)||q \leqslant C_q \mu .$$ Bibliography: 6 titles.     

Stability of the Derivative of a Canonical Product

With each sequence \(\alpha =(\alpha _n)_{n\in \mathbb{N }}\) of pairwise distinct and non-zero points which are such that the canonical product $$\begin{aligned} P_\alpha (z) := \lim _{r\rightarrow \infty }\prod _{|\alpha _n|\le r}\left( 1-\frac{z}{\alpha _n}\right) \end{aligned}$$ converges, the sequence $$\begin{aligned} \alpha ^{\prime } := \bigl (P_\alpha ^{\prime }(\alpha _n)\bigr )_{n\in \mathbb{N }} \end{aligned}$$ is associated. We give conditions on the difference \(\beta -\alpha \) of two sequences which ensure that \(\beta ^{\prime }\) and \(\alpha ^{\prime }\) are comparable in the sense that $$\begin{aligned} \exists \,c,C>0:\quad c|\alpha ^{\prime }_n| \le |\beta ^{\prime }_n| \le C|\alpha ^{\prime }_n|, \quad n\in \mathbb{N }. \end{aligned}$$ The values \(\alpha ^{\prime }_n\) play an important role in various contexts. As a selection of applications we present: an inverse spectral problem, a class of entire functions and a continuation problem.     

Stability of solutions of functional equations connected with problems of characterizing probability distributions

The work contains some results pertaining to the solution ψ_j(x) of the functional equation $$\left| {\Sigma \Psi _j \left( {a_j^T t} \right)} \right| \leqslant \varepsilon ,$$ where a _j ^T =(a_1j, a_2j, ..., a_pj)∈ ?^p, all the coefficients a_ij are constant, t=(t₁, t₂, ..., t_p) ∈ ?^p, \(a_j^T t = \sum\limits_{i - 1}^p {a_{ij} t_i } ,p \geqslant 2\) and the relation (*) is satisfied for all Inequality (*) is connected with certain characterization theorems of probability theory and statistics. For simplicity, it is assumed that the ψ_j(x) are continuous functions, x∈?¹. The following basic ressult is obtained.     

Estimates of maximal functions measuring local smoothness

Letη be a nondecreasing function on (0, 1] such thatη(t)/t decreases andη(+0)=0. Letf ∈L(I ⁿ ) (I≡[0,1]. Set $${\mathcal{N}}_\eta f(x) = \sup \frac{1}{{\left| Q \right|\eta (\left| Q \right|^{1/n} )}} \smallint _Q \left| {f(t) - f(x)} \right|dt,$$ , where the supremum is taken over all cubes containing the pointx. Forη=t ^α (0<α≤1) this definition was given by A.Calderón. In the paper we prove estimates of the maximal functions ${\mathcal{N}}_\eta f$ , along with some embedding theorems. In particular, we prove the following Sobolev type inequality: if $$1 \leqslant p< q< \infty , \theta \equiv n(1/p - 1/q)< 1, and \eta (t) \leqslant t^\theta \sigma (t),$$ , then $$\parallel {\mathcal{N}}_\sigma {f} {\parallel_{q,p}} \leqslant c \parallel {\mathcal{N}}_\eta {f} {\parallel_p} .$$ . Furthermore, we obtain estimates of ${\mathcal{N}}_\eta f$ in terms of theL ^p -modulus of continuity off. We find sharp conditions for ${\mathcal{N}}_\eta f$ to belong toL ^p (I ⁿ ) and the Orlicz class?(L), too.     

Note on the distribution of zeros of polynomials

Let \(\mathfrak{M}\) be the set of zeros of the polynomial \(P(z) = \sum\nolimits_{k = 0}^m {A_k S_k (z)} \) , where S_k(z) are functions defined in some region B and the coefficients A_k are arbitrary numbers from the ring $$0 \leqslant \tau _k \leqslant |A_k - a_k | \leqslant R_{_k }< \infty $$ . Conditions necessary and sufficient to ensure that z ∈ \(\mathfrak{M}\) are obtained.     

A direct theorem for strictly convex domains in ℂn

For a strictly covex C²-smooth domain Ω??ⁿ and a function f ? Λ^α(Ω) holomorphic in Ω, we construct polynomials p_N, deg p_N<-N, such that $$\left| {f(z) - p_N (z)} \right| \leqslant CN^{ - \alpha } ,z \in \bar \Omega .$$ Bibliography: 12 titles.     

Removable singular sets for equations of the form\sum {\tfrac{\partial }{{\partial x_i }}a_{ij} (x)\tfrac{{\partial u}}{{\partial x_j }} = f(x,u,\nabla u)}

The following uniformly elliptic equation is considered: $$\sum {\tfrac{\partial }{{\partial x_i }}a_{ij} (x)\tfrac{{\partial u}}{{\partial x_j }} = f(x,u,\nabla u)} , x \in \Omega \subset R^n ,$$ with measurable coefficients. The function f satisfies the condition $$f(x, u, \nabla u) u \geqslant C|u|^{\beta _1 + 1} |\nabla u|^{\beta _1 } , \beta _1 > 0, 0 \leqslant \beta _2 \leqslant 2, \beta _1 + \beta _2 > 1$$ . It is proved that if u(x) is a generalized (in the sense of integral identity) solution in the domain ΩK, where the compactum K has Hausdorff dimension α, and if \(\frac{{2\beta _1 + \beta _2 }}{{\beta _1 + \beta _2 - 1}}< n - \alpha \) , u(x) will be a generalized solution in the domain ω. Moreover, the sufficient removability conditions for the singular set are, in some sense, close to the necessary conditions.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

On a multiplicative function on the set of shifted primes

It is proved that if ?(n) is a multiplicative function taking a valueζ on the set of primes such thatζ ³ = 1,ζ ≠ 1 and? ³(p ^r)=1 forr≥2, then there exists aθ ∈ (0, 1), for which $$|\sum\limits_{p \leqslant x} f (p + 1)| \leqslant \theta \pi (x)$$ , where $$\pi (x) = \sum\limits_{p \leqslant x} 1$$ .     

Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

Regularity of minimizers of non-isotropic integrals of the calculus of variations

The regularity of the minimizers of a special type of non-isotropic variational minimization problem is studied. The particularity of the potential of energy is that it has different growth rate with respect to different parts of the derivatives of the function. In particular, the model treated in this paper can be described as $$\Phi (Du) = |\partial _1 u|^2 + |\partial _2 u|^2 + |\partial _3 u|^2 + |\partial _3 u - |^p .$$ By using a result of P.Marcellini (cf. [4]) and perturbation method, it is proved that the minimizer of the Dirichlet boundary value problem is a function of W _loc ^{1, ∞} .     

On the properties of the strong Cesàro summability and strong convergence of series

Говорят, что ряд \(\mathop \sum \limits_{k = 0}^\infty a_k \) сумм ируется к s в смысле (С, gа), gа >?1, если $$\sigma _n^{(k)} - s = o(1),n \to \infty ,$$ в смысле [C,α] _λ , α<0, λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {\sigma _k^{(\alpha - 1)} - s} \right|^\lambda = o(1),n \to \infty ,$$ и в смысле [C,0] _λ , λ>0, если $$\frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n \left| {(k + 1)(s_k - 1) - k(s_{k - 1} - 1)} \right|^\lambda = o(1),n \to \infty ,$$ где σ _n ^(α) обозначаетn-ое ч езаровское среднее р яда. Суммируемость [C,α] _λ , α>?1, λ ≧1 о значает, что $$\mathop \sum \limits_{k = 0}^\infty k^{\lambda - 1} \left| {\sigma _k^{(\alpha )} - \sigma _{k - 1}^{(\alpha )} } \right|^\lambda< \infty .$$ В данной статье содер жится продолжение ис следований свойств [C,α] _λ -суммиру емо сти, которые начали Винн, Х ислоп, Флетт, Танович-М иллер и автор, в частности свя зей между указанными методами суммирования. Наконец, даны некотор ые простые приложени я к вопросам суммируемости ортог ональных рядов.     

Estimate of a polynomial in generalized exponential functions in the convex hull of two domains

Пусть $$f_n (z) = \exp \{ \lambda _n z\} [1 + \psi _n (z)], n \geqq 1$$ гдеψ _n (z) — регулярны в н екоторой односвязно й областиS, λ _n — нули целой функц ии экспоненциальног о ростаL(λ) с индикатрис ой ростаh(?), причем $$|L\prime (\lambda _n )| > C(\delta )\exp \{ [h(\varphi _n ) - \varepsilon ]|\lambda _n |\} \varphi _n = \arg \lambda _n , \forall \varepsilon > 0$$ . Предположим, что на лю бом компактеK?S $$|\psi _n (z)|< Aq^{|\lambda |_n } , a< q< 1, n \geqq 1$$ гдеA иq зависит только отK. Обозначим через \(\bar D\) со пряженную диаграмму функцииL(λ), через \(\bar D_\alpha \) — смещение. \(\bar D\) на векторα. Рассмотр им множестваD ₁ иD ₂ так ие, чтоD ₁ иD ₂ и их вьшуклая обо лочкаE принадлежатS. Пусть \(\bar D_{\alpha _1 } \subset D_1 , \bar D_{\alpha _2 } \subset D_2 \) Доказывается, что сущ ествует некоторая об ластьG?E такая, что \(\mathop \cup \limits_{\alpha \in [\alpha _1 ,\alpha _2 ]} \bar D_\alpha \subset G\) и дляz∈G верна оценка $$\sum\limits_{v = 1}^n {|a_v f_v (z)|} \leqq B\max (M_1 ,M_2 ), M_j = \mathop {\max }\limits_{t \in \bar D_j } |\sum\limits_{v = 1}^n {a_v f_v (t)} |$$ , где константаB не зав исит от {a _v }.