Properties of certain algebras between L∞and H∞

The main result of this paper is that if F is a closed subset of the unit circle, then $\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}\text{H}{}^{\mathrm{\infty }}$ is an M-ideal of $\text{L}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}$. Consequently, if $\text{? ∈ L}{}^{\mathrm{\infty }}$ then ? has a closest element in H^∞ + L_F^∞. Furthermore, if $\text{¦F¦ >0}\text{then}\text{L}{}^{\mathrm{\infty }}\text{(H}{}^{\mathrm{\infty }}\text{+ L}{}_{\mathrm{F}}{}^{\mathrm{\infty }}\text{)}$ is not the dual of any Banach space.     

Isomorphisms between Lp-function spaces when p < 1

We prove a number of results concerning isomorphisms between spaces of the type L_p(X), where X is a separable p-Banach space and 0 < p < 1. Our results imply that the quotient of L_p([0, 1] × [0, 1]) by the subspace of functions depending only on the first variable is not isomorphic to L_p, answering a question of N. T. Peck. More generally if $\text{B}$₀ is a sub-σ-algebra of the Borel sets of [0, 1], then $\text{L}{}_{\mathrm{p}}\text{([0, 1])}\text{L}{}_{\mathrm{p}}\text{([0, 1]}$, $\text{B}$₀) is isomorphic to L_p if and only if L_p([0, 1], B₀) is complemented. We also show that L_p has, up to isomorphism, at most one complemented subspace non-isomorphic to L_p and classify completely those spaces X for which $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$. In particular if $\text{L(L}{}_{\mathrm{p}}\text{, X) = {0}}\text{and}\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$ then $\text{X ? l}{}_{\mathrm{p}}$ or is finite-dimensional. If X has trivial dual and $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}\text{then}\text{X ? L}{}_{\mathrm{p}}$.     

A Dunford-Pettis theorem for L1H∞⊥

The spaces in the title are associated to a fixed representing measure m for a fixed character on a uniform algebra. It is proved that the set of representing measures for that character which are absolutely continuous with respect to m is weakly relatively compact if and only if each m-negligible closed set in the maximal ideal space of L^∞ is contained in an m-negligible peak set for H^∞. J. Chaumat's characterization of weakly relatively compact subsets in $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ therefore remains true, and $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ is complete, under the first conditions. In this paper we also give a direct proof. From this we obtain that $\text{L}{}^1\text{H}{}^{\mathrm{\infty \perp }}$ has the Dunford-Pettis property.     

Inner functions in the unit ball of Cn

Let B be the open unit ball of $\text{C}$ⁿ, n > 1. Let I (for “inner”) be the set of all u ? H °(B) that have $\text{¦u¦ = 1}$ a.e. on the boundary S of B. Aleksandrov proved recently that there exist nonconstant u ? I. This paper strengthens his basic theorem and provides further information about I and the algebra Q generated by I. Let XY be the finite linear span of products xy, x ? X, y ? Y, and let $\text{¦X¦}$ be the norm closure, in L^∞ = L^∞(S), of X. Some results: set I is dense in the unit ball of H^∞(B) in the compact-open topology. On $\text{S,}\text{Q}\text{?}\text{Q}$ is weak¹-dense in $\text{L}{}^{\mathrm{\infty }}\text{, ¦}\text{Q}\text{?}\text{Q¦}$ does not contain $\text{H}{}^{\mathrm{\infty }}\text{, C(S) ?¦}\text{Q}\text{?}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ ¦}\text{H}\text{?}{}^{\mathrm{\infty }}\text{H}{}^{\mathrm{\infty }}\text{¦ ≠ L}{}^{\mathrm{\infty }}$. (When $\text{n = 1, ¦Q¦ = H}{}^{\mathrm{\infty }}\text{and}\text{¦}\text{Q}\text{?}\text{Q¦ = L}{}^{\mathrm{\infty }}$.) Every unimodular $\text{?}\text{?}\text{L}{}^{\mathrm{\infty }}$ is a pointwise limit a.e. of products $\text{u}\text{v}\text{?}\text{, u}\text{?}\text{I, ν}\text{?}\text{I}$. The zeros of every $\text{? ? 0}$ in the ball algebra (but not of every H^∞-function) can be matched by those of some u ? I, as can any finite number of derivatives at 0 if $\text{∥?∥}{}_{\mathrm{\infty }}\text{< 1}$. However, $\text{?}\text{u}$ cannot be bounded in B if u ? I is non-constant.     

Representation of linear functionals on a class of normed Köthe spaces

Under the condition that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$, (the set of singular functionals on a normed Köthe space L_θ) is an abstract L-space, it is proved in this paper that there exists a set of purely finitely additive measures $\text{M}$_θ such that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$? holds. It follows that $\text{L}{}_{\mathrm{\theta ,s}}{}^1$ is an abstract L-space if and only if $\text{L}{}_{\mathrm{\theta ,s}}{}^1$ is Riesz isomorphic and isometric with a band in $\text{L}{}_{\mathrm{\infty ,s}}{}^1$.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Representations of differential operators on a Lie group

In this paper we apply the theory of second-order partial differential operators with nonnegative characteristic form to representations of Lie groups. We are concerned with a continuous representation U of a Lie group G in a Banach space $\text{B}$. Let $\text{E}$ be the enveloping algebra of G, and let dU be the infinitesimal homomorphism of $\text{E}$ into operators with the Gårding vectors as a common invariant domain. We study elements in $\text{E}$ of the form

$\text{P=}\text{∑}\text{1}\text{r}\text{X}{}^2{}_{\mathrm{j}}\text{|X}{}_0$

with the X_j,'s in the Lie algebra $\text{G}$.If the elements X₀, X₁,…, X_r generate $\text{G}$ as a Lie algebra then we show that the space of C^∞-vectors for U is precisely equal to the C^∞-vectors for the closure $\text{dU(P)}\text{,}\text{of}\text{dU(P)}$. This result is applied to obtain estimates for differential operators.The operator $\text{dU(P)}$ is the infinitesimal generator of a strongly continuous semigroup of operators in $\text{B}$. If X₀ = 0 we show that this semigroup can be analytically continued to complex time ζ with Re ζ > 0. The generalized heat kernels of these semigroups are computed. A space of rapidly decreasing functions on G is introduced in order to treat the heat kernels.For unitary representations we show essential self-adjointness of all operators $\text{dU(Σ}{}_1{}^{\mathrm{r}}\text{X}{}_{\mathrm{j}}{}^2\text{+ (?1)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{X}{}_0$ with X₀ in the real linear span of the X_j's. An application to quantum field theory is given.Finally, the new characterization of the C^∞-vectors is applied to a construction of a counterexample to a conjecture on exponentiation of operator Lie algebras.Our results on semigroups of exponential growth, and on the space of C^∞ vectors for a group representation can be viewed as generalizations of various results due to Nelson-Stinespring [18], and Poulsen [19], who prove essential self-adjointness and a priori estimates, respectively, for the sum of the squares of elements in a basis for $\text{G}$ (the Laplace operator). The work of Hörmander [11] and Bony [3] on degenerate-elliptic (hypoelliptic) operators supplies the technical basis for this generalization. The important feature is that elliptic regularity is too crude a tool for controlling commutators. With the aid of the above-mentioned hypoellipticity results we are able to “control” the (finite dimensional) Lie algebra generated by a given set of differential operators.     

A note on Banach spaces containing c0 or C∞

It is shown that every separable Banach space X containing a subspace isomorphic to c₀ has a subspace Y with basis such that $\text{X}\text{Y}\text{~}\text{c}{}_0\text{C}{}_{\mathrm{\infty }}$ and the latter space has a shrinking basis and an unconditional FDD. Moreover, it is shown that X ⊕ C_∞ has a basis if X has the bounded approximation property.     

The Dirichlet problem for the Kohn Laplacian on the Heisenberg group,II

Let L = ∑_{j = 1}^mX_j² be sum of squares of vector fields in $\text{R}$ⁿ satisfying a Hörmander condition of order 2: span{X_j, [X_i, X_j]} is the full tangent space at each point. A point x??D of a smooth domain D is characteristic if X₁,…, X_m are all tangent to ?D at x. We prove sharp estimates in non-isotropic Lipschitz classes for the Dirichlet problem near (generic) isolated characteristic points in two special cases: (a) The Grushin operator $\text{?}{}^2\text{?x}{}^2\text{+ x}{}^2\text{?}{}^2\text{?t}{}^2$ in $\text{R}$². (b) The real part of the Kohn Laplacian on the Heisenberg group $\text{∑}{}_{\mathrm{j\; ?\; 1}}{}^{\mathrm{n}}\text{(}\text{?}\text{?x}{}_{\mathrm{j}}\text{+ 2y}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2\text{+ (}\text{?}\text{?y}{}_{\mathrm{j}}\text{? 2x}{}_{\mathrm{j}}\text{?}\text{?t}\text{)}{}^2$ in $\text{R}$^{2n + 1}. In contrast to non-characteristic points, C^∞ regularity may fail at a characteristic point. The precise order of regularity depends on the shape of ?D at x.     

A transfer spectral sequence for fixed point free involutions with an application to stunted real projective spaces

We show that if X is a finite CW-complex admitting a fixed point free involution then there is a singly graded spectral sequence with $\text{E}{}^1{}_1\text{? H}{}^1\text{(X;}\text{Z}{}_2\text{)}$ and $\text{E}{}^1\text{∞ = 0}$. As an application we prove that for any n > 0 there is a natural number k(n) such that if n > k(n) and X is a homotopy $\text{R}\text{P}{}^{\mathrm{n+k}}\text{R}\text{P}{}^{\mathrm{n}}$, then X will not admit a fixed point free involution.     

A constructive approach to the solution of a class of boundary value problems of mixed type

In this article we discuss the solution of boundary value problems which are described by the linear integrodifferential equation $\text{?xu}\text{?t}\text{(t, x) + u(t, x) ?}\text{1}\text{π}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{∝}{}_{\mathrm{?\infty }}{}^{\mathrm{\infty }}\text{exp}\text{(?y}{}^2\text{) u(t, y) dy = 0}$, where t∈J?$\text{R}$, x∈$\text{R}$. We interpret the equation in functional form as an ordinary differential equation for the mapping u:J→L₂(R,μ), where L₂(R,μ) is a weighted L₂-space. Emphasis is on the constructive aspects of the solution and on finding representations of the relevant isomorphisms.     

An application of rosenthal's moment inequality to the strong law of large numbers

We apply a moment inequality of H.P. Rosenthal to get various generalizations of a theorem of Brunk-Chung-Prohoroff. In particular, we show that the strong law hols provided $\text{∑}\text{n=1}\text{∞}\text{n}{}^{\mathrm{?2p}}\text{E(X}{}_{\mathrm{n}}\text{}{}^{\mathrm{2p}}\text{) < ∞}$ and $\text{∑}\text{n=1}\text{∞}\text{n}{}^{\mathrm{?2?p}}\text{(E(}\text{X}\text{n}\text{2}\text{))}{}^{\mathrm{p}}\text{< ∞}$ for one p ? 1.     

The expected eigenvalue distribution of a large regular graph

Let K₁, K₂,... be a sequence of regular graphs with degree v?2 such that n(X_i)→∞ and ck(X_i)/n(X_i)→0 as i∞ for each k?3, where n(X_i) is the order of X_i, and c_k(X_i) is the number of k- cycles in X₁. We determine the limiting probability density f(x) for the eigenvalues of X>_i as i→∞. It turns out that

$\text{f(x)=}\text{v}\text{4(v?1)?v}{}^2\text{2π(v}{}^2\text{?x}{}^2\text{)}{}_0$

for ?x??2$\text{v-1}$, otherwise It is further shown that f(x) is the expected eigenvalue distribution for every large randomly chosen labeled regular graph with degree v.     

A remark on the tail probability of a distribution

Let {X_n}_n≥1 be a sequence of independent and identically distributed random variables. For each integer n ≥ 1 and positive constants r, t, and ?, let S_n = Σ_j=1ⁿX_j and $\text{E{N}{}_{\mathrm{\infty }}\text{(r, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{r?2}}\text{P{|S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>r</mtext><mtext>t</mtext>}}\text{}}$. In this paper, we prove that (1) lim_?→0+?^α(r?1)E{N_∞(r, t, ?)} = K(r, t) if E(X₁) = 0, Var(X₁) = 1, and E(| X₁ |^t) < ∞, where 2 ≤ t < 2r ≤ 2t, $\text{K(r, t) =}\text{{2}{}^{\mathrm{<mtext>\alpha (r?1)</mtext><mtext>2</mtext>}}\text{Γ(}\text{(1 + α(r ? 1))}\text{2}\text{)}}\text{{(r ? 1) Γ(}\text{1}\text{2}\text{)}}$, and $\text{α =}\text{2t}\text{(2r ? t)}$; (2) $\text{lim}{}_{\mathrm{?\to 0+}}\text{G(t, ?)}\text{H(t, ?)}\text{= 0}$ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(|X₁|^t) < ∞, where G(t, ?) = E{N_∞(t, t, ?)} = Σ_n=1^∞n^t?2P{| S_n | > ?n} → ∞ as ? → 0+ and $\text{H(t, ?) = E{N}{}_{\mathrm{\infty }}\text{(t, t, ?)} = Σ}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{n}{}^{\mathrm{t?2}}\text{P{| S}{}_{\mathrm{n}}\text{| > ?n}{}^{\mathrm{<mtext>2</mtext><mtext>t</mtext>}}\text{} → ∞}\text{as}\text{? → 0+}$, i.e., H(t, ?) goes to infinity much faster than G(t, ?) as ? → 0+ if 2 < t < 4, E(X₁) = 0, Var(X₁) > 0, and E(| X₁ |^t) < ∞. Our results provide us with a much better and deeper understanding of the tail probability of a distribution.     

Partition theorems for systems of finite subsets of integers

We study generalizations of Ramsey theorem to systems of finite subsets of ω. A system $\text{L}$ of finite subsets of ω is called to be Ramsey if for every partition $\text{L}$=$\text{L}$₁∪$\text{L}$₂ there exists an infinite set Y?ω such that $\text{L}{}_1\text{∩[Y]}{}^{\mathrm{<\omega }}\text{=0 or}\text{L}{}^2\text{∩[Y]}{}^{\mathrm{<\omega }}\text{=0}$. We give some sufficient conditions for a system to be Ramsey. We also prove a theorem which concerns partitions into infinitely many classes. This may be regarded as a common generalization of Erdös-Rado and Nash-Williams theorems.     

A note on computing the distribution of the norm of Hilbert space valued Gaussian random variables

Let X be a Gaussian rv with values in a separable Hilbert space H having a covariance operator R of the form $\text{R = L}{}_0{}^1\text{A}{}^1\text{AL}{}_0$, where L₀, A are linear operators on H. A method is given for computing in terms of $\text{R}{}_0\text{= L}{}_0{}^1\text{L}{}_0$ and A the distribution of |X|², |·| being the norm in H. The result is applied to the evaluation of the asymptotic distribution of Cramér-von Mises statistics when parameters are present. L₀ corresponds to the case where the true underlying parameter is known and A represents the effect of estimating the unknown parameter.     

Mesures majorantes et loi du logarithme itéré pour les variables aléatoires sous-gaussiennes

It is shown that for the elements X of a large class of subgaussian random variables with values in (C(S), |·|_∞) the existence of a probability measure λ on S such that:

$\text{lim}\text{ε←0}\text{sup}\text{s∈S}\text{∫}\text{0}\text{ε}\text{ψ(}\text{1}\text{κ}{}^2\text{{t:(E(X)(s)?X(t))}{}^2\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{<u})du=0}$

(where ψ denotes the inverse function of x → exp x²L₂x) is sufficient to imply that X satisfies the law of the iterated logarithm.     

On the exact asymptotic behaviour of the distribution of ladder epochs

Let T₊ denote the first increasing ladder epoch in a random walk with a typical step-length X. It is known that for a large class of random walks with E(X)=0,E(X²)=∞, and the right-hand tail of the distribution function of X asymptotically larger than the left-hand tail, $\text{P}\text{T}{}_{\mathrm{+}}\text{?n∽n}{}^{\mathrm{<mtext>1</mtext><mtext>\beta ?1</mtext>}}\text{L}{}_{\mathrm{+}}\text{(n)}$ as n→∞, with 1<β<2 and L₊ slowly varying, if and only if$\text{P}\text{{X?x}∽ 1/{x}{}^{\mathrm{\beta }}\text{L(x)}}$ as x→+∞, with L slowly varying. In this paper it is shown how the asymptotic behaviour of L determines the asymptotic behaviour of L₊ and vice versa. As a by-product, it follows that a certain class of random walks which are in the domain of attraction of one-sided stable laws is such that the down-going ladder height distribution has finite mean.