Cross products of complete orthonormal systems of functions

The orthonormal kernel is a continuous analog for an orthonormal system of functions. The cross product of any two orthonormal systems, complete in L₂, is an example of a complete orthonormal kernel with respect to Lebesgue measure. In this note we continue our study of the properties of the cross product of a Haar system with an arbitrary orthonormal system of functions, complete in L₂, and totally bounded. We investigate certain properties of the cross product of a Haar system with another Haar system.Translated from Matematicheskie Zametki, Vol. 15, No. 2, pp. 331–340, February, 1974.The author thanks Professor N. Ya. Vilenkin for helpful discussions during the course of this work.     

An example of an almost greedy uniformly bounded orthonormal basis for

We construct a uniformly bounded orthonormal almost greedy basis for L_p(0,1), 1<p<∞. The example shows that it is not possible to extend Orlicz's theorem, stating that there are no uniformly bounded orthonormal unconditional bases for L_p(0,1), p≠2, to the class of almost greedy bases.     

On a property of complete orthonormal systems

In this paper we establish a necessary and sufficient condition for orthonormal systems, subject to which there exist rearranged series ∑_σα_n?_n(x) converging almost everywhere to functions h(x) ¯? L₂[0, 1]. In particular, we show, for an arbitrary complete orthonormal system, that such series exist.     

Nonuniqueness for a bounded, differentiable complete orthonormal system inL 2[0, 1]

The argument of Müsegian and Ovsepjan is adapted to produce a complete orthonormal system on [0, 1] of uniformly bounded functions, differentiable on [0, 1], andC ^∞ on [0, 1], for which the analogue of Cantor's uniqueness theorem is false. We also construct a complete orthonormal system ofC ^∞ functions which vanish to infinite order at both endpoints.     

Uncertainty principles for orthonormal sequences

The aim of this paper is to provide complementary quantitative extensions of two results of H.S. Shapiro on the time-frequency concentration of orthonormal sequences in L²(R). More precisely, Shapiro proved that if the elements of an orthonormal sequence and their Fourier transforms are all pointwise bounded by a fixed function in L²(R) then the sequence is finite. In a related result, Shapiro also proved that if the elements of an orthonormal sequence and their Fourier transforms have uniformly bounded means and dispersions then the sequence is finite. This paper gives quantitative bounds on the size of the finite orthonormal sequences in Shapiro's uncertainty principles. The bounds are obtained by using prolate spheroïdal wave functions and combinatorial estimates on the number of elements in a spherical code. Extensions for Riesz bases and different measures of time-frequency concentration are also given.     

Kernels and best approximations related to the system of ultraspherical polynomials

We study the uniformly bounded orthonormal system of functions

where is the normalized system of ultraspherical polynomials. We investigate some approximation properties of the system and we show that these properties are similar to one's of the trigonometric system. First, we obtain estimates of L^p-norms of the kernels of the system . These estimates enable us to prove Nikol'skiı˘-type inequalities for -polynomials. Next, we prove directly that is a basis in each , where w is an arbitrary A_p-weight function. Finally, we apply these results to get sharp inequalities for the best -approximations in L^q in terms of the best -approximations in . For the trigonometric system such inequalities have been already known.     

Lacunary systems and generalized linear processes

Herein we obtain several almost sure and L_p convergence properties of generalized linear processes. When the generalized linear process is generated by an orthonormal S_p system (which includes the classical i.i.d. white noise, L_p bounded martingale difference sequences and weakly multiplicative sequences as special cases), it is shown that these convergence properties are related to certain second order properties of the process.     

Systems of functions which are complete in measure

In this note it is proved that if a complete orthonormal system {? _n} in L₂[0, 1] contains a subsystem {? _nk} of a lacunary order p>2, then for some bounded measurable function h(x) the system {h(x)? _n(x)}_n≠_nk is complete in L₂[0, 1].     

Bases of rearrangement invariant spaces

We prove that if E is a rearrangement-invariant space, then a boundedly complete basis exists in E, if and only if one of the following conditions holds: 1) E is maximal and E ≠ L ₁[0, 1]; 2) a certain (any) orthonormal system of functions from L _∞[0, 1], possessing the properties of the Schauder basis for the space of continuous on [0, 1] functions with the norm L _∞, represents a boundedly complete basis in E. As a corollary, we state the following assertion: Any (certain) orthonormal system of functions from L _∞[0, 1], possessing the properties of the Schauder basis for the space of continuous on [0, 1] functions with the norm L _∞, represents a spanning basis in a separable rearrangement-invariant space E, if and only if the adjoint space E* is separable. We prove that in any separable rearrangement-invariant space E the Haar system either forms an unconditional basis, or a strongly conditional one. The Haar system represents a strongly conditional basis in a separable rearrangement-invariant space, if and only if at least one of the Boyd indices of this space is trivial.     

Subspaces and Orthogonal Decompositions Generated by Bounded Orthogonal Systems

We investigate properties of subspaces of L₂ spanned by subsets of a finite orthonormal system bounded in the L_∞ norm. We first prove that there exists an arbitrarily large subset of this orthonormal system on which the L₁ and the L₂ norms are close, up to a logarithmic factor. Considering for example the Walsh system, we deduce the existence of two orthogonal subspaces of L₂ⁿ, complementary to each other and each of dimension roughly n/2, spanned by ± 1 vectors (i.e. Kashin’s splitting) and in logarithmic distance to the Euclidean space. The same method applies for p > 2, and, in connection with the Λ_p problem (solved by Bourgain), we study large subsets of this orthonormal system on which the L₂ and the L_p norms are close (again, up to a logarithmic factor). Partially supported by an Australian Research Council Discovery grant. This author holds the Canada Research Chair in Geometric Analysis.     

Wavelets and Bidemocratic Pairs in Weighted Norm Spaces

A complete characterization of weight functions for which the higher-rank Haar wavelets are greedy bases in weighted L^p spaces is given. The proof uses the new concept of a bidemocratic pair for a Banach space and also pairs (Φ, Φ), where Φ is an orthonormal system of bounded functions in the spaces L^p, p≠2.     

Classification of Toeplitz operators on hardy spaces of bounded domains in the plane

We construct an orthonormal basis for the class of square integrable functions on bounded domains in the plane in terms of the classical kernel functions in potential theory. Then we generalize the results of Brown and Halmos about algebraic properties of Toeplitz operators and Laurent operators on the unit disc to general bounded domains. This is a complete classification of Laurent operators and Toeplitz operators for bounded domains.     

An example of a complete orthonormal system in a Hilbert space of generalized functions

We construct a complete orthonormal system of generalized functions in a Hilbert space W ^?1. We obtain an estimate of the error of approximation in W ^?1, which is expressed in terms of the integral modulus of continuity of a function from L ₂.     

Special bases for solutions of a generalized Maxwell system in 3‐dimensional space

The aim of this paper is to study complete polynomial systems in the kernel space of conformally invariant differential operators in higher spin theory. We investigate the kernel space of a generalized Maxwell operator in 3‐dimensional space. With the already known decomposition of its homogeneous kernel space into 2 subspaces, we investigate first projections from the homogeneous kernel space to each subspace. Then, we provide complete polynomial systems depending on the given inner product for each subspace in the decomposition. More specifically, the complete polynomial system for the homogenous kernel space is an orthogonal system wrt a given Fischer inner product. In the case of the standard inner product in L² on the unit ball, the provided complete polynomial system for the homogeneous kernel space is a partially orthogonal system. Further, if the degree of homogeneity for the respective subspaces in the decomposed kernel spaces approaches infinity, then the angle between the 2 subspaces approaches π/2.     

Transferring strong boundedness among Laguerre orthogonal systems

Given the family of Laguerre polynomials, it is known that several orthonormal systems of Laguerre functions can be considered. In this paper we prove that an exhaustive knowledge of the boundedness in weighted L ^p of the heat and Poisson semigroups, Riesz transforms and g-functions associated to a particular Laguerre orthonormal system of functions, implies a complete knowledge of the boundedness of the corresponding operators on the other Laguerre orthonormal system of functions. As a byproduct, new weighted L ^p boundedness are obtained. The method also allows us to get new weighted estimates for operators related with Laguerre polynomials. Carlos Segovia passed away on April 3, 2007.     

Compactness of eigenvectors for certain families of non-negative matrices

Conditions are given which guarantee that the normalized left eigenvectors of certain classes of non-negative matrices of unbounded dimension, interpreted as functions of [0, 1], form precompact sets in L₁. These eigenvectors are uniformly bounded above and in some cases uniformly bounded below.     

Stability of kernel-based interpolation

It is often observed that interpolation based on translates of radial basis functions or non-radial kernels is numerically unstable due to exceedingly large condition of the kernel matrix. But if stability is assessed in function space without considering special bases, this paper proves that kernel-based interpolation is stable. Provided that the data are not too wildly scattered, the L ₂ or L _∞ norms of interpolants can be bounded above by discrete ℓ₂ and ℓ_∞ norms of the data. Furthermore, Lagrange basis functions are uniformly bounded and Lebesgue constants grow at most like the square root of the number of data points. However, this analysis applies only to kernels of limited smoothness. Numerical examples support our bounds, but also show that the case of infinitely smooth kernels must lead to worse bounds in future work, while the observed Lebesgue constants for kernels with limited smoothness even seem to be independent of the sample size and the fill distance.     

Convergence in L p -norm of Fourier series on the complete product of quaternion groups with bounded orders

A well-known result for Vilenkin systems is the fact that for all 1 p ∞ the n-th partial sums of Fourier series of all functions in the space Lpconverge to the function in Lp-norm.This statement can not be generalized to any representative product system on the complete product of finite non-abelian groups,but even then it is true for the complete product of quaternion groups with bounded orders and monomial representative product system ordered in a specific way.     

Uniform embeddings of metric spaces and of banach spaces into hilbert spaces

It is proved using positive definite functions that a normed spaceX is unifomly homeomorphic to a subset of a Hilbert space, if and only ifX is (linearly) isomorphic to a subspace of aL ₀(μ) space (=the space of the measurable functions on a probability space with convergence in probability). As a result we get thatl _p (respectivelyL _p (0, 1)), 2<p<∞, is not uniformly embedded in a bounded subset of itself. This answers negatively the question whether every infinite dimensional Banach space is uniformly homeomorphic to a bounded subset of itself. Positive definite functions are also used to characterize geometrical properties of Banach spaces. Partially supported by the National Science Foundation, Grant MCS-79-03322. Partially supported by the National Science Foundation, Grant MCS-80-06073.