In this paper, we develop an energy stable fully discrete discontinuous Galekin (DG) finite element method for the thin film epitaxy problem. Based on the method of lines, we construct and prove the energy stability of the spatial semi-discrete DG scheme firstly. To avoid the strict time step restriction of the explicit time integration method, the first order convex splitting method is used to get an unconditionally stable fully discrete DG method, which is a linearly implicit scheme for this nonlinear problem. The energy stability of the fully discrete convex splitting DG scheme is also proved. To improve the temporal accuracy, spectral deferred correction (SDC) method is adapted to achieve the high order accuracy in both time and space. Combining with the convex splitting method, the SDC method can be linearly solvable, high order accurate and stable in our numerical tests. These advantages ensure that the resulting fully discrete DG scheme is efficient to perform the long time simulation of the thin film epitaxy model. Numerical experiments of the accuracy and long time simulation show the capability and efficiency of the method.

In this article, a classification of continuous, linearly intertwining, symmetric $L_p$-Blaschke ($p>1$) valuations is established as an extension of Haberl's work on Blaschke valuations. More precisely, we show that for dimensions $n \geq 3$, the only continuous, linearly intertwining, normalized symmetric $L_p$-Blaschke valuation is the normalized $L_p$-curvature image operator, while for dimension $n = 2 $, a rotated normalized $L_p$-curvature image operator is an only additional one. One of the advantages of our approach is that we deal with normalized symmetric $L_p$-Blaschke valuations, which makes it possible to handle the case $p=n$. The cases where $p \neq =n$ are also discussed by studying the relations between symmetric $L_p$-Blaschke valuations and normalized ones.

No abstract uploaded!

We prove a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. Our formula generalizes KawaiYoshioka’s formula for stable pairs with irreducible curve classes to arbitrary curve classes. We also propose a conjectural multiple cover formula of sheaf counting invariants which, combined with our main result, leads to an Euler characteristic version of KatzKlemm-Vafa conjecture for stable pairs.

We study the isoperimetric structure of asymptotically flat Riemannian 3-manifolds (M, g) that are C0-asymptotic to Schwarzschild of mass m > 0. Refining an argument due to H. Bray, we obtain an effective volume comparison theorem in Schwarzschild. We use it to show that isoperimetric regions exist in (M, g) for all sufficiently large volumes, and that they are close to centered coordinate spheres. This implies that the volume-preserving stable constant mean curvature spheres constructed by G. Huisken and S.-T. Yau as well as R. Ye as perturbations of large centered coordinate spheres minimize area among all competing surfaces that enclose the same volume. This confirms a conjecture of H. Bray. Our results are consistent with the uniqueness results for volumepreserving stable constant mean curvature surfaces in initial data sets obtained by G. Huisken and S.-T. Yau and strengthened by J. Qing and G. Tian. The additional hypotheses that the surfaces be spherical and far out in the asymptotic region in their results are not necessary in our work.