The Blow-up Locus of Heat Flows for Harmonic Maps

Abstract Let M and N be two compact Riemannian manifolds. Let u _k (x, t) be a sequence of strong stationary weak heat flows from M×R ⁺ to N with bounded energies. Assume that u _k→u weakly in H ^{1, 2}(M×R ⁺, N) and that Σ^t is the blow-up set for a fixed t > 0. In this paper we first prove Σ^t is an H ^m−2-rectifiable set for almost all t∈R ⁺. And then we prove two blow-up formulas for the blow-up set and the limiting map. From the formulas, we can see that if the limiting map u is also a strong stationary weak heat flow, Σ^t is a distance solution of the (m− 2)-dimensional mean curvature flow [1]. If a smooth heat flow blows-up at a finite time, we derive a tangent map or a weakly quasi-harmonic sphere and a blow-up set ∪_t<0Σ^t× {t}. We prove the blow-up map is stationary if and only if the blow-up locus is a Brakke motion. This work is supported by NSF grant     

Harmonic maps from manifolds of <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-Riemannian metrics

For a bounded domain Ω ⊂ R ⁿ endowed with L ^∞-metric g, and a C ⁵-Riemannian manifold (N, h) ⊂ R ^k without boundary, let u ∈ W ^1,2(Ω, N) be a weakly harmonic map, we prove that (1) u ∈ C ^α (Ω, N) for n = 2, and (2) for n ≥ 3, if, in additions, g ∈ VMO(Ω) and u satisfies the quasi-monotonicity inequality (1.5), then there exists a closed set Σ ⊂ Ω, with H ^n-2(Σ) = 0, such that for some α ∈ (0, 1). C. Y. Wang Partially supported by NSF.     

Sobolev Mappings,Degree, Homotopy Classes and Rational Homology Spheres

In this paper we investigate the degree and the homotopy theory of Orlicz–Sobolev mappings W ^1,P (M,N) between manifolds, where the Young function P satisfies a divergence condition and forms a slightly larger space than W ^1,n , n=dim M. In particular, we prove that if M and N are compact oriented manifolds without boundary and dim M=dim N=n, then the degree is well defined in W ^1,P (M,N) if and only if the universal cover of N is not a rational homology sphere, and in the case n=4, if and only if N is not homeomorphic to S ⁴.     

Some basic inequalities in higher dimensional non-Euclid space

In this paper, the concept of a finite mass-points system∑N(H(A))(N>n) being in a sphere in an n-dimensional hyperbolic space Hn and a finite mass-points system∑N(S(A))(N>n) being in a hyperplane in an n-dimensional spherical space Sn is introduced, then, the rank of the Cayley-Menger matrix AN(H)(or a AN(S)) of the finite mass-points system∑∑N(S(A))(or∑N(S(A))) in an n-dimensional hyperbolic space Hn (or spherical space Sn) is no more than n 2 when∑N(H(A))(N>n) (or∑N(S(A))(N>n)) are in a sphere (or hyperplane). On the one hand, the Yang-Zhang's inequalities, the Neuberg-Pedoe's inequalities and the inequality of the metric addition in an n-dimensional hyperbolic space Hn and in an n-dimensional spherical space Sn are established by the method of characteristic roots. These are basic inequalities in hyperbolic geometry and spherical geometry. On the other hand, some relative problems and conjectures are brought.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Problemi variazionali conformi

Letf: (M,g)→(N,g′) be a differentiable map between the riemannian manifoldsM andN, M being compact.K. Uhlenbeck pointed out a functionalE ^m(f), related to the energy density off, that depends only on the conformal structure ofM. In this paper we prove thatE ^m(f) is stationary with respect to deformations of the riemannian metric ofM if and only iff is weakly conformal; in this casef provides a local minimum ofE ^m.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.     

Periodic number for Anosov maps

LetX be a compact metric space and letf: X→X be an Anosov map,i.e., an expansive selfmap with the pseudoorbit tracing property (abbr. POTP) (see Lemma 1). IfNn(f) denotes the number of fixed points off ⁿ which we name here then-periodic number then we prove in the case asn tends to infinity thatn ^M ≤N_n(f)≤Hⁿ, whereM andH are two positive integers.     

Spectrum,harmonic functions,and hyperbolic metric spaces

The main result of the paper says, in particular, that ifM is a complete simply connected Riemannian manifold with Ricci curvature bounded from below and without focal points, which is also a hyperbolic metric space in the sense of Gromov, then the top λ of theL ²-spectrum of the Laplace-Beltrami operator Δ is negative, the Martin boundary ofM corresponding to Δ is homeomorphic to the sphere at infinityS(∞), and the harmonic measures onS(∞) have positive Hausdorff dimensions. These generalize the results of [AS], [An1], [Ki], [KL] and [BK]. Moreover, if dimM=2, then in the presence of the other conditions the hyperbolicity is also necessary for λ<0. The machinery consists of a combination of geometrical and probabilistic means. Partially supported by U.S.-Israel BSF. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

The ham sandwich theorem revisited

This paper continues the search, started in [10], for relatives of the ham sandwich theorem. We prove among other results, the following implications {fx21-1} whereK(n, k) is an important instance of the Knaster’s conjecture so thatK(n, n − 1) reduces to the Borsuk-Ulam theorem,B(n, k) is a R. Rado type statement about (k + 1) measures inR ⁿ whereB(n, n − 1) turns out to be the ham sandwich theorem andC(n, k) is a topological statement, established in this paper in the caseC(n, n − 2),n = 3 orn ≥ 5.     

Liouville theorem for harmonic maps with potential

Let M, N be complete manifolds, u:M→N be a harmonic map with potential H, namely, a critical point of the functional , where e(u) is the energy density of u. We will give a Liouville theorem for u with a class of potentials H's. Received: Received: 10 July 1997     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

On classification of immersions ofn-manifolds in (2n−1)-manifolds

Under the assumption of (f, M ⁿ ,N ²ⁿ⁻¹) being trivial, the classification of immersions homotopic tof: M ⁿ →N ²ⁿ⁻¹ is obtained in many cases. The triviality of (f, M ⁿ ,P ²ⁿ⁻¹) is proved for anyM ⁿ andf. LetM, N be differentiable manifolds of dimensionn and2n−1 respectively. For a mapf: M → N, denote byI[M, N] _f the set of regular homotopy classes of immersions homotopic tof. It has been proved in [1] that, whenn>1,I[M, N] _f is nonempty for anyf. In this paper we will determine the setI[M, N] _f in some cases. For example, ifN=P ²ⁿ⁻¹ or more generally, the lens spacesS _m ²ⁿ⁻¹ =Z _m /S ²ⁿ⁻¹,M is any orientablen-manifold or nonorientable butn≡0, 1, 3 mod 4, then, for anyf, theI[M, N] _f is determined completely. WhenN=R ²ⁿ⁻¹, the setI[M, N] of regular homotopy classes of all immersions has been enumerated by James and Thomas in [2] and McClendon in [3] forn>3. Applying our results toN=R ²ⁿ⁻¹ we obtain their results again, except for the casen≡2 mod 4 andM nonorientable. Whenn=3, McClendon's results cannot be used. Our results include the casesn=3,M orientable or not (for orientableM, I[M, R⁵] is known by Wu [4]).     

On the first pontrjagin class of homotopy complex projective spaces

Let M ²ⁿ be a closed smooth manifold homotopy equivalent to the complex projective space ℂP(n). It is known that the first Pontrjagin class p ₁(M) of M ²ⁿ has the form (n+1+24α(M))u ² for some integer α(M) where u is a generator of H ²(M; ℤ). We prove that α(M) is even when n is even but not divisible by 64.     

A proof of the Chern-Lashof conjecture in dimensions greater than five

Summary Chern and Lashof ([1], [2]) conjectured that if a smooth manifoldM ^m has an immersion intoR ^w, then the best possible lower bound for its total absolute curvature is the Morse number μ(M). We give a proof of this whenm>5. Under the same dimension restriction, our methods allow us to show that μ(M) is still the best possible lower bound among immersions within a fixed regular homotopy class except in the casew=m+1=even, for which the best lower bound is max {μ(M), 2 |d|}, whered the degree of the Gauss map. This work was supported in part by NSERC grant A4621. In addition the author would like to thank the University of Geneva, the Swiss Science Foundation and the University of Paris VII for their hospitality while parts of this paper were written.     

Estimates of the periods of periodic points for nonexpansive operators

Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝ ⁿ with the sup norm or ℝ ⁿ with thel ₁-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim _j→∞ T ^jp (x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝ ⁿ ,D=K ⁿ , the set of nonnegative vectors in ℝ ⁿ , and the norm is thel ₁-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝ ⁿ , i.e.,T:ℝ ⁿ →ℝ ⁿ isl ₁-nonexpansive. In addition, it is conjectured in [12] thatN=2 ⁿ whenE=ℝ ⁿ and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝ ⁿ ,‖ · ‖_∞)→(ℝ ⁿ ,‖ · ‖_∞). Partially supported by NSF DMS89-03018.     

Monotone perturbations of the laplacian inL 1(R N )

The semilinear perturbation of Poisson’s equation (E): −Δu+β(u)∋f, where β is a maximal monotone graph inR, has been investigated by Ph. Bénilan, H. Brézis and M. Crandall forf∈L ¹(R ^N ),N≧1, under the assumptions 0∈β(0) ifN≧3 and 0∈β(0) ∩ Int β(R) ifN=1,2. We discuss in this paper the solvability and well-posedness of (E) in terms of any maximal monotone graph β. In particular, if β takes only positive values andN≧3 we prove that no solution exists; ifN=2 we give necessary and sufficient conditions on β andf for (E) to be solvable in a natural sense.     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

Uniqueness for the harmonic map flow from surfaces to general targets

LetM be a two-dimensional compact Riemannian manifold with smooth (possibly empty) boundary,N an arbitrary compact manifold. Ifu andv are weak solutions of the harmonic map flow inH ¹(Mx[0,T]; N) whose energy is non-increasing in time and having the same initial datau ₀∈H¹(M, N) (and same boundary values if ?M≠Ø) thenu=v. Combined with a result of M. Struwe, this shows any suchu is smooth in the complement of a finite subset ofM×(0,T)c.     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates of Quasimodes on Curved Hypersurfaces

Let M be a compact manifold of dimension n, P=P(h) a semiclassical pseudodifferential operator on M, and u=u(h) an L ² normalized family of functions such that P(h)u(h) is O(h) in L ²(M) as h↓0. Let H⊂M be a compact submanifold of M. In a previous article, the second-named author proved estimates on the L ^p norms, p≥2, of u restricted to H, under the assumption that the u are semiclassically localized and under some natural structural assumptions about the principal symbol of P. These estimates are of the form Ch ^−δ(n,k,p) where k=dim H (except for a logarithmic divergence in the case k=n−2, p=2). When H is a hypersurface, i.e., k=n−1, we have δ(n,n−1, 2)=1/4, which is sharp when M is the round n-sphere and H is an equator.