Propriété de stabilité de la fonction extrémale relative

Nous donnons une caractérisation des domaines DX pour lesquels la fonction extrémale relative ^*(,E,D) a la propriété de stabilité pour tout ED, i.e. lim _k^*(,E,D _k )=^*(,E,D), ED. Ensuite, nous étudions la relation entre cette propriété et les enveloppes pluripolaires. Nous concluons par quelques remarques sur la propriété de stabilité lim _k^*(,E _k ,D)=^*(,E,D).     

K-theory of reduced C*-algebras and rapidly decreasing functions on groups

We associate to any length function L on a group a space of rapidly decreasing functions on (in the l ² sense), denoted by H _L (). When H _L () is contained in the reduced C*-algebra C _r ^* () of (), then it is a dense *-subalgebra of C _r ^* () and we prove a theorem of A. Connes which asserts that under this hypothesis H _L () has the same K-theory as C _r ^* (). We introduce another space of rapidly decreasing functions on (in the l ¹ sense), denoted by H _L ^1, (), which is always a dense *-subalgebra of the Banach algebra l ¹(), and we show that H _L ^1, () has the same K-theory as l ¹().     

The Arveson Extension Theorem and coanalytic models

We develop techniques which allow one to describe in simple terms the set of operators on Hilbert space of the form M^{* ()} |M, where M is multiplication by z on a Hilbert space of analytic functions satisfying certain technical assumptions, M^{* ()} is the direct sum of a countably infinite number of copies of M^*, andM is invariant for M^{* ()}. One of the main ingredients in our technique is the Arveson Extension Theorem and this paper illustrates the great power and tractability of that theorem in a concrete setting.Research partially supported by NSF grant MCS 81-02518     

Limit Theorems for the Maximum Terms of a Sequence of Random Variables with Marginal Geometric Distributions

Let X _n1 ^* , ... X _nn ^* be a sequence of n independent random variables which have a geometric distribution with the parameter p _n = 1/n, and M _n ^* = \max\{X _n1 ^* , ... X _nn ^* }. Let Z ₁, Z₂, Z₃, ... be a sequence of independent random variables with the uniform distribution over the set N _n = {1, 2, ... n}. For each j N _n let us denote X _nj = min{k : Z_k = j}, M _n = max{X_n1, ... X_nn}, and let S _n be the 2nd largest among X _n1, X_n2, ... X_nn. Using the methodology of verifying D(u_n) and D'(u_n) mixing conditions we prove herein that the maximum M _n has the same type I limiting distribution as the maximum M _n ^* and estimate the rate of convergence. The limiting bivariate distribution of (S_n, M_n) is also obtained. Let _n, _n N_n, , and T _n = min{M(A_n), M(B_n)}. We determine herein the limiting distribution of random variable T _n in the case _n , _n/_n > 0, as n .     

On the norm of polynomials of two adjoint projections

Letf(X, Y) be a polynomial of two non-commuting variables and letP be an arbitrary nontrivial projection operator in Hilbert space. The class of all polynomialsf(X, Y) for which f(P, P ^*) depends only onf and P are described. In the case when such a dependence exists the explicit formula is obtained. Some applications to singular integral operators are given.     

The lyapunov equation and the problem of stability for linear bounded discrete-time systems in Hilbert space

This paper is devoted to a study of the properties of the equationA ^*FA–F=–G, where FL() is unknown, AL(), GL() is positive and is a Hilbert space. It is shown that necessary and sufficient (in some sense) conditions for the existence of positive definite solutions of this equation are directly connected with the stability of infinite dimensional linear systemx _k+1=Ax _k . The relationships between stability of such a system and stability of a continuous-time system generated by a strongly continuous semigroup are given also. As an example the case of the delayed system in Rⁿ is considered.This work was supported in part by the Polish Academy of Sciences under the contract Problem Miedzyresortowy I.1, Grupa Tematyczna 3 This paper was written while the author was with the Instytut Automatyki, the same university.     

The Natural Operators Lifting 1-Forms to r-Jet Prolongation of the Tangent Bundle

We prove that for n-manifolds (n 3) the set of all natural operators T^* T^*(J^rT) is a free [2(r + 1)² + 1]-dimensional module over C (R^r+1). We construct explicitly the basis of the C (R^r+1)-module.     

Algebraic systems of quadratic forms of number fields and function fields

In this paper we examine for which Witt classes ,..., _n over a number field or a function fieldF there exist a finite extensionL/F and ₂,..., _n L^* such thatT _L/F ()=1 andTr _L/F (_i)=_i fori=2,...n.     

On a Particular Class of Minihypers and Its Applications. I. The Result for General q

This article is the first in a series of three articles that discuss a particular class of minihypers and its applications. Proving that for small and < N, a {v _{+ 1}, v ; N, q}-minihyper consists of a sum of -spaces, we show that the excess points of an s-cover with excess of PG(N, q), (s + 1)|(N + 1), form a sum of s-spaces, and that no maximal partial s-spreads with deficiency of PG(N, q), (s + 1)|(N + 1), exist. The case q square will be studied in greater detail in [7] and further applications of these classification results on this class of minihypers will be published in [8].     

On the asymptotic and invariantσ-algebras of random walks on locally compact groups

Summary Consider a random walk of law on a locally compact second countable groupG. Let the starting measure be equivalent to the Haar measure and denote byQ the corresponding Markov measure on the space of pathsG . We study the relation between the spacesL (G , ^a ,Q) andL (G , ⁱ ,Q) where ^a and ⁱ stand for the asymptotic and invariant -algebras, respectively. We obtain a factorizationL (G , ^a ,Q) L (G , ⁱ ,Q)L (C) whereC is a cyclic group whose order (finite or infinite) coincides with the period of the Markov shift and is determined by the asymptotic behaviour of the convolution powers ⁿ.     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H^* (G/,) of the de Rham complex *(G/) of a compact solvmanifold G/ with deformed differential d = d + , where is a closed 1 -form, is studied. Such cohomologies naturally arise in Morse-Novikov theory. It is shown that, for any completely solvable Lie group G containing a cocompact lattice G, the cohomology H^*(G/, ) is isomorphic to the cohomology H^*( ) of the tangent Lie algebra of the group G with coefficients in the one-dimensional representation : defined by () = (). Moreover, the cohomology H ^*(G/,) is nontrivial if and only if -[] belongs to a finite subset of H ¹(G/,) defined in terms of the Lie algebra .Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 67–79.Original Russian Text Copyright © 2005 by D. V. Millionshchikov.This revised version was published online in April 2005 with a corrected issue number.     

Strong solution for an elastic-plastic plate

Given a regular bounded open set R ²,, >0 andg L ^q () withq>2, we prove, under compatibility and safe load conditions ong, the existence of a minimizing pair for the functional, over closed setsK ² and functionsu C⁰( ) C²(/K); here ¦[Du]¦ denotes the jump ofDu acrossK and ¹ is the 1-dimensional Hausdorff measure.Dedicated to Enrico Magenes for his 70th birthday     

Imbedding of pseudo-Riemannian manifolds in a pseudo-euclidean space

It is proved that every pseudo-Riemannian manifold M _{(p, q)} ⁿ with the C^k metric (3k) has an isometric C^k imbedding in the large in E _{(p, q)} ^{n(n+1)(3n+11)/2} , p(n+1)², q(n+1)².Translated from Matematicheskie Zametki, Vol. 9, No. 2, pp. 193–198, February, 1971.     

Existence and construction of Δ1-splines of class Ck on a three-directional mesh

Let ^* be the equilateral triangulation of the plane and let ₁ ^* be the equilateral triangle formed by four triangles of ^*. We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ ^*, having a sufficiently high degree n and which are invariant with respect to the group of symmetries of ₁ ^*. Such splines are called ₁ ^*-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁ ^*-splines of class C ^k and minimal degree, but these splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines.     

Minimality of root vectors of operator functions analytic in an angle

We study the minimality of elementsx _h,j,k of canonical systems of root vectors. These systems correspond to the characteristic numbers _k of operator functionsL() analytic in an angle; we assume that operators act in a Hilbert space . In particular, we consider the case whereL()=I+T()c, >0,I is an identity operator,C is a completely continuous operator, (I- C)^–1c for ¦arg¦, 0<<, the operator functionT() is analytic, and T()c for ¦arg¦<. It is proved that, in this case, there exists >0 such that the system of vectorsC ^v x _h,j,k is minimal in for arbitrary positive <1+, provided that ¦_k¦>.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 5, pp. 545–566, May, 1994.This research was partially supported by the Ukrainian State Committee of Science and Technology.     

Interacting Fock Expansion of Lévy White Noise Functionals

Consider the Lévy white noise space (S ^*,(S ^*),), where S ^* is the Schwartz distributions over R ^d and is a Lévy white noise measure lifted from a 1-dimensional infinitely divisible distribution with finite moments. We give explicit forms and recursion formulas of moment and renormalization kernels for the Lévy white noise measure. By defining inner products (,)_[n] in n-particle spaces, we establish an interacting Fock space _n=0 ⁽ⁿ⁾ and the interacting Fock expansions for Lévy white noise functionals. The usual Fock space (H)= _n=0 can be viewed as a quotient space of the interacting Fock space. As a particular case, we give the interacting Fock expansion for gamma white noise functionals.     

Stochastic integrals on general topological measurable spaces

Summary A general theory of stochastic integral in the abstract topological measurable space is established. The martingale measure is defined as a random set function having some martingale property. All square integrable martingale measures constitute a Hilbert space M ². For each M ², a real valued measure on the predictable -algebra is constructed. The stochastic integral of a random function with respect to is defined and investigated by means of Riesz's theorem and the theory of projections. The stochastic integral operator I is an isometry from L ²() to a stable subspace of M ², its inverse is defined as a random Radon-Nikodym derivative. Some basic formulas in stochastic calculus are obtained. The results are extended to the cases of local martingale and semimartingale measures as well.     

Symmetry and-commutativity of topological*-algebras

An advertibly complete locallym-convex (lmc)^*-algebraE is symmetric if and only if each normed (inverse limit) factorE/N , A, ofE is symmetric in the respective Banach factorE , A, ofE. Every locally C^*-algebra is symmetric. If denotes the continuous positive functionals on an lmc^*-algebraE and withL _f ={x E: f(x ^* x) =0}, thenE is, by definition,-commutative if for anyx, y E.-commutativity and commutativity coincide in lmcC ^*-algebras, so that an lmc^*-algebra with a bounded approximate identity is-commutative if and only if its enveloping algebra is commutative. Several standard results for commutative lmc^*-algebras are also obtained in the-commutative case, as for instance, the nonemptiness of the Gel'fand space of a suitable-commutative lmc^*-algebra, the automatic continuity of positive functionals when the algebras involved factor, as well as that the spectral radius is a continuous submultiplicative semi-norm, when the algebras considered are moreover symmetric. An application of the latter result yields a spectral characterization of-commutativity.     

The Trace Conjecture – A Counterexample

In the paper Geometric K-Theory for Lie Groups and Foliations, Baum and Connes conjecture in a remark following Corollary 2 of their famous Isomorphism conjecture that for a finitely generated group with torsion, the trace map tr: K₀(C^*)R maps K₀(C^*) onto the additive subgroup of Q generated by all rational numbers of the form 1/n where n is the order of a finite subgroup of . We construct a counterexample to this conjecture.     

A chord-stretching map of a convex loop is an isometry

Let ⁿ be n-dimensional Euclidean space, and let : [0, L] ⁿ and : [0, L] ⁿ be closed rectifiable arcs in ⁿ of the same total length L which are parametrized via their arc length. is said to be a chord-stretched version of if for each 0s tL, |(t)–(s)| |(t)–(s)|. is said to be convex if is simple and if ([0, L]) is the frontier of some plane convex set. Individual work by Professors G. Choquet and G. T. Sallee demonstrated that if were simple then there existed a convex chord-stretched version of . This result led Professor Yang Lu to conjecture that if were convex and were a chord-stretched version of then and would be congruent, i.e. any chord-stretching map of a convex arc is an isometry. Professor Yang Lu has proved this conjecture in the case where and are C ² curves. In this paper we prove the conjecture in general.