On the zeros of analytic functions belonging to Gevrey classes

For functionsf(z) ? 0, holomorphic in the unit disk u, infinitely differentiable in u, and belonging to a given Gevrey class on ?u, we establish sufficient conditions characterizing the sets K _f ^∞ = (z: ¦z¦ = 1,f ^(k) (z) = 0,k = 0, 1, 2, ... }. These conditions are close to the necessary condition due to L. Carleson and substantially more precise than the conditions given byA.-M. Chollet (see [1, 2]).     

Deviation of best discrete and uniform polynomial approximants

ПустьC _2π — пространств о 2π-периодических вещественных непрер ывных функций, W{_rLip α={f∈C _2π ^r : ω(f ^(r), δ)≦δ^α}, Y?[?π,π] — некоторое дискр етное множество точе к на периоде, плотность ко торого задается соот ношением ?(Y)= max min ¦x-у¦. Дляf∈C_2π x∈[?π,π] y∈Y обозначим через p_k(f) p_k(f)_y т ригонометрические полиномы степени не в ышеk наилучшего чебышевского прибли жения функцииf на все м периоде и на дискретном множес тве Y соответственно. Тогда величина $$\Omega _{k,r + \alpha } (d) = \mathop {\sup }\limits_{f \in W_r Lip\alpha } \mathop {\sup }\limits_{\mathop {Y \subset [ - \pi ,\pi ]}\limits_{\rho (Y) \leqq d} } \left\| {p_k (f) - p_k (f)_Y } \right\| (d > 0)$$ xарактеризует отклон ение наилучших равно мерных и дискретных чебышевс ких приближений равномерно на классе функций W_rLip а. В работе да ются точные оценки для ?_k,r+α(d) пр и всехk, r и 0-?1.     

A rotation theorem in the class of bounded univalent functions

Let S_M, M > 1, be the class of functionsf(z) which are regular and univalent in the disk ¦z¦ < 1 and satisfy the conditionsf(0) = 0,f'(0) = 1, and ¦f(z)¦ < M. In the present note we will obtain an exact estimate for the argument of the derivative of a function of the class S_M.     

A system of functions

A system of functions $$f_k (x) = \sum\nolimits_{i = 1}^r a _i \varphi _\iota (x)^k + b_i \overline {\varphi _\iota } (x)^k , k = 1,2,...$$ is considered on the interval [0,l]. Under certain conditions on the? _i(x), it is proved that the system 1 ∪ {f_k(x)} _k=1 ^∞ is complete in the space L_p(0,l). In the case r=1 it is proved, under certain additional assumptions, that the system {f_k(x)} _k=0 ^∞ is minimal.     

Functional calculi of second-order elliptic partial differential operators with bounded measurable coefficients

Consider a second-order elliptic partial differential operatorL in divergence form with real, symmetric, bounded measurable coefficients, under Dirichlet or Neumann conditions on the boundary of a strongly Lipschitz domain Ω. Suppose that 1 <p < ∞ and μ > 0. ThenL has a bounded H_∞ functional calculus in L^p(Ω), in the sense that ¦¦f (L +cI)u¦¦_p ≤C sup_¦arλ¦<μ ^¦f¦ ¦‖u¦‖_p for some constantsc andC, and all bounded holomorphic functionsf on the sector ¦ argλ¦ < μ that contains the spectrum ofL +cI. We prove this by showing that the operatorsf(L + cI) are Calderón-Zygmund singular integral operators.     

An integral operator connected with the Helmholtz equation

Let Lu be the integral operator defined by $\text{(L}{}_{\mathrm{k?}}\text{)(x, y) = ∝ s ∝ ?(x′, y′)(}\text{e}{}^{\mathrm{ik?}}\text{?}\text{) dx′ dy′, (x, y) ? S}$ where S is the interior of a smooth, closed Jordan curve in the plane, k is a complex number with Re k ? 0, Im k ? 0, and ?² = (x ?x′)² + (y ? y′)². We define $\text{q(x, y) = [}\text{dist}\text{((x, y), ?S)]}\text{1}\text{2}\text{, (x, y) ? S; L}{}_2\text{(q, S) = {? : ∝ s ∝ ¦ ?(x, y)¦}{}^2\text{q(x, y) dx dy < ∞}; W}{}_2{}^1\text{(q, S) = {? : ? ? L}{}_2\text{(q, S),}\text{??}\text{?x}\text{,}\text{?f}\text{?y}\text{? L}{}_2\text{(q, S)}}$, where in the definition of W₂¹(q, S) the derivatives are taken in the sense of distributions. We prove that L_k is a continuous 1-l mapping of L₂(q, S) onto W₂¹(q, S).     

Some dimensional results for homogeneous Moran sets

Let ?(¦n _k ¦k?1,¦c _k ¦k?1) be the collection of homogeneous Moran sets determined by ¦n _k ¦k?1 and ¦c _k ¦k?1, where ¦n _k ¦k?1 is a sequence of positive integers and ¦c _k ¦k?1 a sequence of positive numbers. Then the maximal and minimal values of Hausdorff dimensions for elements in ? are determined. The result is proved that for any values between the maximal and minimal values, there exists an element in ?(¦n _k ¦k?1,¦c _k¦k?1) such that its Hausdorff dimension is equal tos. The same results hold for packing dimension. In the meantime, some other properties of homogeneous Moran sets are discussed.     

Quasikonvexe Multiplikatoren starker Konvergenz

пУсть {f _k; f _k ^* ?X×X^* — пОлНАь БИОРтОгОНАльНАь сИс тЕМА В БАНАхОВОМ пРОстРАН стВЕ X (X^* — сОпРьжЕННОЕ пРОст РАНстВО). пУсть (?→+0) $$\begin{gathered} S_n f = \sum\limits_{k = 0}^n {f_k^* (f)f_k ,} K(f,t) = \mathop {\inf }\limits_{g \in Z} (\left\| {f - g} \right\|_x + t\left| g \right|_z ), \hfill \\ X_0 = \{ f \in X:\mathop {\lim }\limits_{n \to \infty } \left\| {S_n f - f} \right\|_x = 0\} ,X_\omega = \{ f \in X:K(f,t) = 0(\omega (t))\} , \hfill \\ \end{gathered} $$ гДЕZ?X — НЕкОтОРОЕ пОД пРОстРАНстВО с пОлУН ОРМОИ ¦·¦ И Ω — МОДУль НЕпРЕРыВНО стИ УДОВлЕтВОРьУЩИИ Усл ОВИУ sup Ω(t)/t=∞. пОслЕДОВАтЕ льНОстьΤ={Τ _k} кОМплЕксНых ЧИ сЕл НАжыВАЕтсь МНОжИтЕл ЕМ сИльНОИ схОДИМОст И ДльX _Τ, жАпИсьΤ?М[X _Τ,X _Τ], ЕслИ Д ль кАжДОгО ЁлЕМЕНтАf?X _Τ сУЩЕстВ УЕт тАкОИ ЁлЕМЕНтf ^τ?х₀, ЧтОf _k ^* (f ^τ)=Τ_kf _k ^* (f) Дль ВсЕхk. ДОкА жАНО сРЕДИ ДРУгИх слЕДУУЩ ЕЕ УтВЕРжДЕНИЕ. тЕОРЕМА. пУсmь {f_k; f _k ^* } —Н ЕкОтОРыИ (с, 1)-БАжИс тАк ОИ, ЧтО ВыпОлНьУтсь НЕРАВЕН стВА тИпА НЕРАВЕНстВА ДжЕ ксОНА с пОРьДкОМ O(?_n) u тИ пА НЕРАВЕНстВА БЕРНшmЕИ НА с пОРьДкОМ O(1/?_n). ЕслИ пОслЕДОВАтЕл ьНОсть Τ кВАжИВыпУкл А И ОгРАНИЧЕНА, тО $$\tau \in M[X_{\omega ,} X_0 ] \Leftrightarrow \omega (\varphi _n )\tau _n \left\| {S_n } \right\|_{[X,X]} = o(1).$$ ЁтОт ОБЩИИ пОДхОД НЕМ ЕДлЕННО ДАЕт клАссИЧ ЕскИЕ РЕжУльтАты, ОтНОсьЩИ Есь к ОДНОМЕРНыМ тРИгОНОМЕтРИЧЕскИМ РьДАМ. НО тЕпЕРь ВОжМО жНы ДАльНЕИшИЕ пРИлОжЕН Иь, НАпРИМЕР, к РАжлОжЕНИьМ пО пОлИ НОМАМ лЕжАНДРА, лАгЕР РА ИлИ ЁРМИтА.     

New estimates of errors of quadrature formulae,formulae of numerical differentiation and interpolation

В работе в качестве ха рактеристики функци иf рассматриваются сле дующие ее модули: ω_k(f; x; δ)=sup {¦Δ _h ^k f(t¦: t, t+kh∈[x-kδ/2, x+kδ/2][a, b], ω_k(f; δ)={sup ω_k(f; x; δ): х∈[а, Ь]. Получены оценки погр ешности квадратурны х формул с помощью модулят. Нап ример, справедливо следующ ее утверждение. Пусть квадратурная формул а точна на отрезке [а, Ь] д ля всех алгебраическ их многочленов степени не вышеk- 1 иR _n (f) — погрешностьn-соста вной квадратуры, поро жденнойL(f). Тогда $$L(f) = \sum\limits_{i = 0}^m {\sum\limits_{j = 0}^{\alpha _i } {A_i^j f^{(j)} (x_i )} } $$ . гдеs=max α_i, аС не зависит отп, f и [а, Ь]. Для погрешности инте рполяционных формул получены подобные оценки, выра женные с помощью модуля непр ерывности, а для погре шности численного дифферен цирования – с помощью локального м одуля непрерывностиω _k (f; x; δ). Для полученных оцено к характерно, что усло вия, накладываемые на при ближаемую функцию, не более огра ничительны, чем этого требует сама постановка зада чи (например, для квадратурных фор мул — условие интегри руемости по Риману). Для тех случае в, когда функция достаточное число раз дифференци руема, из этих оценок как следс твия вытекают все известные оценки.     

On the regularity of oricyclic coordinates

Suppose there is defined in the plane a complete metric W^?, whose curvature K satisfies the inequality ?k ₂ ² ≤ K≤ ?k ₁ ² (k₁ and k₂ are positive constants) and some regularity hypothesis. Then in the entire domain of definition of the metric W^? one can construct regular oricyclic coordinates (x, y), in which the line element has the form ds² = dx²+ B² (x, y) · dy².     

О последовательност ях сумм Фурье-Уолша ограниченных функци й

Let L^∞ denote the space of measurable 1-periodic essentially bounded functionsf(x) with ∥f∥=vrai sup ¦f(x)¦,S _k (f, x) thek-th partial sum of the Walsh-Fourier series off(x),L _k thek-th Lebesgue constant. The following theorem is proved. Theorem. Letλ={λ _K } be a sequence of nonnegative numbers, $$\left\| \lambda \right\|_1 = \mathop \sum \limits_{k = 1}^\infty \lambda _k< \infty ,\left\| \lambda \right\|_2 = (\mathop \sum \limits_{k = 1}^\infty \lambda _k^2 )^{1/2} ,m = log[(\left\| \lambda \right\|_1 /\left\| \lambda \right\|_2 )]$$ .Then for an arbitrary function f∈L ^∞ the following inequalities hold true $$\begin{gathered} \left\| {\mathop \sum \limits_{k = 1}^\infty \lambda _k \left| {S_k (f,x)} \right|} \right\| \leqq \mathop \sum \limits_{k = 1}^\infty \lambda _k (L_{[k2 - 2m]} + c)\left\| f \right\|, \hfill \\ \hfill \\ \mathop \sum \limits_{k = 1}^\infty \lambda _k \left\| {S_k (f)} \right\| \leqq \mathop \sum \limits_{k = 1}^\infty \lambda _k (L_{[k2 - m]} + c)\left\| f \right\| \hfill \\ \end{gathered} $$ , where[y] denotes integral part of a number y>0 and c is an absolute constant. A corollary of the above theorem is that for each functionfεL ^∞ the Lebesgue estimate can be refined for a certain sequence of indices, while the growth order of Lebesgue constants along that sequence can be arbitrarily close to the logarithmic one. “In the mean”, however, the Lebesgue estimate is exact. A further corollary deals with strong summability.     

Asymptotic properties of general symmetric hyperbolic systems

Results on partition of energy and on energy decay are derived for solutions of the Cauchy problem $\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0, u(0, x) = ?(x)}$. Here the A_j's are constant, k × k Hermitian matrices, x = (x₁,…, x_n), t represents time, and u = u(t, x) is a k-vector. It is shown that the energy of Mu approaches a limit $\text{E}{}_{\mathrm{M}}\text{(?)}\text{as}\text{¦ t ¦ → ∞}$, where M is an arbitrary matrix; that there exists a sufficiently large subspace of data ?, which is invariant under the solution group U₀(t) and such that $\text{U}{}_0\text{(t)? = 0}\text{for}\text{¦ x ¦ ? a ¦ t ¦ ? R, a}\text{and}\text{R}$ depending on ? and that the local energy of nonstatic solutions decays as $\text{¦ t ¦ → ∞}$. More refined results on energy decay are also given and the existence of wave operators is established, considering a perturbed equation $\text{E(x)}\text{?u}\text{?t}\text{+ ∑}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{n}}\text{A}{}_{\mathrm{j}}\text{?u}\text{?x}{}_{\mathrm{j}}\text{= 0,}\text{where}\text{¦ E(x) ? I ¦ = O(¦ x ¦}{}^{\mathrm{?1\; ?\; ?}}\text{)}$ at infinity.     

A remark concerning Pincherle bases

In this note we find sufficient conditions for uniqueness of expansion of any two functionsf(z) and g(z) which are analytic in the circle ¦ z ¦ < R (0 < R <∞) in series $$f(z) = \sum\nolimits_{n = 0}^\infty {(a_n f_2 (z) + b_n g_n (z))}$$ and $$g_i (z) = \sum\nolimits_{n = 0}^\infty {a_n \lambda _n f_n (z)} + b_n \mu _n f_n (x)),$$ which are convergent in the compact topology, where (f _n {z} _n=0 ^∞ and {g} _n=0 ^∞ are given sequences of functions which are analytic in the same circle while {λ _n } _n=0 ^∞ and {μ _n } _n=0 ^∞ are fixed sequences of complex numbers. The assertion obtained here complements a previously known result of M. G. Khaplanov and Kh. R. Rakhmatov.     

An asymptotic of the negative discrete spectrum of the Schrödinger operator

The Schrödinger operator Hu = -Δu + V(x)u, where V(x) → 0 as ¦x¦ → ∞, is considered in L₂(R^m) for m?3. The asymptotic formula $$N(\lambda ,V) \sim \Upsilon _m \int {(\lambda - V(x))_ + ^{{m \mathord{\left/ {\vphantom {m {2_{dx} }}} \right. \kern-\nulldelimiterspace} {2_{dx} }}} ,} \lambda \to ---0,$$ is established for the number N(λ, V) of the characteristic values of the operator H which are less than λ. It is assumed about the potential V that V = V_o + V₁; V_o < 0, ¦V_o =o (¦V_o¦^3/2) as ¦x¦ → ∞; σ (t/2, V_o) ?cσ (t. V_o) and V₁∈L_m/2,loc, σ(t, V₁) =o (σ (t, V_o)), where σ (t,f)= mes {x:¦f (x) ¦ > t).     

Maximizing the L∞ norm of the gradient of solutions to the Poisson equation

We find the maximum of ¦Du _f ¦ _L∞ when u_f is the solution, which vanishes at infinity, of the Poisson equation Δu =f on ? ⁿ in terms of the decreasing rearrangement off. Hence, we derive sharp estimates for ¦Du _f ¦ _L∞ in terms of suitable Lorentz orL ^p norms off. We also solve the problem of maximizing ¦Du _f ^B (0)¦ whenu _f ^B is the solution, vanishing on?B, to the Poisson equation in a ballB centered at 0 and the decreasing rearrangement off is assigned.     

A method of constructing integrable linear equations and its application to Hill's equation

Starting with a given equation of the form $$\ddot x + [\lambda + \varepsilon f(t)] x = 0$$ , where λ > 0 and ? ? l is a small parameter [heref(t) may be periodic, and so Hill's equation is included], we construct an equation of the form y + [λ + ?f (t) + ?² _g (t)]y = 0, integrable by quadratures, close in a certain sense to the original equation. For x₀ = y₀ and x ₀ ^′ = y ₀ ^′ , an upper bound is obtained for ¦y—x¦ on an interval of length Δt.     

О кОЁФФИцИЕНтАх тРИг ОНОМЕтРИЧЕскИх НУль-РьДОВ

Let {? _k } _k=0 ^∞ be a numerical sequence satisfying the conditions $$\varrho _k \downarrow 0(k \to \infty )and\mathop \sum \limits_{k = 0}^\infty \varrho _k^2 = + \infty .$$ It is proved that there exists a trigonometric series $$\mathop \sum \limits_{k = 0}^\infty \varrho '_k \cos 2\pi (kx + \theta _k )$$ where ¦?′ _k ¦≦? _k ,k=0, 1, 2, ..., possessing the following property. For each measurable and a.e. finite functionF(x), x?[0, 1], the numbersδ _k =0 or 1,k=0, 1, ..., may be chosen in such a way that the series $$\mathop \sum \limits_{k = 0}^\infty \delta _k \varrho '_k \cos 2\pi (kx + \theta _k )$$ converges toF(x) a.e. on [0,1]. In addition, ifF(x)=0, then \(\delta _{k_0 } \varrho '_{k_0 } \ne 0\) for at least onek ₀≧0. Certain generalizations are discussed, too.     

On sufficient conditions for the convergence of double series over rectangles

We prove convergence almost everywhere on [0, 2π] × [0, 2π] of the double Fourier series of functionsf(x, y) with modulus of continuity for ?>0.     

Asymptotical Formulas For Solutions Of Linear Differential Systems Of The First Order

In this paper a system of differential equations y′ ? A(·,λ)y = 0 is considered on the finite interval [a,b] where λ ∈ C, A(·, λ):= λ A₁+ A ₀ +λ _?1A_?1(·,λ) and A ₁,A ₀, A _{? 1} are n × n matrix-functions. The main assumptions: A ₁ is absolutely continuous on the interval [a, b], A ₀ and A _{- 1}(·,λ) are summable on the same interval when ¦λ¦ is sufficiently large; the roots φ₁(x),…,φ_n (x) of the characteristic equation det (φ E — A ₁) = 0 are different for all x ∈ [a,b] and do not vanish; there exists some unlimited set Ω ? C on which the inequalities Re(λφ₁(x)) ≤ … ≤ Re (λφ_n(x)) are fulfilled for all x ∈ [a,b] and for some numeration of the functions φ_j(x). The asymptotic formula of the exponential type for a fundamental matrix of solutions of the system is obtained for sufficiently large ¦λ¦. The remainder term of this formula has a new type dependence on properties of the coefficients A ₁ (x), A _o (x) and A _{- 1} (x).     

Fast Growing Solutions of Linear Differential Equations in the Unit Disc

For $n \in \mathbb{N}$ , the n-order of an analytic function f in the unit disc D is defined by $$\sigma _{{{M,n}}} (f) = {\mathop {\lim \sup }\limits_{r \to 1^{ - } } }\frac{{\log ^{ + }_{{n + 1}} M(r,f)}} {{ - \log (1 - r)}},$$ where log⁺ x  =  max{log x, 0}, log ⁺ ₁ x  =  log ⁺ x, log ⁺ _n+1 x  =  log ⁺ log ⁺ _n x, and M(r, f) is the maximum modulus of f on the circle of radius r centered at the origin. It is shown, for example, that the solutions f of the complex linear differential equation $$f^{{(k)}} + a_{{k - 1}} (z)f^{{(k - 1)}} + \cdots + a_{1} (z)f^{\prime} + a_{0} (z)f = 0,\quad \quad \quad (\dag)$$ where the coefficients are analytic in D, satisfy σ _M,n+1(f)  ≤  α if and only if σ _M,n (a _j )  ≤  α for all j  =  0, ..., k ? 1. Moreover, if q ∈{0, ..., k ? 1} is the largest index for which $\sigma _{M,n} ( a_{q}) = {\mathop {\max }\limits_{0 \leq j \leq k - 1} }{\left\{ {\sigma _{{M,n}} {\left( {a_{j} } \right)}} \right\}}$ , then there are at least k ? q linearly independent solutions f of ( $\dag$ ) such that σ _M,n+1(f) = σ _M,n (a _q ). Some refinements of these results in terms of the n-type of an analytic function in D are also given.