Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userIsoperimetric inequality for the third eigenvalue of the Laplace-Beltrami operator on $mathbb S^2$
142
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We prove an Herschs type isoperimetric inequality for the third positive eigenvalue on $mathbb S^2$. Our method builds on the theory we developped to construct extremal metrics on Riemannian surfaces in conformal classes for any eigenvalue.
rate research
Read More
We show that for any positive integer k, the k-th nonzero eigenvalue of the Laplace-Beltrami operator on the two-dimensional sphere endowed with a Riemannian metric of unit area, is maximized in the limit by a sequence of metrics converging to a union of k touching identical round spheres. This proves a conjecture posed by the second author in 2002 and yields a sharp isoperimetric inequality for all nonzero eigenvalues of the Laplacian on a sphere. Earlier, the result was known only for k=1 (J. Hersch, 1970), k=2 (N. Nadirashvili, 2002; R. Petrides, 2014) and k=3 (N. Nadirashvili and Y. Sire, 2017). In particular, we argue that for any k>=2, the supremum of the k-th nonzero eigenvalue on a sphere of unit area is not attained in the class of Riemannian metrics which are smooth outsitde a finite set of conical singularities. The proof uses certain properties of harmonic maps between spheres, the key new ingredient being a bound on the harmonic degree of a harmonic map into a sphere obtained by N. Ejiri.
We prove new a posteriori error estimates for surface finite element methods (SFEM). Surface FEM approximate solutions to PDE posed on surfaces. Prototypical examples are elliptic PDE involving the Laplace-Beltrami operator. Typically the surface is approximated by a polyhedral or higher-order polynomial approximation. The resulting FEM exhibits both a geometric consistency error due to the surface approximation and a standard Galerkin error. A posteriori estimates for SFEM require practical access to geometric information about the surface in order to computably bound the geometric error. It is thus advantageous to allow for maximum flexibility in representing surfaces in practical codes when proving a posteriori error estimates for SFEM. However, previous a posteriori estimates using general parametric surface representations are suboptimal by one order on $C^2$ surfaces. Proofs of error estimates optimally reflecting the geometric error instead employ the closest point projection, which is defined using the signed distance function. Because the closest point projection is often unavailable or inconvenient to use computationally, a posteriori estimates using the signed distance function have notable practical limitations. We merge these two perspectives by assuming {it practical} access only to a general parametric representation of the surface, but using the distance function as a {it theoretical} tool. This allows us to derive sharper geometric estimators which exhibit improved experimentally observed decay rates when implemented in adaptive surface finite element algorithms.
For free boundary problems on Euclidean spaces, the monotonicity formulas of Alt-Caffarelli-Friedman and Caffarelli-Jerison-Kenig are cornerstones for the regularity theory as well as the existence theory. In this article we establish the analogs of these results for the Laplace-Beltrami operator on Riemannian manifolds. As an application we show that our monotonicity theorems can be employed to prove the Lipschitz continuity for the solutions of a general class of two-phase free boundary problems on Riemannian manifolds.
In this work the Isoperimetric Inequality for integral varifolds is used to obtain sharp estimates for the size of the set where the density quotient is small and to generalise Calderons and Zygmunds theory of first order differentiability for functions in Lebesgue spaces from Lebesgue measure to integral varifolds.
The moduli space NK of infinitesimal deformations of a nearly Kahler structure on a compact 6-dimensional manifold is described by a certain eigenspace of the Laplace operator acting on co-closed primitive (1,1) forms. Using the Hermitian Laplace operator and some representation theory, we compute the space NK on all 6-dimensional homogeneous nearly Kahler manifolds. It turns out that the nearly Kahler structure is rigid except for the flag manifold F(1,2)=SU_3/T^2, which carries an 8-dimensional moduli space of infinitesimal nearly Kahler deformations, modeled on the Lie algebra su_3 of the isometry group.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
