Existence, non-existence and degeneracy of limit solutions to $p$-Laplace problems involving Hardy potentials as $p\to1^+$. The case of a critical drift

Juan Carlos Ortiz Chata,Francesco Petitta
2024-07-18
Abstract:In this paper we analyze the asymptotic behaviour as $p\to 1^+$ of solutions $u_p$ to $$ \left\{ \begin{array}{rclr} -\Delta_pu&=&\lambda|\nabla u|^{p-2}\nabla u\cdot\frac{x}{|x|^2}+ f&\quad \mbox{ in } \Omega,\\ u_p&=&0 &\quad \mbox{ on }\partial\Omega, \end{array}\right. $$ where $\Omega$ is a bounded open subset of $\mathbb{R}^N$ with Lipschitz boundary containing the origin, $\lambda\in\mathbb{R}$, and $f$ is a nonnegative datum in $L^{N,\infty}(\Omega)$. As a consequence, under suitable smallness assumptions on $f$ and $\lambda$, we show sharp existence results of bounded solutions to the Dirichlet problems $$\begin{cases} \displaystyle - \Delta_{1} u = \lambda\frac{D u}{|D u|}\cdot \frac{x}{|x|^2}+f & \text{in}\, \Omega, u=0 & \text{on}\ \partial \Omega, \end{cases} $$ where $\displaystyle \Delta_{1}u=\hbox{div}\,\left(\frac{Du}{|Du|}\right) $ is the $1$-Laplacian operator. The case of a generic drift term in $L^{N,\infty}(\Omega)$ is also considered. Explicits examples are given in order to show the optimality of the main assumptions on the data.
Analysis of PDEs
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the existence, non - existence and degeneracy of solutions to the \(p\)-Laplace problem with Hardy potential when \(p \to 1^+\) under specific conditions. Specifically, the author focuses on the Dirichlet problem in the following form: \[ \begin{cases} - \Delta_p u=\lambda \frac{|\nabla u|^{p - 2}\nabla u\cdot x}{|x|^2}+f &\text{in }\Omega,\\ u = 0 &\text{on }\partial\Omega, \end{cases} \] where: - \(\Omega\) is a bounded open subset containing the origin with Lipschitz continuous boundary; - \(\lambda\in\mathbb{R}\); - \(f\) is a non - negative data belonging to \(L^{N,\infty}(\Omega)\). ### Main research contents 1. **Asymptotic behavior analysis**: The author analyzes the asymptotic behavior of solutions to the above \(p\)-Laplace problem when \(p \to 1^+\). In particular, under appropriate small - parameter assumptions, they show the existence results of bounded solutions. 2. **Critical drift term**: Special attention is paid to the critical drift term \(\frac{\nabla u}{|\nabla u|}\cdot\frac{x}{|x|^2}\), which is a term that is critical in many aspects. For example, \(\frac{\nabla u}{|\nabla u|}\) may be meaningless where the gradient is zero, and in general, the natural function space is the BV space, so the Hardy inequality is needed to handle this situation. 3. **1 - Laplace problem**: When \(p \to 1^+\), the above \(p\)-Laplace problem degenerates into the 1 - Laplace problem: \[ \begin{cases} - \Delta_1 u=\lambda \frac{D u}{|D u|}\cdot\frac{x}{|x|^2}+f &\text{in }\Omega,\\ u = 0 &\text{on }\partial\Omega, \end{cases} \] where \(\Delta_1 u=\text{div}\left(\frac{D u}{|D u|}\right)\) is the 1 - Laplace operator. ### Main conclusions - **Existence**: Under appropriate assumptions (such as \(f\) and \(\lambda\) satisfying certain small - parameter conditions), the existence of bounded solutions is proved. - **Non - existence**: For larger data, non - existence results are given, and the optimality of these assumptions is verified by specific examples. - **Regularity**: For the case where \(f\in L^q(\Omega), q > N\), the \(L^\infty(\Omega)\) regularity of solutions is proved. ### Application background These problems are not only of great theoretical significance but also widely applied in problems such as image inpainting and torsional creep of cylindrical rods. For example, the image reconstruction model proposed by Rudin, Osher and Fatemi is based on a similar 1 - Laplace problem. In summary, through the study of the asymptotic behavior of the \(p\)-Laplace problem when \(p \to 1^+\), this paper reveals the influence of the critical drift term and Hardy potential on solutions and obtains profound results regarding the existence, non - existence and regularity of solutions.