We study the Dirichlet problem in Lipschitz domains and with boundary data in Besov spaces, for divergence form strongly elliptic systems of arbitrary order, with bounded, complex-valued coefficients. Our main result gives a sharp condition on the local mean oscillations of the coefficients of the differential operator and the unit normal to the boundary (which is automatically satisfied if these functions belong to space VMO) guaranteeing that the solution operator associated with this problem is an isomorphism.
We establish two commutator estimates for the Dirichlet-to-Neumann map associated with a second-order elliptic system in divergence form in Lipschitz domains. Our approach is based on Dahlberg's bilinear estimates.
We introduce the class of quasiconvex Lipschitz domains, which covers both $C^1$ and convex domains, to the study of boundary unique continuation for elliptic operators. In particular, we prove the upper bound of the size of nodal sets for Dirichlet eigenfunctions of general elliptic equations in bounded quasiconvex Lipschitz domains. Our result is new even for Laplace operator in convex domains.
Using a distributed representation formula of the Gateaux derivative of the Dirichlet to Neumann map with respect to movements of a polygonal conductivity inclusion, [11], we extend the results obtained in [8] proving global Lipschitz stability for the determination of a polygonal conductivity inclusion embedded in a layered medium from knowledge of the Dirichlet to Neumann map.
We study spectral estimates of the divergence form uniform elliptic operators $-\textrm{div}[A(z) \nabla f(z)]$ with the Dirichlet boundary condition in bounded non-Lipschitz simply connected domains $Ω\subset \mathbb C$. The suggested method is based on the quasiconformal composition operators on Sobolev spaces with applications to the weighted Poincaré-Sobolev inequalities.
In the paper, we establish commutator estimates for the Dirichlet-to-Neumann map of Stokes systems in Lipschitz domains. The approach is based on Dahlberg's bilinear estimates, and the results may be regarded as an extension of [Dahlberg, Poisson semigroups and singular integrals, Proc. Amer. Math. Soc., 97(1986), no.1, 41-48.] and [Shen, Commutator estimates for the Dirichlet-to-Neumann map in Lipschitz domains, Some topics in harmonic analysis and applications, 369C384, Adv. Lect. Math. (ALM)34, Int. Press, Somerville, MA, 2016.] to Stokes systems.
We study the $L^p$ Dirichlet problem for the Stokes system on Lipschitz domains. For any fixed $p>2$, we show that a reverse Hölder condition with exponent $p$ is sufficient for the solvability of the Dirichlet problem with boundary data in $L^p_N(\partialΩ,\rn{d})$. Then we obtain a much simpler condition which implies the reverse Hölder condition. Finally, we establish the solvability ofthe $L^p$ Dirichlet problem for $d\geq 4$ and $2-\varepsilon<p<\frac{2(d-1)}{d-3}+\varepsilon$.
We consider second order uniformly elliptic operators of divergence form in $\R^{d+1}$ whose coefficients are independent of one variable. Under the Lipschitz condition on the coefficients we characterize the domain of the Poisson operators and the Dirichlet-Neumann maps in the Sobolev space $H^s(\R^d)$ for each $s\in [0,1]$. Moreover, we also show a factorization formula for the elliptic operator in terms of the Poisson operator.
In this paper, we study a Dirichlet problem of a fractional Laplace equation in a bounded Lipschitz domain in $ \R, n \geq 2$. Our main result is that for the given data $F \in \dot H^s(\Om^c), 0 < s<1$, we find the function which satisfies that $\De^s u =0$ in $\Om$, $u|_{\Om^c} =F$ and $|u|_{\dot{H}^s(\R)} \leq c |F|_{\dot H^s(\Om^c)}$. Furthermore, we represent the solution with an integral operator.
This is a survey of results mostly relating elliptic equations and systems of arbitrary even order with rough coefficients in Lipschitz graph domains. Asymptotic properties of solutions at a point of a Lipschitz boundary are also discussed.
Let $\mathcal{L}$ be a second-order linear elliptic operator with complex coefficients. We show that if the $L^p$ Dirichlet problem for the elliptic system $\mathcal{L}(u)=0$ in a fixed Lipschitz domain $Ω$ in $\mathbb{R}^d$ is solvable for some $1<p=p_0< \frac{2(d-1)}{d-2}$, then it is solvable for all $p$ satisfying $$ p_0<p< \frac{2(d-1)}{d-2} +\varepsilon. $$ The proof is based on a real-variable argument. It only requires that local solutions of $\mathcal{L}(u)=0$ satisfy a boundary Cacciopoli inequality.
We settle the issue of well-posedness for the Dirichlet problem for a higher order elliptic system ${\mathcal L}(x,D_x)$ with complex-valued, bounded, measurable coefficients in a Lipschitz domain $Ω$, with boundary data in Besov spaces. The main hypothesis under which our principal result is established is in the nature of best possible and requires that, at small scales, the mean oscillations of the unit normal to $\partialΩ$ and of the coefficients of the differential operator ${\mathcal L}(x,D_x)$ are not too large.
We consider the Dirichlet and Neumann problems for second-order linear elliptic equations: \[ -\triangle u +\mathrm{div}(u\mathbf{b}) =f \quad\text{ and }\quad -\triangle v -\mathbf{b} \cdot \nabla v =g \] in a bounded Lipschitz domain $Ω$ in $\mathbb{R}^n$ $(n\geq 3)$, where $\mathbf{b}:Ω\rightarrow \mathbb{R}^n$ is a given vector field. Under the assumption that $\mathbf{b} \in L^{n}(Ω)^n$, we first establish existence and uniqueness of solutions in $L_α^{p}(Ω)$ for the Dirichlet and Neumann problems. Here $L_α^{p}(Ω)$ denotes the Sobolev space (or Bessel potential space) with the pair $(α,p…
We study the homogeneous elliptic systems of order $2\ell$ with real constant coefficients on Lipschitz domains in $R^n$, $n\ge 4$. For any fixed $p>2$, we show that a reverse Hölder condition with exponent $p$ is necessary and sufficient for the solvability of the Dirichlet problem with boundary data in $L^p$. We also obtain a simple sufficient condition. As a consequence, we establish the solvability of the $L^p$ Dirichlet problem for $n\ge 4$ and $2-\e< p<\frac{2(n-1)}{n-3} +\e$. The range of $p$ is known to be sharp if $\ell\ge 2$ and $4\le n\le 2\ell +1$. For the polyharmonic equation, th…
In this paper we consider the problem of determining an unknown pair $λ$, $μ$ of piecewise constant Lamé parameters inside a three dimensional body from the Dirichlet to Neumann map. We prove uniqueness and Lipschitz continuous dependence of $λ$ and $μ$ from the Dirichlet to Neumann map.
This paper is build around the stationary anisotropic Stokes and Navier-Stokes systems with an $L^\infty$-tensor coefficient satisfying an ellipticity condition in terms of symmetric matrices in ${\mathbb R}^{n\times n}$ with zero matrix traces. We analyze, in $L^2$-based Sobolev spaces, the non-homogeneous boundary value problems of Dirichlet-transmission type for the anisotropic Stokes and Navier-Stokes systems in a compressible framework in a bounded Lipschitz domain with a Lipschitz interface in ${\mathbb R}^n$, $n\ge 2$ ($n=2,3$ for the nonlinear problems). The transversal interface inter…
We study generalized Robin boundary conditions, Robin-to-Dirichlet maps, and Krein-type resolvent formulas for Schrödinger operators on bounded Lipschitz domains in $\bbR^n$, $n\ge 2$. We also discuss the case of bounded $C^{1,r}$-domains, $(1/2)<r<1$.
A Characterization of Solvability of the Parabolic $L^p$ Dirichlet Problem on Lipschitz Graph Domains Via Carleson Measure Estimates of Bounded Solutions
Using Maz'ya type integral identities with power weights, we obtain new boundary estimates for biharmonic functions on Lipschitz and convex domains in $R^n$. For $n\ge 8$, combined with a result in \cite{S2}, these estimates lead to the solvability of the $L^p$ Dirichlet problem for the biharmonic equation on Lipschitz domains for a new range of $p$. In the case of convex domains, the estimates allow us to show that the $L^p$ Dirichlet problem is uniquely solvable for any $2-\e<p<\infty$ and $n\ge 4$.
We develop a new approach to the $L^p$ Dirichlet problem via $L^2$ estimates and reverse Holder inequalities. We apply this approach to second order elliptic systems and the polyharmonic equation on a bounded Lipschitz domain $Ω$ in $R^n$. For $n\ge 4$ and $2-ε<p<2(n-1)/(n-3)+ε$, we establish the solvability of the Dirichlet problem with boundary value data in $L^p(\partialΩ)$. In the case of the polyharmonic equation $Δ^{\ell}u=0$ with $\ell\ge 2$, the range of $p$ is sharp if $4\le n \le 2\ell +1$.
We consider the Dirichlet-to-Neumann operator in strip-like and half-space domains with Lipschitz boundary. It is shown that the quadratic form generated by the Dirichlet-to-Neumann operator controls some sharp homogeneous fractional Sobolev norm. As an application, we prove that the global Lipschitz solutions constructed in \cite{DGN} for the one-phase Muskat problem decays exponentially in time in any Hölder norm $C^α$, $α\in (0, 1)$.
In this paper, we investigate some properties to solutions $f$ to the Yukawa PDE: $Δf=λf$ in the unit ball $\mathbb{B}^n$ of $\mathbb{C}^n$, where $λ$ is a nonnegative constant. First, we prove that the answer to an open problem of Girela and Peláez, concerning such solutions, is positive. Then we study relationships on such solutions between the bounded mean oscillation and Lipschitz-type spaces. At last, we discuss Dirichlet-type energy integrals on such solutions in the unit ball of $\mathbb{C}^{n}$ and give an application.
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.
The Dirichlet-to-Neumann map associated to an elliptic partial differential equation becomes multivalued when the underlying Dirichlet problem is not uniquely solvable. The main objective of this paper is to present a systematic study of the Dirichlet-to-Neumann map and its inverse, the Neumann-to-Dirichlet map, in the framework of linear relations in Hilbert spaces. Our treatment is inspired by abstract methods from extension theory of symmetric operators, utilizes the general theory of linear relations and makes use of some deep results on the regularity of the solutions of boundary value pr…
We give a quantization analysis to an elliptic system (Gelfand-Liouville type system) with Dirichlet condition. An application, we have a com-pactness result for an elliptic system with Lipschitz condition.
We consider a bounded connected open set $Ω\subset {\rm R}^d$ whose boundary $Γ$ has a finite $(d-1)$-dimensional Hausdorff measure. Then we define the Dirichlet-to-Neumann operator $D_0$ on $L_2(Γ)$ by form methods. The operator $-D_0$ is self-adjoint and generates a contractive $C_0$-semigroup $S = (S_t)_{t > 0}$ on $L_2(Γ)$. We show that the asymptotic behaviour of $S_t$ as $t \to \infty$ is related to properties of the trace of functions in $H^1(Ω)$ which $Ω$ may or may not have.
In this paper we study existence and spectral properties for weak solutions of Neumann and Dirichlet problems associated to second order linear degenerate elliptic partial differential operators $X$, with rough coefficients of the form $$X=-\text{div}(P\nabla )+{\bf HR}+{\bf S^\prime G} +F$$ in a geometric homogeneous space setting where the $n\times n$ matrix function $P=P(x)$ is allowed to degenerate. We give a maximum principle for weak solutions of $Xu\leq 0$ and follow this with a result describing a relationship between compact projection of the degenerate Sobolev space $QH^{1,p}$ into $…
We apply new results on free boundary regularity of one-phase almost minimizers in periodic media to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to apply the optimal $L^2$ homogenization theory in Lipschitz domains of Kenig, Lin and Shen. A key idea, to deal with the hard constraint on the volume, is a combination of a large scale almost dilation…
Weakly harmonic maps from a domain $Ω$ (the upper half-space $\Rd$ or a bounded $C^{1,α}$ domain, $α\in (0,1]$) into a smooth closed manifold are studied. Prescribing small Dirichlet data in either of the classes $L^{\infty}(\partialΩ)$ or $BMO(\partialΩ)$, we establish solvability of the resulting boundary value problems by means of a nonvariational method. As a by-product, solutions are shown to be locally smooth, $C^{\infty}_{loc}$. Moreover, we show that boundary data can be chosen large in the underlying topologies if $Ω$ is smooth and bounded by perturbing strictly stable smooth harmonic…
We show that a bilinear estimate for biharmonic functions in a Lipschitz domain $Ω$is equivalent to the solvability of the Dirichlet problem for the biharmonic equationin $Ω$. As a result, we prove that for any given bounded Lipschitz domain $Ω$ in $\rn{d}$ and $1<q<\infty$, the solvability of the $L^{q}$ Dirichlet problem for $Δ^2 u=0$ in $Ω$ with boundary data in ${\emph{WA}}^{1,q}(\partialΩ)$ is equivalent to that of the $L^p$ regularity problem for $Δ^2 u=0$ in $Ω$ with boundary data in ${\emph{WA}}^{2,p}(\partialΩ)$, where $\frac{1}{p} +\frac{1}{q}=1$. This duality relation, together with…
In this paper we study the resolvent of wave operators on open and bounded Lipschitz domains of $\mathbb{R}^N$ with Dirichlet or Neumann boundary conditions. We give results on existence and estimates of the resolvent for the real and complex cases.
We consider the mixed boundary value problem or Zaremba's problem for the Laplacian in a bounded Lipschitz domain in R^n. We specify Dirichlet data on part of the boundary and Neumann data on the remainder of the boundary. We assume that the boundary between the sets where we specify Dirichlet and Neumann data is a Lipschitz surface. We require that the Neumann data is in L^p and the Dirichlet data is in the Sobolev space of functions having one derivative in L^p for some p near 1. Under these conditions, there is a unique solution to the mixed problem with the non-tangential maximal function …
Let $Ω\subset {\bf R}^d$ be an open bounded set with Lipschitz boundary $Γ$. Let $D_V$ be the Dirichlet-to-Neumann operator with respect to a purely second-order symmetric divergence form operator with real Lipschitz continuous coefficients and a positive potential $V$. We show that the semigroup generated by $-D_V$ leaves $C(Γ)$ invariant and that the restriction of this semigroup to $C(Γ)$ is a $C_0$-semigroup. We investigate positivity and spectral properties of this semigroup. We also present results where $V$ is allowed to be negative. Of independent interest is a new criterium for semigr…
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…
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 interior Dirichlet boundary value problem for the diffusion equation in non-homogeneous media is reduced to a system of Boundary-Domain Integral Equations (BDIEs) employing the parametrix obtained in (Fresneda-Portillo, 2019) different from (Chkadua et. al 2009). We further extend the results obtained in (Fresneda-Portillo, 2019) for the mixed problem in a smooth domain with $L^{2}(Ω)$ right hand side to Lipschitz domains and source term $f$ in the Sobolev space $H^{-1}(Ω)$, where neither the classical nor the canonical co-normal derivatives are well defined. Equivalence between the system…
This paper is concerned with boundary regularity estimates in the homogenization of elliptic equations with rapidly oscillating and high-contrast coefficients. We establish uniform nontangential-maximal-function estimates for the Dirichlet, regularity, and Neumann problems with $L^2$ boundary data in a periodically perforated Lipschitz domain.
We prove wellposedness of the Cauchy problem for the nonlinear Schrodinger equation for any defocusing power nonlinearity on a domain of the plane with Dirichlet boundary conditions. The main argument is based on a generalized Strichartz inequality on manifolds with Lipschitz metric.
We study the optimal sets $Ω^\ast\subset\mathbb{R}^d$ for spectral functionals $F\big(λ_1(Ω),\dots,λ_p(Ω)\big)$, which are bi-Lipschitz with respect to each of the eigenvalues $λ_1(Ω),\dots,λ_p(Ω)$ of the Dirichlet Laplacian on $Ω$, a prototype being the problem $$ \min{\big\{λ_1(Ω)+\dots+ λ_p(Ω)\;:\;Ω\subset\mathbb{R}^d,\ |Ω|=1\big\}}. $$ We prove the Lipschitz regularity of the eigenfunctions $u_1,\dots,u_p$ of the Dirichlet Laplacian on the optimal set $Ω^*$ and, as a corollary, we deduce that $Ω^*$ is open. For functionals depending only on a generic subset of the spectrum, as for example …
Using the critical point theory for convex, lower semicontinuous perturbations of locally Lipschitz functionals, we prove the solvability of the discontinuous Dirichlet problem involving the operator $u\mapsto{div} (\frac{\nabla u}{\sqrt{1-|\nabla u|^2}})$.
We prove Besov regularity estimates for the solution of the Dirichlet problem involving the integral fractional Laplacian of order $s$ in bounded Lipschitz domains $Ω$: \[ \begin{aligned} \|u\|_{\dot{B}^{s+r}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, & \quad r = \min\{s,1/2\}, & \quad \mbox{if } s \neq 1/2, \\ \|u\|_{\dot{B}^{1-ε}_{2,\infty}(Ω)} \le C \|f\|_{L^2(Ω)}, & \quad ε\in (0,1), & \quad \mbox{if } s = 1/2, \end{aligned} \] with explicit dependence of $C$ on $s$ and $ε$. These estimates are consistent with the regularity on smooth domains and show that there is no loss of regularity due to L…
We establish asymptotic bounds on the L^p norms of spectrally localized functions in the case of two-dimensional Dirichlet forms with coefficients of Lipschitz regularity. These bounds are new for the range p>6. A key step in the proof is bounding the rate at which energy spreads for solutions to hyperbolic equations with Lipschitz coefficients.
We establish uniform Lipschitz estimates for second-order elliptic systems in divergence form with rapidly oscillating, almost-periodic coefficients. We give interior estimates as well as estimates up to the boundary in bounded $C^{1,α}$ domains with either Dirichlet or Neumann data. The main results extend those in the periodic setting due to Avellaneda and Lin for interior and Dirichlet boundary estimates and later Kenig, Lin, and Shen for the Neumann boundary conditions. In contrast to these papers, our arguments are constructive (and thus the constants are in principle computable) and the …
The present paper commences the study of higher order differential equations in composition form. Specifically, we consider the equation Lu=\Div B^*\nabla(a\Div A\nabla u)=0, where A and B are elliptic matrices with complex-valued bounded measurable coefficients and a is an accretive function. Elliptic operators of this type naturally arise, for instance, via a pull-back of the bilaplacian Δ^2 from a Lipschitz domain to the upper half-space. More generally, this form is preserved under a Lipschitz change of variables, contrary to the case of divergence-form fourth order differential equations.…
We consider the problem to reconstruct a wave speed $c \in C^\infty(M)$ in a domain $M \subset \R^n$ from acoustic boundary measurements modelled by the hyperbolic Dirichlet-to-Neumann map $Λ$. We introduce a reconstruction formula for $c$ that is based on the Boundary Control method and incorporates features also from the complex geometric optics solutions approach. Moreover, we show that the reconstruction formula is locally Lipschitz stable for a low frequency component of $c^{-2}$ under the assumption that the Riemannian manifold $(M, c^{-2} dx^2)$ has a strictly convex function with no cr…
Given a Schrödinger differential expression on an exterior Lipschitz domain we prove strict inequalities between the eigenvalues of the corresponding selfadjoint operators subject to Dirichlet and Neumann or Dirichlet and mixed boundary conditions, respectively. Moreover, we prove a strict inequality between the eigenvalues of two different elliptic differential operators on the same domain with Dirichlet boundary conditions.
We prove regularity results such as interior Lipschitz regularity and boundary continuity for the Cauchy-Dirichlet problem associated to a class of parabolic equations inspired by the evolutionary $p$-Laplacian, but extending it at a wide scale. We employ a regularization technique of viscosity-type that we find interesting in itself.
This article gives an existence theory for weak solutions of second order non-elliptic linear Dirichlet problems of the form {eqnarray} \nabla'P(x)\nabla u +{\bf HR}u+{\bf S'G}u +Fu &=& f+{\bf T'g} \textrm{in}Θu&=&ϕ\textrm{on}\partial Θ.{eqnarray} The principal part $ξ'P(x)ξ$ of the above equation is assumed to be comparable to a quadratic form ${\cal Q}(x,ξ) = ξ'Q(x)ξ$ that may vanish for non-zero $ξ\in\mathbb{R}^n$. This is achieved using techniques of functional analysis applied to the degenerate Sobolev spaces $QH^1(Θ)=W^{1,2}(Ω,Q)$ and $QH^1_0(Θ)=W^{1,2}_0(Θ,Q)$ as defined in recent work …
We consider the problem of determining a polyhedral conductivity inclusion embedded in a homogeneous isotropic medium from boundary measurements. We prove global Lipschitz stability for the polyhedral inclusion from the local Dirichlet-to-Neumann map extending in a highly nontrivial way the results obtained in [18] and [19] in the two-dimensional case to the three-dimensional setting.
In this paper we study the nonlinear Dirichlet problem involving p(x)-Laplacian (hemivariational inequality) with nonsmooth potential. By using nonsmooth critical point theory for locally Lipschitz functionals due to Chang and the properties of variational Sobolev spaces, we establish conditions which ensure the existence of solution for our problem.
For a class of fully nonlinear equations having second order operators which may be singular or degenerate when the gradient of the solutions vanishes, and having first order terms with power growth, we prove the existence and uniqueness of suitably defined viscosity solution of Dirichlet problem and we further show that it is a Lipschitz continuous function.
Stents are medical devices designed to modify blood flow in aneurysm sacs, in order to prevent their rupture. Some of them can be considered as a locally periodic rough boundary. In order to approximate blood flow in arteries and vessels of the cardio-vascular system containing stents, we use multi-scale techniques to construct boundary layers and wall laws. Simplifying the flow we turn to consider a 2-dimensional Poisson problem that conserves essential features related to the rough boundary. Then, we investigate convergence of boundary layer approximations and the corresponding wall laws in …
