Zur Vollständigkeit der Induktiven Gruppoide der Partiellen Automorphismen von Algebren

For any algebraA let(A) be the set of partial automorphisms (isomorphisms between subalgebras). With the natural multiplication it is an inductive groupoid in the sense of Ehresmann.(A) is complete iff every subset of(A) which is compatible with the semi-ordering has an upper bound. The fact, whether(A) is complete or not, depends on the defining operations ofA. For every direct familyF = (, (A ) ,()_, , of algebras such that all ,, with are one-to-one functions, the direct limit is complete iff all(A) are complete. We give some theorems on the decomposition of inductive groupoids, and employ them in proving the completeness of(A) to variousA.In particular, we obtain that, in case whenG is a finite group,(G) is complete iffG is either cyclic or direct product of a noncyclic group of order 4 and a cyclic group of odd order. For finite acyclic ringsR and finite fieldsK the inductive groupoids(R) and(K) are complete.Further we deal with the question, to what extent algebras are determined by their inductive groupoids. (An algebraA of a classS is defined by(A) iff, for any algebraB of the classS, isomorphism between(A) and(B) implies isomorphism betweenA andB.) Particular attention is paid to finite groups. In general, algebras of classesS are not defined within the classS by their inductive groupoids.

     

On the Sobolev distance of convex bodies

Summary LetK ^d denote the cone of all convex bodies in the Euclidean spaceK ^d . The mappingK h _K of each bodyK K ^d onto its support function induces a metric _w onK ^d by" _w (K, L)h _L –h _{K w} where _w is the Sobolev I-norm on the unit sphere . We call _w (K, L) the Sobolev distance ofK andL. The goal of our paper is to develop some fundamental properties of the Sobolev distance.     

Non-Uniformly Elliptic Equations with Natural Growth in the Gradient

We prove the existence of bounded solutions for a class of nonlinear elliptic problems of type–div(a(x,u,Du))=H(x,u,Du)+f, uW ^1,p ₀()L (),where a(x,,)b(||)|| ^p , b is a continuous monotone decreasing function and |H(x,,)| k()|| ^p , k is a continuous monotone increasing function.     

Bounded projections and duality on spaces of holomorphic functions in the unit ball ofℂ n

In this paper three Banach spacesA ₀(),A andA ¹() of functions holomorphic in the unit ballB of ⁿ are defined. We exhibit bounded projections fromC ₀(B) ontoA ₀(), fromL ¹(B) ontoA ¹(), and fromL(B) ontoA(). Using these projections, we show thatA ₀()* A ¹() andA ¹()* A().Supported in part by the National Natural Science Foundation of China.     

An eigenvalue problem for the numerical range of a bounded linear operator

LetX be a complex Lebesgue space with a unique duality mapJ fromX toX ^*, the conjugate space ofX. LetA be a bounded linear operator onX. In this paper we obtain a non-linear eigenvalue problem for (A)=sup{Re: W(A} whereW(A)={J(x)A(x)) : x=1}, under the assumption that (A) and the convex hull ofW(A) for some linear operatorsA onl _p , 2<p<.     

Approximation of Distributions by Parametric Sets

Let P be a probability distribution on a separable metric space (S,d). We study the following problem of approximation of a distribution P by a set from a given class A2 ^S : W(A,P) _S (d(x,A))P(dx)min _AA , where is a nondecreasing function. A special case where A is a parametric class A={A():T} is considered in detail. Our main interest is to obtain convergence results for sequences {A ^* _n }, where A ^* _n is an optimal set for a measure P _n satisfying P _n P, as n.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Mixing and some integro-functional equations

Summary It is proved that the operatorP: L ¹ (0, ) L ¹(0, ), given byPg(z) = _z/c [g(x)/cx]dx, is completely mixing, i.e.,P ⁿ g ₁ 0 forg L ¹(0, ) with g dx = 0. This implies that, forc (0, 1), each continuous and bounded solution of the equationf(x)= ₀ ^cx f(t)dt/(cx) (x (0, 1]) is constant.     

Zur Krümmungsverwandtschaft Von Zwangläufen in Affinen CK — Ebenen I

We study a map of osculating elements of an affine Cayley- Klein (CK-) plane into the Lie algebraA ₄(²) of the aequiform transformationsA ₄(²) of the given plane. If we use the real projective spaceP ₃() overA ₄(²) each osculating element defines a straight line inP ₃(). In the first part of this paper this map is studied in detail. In the second part we study second order properties of one- parameter motions and their corresponding properties in the Lie algebraA ₄(²). This is done by considering the analogen to the formula of EULERSAVARY in the image spaceP ³() overA ₄(²).     

Separation of two (possibly unbounded) components of the spectrum of a linear operator

LetX be a complex Banach space andA: D(A)X a densely defined closed linear operator whose resolvent set contains the real line and for which (–A)^–1 is bounded onR. We give a necessary and sufficient condition, in terms of the complex powers ofA and –A, for the existence of a decompositionX=X ₊X _–, whereX _± are closed subspaces, invariant forA, the spectra of the reduced operatorsA _± are {(A);Im>0} and {(A);Im<0} respectively, and (–A _±)^–1 is bounded forIm0.Finally we give an example of an operator in anL ^p-type space for which the decomposition exists if 1<p<+ and does not exist ifp=1.     

Stability of the C *-Algebra Associated with Twisted CCR

The universal enveloping C ^*-algebra A of twisted canonical commutation relations is considered. It is shown that, for any (–1,1), the C ^*-algebra A is isomorphic to the C ^*-algebra A ₀ generated by partial isometries t _i ,t _i ^*,i=1,¨,d satisfying the relations t _i ^* t _j = _ij (1– _k<i t _k t _k ^*), t _j t _i =0, ij and it is proved that the Fock representation of A is faithful.     

The Whitehead Group of the Novikov Ring

The Bass–Heller–Swan–Farrell–Hsiang–Siebenmann decomposition of the Whitehead group K ₁(A[z,z^-1]) of a twisted Laurent polynomial extension A[z,z^-1] of a ring A is generalized to a decomposition of the Whitehead group K ₁(A((z))) of a twisted Novikov ring of power series A((z))=A[[z]][z^-1]. The decomposition involves a summand W₁(A, ) which is an Abelian quotient of the multiplicative group W(A,) of Witt vectors 1+a₁z+a₂z²+ ··· A[[z]]. An example is constructed to show that in general the natural surjection W(A, )^ab W₁(A, ) is not an isomorphism.     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

Semi-groupes sous-Markoviens engendrés par des opérateurs matriciels

We characterize generators of sub-Markovian semigroups onL ^p () by a version of Kato's inequality. This will be used to show (under precise assumptions) that the semigroup generated by a matrix operatorA=(A _ij )_1i,jn on (L ^p ()) ⁿ is sub-Markovian if and only if the semigroup generated by the sum of each rowA _i 1+...+A _in (1in), is sub-Markovian. The corresponding result on (C ₀(X)) ⁿ characterizes dissipative operator matrices.

     

Estimates for the minimal width of polytopes inscribed in convex bodies

The paper deals with the problem of approximating point sets byn-point subsets with respect to the minimal widthw. Let, in particular, ^d denote the family of all convex bodies in Euclideand-space, letA ^d and letn be an integer greater thand. Then we ask for the greatest number = _n (A) such that everyA A contains a polytope withn vertices which has minimal width at least w(A). We give bounds for _n ( ^d ), for _n (2133; ^d ), and for _n (W ^d ), where 2133; ^d ,W ^d denote the families of centrally symmetric convex bodies and of bodies of constant width, respectively.Dedicated to Professor L. danzer on the occasion of his sixtieth birthdayResearch for this paper was conducted in the academic year 1986/87 while both authors were visiting the University of Washington, Seattle. P. Gritzmann was supported by the Alexander von Humboldt Foundation.     

On the convergence of orthogonal series to +∞

For any sequence of numbers _n0, _n=1 a _n ² =, a uniformly bounded orthonormal system of continuous functions _n(x) which is complete in L₂ (0, 1), and a sequence of numbers b_n(0< b_na_n) are constructed such that _n=1 ^Emphasis> b_nn(x)= everywhere on (0, 1).Translated from Matematicheskie Zametki, Vol. 11, No. 5, pp. 499–508, May, 1972.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

On pseudo-differential operators and smoothness of special Lie-group representations

Two algebras of global pseudo-differential operators over ⁿ are investigated, with corresponding classes of symbols A⁰=CB (all (x, )-derivatives bounded over ²ⁿ), and A₁ (all finite applications of _xj, _j, and _pq=_pq–_px_p on the symbol are in A₀). The class A₁ consists of classical symbols, i.e., ^x a= 0((1+||)–^||) for x Kc ;ⁿ, K, compact. It is shown that a bounded operator A of 210C=L²(Rⁿ) is a pseudo-differential operator with symbol aA_j if and only if the map AG^–1AG, G g_j is infinitely differentiable, from a certain Lie-group g_j c GL(210C) to (210C) with operator norm. g₀ is the Weyl (or Heisenberg) group. Extensions to operators of arbitrary order are discussed. Applications to follow in a subsequent paper.Dedicated to Hans Lewy and Charles B. Morrey, Jr.