Table of Contents
Fetching ...

On a class of thin obstacle-type problems for the bi-Laplacian operator

Donatella Danielli, Giovanni Gravina

TL;DR

This work analyzes a class of thin obstacle-type problems for the bi-Laplacian by using the Caffarelli–Silvestre extension framework with a degenerate/singular weight $y^b$ to formulate a fourth-order extended problem. The authors establish sharp local regularity results for the solution $u$ and its extension $v=\Delta_b u$, derive Almgren’s frequency formula and associated blow-up analysis, and introduce Monneau- and Weiss-type monotonicity formulas to classify homogeneous blow-ups. This enables a precise stratification of the thin free boundary into regular and singular parts, with detailed structural results depending on the dimension and weight parameter $b$. The combination of variational existence, bootstrapped regularity, frequency analysis, and blow-up/classification techniques provides a robust framework for two-phase thin obstacle problems and their higher-order extensions, connecting local regularity with global free-boundary geometry. The results have potential implications for higher-order nonlocal models and fractional powers of the Laplacian via higher-order extensions.

Abstract

This paper investigates the regularity of solutions and structural properties of the free boundary for a class of fourth-order elliptic problems with Neumann-type boundary conditions. The singular and degenerate elliptic operators studied naturally emerge from the extension procedure for higher-order fractional powers of the Laplacian, while the choice of non-linearity considered encompasses two-phase boundary obstacle problems as a special case. After establishing local regularity properties of solutions, Almgren- and Monneau-type monotonicity formulas are derived and utilized to carry out a blow-up analysis and prove a stratification result for the free boundary.

On a class of thin obstacle-type problems for the bi-Laplacian operator

TL;DR

This work analyzes a class of thin obstacle-type problems for the bi-Laplacian by using the Caffarelli–Silvestre extension framework with a degenerate/singular weight to formulate a fourth-order extended problem. The authors establish sharp local regularity results for the solution and its extension , derive Almgren’s frequency formula and associated blow-up analysis, and introduce Monneau- and Weiss-type monotonicity formulas to classify homogeneous blow-ups. This enables a precise stratification of the thin free boundary into regular and singular parts, with detailed structural results depending on the dimension and weight parameter . The combination of variational existence, bootstrapped regularity, frequency analysis, and blow-up/classification techniques provides a robust framework for two-phase thin obstacle problems and their higher-order extensions, connecting local regularity with global free-boundary geometry. The results have potential implications for higher-order nonlocal models and fractional powers of the Laplacian via higher-order extensions.

Abstract

This paper investigates the regularity of solutions and structural properties of the free boundary for a class of fourth-order elliptic problems with Neumann-type boundary conditions. The singular and degenerate elliptic operators studied naturally emerge from the extension procedure for higher-order fractional powers of the Laplacian, while the choice of non-linearity considered encompasses two-phase boundary obstacle problems as a special case. After establishing local regularity properties of solutions, Almgren- and Monneau-type monotonicity formulas are derived and utilized to carry out a blow-up analysis and prove a stratification result for the free boundary.

Paper Structure

This paper contains 13 sections, 40 theorems, 273 equations.

Key Result

Theorem 1.1

For $1 < s < 2$, set $b \coloneqq 3 - 2s$ and let $u \in H^2 (\mathbb{R}^{n+1}_+; y^b)$ be a solution of where $u_0 \in H^{s}(\mathbb{R}^n)$. Then we have that

Theorems & Definitions (79)

  • Theorem 1.1: Theorem 3.1 in yang2013
  • Theorem 1.2
  • Theorem 1.3
  • Lemma 2.1: Poincaré-type inequality
  • proof
  • Lemma 2.2: Trace operators
  • Lemma 2.3: Trace inequality
  • Lemma 2.4: Sobolev-type inequalities
  • Lemma 2.5: Rellich identity
  • proof
  • ...and 69 more