Special orthogonal splittings of<Emphasis Type="Italic">L</Emphasis><Stack><Subscript>1</Subscript><Superscript>2<Emphasis Type="Italic">k</Emphasis></Superscript></Stack>

We show that for each positive integerk there is ak×k matrixB with ±1 entries such that puttingE to be the span of the rows of thek×2k matrix [√kI _k,B], thenE,E ^⊥ is a Kashin splitting: TheL ₁ ^2k and theL ₂ ^2k are universally equivalent on bothE andE ^⊥. Moreover, the probability that a random ±1 matrix satisfies the above is exponentially close to 1. Supported by the Israel Science Foundation.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Bounds for the Commutator of Parabolic Singular Integral with Rough Kernels

In this paper, the authors give the L ^p (1 < p < ∞ ) boundedness of the k-th order commutator of parabolic singular integral with the kernel function Ω ∈ L(log⁺ L) ^k + 1(S ^n − 1). The result in this paper is an extension of some known results. The research was supported by NSF of China (Grant: 10571015) and SRFDP of China (Grant: 20050027025).     

S<Superscript>1</Superscript>-Valued Sobolev maps

We describe the structure of the space W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) , where 0 < s < ∞ and 1 ≤ p < ∞. According to the values of s, p, and n, maps in W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) can either be characterised by their phases or by a couple (singular set, phase).     

Approximation and asymptotics of eigenvalues of unbounded self-adjoint Jacobi matrices acting in <Emphasis Type="Italic">l</Emphasis><Superscript>2</Superscript> by the use of finite submatrices

We consider the problem of approximation of eigenvalues of a self-adjoint operator J defined by a Jacobi matrix in the Hilbert space l ²(ℕ) by eigenvalues of principal finite submatrices of an infinite Jacobi matrix that defines this operator. We assume the operator J is bounded from below with compact resolvent. In our research we estimate the asymptotics (with n → ∞) of the joint error of approximation for the eigenvalues, numbered from 1 to N; of J by the eigenvalues of the finite submatrix J _n of order n × n; where N = max{k ∈ ℕ: k ≤ rn} and r ∈ (0; 1) is arbitrary chosen. We apply this result to obtain an asymptotics for the eigenvalues of J. The method applied in this research is based on Volkmer’s results included in [23].     

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.     

The weak and strong asymptotic equivalence relations and the generalized inverse<Superscript>*</Superscript>

We discuss the relationship between the weak and strong asymptotic equivalence relations and the generalized inverse in the class A \mathcal {A} of all nondecreasing unbounded positive functions on a half-axis [a,+∞) (a > 0). As a main result, we prove a proper characterization of the functional class R _∞ ∩ A \mathcal {A} , where R _∞ is the class of all rapidly varying functions. Also, we prove a characterization of the functional class PI ^* ∩ A \mathcal {A} .     

Existence of three HMOLS of type 2<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript><Emphasis Type="Italic">u</Emphasis><Superscript>1</Superscript>

A Latin squares of order v with ni missing sub-Latin squares （holes） of order hi （1 〈= i 〈 k）, which are disjoint and spanning （i.e. ∑k i=l1 nihi = v）, is called a partitioned incomplete Latin squares and denoted by PILS. The type of PILS is defined by （h1n1 h2n2…hknk ）. If any two PILS inaset of t PILS of type T are orthogonal, then we denote the set by t-HMOLS（T）. It has been proved that 3-HMOLS（2n31） exist for n ≥6 with 11 possible exceptions. In this paper, we investigate the existence of 3-HMOLS（2nu1） with u ≥ 4, and prove that 3-HMOLS（2~u1） exist if n ≥ 54 and n ≥7/4u ＋ 7.     

Countably generated prime ideals in <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

We confirm a twenty year old conjecture by showing that a nonzero prime ideal P in the algebra H^∞ of bounded analytic functions in the open unit disk is countably generated if and only if it is either a principal ideal generated by the polynomial z−z₀, |z₀|<1, or if P is generated by the n-th roots of an atomic inner function. The case of the algebra H^∞+C is also dealt with. Dedicated to the 70th birthday of Joseph Cima Research supported by the RIP-program Oberwolfach 2004.     

Multi-parameter singular radon transforms I: The <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> theory

The purpose of this paper is to study the L ² boundedness of operators of the form f ↦ ψ(x) ∫ f (γ _t (x))K(t)dt, where γ _t (x) is a C ^∞ function defined on a neighborhood of the origin in (t, x) ∈ ℝ ^N × ℝ ⁿ , satisfying γ ₀(x) ≡ x, ψ is a C ^∞ cut-off function supported on a small neighborhood of 0 ∈ ℝ ⁿ , and K is a “multi-parameter singular kernel” supported on a small neighborhood of 0 ∈ ℝ ^N . The goal is, given an appropriate class of kernels K, to give conditions on γ such that every operator of the above form is bounded on L ². The case when K is a Calderón-Zygmund kernel was studied by Christ, Nagel, Stein, and Wainger; we generalize their conditions to the case when K has a “multi-parameter” structure. For example, when K is given by a “product kernel.” Even when K is a Calderón- Zygmund kernel, our methods yield some new results. This is the first paper in a three part series, the later two of which are joint with E. M. Stein. The second paper deals with the related question of L ^p boundedness, while the third paper deals with the special case when γ is real analytic.     

Primarite DeL p(L r), 1<p,r<∞

In this article we show thatL ^p(L ^r) is primary forp andr in ]1,+∞[. If (h _k) _k≧1 denote the Haar basis, we begin with a study of the sequence (h _k ⊗h _i) and, in particular, the space generated by a subsequence of this sequence. In the first part we study the base ofL ^p(L ^r) and in the second part we show that this space is primary.     

Distributions of Points in <Emphasis Type="Italic">d</Emphasis> Dimensions and Large <Emphasis Type="Italic">k</Emphasis>-Point Simplices

We consider a variant of Heilbronn’s triangle problem by investigating for a fixed dimension d≥2 and for integers k≥2 with k≤d distributions of n points in the d-dimensional unit cube [0,1] ^d , such that the minimum volume of the simplices, which are determined by (k+1) of these n points is as large as possible. Denoting by Δ _k,d (n), the supremum of this minimum volume over all distributions of n points in [0,1] ^d , we show that c _k,d ⋅(log n)^1/(d−k+1)/n ^k/(d−k+1)≤Δ _k,d (n)≤c _k,d ′/n ^k/d for fixed 2≤k≤d, and, moreover, for odd integers k≥1, we show the upper bound Δ _k,d (n)≤c _k,d ″/n ^{k/d+(k−1)/(2d(d−1))}, where c _k,d ,c _k,d ′,c _k,d ″>0 are constants. A preliminary version of this paper appeared in COCOON ’05.     

An inversion formula for some convolution transforms

Inversion and convergence results are achieved for some convolution transforms whose kernel’s bilateral Laplace transform is [Π _k=1 ^∞ (1−(s ² a _k ² ))]⁻¹ wherea _k are complex.     

Exact order of relative widths of classes <Emphasis Type="Italic">W</Emphasis><Stack><Subscript>1</Subscript><Superscript>r</Superscript></Stack> in the space <Emphasis Type="Italic">L</Emphasis><Subscript>1</Subscript>

We determine the exact order of relative widths of classes W ₁ ^r of periodic functions in the space L ₁ as n → ∞ under restrictions on higher derivatives of approximating functions. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 10, pp. 1409–1417, October, 2005.     

THE GLOBAL APPROXIMATION BY LEFT-BERNSTEIN-DURRMEYER QUASI-INTERPOLANTS IN Lp[0, 1]

In this paper,we will use the 2r-th Ditzian-Totik modulus of smoothness wp^2r(f,t)p to discuss the direct and inverse theorem of approximation by Left-Bernstein-Durrmeyer quasi-interpolants Mn^[2r-1]f for functions of the space Lp[0,1](1≤p≤ ∞)。     

Positive definite quadratic forms representing integers of the form <Emphasis Type="Italic">an</Emphasis><Superscript>2</Superscript>+<Emphasis Type="Italic">b</Emphasis>

For any subset S of positive integers, a positive definite integral quadratic form is said to be S-universal if it represents every integer in the set S. In this article, we classify all binary S-universal positive definite integral quadratic forms in the case when S=S _a ={an ²∣n≥2} or S=S _a,b ={an ²+b∣n∈ℤ}, where a is a positive integer and ab is a square-free positive integer in the latter case. We also prove that there are only finitely many S _a -universal ternary quadratic forms not representing a. Finally, we show that there are exactly 15 ternary diagonal S ₁-universal quadratic forms not representing 1.     

Some Properties of an Operator on L^∞（△） and Its Applications

In this paper, we introduce an operator Hμ（z） on L^∞（△） and obtain some of its properties. Some applications of this operator to the extremal problem of quasiconformal mappings are given. In particular, a sufficient condition for a point r in the universal Teichmfiller space T（△） to be a Strebel point is obtained.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-singular dichotomy for orbital measures of classical simple Lie algebras

We prove that the G-invariant orbital measures supported on adjoint orbits in the Lie algebra of a classical, compact, connected, simple Lie group satisfy a smoothness dichotomy: Either μ ^k is singular to Lebesgue measure or μ ^k ∈ L ². The minimum k for which μ ^k ∈ L ² is specified and is also the minimum k such that the k-fold sum of the orbit has positive measure. S. K. Gupta appreciates the hospitality of the Department of Pure Mathematics at the University of Waterloo where some of this research was done. K. E. Hare was supported in part by NSERC.     

Eigensystem of an <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-perturbed harmonic oscillator is an unconditional basis

For any complex valued L ^p -function b(x), 2 ≤ p < ∞, or L ^∞-function with the norm ‖b↾L ^∞‖ < 1, the spectrum of a perturbed harmonic oscillator operator L = −d ²/dx ² + x ² + b(x) in L ²(ℝ¹) is discrete and eventually simple. Its SEAF (system of eigen- and associated functions) is an unconditional basis in L ²(ℝ).     

Generalization of the fricke theorem on entire functions of finite index

We prove that, for every sequence (a _k) of complex numbers satisfying the conditions Σ(1/|a _k |) < ∞ and |a _k+1| − |a _k | ↗ ∞ (k → ∞), there exists a continuous functionl decreasing to 0 on [0, + ∞] and such thatf(z) = Π(1 −z/|a _k |) is an entire function of finitel-index.