In the unit ball B(0,1), let $u$ and $Ω$ (a domain in $\R$) solve the following overdetermined problem: $$Δu =χ_Ω\quad \hbox{in} B(0,1), \qquad 0 \in \partial Ω, \qquad u=|\nabla u |=0 \quad \hbox{in} B(0,1)\setminus Ω,$$ where $χ_Ω$ denotes the characteristic function, and the equation is satisfied in the sense of distributions. If the complement of $Ω$ does not develop cusp singularities at the origin then we prove $\partial Ω$ is analytic in some small neighborhood of the origin. The result can be modified to yield for more general divergence form operators. As an application of this, then, we obtain the regularity of the boundary of a domain without the Pompeiu property, provided its complement has no cusp singularities.
Assume that $D\subset \mathbb{R}^3$ is a bounded domain with $C^1-$smooth boundary. Our result is: {\bf Theorem 1.} {\em If $D$ has $P-$property, then $D$ is a ball.} Four equivalent formulations of the Pompeiu problem are discussed. A domain $D$ has $P-$property if there exists an $f\neq 0$, $f\in L^1_{loc}(\mathbb{R}^3)$ such that $\int_{D}f(gx+y)dx=0$ for all $y\in \mathbb{R}^3$ and all $g\in SO(2)$, where $ SO(2)$ is the rotation group. The result obtained concerning the related symmetry problem is: {\bf Theorem 2.} {\em If $(\nabla^2 +k^2)u=0$ in $D$, $u|_S=1$, $u_N|_S=0$, and $k>0$ is a …
Let $f \in L_{loc}^1 (\R^n)\cap \mathcal{S}$, where $\mathcal{S}$ is the Schwartz class of distributions, and $$\int_{σ(D)} f(x) dx = 0 \quad \forall σ\in G, \qquad (*)$$ where $D\subset \R^n$ is a bounded domain, the closure $\bar{D}$ of which is diffeomorphic to a closed ball, and $S$ is its boundary. Then the comp$ is connected and path connected. By $G$ the group of all rigid motions of $\R^n$ is denoted. This group consists of all translations and rotations. A proof of the following theorem is given. Theorem 1. {\it Assume that $n=2$, $f\not\equiv 0$, and (*) holds. Then $D$ is a ball.} C…
In this paper we examine necessary conditions for an inhomogeneity to be non-scattering, or equivalently, by negation, sufficient conditions for it to be scattering. These conditions are formulated in terms of the regularity of the boundary of the inhomogeneity. We examine broad classes of incident waves in both two and three dimensions. Our analysis is greatly influenced by the analysis carried out by Williams [28] in order to establish that a domain, which does not possess the Pompeiu Property, has a real analytic boundary. That analysis, as well as ours, relies crucially on classical free b…
The paper is pertaining to the spectral theory of operators and boundary value problems for differential equations on manifolds. Eigenvalues of such problems are studied as functionals on the space of domains. Resolvent continuity of the corresponding operators is established under domain deformation and estimates of continuity moduli of their eigenvalues $\slash$ eigenfunctions are obtained provided the boundary of nonperturbed domain is locally represented as a graph of some continuous function and domain deformation is measured with respect to the Hausdorff--Pompeiu metric.
In this paper, it is investigated for an inhomogeneous Dirichlet problem with $L^p$ boundary data for polyharmonic equation in the upper half-plane. By using higher order Poisson kernels and Pompeiu operators, which are respectively due to Du, Qian and Wang [Z. Du, T. Qian and J. Wang, {\it $L^{p}$ polyharmonic Dirichlet problems in regular domains II: The upper half plane}, J. Differential Equations 252(2012), 1789-1812] as well as Begehr and Hile [H. Begehr and G. Hile, {\it A hierarchy of integral operators}, Rocky Mountain J. Math. 27(1997), 669-706], it is given that the unique integral r…
In this paper, we develop a series of boundary pointwise regularity for Dirichlet problems and oblique derivative problems. As applications, we give direct and simple proofs of the higher regularity of the free boundaries in obstacle-type problems and one phase problems.
In this paper, we prove boundary pointwise $C^{k,α}$ regularity for any $k\geq 1$ for fully nonlinear parabolic equations. As an application, we give a direct and short proof of the higher regularity of the free boundaries in obstacle-type problems.
We consider one-dimensional parabolic free boundary value problem with a nonlocal (integro-differential) condition on the free boundary. Results on $C^m$-regularity of the free boundary are obtained. In particular, a necessary and sufficient condition for infinite differentiability of the free boundary is given.
We prove some sharp regularity results for solutions of classical first order hyperbolic initial boundary value problems. Our two main improvements on the existing litterature are weaker regularity assumptions for the boundary data and regularity in fractional Sobolev spaces. This last point is specially interesting when the regularity index belongs to 1/2 + N, as it involves nonlocal compatibility conditions.
In this paper, we prove a boundary pointwise regularity for fully nonlinear elliptic equations on cones. In addition, based on this regularity, we give simple proofs of the Liouville theorems on cones.
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 investigate existence and regularity properties of one-phase free boundary graphs, in connection with the question of whether there exists a complete non-planar free boundary graph in high dimensions.
In my previous paper I have contrived a Ginzburg-Landau heat flow with a time-dependent parameter and by using it, I constructed a harmonic heat flow into spheres with a monotonical inequality and a reverse Poincaré inequality. This paper establishes these two energy inequalities near the boundary and then by making the best of them, we discuss a partial boundary regularity. In addition to it, we demonstrate a whole domain's regularity under "the one-sided condition." This has been proposed by S.Hildebrandt and K.-O.Widman.
We obtain boundary Holder gradient estimates and regularity for solutions to the linearized Monge-Ampere equations under natural assumptions on the domain, Monge-Ampere measures and boundary data. Our results are affine invariant analogues of the boundary Holder gradient estimates of Krylov.
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.
Boundary characteristic point regularity is studied for a class of semilinear heat equations and an ODE criterion of regularity is obtained. Extensions to higher-order semilinear parabolic problems are discussed.
We prove full boundary regularity for minimizing biharmonic maps with smooth Dirichlet boundary conditions. Our result, similarly as in the case of harmonic maps, is based on the nonexistence of nonconstant boundary tangent maps. With the help of recently derivated boundary monotonicity formula for minimizing biharmonic maps by Altuntas we prove compactness at the boundary following Scheven's interior argument. Then we combine those results with the conditional partial boundary regularity result for stationary biharmonic maps by Gong--Lamm--Wang.
We obtain up to a flat boundary regularity results in parabolic Hölder spaces for viscosity solutions of fully nonlinear parabolic equations with oblique boundary conditions.
We study geometric and regularity properties of the largest subsolution of a one-phase free boundary problem under a very general free boundary condition in R2. Moreover, we provide density bounds for the positivity set and its complement near the free boundary.
F.-H. Lin studied minimal graphs of the Dirichlet problem in the hyperbolic space and proved that any such minimal graph has the same global regularity as the boundary if the dimension of the minimal graph is even and that there is an obstacle to the higher regularity if the dimension is odd. We discuss the odd dimension case and study how the higher regularity is obstructed. We introduce the logarithm of the distance to the boundary as an additional independent self-variable and establish concise boundary regularity for the minimal graph.
In a bounded domain, we consider a variable range nonlocal operator, which is maximally isotropic in the sense that its radius of interaction equals the distance to the boundary. We establish $C^{1,α}$ boundary regularity and existence results for the Dirichlet problem.
We study the boundary regularity for the normalised $\infty$-heat equation $u_t = Δ_{\infty}^Nu$ in arbitrary domains. Perron's Method is used for constructing solutions. We characterize regular boundary points with barrier functions, and prove an Exterior Ball result. A Petrovsky-like criterion is established.
In this work we study regularity properties of solutions to fractional elliptic problems with mixed Dirichlet-Neumann boundary data when dealing with the Spectral Fractional Laplacian.
We consider the Hölder continuity for the Dirichlet problem at the boundary. Almgren introduced the multivalued; Q-valued functions for studying regularity of minimal surfaces in higher codimension. The Hölder continuity in the interior for Dirichlet minimizers is an outcome of Almgren's original theory, to which C. De Lellis and E.N. Spadaro's work have given a simpler alternative approach. We extend the Hölder regularity for Dirichlet minimizing Q-valued functions up to the boundary assuming enough regularity of the domain and Hölder regularity of the boundary data with exponent >1/2.
The embeddings theorem of space-boundary-type DeGiorgi-Ladyzhenskaya parabolic classes into Holder spaces is presented, which is useful for regularity considerations for parabolic boundary value problems. Additionaly, the application of this theory to Navier-Stokes-s swirl is presented.
We show that the solutions of SG elliptic boundary value problems defined on the complement of compact sets or on the half-space have some regularity in Gelfand-Shilov spaces. The results are obtained using classical results about Gevrey regularity of elliptic boundary value problems and Calderón projectors techniques adapted to the SG case. Recent developments about Gelfand-Shilov regularity of SG pseudo-differential operators on $\mathbb{R}^{n}$ appear in an essential way.
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.
The main result of this paper is to prove that viscosity solutions to a parabolic free boundary problem with variable coefficients are Lipschitz continuous under the assumptions that the solution has a Lipschitz free boundary and satisfies a non-degeneracy condition. This is the optimal regularity for this problem.
In this paper we show boundary monotonicity formulae for rectifiable varifolds having a $C^{1,α}$ "boundary". In particular, we show that the area ratios of balls centered at this "boundary'' satisfy a nice monotonicity formula, similar to that for interior balls (proved in Allard's paper "On the first variation of a varifold''). This extends the boundary monotonicity formulae of Allard (see "On the first variation of a varifold- boundary behavior''), which require that the boundary is $C^{1,1}$. As a corollary, Allard's boundary regularity results extend to this case and provide a regularity …
For a one-phase free boundary problem involving a fractional Laplacian, we prove that "flat free boundaries" are $C^{1,α}$. We recover the regularity results of Caffarelli for viscosity solutions of the classical Bernoulli-type free boundary problem with the standard Laplacian.
We are concerned with local regularity of the solutions for the Stokes and Navier-Stokes equations near boundary. Firstly, we construct a bounded solution but its normal derivatives are singular in any $L^p$ with $1<p$ locally near boundary. On the other hand, we present criteria of solutions of the Stokes equations near boundary to imply that the gradients of solutions are bounded (in fact, even further Hölder continuous). Finally, we provide examples of solutions whose local regularity near boundary is optimal.
We consider the Bernoulli one-phase free boundary problem in a domain $Ω$ and show that the free boundary $F$ is $C^{1,1/2}$ regular in a neighborhood of the fixed boundary $\partial Ω$. We achieve this by relating the behavior of $F$ near $\partial Ω$ to a Signorini-type obstacle problem.
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.
We study boundary regularity of maps from two-dimensional domains into manifolds which are critical with respect to a generic conformally invariant variational functional and which, at the boundary, enter perpendicularly into a support manifold. For example, harmonic maps, or $H$-surfaces, with a partially free boundary condition. In the interior it is known, by the celebrated work of Riviere, that these maps satisfy a system with an antisymmetric potential, from which one can derive regularity of the solution. We show that these maps satisfy along the boundary a system with a nonlocal antisym…
We investigate the regularity of the free boundary for a general class of two-phase free boundary problems with non-zero right hand side. We prove that Lipschitz or flat free boundaries are $C^{1,γ}$. In particular, viscosity solutions are indeed classical.
In this note, we prove the boundary Hölder regularity for the infinity Laplace equation under a proper geometric condition. This geometric condition is quite general, and the exterior cone condition, the Reifenberg flat domains, and the corkscrew domains (including the non-tangentially accessible domains) are special cases. The key idea, following [3], is that the strong maximum principle and the scaling invariance imply the boundary Hölder regularity.
We give a comprehensive treatment of the parabolic Signorini problem based on a generalization of Almgren's monotonicity of the frequency. This includes the proof of the optimal regularity of solutions, classification of free boundary points, the regularity of the regular set and the structure of the singular set.
We prove a regularity theorem for the free boundary of minimizers of the two-phase Bernoulli problem, completing the analysis started by Alt, Caffarelli and Friedman in the 80s. As a consequence, we also show regularity of minimizers of the multiphase spectral optimization problem for the principal eigenvalue of the Dirichlet Laplacian.
In this paper, we study the nonhomogeneous Dirichlet problem concerning general semilinear elliptic equations in divergence form. We establish that the boundary Lipschitz regularity of solutions under some more weaker conditions on the coefficients, the boundary, the boundary function and the nonhomogeneous term. In particular, we assume that the nonhomogeneous term satisfies Dini continuity condition and Lipschitz Newtonian potential condition, which will be the optimal conditions to obtain the boundary Lipschitz regularity of solutions.
In this paper we develop a boundary $\varepsilon$-regularity theory for optimal transport maps between bounded open sets with $C^{1,α}$-boundary. Our main result asserts sharp $C^{1,α}$-regularity of transport maps at the boundary in form of a linear estimate under certain assumptions: The main quantitative assumptions are that the local nondimensionalized transport cost is small and that the boundaries are locally almost flat in $C^{1,α}$. Our method is completely variational and builds on the recently developed interior regularity theory.
We establish interior and up to the boundary Hölder regularity estimates for weak solutions of the Dirichlet problem for the fractional $g-$Laplacian with bounded right hand side and $g$ convex. These are the first regularity results available in the literature for integro-differential equations in the context of fractional Orlicz-Sobolev spaces.
In this note we consider the initial boundary value problem for the heat equation on cylinders based on Lipschitz domains with Besov data. We obtain a regularity exponent for the solution that improves the rate of convergence of nonlinear approximation methods.
We investigate the regularity in $L^p$ ($p>2$) of the gradient of any weak solution of a Cauchy problem with mixed Neumann-power type boundary conditions. Under suitable assumptions we prove the existence of weak solutions that satisfy explicit estimates. Some considerations on the steady-state regularity are discussed.
We obtain the existence, regularity, uniqueness of the non-stationary problems of a class of non-Newtonian fluid is a power law fluid with $p>9/5$ in the half-space under slip boundary conditions.
We study regularity properties of the free boundary for solutions of the porous medium equation with the presence of drift. We show the $C^{1,α}$ regularity of the free boundary, when the solution is directionally monotone in space variable in a local neighborhood. The main challenge lies in establishing a local non-degeneracy estimate (Theorem 1.3 and Proposition 1.5), which appears new even for the zero drift case.
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 consider the Euler equations in a three-dimensional Gevrey-class bounded domain. Using Lagrangian coordinates we obtain the Gevrey-class persistence of the solution, up to the boundary, with an explicit estimate on the rate of decay of the Gevrey-class regularity radius.
