On higher order boundary Harnack and analyticity of free boundaries

Chilin Zhang

2023-12-16

Abstract:We establish a C^1,alpha Schauder estimate of a non-standard degenerate elliptic equation and use it to give another proof of the higher order boundary Harnack inequality. As an application, we obtain the analyticity of the free boundary in the classical obstacle problem based on iterating the boundary Harnack principle.

Analysis of PDEs

What problem does this paper attempt to address?

Analyticity of solutions to a free boundary problem modeling the growth of multi-layer tumors

Fujun Zhou,Junde Wu,Xuemei Wei

DOI: https://doi.org/10.1016/j.nonrwa.2009.09.017

2010-01-01

Abstract:In this paper we study the analyticity of solutions to a free boundary problem modeling the growth of multi-layer tumors. The problem consists of three elliptic equations defined on a strip-like domain in Rn+1, with one part of the boundary moving and a priori unknown. The evolution of the moving boundary is governed by a Stefan type equation, with the surface tension effect taken into consideration. Due to the unknown boundary and surface tension effect, this problem is an essentially nonlinear problem. By following a functional analytical approach and the theory of maximal regularity, we prove that solutions of this free boundary problem are real analytic in time and space for any positive time, even if the given initial data admit mild regularity only.
The $C^{1,α}$ boundary Harnack in slit domain and its application to the Signorini problem

Chilin Zhang

2024-06-07

Abstract:We prove the $C^{2,\alpha}$ regularity of the free boundary in the Signorini problem with variable coefficients. We use a $C^{1,\alpha}$ boundary Harnack inequality in slit domain. The key method is to study a non-standard degenerate elliptic equation and obtain a $C^{1,\alpha}$ Schauder estimate.

Analysis of PDEs
Higher Order Boundary Harnack Principle via Degenerate Equations

Susanna Terracini,Giorgio Tortone,Stefano Vita

DOI: https://doi.org/10.1007/s00205-024-01973-1

2024-03-31

Archive for Rational Mechanics and Analysis

Abstract:As a first result we prove higher order Schauder estimates for solutions to singular/degenerate elliptic equations of type

mathematics, applied,mechanics
Parabolic boundary Harnack inequalities with right-hand side

Clara Torres-Latorre

2024-06-18

Abstract:We prove the parabolic boundary Harnack inequality in parabolic flat Lipschitz domains by blow-up techniques, allowing for the first time a non-zero right-hand side. Our method allows us to treat solutions to equations driven by non-divergence form operators with bounded measurable coefficients, and a right-hand side $f \in L^q$ for $q > n+2$. In the case of the heat equation, we also show the optimal $C^{1-\varepsilon}$ regularity of the quotient. As a corollary, we obtain a new way to prove that flat Lipschitz free boundaries are $C^{1,\alpha}$ in the parabolic obstacle problem and in the parabolic Signorini problem.

Analysis of PDEs
Higher order Boundary Schauder Estimates in Carnot Groups

Agnid Banerjee,Nicola Garofalo,Isidro H. Munive

2024-04-30

Abstract:In his seminal 1981 study D. Jerison showed the remarkable negative phenomenon that there exist, in general, no Schauder estimates near the characteristic boundary in the Heisenberg group $\mathbb H^n$. On the positive side, by adapting tools from Fourier and microlocal analysis, he developed a Schauder theory at a non-characteristic portion of the boundary, based on the non-isotropic Folland-Stein Hölder classes. On the other hand, the 1976 celebrated work of Rothschild and Stein on their lifting theorem established the central position of stratified nilpotent Lie groups (nowadays known as Carnot groups) in the analysis of Hörmander operators but, to present date, there exists no known counterpart of Jerison's results in these sub-Riemannian ambients. In this paper we fill this gap. We prove optimal $\Gamma^{k,\alpha}$ ($k\geq 2$) Schauder estimates near a $C^{k,\alpha}$ non-characteristic portion of the boundary for $\Gamma^{k-2, \alpha}$ perturbations of horizontal Laplacians in Carnot groups.

Analysis of PDEs
Higher Regularity of the Free Boundary in the Obstacle Problem for the Fractional Heat Operator

Xi Hu,Lin Tang

DOI: https://doi.org/10.1016/j.jfa.2023.110274

IF: 1.891

2024-01-01

Journal of Functional Analysis

Abstract:We prove a higher regularity result for the free boundary in the obstacle problem for the fractional heat operator via a higher order boundary Harnack estimate. As a consequence, we show that if the obstacle is Hm+beta, then the free boundary is Hm-1+alpha near non-degenerate free boundary points for some 0 < alpha <= beta. In particular, smooth obstacles yield smooth free boundaries near non-degenerate free boundary points.(c) 2023 Elsevier Inc. All rights reserved.
Boundary Hölder Estimates for Nonlinear Singular Elliptic Equations

Fan Cui,Huaiyu Jian,You Li

DOI: https://doi.org/10.1016/j.jmaa.2018.10.059

IF: 1.417

2019-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this paper we study the Dirichlet problem of a class of nonlinear elliptic equations which includes Monge–Ampère equation, K-Hessian equation and the usual linear elliptic equation. This problem becomes singular near the boundary of the domain. By carefully constructing sub-solutions we obtain the boundary Hölder estimate for the convex solution to the problem when the domain satisfies exterior sphere condition.
On the boundary branching set of the one-phase problem

Lorenzo Ferreri,Luca Spolaor,Bozhidar Velichkov

2024-07-31

Abstract:We consider minimizers of the one-phase Bernoulli free boundary problem in domains with analytic fixed boundary. In any dimension $d$, we prove that the branching set at the boundary has Hausdorff dimension at most $d-2$. As a consequence, we also obtain an analogous estimate on the branching set for solutions to the two-phase problem under an analytic separation condition. Moreover, as a byproduct of our analysis we obtain strong boundary unique continuation results for quasilinear operators and thin-obstacle variational inequalities. The approach we use is based on the (almost-)monotonicity of a boundary Almgren-type frequency function, obtained via regularity estimates and a Calderón-Zygmund decomposition in the spirit of Almgren-De Lellis-Spadaro.

Analysis of PDEs
A boundary Harnack principle and its application to analyticity of 3D Brownian intersection exponents

Yifan Gao,Xinyi Li,Yifan Li,Runsheng Liu,Xiangyi Liu

2024-11-22

Abstract:We show that a domain in $\mathbb{R}^3$ with the trace of a 3D Brownian motion removed almost surely satisfies the boundary Harnack principle (BHP). Then, we use it to prove that the intersection exponents for 3D Brownian motion are analytic.

Probability
Higher order Schauder estimates for parabolic equations with degenerate or singular weights

Alessandro Audrito,Gabriele Fioravanti,Stefano Vita

2024-03-13

Abstract:In this paper, we complete the analysis initiated in [AFV24] establishing some higher order $C^{k+2,\alpha}$ Schauder estimates ($k \in \mathbb{N}$) for a a class of parabolic equations with weights that are degenerate/singular on a characteristic hyperplane. The $C^{2,\alpha}$-estimates are obtained through a blow-up argument and a Liouville theorem, while the higher order estimates are obtained by a fine iteration procedure. As a byproduct, we present two applications. First, we prove similar Schauder estimates when the degeneracy/singularity of the weight occurs on a regular hypersurface of cylindrical type. Second, we provide an alternative proof of the higher order boundary Harnack principles established in [BG16,Kuk22].

Analysis of PDEs
Higher order boundary Harnack principles in Dini type domains

Seongmin Jeon,Stefano Vita

2023-05-31

Abstract:Aim of this paper is to provide higher order boundary Harnack principles [De Silva-Savin 15] for elliptic equations in divergence form under Dini type regularity assumptions on boundaries, coefficients and forcing terms. As it was proven in [Terracini-Tortone-Vita 22], the ratio $v/u$ of two solutions vanishing on a common portion $\Gamma$ of a regular boundary solves a degenerate elliptic equation whose coefficients behave as $u^2$ at $\Gamma$. Hence, for any $k\geq 1$ we provide $C^k$ estimates for solutions to the auxiliary degenerate equation under double Dini conditions, actually for general powers of the weight $a>-1$, and we imply $C^k$ estimates for the ratio $v/u$ under triple Dini conditions, as a corollary in the case $a=2$.

Analysis of PDEs
The Boundary Harnack Principle for Linear Degenerate Elliptic Equations in Hölder Domains

Tang Lin

DOI: https://doi.org/10.1007/s12044-021-00642-7

2021-01-01

Proceedings - Mathematical Sciences

Abstract:In this paper, we establish the boundary Harnack principle for solutions to linear degenerate elliptic equations in Hölder domains.
The boundary Harnack principle on optimal domains

Francesco Paolo Maiale,Giorgio Tortone,Bozhidar Velichkov

2024-02-12

Abstract:We give a short and self-contained proof of the Boundary Harnack inequality for a class of domains satisfying some geometric conditions given in terms of a state function that behaves as the distance function to the boundary, is subharmonic inside the domain and satisfies some suitable estimates on the measure of its level sets. We also discuss the applications of this result to some shape optimization and free boundary problems.

Analysis of PDEs
Boundary Hölder Estimates for a Class of Degenerate Elliptic Equations in Piecewise Smooth Domains

Jiaxing Hong,Genggeng Huang

DOI: https://doi.org/10.1007/s11401-022-0354-1

2022-01-01

Chinese Annals of Mathematics Series B

Abstract:In this paper, the authors will apply De Giorgi-Nash-Moser iteration to establish boundary Hölder estimates for a class of degenerate elliptic equations in piecewise C2-smooth domains.
C^2,α -estimate for Monge-Ampère equations with Hölder-continuous right hand side

Xiuxiong Chen,Yuanqi Wang

DOI: https://doi.org/10.1007/s10455-015-9487-8

2015-01-01

Annals of Global Analysis and Geometry

Abstract:We present a somewhat new proof to the C^2,α a priori estimate for the uniform elliptic Monge-Ampère equations, in both the real and complex settings. Our estimates do not need to differentiate the equation, and only depends on the C^α -norm of the right-hand side of the equation.
Boundary Harnack principle on uniform domains

Aobo Chen

2024-02-06

Abstract:We present a proof of scale-invariant boundary Harnack principle for uniform domain when the underlying space satisfies a scale-invariant elliptic Harnack inequality. Our approach do not assume the underlying space to be geodesic nor the existence of Green function.

Probability,Analysis of PDEs
Boundary Estimates in Elliptic Homogenization

Zhongwei Shen

DOI: https://doi.org/10.48550/arXiv.1505.00694

2015-07-23

Abstract:For a family of systems of linear elasticity with rapidly oscillating periodic coefficients, we establish sharp boundary estimates with either Dirichlet or Neumann conditions, uniform down to the microscopic scale, without smoothness assumptions on the coefficients. Under additional smoothness conditions, these estimates, combined with the corresponding local estimates, lead to the full Rellich type estimates in Lipschitz domains and Lipschitz estimates in $C^{1, \alpha}$ domains. The $C^\alpha$, $W^{1,p}$, and $L^p$ estimates in $C^1$ domains for systems with VMO coefficients are also studied. The approach is based on certain estimates on convergence rates. As a bi-product, we obtain sharp $O(\varepsilon)$ error estimates in $L^q(\Omega)$ for $q=\frac{2d}{d-1}$ and a Lipschitz domain $\Omega$, with no smoothness assumption on the coefficients.

Analysis of PDEs
$C^{2,\alpha}$-estimate for Monge-Ampere equations with H\"older-continuous right hand side

Xiuxiong Chen,Yuanqi Wang

2014-01-01

Abstract: We present a somewhat new proof to the $C^{2,\alpha}$-aprori estimate for the uniform elliptic Monge-Ampere equations, in both the real and complex settings. Our estimates do not need to differentiate the equation, and only depends on the $C^{\alpha^{\prime}}-$norm of the right hand side of the equation, $0<\alpha<\alpha^{\prime}$.

On higher order boundary Harnack and analyticity of free boundaries

Analyticity of solutions to a free boundary problem modeling the growth of multi-layer tumors

The $C^{1,α}$ boundary Harnack in slit domain and its application to the Signorini problem

Higher Order Boundary Harnack Principle via Degenerate Equations

Parabolic boundary Harnack inequalities with right-hand side

Higher order Boundary Schauder Estimates in Carnot Groups

Higher Regularity of the Free Boundary in the Obstacle Problem for the Fractional Heat Operator

Boundary Hölder Estimates for Nonlinear Singular Elliptic Equations

On the boundary branching set of the one-phase problem

A boundary Harnack principle and its application to analyticity of 3D Brownian intersection exponents

Higher order Schauder estimates for parabolic equations with degenerate or singular weights

Higher order boundary Harnack principles in Dini type domains

The Boundary Harnack Principle for Linear Degenerate Elliptic Equations in Hölder Domains

The boundary Harnack principle on optimal domains

Boundary Hölder Estimates for a Class of Degenerate Elliptic Equations in Piecewise Smooth Domains

C^2,α -estimate for Monge-Ampère equations with Hölder-continuous right hand side

Boundary Harnack principle on uniform domains

Boundary Estimates in Elliptic Homogenization

$C^{2,\alpha}$-estimate for Monge-Ampere equations with H\"older-continuous right hand side