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

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.     

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.     

On absolute summation of Fourier series by subsequences

В работе изучается сл едующая задача. Пусть заданы числа 0<α≦1 и β<α. При каки х условиях на строго во зрастающую последов ательность натуральных чисел {n _k } _k ^t8 =1 для всех 2π-периодических функ ций \(f(x) \sim \sum\limits_{v = - \infty }^\infty {c_v e^{ivx} } \) , принадлежащих к лассу Lip α, равномерно пох будет выполнено неравенство $$\sum\limits_{k = 1}^\infty {|\sum\limits_{n_k \leqq |v|< n_{k + 1} } {c_v e^{ivx} } |n_k^\beta< \infty ?} $$ .     

Approximation of Dirichlet polynomials in cases of sparse exponents

Let \(0< \lambda \kappa \uparrow \infty ,\sum\nolimits_{\kappa = 1}^\infty {\lambda _\kappa ^{ - 1}< \infty } \) , and let γ be an analytic arc. For the Dirichlet polynomial \(P(z) = \sum\nolimits_1^n {a_k e^{\lambda _k .z} } \) , in angle \(E - \pi /2 + \varphi _0< \arg [ - (z - \alpha )]< \pi /2 + \varphi _0 ,0< \varphi _0< \pi /2,\operatorname{Re} \alpha< \beta = \mathop {\max }\limits_{t \in \gamma } \operatorname{Re} t\) we obtain the estimate $|P(z)|< A\mathop {\max }\limits_{t \in \gamma } |P(t)|$ where A depends only on angle E and {λ_k}. When γ is a segment, an estimate was obtained by L. Schwartz.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Limit Laws for Sums of Independent Random Products: the Lattice Case

Let {V _i,j ;(i,j)∈ℕ²} be a two-dimensional array of independent and identically distributed random variables. The limit laws of the sum of independent random products