Testing linear operators—An average case study

Given a specification linear operatorS, we want to test an implementation linear operatorA and determine whether it conforms to the specification operator according to an error criterion. In an earlier paper [3], we studied a worst case error in which we test whether the error is no more than a given bound ε>0 for all elements in a given setF, i.e., sup _{fεf∥Sf—Af∥≤ε}. In this work, we study the average error instead, i. e., ∫ _F ∥Sf-Af∥²μ(df)ɛ≤², where μ is a probability measure onF. We assume that an upper boundK on the norm of the difference ofS andA is given a priori. It turns out that any finite number of tests is in general inconclusive with the average error. Therefore, as in the worst case, we allow a relaxation parameter α>0 and test for weak conformance with an error bound (1+α)ε. Then a finite number of tests from an arbitrary orthogonal complete sequence is conclusive. Furthermore, the eigenvectors of the covariance operatorC _μ of the probability measure μ provide an almost optimal test sequence. This implies that the test set isuniversal; it only depends on the set of valid inputsF and the measure μ, and is independent ofS, A, and the other parameters of the problem. However, the minimal number of tests does depend on all the parameters of the testing problem, i.e., ε, α,K, and the eigenvalues ofC _μ. In contrast to the worst case setting, it also depends on the dimensiond of the range space ofS andA. This work was done while consulting at Bell Laboratories, and is partially supported by the National Science Foundation and the Air Force Office of Scientific Research.     

Fractional Integral Operators on Anisotropic Hardy Spaces

In this paper, we introduce the fractional integral operator T of degree α of order m with respect to a dilation A for 0 < α < 1 and . First we establish the Hardy-Littlewood-Sobolev inequalities for T on anisotropic Hardy spaces associated with dilation A, which show that T is bounded from H ^p to H ^q , or from H ^p to L ^q , where 0 < p ≤ 1/(1 + α) and 1/q = 1/p − α. Then we give anisotropic Hardy spaces estimates for a class of multilinear operators formed by fractional integrals or Calderón-Zygmund singular integrals. Finally, we apply the above results to give the boundedness of the commutators of T and a BMO function. Research supported by NSF of China (Grant: 10571015) and SRFDP of China (Grant: 20050027025).     

Sharp Estimates in Bergman and Besov Spaces on Bounded Symmetric Domains

Sharp estimates of the point-evaluation functional in weighted Bergman spaces L ^p _a (Ω, dν _α) and for the point-evaluation derivalive functional in Besov spaces B ^p (Ω) are obtained for bounded symmetric domains Ω in ℂ ⁿ . Received October 25, 1999, Accepted December 6, 2000     

Norms of Moore-Penrose Inverses of Fredholm Toeplitz Operators

In this paper we estimate the norm of the Moore-Penrose inverse T(a)⁺ of a Fredholm Toeplitz operator T(a) with a matrix-valued symbol a∈L_{N × N}^∞ defined on the complex unit circle. In particular, we show that in the ”generic case” the strict inequality ||T(a)⁺|| > ||a⁻¹||_∞ holds. Moreover, we discuss the asymptotic behavior of ||T(t^ra)⁺|| for . The results are illustrated by numerical experiments.     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

Lattice-universal Orlicz spaces on probability spaces

Lattice-universal Orlicz function spacesL ^F _α,β[0, 1] with prefixed Boyd indices are constructed. Namely, given 0<α<β<∞ arbitrary there exists Orlicz function spacesL ^F _α,β[0, 1] with indices α and β such that every Orlicz function spaceL ^G [0, 1] with indices between α and β is lattice-isomorphic to a sublattice ofL ^F _α,β[0, 1]. The existence of classes of universal Orlicz spacesl ^Fα,β(I) with uncountable symmetric basis and prefixed indices α and β is also proved in the uncountable discrete case. Partially supported by BFM2001-1284.     

Quadratically Hyponormal Recursively Generated Weighted Shifts Need Not Be Positively Quadratically Hyponormal

We study a class of weighted shifts W _α defined by a recursively generated sequence α ≡ α₀, … , α _m−2, (α _m−1, α _m , α _m+1)^∧ and characterize the difference between quadratic hyponormality and positive quadratic hyponormality. We show that a shift in this class is positively quadratically hyponormal if and only if it is quadratically hyponormal and satisfies a finite number of conditions. Using this characterization, we give a new proof of [12, Theorem 4.6], that is, for m = 2, W _α is quadratically hyponormal if and only if it is positively quadratically hyponormal. Also, we give some new conditions for quadratic hyponormality of recursively generated weighted shift W _α (m ≥ 2). Finally, we give an example to show that for m ≥ 3, a quadratically hyponormal recursively generated weighted shift W _α need not be positively quadratically hyponormal.     

Bounded imaginary powers and <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript>-calculus of the Stokes operator in two-dimensional exterior domains

The present contribution deals with the Stokes operator A_q on L^q_σ(Ω), 1<q<∞, where Ω is an exterior domain in ℝ² of class C². It is proved that A_q admits a bounded H_∞-calculus. This implies the existence of bounded imaginary powers of A_q, which has several important applications. – So far this property was only known for exterior domains in ℝⁿ, n≥3. – In particular, this shows that A_q has maximal regularity on L^q_σ(Ω). For the proof the resolvent (λ+A_q)⁻¹ has to be analyzed for |λ|→∞ and λ→0. For large λ this is done using an approximate resolvent based on the results of [3], which were obtained by applying the calculus of pseudodifferential boundary value problems. For small λ we analyze the representation of the resolvent developed in [11] by a potential theoretical method.     

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

Besov spaces andK-functionals inL p, 0<p<1*

We investigate Besov spaces and their connection with trigonometric polynomial approximation inL _p[−π,π], algebraic polynomial approximation inL _p[−1,1], algebraic polynomial approximation inL _p(S), and entire function of exponential type approximation inL _p(R), and characterizeK-functionals for certain pairs of function spaces including (L _p[−π,π],B _s ^a(L _p[−π,π])), (L _p(R),_s ^a(L_p(R))), , and , where 0<s≤∞, 0<p<1,S is a simple polytope and 0<α<r. This project is supported by the National Science Foundation of China.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

A Note on the Spectrum of Invertible p-hyponormal Operators

A bounded linear operator T is clalled p-hyponormal if (T*T)^p ≥ (TT)^p, 0 < p < 1. It is known that for semi-hyponormal operators (p = 1/2), the spectrum of the operator is equal to the union of the spectra of the general polar symbols of the operator. In this paper we prove a somewhat weaker result for invertible p-hyponormal operators for 0 < p < 1/2.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

On Lp-convergence of Grunwald interpolation

In this paper, the L_p-convergence of Grünwald interpolation G_n(f,x) based on the zeros of Jacobi polynomials J _n ^(α,β) (x)(−1<α,β<1) is considered. L_p-convergence (0<p<2) of Grünwald interpolation G_n(f,x) is proved for p·Max(α,β)<1. Moreover, L_p-convergence (p>0) of G_n(f,x) is obtained for −1<α,β≤0. Therefore, the results of [1] and [3–5] are improved.     

Admissibility of Unbounded Operators and Wellposedness of Linear Systems in Banach Spaces

We study linear systems, described by operators A, B, C for which the state space X is a Banach space.We suppose that − A generates a bounded analytic semigroup and give conditions for admissibility of B and C corresponding to those in G. Weiss’ conjecture. The crucial assumptions on A are boundedness of an H^∞-calculus or suitable square function estimates, allowing to use techniques recently developed by N. Kalton and L. Weis. For observation spaces Y or control spaces U that are not Hilbert spaces we are led to a notion of admissibility extending previous considerations by C. Le Merdy. We also obtain a characterisation of wellposedness for the full system. We give several examples for admissible operators including point observation and point control. At the end we study a heat equation in X = L^p(Ω), 1 < p < ∞, with boundary observation and control and prove its wellposedness for several function spaces Y and U on the boundary ∂Ω.     

Hypercyclic Pairs of Coanalytic Toeplitz Operators

A pair of commuting operators, (A,B), on a Hilbert space is said to be hypercyclic if there exists a vector such that {A ⁿ B ^k x : n, k ≥ 0} is dense in . If f, g ∈H ^∞(G) where G is an open set with finitely many components in the complex plane, then we show that the pair (M ^* _f , M ^* _g ) of adjoints of multiplcation operators on a Hilbert space of analytic functions on G is hypercyclic if and only if the semigroup they generate contains a hypercyclic operator. However, if G has infinitely many components, then we show that there exists f, g ∈H ^∞(G) such that the pair (M ^* _f , M ^* _g ) is hypercyclic but the semigroup they generate does not contain a hypercyclic operator. We also consider hypercyclic n-tuples.     

An example of L-fuzzy join space

On a generalized deMorgan lattice (X, ≤, ∨, ∧,′) we introduce a family of join hyperoperations * _p , parametrized by a parameterp εX. As a result we obtain a family of join spaces (X, * _p ). We show that: for everya,b εX the family {a*_pb} _pεX can be considered as thep-cuts of aL-fuzzy seta*b; in this manner we synthesize aL-fuzzy hyperoperation * which takes pairs fromX toL-fuzzy subsets ofX. We then show that (X, * _p ) is aL-fuzzy hypergroup (in the sense of Corsini) and can be considered as aL-fuzzy join space. Furthermore,a*b is aL-fuzzy interval for alla,b εX.     

TT-eigentensors for the Lichnerowicz Laplacian on some asymptotically hyperbolic manifolds with warped products metrics

Let (M =]0, ∞[×N, g) be an asymptotically hyperbolic manifold of dimension n + 1 ≥ 3, equipped with a warped product metric. We show that there exist no TT L ²-eigentensors with eigenvalue in the essential spectrum of the Lichnerowicz Laplacian Δ _L . If (M, g) is the real hyperbolic space, there is no symmetric L ²-eigentensors of Δ _L .     

Penultimate limiting forms in extreme value theory

Summary Let {X _n}_n≧1 be a sequence of independent, identically distributed random variables. If the distribution function (d.f.) ofM _n=max (X ₁,…,X _n), suitably normalized with attraction coefficients {α_n}_n≧1(α_n>0) and {b _n}_n≧1, converges to a non-degenerate d.f.G(x), asn→∞, it is of interest to study the rate of convergence to that limit law and if the convergence is slow, to find other d.f.'s which better approximate the d.f. of(M _n−b_n)/a_n thanG(x), for moderaten. We thus consider differences of the formF ⁿ(a_nx+b_n)−G(x), whereG(x) is a type I d.f. of largest values, i.e.,G(x)≡Λ(x)=exp (-exp(−x)), and show that for a broad class of d.f.'sF in the domain of attraction of Λ, there is a penultimate form of approximation which is a type II [Ф _α(x)=exp (−x^−α), x>0] or a type III [Ψ _α(x)= exp (−(−x)^α), x<0] d.f. of largest values, much closer toF ⁿ(a_nx+b_n) than the ultimate itself.