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.     

The spherical Bochner theorem on semisimple Lie groups

Let G be a connected semisimple Lie group with finite center and K a maximal compact subgroup. Denote (i) Harish-Chandra's Schwartz spaces by $\text{C}$^p(G)(0<p?2), (ii) the K-biinvariant elements in $\text{C}$^p(G) by $\text{I}$^p(G), (iii) the positive definite (zonal) spherical functions by $\text{P}$, and (iv) the spherical transform on $\text{C}$^p(G) by ? → $\text{}\text{?}$gj. For T a positive definite distribution on G it is established that (i) T extends uniquely onto $\text{C}$^l(G), (ii) there exists a unique measure μ of polynomial growth on $\text{P}$ such that T[ψ]=∫pψdμ for all ψ?I¹(G) (iii) all measures μ of polynomial growth on $\text{P}$ are obtained in this way, and (iv) T may be extended to a particular $\text{I}$^p(G) space (1 ? p ? 2) if and only if the support of μ lies in a certain easily defined subset of $\text{P}$. These results generalize a well-known theorem of Godement, and the proofs rely heavily on the recent harmonic analysis results of Trombi and Varadarajan.     

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.     

Cohomologie des groupes localement compacts et produits tensoriels continus de représentations

The following is an expository paper, containing few and sometimes incomplete proofs, on continuous tensor products of Hilbert spaces and of group representations, and on the irreducibility of the latter; the principal results in the last direction are due to Verchik, Gelfand, and Graiev. The theory of continuous tensor products of Hilbert spaces, based on a fundamental theorem of Araki and Woods, is closely related to that of conditionally positive definite functions; it relies on the technique of symmetric Hilbert spaces, which also can be used to give a new proof of the classical Lévy-Khinchin formula (see A. Guichardet, (1973). J. Multiv.3 249–261.). Another basic tool for what follows is the 1-cohomology of unitary representations of locally compact groups; here, the main results are due to P. Delorme; let us mention, for instance, his results for the case of a group G containing a compact subgroup K such that $\text{L}{}^1\text{(Kβ}\text{G}\text{K}\text{)}$ is commutative, using a Lévy-Khinchin's type formula for K-invariant functions due to Gangolli, Faraut, and Harzallah. We add that the results exposed in that paper should have interesting connections with the central limit theorems à la Parthasarathy-Schmidt (see K. Parthasarathy, (1974). J. Multiv. Anal.4 123–149).     

Distributions de type K-positif sur l'espace tangent

Let K be a compact subgroup of the isometry group of $\text{R}$ⁿ. A distribution T is said to be of K-positif type if it is K-invariant and if $\text{〈T, ? 1}\text{}\text{?}\text{gj〉 = ∝∝ ?(x + y)}\text{?(Y) dT(x) ? 0}$ for every K-invariant $\text{b}$^∞ function ? with compact support. We look for an integral representation of these distributions (i.e., an analog of the Bochner-Schwartz theorem). In this paper we obtain such a representation for distributions with growth of exponential type in the following case: K is the maximal compact subgroup of a semi-simple connected Lie group G with finite center, acting by the adjoint action on the tangent space of $\text{G}\text{K}$. The main step is to prove that it suffices to work with distributions of W-positif type (where W is the Weyl group associated with $\text{G}\text{K}$). This is achieved following ideas of a paper of S. Helgason [Advan. in Math.36 (1980) 297]. The end of the proof follows from the case where K is finite [N. Bopp, in “Analyse harmonique sur les groupes de Lie,” Lecture Notes in Mathematics No. 739, p. 15, Springer-Verlag, Berlin/New York 1979].     

Sur la compacité des multimesures (I)On compactness of set-valued measures (I)

Let $\text{M}{}_{\mathrm{+}}\text{(T,}\text{K}\text{,}\text{ck}\text{(E))}$ be the space of positive $\text{K}$-regular set-valued measures defined on a σ-algebra $\text{B}$ with values in the space of all compact non empty convex subsets of a Banach space E. We characterize the compact subsets of $\text{M}{}_{\mathrm{+}}\text{(T,}\text{K}\text{,}\text{ck}\text{(E))}$ endowed with the weakest topology for which all mappings M→M(A), $\text{A∈}\text{B}$ are continuous. The case of real nonnegative measures has been investigated by Topsøe [6], Grothendieck [3] and others. To cite this article: K.K. Siggini, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 949–952.     

Transition Densities and Traces for Invariant Feller Processes on Compact Symmetric Spaces

We find necessary and sufficient conditions for a finite K–bi–invariant measure on a compact Gelfand pair (G,K) to have a square–integrable density. For convolution semigroups, this is equivalent to having a continuous density in positive time. When (G,K) is a compact Riemannian symmetric pair, we study the induced transition density for G–invariant Feller processes on the symmetric space X = G/K. These are obtained as projections of K–bi–invariant Lévy processes on G, whose laws form a convolution semigroup. We obtain a Fourier series expansion for the density, in terms of spherical functions, where the spectrum is described by Gangolli’s Lévy–Khintchine formula. The density of returns to any given point on X is given by the trace of the transition semigroup, and for subordinated Brownian motion, we can calculate the short time asymptotics of this quantity using recent work of Bañuelos and Baudoin. In the case of the sphere, there is an interesting connection with the Funk–Hecke theorem.     

Positive convolution structure for a class of Heckman-Opdam hypergeometric functions of type BC

In this paper, we derive explicit product formulas and positive convolution structures for three continuous classes of Heckman-Opdam hypergeometric functions of type BC. For specific discrete series of multiplicities these hypergeometric functions occur as the spherical functions of non-compact Grassmann manifolds G/K over one of the skew fields F=R,C,H. We write the product formula of these spherical functions in an explicit form which allows analytic continuation with respect to the parameters. In each of the three cases, we obtain a series of hypergroup algebras which include the commutative convolution algebras of K-biinvariant functions on G as special cases. The characters are given by the associated hypergeometric functions.     

Symmetry and nonsymmetry for locally compact groups

The class [S] of locally compact groups G is considered, for which the algebra L¹(G) is symmetric (=Hermitian). It is shown that [S] is stable under semidirect compact extensions, i.e., H ? [S] and K compact implies K ×_sH? [S]. For connected solvable Lie groups inductive conditions for symmetry are given. A construction for nonsymmetric Banach algebras is given which shows that there exists exactly one connected and simply solvable Lie group of dimension ?4 which is not in [S]. This example shows that $\text{G}\text{Z}\text{?}$ [S]. Z the center of G, in general does not imply G ?[S]. It is shown that nevertheless for discrete groups and a (possibly) stronger form of symmetry this implication holds, implying a new and shorter proof of the fact that [S] contains all discrete nilpotent groups.     

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

The number of Hamiltonian circuits

G = 〈V(G), E(G)〉 denotes a directed graph without loops and multiple arrows. $\text{K}$(G) denotes the set of all Hamiltonian circuits of G. Put H(n, r) = max{|E(G)|, |V(G)| = n, 1 ≤ |$\text{K}$(G)| ≤ r}. Theorem: $\text{H(n, 1) = (}\text{n}{}^2\text{2}\text{) + (}\text{n}\text{2}\text{) ?1}$. Further, H(n, 2),…, H(n, 5) are given.     

On moment-discretization and least-squares solutions of linear integral equations of the first kind

Let K(s, t) be a continuous function on [0, 1] × [0, 1], and let $\text{K}$ be the linear integral operator induced by the kernel K(s, t) on the space $\text{L}$₂[0, 1]. This note is concerned with moment-discretization of the problem of minimizing 6K_x?y6 in the $\text{L}$₂-norm, where y is a given continuous function. This is contrasted with the problem of least-squares solutions of the moment-discretized equation: ∝₀¹K(s_i, t) x(t) dt = y(s_i), i = 1, 2,h., n. A simple commutativity result between the operations of “moment-discretization” and “least-squares” is established. This suggests a procedure for approximating $\text{K2y}$ (where $\text{K}$² is the generalized inverse of $\text{K}$), without recourse to the normal equation $\text{K1Kx = K1y}$, that may be used in conjunction with simple numerical quadrature formulas plus collocation, or related numerical and regularization methods for least-squares solutions of linear integral equations of the first kind.     

Corresponding residue systems in normal extensions

Let K and K′ be number fields with L = K · K′ and F = KφK′. Suppose that $\text{K}\text{F}$ and $\text{K′}\text{F}$ are normal extensions of degree n. Let $\text{B}$ be a prime ideal in L and suppose that $\text{B}$ is totally ramified in $\text{K}\text{F}$ and in $\text{K′}\text{F}$. Let π be a prime element for $\text{B}$_K = $\text{B}$ φ K, and let f(x) ∈ F[x] be the minimum polynomial for π over F. Suppose that $\text{B}$_K · $\text{D}$_L = ($\text{B}$^≠)^e. Then,

$\text{M(B\# : K, K′) =}\text{min}\text{{m, e(t + 1)}}$

, where $\text{t =}\text{min}\text{{t(}\text{K}\text{F}\text{), t(}\text{K′}\text{F}\text{)}}$ and m is the largest integer such that ($\text{B}$_K′)^nm/e φ f($\text{D}$_K′) ≠ {φ}.If we assume in addition to the above hypotheses that [K : F] = [K′: F] = pⁿ, a prime power, and that $\text{B}$ divides p and is totally ramified in $\text{L}\text{F}$, then

$\text{M(B\# : K, K′) ? p}{}^{\mathrm{n?1}}\text{[(p ? 1)(t + p]}$

, with t = t($\text{B}$ : L/F).     

Harmonic analysis on unitary groups

A theory of harmonic analysis on a metric group (G, d) is developed with the model of U$\text{U}$, the unitary group of a C¹-algebra $\text{U}$, in mind. Essential in this development is the set $\text{G}\text{?}{}_{\mathrm{d}}$ of contractive, irreducible representations of G, and its concomitant set P_d(G) of positive-definite functions. It is shown that $\text{G}\text{?}{}_{\mathrm{d}}$ is compact and closed in $\text{G}\text{?}$. The set $\text{G}\text{?}{}_{\mathrm{d}}$ is determined in a number of cases, in particular when G = U($\text{U}$) with $\text{U}$ abelian. If $\text{U}$ is an AW¹-algebra, it is shown that $\text{G}\text{?}$_d is essentially the same as $\text{U}\text{?}$. Unitary groups are characterised in terms of a certain Lie algebra $\text{g}$_u and several characterisations of G = U($\text{U}$) when $\text{U}$ is abelian are given.     

Irreductibilité de certaines représentations de G(x)

Étant donné un groupe localement compact G et un espace mesuré (X, μ) avec μ non atomique, notons G^(x) le groupe des applications mesurables de X dans G ne prenant qu'un nombre fini de valeurs. Il existe une méthode pour construire des représentations unitaires de G^(x) qui soient invariantes (àéquivalence unitaire près) par toutes les permutations de X conservant μ. Cette construction utilise la théorie des produits tensoriels continus de représentations; en gros, on sait associer une telle représentation $\text{U}\text{?}$ à tout triplet (A, b, c) où A est une représentation unitaire de G, b un 1-cocycle pout A et c une application de G dans $\text{R}$ qui vérifie $\text{Im}\text{(b(g) ¦ b(g′)) = c(gg′) ? c(g) ? c(g′)}$. Verchik, Gelfand Graiev ont démontré (Funk. An. igo Priloz.8 (1974), 67–69) que $\text{U}\text{?}$ est irreductible si b(G) est total dans l'espace de A et si de plus G contient un sous groupe compact K tel que b restreint à K soit nul et $\text{A}{}_{\mathrm{¦K}}$ ne contient pas la représentation triviale.Dans le présent article, nous démontrons un théorème de structure du commutant de $\text{U}\text{?}$; pour cela nous utilisons la théorie des formes standards des algèbres de Von Neumann ainsi qu'un théorème de Araki et Woods sur les algèbres booléennes complètes de facteurs de type I. Comme corollaire nous retrouvons le résultat précité de Verchik, Gelfand, Graiev et d'autre part que $\text{U}\text{?}$ est irréductible dès que A (non triviale) a la même propriété et que b n'est pas un cobord.     

On subgraph number independence in trees

For finite graphs F and G, let N_F(G) denote the number of occurrences of F in G, i.e., the number of subgraphs of G which are isomorphic to F. If $\text{F}$ and $\text{G}$ are families of graphs, it is natural to ask then whether or not the quantities N_F(G), F∈$\text{F}$, are linearly independent when G is restricted to $\text{G}$. For example, if $\text{F}$ = {K₁, K₂} (where K_n denotes the complete graph on n vertices) and $\text{F}$ is the family of all (finite) trees, then of course N_K1(T) ? N_K2(T) = 1 for all T∈$\text{F}$. Slightly less trivially, if $\text{F}$ = {S_n: n = 1, 2, 3,…} (where S_n denotes the star on n edges) and $\text{G}$ again is the family of all trees, then Σ_n=1^∞(?1)ⁿ⁺¹N_Sn(T)=1 for all T∈$\text{G}$. It is proved that such a linear dependence can never occur if $\text{F}$ is finite, no F∈$\text{F}$ has an isolated point, and $\text{G}$ contains all trees. This result has important applications in recent work of L. Lovász and one of the authors (Graham and Lovász, to appear).     

Transformation group C1-algebras with continuous trace

We obtain several results characterizing when transformation group C¹-algebras have continuous trace. These results can be stated most succinctly when ($\text{G, Ω}$) is second countable, and the stability groups are contained in a fixed abelian subgroup. In this case, $\text{C}{}^1\text{(G, Ω)}$ has continuous trace if and only if the stability groups vary continuously on Ω and compact subsets of Ω are wandering in an appropriate sense. In general, we must assume that the stability groups vary continuously, and if ($\text{G, Ω}$) is not second countable, that the natural maps of $\text{G}\text{S}{}_{\mathrm{x}}$ onto G · x are homeomorphisms for each x. Then $\text{C}{}^1\text{(G, Ω)}$ has continuous trace if and only if compact subsets of Ω are wandering and an additional C¹-algebra, constructed from the stability groups and Ω, has continuous trace.     

Two-point Padé expansions for a family of analytic functions

Each member G(z) of a family of analytic functions defined by Stieltjes transforms is shown to be represented by a positive T-fraction, the approximants of which form the main diagonal in the two-point Padé table of G(z). The positive T-fraction is shown to converge to G(z) throughout a domain D(a, b) = [z: z?[?b, ?a]], uniformly on compact subsets. In addition, truncation error bounds are given for the approximants of the continued function; these bounds supplement previously known bounds and apply in part of the domain of G(z) not covered by other bounds. The proofs of our results employ properties of orthogonal $\text{L}$-polynomials (Laurent polynomials) and $\text{L}$-Gaussian quadrature which are of some interest in themselves. A number of examples are considered.     

Compactness and collective compactness in spaces of compact operators

This is a study of compactness in (a) spaces K_b(X, Y) of compact linear operators, (b) injective tensor products $\text{X}\text{}\text{?}\text{bo}{}_{\mathrm{?}}\text{Y}$, and (c) spaces L_c(X, Y) of continuous linear operators, and its various relationships with equicontinuity and collective compactness. Among the applications is a result on factoring compact sets of compact operators compactly and uniformly through one and the same reflexive Banach space.     

Propriétés de l'intégrale de Cauchy Harish-Chandra pour certaines paires duales d'algèbres de LieProperties of the Cauchy Harish-Chandra integral for some dual pairs of Lie algebras

We consider a symplectic group Sp and an reductive and irreductible dual pair (G,G′) in Sp in the sense of R. Howe. Let $\text{g}$ (resp. $\text{g}\text{′}$) be the Lie algebra of G (resp. G′). T. Przebinda has defined a map $\text{Chc}$, called the Cauchy Harish-Chandra integral from the space of smooth compactly supported functions of $\text{g}$ to the space of functions defined on the open set $\text{g}{}^{\mathrm{<mtext>\prime </mtext><mspace\; sp="0.2"\; width="2px"\; linebreak="nobreak"\; is="true"></mspace><mtext>reg</mtext>}}$ of semisimple regular elements of $\text{g}\text{′}$. We prove that these functions are invariant integrals if G and G′ are linear groups and they behave locally like invariant integrals if G and G′ are unitary groups of same rank. In this last case, we obtain the jump relations up to a multiplicative constant which only depends on the dual pair. To cite this article: F. Bernon, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 945–948.