Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

Relative locality of derivations

Let H and K be symmetric linear operators on a C¹-algebra $\text{U}$ with domains D(H) and D(K). H is defined to be strongly K-local if $\text{ω(K(A)}{}^1\text{K(A)) = 0}$ implies $\text{ω(H(A)}{}^1\text{H(A)) = 0}$ for A?D(H) ∩ D(K) and ω in the state space of $\text{U}$, and H is completely strongly K-local if $\text{Ω(K(A)}{}^1\text{K(A))=0}$ implies $\text{Ω(H(A)}{}^1\text{H(A))=0}$ for A ∈ D(H) ∩ D(K) and Ω in the state of $\text{U}$, and H is cpmpletely strongly K-local if $\text{H??}{}_{\mathrm{n}}$ is $\text{K??}{}_{\mathrm{n}}$-local on U?M_n for all n ? 1, where $\text{1}$_n is the identity on the n × n matrices M_n. If $\text{U}$ is abelian then strong locality and complete strong locality are equivalent. The main result states that if τ is a strongly continuous one-parameter group of ¹-automorphisms of $\text{U}$ with generator δ₀ and δ is a derivation which commutes with τ and is completely strongly δ₀-local then δ generates a group α of ¹-automorphisms of $\text{U}$. Various characterizations of α are given and the particular case of periodic τ is discussed.     

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.     

Levi-flat extensions from a part of the boundary

Let G be a bounded domain in $\text{C}\text{×}\text{R}$ such that $\text{G×}\text{R}\text{?}\text{C}{}^2$ is strictly pseudoconvex and U an open subset of bG. We define an open subset $\text{Ω}{}^{\mathrm{U}}$ of $\text{G}$ with the property $\text{Ω}{}^{\mathrm{U}}\text{∩bG=U}$ such that the following extension theorem holds true: for every ?∈C(U) there exist two functions $\text{Φ}{}^{\mathrm{\pm }}\text{∈C(Ω}{}^{\mathrm{U}}\text{)}$ such that Φ^±|_U=? and the graphs Γ(Φ^±) of Φ^± are Levi-flat over $\text{Ω}{}^{\mathrm{U}}\text{∩G}$. Moreover, for each $\text{Φ∈C(Ω}{}^{\mathrm{U}}\text{)}$ such that Φ|_U=? and Γ(Φ) is Levi-flat over $\text{Ω}{}^{\mathrm{U}}\text{∩G}$ one has Φ^??Φ?Φ⁺ on $\text{Ω}{}^{\mathrm{U}}$. We also show that if G is diffeomorphic to a 3-ball and U is the union of simply-connected domains each of which is contained either in the “upper” or in the “lower” part of bG (with respect to the u-direction), then $\text{Ω}{}^{\mathrm{U}}$ is the maximal domain of Levi-flat extensions for some function ?∈C(U). To cite this article: N. Shcherbina, G. Tomassini, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Unbounded operators: Perturbations and commutativity problems

Let H be a complex Hilbert space, and let G_i, i = 1, 2, be closed and orthogonal subspaces of the product space H × H. The subspace G = G₁ ⊕ G₂ is called a (graph) perturbation. We give conditions for invariance of regular operators (R.O.) under graph perturbations: When is the perturbation of a R.O. again a R.O.? If N is a Hilbert space we consider R.O. (i.e., densely defined and closed operators T) in H=$\text{L}$(N) such that G(T)=G(S)⊕V$\text{H}$(M, where G denotes the graph, S is a decomposable operator in H, V a decomposable partial isometry such that the initial space of V(t) is equal to M a.e. t, and finally $\text{H}$(M) is the Hardy space of analytic $\text{L}$₂ vector functions with values in M ? N × N. Such operators T commute with the bilateral shift U; but, unless M = 0, T does not commute with $\text{U}{}^1$. Conversely, this is a canonical model for all R.O. with said commutativity properties. Moreover, the model is unique when T is given, and M = G(w) where w is a partial isometry in N. The detailed structure of the model is analyzed in the special case where dim N = dim M = 1. We relate the problem to a condition of Szeg? by showing that T is a $\text{R.O. iff}\text{∝}{}_0{}^{\mathrm{2\pi }}\text{log}\text{¦ V}{}_2\text{(t)¦ dt = ?∞,}\text{where}\text{V = (V}{}_1\text{, V}{}_2\text{)}$ is the partial isometry in the special case of dimension one. Szeg?'s conditions enters in a different way in the analysis of the case M = N × N, as well as in the spectral analysis of T. Our results provide an answer to a commutativity problem posed by Fuglede. If T is an arbitrary densely defined operator, and A?B(H) is normal, we prove two theorems stating conditions for the implication $\text{A}{}_{\mathrm{\cup }}\text{T ? A}{}_{\mathrm{\cup }}{}^1\text{T}$. These conditions cannot generally be relaxed.     

On the duality operator of a convex cone

Let C be a convex set in Rⁿ. For each y?C, the cone of C at y, denoted by cone(y, C), is the cone {α(x ? y): α ? 0 and x?C}. If K is a cone in Rⁿ, we shall denote by $\text{K}{}^1$ its dual cone and by F(K) the lattice of faces of K. Then the duality operator of K is the mapping $\text{d}{}_{\mathrm{K}}\text{: F(K) → F(K}{}^1\text{)}$ given by $\text{d}{}_{\mathrm{K}}\text{(F) = (}\text{span}\text{F)}{}^{\mathrm{\perp }}\text{∩ K}{}^1$. Properties of the duality operator d_K of a closed, pointed, full cone K have been studied before. In this paper, we study d_K for a general cone K, especially in relation to d_{cone(y, K)}, where y?K. Our main result says that, for any closed cone K in Rⁿ, the duality operator d_K is injective (surjective) if and only if the duality operator d_{cone(y, K)} is injective (surjective) for each vector y?K ～ [K ∩ (? K)]. In the last part of the paper, we obtain some partial results on the problem of constructing a compact convex set C, which contains the zero vector, such that cone (0, C) is equal to a given cone.     

On the absolute continuity of Schrödinger operators with spherically symmetric,long-range potentials,II

Let H = ?Δ + V, where the potential V is spherically symmetric and can be decomposed as a sum of a short-range and a long-range term, V(r) = V_S(r) + V_L. Let λ = lim sup_r→∞V_L(r) < ∞ (we allow λ = ? ∞) and set λ⁺ = max(λ, 0). Assume that for some r₀, V_L(r) ?C^2k(r₀, ∞) and that there exists δ > 0 such that $\text{(}\text{d}\text{dr}\text{)}{}^{\mathrm{j}}\text{V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) · (λ}{}^{\mathrm{+}}\text{? V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r) + 1)}{}^{\mathrm{?1}}\text{= O(r}{}^{\mathrm{?j\delta }}\text{), j = 1,…, 2k,}\text{as}\text{r → ∞}$. Assume further that $\text{∝}{}_1{}^{\mathrm{\infty }}\text{(}\text{dr}\text{¦ V}{}_{\mathrm{<mtext>L</mtext>}}\text{(r)¦}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{) = ∞}$ and that 2kδ > 1. It is shown that: (a) The restriction of H to C^∞(Rⁿ) is essentially self-adjoint, (b) The essential spectrum of H contains the closure of (λ, ∞). (c) The part of H over (λ, ∞) is absolutely continuous.     

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

Uncertainty principle and Lp–Lq-sufficient pairs on noncompact real symmetric spaces

We consider a real semi-simple Lie group G with finite center and a maximal compact sub-group K of G. Let $\text{G=K}\text{exp}\text{(}\text{a}{}_{\mathrm{+}}\text{)K}$ be a Cartan decomposition of G. For x∈G denote ∥x∥ the norm of the $\text{a}{}_{\mathrm{+}}$-component of x in the Cartan decomposition of G. Let $\text{a>0,}\text{b>0}$ and 1?p,q?∞. In this Note we give necessary and sufficient conditions on $\text{a,}\text{b}$ such that for all K-bi-invariant measurable function f on G, if e^a∥x∥2f∈L^p(G) and then f=0 almost everywhere. To cite this article: S. Ben Farah, K. Mokni, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

Doubly nonlinear parabolic equations with singular lower order term

In this paper we are concerned with positive solutions of the doubly nonlinear parabolic equation u_t=div(u^m−1|∇u|^p−2∇u)+Vu^m+p−2 in a cylinder $\text{Ω×(0,T)}$, with initial condition u(·,0)=u₀(·)⩾0 and vanishing on the parabolic boundary $\text{∂Ω×(0,T)}$. Here $\text{Ω⊂}\text{R}{}^{\mathrm{N}}$ (resp. $\text{H}{}^{\mathrm{n}}$) is a bounded domain with smooth boundary, $\text{V∈L}{}_{\mathrm{<mtext>loc</mtext>}}{}^1\text{(Ω)}$, $\text{m∈}\text{R}$, 1<p<N and m+p−2>0. The critical exponents $\text{q}{}^1$ are found and the nonexistence results are proved for $\text{q}{}^1\text{⩽m+p<3}$.     

K-theory for the leaf space of foliations by Reeb components

The K-theory of the C¹-algebra $\text{C}{}^1\text{(V, F)}$ associated to C^∞-foliations (V, F) of a manifold V in the simplest non-trivial case, i.e., dim V = 2, is studied. Since the case of the Kronecker foliation was settled by Pimsner and Voiculescu (J. Operator Theory4 (1980), 93–118), the remaining problem deals with foliations by Reeb components. The K-theory of $\text{C}{}^1\text{(V, F)}$ for the Reeb foliation of S³ is also computed. In these cases the C¹-algebra $\text{C}{}^1\text{(V, F)}$ is obtained from simpler C¹-algebras by means of pullback diagrams and short exact sequences. The K-groups $\text{K}{}_1\text{(C}{}^1\text{(V, F))}$ are computed using the associated Mayer-Vietoris and six-term exact sequences. The results characterize the C¹-algebra of the Reeb foliation of $\text{T}$² uniquely as an extension of C(S¹) by C(S¹). For the foliations of $\text{T}$² it is found that the K-groups count the number of Reeb components separated by stable compact leaves. A C^∞-foliation of $\text{T}$² such that K₁(C¹($\text{T}$², F)) has infinite rank is also constructed. Finally it is proved, by explicit calculation using (M. Penington, “K-Theory and C¹-Algebras of Lie Groups and Foliations,” D. Phil. thesis, Oxford, 1983), that the natural map $\text{μ: K}{}_1\text{,}{}_{\mathrm{\tau }}\text{(BG) → K}{}_1\text{(C}{}^1\text{(V, F))}$ is an isomorphism for foliations by Reeb components of $\text{T}$² and S³. In particular this proves the Baum-Connes conjecture (P. Baum and A. Connes, Geometric K-theory for Lie groups, preprint, 1982; A. Connes, Proc. Symp. Pure Math.38 (1982), 521–628) when V = $\text{T}$².     

Infinite-variate wide-sense Markov processes and functional analysis for bounded operator-forming vectors

Let p, q be arbitrary parameter sets, and let $\text{H}$ be a Hilbert space. We say that x = (xⁱ)_i?q, xⁱ ? $\text{H}$, is a bounded operator-forming vector (?$\text{H}$_F^q) if the Gram matrix 〈x, x〉 = [(xⁱ, x^j)]_i?q,j?q is the matrix of a bounded (necessarily ≥ 0) operator on $\text{l}{}_{\mathrm{q}}{}^2$, the Hilbert space of square-summable complex-valued functions on q. Let A be p × q, i.e., let A be a linear operator from $\text{l}{}_{\mathrm{q}}{}^2$ to $\text{l}{}_{\mathrm{p}}{}^2$. Then exists a linear operator ǎ from (the Banach space) $\text{H}$_F^q to $\text{H}$_F^p on $\text{D}$(A) = {x:x ? $\text{H}$_F^q, $\text{A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$ is p × q bounded on $\text{l}{}_{\mathrm{q}}{}^2$} such that y = ǎx satisfies y^j?σ(x) = {space spanned by the xⁱ}, 〈y, x〉 = A〈x, x〉 and $\text{〈y, y〉 = A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(A〈x, x〉}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}{}^1$. This is a generalization of our earlier [J. Multivariate Anal.4 (1974), 166–209; 6 (1976), 538–571] results for the case of a spectral measure concentrated on one point. We apply these tools to investigate q-variate wide-sense Markov processes.     

The asymptotic eigenvalue-distribution for a certain class of random matrices

For an n × n Hermitean matrix A with eigenvalues λ₁, …, λ_n the eigenvalue-distribution is defined by $\text{G(x, A) :=}\text{1}\text{n}$ · number {λ_i: λ_i ? x} for all real x. Let A_n for n = 1, 2, … be an n × n matrix, whose entries a_ik are for i, k = 1, …, n independent complex random variables on a probability space (Ω, $\text{R}$, p) with the same distribution F_a. Suppose that all moments $\text{E}$ | a | ^k, k = 1, 2, … are finite, $\text{E}$a=0 and $\text{E}$ | a | ². Let

$\text{M(A)=}\text{∑}\text{σ=1}\text{s}\text{θ}{}_{\mathrm{\sigma }}\text{P}{}_{\mathrm{\sigma }}\text{(A,A}{}^1\text{)}$

with complex numbers θ_σ and finite products P_σ of factors A and $\text{A}{}^1$ (= Hermitean conjugate) be a function which assigns to each matrix A an Hermitean matrix M(A). The following limit theorem is proved: There exists a distribution function G₀(x) = G₁x) + G₂(x), where G₁ is a step function and G₂ is absolutely continuous, such that with probability $\text{1 G(x, M(}\text{A}{}_{\mathrm{n}}\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{))}$ converges to G₀(x) as n → ∞ for all continuity points x of G₀. The density g of G₂ vanishes outside a finite interval. There are only finitely many jumps of G₁. Both, G₁ and G₂, can explicitly be expressed by means of a certain algebraic function f, which is determined by equations, which can easily be derived from the special form of M(A). This result is analogous to Wigner's semicircle theorem for symmetric random matrices (E. P. Wigner, Random matrices in physics, SIAM Review9 (1967), 1–23). The examples $\text{A}{}_{\mathrm{r}}\text{A}{}^{\mathrm{1r}}$, $\text{A}{}^{\mathrm{r}}\text{+ A}{}^{\mathrm{1r}}$, $\text{A}{}^{\mathrm{r}}\text{A}{}^{\mathrm{1r}}\text{± A}{}^{\mathrm{1r}}\text{A}{}^{\mathrm{r}}$, r = 1, 2, …, are discussed in more detail. Some inequalities for random matrices are derived. It turns out that with probability 1 the sharpened form

$\text{lim sup}\text{n→∞}\text{∑}\text{i=1}{}^{\mathrm{n}}\text{|γ}{}_{\mathrm{i}}{}^{\mathrm{(n)}}\text{|}{}^2\text{?6A}{}_{\mathrm{n}}\text{6}{}^2\text{? 0.8228…}$

of Schur's inequality for the eigenvalues λ_i⁽ⁿ⁾ of A_n holds. Consequently random matrices do not tend to be normal matrices for large n.     

A remark to the preceding paper by Chernoff

It is shown that the method of Chernoff developed in the preceding paper can be modified to prove the essential self-adjointness on C₀^∞(R^m) of all positive powers of the Schrödinger operator T = ? Δ + q if q real and in C^∞(R^m) and if $\text{T ? ?a ? b ¦ x ¦}{}^2\text{on}\text{C}{}_0{}^{\mathrm{\infty }}\text{(R}{}^{\mathrm{m}}\text{)}$.     

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.     

A characterization of first order nonlinear partial differential operators on Sobolev spaces

Nonlinear partial differential operators $\text{G: W}{}^{\mathrm{1,p}}\text{(Ω) → L}{}^{\mathrm{q}}\text{(Ω) (1 ? p, q ∞)}$ having the form G(u) = g(u, D₁u,…, D_Nu), with g?C(R × R_N), are here shown to be precisely those operators which are local, (locally) uniformly continuous on, $\text{W}{}^{\mathrm{1,\infty }}\text{(Ω)}$, and (roughly speaking) translation invariant. It is also shown that all such partial differential operators are necessarily bounded and continuous with respect to the norm topologies of $\text{W}{}^{\mathrm{1,p}}\text{(Ω)}\text{and}\text{L}{}^{\mathrm{q}}\text{(Ω)}$.