On weakly p-harmonic maps to a closed hemisphere

We consider weakly p-harmonic maps (p2) from a compact connected Riemannian manifold M^m(m2) to the the standard sphere Sⁿ with values in the closed hemisphere Sⁿ₊ = {x Sⁿ : x_n+1 0 } (n 2). We first prove that if u=(u₁,...,u_n+1):MSⁿ is a weakly p-harmonic map satisfying u_n+1(x)>0 a.e. on M, then it is a minimizing p-harmonic map. Next, we give a necessary and sufficient condition for the boundary data : M Sⁿ₊ to achieve uniqueness; and when this condition fails, we are able to describe the set of all minimizers. When M is without boundary, we obtain a Liouville type Theorem for weakly p-harmonic maps.Mathematics Subject Classification (2000): 58E20; 35J70     

Controllability of nonlinear systems to affine manifolds

Controllability to an affine manifold involves controlling a system to a target defined by the generalized boundary condition x=r, where :C ⁿ R ⁿ is a bounded linear operator on the continuous functions, as defined for ordinary differential equations by Kartsatos. In this paper, sufficient conditions are obtained for such controllability for linear systems and for a class of nonlinear perturbations of linear systems.     

One Boundary Version of Morera's Theorem

Let D be a bounded domain in C ⁿ (n>1) with a connected smooth boundary D and let f be a continuous function on D. We consider conditions (generalizing those of the Hartogs–Bochner theorem) for holomorphic extendability of f to D. As a corollary we derive some boundary analog of Morera's theorem claiming that if the integrals of f vanish over the intersection of the boundary of the domain with complex curves in some class then f extends holomorphically to the domain.     

Injectivity sets for spherical means on the Heisenberg group

We prove that the boundary of a bounded domain is a set of injectivity for the twisted spherical means on ⁿ for a certain class of functions on ⁿ . As a consequence we obtain results about injectivity of the spherical mean operator in the Heisenberg group and the complex Radon transform.     

An error expansion for cubature with an integrand with homogeneous boundary singularities

Summary A common strategy in the numerical integration over ann-dimensional hypercube or simplex, is to consider a regular subdivision of the integration domain intom ⁿ subdomains and to approximate the integral over each subdomain by means of a cubature formula. An asymptotic error expansion whenm is derived in case of an integrand with homogeneous boundary singularities. The error expansion also copes with the use of different cubature formulas for the boundary subdomains and for the interior subdomains.     

An expansion theorem for an eigenvalue problem of an arbitrary multiply connected domain with an eigenparameter in a general type of boundary conditions

The object of this paper is to establish an expansion theorem for a regular right-definite eigenvalue problem with an eigenvalue parameter which is contained in the Schrödinger partial differential equation and in a general type of boundary conditions on the boundary of an arbitrary multiply connected bounded domain inR ⁿ (n2). We associate with this problem an essentially self-adjoint operator in a suitably defined Hilbert space and then we develop an associated eigenfunction expansion theorem.     

Rational approximation to Lipschitz and Zygmund classes

In this paper, characterizations for lim _n(R _n (f)/(n ^–1)=0 inH and for lim _n(n ^r+ R _n (f)=0 inW ^r Lip ,r1, are given, while, forZ, a generalization to a related result of Newman is established.Communicated by Ronald A. DeVore.     

Counting facets and incidences

We show thatm distinct cells in an arrangement ofn planes in ³ are bounded byO(m ^2/3 n+n ²) faces, which in turn yields a tight bound on the maximum number of facets boundingm cells in an arrangement ofn hyperplanes in ^d , for everyd3. In addition, the method is extended to obtain tight bounds on the maximum number of faces on the boundary of all nonconvex cells in an arrangement of triangles in ³. We also present a simpler proof of theO(m ^2/3 n ^d/3+n ^d–1) bound on the number of incidences betweenn hyperplanes in ^d andm vertices of their arrangement.Work on this paper was supported by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center Grant NSF-STC88-09648, and by NSA Grant MDA 904-89-H-2030.     

Eine einfache Verallgemeinerung der Rayleigh-Grenzschicht

Summary A simple generalization of the theory of the compressible boundary layer near an infinite flat plate to the case with suction or blowing out is given if at the timet=0 the plate is set into motion in its own plane with velocityu _w t ⁿ. The normal velocity at the wall shall vary with time according tov _wt ^–1/2. In that case one gets similar boundary layer profiles for allt>0, which can be reduced to the profiles without suction or blowing (v _w=0) by a simple parallel displacement and stretching of the coordinates. As an example the Rayleigh boundary layer (n=0,u _w=const) is discussed.     

Hilbert Geometry for Strictly Convex Domains

We prove in this paper that the Hilbert geometry associated with a bounded open convex domain in R ⁿ whose boundary is a ² hypersuface with nonvanishing Gaussian curvature is bi-Lipschitz equivalent to the n-dimensional hyperbolic space H ⁿ . Moreover, we show that the balls in such a Hilbert geometry have the same volume growth entropy as those in H ⁿ .     

Rigidity theorem for harmonic maps from Riemannian manifold to Grassmannian manifold

We first study the Grassmannian manifoldG _n (R^n+p)as a submanifold in Euclidean space ⁿ (R ^n+p). Then we give a local expression for each map from Riemannian manifoldM toG ⁿ (R ^n+p) ⁿ (R ^n+p), and use the local expression to establish a formula which is satisfied by any harmonic map fromM toG _n (R ^n+p). As a consequence of this formula we get a rigidity theorem.     

Symplectic Toric Space Associated to Triangle Inequalities

Let M _n be the moduli space of spatial polygons with n edges. An open dense subset of M _n admits a T ^n–3 -action, although this action does not extend to M _n . The action together with a symplectic structure on M _n naturally defines a convex polytope _n in ^n–3. In this paper, from M _n , we construct a singular symplectic toric manifold with _n as the image of the moment map.     

Total flux estimates for a finite element approximation of the Dirichlet problem using the boundary penalty method

Summary This paper considers a fully practical piecewise linear finite element approximation of the Dirichlet problem for a second order self-adjoint elliptic equation,Au=f, in a smooth region< ⁿ (n=2 or 3) by the boundary penalty method. Using an unfitted mesh; that is ^h , an approximation of with dist (, ^h )Ch ² is not in general a union of elements; and assuminguH ⁴ () we show that one can recover the total flux across a segment of the boundary of with an error ofO(h ²⁾. We use these results to study a fully practical piecewise linear finite element approximation of an elliptic equation by the boundary penalty method when the prescribed data on part of the boundary is the total flux.Supported by a SERC research studentship     

On the Rate of Clustering to the Strassen Set for Increments of the Uniform Empirical Process

We obtain outer rates of clustering in the functional laws of the iterated logarithm of Deheuvels and Mason⁽¹¹⁾ and Deheuvels,⁽⁷⁾ which describe local oscillations of empirical processes. Considering increment sizes a _n 0 such that na _n and na _n(log n)^–7/3 we show that the sets of properly rescaled increment functions cluster with probability one to the _n-enlarged Strassen ball in B(0, 1) endowed with the uniform topology, where _n 0 may be chosen so small as (log (1/a _n) + log log n)^–2/3 for any sufficiently large . This speed of coverage is reduced for smaller a _n.     

Conditions for separately subharmonic functions to be subharmonic

Letu be a function on ^m × ⁿ , wherem2 andn2, such thatu(x, .) is subharmonic on ⁿ for each fixedx in ^m andu(.,y) is subharmonic on ^m for each fixedy in ⁿ . We give a local integrability condition which ensures the subharmonicity ofu on ^m × ⁿ , and we show that this condition is close to being sharp. In particular, the local integrability of (log⁺ u ⁺) ^m+n–2+ is enough to secure the subharmonicity ofu if >0, but not if <0.     

A partial solution of the Pompeiu problem

A nonempty bounded open subset D of ⁿ is said to have the Pompeiu property if and only if for every continuous complex-valued function f on ⁿ which does not vanish identically there is a rigid motion of ⁿ onto itself — taking D onto (D) — such that the integral of f over (D) is not zero. This article gives a partial solution of the Pompeiu problem, the problem of finding all sets D with the Pompeiu property.In the special case that D is the interior of a homeomorphic image of an(n–1)-dimensional sphere, the main result states that if D has a portion of an(n–1)-dimensional real analytic surface on its boundary, then either D has the Pompeiu property or any connected real analytic extension of the surface also lies on the boundary of D. Thus, for example, any such region D having a portion of a hyperplane as part of its boundary must have the Pompeiu property, since the entire hyperplane cannot lie in the boundary of the bounded set D.The research for this paper was done in part while on sabbatical at the Courant Institute of Mathematical Sciences, New York University.     

ON THE SOLVABILITY OF NONLINEAR BOUNDARY VALUE PROBLEMS FOR FUNCTIONAL DIFFERENTIAL EQUATIONS

Sufficient conditions are established for the solvability of the boundary value problem where p : C(I; R ⁿ) × C(I; R ⁿ) L(I; R ⁿ), q : C(I; R ⁿ) L(I; R ⁿ), l : C(I, R ⁿ) × C(I; R ⁿ) R ⁿ, and c _n : C(I, R ⁿ) R ⁿ are continuous operators, and p(x, ) and l(x, ) are linear operators for any fixed .     

Asymptotics for the Euclidean TSP with power weighted edges

Summary LetU ₁,...,U_n denote i.i.d. random variables with the uniform distribution on [0, 1]², and letT ²T²(U₁,...,U_n) denote the shortest tour throughU ₁,...,U_n with square-weighted edges. By drawing on the quasi-additive structure ofT ² and the boundary rooted dual process, it is shown that lim _n E T ²(U ₁,...,U_n)= for some finite constant .This work was supported in part by NSF Grant DMS-9200656, Swiss National Foundation Grant 21-298333.90, and the US Army Research Office through the Mathematical Sciences Institute of Cornell University, whose assistance is gratefully acknowledged     

On the Construction of Cosine Operator Functions and Semigroups on Function Spaces with Generator a(x)(d2dx2)+b(x)(d/dx)+c(x); Theory

In this paper we develop a method to solve exactly partial differential equations of the type ( ⁿ /t ⁿ )f(x,t)=(a(x)( ⁿ /x ⁿ )+b(x) (/x+c(x))f(x,t); n=1,2, with several boundary conditions, where f·,t) lies in a function space. The most powerful tool here is the theory of cosine operator functions and their connection to (holomorphic) semigroups. The method is that generally we are able to unify and generalize many theorems concerning problems in the theories of holomorphic semigroups, cosine operator functions, and approximation theory, especially these dealing with approximation by projections. These applications will be found in [14].     

The Smallest Parallelepiped of n Random Points and Peeling

Let n random points be given with uniform distribution in the d-dimensional unit cube [0,1]^d. The smallest parallelepiped A which includes all the n random points is dealt with. We investigate the asymptotic behavior of the volume of A as n tends to . Using a point process approach, we derive also the asymptotic behavior of the volumes of the k-th smallest parallelepipeds A _n ^(k) which are defined by iteration. Let A _n = A _n ⁽¹⁾ . Given A _n ^(k,-,1) delete the random points X _i which are on the boundary A _n ^(k,-,1) , and construct the smallest parallelepiped which includes the inner points of A _n ^(k,-,1) , this defines A _n ^(k) . This procedure is known as peeling of the parallelepiped A_n.