We study the divergence form second-order elliptic equations with mixed Dirichlet-conormal boundary conditions. The unique $W^{1,p}$ solvability is obtained with $p$ being in the optimal range $(4/3,4)$. The leading coefficients are assumed to have small mean oscillations and the boundary of domain is Reifenberg flat. We also assume that the two boundary conditions are separated by some Reifenberg flat set of co-dimension $2$ on the boundary.
We prove the solvability in Sobolev spaces of the conormal derivative problem for the stationary Stokes system with irregular coefficients on bounded Reifenberg flat domains. The coefficients are assumed to be merely measurable in one direction, which may differ depending on the local coordinate systems, and have small mean oscillations in the other directions. In the course of the proof, we use a local version of the Poincaré inequality on Reifenberg flat domains, the proof of which is of independent interest.
We consider the mixed Dirichlet-conormal problem on irregular domains in $\mathbb{R}^d$. Two types of regularity results will be discussed: the $W^{1,p}$ regularity and a non-tangential maximal function estimate. The domain is assumed to be Reifenberg-flat, and the interfacial boundary is either Reifenberg-flat of co-dimension $2$ or is locally sufficiently close to a Lipschitz function of $m$ variables, where $m=1,\ldots,d-2$. For the non-tangential maximal function estimate, we also require the domain to be Lipschitz.
We construct Green functions of conormal derivative problems for the stationary Stokes system with measurable coefficients in a two dimensional Reifenberg flat domain.
We prove $L_p$ estimates of solutions to a conormal derivative problem for divergence form complex-valued higher-order elliptic systems on a half space and on a Reifenberg flat domain. The leading coefficients are assumed to be merely measurable in one direction and have small mean oscillations in the orthogonal directions on each small ball. Our results are new even in the second-order case. The corresponding results for the Dirichlet problem were obtained recently in [15].
We consider the mixed Dirichlet-conormal problem for the heat equation on cylindrical domains with a bounded and Lipschitz base $Ω\subset \mathbb{R}^d$ and a time-dependent separation $Λ$. Under certain mild regularity assumptions on $Λ$, we show that for any $q>1$ sufficiently close to 1, the mixed problem in $L_q$ is solvable. In other words, for any given Dirichlet data in the parabolic Riesz potential space $\mathcal{L}_q^1$ and the Neumann data in $L_q$, there is a unique solution and the non-tangential maximal function of its gradient is in $L_q$ on the lateral boundary of the domain. Wh…
We consider elliptic equations and systems in divergence form with the conormal or the Robin boundary conditions, with small BMO (bounded mean oscillation) or variably partially small BMO coefficients. We propose a new class of domains which are locally close to a half space (or convex domains) with respect to the Lebesgue measure in the system (or scalar, respectively) case, and obtain the $W^1_p$ estimate for the conormal problem with the homogeneous boundary condition. Such condition is weaker than the Reifenberg flatness condition, for which the closeness is measured in terms of the Hausdo…
We obtain the regularity of solutions in Sobolev spaces for the mixed Dirichlet-conormal problem for parabolic operators in cylindrical domains with time-dependent separations, which is the first of its kind. Assuming the boundary of the domain to be Reifenberg-flat and the separation to be locally sufficiently close to a Lipschitz function of $m$ variables, where $m=0,\ldots,d-2$, with respect to the Hausdorff distance, we prove the unique solvability for $p\in (2(m+2/(m+3),2(m+2)/(m+1)))$. In the case when $m=0$, the range $p\in(4/3,4)$ is optimal in view of the known results for Laplace equ…
We establish $L_{q,p}$-estimates and solvability for mixed Dirichlet-conormal problems for parabolic equations in a cylindrical Reifenberg-flat domain with a rough time-dependent separation.
We study global regularity for solutions of quasilinear elliptic equations of the form $÷\A(x,u,\nabla u) = ÷\F $ in rough domains $Ω$ in $\R^n$ with nonhomogeneous Dirichlet boundary condition. The vector field $\A$ is assumed to be continuous in $u$, and its growth in $\nabla u$ is like that of the $p$-Laplace operator. We establish global gradient estimates in weighted Morrey spaces for weak solutions $u$ to the equation under the Reifenberg flat condition for $Ω$, a small BMO condition in $x$ for $\A$, and an optimal condition for the Dirichlet boundary data.
In this paper we establish new quantitative stability estimates with respect to domain perturbations for all the eigenvalues of both the Neumann and the Dirichlet Laplacian. Our main results follow from an abstract lemma stating that it is actually sufficient to provide an estimate on suitable projection operators. Whereas this lemma could be applied under different regularity assumptions on the domain, here we use it to estimate the spectrum in Lipschitz and in so-called Reifenberg-flat domains. Our argument also relies on suitable extension techniques and on an estimate on the decay of the e…
The purpose of this paper is to study the mixed Dirichlet-Neumann boundary value problem for the semilinear Darcy-Forchheimer-Brinkman system in $L_p$-based Besov spaces on a bounded Lipschitz domain in ${\mathbb R}^3$, with $p$ in a neighborhood of $2$. This system is obtained by adding the semilinear term $|{\bf u}|{\bf u}$ to the linear Brinkman equation. {First, we provide some results about} equivalence between the Gagliardo and non-tangential traces, as well as between the weak canonical conormal derivatives and the non-tangential conormal derivatives. Various mapping and invertibility p…
We prove the time analyticity for weak solutions of inhomogeneous parabolic equations with measurable coefficients in the half space with either the Dirichlet boundary condition or the conormal boundary condition under the assumption that the solution and the source term have the exponential growth of order $2$ with respect to the space variables. We also obtain the time analyticity for bounded mild solutions of the incompressible Navier-Stokes equations in the half space with the Dirichlet boundary condition. Our work is an extension of the recent work by Zhang [Proc. Amer. Math. Soc. 148 (20…
We probe the application of the calculus of conormal distributions, in particular the Pull-Back and Push-Forward Theorems, to the method of layer potentials to solve the Dirichlet and Neumann problems on half-spaces. We obtain full asymptotic expansions for the solutions (provided these exist for the boundary data) and a new proof of the classical jump relations as well as Siegel and Talvila's growth estimates, using techniques that can be generalised to geometrically more complex settings. This is intended to be a first step to understanding the method of layer potentials in the setting of ce…
The solvability in Sobolev spaces is proved for divergence form second order elliptic equations in the whole space, a half space, and a bounded Lipschitz domain. For equations in the whole space or a half space, the leading coefficients $a^{ij}$ are assumed to be measurable in one direction and have small BMO semi-norms in the other directions. For equations in a bounded domain, additionally we assume that $a^{ij}$ have small BMO semi-norms in a neighborhood of the boundary of the domain. We give a unified approach of both the Dirichlet boundary problem and the conormal derivative problem. We …
In this paper we study the internal exact controllability for a second order linear evolution equation defined in a two-component domain. On the interface we prescribe a jump of the solution proportional to the conormal derivatives, meanwhile a homogeneous Dirichlet condition is imposed on the exterior boundary. Due to the geometry of the domain, we apply controls through two regions which are neighborhoods of a part of the external boundary and of the whole interface, respectively. Our approach to internal exact controllability consists in proving an observability inequality by using the Lagr…
Let $n\ge2$ and $Ω\subset\mathbb{R}^n$ be a bounded NTA domain. In this article, the authors investigate (weighted) global gradient estimates for Dirichlet boundary value problems of second order elliptic equations of divergence form with an elliptic symmetric part and a BMO anti-symmetric part in $Ω$. More precisely, for any given $p\in(2,\infty)$, the authors prove that a weak reverse Hölder inequality with exponent $p$ implies the global $W^{1,p}$ estimate and the global weighted $W^{1,q}$ estimate, with $q\in[2,p]$ and some Muckenhoupt weights, of solutions to Dirichlet boundary value prob…
A non-homogeneous mixed local and nonlocal problem in divergence form is investigated for the validity of the global Calderón-Zygmund estimate for the weak solution to the Dirichlet problem of a nonlinear elliptic equation. We establish an optimal Calderón-Zygmund theory by finding not only a minimal regularity requirement on the mixed local and nonlocal operators but also a lower level of geometric assumption on the boundary of the domain for the global gradient estimate. More precisely, assuming that the nonlinearity of the local operator, whose prototype is the classical $(-Δ_p)^1$-Laplace …
Let (M,g) be a compact Riemmanian manifold with non-empty boundary. Consider the second order hyperbolic initial-boundary value problem (δ_t^2 + P(x,D))u = 0 in (0,T) x M, u(0,x) = δ_t u(0,x) = 0 for x in M, u(t,x) = f(t,x) on (0,T) x δM; where P(x,D) is a first-order perturbation of the Laplace-Beltrami operator on (M,g). Let b and q be the covector field and the potential of P(x,D), respectively, in M. We prove Hölder type stability estimates near generic simple Riemannian metrics for the inverse problem of recovering g, b, and q from the hyperbolic Dirichlet-to-Neumann(DN) map associated, f…
Given any elliptic system with $t$-independent coefficients in the upper-half space, we obtain representation and trace for the conormal gradient of solutions in the natural classes for the boundary value problems of Dirichlet and Neumann types with area integral control or non-tangential maximal control. The trace spaces are obtained in a natural range of boundary spaces which is parametrized by properties of some Hardy spaces. This implies a complete picture of uniqueness vs solvability and well-posedness.
We consider the Klein-Gordon equation on asymptotically anti-de Sitter spacetimes subject to Neumann or Robin (or Dirichlet) boundary conditions, and prove propagation of singularities along generalized broken bicharacteristics. The result is formulated in terms of conormal regularity relative to a twisted Sobolev space. We use this to show the uniqueness, modulo regularising terms, of parametrices with prescribed b-wavefront set. Furthermore, in the context of quantum fields, we show a similar result for two-point functions satisfying a holographic Hadamard condition on the b-wavefront set.
We formulate and study an elliptic transmission-like problem combining local and nonlocal elements. Let $\mathbb{R}^{n}$ be separated into two components by a smooth hypersurface $Γ$. On one side of $Γ$, a function satisfies a local second-order elliptic equation. On the other, it satisfies a nonlocal one of lower order. In addition, a nonlocal transmission condition is imposed across the interface $Γ$, which has a natural variational interpretation. We deduce the existence of solutions to the corresponding Dirichlet problem, and show that under mild assumptions they are Hölder continuous, fol…
We continue the development, by reduction to a first order system for the conormal gradient, of $L^2$ \textit{a priori} estimates and solvability for boundary value problems of Dirichlet, regularity, Neumann type for divergence form second order, complex, elliptic systems. We work here on the unit ball and more generally its bi-Lipschitz images, assuming a Carleson condition as introduced by Dahlberg which measures the discrepancy of the coefficients to their boundary trace near the boundary. We sharpen our estimates by proving a general result concerning \textit{a priori} almost everywhere no…
We develop new solvability methods for divergence form second order, real and complex, elliptic systems above Lipschitz graphs, with $L_2$ boundary data. The coefficients $A$ may depend on all variables, but are assumed to be close to coefficients $A_0$ that are independent of the coordinate transversal to the boundary, in the Carleson sense $\|A-A_0\|_C$ defined by Dahlberg. We obtain a number of {\em a priori} estimates and boundary behaviour results under finiteness of $\|A-A_0\|_C$. Our methods yield full characterization of weak solutions, whose gradients have $L_2$ estimates of a non-tan…
We study well-posedness of boundary value problems of Dirichlet and Neumann type for elliptic systems on the upper half-space with coefficients independent of the transversal variable, and with boundary data in fractional Besov-Hardy-Sobolev (BHS) spaces. Our approach uses minimal assumptions on the coefficients, and in particular does not require De Giorgi-Nash-Moser estimates. Our results are completely new for the Hardy-Sobolev case, and in the Besov case they extend results recently obtained by Barton and Mayboroda. First we develop a theory of BHS spaces adapted to operators which are bis…
We prove a number of \textit{a priori} estimates for weak solutions of elliptic equations or systems with vertically independent coefficients in the upper-half space. These estimates are designed towards applications to boundary value problems of Dirichlet and Neumann type in various topologies. We work in classes of solutions which include the energy solutions. For those solutions, we use a description using the first order systems satisfied by their conormal gradients and the theory of Hardy spaces associated with such systems but the method also allows us to design solutions which are not n…
