Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

La “conjecture des cylindres”

The “cylinder conjecture” is to suppose that, if K is a gauge, the critical constants of C(K) = K ×] ? 1, +1 [? Rⁿ⁺¹ and of its basis K ? Rⁿ are equal. The connection with packing constants is studied. The concept of Za(ssenhaus)-packing is introduced. ⊕_i=1^hG + (i ? 1)a (G a lattice) is a linear h-lattice, $\text{ζ}{}_{\mathrm{h}}\text{′(K),}\text{ζ}\text{′}{}_{\mathrm{h}}\text{(K)}$, $\text{η}{}_{\mathrm{h}}\text{′(K),}\text{η}\text{′}{}_{\mathrm{h}}\text{(K)}$ the maximum density for translates of K by a linear h-lattice if the translates form a Za-packing for ζ, a packing for η, and if this packing is strict for ^. For K a bounded central star body, it is possible to find H with ζ₁(C(K)) ≤ 2 ζ_H′(K). H is precised for K a gauge and for K = Bⁿ. It is proved by Woods' methods that $\text{η}{}_1\text{(C(B}{}^4\text{)) =}\text{sup}{}_{\mathrm{i=1,\; 3,\; 4,\; 6,}}\text{7}\text{η}{}_{\mathrm{i}}\text{(B}{}^4\text{)}$; a result of Cleaver is used.     

Scaling limits of Gaussian vector fields

For Gaussian vector fields {X(t) ∈ Rⁿ:t ∈ R^d} we describe the covariance functions of all scaling limits Y(t) = $\text{L}$lim_α↓0 B^?1(α) X(αt) which can occur when B(α) is a d × d matrix function with B(α) → 0. These matrix covariance functions $\text{r(t, s) = EY(t) Y}{}^1\text{(s)}$ are found to be homogeneous in the sense that for some matrix L and each α > 0, $\text{(}{}^1\text{) r(αt, αs) = α}{}^{\mathrm{L1}}\text{r(t, s) α}{}^{\mathrm{L}}$. Processes with stationary increments satisfying (¹) are further analysed and are found to be natural generalizations of Lévy's multiparameter Brownian motion.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

On a property of the set of radiation patterns

Consider the exterior boundary value problem (▽² + K²) u = 0, in Ω, k >0. $\text{u¦}{}_{\mathrm{\Gamma }}\text{= h}$, where Γ is a smooth closed connected surface in $\text{R}$³, $\text{u ~}\text{exp}\text{(ik ¦x¦)¦x¦}{}^{\mathrm{?1}}\text{∝(k, n)}\text{as}\text{¦X¦→ ∞, n = x¦x¦}{}^{\mathrm{?1}}$, ∝ is called the radiation pattern. We prove that when h runs through any dense set in L²(Γ) the corresponding radiation pattern ∝(k,n) runs through a dense set in L²(S²) for any k >0, where S² is the unit sphere in $\text{R}$³.     

W1,p-quasiconvexity and variational problems for multiple integrals

Variational problems for the multiple integral $\text{I}{}_{\mathrm{\Omega }}\text{(u) = ∝}{}_{\mathrm{\Omega }}\text{g(▽u(x))dx}$, where $\text{Ω?R}{}^{\mathrm{m}}$ and $\text{u:Ω→R}{}^{\mathrm{n}}$ are studied. A new condition on g, called W^1,p-quasiconvexity is introduced which generalizes in a natural way the quasiconvexity condition of C. B. Morrey, it being shown in particular to be necessary for sequential weak lower semicontinuity of $\text{I}{}_{\mathrm{\Omega }}$ in $\text{W}{}^{\mathrm{1,p}}\text{(Ω;R}{}^{\mathrm{n}}\text{)}$ and for the existence of minimizers for certain related integrals. Counterexamples are given concerning the weak continuity properties of Jacobians in $\text{W}{}^{\mathrm{1,p}}\text{(Ω;R}{}^{\mathrm{n}}\text{)}$, p ? n = m. An existence theorem for nonlinear elastostatics is proved under optimal growth hypotheses.     

A regularity result for singular nonlinear elliptic systems in inverse-power weighted Sobolev spaces

The compactness method to weighted spaces is extended to prove the following theorem:Let H_2,s¹(B₁) be the weighted Sobolev space on the unit ball in Rⁿ with norm

$\text{6ν6}{}^1{}_{\mathrm{2,s}}\text{=}\text{∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|ν|}{}^2\text{dx + ∫}{}_{\mathrm{B1}}\text{(}\text{1}\text{r}{}^{\mathrm{s}}\text{)|Dν|}{}^2\text{dx.}$

Let n ? 2 ? s < n. Let u? [H_2,s¹(B₁) ∩ L^∞(B₁)]^N be a solution of the nonlinear elliptic system

$\text{∫}{}_{\mathrm{B1}}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{i,j=1}\text{n}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{(x,u) D}{}^{\mathrm{i}}\text{u}{}_{\mathrm{h}}\text{D}{}^{\mathrm{j\psi }}{}_{\mathrm{K}}\text{dx=0}$

, $\text{∨}\text{ψ}\text{?}\text{¦C}{}_0{}^1\text{(B}{}_1\text{)¦}{}^{\mathrm{N}}\text{,}\text{where}\text{¦A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}\text{¦ ? L, A}{}_{\mathrm{ij}}{}^{\mathrm{hk}}$ are uniformly continuous functions of their arguments and satisfy:

$\text{|η|}{}^2\text{=}\text{∑}\text{i=1}\text{n}\text{,}\text{∑}\text{j=1}\text{N}\text{|η}{}^{\mathrm{i}}{}_{\mathrm{j}}\text{|}{}^2\text{?}\text{∑}\text{i,j=1}\text{n}\text{,}\text{1}\text{r}{}^{\mathrm{s}}\text{,}\text{∑}\text{h,K=1}\text{N}\text{A}{}^{\mathrm{hK}}{}_{\mathrm{ij}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{h}}\text{η}{}^{\mathrm{i}}{}_{\mathrm{k}}\text{,}\text{?η?R}{}^{\mathrm{Nn}}$

. Then there exists an R₁, 0 < R₁ < 1, and an α, 0 < α < 1, along with a set $\text{Ω ? B}{}_1$ such that (1) $\text{H}{}_{\mathrm{n\; ?\; 2}}\text{(Ω) = 0}$, (2) Ω does not contain the origin; Ω does not contain B_R1, (3) $\text{B}{}_1\text{? Ω}$ is open, (4) u is $\text{Lip}{}_{\mathrm{\alpha }}\text{(B}{}_1\text{? Ω)}$; u is Lip_αB_R1.     

Arnold's canonical matrices and the asymptotic simplification of ordinary differential equations

Let A(x,ε) be an n×n matrix function holomorphic for |x|?x₀, 0<ε?ε₀, and possessing, uniformly in x, an asymptotic expansion $\text{A(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{A}{}_{\mathrm{r}}\text{(x) ε}{}^{\mathrm{r}}$, as ε→0⁺. An invertible, holomorphic matrix function P(x,ε) with an asymptotic expansion $\text{P(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{P}{}_{\mathrm{r}}\text{(x)ε}{}^{\mathrm{r}}$, as ε→0⁺, is constructed, such that the transformation y = P(x,ε)z takes the differential equation $\text{ε}{}^{\mathrm{h}}\text{dy}\text{dx}\text{= A(x,ε)y,h}$ a positive integer, into $\text{ε}{}^{\mathrm{h}}\text{dz}\text{dx}\text{= B(x,ε)z}$, where B(x,ε) is asymptotically equal, to all orders, to a matrix in a canonical form for holomorphic matrices due to V.I. Arnold.     

Positive solutions and large time behaviors of Schrödinger semigroups,Simon's problem

Let H = ?Δ + V, where V is a multiplication operator by a real-valued function V(x) on Rⁿ which is uniformly Hölder continuous and $\text{(1 + ¦x¦}{}^2\text{)}{}^{\mathrm{<mtext>?</mtext><mtext>2</mtext>}}\text{V(x) ∈ L}{}_{\mathrm{\infty }}\text{(R}{}^{\mathrm{n}}\text{)}$ for some ? > 4. The relationship between existence of positive solutions, with growth conditions, of Hg = 0 and asymptotic behaviors as t → ∞ of e^?th is established. Using it B. Simon's problem for H on R² is solved.     

Point processes of exits by bivariate Gaussian processes and extremal theory for the χ2-process and its concomitants

Let ζ(t), η(t) be continuously differentiable Gaussian processes with mean zero, unit variance, and common covariance function r(t), and such that ζ(t) and η(t) are independent for all t, and consider the movements of a particle with time-varying coordinates (ζ(t), η(t)). The time and location of the exists of the particle across a circle with radius u defines a point process in R³ with its points located on the cylinder {(t, u cos θ, u sin θ); t ≥ 0, 0 ≤ θ < 2π}. It is shown that if r(t) log t → 0 as t → ∞, the time and space-normalized point process of exits converges in distribution to a Poisson process on the unit cylinder. As a consequence one obtains the asymptotic distribution of the maximum of a χ²-process, χ²(t) = ζ²(t) + η²(t), P{sup_0≤t≤Tχ²(t) ≤ u²} → e^?τ if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u ×}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞. Furthermore, it is shown that the points in R³ generated by the local ?-maxima of χ²(t) converges to a Poisson process in R³ with intensity measure (in cylindrical polar coordinates) (2πr²)^?1dtdθdr. As a consequence one obtains the asymptotic extremal distribution for any function g(ζ(t), η(t)) which is “almost quadratic” in the sense that $\text{g}{}^1\text{(r}\text{cos}\text{θ, r}\text{sin}\text{θ) =}\text{1}\text{2}\text{(r}{}^2\text{? g(r}\text{cos}\text{θ, r}\text{sin}\text{θ))}$ has a limit $\text{g}{}^1\text{(θ)}$ as r → ∞. Then if $\text{T(}\text{?r″(0)}\text{2π}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{u}\text{exp}\text{(}\text{?u}{}^2\text{2}\text{) → τ}$ as T, u → ∞.     

On Lp estimates for the wave equation

New and more elementary proofs are given of two results due to W. Littman: (1) Let $\text{n ? 2, p ?}\text{2n}\text{(n ? 1)}$. The estimate $\text{∫∫ (¦▽u¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{¦}{}^{\mathrm{p}}\text{) dx dt ? C ∫∫ ¦□u¦}{}^{\mathrm{p}}\text{dx dt}$ cannot hold for all u?C₀^∞(Q), Q a cube in $\text{R}{}^{\mathrm{<mi\; mathvariant="italic"\; is="true">n</mi>}}\text{× R}$, some constant C. (2) Let n ? 2, p ≠ 2. The estimate $\text{∫ (¦▽(t)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(t)¦}{}^{\mathrm{p}}\text{) dx ? C(t) ∫ (¦▽u(0)¦}{}^{\mathrm{p}}\text{+ ¦u}{}_{\mathrm{t}}\text{(0)¦}{}^{\mathrm{p}}\text{) dx}$ cannot hold for all C^∞ solutions of the wave equation □u = 0 in $\text{R}{}^{\mathrm{n}}\text{x R}$; all t ?$\text{R}$; some function C: $\text{R}$ → $\text{R}$.     

On tensor products of certain group C1-algebras

If A and B are C¹-algebras there is, in general, a multiplicity of C¹-norms on their algebraic tensor product A ⊙ B, including maximal and minimal norms ν and α, respectively. A is said to be nuclear if α and ν coincide, for arbitrary B. The earliest example, due to Takesaki [11], of a nonnuclear C¹-algebra was $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, the C¹-algebra generated by the left regular representation of the free group on two generators F₂. It is shown here that W¹-algebras, with the exception of certain finite type I's, are nonnuclear.If $\text{C}{}^1\text{(F}{}_2\text{)}$ is the group C¹-algebra of F₂, there is a canonical homomorphism λ_l of $\text{C}{}^1\text{(F}{}_2\text{)}$ onto $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$. The principal result of this paper is that there is a norm ζ on $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, distinct from α, relative to which the homomorphism $\text{λ ⊙ λ}{}_{\mathrm{l}}\text{: C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{) → C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$ is bounded ($\text{C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{)}$ being endowed with the norm α). Thus quotients do not, in general, respect the norm α; a consequence of this is that the set of ideals of the α-tensor product of C¹-algebras A and B may properly contain the set of product ideals {$\text{I ? B + A ? J: I ? A, J ? B}$}.Let A and B be C¹-algebras. If A or B is a W¹-algebra there are on A ⊙ B certain C¹-norms, defined recently by Effros and Lance [3], the definitions of which take account of normality. In the final section of the paper it is shown by example that these norms, with α and ν, can be mutually distinct.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

Positive operators on the n-dimensional ice cream cone

Let $\text{K}{}_{\mathrm{n}}\text{= {x ? R}{}^{\mathrm{n}}\text{: (x}{}_1{}^2\text{+ · +x}{}^2{}_{\mathrm{n?1}}\text{)}\text{1}\text{2}\text{? x}{}_{\mathrm{n}}\text{}}$ be the n-dimensional ice cream cone, and let Γ(K_n) be the cone of all matrices in $\text{R}$ⁿⁿ mapping K_n into itself. We determine the structure of Γ(K_n), and in particular characterize the extreme matrices in Γ(K_n).     

Rôle de l'espace de Besov B∞−1,∞ dans le contrôle de l'explosion éventuelle en temps fini des solutions régulières des équations de Navier–Stokes

Let $\text{u∈C([0,T}{}^1\text{[;L}{}^{\mathrm{n}}\text{(}\text{R}{}^{\mathrm{n}}\text{)}{}^{\mathrm{n}}\text{)}$ be a maximal solution of the Navier–Stokes equations. We prove that u is C^∞ on $\text{]0,T}{}^1\text{[×}\text{R}{}^{\mathrm{n}}$ and there exists a constant $\text{ε}{}_1\text{>0}$, which depends only on n, such that if $\text{T}{}^1$ is finite then, for all $\text{ω∈S(}\text{R}{}^{\mathrm{n}}\text{)}{}^{\mathrm{n}}\text{,}$ we have To cite this article: R. May, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

On the spectral synthesis problem for hypersurfaces of RN

Let F¹(Rⁿ) denote the Fourier algebra on $\text{R}$ⁿ, and $\text{D}$($\text{R}$ⁿ) the space of test functions on $\text{R}$ⁿ. A closed subset E of $\text{R}$ⁿ is said to be of spectral synthesis if the only closed ideal J in F¹(Rⁿ) which has E as its hull

$\text{h(J)={x ? R}{}^{\mathrm{n}}\text{:f(x)=0}\text{for all}\text{f ? J}}$

is the ideal

$\text{k(E)={f?F}{}^1\text{(R}{}^{\mathrm{n}}\text{):f(E)=0}}$

. We consider sufficiently regular compact subsets of smooth submanifolds of $\text{R}$ⁿ with constant relative nullity. For such sets E we give an estimate of the degree of nilpotency of the algebra $\text{(k(E)∩D(R}{}^{\mathrm{n}}\text{))}{}^{\mathrm{?}}\text{j(E)}$, where j(E) denotes the smallest closed ideal in F¹(Rⁿ) with hull E. Especially in the case of hypersurfaces this estimate turns out to be exact. Moreover for this case we prove that k(E)∩D(Rⁿ) is dense in k(E). Together this solves the synthesis problem for such sets.     

On nonlinear perturbations of a periodic elliptic problem in R2 involving critical growth

We consider the equation −Δu+V(x)u=f(x,u) for $\text{x∈}\text{R}{}^2$ where $\text{V:}\text{R}{}^2\text{→}\text{R}$ is a positive potential bounded away from zero, and the nonlinearity $\text{f:}\text{R}{}^2\text{×}\text{R}\text{→}\text{R}$ behaves like exp(α|u|²) as |u|→∞. We also assume that the potential V(x) and the nonlinearity f(x,u) are asymptotically periodic at infinity. We prove the existence of at least one weak positive solution $\text{u∈H}{}^1\text{(}\text{R}{}^2\text{)}$ by combining the mountain-pass theorem with Trudinger–Moser inequality and a version of a result due to Lions for critical growth in $\text{R}{}^2$.     

Interpolation and inner maps that preserve measure

It is shown, for n ? m ? 1, that there exist inner maps Φ: Bⁿ → B^m with boundary values $\text{Φ}{}_1\text{: B}{}^{\mathrm{n}}\text{→ B}{}^{\mathrm{m}}$ such that $\text{σ}{}_{\mathrm{m}}\text{(A) = σ}{}_{\mathrm{n}}\text{(Φ}{}_1{}^{\mathrm{?1}}\text{(A))}$. where σ_n and σ_m are the Haar measures on ?Bⁿ and ?B^m, respectively, and A ? Bⁿ is an arbitrary Borel set.     

Qualitative behavior of special functions on compact symmetric spaces

For a symmetric space $\text{G}\text{K}$ of compact type, the highest-weight vectors for representations of G occurring in $\text{L}{}^2\text{(G}\text{K)}$ become heavily concentrated near certain submanifolds of $\text{G}\text{K}$ as the highest weight goes to infinity. This fact is applied to obtain estimates for the spectral measures of the operators qλ = P_λqP_λ, where $\text{P}{}_{\mathrm{\lambda }}\text{: L}{}^2\text{(}\text{G}\text{K}\text{) → V}{}_{\mathrm{\lambda }}$ is an orthogonal projection onto a G-irreducible summand, and q: G/K → $\text{R}$ is a continuous function acting on $\text{L}{}^2\text{(G}\text{K)}$ by multiplication.     

On the maximum cardinality of a consistent set of arcs in a random tournament

For any tournament T on n vertices, let h(T) denote the maximum number of edges in the intersection of T with a transitive tournament on the same vertex set. Sharpening a previous result of Spencer, it is proved that, if T_n denotes the random tournament on n vertices, then, $\text{P}$$\text{(h(T}{}_{\mathrm{n}}\text{) ≤}\text{1}\text{2}\text{(}{}_2{}^{\mathrm{n}}\text{) + 1.73n}{}^{\mathrm{<mtext>3</mtext><mtext>2</mtext>}}\text{) → 1}$ as n → ∞.