Classes of functions subharmonic in ℝm and bounded on certain sets

Let Z_j be the Euclidean space of vectors \((z_{j,1,...,} z_{j_{j \cdot n_j + 1} } ), Z = \mathop \oplus \limits_{j = 1}^P Z_j\) . The function u: Z → ?₊, u ?0, is said to be logarithmically p-subharmonic if log u(z) is upper semicontinuous with respect to the totality of the variables and subharmonic or identically equal to ?∞ with respect to each z_j when the remaining ones are fixed. For such functions, with the growth estimate $$log u(z) \leqslant \delta \mathop \Pi \limits_{j = 1}^P (1 + |z_{j,n_j + 1} |) + N(\mathop {\sum\limits_{\mathop {1 \leqslant j \leqslant p}\limits_{} } {z_{j,k}^2 } }\limits_{1 \leqslant k \leqslant n_j } )^{1/2} + C; \delta ,N \geqslant 0, C \in \mathbb{R}$$ one proves theorems on equivalence of^∞) (L_q)-norms of their restrictions to \(X = \mathop \oplus \limits_{j = 1}^P (Z_{j,1} ,...,z_{j,n_j } )\) and to a relatively dense subset of it, generalizing the known Cartwright and Plancherel-Pólya results.     

Boundary distortion and variation of the module under an extension of a doubly connected domain

Theorem 2

Let f(z) ∈ $\mathcal{F}(\rho ,r)$ , f(z) ≠ e^iα f(z;pr), α ∈ ?, and let ?(t) be a strictly convex monotone function of t>0. Then $$\int\limits_0^{2\pi } {\Phi (|f'(e^{i\theta } )|)d\theta< } \int\limits_0^{2\pi } {\Phi (|f'(e^{i\theta } ;\rho ,r)|)d\theta } $$ . The proof of this theorem is based on the Golusin-Komatu equation. If E is a continuum in the disk U_R={z:|z|<R}, then M (R, E) denotes the conformal module of the doubly connected component of U_R/E; let $\varepsilon (m) = \{ E:\overline U _r \subset E \subset U_1 , M(1,E) = M^{ - 1} \} $ .

Problem 3

Find the maximum of M(R, E), R>1, and the minimum of cap E over all E in ε(m). This problem was posed by V. V. Kozevnikov in a lecture to the Seminar on Geometric Function Theory at the Kuban University in 1980, and by D. Gaier (see [2]). The solution of this problem is given by the following theorem.

Theorem 3

Let $E^* = \underline U _m \cup [m,s]$ . If R>1; E, E^* ∈ ε(m) and E ≠ e^iα E*, α ∈ ?, then M(R, E)<M(R, E^*), capE^*<capE. A similar statement is also proved for continua lying in the half-plane. Bibliography: 7 titles.     

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.     

A moment problem associated to rational Szegő functions

Leta ₁,...,a _p be distinct points in the finite complex plane ?, such that |a _j|>1,j=1,..., p and let \(b_j = 1/\bar \alpha _j ,\) j=1,..., p. Let μ₀, μ _π ^(j) , ν _π ^(j) j=1,..., p;n=1, 2,... be given complex numbers. We consider the following moment problem. Find a distribution ψ on [?π, π], with infinitely many points of increase, such that $$\begin{array}{l} \int_{ - \pi }^\pi {d\psi (\theta ) = \mu _0 ,} \\ \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - a_j )^n }} = \mu _n^{(j)} ,} \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - b_j )^n }} = v_n^{(j)} ,} j = 1,...,p;n = 1,2,.... \\ \end{array}$$ It will be shown that this problem has a unique solution if the moments generate a positive-definite Hermitian inner product on the linear space of rational functions with no poles in the extended complex plane ?^* outside {a ₁,...,a _p,b ₁,...,b _p}.     

Padé tables of entire functions of very slow and smooth growth,II

Letf(z):=Σ _j=0 ^∞ a _j z ^j , where a_j ≠ 0,j large enough, and for someq ε C such that ¦q¦ $$q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q,j \to \infty .$$ Define for m,n = 0,1,2,..., the Toeplitz determinant $$D(m/n): = \det (a_{m - j + k} )_{j,k = 1}^n .$$ Given ? > 0, we show that form large enough, and for everyn = 1,2,3,..., $$(1 - \varepsilon )^n \leqslant \left| {{{D(m/n)} \mathord{\left/ {\vphantom {{D(m/n)} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right. \kern-\nulldelimiterspace} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right| \leqslant (1 + \varepsilon )^n .$$ We apply this to show that any sequence of Padé approximants {[m _k /n _k ]} ₁ ^∞ tof, withm _k →∞ ask→ ∞, converges locally uniformly in C. In particular, the diagonal sequence {[n/n]} ₁ ^∞ converges throughout C. Further, under additional assumptions, we give sharper asymptotics forD(m/n).     

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→∞.     

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.     

On the rational (K + 1,K + 1)-type difference equation

In this paper we investigate the boundedness character of the positive solutions of the rational difference equation of the form $$x_{n + 1} = \frac{{a_0 + \sum\nolimits_{j = 1}^k {a_j x_{n - j + 1} } }}{{b_0 + \sum\nolimits_{j = 1}^k {b_j x_{n - j + 1} } }}, n = 0,1,...$$ where k ε N, andaj,bj, j = 0,1,…, k, are nonnegative numbers such thatb ₀+∑ _j=1 ^k b _j x _n-j+1>0 for everyn ∈N ∪{0}. In passing we confirm several conjectures recently posed in the paper: E. Camouzis, G. Ladas and E. P. Quinn, On third order rational difference equations (part 6).     

A note on uniqueness problem for meromorphic mappings with 2N + 3 hyperplanes

In this paper,a uniqueness theorem for meromorphic mappings partially sharing 2N+3 hyperplanes is proved.For a meromorphic mapping f and a hyperplane H,set E(H,f) = {z|ν(f,H)(z) 0}.Let f and g be two linearly non-degenerate meromorphic mappings and {Hj}j2=N1+ 3be 2N + 3 hyperplanes in general position such that dim f-1(Hi) ∩ f-1(Hj) n-2 for i = j.Assume that E(Hj,f) E(Hj,g) for each j with 1 j 2N +3 and f = g on j2=N1+ 3f-1(Hj).If liminfr→+∞ 2j=N1+ 3N(1f,Hj)(r) j2=N1+ 3N(1g,Hj)(r) NN+1,then f ≡ g.     

The analytic spread of codimension two monomial varieties

Let ${\rm} A=k[{u_{1}^{a_{1}}},{u_{2}^{a_{2}}},\dots,{u_{n}^{a_{n}}},{u_{1}^{c_{1}}} \dots {u_{n}^{c_{n}}},{u_{1}^{b_{1}}} \dots {u_{n}^{b_{n}}}]\ \subset k[{u_{1}}, \dots {u_{n}}],$ where, a_j, b_j, C_j ∈ ?, a_j > 0, (b_j, C_j) ≠ (0,0) for 1 ≤ j ≤ n, and, further ${\underline b}:=\ ({b_{1}}, \dots,{b_{n}})\ \not=\ 0 $ and ${\underline c}:=\ ({c_{1}}, \dots,{c_{n}})\ \not=\ 0 $ . The main result says that the defining ideal I ? m = (x₁,…, x_n, y, z) ? k[x₁,…, x_n, y, z] of the semigroup ring A has analytic spread ?(I_m) at most three.     

Irregular Wavelet Frames and Gabor Frames

Given g { l^\fracn2 g( l_j x - kb ) }_jezjezⁿ ,where  l_j \left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L ²(R ⁿ ) are given. For a class of functions g{ e^{zrib( j,x )} g( x - l_k ) }_{jezⁿ ,kez}\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} to be a frame.     

The convergence of moments in the central limit theorem for stationary ϕ-mixing processes

Пусть {X_j} - строго стац ионарная последоват ельностьс ?перемешиванием, EXj-Q,E¦-X _j¦^r<∞ для некоторогоr>2. Положим \(S_n = \mathop \sum \limits_{j = 1}^n X_j \) . Ибрагимов (1962) доказал, что если приn →∞, то 1 $$\mathop {\lim }\limits_{n \to \infty } P\{ S_n /\sigma _n< x\} = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^x e^{{{ - u^2 } \mathord{\left/ {\vphantom {{ - u^2 } 2}} \right. \kern-\nulldelimiterspace} 2}} du.$$ В работе установлено, что при указанных выш е условиях в этой центральной пр едельной теореме имеет место т акже и сходимостьr-ых абсолютных моментов, т.е. если σ _n ² →∞ приn→ ∞, то $$\mathop {\lim }\limits_{n \to \infty } E|S_n /\sigma _n |^r = (2\pi )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} \mathop \smallint \limits_{ - \infty }^{ + \infty } |u|^r e^{ - u^2 /2} du.$$ Этот результат обобщ ает один более ранний результат автора (1980 г.).     

A Functional Equation Of J.A. Baker Involving Integral Means

The functional equation $$f(x)={1\over 2}\int^{x+1}_{x-1}f(t)\ dt\ \ \ {\rm for}\ \ \ x\ \in\ {\rm R}$$ has the linear functions ?(x) = a + bx (a, b ∈ ?) as trivial solutions. It is shown that there are two kinds of nontrivial solutions, (i) ?(x) = eλ_i ^x (i = 1, 2, …), where the λ_i∈ ? are the fixed points of the map z ? sinh z, and (ii) C^∞-solutions ? for which the values in the interval [?1,1] can be prescribed arbitrarily, but with the provision that ?^(j)(? 1) = ?^(j)(0) = ?^(j)(1) = 0 for all j = 0, 1, 2 …     

A generalization of the Beurling—Lax theorem

We obtain conditions for the completeness of the system {G(z)e ^τz , τ ≤ 0} in the space H _σ ² (?₊), 0 < σ < + ∞, of functions analytic in the right-hand half-plane for which $$\parallel f\parallel : = \mathop {\sup }\limits_{ - \pi /2 < \varphi < \pi /2} \left\{ {\int_0^{ + \infty } {|f(re^{i\varphi } )|^2 } e^{ - 2r\sigma |\sin \varphi |} dr} \right\}^{1/2} < + \infty $$ .     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Convergence of Padé approximants of partial theta functions and the Rogers-Szegö polynomials

We investigate the convergence of sequences of Padé approximants for the partial theta function $$h_q (z): = \sum\limits_{j = 0}^\infty { q^{j(j - 1)/2_{Z^j } } } , q = e^{i\theta } , \theta \in [0,2\pi ).$$ Whenθ/(2π) is irrational, this function has the unit circle as its natural boundary. We determine subrogions of ¦z¦ < 1 in which sequences of Padé approximants converge uniformly, and subrogions in which they converge in capacity, but not uniformly. In particular, we show that only a proper subsequence of the diagonal sequence {[n/n]} _n=1 ^∞ converges locally uniformly in all of ¦z¦< l; in contrast, no subsequence of any Padé row {[m/n]} _m=1 ^∞ (withn ≥ 2 fixed) can converge locally uniformly in all of ¦z¦ < 1. Further, we obtain the zero and pole distributions of sequences of Padé approximants by analyzing the zero distribution of the Rogers-Szegö polynomials $$G_n (z): = \sum\limits_{j = 0}^n {\left[ {\begin{array}{*{20}c} n \\ j \\ \end{array} } \right]} z^j , n = 0,1,2,....$$      

Analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems for double trigonometric series

Let ∥ · ∥ be some norm in R², Γ be the unit sphere induced in R² by this norm, and {Aj} a sequence of disjoint subsets of R₊ such that if ν ε A_j, then ν · Γ ∩ Z^N ≠ Ø. For series of the form $$\sum\nolimits_{j = 1}^\infty {} \sum\nolimits_{\parallel n\parallel \in A_j } {c_n e^{2\pi _i (n_1 x_1 + n_2 x_2 )} } $$ analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems are established.     

Dirichlet problems for the quasilinear second order subelliptic equations

In this paper, we study the Dirichlet problems for the following quasilinear second order sub-elliptic equation, $$\left\{ {\begin{array}{*{20}c} {\sum\limits_{i,j = 1}^m {X_i^* (A_{i,j} (x,u)X_j u) + \sum\limits_{j = 1}^m {B_j (x,u)X_j u + C(x,u) = 0in\Omega ,} } } \\ {u = \varphi on\partial \Omega ,} \\ \end{array} } \right.$$ whereX={X ₁, ...,X _m } is a system of real smooth vector fields which satisfies the Hörmander's condition,A _i,j ,B _j ,C ∈C ^∞( $\bar \Omega$ ×R) and (A _i,j (x,z)) is a positive definite matrix. We have proved the existence and the maximal regularity of solutions in the “non-isotropic” Hölder space associated with the system of vector fieldsX.     

The variety of solutions of the singular generalized Cauchy-Riemann System

We prove that the equation $$2\bar z\partial _{\bar z} \bar w = 0_1 z \in G,$$ in whichB(z) ∈C ^∞(G),B ₀(z)=O(|z})α),α>0,z → 0, and $$b(\varphi ) = \sum\limits_{k = - m_o }^m {b_k e^{ik\varphi } } $$ does not have nontrivial solutions in the classC ^∞(G).