We study the regularity of the "free surface" in boundary obstacle problems. We show that near a non-degenerate point the free boundary is a $C^{1,α}$ $(n-2)$-dimensional surface in $\real^{n-1}$.
We study the regularity of the free boundary in the fully nonlinear thin obstacle problem. Our main result establishes that the free boundary is $C^1$ near regular points.
In this paper we establish the exact growth of the solution of the singular quasilinear p-parabolic obstacle problem near the free boundary from which we deduce its porosity.
In this manuscript we prove quantitative homogenization results for the obstacle problem with bounded measurable coefficients. As a consequence, large-scale regularity results both for the solution and the free boundary for the heterogeneous obstacle problem are derived.
This paper concerns fully nonlinear elliptic obstacle problems with oblique boundary conditions. We investigate the existence, uniqueness and $W^{2,p}$-regularity results by finding approximate non-obstacle problems with the same oblique boundary condition and then making a suitable limiting process.
We consider an oscillatory obstacle problem where the coincidence set and free boundary are also highly oscillatory. We establish a rate of convergence for a regularized notion of free boundary to the free boundary of a corresponding classical obstacle problem, assuming the latter is regular. The convergence rate is linear in the minimal length scale determined by the fine properties of a corrector function.
We prove a higher regularity result for the free boundary in the obstacle problem for the fractional Laplacian via a higher order boundary Harnack inequality.
This paper deals with the obstacle problem for the infinity Laplacian. The main results are a characterization of the solution through comparison with cones that lie above the obstacle and the sharp $C^{1,1/3}$--regularity at the free boundary.
In this paper we are concerned with a two-penalty boundary obstacle problem of interest in thermics, fluid dynamics and electricity. Specifically, we prove existence, uniqueness and optimal regularity of the solutions, and we establish structural properties of the free boundary.
These notes record and expand the lectures for the `Journées Équations aux Dérivées Partielles 2018' held by the author during the week of June 11-15, 2018. The aim is to give a overview of the classical theory for the obstacle problem, and then present some recent developments on the regularity of the free boundary.
We use a characterization of the fractional Laplacian as a Dirichlet to Neumann operator for an appropriate differential equation to study its obstacle problem. We write an equivalent characterization as a thin obstacle problem. In this way we are able to apply local type arguments to obtain sharp regularity estimates for the solution and study the regularity of the free boundary.
Variational inequalities with thin obstacles and Signorini-type boundary conditions are classical problems in the calculus of variations, arising in numerous applications. In the linear case many refined results are known, while in the nonlinear setting our understanding is still at a preliminary stage. In this paper we prove $C^1$ regularity for the solutions to a general class of quasi-linear variational inequalities with thin obstacles and $C^{1, α}$ regularity for variational inequalities under Signorini-type conditions on the boundary of a domain.
In this paper non-transversal intersection of the free and fixed boundary is shown to hold in any dimension for obstacle problems generated by fully nonlinear uniformly elliptic operators. Moreover, $C^1$ regularity results of the free boundary are obtained and a classification of blow-up solutions is given.
The interior free boundary theory for linear elliptic operators in higher dimensions was developed by Caffarelli in the low regularity context. In these notes, the up-to-the boundary free boundary regularity is discussed for nonlinear elliptic operators based on a different approach.
We introduced in [arXiv:1106.3204] a method to locate discontinuities of a wave speed in dimension two from acoustic boundary measuments modelled by the hyperbolic Neumann-to-Dirichlet operator. Here we extend the method for sound hard obstacles in arbitrary dimension. We present numerical experiments with simulated noisy data suggesting that the method is robust against measurement noise.
We derive relationships between the shape deformation of an impenetrable obstacle and boundary measurements of scattering fields on the perturbed shape itself. Our derivation is rigourous by using systematic way, based on layer potential techniques and the field expansion (FE) method (formal derivation). We extend these techniques to derive asymptotic expansions of the Dirichlet-to-Neumann (DNO) and Neumann-to-Dirichlet (NDO) operators in terms of the small perturbations of the obstacle as well as relationships between the shape deformation of an obstacle and boundary measurements of DNO or ND…
In this paper, motivated by a problem arising in random homogenization theory, we initiate the study of uniform estimates for the fractional penalized obstacle problem, $ Δ^{s}u^ε = β_ε (u^ε)$. In particular we consider the penalized boundary obstacle problem, $s = \frac{1}{2}$, and obtain sharp estimates for the solution independent of the penalizing parameter $ε$. This is a generalization of a result due to H. Brezis and D. Kinderlehrer.
The theory of boundary regularity for $p$-harmonic functions is extended to unbounded open sets in complete metric spaces with a doubling measure supporting a $p$-Poincaré inequality, $1<p<\infty$. The barrier classification of regular boundary points is established, and it is shown that regularity is a local property of the boundary. We also obtain boundary regularity results for solutions of the obstacle problem on open sets, and characterize regularity further in several other ways.
We provide a thorough description of the free boundary for the lower dimensional obstacle problem in $\mathbb{R}^{n+1}$ up to sets of null $\mathcal{H}^{n-1}$ measure. In particular, we prove (i) local finiteness of the $(n-1)$-dimensional Hausdorff measure of the free boundary, (ii) $\mathcal{H}^{n-1}$-rectifiability of the free boundary, (iii) classification of the frequencies up to a set of dimension at most (n-2) and classification of the blow-ups at $\mathcal{H}^{n-1}$ almost every free boundary point.
In this article we use flatness improvement argument to study the regularity of the free boundary for the biharmonic obstacle problem with zero obstacle. Assuming that the solution is almost one-dimensional, and that the non-coincidence set is an non-tangentially accessible (NTA) domain, we derive the $C^{1,α}$-regularity of the free boundary in a small ball centered at the origin. From the $C^{1,α}$-regularity of the free boundary we conclude that the solution to the biharmonic obstacle problem is locally $ C^{3,α}$ up to the free boundary, and therefore $C^{2,1} $. In the end we study an exa…
Building upon the recent results in \cite{FoSp17} we provide a thorough description of the free boundary for the fractional obstacle problem in $\mathbb{R}^{n+1}$ with obstacle function $φ$ (suitably smooth and decaying fast at infinity) up to sets of null $\mathcal{H}^{n-1}$ measure. In particular, if $φ$ is analytic, the problem reduces to the zero obstacle case dealt with in \cite{FoSp17} and therefore we retrieve the same results: (i) local finiteness of the $(n-1)$-dimensional Minkowski content of the free boundary (and thus of its Hausdorff measure), (ii) $\mathcal{H}^{n-1}$-rectifiabili…
We construct a monotone quantity for the classical obstacle problem with non-smooth obstacle, and show that the blow-ups are homogeneous functions of degree $α<2$.
We establish the $C^{1+γ}$-Hölder regularity of the regular free boundary in the stationary obstacle problem defined by the fractional Laplace operator with drift in the subcritical regime. Our method of the proof consists in proving a new monotonicity formula and an epiperimetric inequality. Both tools generalizes the original ideas of G. Weiss for the classical obstacle problem to the framework of fractional powers of the Laplace operator with drift. Our study continues the earlier research, where two of us established the optimal interior regularity of solutions.
In this paper we consider a mixed boundary value problem with a nonhomogeneous, nonlinear differential operator (called double phase operator), a nonlinear convection term (a reaction term depending on the gradient), three multivalued terms and an implicit obstacle constraint. Under very general assumptions on the data, we prove that the solution set of such implicit obstacle problem is nonempty (so there is at least one solution) and weakly compact. The proof of our main result uses the Kakutani-Ky Fan fixed point theorem for multivalued operators along with the theory of nonsmooth analysis a…
In this paper we prove existence and uniqueness of an entropy solution to the A-obstacle problem, for L^1 data. We also extend the Lewy-Stampacchia inequalities to the general framework of L^1 data, and show convergence and stability results. We then prove that the free boundary has finite N-1 Hausdorff measure, which completes previous works on this subject by Caffarelli for the Laplace operator and by Lee and Shahgholian for the p-Laplace operator when p>2.
In this paper, we consider an inverse conductivity problem on a bounded domain $Ω\subset\mathbb{R}^n$, $n\geq2$, also known as Electrical Impedance Tomography (EIT), for the case where unknown impenetrable obstacles are embedded into $Ω$. We show that a piecewise-constant conductivity function and embedded obstacles can be simultaneously recovered in terms of the local Dirichlet-to-Neumann map defined on an arbitrary small open subset of the boundary of the domain $Ω$. The method depends on the well-posedness of a coupled PDE-system constructed for the conductivity equations in the $H^1$-space…
We consider a one-phase free boundary problem of the minimizer of the energy \[ J_γ(u)=\frac{1}{2}\int_{(B_1^{n+1})^+}{y^{1-2s}|\nabla u(x,y)|^2dxdy}+\int_{B_1^{n}\times \{y=0\}}{u^γdx}, \] with constants $0<s,γ<1$. It is an intermediate case of the fractional cavitation problem (as $γ=0$) and the fractional obstacle problem (as $γ=1$). We prove that the blow-up near every free boundary point is homogeneous of degree $β=\frac{2s}{2-γ}$, and flat free boundary is $C^{1,θ}$ when $γ$ is close to 0.
In this paper, we prove the regularity of the free boundary in the Monge-Ampère obstacle problem $\det D^2 v= f(y)χ_{\{v>0\}}. $ By duality, the regularity of the free boundary is equivalent to that of the asymptotic cone of the solution to the singular Monge-Ampère equation $\det D^2 u = 1/f (Du)+δ_0$ at the origin. We first establish an asymptotic estimate for the solution $u$ near the singular point, then use a partial Legendre transform to change the Monge-Ampère equation to a singular, fully nonlinear elliptic equation, and establish the regularity of solutions to the singular elliptic eq…
We treat the stability of determining the boundary impedance of an obstacle by scattering data, with a single incident field. A previous result by Sincich (SIAM J. Math. Anal. 38, (2006), 434-451) showed a log stability when the boundary of the obstacle is assumed to be C^{1,1}-smooth. We prove that, when the obstacle boundary is merely Lipschitz, a log-log type stability still holds.
A horizontal $N$-dimensional plane, having a diffusion of its own, exchanges with the lower half space. There, a reaction-diffusion process, modelled by a free boundary problem, takes place. We wish to understand whether, and how, the free boundary meets the plane. The origin of this problem is a two-dimensional reaction diffusion model proposed some time ago by the second author, in collaboration with H. Berestycki and L. Rossi, to model how biological invasions can be enhanced by a line of fast diffusion. Some counter-intuitive numerical simulations of this model, due to A.-C. Coulon, have b…
We prove the existence of a homogenization limit for solutions of appropriately formulated sequences of boundary obstacle problems for the Laplacian on $C^{1,α}$ domains. Specifically, we prove that the energy minimizers $u_ε$ of $\int |\nabla u_ε|^2 dx$, subject to $u \geq ϕ$ on a subset $S_ε$, converges weakly in $H^1$ to a limit $\bar{u}$ which minimizes the energy $\int |\nabla \bar{u}|^2 dx + \int_Σ(u-ϕ)_-^2 μ(x) dS_x$, $Σ\subset \partial D$, if the obstacle set $S_ε$ shrinks in an appropriate way with the scaling parameter $ε$. This is an extension of a result by Caffarelli and Mellet, w…
In this note, we prove the finite ${(Q-1)}$-Hausdorff measure of the free boundary in the obstacle problem in a Carnot group $\mathbb{G}$. Here, $Q$ represents the homogeneous dimension of $\mathbb{G}$. Our main result, Theorem 1.1, constitutes the subelliptic counterpart of the Euclidean result due to Caffarelli, but the analysis is complicated by the lack of commutation of the left-invariant vector fields. This obstruction is compensated by the use of right-invariant derivatives, and by a delicate compactness argument inspired to Caffarelli's fundamental works.
This article deals with the variable coefficient thin obstacle problem in $n+1$ dimensions. We address the regular free boundary regularity, the behavior of the solution close to the free boundary and the optimal regularity of the solution in a low regularity set-up. We first discuss the case of zero obstacle and $W^{1,p}$ metrics with $p\in(n+1,\infty]$. In this framework, we prove the $C^{1,α}$ regularity of the regular free boundary and derive the leading order asymptotic expansion of solutions at regular free boundary points. We further show the optimal $C^{1,\min\{1-\frac{n+1}{p}, \frac{1…
We study the parabolic obstacle problem $$\lap u-u_t=fχ_{\{u>0\}}, \quad u\geq 0,\quad f\in L^p \quad \mbox{with}\quad f(0)=1$$ and obtain two monotonicity formulae, one that applies for general free boundary points and one for singular free boundary points. These are used to prove a second order Taylor expansion at singular points (under a pointwise Dini condition), with an estimate of the error (under a pointwise double Dini condition). Moreover, under the assumption that $f$ is Dini continuous, we prove that the set of regular points is locally a (parabolic) $C^1$-surface and that the set o…
In this paper we study the existence, the optimal regularity of solutions, and the regularity of the free boundary near the so-called \emph{regular points} in a thin obstacle problem that arises as the local extension of the obstacle problem for the fractional heat operator $(\partial_t - Δ_x)^s$ for $s \in (0,1)$. Our regularity estimates are completely local in nature. This aspect is of crucial importance in our forthcoming work on the blowup analysis of the free boundary, including the study of the singular set. Our approach is based on first establishing the boundedness of the time-derivat…
The aim of this note is to review some recent developments on the regularity theory for the stationary and parabolic obstacle problems. After a general overview, we present some recent results on the structure of singular free boundary points. Then, we show some selected applications to the generic smoothness of the free boundary in the stationary obstacle problem (Schaeffer's conjecture), and to the smoothness of the free boundary in the one-phase Stefan problem for almost every time.
In this work we consider an inhomogeneous two-phase obstacle-type problem driven by the fractional Laplacian. In particular, making use of the Caffarelli-Silvestre extension, Almgren and Monneau type monotonicity formulas and blow-up analysis, we provide a classification of the possible vanishing orders, which implies the strong unique continuation property. Moreover, we prove a stratification result for the nodal set, together with estimates on its Hausdorff dimensions, for both the regular and the singular part. The main tools come from geometric measure theory and amount to Whitney's Extens…
We study the regularity of the free boundary in the obstacle for the $p$-Laplacian, $\min\bigl\{-Δ_p u,\,u-φ\bigr\}=0$ in $Ω\subset\mathbb R^n$. Here, $Δ_p u=\textrm{div}\bigl(|\nabla u|^{p-2}\nabla u\bigr)$, and $p\in(1,2)\cup(2,\infty)$. Near those free boundary points where $\nabla φ\neq0$, the operator $Δ_p$ is uniformly elliptic and smooth, and hence the free boundary is well understood. However, when $\nabla φ=0$ then $Δ_p$ is singular or degenerate, and nothing was known about the regularity of the free boundary at those points. Here we study the regularity of the free boundary where $\…
We study the regularity of the free boundary in the parabolic obstacle problem for the fractional Laplacian $(-Δ)^s$ (and more general integro-differential operators) in the regime $s>\frac{1}{2}$. We prove that once the free boundary is $C^1$ it is actually $C^{2,α}$. To do so, we establish a boundary Harnack inequality in $C^1$ and $C^{1,α}$ (moving) domains, providing that the quotient of two solutions of the linear equation, that vanish on the boundary, is as smooth as the boundary. As a consequence of our results we also establish for the first time optimal regularity of such solutions to…
We consider Anzellotti-type almost minimizers for the thin obstacle (or Signorini) problem with zero thin obstacle and establish their $C^{1,β}$ regularity on the either side of the thin manifold, the optimal growth away from the free boundary, the $C^{1,γ}$ regularity of the regular part of the free boundary, as well as a structural theorem for the singular set. The analysis of the free boundary is based on a successful adaptation of energy methods such as a one-parameter family of Weiss-type monotonicity formulas, Almgren-type frequency formula, and the epiperimetric and logarithmic epiperim…
We answer a question left open in [Arch. Rat. Mech. Anal. 230 (1) (2018), 125-184] and [Arch. Rat. Mech. Anal. 230 (2) (2018), 783-784], by proving that the blow-up limit of minimizers $u$ of the lower dimensional obstacle problem is unique at generic point of the free-boundary.
We extend basic regularity of the free boundary of the obstacle problem to some classes of heterogeneous quasilinear elliptic operators with variable growth that includes, in particular, the $p(x)$-Laplacian. Under the assumption of Lipschitz continuity of the order of the power growth $p(x)>1$, we use the growth rate of the solution near the free boundary to obtain its porosity, which implies that the free boundary is of Lebesgue measure zero for $p(x)$-Laplacian type heterogeneous obstacle problems. Under additional assumptions on the operator heterogeneities and on data we show, in two diff…
In this article we investigate the higher regularity properties of the regular free boundary in the fractional thin obstacle problem. Relying on a Hodograph-Legendre transform, we show that for smooth or analytic obstacles the regular free boundary is smooth or analytic, respectively. This leads to the analysis of a fully nonlinear, degenerate (sub)elliptic operator which we identify as a (fully nonlinear) perturbation of the fractional Baouendi-Grushin Laplacian. Using its intrinsic geometry and adapted function spaces, we invoke the analytic implicit function theorem to deduce analyticity of…
We study the regularity of the free boundary in the obstacle problem for the fractional Laplacian under the assumption that the obstacle $φ$ satisfies $Δφ\leq 0$ near the contact region. Our main result establishes that the free boundary consists of a set of regular points, which is known to be a $(n-1)$-dimensional $C^{1,α}$ manifold by the results in \cite{CSS}, and a set of singular points, which we prove to be contained in a union of $k$-dimensional $C^1$-submanifold, $k=0,\ldots,n-1$. Such a complete result on the structure of the free boundary was known only in the case of the classical …