Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915887189065728 |
|---|---|
| author | Yu, Jing Zheng, Jun |
| author_facet | Yu, Jing Zheng, Jun |
| contents | This paper investigates a class of $p$-obstacle problems with subcritical exponents having the form \begin{align}
\mathrm{div}\left( a(x)|\nabla u|^{p-2}\nabla u\right) =m_1χ_{\{u>0\}}-m_2u^{λ-1}χ_{\{u>0\}} \ \text{in}\ Ω,\notag \end{align} where $Ω$ is a smooth bounded domain in $ \mathbb{R}^N (N \geq 2)$, $m_1,m_2$ are positive constants, the coefficient function $a \in C^2(Ω)$ has a positive lower bound, and $2 \leq p < λ<p^*:= \frac{Np}{N-p}$ when $p<N$ and $N \geq 3$, or $2\leq p < λ<+\infty$ when $ N = 2$. By using the mountain-pass lemma, combined with the penalty method, we first establish the existence of non-negative weak solutions. Then, using the De Giorgi-Nash iteration, we prove the $L^\infty$ bound and local $C^{1,α}$ continuity for the solutions. In addition, we prove local porosity of the free boundary based on the optimal growth and non-degeneracy of solutions near the free boundary. Furthermore, by means of Lebesgue measure estimates for gradient level sets, we show that at least one solution corresponds the free boundary having locally finite $(N-1)$-dimensional Hausdorff measure. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_23121 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents Yu, Jing Zheng, Jun Analysis of PDEs Functional Analysis This paper investigates a class of $p$-obstacle problems with subcritical exponents having the form \begin{align} \mathrm{div}\left( a(x)|\nabla u|^{p-2}\nabla u\right) =m_1χ_{\{u>0\}}-m_2u^{λ-1}χ_{\{u>0\}} \ \text{in}\ Ω,\notag \end{align} where $Ω$ is a smooth bounded domain in $ \mathbb{R}^N (N \geq 2)$, $m_1,m_2$ are positive constants, the coefficient function $a \in C^2(Ω)$ has a positive lower bound, and $2 \leq p < λ<p^*:= \frac{Np}{N-p}$ when $p<N$ and $N \geq 3$, or $2\leq p < λ<+\infty$ when $ N = 2$. By using the mountain-pass lemma, combined with the penalty method, we first establish the existence of non-negative weak solutions. Then, using the De Giorgi-Nash iteration, we prove the $L^\infty$ bound and local $C^{1,α}$ continuity for the solutions. In addition, we prove local porosity of the free boundary based on the optimal growth and non-degeneracy of solutions near the free boundary. Furthermore, by means of Lebesgue measure estimates for gradient level sets, we show that at least one solution corresponds the free boundary having locally finite $(N-1)$-dimensional Hausdorff measure. |
| title | Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents |
| topic | Analysis of PDEs Functional Analysis |
| url | https://arxiv.org/abs/2603.23121 |