We prove a quantitative bi-Lipschitz non-embedding theorem for the Heisenberg group with its Carnot–Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans–Linial semidefinite relaxation of the sparsest cut problem.

This paper concerns the well-posedness theory of the motion of a physical vacuum for the compressible Euler equations with or without self-gravitation. First, a general uniqueness theorem of classical solutions is proved for the three dimensional general motion. Second, for the spherically symmetric motions, without imposing the compatibility condition of the first derivative being zero at the center of symmetry, a new local-in-time existence theory is established in a functional space involving less derivatives than those constructed for three-dimensional motions in (Coutand et al., Commun Math Phys 296:559–587, 2010; Coutand and Shkoller, Arch Ration Mech Anal 206:515–616, 2012; Jang andMasmoudi,Well-posedness of compressible Euler equations in a physical vacuum, 2008) by constructing suitable weights and cutoff functions featuring the behavior of solutions near both the center of the symmetry and the moving vacuum boundary.

No abstract uploaded!

A new augmented method is proposed for elliptic interface problems with a piecewise variable coefficient that has a finite jump across a smooth interface. The main motivation is to get not only a second order accurate solution but also a second order accurate gradient from each side of the interface. Key to the new method is introducing the jump in the normal derivative of the solution as an augmented variable and rewriting the interface problem as a new PDE that consists of a leading Laplacian operator plus lower order derivative terms near the interface. In this way, the leading second order derivative jump relations are independent of the jump in the coefficient that appears only in the lower order terms after the scaling. An upwind type discretization is used for the finite difference discretization at the irregular grid points on or near the interface so that the resulting coefficient matrix is an M-matrix. A multigrid solver is used to solve the linear system of equations, and the GMRES iterative method is used to solve the augmented variable. Second order convergence for the solution and the gradient from each side of the interface is proved in this paper. Numerical examples for general elliptic interface problems confirm the theoretical analysis and efficiency of the new method.

We establish two nonlinear compactness theorems in Lp(0,T;B) with hypothesis on time translations, which are nonlinear counterparts of two results by Simon (1987) [1]. The first theorem sharpens a result by Maitre (2003) [10] and is important in the study of doubly nonlinear elliptic–parabolic equations. Based on this theorem, we then obtain a time translation counterpart of a result by Dubinskii˘ (1965) [5], which is supposed to be useful in the study of some nonlinear kinetic equations (e.g. the FENE-type bead–spring chains model).