Related papers: A Minimal Value Problem and the Prescribed $\sigma…

Volume comparison theorem is a type of fundamental results in Riemannian geometry. In this article, we extend the volume comparison result in \cite{Besse2008} to the comparison of total $\sigma_l$-curvature with respect to…

This memoir contains an overview of the proof of the bounded $L^2$ curvature conjecture. More precisely we show that the time of existence of a classical solution to the Einstein-vacuum equations depends only on the $L^2$-norm of the…

Comparisons on $L^{n\over 2}$-norms of scalar curvatures between Riemannian metrics and standard metrics are obtained. The metrics are restricted to conformal classes or under certain curvature conditions.

We prove local and global upper estimates for the infimum of the mean curvature, the scalar curvature and the norm of the shape operator of graphs in a warped product space. Using these estimates, we obtain some results on pseudo-hyperbolic…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

This paper is concerned with the computable error estimates for the eigenvalue problem which is solved by the general conforming finite element methods on the general meshes. Based on the computable error estimate, we can give an…

We study a class of boundary value problems with $\varphi$-Laplacian (e.g., the prescribed mean curvature equation, in which $\varphi(s)=\frac{s}{\sqrt{1+s^2}}$) \begin{center} $-\left(\varphi(u')\right)'=\lambda f(u)\; \text{ on }(-L,…

Using the established $d$-concavity of the $k$-Hessian type functions $F_k(R)=\log(S_k(R)),$ whose variables are nonsymmetric matrices, we prove $ C^{2, \alpha}(\overline{\Omega}) $ estimates for strictly $(\delta, \widetilde{\gamma}_k)…

We give a lower bound for the Gaussian curvature of convex level sets of minimal graphs and the solutions to semilinear elliptic equations with the norm of boundary gradient and the Gaussian curvature of the boundary.

This paper is devoted to $C^2$ a priori estimates for strictly locally convex radial graphs with prescribed Weingarten curvature and boundary in space forms. By constructing two-step continuity process and applying degree theory arguments,…

In this paper we study the problem of prescribing fractional $Q$-curvature of order $2\sigma$ for a conformal metric on the standard sphere $\Sn$ with $\sigma\in (0,n/2)$ and $n\geq2$. Compactness and existence results are obtained in terms…

In this paper, the discontinuous Petrov--Galerkin approximation of the Laplace eigenvalue problem is discussed. We consider in particular the primal and ultra weak formulations of the problem and prove the convergence together with a priori…

In this article, we give results of prescribing scalar and mean curvature functions for metrics either pointwise conformal or conformally equivalent to a Riemannian metric that is equipped on a compact manifold with boundary, with…

Recently, the author and Melentijevi\'c resolved the longstanding Gaussian curvature problem by proving the sharp inequality \[ |\mathcal{K}| < c_0 = \frac{\pi^2}{2} \] for minimal graphs over the unit disk, evaluated at the point of the…

Let $\Sigma$ be a closed, embedded, oriented hypersurface in a closed oriented Riemannian manifold $N$. Under a lower bound on the Ricci curvature and an upper bound on the sectional curvature of $N$, we establish a lower bound for the…

We derive a priori interior Hessian estimates for semiconvex solutions to the sigma-2 equation. An elusive Jacobi inequality, a transformation rule under the Legendre-Lewy transform, and a mean value inequality for the still nonuniformly…

The main result of this paper gives a plenary proof on the curvature estimates for $k$ curvature equations with general right hand sides with $n<2k$ based on a concavity inequality. We further give a explicit lower bound of the inequality.

In applications of linear algebra including nuclear physics and structural dynamics, there is a need to deal with uncertainty in the matrices. We focus on matrices that depend on a set of parameters $\omega$ and we are interested in the…

Utilizing a weight matrix we study surfaces of prescribed weighted mean curvature which yield a natural generalisation to critical points of anisotropic surface energies. We first derive a differential equation for the normal of immersions…

We consider the problem of finding a metric in a given conformal class with prescribed non-positive scalar curvature and non-positive boundary mean curvature on an asymptotically Euclidean manifold with inner boundary. We obtain a necessary…