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     

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.     

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

Variational problems in SBV and image segmentation

We show how it is possible to prove the existence of solutions of the Mumford-Shah image segmentation functional F(u,K) = _\K [u² + (u – g)²]dx + ^{n – 1}(K), u W ^1,2(\K), K closed in .We use a weak formulation of the minimum problem in a special class SBV() of functions of bounded variation. Moreover, we also deal with the regularity of minimizers and the approximation of F by elliptic functionals defined on Sobolev spaces. In this paper, we have collected the main results of Ambrosio and others.     

A regularity result for critical points of conformally invariant functionals

Let be an open set inR ² andI be a conformally invariant functional defined onH ¹(,R ^d ). Letu be a critical point ofI. We show that, ifu is apriori assumed to be bounded, thenu is smooth in , up to (ifu _| is smooth). This is a partial (positive) answer to a conjecture of S. Hildebrandt [13]. As an application, we establish a regularity result for weak solutions to the equation of surfaces of prescribed mean curvature in a three-dimensional compact riemannian manifold.     

Existence theorems for a class of nonconvex problems in the calculus of variations

We give some existence results of minima for a class of nonconvex functionals depending on the Laplacian. We minimize these functionals on the set of functionsu inW ^2,p () W ₀ ^1,p () such that u/n=0 on ,p>1, with either an annulus or the whole space ⁿ . Our approach allows us to deal with integrands without any regularity conditions. The results are obtained first by showing that the corresponding convexified problem has at least one radially symmetric solution via a rotation; then, by using a Liapunov's theorem on the range of a vector-valued measure, we construct a function that is a solution to our problem.The author wishes to thank Prof. A. Cellina for useful comments and Prof. G. Dal Maso for several helpful discussions during the preparation of this paper. He also is grateful to Prof. A. Salam and ICTP for the generous financial support that made this work possible.     

Moser-type inequalities in Lorentz spaces

Moser-type estimates for functions whose gradient is in the Lorentz space L(n, q), 1q, are given. Similar results are obtained for solutions uH _inf0 ^sup1 of Au=(f _i ) _{x i} , where A is a linear elliptic second order differential operator and |f|L(n, q), 2q.Work partially supported by MURST (40%).     

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.     

Smoothness of solutions of a nonlinear ode

Smoothness of aC -functionf is measured by (Carleman) sequence {M _k} ₀ ; we sayfC _M [0, 1] if|f ^(k) (t)|CR ^k M _k,k=0, 1, ... withC, R>0. A typical statement proven in this paper isTHEOREM: Let u, b be two C -functions on [0, 1]such that (a) u=u ²+b, (b) |b ^(k) (t)|CR ^k (k!) , >1,k_–.Then |u^(k)(t)|C₁R^k((k–1)!),k_–.The first author acknowledges the hospitality of Mathematical Research Institute of the Ohio State University during his one month visit there in the spring of 1999     

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.     

Eine Verallgemeinerung des Satzes vom abgeschlossenen Wertebereich in lokalkonvexen Räumen

This paper extends Kato's proof [5] of Banach's closed range theorem to locally convex spaces. Thus we consider a locally convex space (E,) and pairs (M,N) of closed subspaces. We call such a pair -open, if and only if there exists a directed, total system of seminorms generating the topology induced by a on M+N, such that the minimal gap _p(M,N)>O for each p. Our main result is a generalisation of the closed range theorem and it consists of statements on relationships between the following properties: (a) M+N -closed, (b) M+N (E,E)-closed, (c) M+N (E,E)-closed, (d) (M,N) -open, (e) (M,N) (E,E)-open, (f) (M,N) (E,E)-open, (g) (M,N) (E,E)-open, (h) M+N=(MN), (i) M+N=(MN).By specialising the space (E,) and the subspaces M,N, our generalisation includes the closed range theorems of Dieudonné and Schwartz [4], Browder [1] and Mochizuki [12]. It is shown that these theorems not only hold for closed linear operators but even for closed linear relations. We are therefore able to obtain closed domain theorems which extend Brown's examinations in Banach-spaces [2] to locally convex spaces.

---

---

Herrn Gottfried Köthe zum 70. Geburtstag am 25.12.1975 gewidmet     

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.     

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.     

Multiscale convergence and reiterated homogenization of parabolic problems

Reiterated homogenization is studied for divergence structure parabolic problems of the form u /t–div (a(x,x/,x/²,t,t/ ^k)u )=f. It is shown that under standard assumptions on the function a(x, y ₁,y ₂,t,) the sequence {u } of solutions converges weakly in L ² (0,T; H ₀ ¹ ()) to the solution u of the homogenized problem u/t– div(b(x,t)u)=f.This revised version was published online in April 2005 with a corrected missing date string.     

On a variational problem with lack of compactness: the topological effect of the critical points at infinity

We study the subcritical problemsP :–u=u ^p–,u>0 on;u=0 on , being a smooth and bounded domain in ^N,N–3,p+1=2N/N–2 the critical Sobolev exponent and >0 going to zero — in order to compute the difference of topology that the critical points at infinity induce between the level sets of the functional corresponding to the limit case (P₀).

---

Résumé Nous étudions les problèmes sous-critiquesP :–u=u ^p–,u > 0 sur;u=0 sur –où est un domaine borné et régulier de ^N,N–3,p + 1=2N/N –2 est l'exposant critique de Sobolev, et >0 tend vers zéro, afin de calculer la différence de toplogie induite par les points critiques à l'infini entre les ensembles de niveau de la fonctionnelle correspondant au cas limite (P₀).

     

On improved regularity of weak solutions of some degenerate,Anisotropic elliptic systems

Summary We consider a (possibly) vector-valued function u: R^N, Rⁿ, minimizing the integral , 2-2/(n*1)<p<2, whereD _i u=u/x _i or some more general functional retaining the same behaviour, we prove higher integrability for Du: D₁ u,..., D_n–1 u L^p/(p-1) and D_nu L²; this result allows us to get existence of second weak derivatives: D(D₁ u),...,D(D_n–1u)L² and D(D_n u) L _p.This work has been supported by MURST and GNAFA-CNR.     

Semilinear Perturbations of Harmonic Spaces,Liouville Property and a Boundary Value Problem

Let (X,) be a P-harmonic Bauer space and let be a Borel measurable function on X×R satisfying conditions (A) through (D) of Section 2 (e.g., (x,t)=t|t|^–1 where >1). For every Kato family M of potential kernels on X let ^M U(X) denote the set of all real continuous functions on X such that u+K ^M _D (,u)(D) for every open relatively compact subset D of X. We study the existence of a non-trivial function in ^M U(X) which is dominated by a given positive harmonic function on X. If X is a domain of R ^d , is a positive Kato measure on X and L is a second-order differential operator in R ^d , we apply our study to derive a characterization of finite positive measures on the minimal Martin boundary ^M ₁ X for which the boundary value problem Lu=(,u) in X and u= on ^M ₁ X is solvable.     

The asymptotic interrelation of the Cauchy problem solutions corresponding to parabolic and telegraph type equations

Mass and heat transport processes modelled by parabolic and telegraph type equations are discussed. In order to do this the fundamental solution of the Cauchy ProblemE(x, t) for the telegraph equation (²²/t ² + 2m /t–c ²)E(x, t)=0 (xR ⁿ ,m andc are positive constants, is assumed to be a small one, the boundaries are absent) is considered. It is shown that its support may be subdivided into 4 subrogions according to the type of the asymptotic expansion. Within two of them the asymptotics ofE(x, t) is equivalent to the Poisson kernel. It is shown that the telegraph equation may be used to solve the above mentioned problems if and only ifn=1 together with the conditionsu(x, 0) 0 and u(x, 0)/t=0 imposed on the initial values. Various types of solutions corresponding to the initial data of this kind are considered and sufficient conditions for the asymptotic transition to the traditional formalism based on parabolic equations are presented. Analogous results for the asymptotic expansion of the mass flow density are also given. It is shown that the presented methods are suitable to obtain an asymptotic expansion of the solution of the Cauchy problem if the initial data functions belong toL ₁(–, ) and their supports are compact. The connection of the considered methods with those of the probability theory is outlined as well.     

Separation of hypersurfaces

We give a generalization of results obtained in [15]. LetK ⁿ denote the set of embedded hypersurfaces in ⁿ⁺¹; for all xSⁿ and MK ⁿ we denote by C _x ^M the apparent contour ofM in the directionx. Then we give a sufficient condition on WSⁿ such that the map _W ^{K n}:K ⁿ P(T Sⁿ) , defined by _W ^{K n} (M)={C _w ^M ¦ wW}, is injective.     

The commutant of rationally cyclic subnormal operators and rational approximation

Let denote the set of analytic bounded point evaluations forR ^q (K, ). Assume that . In this paper, we first show that if is a finitely connected domain and if the evaluation map fromR ^q (K, )L () toH () is surjective, then | is absolutely continuous with respect to harmonic measure for . This generalizes Olin and Yang's corresponding result for polynomials and the proof we present here is simpler. We also provide an example that shows this absolute continuity property fails in general when is an infinitely connected domain. In the second part, we then offer a solution to a problem of Conway and Elias.