Skip to content
Preprint

Interior Hessian Estimates for Semi-convex Solutions of the $\sigma_2/\sigma_1$ Equation with Lipschitz Right-Hand Sides

Aug 2026 · 0 citations · 25 references
Mathematics

Abstract

Let $n\ge2$ and let $u$ be a smooth 2-convex and semi-convex solution of \[ \frac{\sigma _2(D^2u)}{\sigma _1(D^2u)}=f(x). \] We prove an interior Hessian estimate depending on the Lipschitz norm of $f$. The proof combines the integral approach of Chen--Jian--Zhou with the algebraic reduction of the quotient equation to a $\sigma _2$ structure. The main new point is a shifted algebraic inequality that yields a shifted trace Jacobi inequality in divergence form for $\log(\Delta u+a)$. We work with the linearized operator $G=(\Delta u-f)I-D^2u$ of the equivalent equation $\sigma_2(D^2u)=f \Delta u$. The almost divergence-free identity \(\partial_iG_{ij}=-f_j\) enables us to control the \(\Delta f\) term by integration by parts solely in terms of the Lipschitz norm of \(f\). A Legendre--Lewy transformation converts the resulting degenerate divergence-form equation into a uniformly elliptic one. The estimate then follows from a mean-value inequality together with a weighted energy argument. As an application, in dimension two we obtain interior $C^2$ regularity for convex viscosity solutions with positive Lipschitz right-hand side. Moreover, our counterexamples show that the Lipschitz regularity required of the right-hand side is optimal.

View source

Similar papers

Preprint Sep 2026

Interior Curvature Estimates of Semi-convex Solutions for the scalar curvature equation with Lipschitz Right-Hand Sides

In this paper, let $u\in C^4(B_{10})$ with $D^2u\geq -KI$ define a $2$-admissible graph $M=\{(x,u(x)):x\in B_{10}\}\subset\R^{n+1}$ satisfying \[ \sigma_2(\kappa[u])=f(x). \] We prove an interior curvature estimate depending on the Lipschitz norm of the right-hand sides. The proof combines a shifted Jacobi inequality f...

Li-Chun Liang · 0 citations
Preprint Aug 2026

Global Curvature Estimates for $\sigma_k$ Curvature Equations with $k\geq n/2$

We establish a new concavity inequality for the elementary symmetric function \(\sigma_k\), which controls the spectral quadratic form arising from the second variation of \(\log\lambda_{\max}\). The proof is based on an easy--hard decomposition of the spectral variables. The easy region is treated using an optimal con...

Jingyi Yan · 0 citations
Preprint Jul 2026

Doubling Argument of the Hessian Estimate for the Hessian Quotient Equations

In this paper, we establish a doubling argument to obtain Hessian estimates for convex solutions to the Hessian quotient equation $\frac{\sigma_n}{\sigma_k}(D^2u) = f(x,u,Du)$ for $k=n-1$ and $k=n-2$ under the condition that $\log f$ is convex in the $Du$ variable. In particular, our approach is pointwise and does not...

C. Fung · 4 citations · ⚡1
Preprint Aug 2026

A concavity inequality and interior $C^2$ estimate for Hessian quotient equations

We establish a concavity inequality for the Hessian quotient operators $\frac{\sigma_k}{\sigma_l}$ in the cases $k-l\in\{1,2\}$, and then derive the corresponding Jacobi inequality. Combining this with the framework developed by Lu and Tsai, we obtain an interior Hessian estimate for convex solutions of $\frac{\sigma_k...

Zhi-Su Li, Ke Wu · 11 citations · ⚡5
Preprint Aug 2026

Interior Hessian estimates for Hessian quotient equations

In this paper, we establish interior $C^2$ estimates for admissible semiconvex solutions to the general Hessian quotient equation $\frac{\sigma_k}{\sigma_l}(D^2u)=f(x,u),$ for the cases $l=k-1$ and $l=k-2$, where $f$ is a positive $C^2$ function. Such estimates are known to fail in general for $k-l\geq 3$, even for con...

W. Dong, Ruijia Zhang · 7 citations · ⚡1
Preprint Jul 2026

Sharp Hausdorff Bounds for the Interior Singular Set of Convex $k$-Hessian Solutions

Let $2\le k\le n$, let $\Omega\subset\mathbb{R}^n$ be open and convex, and let $u$ be a convex viscosity solution of $\sigma_k(D^2u)=1$ in $\Omega$. We prove that the set on which $u$ fails to be locally $C^2$ has vanishing $(n-1)$-dimensional Hausdorff measure. In the intermediate range $3\le k<n$, this gives a codime...

Xi-Yu Hu · 2 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.