Admissible solutions to augmented nonsymmetric $k-$Hessian type equations I. The $d-$concavity of the $k-$Hessian type functions

TL;DR

This paper proves the strict concavity of a logarithmic symmetric polynomial function on a positive cone and explores its application to the d-concavity of k-Hessian type functions, aiding future PDE solution studies.

Contribution

It establishes the strict concavity of log-sigma_k functions on specific cones and applies this to analyze d-concavity of k-Hessian functions for nonsymmetric equations.

Findings

Proved strict concavity of log-sigma_k on a subset of the positive cone.

Applied the concavity result to study d-concavity of k-Hessian functions.

Set the stage for future existence results of solutions to nonsymmetric k-Hessian equations.

Abstract

We establish for $2 \le k \le n-1$ the strict concavity of the function $f_k(\lambda)=\log(\sigma_k(\lambda))$ on a subset of the positive cone $\Gamma_n=\{\lambda=(\lambda_{1}, \lambda_{2}, \cdots,\lambda_{n})\in \mathbb{R}^n; \lambda_j>0,j=1,\cdots, n\}$ where $\sigma_{k}(\lambda)$ is the basic symmetric polynomial of degree $k,$ $2 \leq k \leq n.$ Then we apply the result to study the so-called $d-$concavity of the $k-$Hessian type function $F_{k}(R)=\log \left(S_{k}(R)\right),$ where $S_{k}(R)=\sigma_{k}(\lambda(R)), \lambda(R)= \left(\lambda_{1}, \lambda_{2}, \cdots, \lambda_{n}\right) \in \mathbb{C}^{n}$ is eigenvalue-vector of $R \in \mathbb{R}^{n \times n},$ $R=\omega+\beta, \omega^{T}=\omega, \omega>0, \quad \beta^{T}=-\beta.$ The $d-$concavity will be used in our next paper to study the existence of admissible solutions to the Dirichlet problem for the augmented nonsymmetric $k-$Hessian type equations.