The torsion group of a field defined by radicals

Let $\text{L}\text{F}$ be a finite separable extension, $\text{L}{}^1\text{= L{0}}$, and $\text{T(}\text{L}{}^1\text{F}{}^1\text{)}$ the torsion subgroup of $\text{L}{}^1\text{F}{}^1$. When $\text{L}\text{F}$ is an abelian extension $\text{T(}\text{L}{}^1\text{F}{}^1\text{)}$ is explicitly determined. This information is used to study the structure of $\text{T(}\text{L}{}^1\text{F}{}^1\text{)}$. In particular, $\text{T(}\text{F(α)}{}^1\text{F}{}^1\text{)}$ when a^m = a ∈ F is explicitly determined.     

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$.     

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.     

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 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.     

Lp estimates for the wave equation

Let u(x, t) be the solution of u_tt ? Δ_xu = 0 with initial conditions $\text{u(x, 0) = g(x)}\text{and}\text{u}{}_{\mathrm{t}}\text{(x, 0) = ?;(x)}$. Consider the linear operator $\text{T: ?; → u(x, t)}$. (Here g = 0.) We prove for t fixed the following result. Theorem 1: T is bounded in L^p if and only if . Theorem 2: If the coefficients are variables in C and constant outside of some compact set we get: (a) If n = 2k the result holds for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ < (n ? 1)}{}^{\mathrm{?1}}$. (b) If n = 2k ? 1, the result is valid for $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ ? (n ? 1)}$. This result are sharp in the sense that for p such that $\text{¦ p}{}^{\mathrm{?1}}\text{? 2}{}^{\mathrm{?1}}\text{¦ > (n ? 1)}{}^{\mathrm{?1}}$ we prove the existence of $\text{?; ? L}{}^{\mathrm{P}}$ in such a way that $\text{T?; ? L}{}^{\mathrm{P}}$. Several applications are given, one of them is to the study of the Klein-Gordon equation, the other to the completion of the study of the family of multipliers $\text{m(ξ) = ψ(ξ) e}{}^{\mathrm{i¦\xi ¦}}\text{¦ ξ ¦}{}^{\mathrm{?b}}$ and finally we get that the convolution against the kernel $\text{K(x) = ?(x)(1 ? ¦ x ¦)}{}^{\mathrm{?1}}$ is bounded in H¹.     

Prequantization of infinite dimensional dynamical systems

The problem of prequantization of infinite dimensional dynamical systems is considered, using a Gaussian measure on an Abstract Wiener Space to play the role of volume element replacing the Liouville measure. As an example, it is shown that the flow on $\text{L}{}_1{}^2\text{(Ω) × L}{}_0{}^2\text{(Ω)}$ corresponding to the nonlinear Klein-Gordon field over a two dimensional static space time $\text{N=Ω × R}$ leaves the Gaussian measure defined on this space w.r.t. the norm on L_{s + 1}² × L_s² (where $\text{1}\text{2}\text{< s < 1)}$ quasi-invariant. This makes it possible to carry out the prequantization in this case.     

On the grading numbers of direct products of chains

For a finite lattice L, denote by $\text{l}{}^1\text{(L)}$ and $\text{l}{}_1\text{(L)}$ respectively the upper length and lower length of L. The grading number g(L) of L is defined as $\text{g(L) = l}{}^1\text{(}\text{Sub}\text{(L))-l}{}_1\text{(}\text{Sub}\text{(L))}$ where Sub(L) is the sublattice-lattice of L. We show that if K is a proper homomorphic image of a distributive lattice L, then $\text{l}{}_1\text{(}\text{Sub}\text{(K)) < l}{}_1\text{(}\text{Sub}\text{(L))}$; and derive from this result, formulae for $\text{l}{}_1\text{(}\text{Sub}\text{(L))}$ and g(L) where L is a product of chains.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Sur l'équation divu=fOn the equation divu=f

The main result is the following. Let $\text{Ω}$ be a bounded Lipschitz domain in $\text{R}{}^{\mathrm{d}}$, d?2. Then for every $\text{f∈}\text{L}{}^{\mathrm{d}}\text{(Ω)}$ with ∫f=0, there exists a solution $\text{u∈}\text{C}{}^0\text{(}\text{Ω}\text{)∩}\text{W}{}^{\mathrm{1,d}}\text{(Ω)}$ of the equation divu=f in $\text{Ω}$, satisfying in addition u=0 on $\text{?Ω}$ and the estimate

where C depends only on $\text{Ω}$. However one cannot choose u depending linearly on f. To cite this article: J. Bourgain, H. Brezis, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 973–976.     

An ∞-dimensional inhomogeneous Langevin's equation

On a modified space Φ′ from the space $\text{J}$′ of tempered distributions, it is proven that a stochastic equation, $\text{X(t) = γ + W(t) + ∝}{}_0{}^{\mathrm{t}}\text{L}{}^1\text{(s) X(s) ds}$, has a unique solution, where W(t) is a Φ′-valued Brownian motion independent of a Φ′-valued Gaussian random variable γ and $\text{L}{}^1\text{(s)}$ is an integro-differential operator. As an application, a fluctuaton result (or central limit theorem) is shown for interacting diffusions.     

The essential self-adjointness of generalized Schrödinger operators

A necessary and sufficient condition is given for the generalized Schrödinger operator $\text{A = ?(}\text{1}\text{2?}\text{) ∑}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{D}{}_{\mathrm{i}}\text{(?D}{}_{\mathrm{i}}\text{)}$ to be essentially self-adjoint in $\text{L}{}^2\text{(Ω;? dx)}$, under general assumptions on ? and for arbitrary domains Ω in $\text{R}$ⁿ. In particular, if ? is strictly positive and locally Lipschitz continuous on $\text{Ω = R}{}^{\mathrm{n}}$, then A is essentially. self-adjoint. Examples of non-essential self-adjointness and a complete discussion of the one-dimensional case are also given. These results have applications to the problem of the essential self-adjointness of quantum Hamiltonians and to the uniqueness problem of Markov processes.     

Radial bounds for perturbations of elliptic operators

Elliptic operators $\text{A = ∑}{}_{\mathrm{¦\alpha ¦\; ?\; m}}\text{b}{}_{\mathrm{\alpha }}\text{(x) D}{}^{\mathrm{\alpha }}$, α a multi-index, with leading term positive and constant coefficient, and with lower order coefficients defined on $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}$ or a quotient space $\text{R}{}^{\mathrm{n}}\text{R}{}^{\mathrm{n}}\text{U}{}_{\mathrm{\alpha }}\text{, U}{}_{\mathrm{\alpha }}\text{? R}{}^{\mathrm{n}}$ are considered. It is shown that the L^p-spectrum of A is contained in a “parabolic region” Ω of the complex plane enclosing the positive real axis, uniformly in p. Outside Ω, the kernel of the resolvent of A is shown to be uniformly bounded by an L¹ radial convolution kernel. Some consequences are: A can be closed in all L^p (1 ? p ? ∞), and is essentially self-adjoint in L² if it is symmetric; A generates an analytic semigroup e^?tA in the right half plane, strongly L^p and pointwise continuous at t = 0. A priori estimates relating the leading term and remainder are obtained, and summability $\text{φ(εA)?→}{}_{\mathrm{\epsilon \; \to \; 0}}\text{φ(0) ?}$, with φ analytic, is proved for $\text{? ? L}{}^{\mathrm{p}}$, with convergence in L^p and on the Lebesgue set of ?. More comprehensive summability results are obtained when A has constant coefficients.     

Minimax estimators for a multinormal precision matrix

Let S_p×p ～ Wishart (Σ, k), Σ unknown, k > p + 1. Minimax estimators of Σ^?1 are given for L₁, an Empirical Bayes loss function; and L₂, a standard loss function (R_i ≡ E(L_i ∣ Σ), i = 1, 2). The estimators are $\text{Σ}\text{?}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+}\text{br}\text{(S)I}{}_{\mathrm{p\times p}}$, a, b ≥ 0, r(·) a functional on $\text{R}{}^{\mathrm{<mtext>p(p+2)</mtext><mtext>2</mtext>}}$. Stein, Efron, and Morris studied the special cases $\text{Σ}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{(E}\text{Σ}\text{?}{}_{\mathrm{<mtext>k?p?1</mtext>}}{}^{\mathrm{?1}}\text{= Σ}{}^{\mathrm{?1}}\text{)}$ and $\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{=}\text{a}\text{S}{}^{\mathrm{?1}}\text{+ (b/tr S)I}$, for certain, a, b. From their work $\text{R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤ R}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, a = k ? p ? 1, b = p² + p ? 2; whereas, we prove $\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) (?Σ)}$. The reversal is surprising because $\text{L}{}_1\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) →}\text{L}{}_2\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S)}$ a.e. (for a particular L₂). Assume $\text{R}$ (compact) ? $\text{S}$, $\text{S}$ the set of p × p p.s.d. matrices. A “divergence theorem” on functions F_p×p : $\text{R}$ → $\text{S}$ implies identities for R_i, i = 1, 2. Then, conditions are given for $\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_1{}^{\mathrm{?1}}\text{; S) ≤}\text{R}{}_{\mathrm{i}}\text{(Σ}{}^{\mathrm{?1}}\text{,}\text{Σ}\text{?}{}_{\mathrm{<mtext>a</mtext>}}{}^{\mathrm{?1}}\text{; S) (?Σ)}$, i = 1, 2. Most of our results concern estimators with r(S) = t(U)/tr(S), U = p ∣S∣^1/p/tr(S).     

Banach spaces whose duals contain complemented subspaces isomorphic to C[0, 1]

We give several characterizations of those Banach spaces X such that the dual $\text{X}{}^1$ contains a complemented subspace isomorphic to $\text{C[0, 1]}{}^1$. We investigate operators on separable $\text{L}$_∞ spaces whose adjoints have nonseparable ranges and apply our results to obtain a structure theorem for $\text{L}$_∞ spaces whose duals are not isomorphic to l₁(Γ).     

Fast approximation algorithm for job sequencing with deadlines

The problem under consideration is to schedule jobs on a machine in order to minimize the sum of the penalties of delayed jobs. A “range-and-bound” method is proposed for finding a tight bound P? such that P?≤P1≤2P?, P1 being the minimal sum desired. The considered scheduling problem, for n jobs and accuracy ε > 0, is solved by a fully polynomial ε-approximation algorithm in $\text{O(n}{}^2\text{log n +}\text{n}{}^2\text{ε}\text{)}$ time and $\text{O(}\text{n}{}^2\text{ε}\text{)}$ space.     

Primary projections on L2 of a nilmanifold

Let N denote a connected, simply connected nilpotent Lie group with discrete cocompact subgroup Γ. Let U denote the quasi-regular representation on N on $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$. $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$ can be written as a direct sum of primary subspaces with respect to U. A realization for the projections of $\text{L}{}^2\text{(}\text{N}\text{Γ}\text{)}$) onto these primary summands is given in this paper.     

The Poisson kernel for certain degenerate elliptic operators

Let $\text{L =}\text{1}\text{2}\text{∑}{}_{\mathrm{k\; =\; 1}}{}^{\mathrm{d}}\text{V}{}_{\mathrm{k}}{}^2\text{+ V}{}_0$ be a smooth second order differential operator on $\text{R}$ⁿ written in Hörmander form, and $\text{G}$ be a bounded open set with smooth noncharacteristic boundary. Under a global condition that ensures that the Dirichlet problem is well posed for L on $\text{G}$ and a nondegeneracy condition at the boundary (precisely: the Lie algebra generated by the vector fields V₀, V₁,…, V_d is of full rank on the boundary) then the harmonic measure for L starting at any point in $\text{G}$ has a smooth density with respect to the natural boundary measure. Estimates on the derivatives of this density (the Poisson kernel) similar to the classical estimates for the Poisson kernel for the Laplacian on a half space are given.