Bounded pseudo-differential operators

This lecture gives an inside look into the proof of the continuity of pseudo-differential operators of orderm and typep, δ₁, δ₂ for 0≦p≦δ₁=1, 0≦p≦δ₂<1, andm/n≦p≦(δ₁+δ₂)/2. Applications are mentioned.     

An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field

In this paper we give a term equivalence between the simple k-cyclic Post algebra of order p, L _p,k, and the finite field F(p ^k) with constants F(p). By using Lagrange polynomials, we give an explicit procedure to obtain an interpretation Φ₁ of the variety V(L _p,k) generated by L _p,k into the variety V(F(p ^k)) generated by F(p ^k) and an interpretation Φ₂ of V(F(p ^k)) into V(L _p,k) such that Φ₂Φ₁(B) = B for every B ε V(L _p,k) and Φ₁Φ₂(R) = R for every R ε V(F(p ^k)).     

A bounded compactness theorem forL 1-embeddability of metric spaces in the plane

LetM=(W, d) be a metric space. LetL ¹ denote theL ¹ metric. AnL ¹-embedding ofM into Cartesiank-space ℝ ^k is a distance-preserving map from (W, d) into (ℝ ^k ,L ¹). Letc(k) be the smallest integer such that for every metric spaceM, M isL ¹-embeddable inR ^k iff everyc(k)-sized subspace ofM isL ¹-embeddable inR ^k. A special case of a theorem of Menger (see p. 94 of [5]) says thatc(1) exists and equals 4. We show thatc(2) exists and satisfies 6≦c(2)≦11. Whether or notc(k) exists for anyk≧3 is an open question. The research of S. M. Malitz was partially supported by NSF Grant CCR-8909953.     

Regressions and monotone chains: A ramsey-type extremal problem for partial orders

Aregression is a functiong from a partially ordered set to itself such thatg(x)≦x for allz. Amonotone k-chain is a chain ofk elementsx ₁<x ₂ <...<x _k such thatg(x ₁)≦g(x ₂)≦...≦g(x _k ). If a partial order has sufficiently many elements compared to the size of its largest antichain, every regression on it will have a monotone (k + 1)-chain. Fixingw, letf(w, k) be the smallest number such that every regression on every partial order with size leastf(w, k) but no antichain larger thanw has a monotone (k + 1)-chain. We show thatf(w, k)=(w+1) ^k . Dedicated to Paul Erdős on his seventieth birthday Research supported in part by the National Science Foundation under ISP-80-11451.     

Primarite deL p (l r , 1<p,r<∞

In this article we show that if 1<p, r<∞, the spaceL _p (l _r ) is primary. If we let (h _k ) be the Haar system inL _p and (e _i ) the usual base ofl _r , we give sufficient conditions on a subsequence of (h _k ⊗e _i ) _{k ≧1,i≧1} for it to generate a space isomorphic toL _p (l _r ). We deduce the primarity ofL _p (l _r ).      

On semigroups generated by restrictions of elliptic operators to invariant subspaces

Let A be the closed unbounded operator inL _p(G) that is associated with an elliptic boundary value problem for a bounded domainG. We prove the existence of a spectral projectionE determined by the set Γ = {λ;θ ₁≦argλ≦θ ₂} and show thatAE is the infinitesimal generator of an analytic semigroup provided that the following conditions hold: 1<p<∞; the boundary ϖΓ of Γ is contained in the resolvent setp(A) ofA;π/2≦θ<θ ₂≦3π/2 ; and there exists a constantc such that (I)││(λ-A)^-1││≦c/│λ│ for λ∈ϖΓ. The following consequence is obtained: Suppose that there exist constantsM andc such that λ∈p(A) and estimate (I) holds provided that |λ|≧M and Re λ=0. Then there exist bounded projectionE ⁻ andE ⁺ such thatA is completely reduced by the direct sum decompositionL _p(G)=E⁻L_p (G) ⊕E⁺L_p (G) and each of the operatorsAE ⁻ and—AE ⁺ is the infinitestimal generator of an analytic semigroup.     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.     

l p n Superspaces of spans of independent random variables

We show that for 1 ≦p < ∞,p ≠ 2, ifɛ > 0 is small enough andX ≦L _p is the span ofn independent Rademacher functions orn independent Gaussian random variables, then any superspaceY ofX satisfyingd(Y,L _p ^m ) ≦ 1 +ɛ has dimension larger thanr ⁿ, wherer =r(ɛ, p) > 1. This forms part of the author’s doctoral dissertation prepared at Texas A&M University under the direction of Professor W. B. Johnson. Supported in part by NSF DMS-85 00764.     

On Hille-Tamarkin operators and Schatten classes

We determine the smallest Schatten class containing all integral operators with kernels inL _p(L_{p', q})^symm, where 2 <p∞ and 1≦q≦∞. In particular, we give a negative answer to a problem posed by Arazy, Fisher, Janson and Peetre in [1]. Supported in part by DGICYT (SAB-90-0033).     

On the ratio of the expected maximum of a martingale and theL p-norm of its last term

For eachp>1, the supremum,S, of the absolute value of a martingale terminating at a random variableX inL _p, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1).The maximum,M, of a mean-zero martingale which starts at zero and terminates atX, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1), whereσ _q is the unique solution of the equationt = ‖Z −t ‖ _q for an exponentially distributed random variableZ with mean 1.σ _p has other characterizations and satisfies lim _p‖ q ^{− 1} σ _q =c withc determined byce ^c+1 = 1. Equalities in (1) and (2) are attainable by appropriate martingales which can be realized as stopped segments of Brownian motion. A presumably new property of the exponential distribution is obtained en route to inequality (2).     

Approximation by Faber-Laurent rational functions in the mean of functions of callsL p(Γ) with 1

Çavu§  A.  Israfilov  D. M. 《分析论及其应用》1995,11(1):105-118

Some geometrical properties of Banach spaces of polynomials

We investigate the asymmetry, gl constants and best factorization estimates of then-dimensional spaces of polynomialsH _p ⁿ =span{e ^ikx;k=1,2,…,n} equipped with theL _p norm for 1≦p≦∞. Supported in part by NSF grant # MCS-8109561.     

Analogues of the “zero-two” law for positive linear contractions inL p andC(X)

LetT be a positive linear contraction inL ^p (1≦p<∞), then we show that lim ‖T ^pf −T ⁿ⁺¹ f‖ _p ≦(1 − ε)2^1/p (f∈L _p ⁺ , ε>0 independent off) implies already lim_n n→∞ ‖T ⁿf −T ⁿ⁺¹ n+1f ‖_p p=0. Several other related results as well as uniform variants of these are also given. Finally some similar results inLsu/t8 andC(X) are shown.     

An extension of a result of ribe

It is proved that for every 1≦p<∞, 1≦q<∞ and for every sequence {p _n}, 1≦p _n<∞,p _n→p, the spaceX=(Σ⊕l _{p n}) _q (resp.U=(Σ⊕L _{p n}(0, 1)) _q ) is uniformly homeomorphic toX⊕l _p (resp.U⊕L _p(0, 1)). This extends Ribe’s result from the casep=1 to generalp<∞ and thus provides examples of uniformly convex, uniformly homeomorphic Banach spaces which are not Lipschitz equivalent.     

On estimating the rate of best trigonometric approximation by a modulus of smoothness

Best trigonometric approximation in L _p , 1≦p≦∞, is characterized by a modulus of smoothness, which is equivalent to zero if the function is a trigonometric polynomial of a given degree. The characterization is similar to the one given by the classical modulus of smoothness. The modulus possesses properties similar to those of the classical one.     

Generation of analytic semigroups in theL p topology by elliptic operators inR n

Strongly elliptic differential operators with (possibly) unbounded lower order coefficients are shown to generate analytic semigroups of linear operators onL ^p(R ⁿ ), 1≦p≦∞. An explicit characterization of the domain is given for 1<p<∞. An application to parabolic problems is also included. This work has been partially supported by the Research Funds of the Ministero della Pubblica Istruzione. The authors are members of GNAFA (Consiglio Nazionale delle Ricerche).     

Fast Dimension Reduction Using Rademacher Series on Dual BCH Codes

The Fast Johnson–Lindenstrauss Transform (FJLT) was recently discovered by Ailon and Chazelle as a novel technique for performing fast dimension reduction with small distortion from ℓ ₂ ^d to ℓ ₂ ^k in time O(max {dlog d,k ³}). For k in [Ω(log d),O(d ^1/2)], this beats time O(dk) achieved by naive multiplication by random dense matrices, an approach followed by several authors as a variant of the seminal result by Johnson and Lindenstrauss (JL) from the mid 1980s. In this work we show how to significantly improve the running time to O(dlog k) for k=O(d ^1/2−δ ), for any arbitrary small fixed δ. This beats the better of FJLT and JL. Our analysis uses a powerful measure concentration bound due to Talagrand applied to Rademacher series in Banach spaces (sums of vectors in Banach spaces with random signs). The set of vectors used is a real embedding of dual BCH code vectors over GF(2). We also discuss the number of random bits used and reduction to ℓ ₁ space. The connection between geometry and discrete coding theory discussed here is interesting in its own right and may be useful in other algorithmic applications as well.     

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.     

Intersections ofk-element sets

LetF be a collection ofk-element sets with the property that the intersection of no two should be included in a third. We show that such a collection of maximum size satisfies .2715k+o(k)≦≦log₂ |F|≦.7549k+o(k) settling a question raised by Erdős. The lower bound is probabilistic, the upper bound is deduced via an entropy argument. Some open questions are posed. This research has been supported in part by the Office of Naval Research under Contract N00014-76-C-0366. Supported in part by a NSF postdoctoral Fellowship.     

Normal <Emphasis Type="Italic">π</Emphasis>-complements for finite groups

Let G be a finite group. For a finite p-group P the subgroup generated by all elements of order p is denoted by Ω₁(p). Zhang [5] proved that if P is a Sylow p-subgroup of G, Ω₁(P) ≦ Z(P) and N _G (Z(P)) has a normal p-complement, then G has a normal p-complement. The object of this paper is to generalize this result. This paper was partly supported by Hungarian National Foundation for Scientific Research Grant # T049841 and T038059.