H(div) conforming and discontinuous Galerkin (DG) methods are designed for incompressible Euler's equation in two and three dimension. Error estimates are proved for both the semi-discrete method and fully-discrete method using backward Euler time stepping. Numerical examples exhibiting the performance of the methods are given.

In this paper, we extend the work in \cite{D}\cite{ChrusLiWe}\cite{ChrusCo}\cite{Co}. We weaken the asymptotic conditions on the second fundamental form, and we also give an $L^{6}-$norm bound for the difference between general data and Extreme Kerr data or Extreme Kerr-Newman data by proving convexity of the renormalized Dirichlet energy when the target has non-positive curvature. In particular, we give the first proof of the strict mass/angular momentum/charge inequality for axisymmetric Einstein/Maxwell data which is not identical with the extreme Kerr-Newman solution.

In this paper, we proved the mass angular momentum inequality\cite{D1}\cite{ChrusLiWe}\cite{SZ} for axisymmetric, asymptotically flat, vacuum constraint data sets with small trace. Given an initial data set with small trace, we construct a boost evolution spacetime of the Einstein vacuum equations as \cite{ChOM}. Then a perturbation method is used to solve the maximal surface equation in the spacetime under certain growing condition at infinity. When the initial data set is axisymmetric, we get an axisymmetric maximal graph with the same ADM mass and angular momentum as the given data. The inequality follows from the known results\cite{D1}\cite{ChrusLiWe}\cite{SZ} about the maximal graph.

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts in F. Almgren, and J. Pitts, corresponding to the fundamental class of a Riemannian manifold $(M^{n+1}, g)$of positive Ricci curvature with 2 ≤ n ≤ 6. We characterize the Morse index, volume and multiplicity of this min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and of index one, or is a double cover of a non-orientable minimal hypersurface with least area among all closed embedded minimal hypersurfaces.

Given a Riemannian manifold and a closed submanifold, we find a geodesic segment with free boundary on the given submanifold. This is a corollary of the min–max theory which we develop in this article for the free boundary variational problem. In particular, we develop a modified Birkhoff curve shortening process to achieve a strong “Colding–Minicozzi” type min–max approximation result.

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts-Schoen-Simon \cite{AF62, AF65, P81, SS81} in a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature for all dimensions. The min-max hypersurface has a singular set of Hausdorff codimension $7$. We characterize the Morse index, area and multiplicity of this singular min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and has Morse index one, or is a double cover of a non-orientable stable minimal hypersurface. As an essential technical tool, we prove a stronger version of the discretization theorem. The discretization theorem, first developed by Marques-Neves in their proof of the Willmore conjecture \cite{MN12}, is a bridge to connect sweepouts appearing naturally in geometry to sweepouts used in the min-max theory. Our result removes a critical assumption of \cite{MN12}, called the no mass concentration condition, and hence confirms a conjecture by Marques-Neves in \cite{MN12}.

We show that in a closed 3-manifold with a generic metric of positive Ricci curvature, there are minimal surfaces of arbitrary large Morse index, which partially confirms a conjecture by Marques and Neves. We prove this by analyzing the lamination structure of the limit of minimal surfaces with bounded Morse index.

Entropy is a natural geometric quantity measuring the complexity of a surface embedded in $\mathbb{R}^3$. For dynamical reasons relating to mean curvature flow, Colding-Ilmanen-Minicozzi-White conjectured that the entropy of any closed surface is at least that of the self-shrinking two-sphere. We prove this conjecture for all closed embedded $2$-spheres. Assuming a conjectural Morse index bound (announced recently by Marques-Neves), we can improve the result to apply to all closed embedded surfaces that are not tori. Our results can be thought of as the parabolic analog to the Willmore conjecture and our argument is analogous in many ways to that of Marques-Neves on the Willmore problem. The main tool is the min-max theory applied to the Gaussian area functional in $\mathbb{R}^3$ which we also establish. To any closed surface in $\mathbb{R}^3$ we associate a four parameter canonical family of surfaces and run a min-max procedure. The key step is ruling out the min-max sequence approaching a self-shrinking plane, and we accomplish this with a degree argument. To establish the min-max theory for $\mathbb{R}^3$ with Gaussian weight, the crucial ingredient is a tightening map that decreases the mass of non-stationary varifolds (with respect to the Gaussian metric of $\mathbb{R}^3$) in a continuous manner.

We prove that given a three manifold with an arbitrary metric $(M^3, g)$ of positive Ricci curvature, there exists a sweepout of $M$ by surfaces of genus $\leq 3$ and areas bounded by $C vol(M^3, g)^{2/3}$. We use this result to construct a sweepout of $M$ by 1-cycles of length at most $C vol(M^3, g)^{1/3}$ and prove a systolic inequality for all $M \neq S^3$. The sweepout of surfaces is generated from a min-max minimal surface. If further assuming a positive scalar curvature lower bound, we can get a diameter upper bound for the min-max surface.

Some filtrations of the tensor product of a highest weight module and a lowest weight module over quantum group Uq(g)are constructed in[1]and one can use them to define a two-sided ideal of the modified quantized enveloping algebra. It is shown that the quotient algebra inherits a canonical basis from the modified quantized enveloping algebra and is dual to the quantum coordinate algebra defined by Kashiwara for a symmetrizable Kac–Moody algebra g.