---
title: Positive Hessian Quotient Equation
url: https://www.emergentmind.com/topics/positive-hessian-quotient-equation
type: topic
---

# Positive Hessian Quotient Equation

The positive Hessian quotient equation is a fully nonlinear elliptic partial differential equation built from elementary symmetric functions of the eigenvalues of the Hessian. For a \(C^{2}\) function \(u\), with Hessian eigenvalues \(\lambda(D^{2}u)=(\lambda_{1},\dots,\lambda_{n})\), one sets \(\sigma_{j}(D^{2}u)=\sigma_{j}(\lambda(D^{2}u))\), where \(\sigma_{j}\) is the \(j\)-th elementary symmetric polynomial, and studies equations of the form
\[
\frac{\sigma_{k}(D^{2}u)}{\sigma_{\ell}(D^{2}u)}=f,
\qquad 0\le \ell<k\le n.
\]
In the constant-right-hand-side model one often writes \(\sigma_{k}(D^{2}u)/\sigma_{\ell}(D^{2}u)=1\). The subject connects the \(k\)-Hessian equation, the Monge–Ampère equation, special Lagrangian-type equations, curvature problems, and geometric PDE on Kähler, HKT, Riemannian, and spherical settings. Recent work has developed a sharply differentiated theory: strong Liouville and Bernstein rigidity under integral or semi-convex hypotheses, interior \(C^{2}\) estimates in several regimes, explicit counterexamples in others, and boundary/exterior solvability via barrier constructions and Perron’s method [2106.06211].

## 1. Operator, admissibility, and basic models

Let \(u\in C^{2}(\Omega)\), \(\Omega\subset \mathbb{R}^{n}\), and let \(\lambda(D^{2}u(x))\) denote the eigenvalues of \(D^{2}u(x)\). For \(j=0,1,\dots,n\),
\[
\sigma_j(\lambda)=\sum_{1\le i_1<\cdots<i_j\le n}\lambda_{i_1}\cdots\lambda_{i_j},
\qquad \sigma_0\equiv 1.
\]
The basic Hessian-quotient operator is
\[
Q_{k,\ell}(D^{2}u)=\frac{\sigma_k(D^{2}u)}{\sigma_\ell(D^{2}u)},
\qquad 0\le \ell<k\le n.
\]
Several papers also use the normalized operator
\[
\Bigl(\frac{\sigma_k(D^{2}u)}{\sigma_\ell(D^{2}u)}\Bigr)^{\frac1{k-\ell}},
\]
especially in parabolic and boundary-value formulations [2001.01427].

Ellipticity is tied to the Gårding cone
\[
\Gamma_k=\{\lambda\in\mathbb R^n:\sigma_j(\lambda)>0,\ j=1,\dots,k\}.
\]
A function is called \(k\)-admissible or \(k\)-convex when \(\lambda(D^{2}u(x))\in\Gamma_k\) at every point. On \(\Gamma_k\), \(\sigma_\ell>0\) for \(\ell<k\), so the quotient is well defined and elliptic. In some works, especially those centered on “positive” operators, one imposes the stronger positive cone \(\Gamma^{+}=\{\lambda_i>0\ \forall i\}\) [2501.03386].

The standard special cases organize much of the theory. When \(\ell=0\), one recovers the \(k\)-Hessian equation \(\sigma_k(D^{2}u)=1\). When \((k,\ell)=(n,0)\), one obtains the Monge–Ampère equation \(\det D^{2}u=1\). When \((k,\ell)=(n,n-1)\), the equation is identified in the supplied literature with the special Lagrangian / Lagrangian angle equation [2106.06211]. In dimension two, \((k,\ell)=(2,1)\) gives
\[
\frac{\det(\X+\nabla^2u)}{\operatorname{tr}(\X+\nabla^2u)}=f(x)
\]
on a Riemannian surface, a real analogue of a quotient equation that has been compared with the complex \(J\)-equation [2501.03386].

The same quotient structure appears in several extensions. One replaces \(D^{2}u\) by \(\chi+\sqrt{-1}\partial\bar\partial u\) on Kähler manifolds [2107.12035], by \(\chi+\partial\partial_{J}u\) on HKT manifolds [2204.03813], by a symmetric tensor \(W\) on a Riemannian manifold [2509.16406], or by the support-function matrix \(\nabla^{2}u+uI\) on \(\mathbb S^{n}\) in Christoffel–Minkowski-type problems [2604.10924]. There are also vector-valued variants based on \(\Lambda(D^{2}u)\), formed from sums of selected eigenvalues, leading to quotient equations of Hessian-quotient type with gradient-dependent right-hand side [2501.05695].

## 2. Entire-solution rigidity and Bernstein phenomena

A central global question is the Bernstein property: whether an entire admissible solution must be a quadratic polynomial. For the quotient equation
\[
\frac{\sigma_k(D^{2}u)}{\sigma_\ell(D^{2}u)}=1
\quad\text{in }\mathbb R^n,
\]
an entire convex \(C^{2}\) solution is said to have the Bernstein property if one can prove that \(u\) is quadratic. Earlier results, including those of Jörgens, Calabi, Pogorelov, Cheng–Yau, and Bao–Cheng–Guan–Ji, imposed pointwise quadratic-growth or uniform convexity assumptions such as \(u(x)\ge a_{1}|x|^{2}-a_{2}\). Under such assumptions one derives \(\Delta u\ge c>0\) and then uses Liouville-type arguments to force \(D^{3}u\equiv 0\) [2106.06211].

A major advance is the equivalence theorem of “Necessary and Sufficient Conditions to Bernstein Theorem of a Hessian Equation” [2106.06211]. For a locally strictly convex solution normalized by \(u(0)=0\), \(Du(0)=0\), with sublevel sets \(\Omega_t=\{u<t\}\), the following are equivalent, and each is necessary and sufficient for \(u\) to be a quadratic polynomial:

\[
\liminf_{t\to\infty}
\frac{\int_{\Omega_t}|Du(x)|\,dx}{(\operatorname{Vol}\Omega_t)^{(n-1)/n}}
\le Y<\infty,
\]
a reverse isoperimetric-type inequality;

\[
\operatorname{Vol}\Omega_t=O(t^{n/2}),
\qquad t\to\infty,
\]
a volume-growth condition with sharp exponent \(n/2\);

and
\[
\int_{\Omega_t}(u(x)+1)^p\,dx = O(t^{p+n/2}),
\qquad t\to\infty,
\]
for some \(p>0\), an \(L^{p}\)-integrability condition. Under any one of these, the solution has the form
\[
u(x)=\frac12 x^{T}Ax+b\cdot x+c,
\qquad A=A^{T}>0,\quad \frac{\sigma_k(A)}{\sigma_\ell(A)}=1.
\]
This removes the pointwise quadratic-growth assumptions used in earlier work and replaces them with equivalent integral or volume criteria.

For the specific positive quotient \(\sigma_{2}/\sigma_{1}=1\), Lu–Sroka prove a Liouville theorem for admissible semi-convex entire solutions: if \(u\in C^{\infty}(\mathbb R^{n})\) satisfies
\[
\frac{\sigma_2}{\sigma_1}(D^2u)=1
\quad\text{on }\mathbb R^n,
\qquad D^{2}u+K\,I\ge 0,
\]
then \(u\) is quadratic [2602.14946]. Their method is unusually direct: after the shift
\[
v(x)=u(x)-\frac{1}{2(n-1)}|x|^{2},
\]
one obtains
\[
\sigma_2(D^2v)=\frac{n}{2(n-1)},
\]
and the problem reduces to the Shankar–Yuan Liouville theorem for the pure \(\sigma_2\) equation.

Mei–Yan establish analogous rigidity for
\[
\frac{\sigma_3(D^2u)}{\sigma_\ell(D^2u)}=1,
\qquad \ell=1,2,
\]
in arbitrary dimension, assuming admissibility, semi-convexity, and sub-quadratic growth \( |u(x)|=O(|x|^2)\). Under these hypotheses the entire solution is again a quadratic polynomial [2604.23349]. The same paper derives rigidity for the sum-Hessian equation \(\sigma_3(D^2u)+\sigma_2(D^2u)=c_0>0\) under several alternative lower-Hessian conditions.

A parabolic analogue was established by Dai–Bao–Wang for
\[
-u_t\,\frac{S_n(D^2u)}{S_l(D^2u)}=1
\quad\text{in }\mathbb R^n\times(-\infty,0].
\]
If \(u\in C^{4,2}\) is parabolically convex, satisfies \(-m_2\le u_t\le -m_1<0\), and obeys \(u(x,0)\le A_1|x|^2+B\), then
\[
u(x,t)=-mt+P(x),
\]
where \(m>0\) is constant and \(P\) is a convex quadratic polynomial [2305.17831].

A frequent misconception is that pointwise quadratic growth is indispensable for Bernstein-type rigidity. The equivalence theorem in [2106.06211] shows that, for the positive quotient equation, integral and volume conditions can be both weaker and logically complete. Another recurrent misconception is that all Liouville proofs require elaborate global maximum principles; in the \((k,\ell)=(2,1)\) case, the reduction to a pure \(\sigma_2\) equation shows otherwise [2602.14946].

## 3. Interior regularity and second-order estimates

Interior \(C^{2}\) theory for positive Hessian quotient equations is highly regime dependent. Some operators admit sharp local Hessian bounds under natural convexity or semi-convexity hypotheses, while other quotient families exhibit explicit singular solutions, so no general interior \(C^{2}\) estimate can hold.

| Regime | Assumptions | Result |
|---|---|---|
| \(\sigma_3/\sigma_1=f\) in \(n=3\) | convex \(u\in C^3\), \(f>0\), \(f\in C^1\) | interior \(C^2\) estimate [2311.05835] |
| \(\sigma_2/\sigma_1=\psi(x,u)\) | \(n=3\): 2-convex; \(n\ge4\): 2-convex and semi-convex | interior Hessian estimates [2602.14064] |
| \(\sigma_n/\sigma_k=f\) | \(k=n-1,n-2\) | interior \(C^2\) estimate [2401.12229] |
| \(\sigma_n/\sigma_k=f\) | \(k\le n-3\) | interior \(C^2\) estimate fails [2401.12229] |
| \(\sigma_3/\sigma_\ell=1\), \(\ell=1,2\) | \(\Gamma_3\)-admissible, semi-convex | interior \(C^2\) estimate in arbitrary dimensions [2604.23349] |
| \(\sigma_2=f^2(x)\) in \(n=3\) | \(f>0\), \(f\in C^{0,1}\) | interior \(C^{2,\alpha}\) via \(C^{1,1}\) bound [2311.14260] |

For \((k,\ell)=(3,1)\) in dimension three, Lu proves that if \(u\in C^{3}(B_{10})\) is convex and solves
\[
\frac{\sigma_3(D^2u)}{\sigma_1(D^2u)}=f(x),
\qquad f\in C^{1}(B_{10}),\quad f>0,
\]
then
\[
\sup_{B_1}|D^2u|
\le C\bigl(\|u\|_{C^0(B_9)},\min_{B_9}f,\|f\|_{C^1(B_9)}\bigr).
\]
The core innovation is a Jacobi-type inequality for \(b=\ln\lambda_{1}\), the logarithm of the largest eigenvalue:
\[
F^{ij}b_{ij}\ge \frac1{432}F^{ij}b_i b_j - C
\]
in the viscosity sense when \(\lambda_1\) is large [2311.05835]. The proof combines spectral formulas, a Legendre transform of \(u+|x|^{2}/2\), a mean-value inequality, and a divergence-free tensor
\[
H^{ij}=\sigma_3\,F^{ij}-\sigma_1\,f\,\delta^{ij}.
\]

Jiao–Sui obtain interior Hessian estimates for the quotient \(\sigma_2/\sigma_1\) with right-hand side \(\psi(x,u)\). In dimension three they require only 2-convexity, whereas for \(n\ge4\) they assume 2-convexity and \(A\)-semi-convexity. Their method is based on a doubling inequality
\[
\sup_{B_2}\Delta u\le C(1+\sup_{B_1}\Delta u),
\]
a new Lagrange-multiplier argument for third-derivative terms, and a blow-up/compactness argument using Savin’s small-perturbation \(C^{2,\alpha}\) theorem or the Chaudhuri–Trudinger extension [2602.14064]. In \(n\ge5\), the same scheme uses a dynamic semi-convexity ratio bound at the critical point,
\[
\frac{\lambda_{\min}(D^2u)}{\Delta u}\ge -c_n,
\qquad
c_n=\frac{\sqrt{3n^2+1}-n+1}{2n}.
\]

For the family \((\sigma_n/\sigma_k)(D^2u)=f\), Guan–Sroka’s concavity identities yield a complete dichotomy. If \(k=n-1\) or \(k=n-2\), there is an interior \(C^{2}\) estimate for convex admissible \(u\in C^{4}(\Omega)\), with constants depending on interior distance, \(C^{1}\)-norm of \(u\), \(\min f\), and \(\|f\|_{C^{2}}\) or \(C^{1,1}\)-data. If \(k\le n-3\), the estimate fails: there exists a convex viscosity solution, Lipschitz but not \(C^{1,\alpha}\) for any \(\alpha>1-2/k\), obtained from an adaptation of Pogorelov’s example [2401.12229]. This is one of the sharpest negative results in the area and shows that admissibility alone does not secure second-order regularity.

Mei–Yan prove that the equations
\[
\frac{\sigma_3(D^2u)}{\sigma_\ell(D^2u)}=1,
\qquad \ell=1,2,
\]
admit interior \(C^{2}\) estimates in arbitrary dimension under the natural hypotheses \(\lambda(D^2u)\in \Gamma_3\) and \(D^2u>-KI\). Their proof follows a three-step scheme: a Jacobi inequality for \(b=\log\lambda_{\max}(D^2u)\), a Legendre–Lewy duality argument that produces a uniformly elliptic dual operator, and integration by parts using weight comparisons involving \(\sigma_2\) and \(\sigma_1\) [2604.23349].

A complementary reformulation is due to Zhou. For the twisted special Lagrangian equation
\[
\sum_{i=1}^{n}\arctan(\lambda_i/f(x))=\theta,
\qquad |\theta|>(n-2),
\]
he derives a priori \(C^{1,1}\) estimates under only Lipschitz \(f>0\). In dimension three this implies interior \(C^{2,\alpha}\) regularity for continuous viscosity solutions of
\[
\sigma_2(D^2u)=f(x)^2
\]
with \(f\in C^{0,1}\), \(f>0\) [2311.14260]. This suggests that structural reformulation can substitute for direct quotient estimates in selected low-dimensional settings.

## 4. Boundary value, exterior, and evolution problems

The positive Hessian quotient equation has a substantial boundary-value theory. In bounded domains, one studies Dirichlet or Neumann problems; in exterior domains, one prescribes asymptotic behavior near infinity; in parabolic settings, one studies long-time convergence and translating solutions.

For exterior domains, Li–Li–Zhao treat
\[
\frac{\sigma_k(\lambda(D^2u))}{\sigma_\ell(\lambda(D^2u))}=1
\quad\text{in }\mathbb R^n\setminus\overline D,
\]
with \(D\) smooth, bounded, and strictly convex, boundary data \(\varphi\), and prescribed quadratic asymptotic behavior at infinity [2004.06908]. Their construction introduces generalized symmetric subsolutions of the form
\[
u(x)=w(x^{T}Ax),
\]
reducing the PDE to an ODE via identities for \(\sigma_m\) under rank-one perturbations. Perron’s method then yields a unique \(k\)-convex viscosity solution asymptotic to
\[
\frac12 x^{T}Ax+b\cdot x+c,
\]
with \(A\in S_n^{+}\) satisfying \(\sigma_k(A)=\sigma_\ell(A)\). The same paper states solvability for any \(1\le \ell<k\le n\), with the abstract emphasizing all dimensions \(n\ge2\), while the detailed theorem in the supplied text is stated for \(n\ge3\). This suggests that the dimensional range is formulation sensitive in the presentation.

Jiang–Li–Li extend the exterior problem to nonconstant right-hand side
\[
\frac{\sigma_k(D^2u)}{\sigma_l(D^2u)}=g(x),
\qquad g(x)=1+O(|x|^{-\beta}),
\quad \beta>2,
\]
again on \(\mathbb R^n\setminus\overline D\), with generalized symmetric asymptotic behavior
\[
u(x)=\frac12 x^T A x+b\cdot x+c+O(E(x))
\]
and \(A\in\mathcal A_{k,l}\) [2205.07200]. The proof combines comparison principles on unbounded domains, local quadratic boundary barriers, and explicit generalized symmetric sub- and supersolutions obtained from an ODE for \(w(s)\), \(s=x^{T}Ax\).

The earlier exterior Dirichlet theory of [1709.04712] is organized around new quantities governing generalized radial subsolutions and the asymptotic decay exponent \(m\in(2,n]\). There the conclusion is existence and uniqueness of a viscosity solution with prescribed quadratic asymptotics for the constant equation \(\sigma_k/\sigma_\ell=1\), again by a Perron construction built on suitable subsolutions.

For Neumann problems, Chen–Ma–Zhang study the parabolic flow
\[
u_t=\log\frac{\sigma_k(D^2u)}{\sigma_\ell(D^2u)}-\log\psi(x)
\]
with Neumann boundary condition \(\partial_\nu u=\varphi(x,t)\), smooth \(k\)-admissible initial data, and structural monotonicity or barrier hypotheses. They prove long-time existence of a unique smooth \(k\)-admissible solution and convergence to the smooth elliptic Neumann solution of
\[
\sigma_k(D^2u)=\psi(x)\,\sigma_\ell(D^2u)
\]
with the same boundary data. If the monotonicity is strict, the convergence is exponentially fast [2001.01427]. In the time-independent Neumann case, the solution may instead converge to a translating profile
\[
u(x,t)-a t-u_\infty(x)\to 0
\quad\text{in }C^\infty(\overline\Omega).
\]

Gong–Liu–Tu consider a broader Neumann class involving the vector-valued operator \(\Lambda(D^{2}u)\):
\[
\frac{\sigma_k(\Lambda(D^2u))}{\sigma_l(\Lambda(D^2u))}=\psi(x,u,Du).
\]
Under a Dong-type growth condition on \(\psi^{1/(k-l)}\),
\[
|\tilde\psi_x|+|\tilde\psi_z|\,|p|+|\tilde\psi_p|\,|p|^2
\le C_1 |p|^{2+\gamma},
\qquad \gamma<1,
\]
they derive interior gradient estimates, global a priori estimates, and existence of a unique \((\Lambda,k)\)-convex Neumann solution by the continuity method [2501.05695].

These works show that the quotient structure is compatible with both viscosity and classical approaches. Comparison principles, explicit barriers, generalized symmetric ansätze, continuity method, and parabolic smoothing all remain effective, but each requires admissibility to be encoded in a manner tailored to the underlying geometry and boundary condition.

## 5. Geometric formulations on manifolds and on the sphere

On closed Kähler manifolds, Sun studies the quotient equation
\[
Q(\chi_u):=\frac{\sigma_k(\chi_u)}{\sigma_l(\chi_u)}=f(x),
\qquad \chi_u=\chi+\sqrt{-1}\,\partial\bar\partial u,
\]
for \(1\le l<k\le n\), with \(u\) unique up to an additive constant [2107.12035]. The necessary and sufficient conditions are a cohomological cone condition \([\chi]\in C_k(\omega)\) and the integral balance
\[
\int_M \chi^k\wedge\omega^{n-k}
=
\int_M f(x)\,\chi^l\wedge\omega^{n-l}.
\]
Under these conditions there exists a unique smooth solution with \(\chi_u\in \Gamma_{k-1}(M)\). The proof uses the continuity method together with \(C^{0}\), \(C^{1}\), and \(C^{2}\) a priori estimates, Evans–Krylov theory, and the necessity of the cone and integral conditions.

On compact HKT manifolds, Li Chen proves a \(C^{0}\) estimate for
\[
\frac{\sigma_k(\chi+\partial\partial_J u)}{\sigma_\ell(\chi+\partial\partial_J u)}=F(x),
\]
with no additional assumption on the hypercomplex structure beyond the HKT setting [2204.03813]. The key ingredient is direct use of the cone condition
\[
\sigma_{k-1}(\chi|_j)-F(z)\sigma_{\ell-1}(\chi|_j)\ge \varepsilon>0,
\]
combined with a Cherrier-type integration by parts argument and Moser iteration. The conclusion is a uniform \(C^{0}\) bound for normalized solutions.

On closed Riemannian manifolds, Sroka studies the real Hessian quotient equation with background tensor \(\X\),
\[
F(u)=\frac{S_k(\nabla^2u)}{S_l(\nabla^2u)}
=
\frac{S_k(\lambda(A[u]))}{S_l(\lambda(A[u]))}
=
f(x,u,\nabla u),
\qquad A[u]=g^{-1}\circ(\X+\nabla^2u).
\]
In dimension two, for \((k,l)=(2,1)\), he proves an unobstructed second-order estimate and a solvability theorem: if there exists some admissible function \(v\), then for every strictly positive \(f\in C^\infty(M)\) there is a unique admissible solution of
\[
\frac{\det(\X+\nabla^2u)}{\operatorname{tr}(\X+\nabla^2u)}=f(x)
\]
on \(M\) [2501.03386]. The argument introduces the test function
\[
Q=\log\lambda_1+\theta(V^j\nabla_j u)^2
\]
and exploits fine concavity of \(S_2/S_1\). The paper explicitly contrasts the real case with the complex \(J\)-equation, where known obstructions occur.

Guan–Sroka analyze the positive operator
\[
H(W)=\frac{\sigma_n(W)}{\sigma_{n-k}(W)},
\qquad 1\le k\le n-1,
\]
for symmetric tensors \(W\) on Riemannian manifolds [2509.16406]. They prove a special concavity estimate stronger than the classical Gårding concavity of \((\sigma_n/\sigma_{n-k})^{1/k}\), and from it derive a Jacobi inequality for \(b=\log(1+\lambda_1)\) when \(W\) solves \(H(W)=f(x)\). This provides a general structural tool for real quotient equations on manifolds.

On the sphere, the \(L_p\) dual Christoffel–Minkowski-type problem considers a support function \(u>0\) on \(\mathbb S^n\), with
\[
A=\nabla^2u+uI,
\]
and a quotient operator built from \(\Lambda(A)\), the \(\mathscr P\)-eigenvalues of \(A\). The equation is
\[
\frac{\sigma_k(\Lambda(\nabla^2u+uI))}{\sigma_l(\Lambda(\nabla^2u+uI))}
=
u^{p-1}(u^2+|\nabla u|^2)^{\frac{k+1-q}{2}}\varphi(x).
\]
Under admissibility and structural conditions on \(\varphi\), the paper proves a full rank theorem, \(C^0\), \(C^1\), and \(C^2\) a priori estimates, and existence and uniqueness of strictly spherically convex solutions [2604.10924]. A central technical input is the “inverse convexity” property of the operator.

Taken together, these manifold formulations show that the positive Hessian quotient equation is not merely an Euclidean Hessian problem. It is also a cohomological, quaternionic, Riemannian, and convex-geometric equation, with admissibility encoded either by Gårding cones, cone conditions, positivity of support-function matrices, or inverse-convexity structures.

## 6. Structural identities, symmetry, and current landscape

Several recent advances rest on structural identities that control third derivatives or convert quotient equations into more tractable forms. Guan–Sroka’s special concavity estimate for \(\sigma_n/\sigma_{n-k}\) is one example; Zhou’s twisted special Lagrangian reformulation is another [2509.16406; 2311.14260]. In the \((2,1)\) case, Lu–Sroka’s elementary shift
\[
v=u-\frac{1}{2(n-1)}|x|^2
\]
transforms the quotient equation into a constant-right-hand-side \(\sigma_2\)-equation [2602.14946]. These are not mere formal devices: they directly feed regularity and Liouville theory.

Overdetermined problems furnish a separate rigidity theory. Gao–Jia–Zhang consider
\[
S_k(D^2u)=\frac{C_n^k}{C_n^\ell}S_\ell(D^2u)\quad\text{in }\Omega,
\qquad
u=0,\quad \frac{\partial u}{\partial\gamma}=1\quad\text{on }\partial\Omega,
\]
with \(S_\ell(D^2u)>0\) on \(\overline\Omega\). They prove that the only admissible solution is, up to translation,
\[
u(x)=\frac12(|x|^2-1),
\qquad
\Omega=B_1(0),
\]
using a Rellich–Pohozaev-type identity and the \(P\)-function
\[
P(x)=|Du|^2-2u
\]
together with the maximum principle [2209.06268]. The result extends the Serrin-type theory from \(k\)-Hessian equations to Hessian quotients.

The present landscape is therefore neither uniformly positive nor uniformly negative. On one side, there are complete Bernstein criteria [2106.06211], semi-convex Liouville theorems [2602.14946], arbitrary-dimensional interior \(C^{2}\) estimates for certain \(\sigma_3/\sigma_\ell\) equations [2604.23349], and solvability theorems on Kähler manifolds and spheres [2107.12035; 2604.10924]. On the other side, there are explicit failures of interior \(C^{2}\) estimates for \(\sigma_n/\sigma_k\) when \(k\le n-3\) [2401.12229]. This rules out any naive expectation of a universal regularity theory for all quotient operators.

Several open directions are stated explicitly in the supplied literature. Lu–Sroka observe that generalizations of the \((2,1)\) Liouville theorem to other \(\sigma_k/\sigma_l\) remain largely open, except in special cases such as \(\sigma_n/\sigma_{n-1}\) or special Lagrangian structures [2602.14946]. Sroka formulates two conjectures in the Riemannian setting: unobstructed solvability for all positive right-hand sides, up to a multiplicative constant, and a general \(C^{2}\) estimate
\[
\|\nabla^2u\|_{C^0(M)}\le C\bigl(1+\|u\|_{C^0(M)}\bigr)
\]
for admissible solutions [2501.03386].

A plausible implication is that the future of the subject will depend less on a single universal technique and more on identifying operator-specific structures—special concavity, inverse convexity, Legendre duality, divergence-free tensors, or geometric reformulations—that isolate the regimes where quotient ellipticity can be converted into effective a priori control.

Source: https://www.emergentmind.com/topics/positive-hessian-quotient-equation