Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

Fourier and Hermite series estimates of regression functions

Summary In the paper we estimate a regressionm(x)=E {Y|X=x} from a sequence of independent observations (X ₁,Y ₁),…, (X _n, Y_n) of a pair (X, Y) of random variables. We examine an estimate of a type , whereN depends onn andϕ _N is Dirichlet kernel and the kernel associated with the hermite series. Assuming, that E|Y|<∞ and |Y|≦γ≦∞, we give condition for to converge tom(x) at almost allx, provided thatX has a density. if the regression hass derivatives, then converges tom(x) as rapidly asO(nC^{−(2s−1)/4s}) in probability andO(n ^{−(2s−1)/4s} logn) almost completely.     

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

A general Hobby-Rice Theorem and cake cutting

LetX be a Borel subset of a separable Banach spaceE. Letμ be a non-atomic,σ-finite, Borel measure onX. LetG ⊆L ₁ (X, Σ,μ) bem-dimensional. Theorem:There is an l ∈ E* and real numbers −∞=x ₀<x ₁<x ₂<…<x _n<x _n+1=∞with n≤m, such that for all g ∈ G,      

On the sum of a prime and a k-th power of prime in short intervals

Let H_k\mathcal{H}_{k} denote the set {n∣2|n, n\not o 1 (mod p)n\not\equiv 1\ (\mathrm{mod}\ p) ∀ p>2 with p−1|k}. We prove that when X^{\frac1120(1-\frac12k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{2k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n ? \allowbreak H_k ?(X, X+H]n\in\allowbreak {\mathcal{H}_{k} \cap (X, X+H]} can be represented as the sum of a prime and a k-th power of prime for k≧3. Moreover, when X^{\frac1120(1-\frac1k) +e}\leqq H\leqq XX^{\frac{11}{20}\left(1-\frac{1}{k}\right) +\varepsilon}\leqq H\leqq X, almost all integers n∈(X,X+H] can be represented as the sum of a prime and a k-th power of integer for k≧3.     

On the spectral representation of the elementary operator and spectral mapping theorems

LetX andY denote two complex Banach spaces and letB(Y, X) denote the algebra of all bounded linear operators fromY toX. ForA∈B(X) ⁿ ,B∈B(Y) ⁿ , the elementary operator acting onB(Y, X) is defined by . In this paper we obtain the formulae of the spectrum and the essential spectrum of Δ(A, B) by using spectral mapping theorems. Forn=1, we prove thatS _p (L _A ,R _B )=σ(A)×σ(B) and .     

A presentation for the singular part of the full transformation semigroup

The (full) transformation semigroup T_n\mathcal{T}_{n} is the semigroup of all functions from the finite set {1,…,n} to itself, under the operation of composition. The symmetric group S_n í T_n{\mathcal{S}_{n}\subseteq \mathcal{T}_{n}} is the group of all permutations on {1,…,n} and is the group of units of T_n\mathcal{T}_{n}. The complement T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n} is a subsemigroup (indeed an ideal) of T_n\mathcal{T}_{n}. In this article we give a presentation, in terms of generators and relations, for T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n}, the so-called singular part of T_n\mathcal{T}_{n}.     

On the range of random walk

Let {S _n , n=0, 1, 2, …} be a random walk (S _n being thenth partial sum of a sequence of independent, identically distributed, random variables) with values inE _d , thed-dimensional integer lattice. Letf _n =Prob {S ₁ ≠ 0, …,S _n −1 ≠ 0,S _n =0 |S ₀=0}. The random walk is said to be transient if and strongly transient if . LetR _n =cardinality of the set {S ₀,S ₁, …,S _n }. It is shown that for a strongly transient random walk with p<1, the distribution of [R _n −np]/σ √n converges to the normal distribution with mean 0 and variance 1 asn tends to infinity, where σ is an appropriate positive constant. The other main result concerns the “capacity” of {S ₀, …,S _n }. For a finite setA inE _d , let C(A=Σ _x∈A ) Prob {S _n ∉A, n≧1 |S ₀=x} be the capacity ofA. A strong law forC{S ₀, …,S _n } is proved for a transient random walk, and some related questions are also considered. This research was partially supported by the National Science Foundation.     

On conditions under which the sum of self-adjoint operators with given integer spectra is a scalar operator

We describe the set of parameters γ for which there exists a decomposition of the operator γI _H in a sum of n self-adjoint operators with spectra from the sets M ₁, …, M _n, M _i = 0, 1, …, k _i, for n ≥ 4 and, in some cases, for n = 3. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 4, pp. 470–477, April, 2008.     

Holomorphic factorization of determinants of Laplacians on Riemann surfaces and a higher genus generalization of Kronecker’s first limit formula

For a family of compact Riemann surfaces X_t of genus g > 1, parameterized by the Schottky space we define a natural basis of which varies holomorphically with t and generalizes the basis of normalized abelian differentials of the first kind for n  =  1. We introduce a holomorphic function F(n) on which generalizes the classical product for n  =  1 and g  =  1. We prove the holomorphic factorization formula

Uniformly Accurate Quantile Bounds for Sums of Arbitrary Independent Random Variables

Fix any n≥1. Let X ₁,…,X _n be independent random variables such that S _n =X ₁+⋅⋅⋅+X _n , and let S^*_n=sup_{1 ￡ k ￡ n}S_kS^{*}_{n}=\sup_{1\le k\le n}S_{k} . We construct upper and lower bounds for s _y and s_y^*s_{y}^{*} , the upper \frac1y\frac{1}{y} th quantiles of S _n and S^*_nS^{*}_{n} , respectively. Our approximations rely on a computable quantity Q _y and an explicit universal constant γ _y , the latter depending only on y, for which we prove that

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

On the strong law of large numbers and additive functions

Let f(n) be a strongly additive complex-valued arithmetic function. Under mild conditions on f, we prove the following weighted strong law of large numbers: if X,X ₁,X ₂, … is any sequence of integrable i.i.d. random variables, then

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

Quasi-convex Mappings on the Unit Polydisk in $\mathbb{C}^{n}$

In this paper, the sharp estimates of all homogeneous expansions for f are established, where f(z) = (f ₁(z), f ₂(z), …, f _n (z))′ is a k-fold symmetric quasi-convex mapping defined on the unit polydisk in ℂ ⁿ and

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

Wavelet approximation and Fourier widths of classes of periodic functions of several variables. I

We obtain characterizations (and prove the corresponding equivalence of norms) of function spaces B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) of Nikol’skii-Besov and Lizorkin-Triebel types, respectively, in terms of representations of functions in these spaces by Fourier series with respect to a multiple system $ \mathcal{W}_m^\mathbb{I} $ \mathcal{W}_m^\mathbb{I} of Meyer wavelets and in terms of sequences of the Fourier coefficients with respect to this system. We establish order-sharp estimates for the approximation of functions in B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) by special partial sums of these series in the metric of L _r ($ \mathbb{I} $ \mathbb{I} ^k ) for a number of relations between the parameters s, p, q, r, and m (s = (s ₁, ..., s _n ) ∈ ℝ₊ ⁿ , 1 ≤ p, q, r ≤ ∞, m = (m ₁, ..., m _n ) ∈ ℕ ⁿ , k = m ₁ +... + m _n , and $ \mathbb{I} $ \mathbb{I} = ℝ or $ \mathbb{T} $ \mathbb{T} ). In the periodic case, we study the Fourier widths of these function classes.     

Real moments of the restrictive factor

Let λ be a real number such that 0 < λ < 1. We establish asymptotic formulas for the weighted real moments Σ _n≤x R ^λ (n)(1 − n/x), where R(n) =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } is the Atanassov strong restrictive factor function and n =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } is the prime factorization of n.     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

The geometry of whips

In this article, we study geometric aspects of the space of arcs parameterized by unit speed in the L ² metric. Physically, this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation η _tt = ∂ _s (σ η _s ), with \lvert h_s\rvert o 1{\lvert \eta_{s}\rvert\equiv 1} and σ given by s_ss- \lvert h_ss\rvert² s = -\lvert h_st\rvert²{\sigma_{ss}- \lvert \eta_{ss}\rvert^2 \sigma = -\lvert \eta_{st}\rvert^2}, with boundary conditions σ(t, 1) = σ(t, −1) = 0 and η(t, 0) = 0. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that is continuous and even differentiable but not C ¹. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.