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.

     

Waist and trunk of knots

Let K be a knot in the 3-sphere S ³. We define the waist of K as

$waist (K) = \mathop{\rm max}\limits_{F\in\mathcal{F}} \mathop{\rm min}\limits_{D\in\mathcal{D}_{F}} |D \cap K|,$

where \({\mathcal{F}}\) is the set of all closed incompressible surfaces in S ³?K and \({\mathcal{D}_F}\) is the set of all compressing disks for F in S ³. We define the trunk of K as

$trunk(K) = \mathop{\rm min}\limits_{h\in\mathcal{H}} \mathop{\rm max}\limits_{t\in\mathbb{R}} |h^{-1}(t) \cap K|,$

where \({\mathcal{H}}\) is the set of all Morse function \({h : S^3 \to \mathbb{R}}\) with two critical points. We show that

$waist (K) \le \frac{trunk(K)}{3}$

.

     

On multiplicative functions on consecutive integers

Let f and g be multiplicative functions of modulus 1. Assume that \( {\lim_{x \to \infty }}\frac{1}{x}\left| {\sum\nolimits_{n \leqslant x} {f(n)} } \right| = A > 0 \) and \( {\lim_{x \to \infty }}\frac{1}{x}\left| {\sum\nolimits_{n \leqslant x} {g(n)} } \right| = 0 \). We prove that, under these conditions,

$ \mathop {\lim }\limits_{x \to \infty } \frac{1}{x}\sum\limits_{n \leqslant x} {f(n)g(n + 1) = 0.}$

Concerning the Liouville function λ, we find an upper estimate for \( \frac{1}{x}\left| {\sum\limits_{n \leqslant x} {\lambda (n)\lambda (n + 1)} } \right| \) under the unproved hypothesis that L(s, χ) have Siegel zeros for an infinite sequence of L-functions.

     

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.

     

Maximal Area Integral Problem for Certain Class of Univalent Analytic Functions

One of the classical problems concerns the class of analytic functions f on the open unit disk |z| < 1 which have finite Dirichlet integral Δ(1, f), where

$$\Delta(r ,f) = \iint_{|z| < r} |f' (z)| ^ 2 \, {\rm d} x {\rm d}y \quad (0 < r \leq 1)$$

The class \({\mathcal{S} ^*(A,B)}\) of normalized functions f analytic in |z| < 1 and satisfies the subordination condition \({zf'(z)/f(z)\prec (1+Az)/(1+Bz)}\) in |z| < 1 and for some \({-1\leq B\leq 0}\) , \({A \in \mathbb{C}}\) with \({A\neq B}\) , has been studied extensively. In this paper, we solve the extremal problem of determining the value of

$$\max_{f\in \mathcal{S}^*(A,B)}\Delta(r,z/f)$$

as a function of r. This settles the question raised by Ponnusamy and Wirths (Ann Acad Sci Fenn Ser AI Math 39:721–731, 2014). One of the particular cases includes solution to a conjecture of Yamashita which was settled recently by Obradovi? et al. (Comput Methods Funct Theory 13:479–492, 2013).

     

On the numerical index of real <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(µ)-spaces

We give a lower bound for the numerical index of the real space L _p (µ) showing, in particular, that it is non-zero for p ≠ 2. In other words, it is shown that for every bounded linear operator T on the real space L _p (µ), one has

$\sup \left\{ {|\int {|x{|^{p - 1}}{\rm{sign}}(x)Tx d\mu |:x \in {L_p}\left( \mu \right), ||x|| = 1} } \right\} \ge {{{M_p}} \over {12{\rm{e}}}}||T||$

where \({M_p} = {\max _{t \in \left[ {0,1} \right]}}{{|{t^{p - 1}} - t|} \over {1 + {t^p}}} > 0\) for every p ≠ 2. It is also shown that for every bounded linear operator T on the real space L _p (µ), one has

$\sup \left\{ {\int {|x{|^{p - 1}}|Tx| d\mu :x \in {L_p}\left( \mu \right), ||x|| = 1} } \right\} \ge {1 \over {2{\rm{e}}}}||T||$

.

     

Adaptive Fourier series—a variation of greedy algorithm

We study decomposition of functions in the Hardy space \(H^2(\mathbb{D} )\) into linear combinations of the basic functions (modified Blaschke products) in the system

$\label{Walsh like} {B}_n(z)= \frac{\sqrt{1-|a_n|^2}}{1-\overline{a}_{n}z}\prod\limits_{k=1}^{n-1}\frac{z-a_k}{1-\overline{a}_{k}z}, \quad n=1,2,..., $

(1)

where the points a _n ’s in the unit disc \(\mathbb{D}\) are adaptively chosen in relation to the function to be decomposed. The chosen points a _n ’s do not necessarily satisfy the usually assumed hyperbolic non-separability condition

$\label{condition} \sum\limits_{k=1}^\infty (1-|a_k|)=\infty $

(2)

in the traditional studies of the system. Under the proposed procedure functions are decomposed into their intrinsic components of successively increasing non-negative analytic instantaneous frequencies, whilst fast convergence is resumed. The algorithm is considered as a variation and realization of greedy algorithm.

     

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

     

Weak Uniform Normal Structure and Fixed Points of Asymptotically Regular Semigroups

Let X be a Banach space with a weak uniform normal structure and C a non–empty convexweakly compact subset of X. Under some suitable restriction, we prove that every asymptoticallyregular semigroup T = {T(t) : t ∈¸ S} of selfmappings on C satisfying

${\mathop {\lim \inf }\limits_{S \mathrel\backepsilon t \to \infty } }{\left| {{\left\| {T(t)} \right\|}} \right|} < {\text{WCS}}(X)$

has a common fixed point, where WCS(X) is the weakly convergent sequence coefficient of X, and\({\left| {{\left\| {T(t)} \right\|}} \right|}\) is the exact Lipschitz constant of T(t).     

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

On extremal properties for the polar derivative of polynomials

If p(z) is a polynomial of degree n having all its zeros on |z| = k, k ≤ 1, then it is proved[5] that max |z|=1 |p′(z)| ≤ kn1n + kn m|z|=ax1 |p(z)|. In this paper, we generalize the above inequality by extending it to the polar derivative of a polynomial of the type p(z) = cnzn + ∑n j=μ cn jzn j, 1 ≤μ≤ n. We also obtain certain new inequalities concerning the maximum modulus of a polynomial with restricted zeros.     

Isoperimetric inequality for the polydisk

Let \({n\in\mathbb{N}}\). For \({k\in\{1,\dots,n\}}\) let \({\Omega_k\subset \mathbb{C}}\) be a simply connected domain with a rectifiable boundary. Let \({\Omega^n=\prod_{k=1}^n\Omega_k\subset \mathbb{C}^n}\) be a generalized polydisk with distinguished boundary \({\partial\Omega^n=\prod_{k=1}^n\partial\Omega_k}\). Let E ^r (Ω ⁿ ) be the holomorphic Smirnov class on Ω ⁿ with index r. We show that the generalized isoperimetric inequality

$ \int\limits_{\Omega^n} |f_1|^p|f_2|^qdV\le \frac{1}{(4\pi)^n}\int\limits_{\partial \Omega^n}|f_1|^pdS \int\limits_{\partial \Omega^n} |f_2|^qdS, $

holds for arbitrary \({f_1\in E^p(\Omega^n)}\) and \({f_2\in E^q(\Omega^n)}\), where 0 < p, q < ∞. We also determine necessary and sufficient conditions for equality.

     

An explicit formula for the fourth moment of certain exponential sums

For integers m, n, q, k, with q,k≧1 and Dirichlet characters \(\chi, \chi' \text {\rm \;(mod}\,q)\) we define a generalized Kloosterman sum

$S(m,n,\chi, \chi', q)= \sideset{}{'} \sum_{a=1}^q \chi (a)G(a,\chi')e \left(\frac{ma^k+na}{q}\right)$

with a Dirichlet character and a Gauss sum G(a,χ′) as coefficient, where e(z)=e ^2πiz . The aim of this paper is to study the fourth power mean

$M_k(q)=\sum_m\ \sum_{\chi}\ \sum_{\chi'} \bigl|S(m,n,\chi,\chi', q)\bigr|^4$

obtaining explicit formulas for M _k (q).

     

Lacunary series in weighted spaces of analytic functions

We improve a recent result of Yang and Xu (Arch. Math. 96 (2011), 151–160) by proving that if ψ is a normal function on [1, ∞) and \({f(z)=\sum_{n=0}^\infty a_n z^{k_n}}\) (|z| < 1) is an analytic function with Hadamard gaps, then

$\frac 1C \sup_{n\ge 0} \frac{|a_n|}{\psi(k_n)} \le \sup_{0 < r < 1} \frac{|f(r\zeta)|}{\psi(1/(1-r))} \le C\sup_{n\ge 0}\frac{|a_n|}{\psi(k_n)}, \quad |\zeta|=1,$

where C is a constant independent of ζ and {a _n }.

     

On the equiconvergence rate with the Fourier integral of the spectral expansion associated with the self-adjoint extension of the Sturm-Liouville operator with uniformly locally integrable potential

In the space L ₂(?), we consider the self-adjoint extension \(\mathcal{L}\) of the Sturm-Liouville operator ly = ?y″ + q(x)y whose potential q is uniformly locally integrable on ?, i.e., satisfies the condition

$\omega _q (h) = \mathop {\sup }\limits_{x \in \mathbb{R}} \int\limits_x^{x + h} {\left| {q(t)} \right|dt < + \infty ,h > 0.} $

. We study the problem on the equiconvergence rate of the spectral expansion associated with \(\mathcal{L}\) of a function f ∈ L ₁(?) with the Fourier integral on the entire real line. We obtain uniform estimates of the equiconvergence rate under some additional conditions on f or q.

     

Output stabilization for a class of uncertain systems

The system

$$\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u,{\kern 1pt} \frac{{dy}}{{dt}} = A\left( \cdot \right)y + B\left( \cdot \right)u + D\left( {C*y - v} \right)$$

where v = C*x is an output, u = S*y is a control, A(·) ∈ R ^{n × n} , B(·) ∈ R ^{n × (n–p)}, C ∈ R ^{n × (n–p)}, and D ∈ R ^{n × (n–p)}, is considered. The elements α_ij(·) and β_ij(·) of the matrices A(·) and B(·) are arbitrary functionals satisfying the conditions

$$\mathop {\sup }\limits_{\left( \cdot \right)} |{\alpha _{ij}}\left( \cdot \right)| < \infty \left( {i,j \in 1,n} \right),\mathop {\sup }\limits_{\left( \cdot \right)} |{\beta _{ij}}\left( \cdot \right)| < \infty \left( {i \in 1,n,j \in 1,n - p} \right).$$

It is assumed that A(·) ∈ Z ₁ ∪ Z ₃ and A*(·) ∈ Z ₁ ∪ Z ₃, where Z ₁ is the class of matrices in which the first p elements of the kth superdiagonal are sign-definite and the elements above them are sufficiently small. The class Z ₃ differs from Z _t1 in that the elements between this superdiagonal and the (k + 1)th row are sufficiently small. If k > p, then the elements of the p × p square in the upper left corner of the matrix are sufficiently small as well. By using special quadratic Lyapunov functions, a matrix D for which y(t)–x(t) → 0 exponentially as t → ∞ is first found, and then a matrix S for which the vectors x(t) and y(t) have the same property is constructed.

     

Parisian ruin over a finite-time horizon

For a risk process R_u(t) = u + ct- X(t), t≥0, where u≥0 is the initial capital, c 0 is the premium rate and X(t), t≥0 is an aggregate claim process, we investigate the probability of the Parisian ruin P_S(u, T_u) = P{inf (t∈[0,S]_(s∈[t,t+T_u])) sup R_u(s) 0}, S, T_u 0.For X being a general Gaussian process we derive approximations of P_S(u, T_u) as u →∞. As a by-product, we obtain the tail asymptotic behaviour of the infimum of a standard Brownian motion with drift over a finite-time interval.     

On the average volume of sections of convex bodies

The average section functional as(K) of a star body in Rn is the average volume of its central hyperplane sections: \(as\left( k \right) = \int_{{S^{n - 1}}} {\left| {K \cap {\xi ^ \bot }} \right|} d\sigma \left( \xi \right)\). We study the question whether there exists an absolute constantC > 0 such that for every n, for every centered convex body K in R ⁿ and for every 1 ≤ k ≤ n ? 2,

$$as\left( K \right) \leqslant {C^k}{\left| K \right|^{\frac{k}{n}}}\mathop {\max }\limits_{|E \in G{r_{n - k}}} {\kern 1pt} as\left( {K \cap E} \right)$$

. We observe that the case k = 1 is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces C by CL _K orCd_ovr(K, BP _k ⁿ ), where L _K is the isotropic constant of K and dovr(K, BP _k ⁿ ) is the outer volume ratio distance of K to the class BP _k ⁿ of generalized k-intersection bodies. We also compare as(K) to the average of as(K ∩ E) over all k-codimensional sections of K. We examine separately the dependence of the constants on the dimension when K is in some classical position. Moreover, we study the natural lower dimensional analogue of the average section functional.

     

Neighborhood Conditions for Fractional ID-<Emphasis Type="Italic">k</Emphasis>-factor-critical Graphs

Let G be a graph and k ≥ 2 a positive integer. Let h: E(G) → [0, 1] be a function. If \(\sum\limits_{e \mathrel\backepsilon x} {h(e) = k} \) holds for each x ∈ V (G), then we call G[F_h] a fractional k-factor of G with indicator function h where F_h = {e ∈ E(G): h(e) > 0}. A graph G is fractional independent-set-deletable k-factor-critical (in short, fractional ID-k-factor-critical), if G ? I has a fractional k-factor for every independent set I of G. In this paper, we prove that if n ≥ 9k ? 14 and for any subset X ? V (G) we have

$${N_G}(X) = V(G)if|X| \geqslant \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ;or|{N_G}(X)| \geqslant \frac{{3k - 1}}{k}|X|if|X| < \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ,$$

then G is fractional ID-k-factor-critical.

     

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.