The domain of regularity of the limit function of a sequence of analytic functions

Letf (z) be an entire function λ_n(n=0,1,2,...) complex numbers, such that the system f(λ_{n n=0} ^∞ is not complete in the circle ¦z¦n(z) have the form \(\sum\nolimits_{k = 0}^{p_n } {\alpha _{nk} } f(\lambda _k \cdot z)\) . We study the properties of the limit function of the sequence Q_n(z) in the case when $$f(z) = 1 + \sum\nolimits_{n = 1}^\infty {\frac{{z^n }}{{P(1)P(2)...P(n)}}} ,$$ . where P(z) is a polynomial having at least one negative integral root.     

Orthogonal rational functions and modified approximants

Let {α _n | _n ^∞ be a sequence in the open unit disk in the complex plane and let $(\overline {\alpha _k } |\alpha _k | = - 1$ when α _k =0. Let μ be a positive Borel measure on the unit circle, and let {φ _n } _n ^∞ be the orthonormal sequence obtained by orthonormalization of the sequence {B _n } _n ^∞ with respect to μ. Let {ψ _n } _n ^∞ be the sequence of associated rational functions. Using the functions φ _n , ψ _n and certain conjugates of them, we obtain modified Padé-type approximants to the function $$F\mu (z) = \int\limits_{ - \pi }^\pi {\frac{{t + z}}{{t - z}}} d\mu (\theta ), (t = e^{i\theta } ).$$      

On certain estimates for orthogonal polynomials depending on parameters

Рассматривается сис тема ортогональных м ногочленов {P _n (z)} ₀ ^∞ , удовлетворяющ их условиям $$\frac{1}{{2\pi }}\int\limits_0^{2\pi } {P_m (z)\overline {P_n (z)} d\sigma (\theta ) = \left\{ {\begin{array}{*{20}c} {0,m \ne n,P_n (z) = z^n + ...,z = \exp (i\theta ),} \\ {h_n > 0,m = n(n = 0,1,...),} \\ \end{array} } \right.} $$ где σ (θ) — ограниченная неу бывающая на отрезке [0,2π] функция с бесчисленным множе ством точек роста. Вводится последовательность параметров {а_{n 0} ^∞ , независимых дру г от друга и подчиненных единств енному ограничению { ¦а_n¦<1} ₀ ^∞ ; все многочлены {Р _n (z)} 0/∞ можно найти по формуле $$P_0 = 1,P_{k + 1(z)} = zP_k (z) - a_k P_k^ * (z),P_k^ * (z) = z^k \bar P_k \left( {\frac{1}{z}} \right)(k = 0,1,...)$$ . Многие свойства и оце нки для {P _n (z)} ₀ ^∞ и (θ) можн о найти в зависимости от этих параметров; например, условие \(\mathop \Sigma \limits_{n = 0}^\infty \left| {a_n } \right|^2< \infty \) , бо лее общее, чем условие Г. Cerë, необходимо и достато чно для справедливости а симптотической форм улы в области ¦z¦>1. Пользуясь этим ме тодом, можно найти также реш ение задачи В. А. Стекло ва.     

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.     

A function of direction associated with n congruences of an orthogonal ennuple in a Riemannian hypersurface

In a hypersurface V_n belonging to a Riemannian space V_n+1 we choose n congruences of an orthogonal ennuple of unit vectors of contravariant components λ _h¦ ⁱ (h=1,2,...,n) and denote, by ω_kk the normal curvature of the hypersurface in the direction of the unit vector of components λ _k¦ ⁱ . In the present paper, we have shown that the expression $$\frac{\partial }{{\partial s_k }}\omega _{kk} - 2\mathop \Sigma \limits_{h = 1}^n \omega _{kh} \gamma _{hkk}$$ is a function of direction, where the symbol ?/?s_k indicates the differentiation in the direction of the vector of components λ _k¦ ⁱ and that ω_kh (h≠k) and γ_?hk (?,h,k=1,2,...,n) are, respectively, the invariants of the geodesic torsion of the curve of the congruence with unit tangent vector of components λ _k¦ ⁱ and Ricci's coefficients of rotation of the orthogonal ennuple.     

Recovery of a function from the coefficients of its Dirichlet series

Let L(λ) be an entire function of exponential type, letγ(t) be the function associated with L(λ) in the sense of Borel, let \(\bar D\) be the smallest closed convex set containing all the singular points ofγ(t), let λ₀, λ₁, ..., λ_n, ... be the simple zeros of L(λ), and let A \(\bar D\) be the space of functions analytic on \(\bar D\) with the topology of the inductive limit. With an arbitraryf (z) ∈ A( \(\bar D\) ) we can associate the series whereC is a closed contour containing \(\bar D\) , on and inside of whichf (z) is analytic. We give a method of recoveringf (z) from the Dirichlet coefficientsa _n.     

A constructive description of Hölder classes on closed Jordan curves

Let Γ be a closed, Jordan, rectifiable curve, whose are length is commensurable with its subtending chord, leta ε int Γ, and let R_n(a) be the set of rational functions of degree ≤n, having a pole perhaps only at the pointa. Let Λ^α(Γ), 0 < α < 1, be the Hölder class on Γ. One constructs a system of weights γ_n(z) > 0 on Γ such that f∈Λ^α(Γ) if and only if for any nonnegative integer n there exists a function R_n, R_n ε R_n(a) such that ¦f(z) ? R_n(z)¦ ≤ c_f·γ_n(z), z ε Γ. It is proved that the weights γ_n cannot be expressed simply in terms of ρ ₁ ⁺ /n^(z) and ρ ₁ ^- /n^(z), the distances to the level lines of the moduli of the conformal mappings of ext Γ and int Γ on \(\mathbb{C}\backslash \mathbb{D}\) .     

Wachstumsordnung und Index der Lösungen linearer Differentialgleichungen mit rationalen Koeffizienten

Let z=∞ be an irregular singular point of the differential equation wⁿ+p_n?1(z)w^(n?1)+...+p₀(z)w=0 with rational coefficients. The functions of the canonical set of solutions relative to z=∞ are of the form $$w(z) = z^\rho \cdot \sum { d_m (z) (\log z)^m , } \rho \varepsilon \mathbb{C}$$ with univalent functions d_m(z) in a neighbourhood of z=∞. Let λ(w)=max {λ(d_m)} denote the maximal order of growth of an irregular solution relative to z=∞, then it is shown that there exists a branch of w in the plane cut along a half ray, which attains the maximal order λ(w). An important tool for the proof is the index of the branches of w.     

Separate asymptotics of two series of eigenvalues for a single elliptic boundary-value problem

The spectral problem in a bounded domain Ω?Rⁿ is considered for the equation Δu= λu in Ω, ?u=λ?υ/?ν on the boundary of Ω (ν the interior normal to the boundary, Δ, the Laplace operator). It is proved that for the operator generated by this problem, the spectrum is discrete and consists of two series of eigenvalues {λ _j ⁰ } _j=1 ^∞ and {λ _j ^∞ } _j=1 ^∞ , converging respectively to 0 and +∞. It is also established that $$N^0 (\lambda ) = \sum\nolimits_{\operatorname{Re} \lambda _j^0 \geqslant 1/\lambda } {1 \approx const} \lambda ^{n - 1} , N^\infty (\lambda ) \equiv \sum\nolimits_{\operatorname{Re} \lambda _j^\infty \leqslant \lambda } {1 \approx const} \lambda ^{n/1} .$$ The constants are explicitly calculated.     

О разложениях в ряд ы о бобщенно-абсолютно-м онотонных функций

In an earlier paper [1] the notion of the so-called 〈?, GL_J>-absolutely monotonie functions was introduced, where ?≧1, {λ_{k k=0} ^∞ is an arbitrary non-increasing sequence of positive numbers. It was found that the condition \(\sum\limits_{\lambda _{k > 0} } {\lambda _k^{ - 1} } = + \infty \) is necessary in order to have the series expansion for any function f(x)∈〈?, λ_j). HereL ^k/? f/(x) are special integro-differential operators of fractional order, is a system of functions associated with the Mittag-Leffler type functions \(E_\varrho (z;\mu ) = \sum\limits_{k = 0}^\infty {z^n /\Gamma (\mu + \kappa /\varrho )} \) and with the sequence {λ_k}. In the present paper it is proved (in particular, see Theorem 3.2) that the expansion (*) is valid almost everywhere on (0,l) if ∑ λ _k ^?1 =+∞. This result contains, as a special case (when ?=1 and λ_k=0,k≧0) the known theorem of S. N. Bernstein on absolutely monotonic functions.     

Regularized sums of half-integer powers of a Sturm-Liouville operator

We investigate the question of the regularized sums of part of the eigenvalues z_n (lying along a direction) of a Sturm-Liouville operator. The first regularized sum is $$\sum\nolimits_{n = 1}^\infty {(z_n - n - \frac{{c_1 }}{n} + \frac{2}{\pi } \cdot z_n arctg \frac{1}{{z_n }} - \frac{2}{\pi }) = \frac{{B_2 }}{2} - c_1 \cdot \gamma + \int_1^\infty {\left[ {R(z) - \frac{{l_0 }}{{\sqrt z }} - \frac{{l_1 }}{z} - \frac{{l_2 }}{{z\sqrt z }}} \right]} } \sqrt z dz,$$ where the z_n are eigenvalues lying along the positive semi-axis, z _n ² =λ_n, $$l_0 = \frac{\pi }{2}, l_1 = - \frac{1}{2}, l_2 = - \frac{1}{4}\int_0^\pi {q(x) dx,} c_1 = - \frac{2}{\pi }l_2 ,$$ , B₂ is a Bernoulli number, γ is Euler's constant, and \(R(z)\) is the trace of the resolvent of a Sturm-Liouville operator.     

Laplace-Transformation nichtnegativer und vektorwertiger Maße

Calling a function f: R ₊ ^p →R with $$\sum\limits_{i = 1}^n { \sum\limits_{j = 1}^n {\alpha _i \alpha _j } f(t_i + t_j )} \geqslant 0 for all (\alpha _1 ,...,\alpha _n ) \varepsilon R^n ,$$ , (t₁,...,t_n∈(R ₊ ^p )ⁿ, n∈? positiv semidefinit, the Laplace-transformations of finite nonnegative measures on R ₊ ^p are charac terised as the continuous bounded positiv semidefinit functions. Let H be a real Hilbertspace. A σ-additive mapping \(M: \mathfrak{B}_ + ^p \to H\) is called an orthogonal measure iff 〈M(A), M(B)?=0 for A∩B=ø. Exactly those mappings Y: R ₊ ^p →H are Laplacetransformations of H-valued orthogonal measures, which are continuous and bounded and for which ?Y(s), Y(t)? is only a function of s + t. Using this result one obtains a representation theorem for continuous semi-grouphomomorphisms defined on R ₊ ^p with values in the “unit intervall” of the selfadjoint operators on H.     

The limits of determinacy in second order arithmetic: consistency and complexity strength

We prove that determinacy for all Boolean combinations of \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets implies the consistency of second-order arithmetic and more. Indeed, it is equivalent to the statement saying that for every set X and every number n, there exists a β-model of Π _n ¹ -comprehension containing X. We prove this result by providing a careful level-by-level analysis of determinacy at the finite level of the difference hierarchy on \({F_{\sigma \delta }}\) (Π ₃ ⁰ ) sets in terms of both reverse mathematics, complexity and consistency strength. We show that, for n ≥ 1, determinacy for sets at the nth level in this difference hierarchy lies strictly between (in the reverse mathematical sense of logical implication) the existence of β-models of Π _n+2 ¹ -comprehension containing any given set X, and the existence of β-models of Δ _n+2 ¹ -comprehension containing any given set X. Thus the nth of these determinacy axioms lies strictly between Π _n+2 ¹ -comprehension and Δ _n+2 ¹ -comprehension in terms of consistency strength. The major new technical result on which these proof theoretic ones are based is a complexity theoretic one. The nth determinacy axiom implies closure under the operation taking a set X to the least Σ _n+1 admissible containing X (for n = 1; this is due to Welch [9]).     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

Rows and diagonals of the Walsh array for entire functions with smooth Maclaurin series coefficients

Let \(f(z): = \sum\nolimits_{j = 0}^\infty {a_j z^J } \) be entire, witha _j≠0,j large enough, \(\lim _{J \to \infty } a_{j + 1} /a_J = 0\) , and, for someq∈C, \(q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q\) asj→∞. LetE _mn(f; r) denote the error in best rational approximation off in the uniform norm on |z‖≤r, by rational functions of type (m, n). We study the behavior ofE _mn(f; r) asm and/orn→∞. For example, whenq above is not a root of unity, or whenq is a root of unity, butq _m has a certain asymptotic expansion asm→∞, then we show that, for each fixed positive integern, ,m→∞. In particular, this applies to the Mittag-Leffler functions \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /\Gamma (1 + j/\lambda )} \) and to \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /(j!)^{I/\lambda } } \) , λ>0. When |q‖<1, we also handle the diagonal case, showing, for example, that ,n→∞. Under mild additional conditions, we show that we can replace 1+0(1) ⁿ by 1+0(1). In all cases we show that the poles of the best approximants approach ∞ asm→∞.     

Scalar-type spectral operators and holomorphic semigroups

We show that a linear operator (possibly unbounded), A, on a reflexive Banach space, X, is a scalar-type spectral operator, with non-negative spectrum, if and only if the following conditions hold.

1. A generates a uniformly bounded holomorphic semigroup {e?^zA}_Re(z)≥0.
2. If \(F_N (s) \equiv \int_{ - N}^N {\tfrac{{\sin (sr)}}{r}} e^{irA} dr\) , then {‖F_N‖} _N=1 ^∞ is uniformly bounded on [0,∞) and, for all x in X, the sequence {F_N(s)x} _N=1 ^∞ converges pointwise on [0, ∞) to a vector-valued function of bounded variation.

The projection-valued measure, E, for A, may be constructed from the holomorphic semigroup {e^?zA}_Re(z)≥0 generated by A, as follows. $$\frac{1}{2}(E\{ s\} )x + (E[0,s)) x = \mathop {\lim }\limits_{N \to \infty } \int_{ - N}^N {\frac{{\sin (sr)}}{r}} e^{irA} x\frac{{dr}}{\pi }$$ for any x in X.     

Singular integrals along Lipschitz curves with holomorphic kernels

If γ(x)=x+iA(x),tan ^?1‖A′‖_∞<ω<π/2,S _ω ⁰ ={z∈C}| |argz|<ω, or, |arg(-z)|<ω} We have proved that if φ is a holomorphic function in S _ω ⁰ and \(\left| {\varphi (z)} \right| \leqslant \frac{C}{{\left| z \right|}}\) , denotingT f (z)= ∫?(z-ζ)f(ζ)dζ, ?f∈C ₀(γ), ?z∈suppf, where C_c(γ) denotes the class of continuous functions with compact supports, then the following two conditions are equivalent:

1. T can be extended to be a bounded operator on L²(γ);
2. there exists a function ?₁ ∈H ^∞(S _ω ⁰ ) such that ?′₁(z)=?(z)+?(-z), ?z∈S _ω ⁰ ?z∈S _w ⁰ .