Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

Non-commutative Clarkson Inequalities for n-Tuples of Operators

Let A ₀, ... , A _n−1 be operators on a separable complex Hilbert space , and let α₀,..., α _n−1 be positive real numbers such that 1. We prove that for every unitarily invariant norm,

Convergence of weighted sums of independent random variables

Let {X_k} be a sequence of i.i.d. random variables with d.f. F(x). In the first part of the paper the weak convergence of the d.f.'s F_n(x) of sums is studied, where 0<α≤2, a_nk>0, 1≤k≤m_n, and, as n→∞, bothmax _1≤k≤mn_{a nk}→0 and . It is shown that such convergence, with suitably chosen A_n's and necessarily stable limit laws, holds for all such arrays {α_nk} provided it holds for the special case α_nk=1/n, 1≤k≤n. Necessary and sufficient conditions for such convergence are classical. Conditions are given for the convergence of the moments of the sequence {F_n(x)}, as well as for its convergence in mean. The second part of the paper deals with the almost sure convergence of sums , where a_n≠0, b_n>0, andmax _1≤k≤n a_k/b_n→0. The strong law is said to hold if there are constants A_n for which S_n→0 almost surely. Let N(0)=0 and N(x) equal the number of n≥1 for which b_n/|a_n|<x if x>0. The main result is as follows. If the strong law holds,EN (|X₁|)<∞. If for some 0<p≤2, then the strong law holds with if 1≤p≤2 and A_n=0 if 0<p<1. This extends the results of Heyde and of Jamison, Orey, and Pruitt. The strong law is shown to hold under various conditions imposed on F(x), the coefficients a_n and b_n, and the function N(x). Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, 1993.     

Precise asymptotics in self-normalized sums of iterated logarithm for multidimensionally indexed random variables

In the case of Zd (d ≥ 2)-the positive d-dimensional lattice points with partial ordering ≤, {Xk,k ∈ Zd } i.i.d. random variables with mean 0, Sn = ∑k≤nXk and Vn2 = ∑j≤nX2j, the precise asymptotics for ∑n1/|n|(log|n|)dP(|Sn/vn|≥ ε√loglog|n|) and ∑n(logn|)δ/|n|(log|n|)d-1 P(|Sn/Vn| ≥ ε√log n), as ε ↘ 0, is established.     

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

A Sharp Bound for the Number of Sets that Pairwise Intersect at <Emphasis Type="Italic">k</Emphasis> Positive Values

In this paper we prove that if is a set of k positive integers and {A ₁, ..., A _m } is a family of subsets of an n-element set satisfying , for all 1 i < j m, then . The case k = 1 was proven 50 years ago by Majumdar.     

A Note on the Mean Value of Numbersof the Solutions of x^α≡ 1（modn）

Let T = T(p, q, α) be the number of solutions of the congruence x^α ≡ 1 (mod p^ηq^θ). Let A and B be sets of primes satisfying x₁ < p ≤ x₂ and y₁ < q ≤ y₂, respectively. A mean value estimation of is given. Supported by National Natural Science Foundation of China (No. 19971024) and Zhejiang Provincial Natural Science Foundation of China (No. 199047)     

Duals of holomorphic Besov spaces on the polydisks and diagonal mappings

Let U ⁿ be the unit polydisk in C ⁿ and S be the space of functions of regular variation. Let 1 ≤ p < ∞, ω = (ω ₁, ..., ω _n ), ω _j ∈ S(1 ≤ j ≤ n) and f ∈ H(U ⁿ ). The function f is said to be in holomorphic Besov space B _p (ω) if

Filling the gap between the Gerschgorin and Brualdi theorems

The paper presents new diagonal dominance type nonsingularity conditions for n × n matrices formulated in terms of circuits of length not exceeding a fixed number r ≥ 0 and simple paths of length r in the digraph of the matrix. These conditions are intermediate between the diagonal dominance conditions in terms of all paths of length r and Brualdi’s diagonal dominance conditions, involving all the circuits. For r = 0, the new conditions reduce to the standard row diagonal dominance conditions , i = 1, ..., n, whereas for r = n they coincide with the Brualdi circuit conditions. Thus, they connect the classical Lévy-Desplanques theorem and the Brualdi theorem, yielding a family of sufficient nonsingularity conditions. Further, for irreducible matrices satisfying the new diagonal dominance conditions with nonstrict inequalities, the singularity/nonsingularity problem is solved. Also the new sufficient diagonal dominance conditions are extended to the so-called mixed conditions, simultaneously involving the deleted row and column sums of an arbitrary finite set of matrices diagonally conjugated to a given one, which, in the simplest nontrivial case, reduce to the old-known Ostrowski conditions , i = 1, ..., n, 0 ≤ α ≤ 1. The nonsingularity conditions obtained are used to provide new eigenvalue inclusion sets, depending on r, which, as r varies from 0 to n, serve as a bridge connecting the union of Gerschgorin’s disks with the Brualdi inclusion set. Bibliography: 16 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 334, 2006, pp. 128–148.     

The value regions of initial coefficients in a certain class of meromorphic functions

Let M_k,λ(0≤λ≤1, k≥2) be the class of functions f(z)=1/z+a_o+a₁z+... that are regular and locally univalent for 0<⩛z⩛<1 and satisfy the condition where J_λ(z)=λ(1+zf″(z)/f'(z))+(1-λ)zf'(z)/f(z). In the class M_k,λ we consider sorne coefficient problems and problems concerning distortion theorems. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 212, 1994, pp. 91–96. Translated by N. Yu. Netsvetaev.     

Solvability of second-order left-invariant differential operators on the Heisenberg group satisfying a cone condition

We discuss local solvability of operators of the form where theV _j are left-invariant vector fields on the Heisenberg group such that [V _j ,V _j+n ]=U for 1≤j≤n andA=(a _jk )=A ₁+iA ₂ is a complex symmetric matrix satisfying the “cone condition” |A ₂|≤CA ₁. The authors acknowledge the support for this work by the European Commission through the European HCM-program “Fourier Analysis” and the TMR network “Harmonic Analysis”.     

Bloch-Bergman Pullbacks with Logarithmic Weights

We characterize the composition operators mapping Blochs boundedly into the weighted Bergman spaces of logarithmic weight. For 0 < p < ∞, 1 < α < ∞, let A^{p, log α} denote the space of holomorphic functions F in the unit disc D for which

A Cauchy problem for the heat equation

Summary Let u(x, t) satisfy the heat equation in 0<x<1, 0<t≤T. Let u(x, 0)=0 for 0<x<1 and let |u(0, t)|<ε, | u_x(0, t) |<ε, and | u(1, t) |<M for 0≤t≤T. Then, , where M₁ and β(x) are given explicitly by simple formulas. The application of the a priori bound to obtain error estimates for a numerical solution of the Cauchy problem for the heat equation with u(x, 0)=h(x), u(0, t)=f(t), and u_x(0, t)=g(t) is discussed. Work performed under the auspices of the U. S. Atomic Energy Commission.     

Littlewood-Paley theorem for arbitrary intervals: Weighted estimates

Let 1 < r < 2 and let b is a weight on ℝ such that satisfies the Muckenhoupt condition A_r′/2 (r′ is the exponent conjugate to r). If f_j are functions whose Fourier transforms are supported on mutually disjoint intervals, then

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

On the zeros of a class of generalised Dirichlet series-XIV

We prove a general theorem on the zeros of a class of generalised Dirichlet series. We quote the following results as samples. Theorem A.Let 0<θ<1/2and let {a _n }be a sequence of complex numbers satisfying the inequality for N = 1,2,3,…,also for n = 1,2,3,…let α _n be real and |α_n| ≤ C(θ)where C(θ) > 0is a certain (small)constant depending only on θ. Then the number of zeros of the function in the rectangle (1/2-δ⩽σ⩽1/2+δ,T⩽t⩽2T) (where 0<δ<1/2)is ≥C(θ,δ)T logT where C(θ,δ)is a positive constant independent of T provided T ≥T ₀(θ,δ)a large positive constant. Theorem B.In the above theorem we can relax the condition on a _n to and |a_N| ≤ (1/2-θ)^-1.Then the lower bound for the number of zeros in (σ⩾1/3−δ,T⩽t⩽2T)is > C(θ,δ) Tlog T(log logT)^-1.The upper bound for the number of zeros in σ⩾1/3+δ,T⩽t⩽2T) isO(T)provided for every ε > 0. Dedicated to the memory of Professor K G Ramanathan     

Two Inequalities for Convex Functions

Let a ₀ < a ₁ < ··· < a _n be positive integers with sums $ {\sum\nolimits_{i = 0}^n {\varepsilon _{i} a_{i} {\left( {\varepsilon _{i} = 0,1} \right)}} } Let a ₀ < a ₁ < ··· < a _n be positive integers with sums distinct. P. Erd?s conjectured that The best known result along this line is that of Chen: Let f be any given convex decreasing function on [A, B] with α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n being real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , Then In this paper, we obtain two generalizations of the above result; each is of special interest in itself. We prove: Theorem 1 Let f and g be two given non-negative convex decreasing functions on [A, B], and α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n , α' ₀, α' ₁, ... , α' _n , β' ₀ , β' ₁ , ... , β' _n be real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , α' ₀ ≤ α' ₁ ≤ ··· ≤ α' _n , Then Theorem 2 Let f be any given convex decreasing function on [A, B] with k ₀, k ₁, ... , k _n being nonnegative real numbers and α ₀, α ₁, ... , α _n , β ₀, β ₁, ... , β _n being real numbers in [A, B] with α ₀ ≤ α ₁ ≤ ··· ≤ α _n , Then      

A remark on the coefficients of bounded polynomials

Let be such that |p(e^iq)|≤1 for ϕ∈R and |p(1)|=a∈[0,1]. An inequality of Dewan and Govil for the sum |a_v|+|a_n|, 0≤u<v≤n is sharpened.     

Structural formulas and value regions of functionals in certain classes of regular functions

We study the structural properties of the class M_k,λ,b(k≥2, 0≤λ≤1, b∈ℂ\{0}) of functions f(z)=z+ ... which are regular in |z|<1 and satisfy the conditions f(z)f′(z)z⁻¹≠0 and , where J(z)=λ(1+b⁻¹zf″(z)/f′(z)+(1−λ)(b⁻¹zf′(z)/f(z)+1−b⁻¹). The value regions of some functionals on this class are found. The case λ=1 was considered in our previous paper. Bibliography: 4 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 204, 1993, pp. 55–60. Translated by O. A. Ivanov.     

Almost orthogonal submatrices of an orthogonal matrix

Lett≥1 and letn, M be natural numbers,n<M. Leta=(a _i,j ) be ann xM matrix whose rows are orthonormal. Suppose that the ℓ₂-norms of the columns ofA are uniformly bounded. Namely, for allj Using majorizing measure estimates we prove that for every ε>0 there exists, a setI ⊃ {1,…,M} of cardinality at most such that the matrix , whereA _I =(a _i,j ) _j∈I , acts as a (1+ε)-isomorphism from ℓ ₂ ⁿ into . Research supported in part by a grant of the US-Israel BSF. Part of this research was performed when the author held a postdoctoral position at MSRI. Research at MSRI was supported in part by NSF grant DMS-9022140.