A lower closure theorem for abstract control problems withL p-bounded controls

A lower closure theorem for an abstract control problem is proved. The functional isJ(,u)= _G f ⁰(t, (M)(t),u(t))dt and the state equations areN(t)=f(t, (M)(t),u(t)). It is shown that, if {( _k ,u _k)} is a sequence of admissible controlsu _k and corre-sponding trajectories _k such that lim infJ( _k ,u _k)<+ and such that _k weakly,M _k M strongly,N _k N weakly, and {u _k} is bounded in someL _p norm, then there is a controlu such that (,u) is admissible and lim infJ( _k ,u _k)J(,u).Dedicated to Professor M. R. HestenesThis research was supported by the National Science Foundation, Grant No. GP-33551X.     

Uniqueness for the harmonic map flow in two dimensions

LetM be a two-dimensional Riemannian manifold with smooth (possibly empty) boundary. Ifu andv are weak solutions of the harmonic map flow inH ¹(M×[0,T]; S^N) whose energy is non-increasing in time and having the same initial data u₀ H¹(M,S^N) (and same boundary values H ^3/2(M; S^N) if M; S^N Ø) thenu=v.     

A note on quasi-periodic solutions of some elliptic systems

We extend a recent method of proof of a theorem by Kolmogorov on the conservation of quasi-periodic motion in Hamiltonian systems so as to prove existence of (uncountably many) real-analytic quasi-periodic solutions for elliptic systems u=f _x (u, y), whereu y ^M u(y) ^N ,f=f(x, y) is a real-analytic periodic function and is a small parameter. Kolmogorov's theorem is obtained (in a special case) whenM=1 while the caseN=1 is (a special case of) a theorem by J. Moser on minimal foliations of codimension 1 on a torusT ^M +1. In the autonomous case,f=f(x), the above result holds for any .     

Surgery on the Novikov complex

Let M be a closed connected smooth manifold with dim M=n6, and : ₁(M) Z be an epimorphism. Denote by the group ring of ₁(M) and let ^– be its Novikov completion. Let D _* be a free-based finitely generated chain complex over ^– . Assume that D _ii=0 for i1 and in–1 and that D _* has the same simple homotopy type as the Novikov-completed simplicial chain complex of the universal covering M. Let N be an integer. We prove that D _* can be realized, up to the terms of ^– of degree N as the Novikov complex of a Morse map : M S ¹, belonging to . Applications to Arnold's conjectures and to the theory of fibering of M over S ¹ are given.     

Orientation reversing involutions and the first betti number for finite coverings of 3-manifolds

LetMS ³,P ³ be a closed, orientable irreducible 3-manifold which admits an orientation reversing involution :MM. If dim(Fix )=0, suppose ₁ (M) has a subgroup of even index. We show thatM has finite coverMMM} with ₁(M<0). As an application we show that the hyperbolic dodecahedral space has a finite cover with positive 1st betti number.     

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 .     

The Flooding Time in Random Graphs

Based on our analysis of the hopcount of the shortest path between two arbitrary nodes in the class G _p (N) of random graphs, the corresponding flooding time is investigated. The flooding time T _N (p) is the minimum time needed to reach all other nodes from one node. We show that, after scaling, the flooding time T _N (p) converges in distribution to the two-fold convolution ^(2*) of the Gumbel distribution function (z)=exp (–e ^–z ), when the link density p _N satisfies Np _N /(log N)³ if N .     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

On a Test Statistic for Linear Trend

Let {W(s)} _s 0 be a standard Wiener process. The supremum of the squared Euclidian norm Y (t)², of the R²-valued process Y(t)=(1/t W(t), {12/t ³ int_{0 t} s dW (s)– {3/t} W(t)), t [, 1], is the asymptotic, large sample distribution, of a test statistic for a change point detection problem, of appearance of linear trend. We determine the asymptotic behavior P {sup _t [, 1] Y(t)² > u as u , of this statistic, for a fixed (0,1), and for a moving = (u) 0 at a suitable rate as u . The statistical interest of our results lie in their use as approximate test levels.     

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

A Bernstein Property of Affine Maximal Hypersurfaces

Let x: M A ^{n + 1} be a locally strongly convex hypersurface, given as a graph of a locally strongly convexfunction x _{n + 1} =f(x ₁, ..., x _n )defined in a domain A ⁿ . We introduce a Riemannian metricG ^# = (² f/x _i x _j )dx _i dx _j on M. In this paper, we investigate the affine maximalhypersurfaces which are complete with respect to the metricG ^# and prove a Bernstein property for the affine maximalhypersurfaces.     

Global properties of solutions to 1D-viscous compressible barotropic fluid equations with density dependent viscosity

The Navier-Stokes equations for compressible barotropic fluid in 1D with the mass force under zero velocity boundary conditions are studied. We prove the uniform upper and lower bounds for the density as well as the uniform in time L ²()-estimates for _x and u _x (u is the velocity). Moreover, a collection of the decay rate estimates for - (with being the stationary density) and u in ²()-norm and H ¹()-norm as time t are established. The results are given for general state function p() (but mainly monotone) and viscosity coefficient µ() of arbitrarily fast (or slow) growth as well as for the large data.     

Langlands classification for real Lie groups with reductive Lie algebra

LetG be a (not necessarily connected) real Lie group with reductive Lie algebra. We consider representations ofG which some call admissible but we call them of Harish-Chandra type. We show that any nontempered irreducible Harish-Chandra type representation ofG is infinitesimally equivalent to the Langlands quotient obtained from an essentially unique triple (M, V, ) of Langlands data; while for tempered irreducible Harish-Chandra type representations we prove they are infinitesimally subrepresentations of some induced representations U^V, with imaginary and withV from the quasi-discrete series of a suitableM (perhapsG=M; we define the quasi-discrete series in Definition 4.5 of this paper.We show that irreducible continuous unitary representations of really reductive groups are of Harish-Chandra type. Then the results above yield the canonical decomposition of the unitary spectrum>G for any really reductiveG. In particular, this holds ifG/G ₀ is finite, so the center of the connected semi-simple subgroup with Lie algebra [g, g] may be infinite!Research supported, in part, by the Hungarian National Fund for Scientific Research (grant Nos. 1900 and 2648).     

Über konvergente Zerlegungen von Matrizen

LetA, M, N ben × n real matrices, letA=M–N, letA andM be nonsingular. LetMy0 implyNy0 (where the prime denotes the transpose). ThenAy0 impliesNy0 if and only if the spectral radius (M ^–1 N) ofM ^–1 N is less than one. This complements a result of Mangasarian, given in [1]. The same conclusions are true ifA, M, andN are replaced byA, M, andN respectively. The proof given here does not make use of the Perron-Frobenius theorem.

---

---

Herrn Professor Dr. Johannes Weissinger zum 60. Geburtstag gewidmet     

Geometry and the Jones projection of a state

LetA be a von Neumann algebra and a faithful normal state. ThenO = { ºAd(g ¹) :g G _A }andU = { ºAd(u ^*) :u U _A are homogeneous reductive spaces. IfA is aC ^* algebra,e the Jones projection of the faithful state viewed as a conditional expectation, then we prove that the similarity orbit ofe by invertible elements ofA can be imbedded inAA in such a way thate is carried to 1 1 and the orbit ofe to a homogeneous reductive space and an analytic submanifold ofAA.     

Implicit elliptic boundary-value problems with discontinuous nonlinearities

Let be a bounded domain in ⁿ (n3) having a smooth boundary, let be an essentially bounded real-valued function defined on × ^h, and let be a continuous real-valued function defined on a given subset Y of Y ^h. In this paper, the existence of strong solutions u W ^2,p (, ^h) W _o ^1,p (n/2<p<+) to the implicit elliptic equation (–u)=(x,u), with u=(u₁, u₂, ..., u_h) and u=(u ₁, u ₂, ..., u _h), is established. The abstract framework where the problem is placed is that of set-valued analysis.     

Circular Chromatic Number and Mycielski Graphs

As a natural generalization of graph coloring, Vince introduced the star chromatic number of a graph G and denoted it by ^*(G). Later, Zhu called it circular chromatic number and denoted it by _c(G). Let (G) be the chromatic number of G. In this paper, it is shown that if the complement of G is non-hamiltonian, then _c(G)=(G). Denote by M(G) the Mycielski graph of G. Recursively define M^m(G)=M(M^m–1(G)). It was conjectured that if mn–2, then _c(M^m(K_n))=(M^m(K_n)). Suppose that G is a graph on n vertices. We prove that if , then _c(M(G))=(M(G)). Let S be the set of vertices of degree n–1 in G. It is proved that if |S| 3, then _c(M(G))=(M(G)), and if |S| 5, then _c(M²(G))=(M²(G)), which implies the known results of Chang, Huang, and Zhu that if n3, _c(M(K_n))=(M(K_n)), and if n5, then _c(M²(K_n))=(M²(K_n)).* Research supported by Grants from National Science Foundation of China and Chinese Academy of Sciences.     

Isometries of symmetric operator spaces associated with AFD factors of typeII and symmetric vector-valued spaces

If is a surjective isometry of the separable symmetric operator spaceE(M, ) associated with the approximately finite-dimensional semifinite factorM and if · _E(M,) is not proportional to · _{L 2}, then there exist a unitary operatorUM and a Jordan automorphismJ ofM such that(x)=UJ(x) for allxME(M, ). We characterize also surjective isometries of vector-valued symmetric spacesF((0, 1), E(M, )).Research supported by the Australian Research Council     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

C r -finite elements of Powell-Sabin type on the three direction mesh

Let be the triangulation generated by a uniform three direction mesh of the plane. Let ₆ be the Powell-Sabin subtriangulation obtained by subdividing each triangleT by connecting each vertex to the midpoint of the opposite side.Given a smooth functionu, we construct a piecewise polynomial function C ^r (²) of degreen=2r (resp. 2r+1) forr odd (resp. even) in each triangle of ₆, interpolating derivatives ofu up to orderr at the vertices of.