an:01192339
Zbl 0915.35039
Trudinger, Neil S.; Wang, Xu-Jia
Hessian measures. I
EN
Topol. Methods Nonlinear Anal. 10, No. 2, 225-239 (1997).
00048237
1997
j
35J60 28A33 35B05
Hessian operator; \(k\)-convex functions
Let \(\Omega\) be a domain in Euclidean \(n\)-space \(\mathbb{R}^n\). For \(k=1,\dots, n\) and \(u\in C^2(\Omega)\) the \(k\)-Hessian operator \(F_k\) is defined by \(F_k[u]= S_k(\lambda(D^2u))\), where \(\lambda= (\lambda_1,\dots, \lambda_n)\) denotes the eigenvalues of the Hessian matrix of second derivatives \(D^2u\), and \(S_k\) is the \(k\)th elementary symmetric function on \(\mathbb{R}^n\), given by
\[
S_k(\lambda)= \sum_{i_1<\cdots<i_k} \lambda_{i_1}\cdots\lambda_{i_k}.
\]
Our purpose in this paper is to extend the definition of the \(F_k\) to corresponding classes of continuous functions so that \(F_k[u]\) is a Borel measure and to consider the Dirichlet problem in this setting. We shall prove that \(F_k[u]\) may be extended to the class of \(k\)-convex functions in \(C^0(\Omega)\) as a Borel measure \(\mu_k\), for all \(k= 1,\dots,n,\), and that the corresponding mapping \(u\to \mu_k[u]\) is weakly continuous on \(C^0(\Omega)\). The resultant measure \(\mu_k[u]\) will be called the \(k\)-Hessian measure generated by \(u\).