On a supercritical k-Hessian inequality of Trudinger-Moser type and extremal functions

José Francisco de Oliveira,João Marcos do Ó,Pedro Ubilla

DOI: https://doi.org/10.1007/s10231-024-01455-x

2023-06-09

Abstract:We establish a supercritical Trudinger-Moser type inequality for the $k$-Hessian operator on the space of the $k$-admissible radially symmetric functions $\Phi^{k}_{0,\mathrm{rad}}(B)$, where $B$ is the unit ball in $\mathbb{R}^{N}$. We also prove the existence of extremal functions for this new supercritical inequality.

Analysis of PDEs

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to explore and solve a supercritical k - Hessian inequality, which is similar to the Trudinger - Moser - type inequality, and to study the existence of its extremal functions. Specifically, the authors focus on a supercritical Trudinger - Moser - type inequality in the space of k - admissible radially symmetric functions $\Phi_k^{0,\text{rad}}(B)$ on the unit ball $B$.

#### Main problem description

1. **Supercritical Trudinger - Moser inequality**:
- The authors attempt to establish a supercritical Trudinger - Moser - type inequality in the following form:
\[
M_{T_N}(f)=\sup_{u\in\Phi_k^{0,\text{rad}}(B), \|u\|_{\Phi_k} = 1}\int_B e^{\mu_N|u|^{N + 2/N}+f(|x|)}\,dx<\infty,
\]
where $\mu_N = N\left(\frac{\omega_{N - 1}}{k\binom{N - 1}{k - 1}}\right)^{2/N}$, and $f$ is a continuous function satisfying specific conditions.

2. **Existence of extremal functions**:
- The authors further study whether the extremal functions of the above supercritical inequality exist. Specifically, they prove that under certain conditions, there exists a function $u\in\Phi_k^{0,\text{rad}}(B)$ such that the above supremum can be attained.

#### Key results

- **Theorem 1.1**: Suppose there exists $\sigma>1$ such that
\[
\limsup_{r\rightarrow0}\frac{f(r)}{|\ln r|^\sigma}<\infty,
\]
then
\[
M_{T_N}(f)=\sup_{u\in\Phi_k^{0,\text{rad}}(B), \|u\|_{\Phi_k} = 1}\int_B e^{\mu_N|u|^{N + 2/N}+f(|x|)}\,dx<\infty.
\]

- **Theorem 1.2**: Suppose $\sigma>2$, then the supremum $M_{T_N}(f)$ can be attained by some $u\in\Phi_k^{0,\text{rad}}(B)$.

#### Applications and significance

- These results extend the existing research on Sobolev and Trudinger - Moser - type inequalities, especially in the supercritical case.
- By introducing the general function $f$, the authors provide a more general result, which is applicable to many different function forms, not just specific power function forms.
- These results have important application values in fields such as partial differential equations and geometric analysis, especially when dealing with nonlinear elliptic equations and geometric inequalities.

In conclusion, this paper provides new tools and methods for research in related fields by establishing and analyzing the supercritical k - Hessian inequality.