Table of Contents
Fetching ...

Low regularity results for degenerate Poisson problems

Marta Calanchi, Massimo Grossi

TL;DR

We study the degenerate Poisson problem $L_beta(u) = -div(d^beta grad u) = f$ on a smooth bounded domain with $d(x)=dist(x,\partial\Omega)$ and $\beta<1$. The authors develop barrier-based, maximum-principle arguments in a tubular neighborhood of the boundary to derive explicit two-sided boundary bounds for $u$, revealing sharp boundary asymptotics of the form $u \sim d^{1-\beta}$ up to logarithmic corrections, and show an improved bound in convex domains. They place the problem in the weighted Sobolev framework and establish Sobolev regularity thresholds, notably that $u \in W^{1,2}_0(\Omega)$ if and only if $\beta<\frac{1}{2}$, while the Hölder regularity is limited by $\alpha \le \min\{1,1-\beta\}$ for $\beta>0$ and is shown to be sharp. The results highlight how boundary degeneracy, via the weight $d^\beta$, governs both boundary behavior and functional-analytic regularity, with implications for theory and numerical treatment of degenerate elliptic equations and potential extensions to broader boundary-behavior weights.

Abstract

In this paper we study the Poisson problem, \[ \begin{cases} -{\rm div}(d^β\nabla u)=f&{\rm in}\ Ω\\ u=0&{\rm on}\ \partialΩ, \end{cases} \] where $Ω\subset\mathbb R^N$, $N\ge2$ is a smooth bounded domain, $f$ is a continuous function, $β< 1$, and $d(x)=dist(x,\partialΩ)$. We describe the behaviour of $u$ near $\partialΩ$ and discuss some of its regularity properties.

Low regularity results for degenerate Poisson problems

TL;DR

We study the degenerate Poisson problem on a smooth bounded domain with and . The authors develop barrier-based, maximum-principle arguments in a tubular neighborhood of the boundary to derive explicit two-sided boundary bounds for , revealing sharp boundary asymptotics of the form up to logarithmic corrections, and show an improved bound in convex domains. They place the problem in the weighted Sobolev framework and establish Sobolev regularity thresholds, notably that if and only if , while the Hölder regularity is limited by for and is shown to be sharp. The results highlight how boundary degeneracy, via the weight , governs both boundary behavior and functional-analytic regularity, with implications for theory and numerical treatment of degenerate elliptic equations and potential extensions to broader boundary-behavior weights.

Abstract

In this paper we study the Poisson problem, where , is a smooth bounded domain, is a continuous function, , and . We describe the behaviour of near and discuss some of its regularity properties.

Paper Structure

This paper contains 4 sections, 5 theorems, 56 equations.

Key Result

Theorem 1.1

Let $u\in W^{1,2}_0(\Omega, d^\beta)$ be a weak solution of where $\overrightarrow{F}:\Omega\to\mathbb R^N$ is a vector field such that $|\overrightarrow{F}|/d^\beta\in L^p(\Omega,d^\beta)$ with $\beta\in(-1,1)$ and $p>2n-\varepsilon$, for some $\epsilon>0$. Then, $u$ is Hölder continuous in $\overline\Omega$.

Theorems & Definitions (11)

  • Theorem 1.1: Theorem 2.4.8 in fks
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Proposition 2.1
  • proof
  • proof : Proof of Theorem \ref{['L3']}
  • Remark 3.1
  • proof : Proof of Theorem \ref{['h']}
  • Remark 4.1
  • ...and 1 more