Remark on a theorem of Aharonov and Walsh

The following theorem is proved: there is a functionf(z) analytic in |z|<1 and having the natural boundary |z|=1 such that for an infinite sequence of rational functions of degreen, r _n(z)=P_n(z)/q_n(z), the inequality 1 $$\left| {f(z) - r_n (z)} \right|< \varepsilon _n $$ holds in the closed unit circle |z|≦1. Here? ₁,? ₂,...,? _n is any sequence of positive numbers, tending to zero asn approaches infinity. This theorem is a refinement of a theorem of Aharonov and Walsh, who showed the existence of anf(z) satisfying (*) in |z|≦1 (with an infinite sequence {r _n(z)}) but having the natural boundary |z|=3.     

Zeros ofA p functions and related classes of analytic functions

The functionf(z), analytic in the unit disc, is inA ^p if \(\int {\int {_{\left| z \right|< 1} \left| {f(z)} \right|^p dxdy< \infty } } \) . A necessary condition on the moduli of the zeros ofA ^p functions is shown to be best possible. The functionf(z) belongs toB ^p if \(\int {\int {_{\left| z \right|< 1} \log ^ + \left| {f(z)} \right|)^p } } \) . Let {z _n } be the zero set of aB ^p function. A necessary condition on |z _n | is obtained, which, in particular, implies that Σ(1?|z _n |)^1+(1/p)+g <∞ for all ε>0 (p≧1). A condition on the Taylor coefficients off is obtained, which is sufficient for inclusion off inB ^p. This in turn shows that the necessary condition on |z _n | is essentially the best possible. Another consequence is that, forq≧1,p<q, there exists aB ^p zero set which is not aB ^q zero set.     

Bounded starlike functions of complex order

LetF(b, M) (b ≠ 0 complex,M>1/2) denote the class of functionsf(z) =z + Σ _n=2 ^∞ a _n z ⁿ analytic in U={z:|z|<1} which satisfy for fixedM, f(z)/z ≠ 0 inU and \(\left| {\frac{{b - 1 + \left[ {zf'{{\left( z \right)} \mathord{\left/ {\vphantom {{\left( z \right)} {f\left( z \right)}}} \right. \kern-0em} {f\left( z \right)}}} \right]}}{b} - M} \right|< M, z \in U\) . In this note we obtain various representations for functions inF(b, M). We maximize |a₃=μa ₂ ² | over the classF(b, M). Also sharp coefficient bounds are established for functions inF(b, M). We also obtain the sharp radius of starlikeness of the classF(b, M).     

Entire functions and discrepancy

Letf be an entire function that is real on the real axis and not a polynomial. Let 1<α<4/3. A condition $$\log \left| {f(z)} \right| = O((\log \left| z \right|)^a )$$ is known to guarantee uniform distribution of the sequencef(n) (n=1,2...). However, we show here by an example that no quantitative version of the uniform distribution can be deduced from (1).     

More quantitative results on walsh equiconvergence: I. Lagrange Case

Letf∈A _ρ (ρ>1), whereA _ρ denotes the class of functions analytic in ¦z¦ <ρ but not in ¦z¦≤ρ. For any positive integerl, the quantity Δ _l,n?1(f; z) (see (2.3)) has been studied extensively. Recently, V. Totik has obtained some quantitative estimates for \(\overline {\lim _{n \to \infty } } \max _{\left| z \right| = R} \left| {\Delta _{l,n - 1}^ - \left( {f;z} \right)} \right|^{1/n} \) . Here we investigate the order of pointwise convergence (or divergence) of Δ _l,n?1(f; z), i.e., we study \(B_1 \left( {f;z} \right) = \overline {\lim _{n \to \infty } } \left| {\Delta _{l,n - 1} \left( {f;z} \right)} \right|^{1/n} \) . We also study some problems arising from the results of Totik.     

具有缺项系数的几类解析函数族的性质

S*表示所有在单位圆盘 D 内解析且满足条件 f(0)=f′ (0)-1=0的星形函数族, K 表示所有在 D内解析且满足条件 f(0)=f′ (0)-1=0 的凸函数族, P 表示所有在 D 内解析且满足条件p(0)=1, Rep(z)>0 的函数族. 设P_n={p(z): p(z)=1+a_nzⁿ+a_n+1zⁿ⁺¹+…∈ P}, S*_n={f (z): f(z)=z+a_nzⁿ+a_n+1zⁿ⁺¹+…∈ S*}, K_n={f (z): f (z)=z+a_nzⁿ+a_n+1zⁿ⁺¹+…∈ K}. L_Sn*={g(z)=ln f(z)/z, f ∈ S_n*}, 其中对数函数取使得ln1=0的那个单值解析分支. 该文研究了函数族S_n^*, K_n和L_Sn*的性质, 找出了解析函数族L_Sn*的极值点与支撑点,并对S*_n与K_n的极值点和支撑点作了一些探讨.     

Sull'andamento delle funzioni maggioranti delle serie di potenze

Sunto Si considerano le serie di potenze f(z) = ∑a _n zⁿ convergenti (almeno) per | z |<1 e si studia l'andamento della funzione maggiorante ∑ | a_n | r^u, ponendolo in relazione con quello della media quadratica del modulo { ∑ | a_n |²r²ⁿ}^1/2 (che in ogni caso è minore del massimo modulo . Si stabiliscono le ? migliori costanti ? soltanto per qualcuno dei quesiti. Alla fine si esamina il caso in cui {∑ | a_n |²r²ⁿ} è convergente con ipotesi che tengono conto delle funzioni ? lentamente oscillanti ?. A Mauro Picone nel suo 70^mo compleanno.     

一类算子值解析函数族的极值点

设 H 是一个Hilbert空间. B(H) 表示所有H 到 H 的有界线性算子构成的Banach空间. 设 T= {f(z): f(z)=zI-∑^∞_n=2 zⁿA_n 在单位圆盘|z|<1上解析, 其中系数A_n是 H 到 H 的紧正Hermitian算子, I 表示 H 上的恒等算子, ∑^∞_n=2 n(A_n x, x) ≤1 对所有x ∈H, ∣|x∣∣=1 成立. 该文研究了函数族 T 的极值点.     

Weighted approximation of entire functions of exponential type of several variables by trigonometric polynomials

Letf be an entire function (in Cⁿ) of exponential type for whichf(x)=0(?(x)) on the real subspace \(\mathbb{R}^w (\phi \geqslant 1,{\mathbf{ }}\mathop {\lim }\limits_{\left| x \right| \to \infty } \phi (x) = \infty )\) and ?δ>0?C_δ>0 $$\left| {f(z)} \right| \leqslant C_\delta \exp \left\{ {h_s (y) + S\left| z \right|} \right\},z = x + iy$$ where h, (x)=sup〈3, x〉, S being a convex set in ?ⁿ. Then for any ?, ?>0, the functionf can be approximated with any degree of accuracy in the form p→ \(\mathop {\sup }\limits_{x \in \mathbb{R}^w } \frac{{\left| {P(x)} \right|}}{{\varphi (x)}}\) by linear combinations of functions x→expi〈λx〉 with frequenciesX belonging to an ?-neighborhood of the set S.     

On the radius of α-convexity of certain classes of starlike functions

LetM (α) denote the class of α-convex functions, α real, that is the class of analytic functions? (z) =z + Σ _n=2/^∞ a _n z ⁿ in the unit discD = {z: |z | < 1} which satisfies inD the condition ?′ (z) ?(z)/z ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z f'(z)}}{{f (z)}} + a \left( {1 + \frac{{z f''(z)}}{{f' (z)}}} \right)} \right\} > 0. Let W (a) $$ denote the class of meromorphic α-convex functions. α real, that is the class of analytic functions ? (z) =z ^?1 + Σ _n=0/^∞ b _n z ⁿ inD* = {z: 0 < |z | < 1} which satisfies inD* the conditionsz?′(z)/?(z) ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z\phi ' (z)}}{{\phi (z)}} + a \left( {1 + \frac{{z\phi ''(z)}}{{\phi ' (z)}}} \right)} \right\}< 0. $$ In this paper we obtain the relation betweenM (a) and W(α). The radius of α-convexity for certain classes of starlike functions is also obtained.     

Extremal problems in a subclass of entire functions of finite power

We study the subclass W_σ(A) of the class of entire transcendental functions f(z)of exponential type with index not greater than σ satisfying the condition $$\int_{ - \infty }^\infty {\left| {f(x)} \right|^2 dx \leqslant A^2 .}$$ We find the set of values of the quantities f(z), f′(z), etc. when z is fixed and f runs through the subclass W_σ(A). We study extremal values of functionals of the type Φ(f(z), f ′(z)). In particular, we obtain upper bounds on the quantities ¦f(z +β/2) ± f(z?β/2) ¦ and ¦af '(z) + bof(z)¦.     

关于单位圆内解析系数的线性微分方程的复振荡理论

该文研究了线性微分方程L(f)=f^(k)+A_k-1(z)f^(k-1)+ ^… +A₀(z)f=F(z) (k∈ N)的复振荡理论, 其中系数A_j(z) (j=0, ^… , k-1)和F(z)是单位圆△={z:|z|<1}内的解析函数. 作者得到了几个关于微分方程解的超级, 零点的超收敛指数以及不动点的精确估计的定理.     

On the analytic continuation of functions defined by regrouped power series

We consider functions defined by regrouped power series \(f(z) = \sum\nolimits_{n = 0}^\infty z ^{\lambda _{n_{P_{k_n } } } } (z)\) in the disk |z|<1 and also in some domain D outside of this disk. We obtain conditions under whichf(z) is analytically continuable outside of the disk |z|<1, the analytic continuation being effected with the help of the given series. We also consider the analytic continuability of functionsf(z, w).     

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.     

An extension of a theorem of Gehring and Pommerenke

Gehring and Pommerenke have shown that if the Schwarzian derivativeSf of an analytic functionf in the unit diskD satisfies |Sf(z)|≤, 2(1 - |z|²)^–2 thenf(D) is a Jordan domain except whenf(D) is the image under a Möbius transformation of an infinite parallel strip. The condition |Sf(z)|≤ 2(1 - |z|²)^–2 is the classical sufficient condition for univalence of Nehari. In this paper we show that the same type of phenomenon established by Gehring and Pommerenke holds for a wider class of univalence criteria of the form|Sf(z)|≤p(|z|) also introduced by Nehari. These include|Sf((z)|≤π ²/2 and|Sf((z)|≤4(1-|z| ²)^–1. We also obtain results on Hölder continuity and quasiconformal extensions.     

A Certain Functional Equation

In this paper, we use a simpler argument and solve the following more general function equation: $$\left| {f\left( {z + w} \right)} \right| + \left| {g\left( {z - w} \right)} \right| = \left| {h\left( {z + \bar w} \right)} \right| + \left| {k\left( {z - \bar w} \right)} \right|$$ where f, g, h, k are unknown entire functions and z, w are complex variables.     

The distribution of extreme points in best complex polynomial approximation

LetK be a compact point set in the complex plane having positive logarithmic capacity and connected complement. For anyf continuous onK and analytic in the interior ofK we investigate the distribution of the extreme points for the error in best uniform approximation tof onK by polynomials. More precisely, if $$A_n (f): = \{ z \in K:|f(z) - p_n^* (f;z)| = \parallel f - p_n^* (f)\parallel _K \} ,$$ wherep _n ^* (f) is the polynomial of degree≤n of best uniform approximation tof onK, we show that there is a subsequencen _k with the property that the sequence of (n _k +2)-point Fekete subsets of \(A_{n_k }\) has limiting distribution (ask→∞) equal to the equilibrium distribution forK. Analogues for weighted approximation are also given.     

Boundedness and compactness of an integral operator in a mixed norm space on the polydisk

We study the following integral type operator

$T_g (f)(z) = \int\limits_0^{z_{} } { \cdots \int\limits_0^{z_n } {f(\zeta _1 , \ldots ,\zeta _n )} g(\zeta _1 , \ldots ,\zeta _n )d\zeta _1 , \ldots ,\zeta _n } $

in the space of analytic functions on the unit polydisk U ⁿ in the complex vector space ?ⁿ. We show that the operator is bounded in the mixed norm space

Open image in new window

, with p, q ∈ [1, ∞) and α = (α₁, …, α_n), such that α_j > ?1, for every j = 1, …, n, if and only if \(\sup _{z \in U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| < \infty \). Also, we prove that the operator is compact if and only if \(\lim _{z \to \partial U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| = 0\).

     

An inequality for polynomials with a prescribed zero

Let p_n(z)=∑_(k-0)~n a_kz~k be a polynomial of degree n such that |p_n(z)|≤M for |z|≤1. It is well.known that for 0≤u相似文献   

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. Сформулированы неко торые новые задачи.