Liouville theorem for harmonic maps with potential

LetM, N be complete manifolds,u:M →N be a harmonic map with potentialH, namely, a critical point of the functionalE _H (u)=∫ _M [e(u) − H(u)], wheree(u) is the energy density ofu. We will give a Liouville theorem foru with a class of potentialsH’s. Research supported in part by NNSFC, SFECC and NSFCCNU.     

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.     

Nonstationary weak limit of a stationary harmonic map sequence

Let M and N be two compact Riemannian manifolds. Let u_k be a sequence of stationary harmonic maps from M to N with bounded energies. We may assume that it converges weakly to a weakly harmonic map u in H^1,2 (M, N) as k → ∞. In this paper, we construct an example to show that the limit map u may not be stationary. © 2002 Wiley Periodicals, Inc.     

Remark on the anisotropic prescribed mean curvature equation on arbitrary domains

In this article we consider the Dirichlet problem for hypersurfaces of aniso- tropic prescribed mean curvature H = H(x, u, N) depending on ${x \in \varOmega \subset \mathbb {R}^n}In this article we consider the Dirichlet problem for hypersurfaces of aniso- tropic prescribed mean curvature H = H(x, u, N) depending on x ? \varOmega ì \mathbb Rⁿ{x \in \varOmega \subset \mathbb {R}^n}, the height u of the hypersurface M = graph u over \varOmega{\varOmega} and the unit normal N to M at (x, u). We give a condition relating H and the mean curvature of ?\varOmega{\partial \varOmega} that guarantees the existence of smooth solutions even for not necessarily convex domains.     

Harmonic maps with fixed singular sets

Suppose Ω is a smooth domain in R^m,N is a compact smooth Riemannian manifold, andZ is a fixed compact subset of Ω having finite (m − 3)-dimensional Minkowski content (e.g.,Z ism − 3 rectifiable). We consider various spaces of harmonic mapsu: Ω →N that have a singular setZ and controlled behavior nearZ. We study the structure of such spacesH and questions of existence, uniqueness, stability, and minimality under perturbation. In caseZ = 0,H is a Banach manifold locally diffeomorphic to a submanifold of the product of the boundary data space with a finite-dimensional space of Jacobi fields with controlled singular behavior. In this smooth case, the projection ofu εH tou |ϖΩ is Fredholm of index 0. R. H.’s research partially supported by the National Science Foundation.     

Spectral Criteria of Abstract Sequences; Application to Difference Equations

We suppose that M is a closed subspace of l ^∞(J, X), the space of all bounded sequences {x(n)} _n?J ? X, where J ? {Z⁺,Z} and X is a complex Banach space. We define the M-spectrum σ_M (u) of a sequence u ? l ^∞(J,X). Certain conditions will be supposed on both M and σ_M (u) to insure the existence of u ? M. We prove that if u is ergodic, such that σ_M (u,) is at most countable and, for every λ ? σ_M (u), the sequence e^?iλnu(n) is ergodic, then u ? M. We apply this result to the operator difference equationu(n + 1) = Au(n) + ψ(n), n ? J,and to the infinite order difference equation Σ ^r _k=1 a_k (u(n + k) ? u(n)) + Σ _{s ? Z}?(n ? s)u(s) = h(n), n?J, where ψ?l ^∞(Z,X) such that ψ| _J ? M, A is the generator of a C ₀-semigroup of linear bounded operators {T(t)} _t>0 on X, h ? M, ? ? l ¹(Z) and a_k ?C. Certain conditions will be imposed to guarantee the existence of solutions in the class M.     

On the singular set of stationary harmonic maps

LetM andN be compact riemannian manifolds, andu a stationary harmonic map fromM toN. We prove thatH ⁿ⁻² (Σ)=0, wheren=dimM and Σ is the singular set ofu. This is a generalization of a result of C. Evans [7], where this is proved in the special caseN is a sphere. We also prove that, ifu is a weakly harmonic map inW ^1,n (M, N), thenu is smooth. This extends results of F. Hélein for the casen=2, or the caseN is a sphere ([9], [10]).     

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.     

Non-existence of first integrals in a Laurent polynomial ring for general semi-quasihomogeneous systems

In this paper, we give some simple criteria of non-integrability and partial integrability in a Laurent polynomial ring C[u₁ ^± , ..., u_n ^± ] for general semi-quasihomogeneous systems. Supported by NSFC grant 10401013 and 985 project of Jilin University. (Received: September 17, 2003; revised: March 18/September 7, 2004)     

Decomposition of stochastic flows and Lyapunov exponents

Let φ _t be the stochastic flow of a stochastic differential equation on a compact Riemannian manifold M. Fix a point m∈M and an orthonormal frame u at m, we will show that there is a unique decomposition φ _t = ξ _t ψ _t such that ξ _t is isometric, ψ _t fixes m and Dψ _t (u) = us _t , where s _t is an upper triangular matrix. We will also establish some convergence properties in connection with the Lyapunov exponents and the decomposition Dφ _t (u) = u _t s _t with u _t being an orthonormal frame. As an application, we can show that ψ_t preserves the directions in which the tangent vectors at m are dilated at fixed exponential rates. Received: 19 November 1998 / Revised version: 1 October 1999 / Published online: 14 June 2000     

A weak energy identity and the length of necks for a sequence of Sacks-Uhlenbeck α-harmonic maps

In this paper we discuss the convergence behavior of a sequence of α-harmonic maps uα with Eα(uα)<C from a compact surface (M,g) into a compact Riemannian manifold (N,h) without boundary. Generally, such a sequence converges weakly to a harmonic map in W1,2(M,N) and strongly in C^∞ away from a finite set of points in M. If energy concentration phenomena appears, we show a generalized energy identity and discover a direct convergence relation between the blow-up radius and the parameter α which ensures the energy identity and no-neck property. We show that the necks converge to some geodesics. Moreover, in the case there is only one bubble, a length formula for the neck is given. In addition, we also give an example which shows that the necks contain at least a geodesic of infinite length.     

Homotopy types for tamely approximable Sobolev maps between manifolds

We define a class ^p (M,N) of Sobolev maps from a manifoldM into a manifoldN, in such a way that each mapu ^p (M, N) has a well defined [p]-homotopy type, providedN satisfies a topological hypothesis. Using this, we prove the existence of minimizers in [p]-homotopy classes for some polyconvex variational problems.     

On Anosov energy levels of hamiltonians on twisted cotangent bundles

LetT ^* M denote the cotangent bundle of a manifoldM endowed with a twisted symplectic structure [1]. We consider the Hamiltonian flow generated (with respect to that symplectic structure) by a convex HamiltonianH: T ^* M, and we consider a compact regular energy level ofH, on which this flow admits a continuous invariant Lagrangian subbundleE. When dimM3, it is known [9] that such energy level projects onto the whole manifoldM, and thatE is transversal to the vertical subbundle. Here we study the case dimM=2, proving that the projection property still holds, while the transversality property may fail. However, we prove that in the case whenE is the stable or unstable subbundle of an Anosov flow, both properties hold.     

Foliations of lightlike hypersurfaces and their physical interpretation

This paper deals with a family of lightlike (null) hypersurfaces (H _u ) of a Lorentzian manifold M such that each null normal vector ℓ of H _u is not entirely in H _u , but, is defined in some open subset of M around H _u . Although the family (H _u ) is not unique, we show, subject to some reasonable condition(s), that the involved induced objects are independent of the choice of (H _u ) once evaluated at u = constant. We use (n+1)-splitting Lorentzian manifold to obtain a normalization of ℓ and a well-defined projector onto H, needed for Gauss, Weingarten, Gauss-Codazzi equations and calculate induced metrics on proper totally umbilical and totally geodesic H _u . Finally, we establish a link between the geometry and physics of lightlike hypersurfaces and a variety of black hole horizons.     

On the Heat Flow for Harmonic Maps with Potential

Let (M, g) and (N, h) be twoconnected Riemannian manifolds without boundary (M compact,N complete). Let G C (N): ifu: M N is a smooth map, we consider the functional E _G (u) = (1/2) _M [|du|²– 2G(u)]dV _M and we study its associated heat equation. Inthe compact case, we recover a version of the Eells–Sampson theorem,while for noncompact target manifold N, we establishsuitable hypotheses and ensure global existence and convergence atinfinity. In the second part of the paper, we study phenomena of blowingup solutions.     

An integral formula for the heat kernel of tubular neighborhoods of complete (connected) Riemannian manifolds

Let M be a complete connected Riemannian manifold and let N be a submanifold of M. Let v: E _v»N be the normal bundle of N and exp _v : E _v»M its exponential map.Let (exp _infv ^/sup-1 , M ₀) be the Fermi chart relative to the submanifold N. Then, by using the Fermi coordinates we obtain an integral formula for the Dirichlet heat kernel p _t ^m (-,-). That is, we obtain a probabilistic representation for the integral _N f(y)p _t ^M (x,y) dywhere f is any measurable function of compact support in M ₀. This representation involves a submanifold semi-classical Brownian Riemannian bridge process. Then applying the integral formula via a Riemannian submersion in [5], we obtain heat kernel formulae for the complex projective space cP ⁿ, the quaternionic projective space QP ⁿ and the Caley line CaP ¹. The case of the Caley plane CaP ² eludes us due to the lack of a submersion theorem.This work is part of a Ph.D. Thesis which was undertaken under Professor K. D. Elworthy, Mathematics Institute, Warwick University, Coventry CV47AL, England, Great Britain.     

Global Solutions of Nonlinear Problem in Hilbert Space

We deal with the local and global existence of solutions and solutions multiplicity for nonlinear problem u – λLu + N (u) = 0 in a real Hilbert space H, with linear operator L and nonlinear operator N, defined on a Hilbert space H, in dependence on a parameter λ ∈ R . (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

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     

A note on Property Np

Let M be a very ample line bundle on a smooth complex projective variety Y and let ϕ _M :Y→P(H ⁰(Y, M)^*) be the map associated to M; we are concerned with the problem to see whether the syzygies of ϕ _M (Y) give information on the syzygies of ϕ _M ^s (Y). In particular we prove that if Y is a smooth complex projective variety and M is a line bundle on Y satisfying Property N _p , then M ^s satisfies Property N _p if s≥p. Received: 11 June 1999 / Revised version: 22 November 1999     

Normalizers of irreducible subfactors

We consider normalizers of an infinite index irreducible inclusion N⊆M of II₁ factors. Unlike the finite index setting, an inclusion uNu^∗⊆N can be strict, forcing us to also investigate the semigroup of one-sided normalizers. We relate these one-sided normalizers of N in M to projections in the basic construction and show that every trace one projection in the relative commutant N^′∩〈M,eN〉 is of the form u^∗eNu for some unitary u∈M with uNu^∗⊆N generalizing the finite index situation considered by Pimsner and Popa. We use this to show that each normalizer of a tensor product of irreducible subfactors is a tensor product of normalizers modulo a unitary. We also examine normalizers of infinite index irreducible subfactors arising from subgroup-group inclusions H⊆G. Here the one-sided normalizers arise from appropriate group elements modulo a unitary from L(H). We are also able to identify the finite trace L(H)-bimodules in ?²(G) as double cosets which are also finite unions of left cosets.