In the following paper, one studies, given a bounded, connected open set $Ω$ $\subseteq$ R n , $κ$ > 0, a positive Radon measure $μ$ 0 in $Ω$ and a (signed) Radon measure $μ$ on $Ω$ satisfying $μ$($Ω$) = 0 and |$μ$| $κ$$μ$ 0 , the possibility of solving the equation div u = $μ$ by a vector field u satisfying |u| $κ$w on $Ω$ (where w is an integrable weight only related to the geometry of $Ω$ and to $μ$ 0), together with a mild boundary condition. This extends results obtained in [4] for the equation div u = f , improving them on two aspects: one works here with the divergence equation with measure data, and also construct a weight w that relies in a softer way on the geometry of $Ω$, improving its behavior (and hence the a priori behavior of the solution we construct) substantially in some instances. The method used in this paper follows a constructive approach of Bogovskii type.
In this work, we present new results on solvability of the equation $A^{*}(D)f=μ$ for $f \in L^{p}$ and positive measure data $μ$ associated to an elliptic homogeneous linear differential operator $A(D)$ of order m. Our method is based on $(m,p)-$energy control of $μ$ giving a natural characterization for solutions when $1\leq p < \infty$. We also obtain sufficient conditions in the limiting case $p=\infty$ using {new $L^{1}$ estimates on measures for elliptic and canceling operators.
Let $Ω\subset \rr^2$ be a bounded simply connected domain. We show that, for a fixed (every) $p\in (1,\fz),$ the divergence equation $\mathrm{div}\,\mathbf{v}=f$ is solvable in $W^{1,p}_0(Ω)^2$ for every $f\in L^p_0(Ω)$, if and only if $Ω$ is a John domain, if and only if the weighted Poincaré inequality $$\int_Ω|u(x)-u_Ω|^q\,dx\le C\int_Ω|\nabla u(x)|^q\dist(x,\partial Ω)^q\,dx$$ holds for some (every) $q\in [1,\fz)$. In higher dimensions similar results are proved under some additional assumptions on the domain in question.
We prove that the multidimensional dimensional initial value problem for the Navier-Stokes equations is globally well-posed in the so-called Moment and Grand Lebesgue Spaces (GLS), and give some a priory estimations for solution in this spaces.
We provide a self-contained proof of the solvability and regularity of a Hodge-type elliptic system, wherein the divergence and curl of a vector field are prescribed in an open, bounded, Sobolev-class domain, and either the normal component or the tangential components of the vector field are prescribed on the boundary. The proof is based on a regularity theory for vector elliptic equations set on Sobolev-class domains and with Sobolev-class coefficients.
We consider divergence form elliptic operators of the form $L=-\dv A(x)\nabla$, defined in $R^{n+1} = \{(x,t)\in R^n \times R \}$, $n \geq 2$, where the $L^{\infty}$ coefficient matrix $A$ is $(n+1)\times(n+1)$, uniformly elliptic, complex and $t$-independent. We show that for such operators, boundedness and invertibility of the corresponding layer potential operators on $L^2(\mathbb{R}^{n})=L^2(\partial\mathbb{R}_{+}^{n+1})$, is stable under complex, $L^{\infty}$ perturbations of the coefficient matrix. Using a variant of the $Tb$ Theorem, we also prove that the layer potentials are bounded a…
We establish Dahlberg's perturbation theorem for non-divergence form operators L = A\nabla^2. If L_0 and L_1 are two operators on a Lipschitz domain such that the L^p Dirichlet problem for the operator L_0 is solvable for some p in (1,\infty) and the coefficients of the two operators are sufficiently close in the sense of Carleson measure, then the L^p Dirichlet problem for the operator L_1 is solvable for the same p. This is an improvement of the A_{\infty} version of this result proved by Rios in "The L^p Diriclet problem and nondivergence harmonic measure" (Trans. AMS 355, 2 (2003)). As a c…
We consider uniformly parabolic equations and inequalities of second order in the non-divergence form with drift \[-u_{t}+Lu=-u_{t}+\sum_{ij}a_{ij}D_{ij}u+\sum b_{i}D_{i}u=0\,(\geq0,\,\leq0)\] in some domain $Q\subset \mathbb{R}^{n+1}$. We prove growth theorems and the interior Harnack inequality as the main results. In this paper, we will only assume the drift $b$ is in certain Lebesgue spaces which are critical under the parabolic scaling but not necessarily to be bounded. In the last section, some applications of the interior Harnack inequality are presented. In particular, we show there is…
We consider the Dirichlet boundary value problem for divergence form elliptic operators with bounded measurable coefficients. We prove that for uniform domains with Ahlfors regular boundary, the BMO solvability of such problems is equivalent to a quantitative absolute continuity of the elliptic measure with respect to the surface measure, i.e. $ω_L\in A_{\infty}(σ)$. This generalizes a previous result on Lipschitz domains by Dindos, Kenig and Pipher.
We prove the solvability in Sobolev spaces for both divergence and non-divergence form higher order parabolic and elliptic systems in the whole space, on a half space, and on a bounded domain. The leading coefficients are assumed to be merely measurable in the time variable and have small mean oscillations with respect to the spatial variables in small balls or cylinders. For the proof, we develop a set of new techniques to produce mean oscillation estimates for systems on a half space.
We consider parabolic operators of the form $$\partial_t+\mathcal{L},\ \mathcal{L}=-\mbox{div}\, A(X,t)\nabla,$$ in $\mathbb R_+^{n+2}:=\{(X,t)=(x,x_{n+1},t)\in \mathbb R^{n}\times \mathbb R\times \mathbb R:\ x_{n+1}>0\}$, $n\geq 1$. We assume that $A$ is a $(n+1)\times (n+1)$-dimensional matrix which is bounded, measurable, uniformly elliptic and complex, and we assume, in addition, that the entries of A are independent of the spatial coordinate $x_{n+1}$ as well as of the time coordinate $t$. For such operators we prove that the boundedness and invertibility of the corresponding layer potent…
We establish the solvability of second order divergence type parabolic systems in Sobolev spaces. The leading coefficients are assumed to be only measurable in one spatial direction on each small parabolic cylinder with the spatial direction allowed to depend on the cylinder. In the other orthogonal directions and the time variable the coefficients have locally small mean oscillations. We also obtain the corresponding $W^1_p$-solvability of second order elliptic systems in divergence form. Our results are new even for scalar equations and the proofs simplify the methods used previously in [12]
The purpose of this article is to study extrapolation of solvability for boundary value problems of elliptic systems in divergence form on the upper half-space assuming De Giorgi type conditions. We develop a method allowing to treat each boundary value problem independently of the others. We shall base our study on solvability for energy solutions, estimates for boundary layers, equivalence of certain boundary estimates with interior control so that solvability reduces to a one-sided Rellich inequality. Our method then amounts to extrapolating this Rellich inequality using atomic Hardy spaces…
The initial value problem of the incompressible Navier-Stokes equations with non-zero forces in $L^{n,\infty}(\mathbb{R}^n)$ is investigated. Even though the Stokes semigroup is not strongly continuous on $L^{n,\infty}(\mathbb{R}^n)$, with the qualitative condition for the external forces, it is clarified that the mild solution of the Naiver-Stokes equations satisfies the differential equations in the topology of $L^{n,\infty}(\mathbb{R}^n)$. Inspired by the conditions for the forces, we characterize the maximal complete subspace in $L^{n,\infty}(\mathbb{R}^n)$ where the Stokes semigroup is st…
We establish pointwise estimates for the Green function to the Dirichlet problem for parabolic equation with coefficients measurable in time variable. Using these estimate we obtain coercive estimates for this problem in anisotropic weighted Lebesgue spaces and prove the solvability theorems.
The Cauchy problem for the Hardy-Hénon parabolic equation is studied in the critical and subcritical regime in weighted Lebesgue spaces on the Euclidean space $\mathbb{R}^d$. Well-posedness for singular initial data and existence of non-radial forward self-similar solution of the problem are previously shown only for the Hardy and Fujita cases ($γ\le 0$) in earlier works. The weighted spaces enable us to treat the potential $|x|^γ$ as an increase or decrease of the weight, thereby we can prove well-posedness to the problem for all $γ$ with $-\min\{2,d\}<γ$ including the Hénon case ($γ>0$). As …
By using some recent results for divergence form equations, we study the $L_p$-solvability of second-order elliptic and parabolic equations in nondivergence form for any $p\in (1,\infty)$. The leading coefficients are assumed to be in locally BMO spaces with suitably small BMO seminorms. We not only extend several previous results by Krylov and Kim [14]-[18] to the full range of $p$, but also deal with equations with more general coefficients.
We extend several known results on solvability in the Sobolev spaces $W^{1}_{p}$, $p\in[2,\infty)$, of SPDEs in divergence form in $\bR^{d}_{+}$ to equations having coefficients which are discontinuous in the space variable.
We show that for a uniformly elliptic divergence form operator $L$, defined in an open set $Ω$ with Ahlfors-David regular boundary, BMO-solvability implies scale invariant quantitative absolute continuity (the weak-$A_\infty$ property) of elliptic-harmonic measure with respect to surface measure on $\partial Ω$. We do not impose any connectivity hypothesis, qualitative or quantitative; in particular, we do not assume the Harnack Chain condition, even within individual connected components of $Ω$. In this generality, our results are new even for the Laplacian. Moreover, we obtain a converse, un…
In this paper, we establish $L_p$ estimates and solvability for time fractional divergence form parabolic equations in the whole space when leading coefficients are merely measurable in one spatial variable and locally have small mean oscillations with respect to the other variables. The corresponding results for equations on a half space are also derived.
Let $w\in L^1\_{loc}(\R^n)$ be apositive weight. Assuming that a doubling condition and an $L^1$ Poincaré inequality on balls for the measure $w(x)dx$, as well as a growth condition on $w$, we prove that the compact subsets of $\R^n$ which are removable for the distributional divergence in $L^{\infty}\_{1/w}$ are exactly those with vanishing weighted Hausdorff measure. We also give such a characterization for $L^p\_{1/w}$, $1\textless{}p\textless{}+\infty$, in terms of capacity. This generalizes results due to Phuc and Torres, Silhavy and the first author.
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 consider second-order divergence form uniformly parabolic and elliptic PDEs with bounded and $VMO_{x}$ leading coefficients and possibly linearly growing lower-order coefficients. We look for solutions which are summable to the $p$th power with respect to the usual Lebesgue measure along with their first derivatives with respect to the spatial variables.
We present a priori estimates and unique solvability results in the mixed-norm Lebesgue spaces for kinetic Kolmogorov-Fokker-Planck (KFP) equation in divergence form. The leading coefficients are bounded uniformly nondegenerate with respect to the velocity variable $v$ and satisfy a vanishing mean oscillation (VMO) type condition. We consider the $L_2$ case separately and treat more general equations which include the relativistic KFP equation.
We consider second order elliptic divergence form systems with complex measurable coefficients $A$ that are independent of the transversal coordinate, and prove that the set of $A$ for which the boundary value problem with $L_2$ Dirichlet or Neumann data is well posed, is an open set. Furthermore we prove that these boundary value problems are well posed when $A$ is either Hermitean, block or constant. Our methods apply to more general systems of PDEs and as an example we prove perturbation results for boundary value problems for differential forms.
We discuss the problem how "bad" may be lower-order coefficients in elliptic and parabolic second order equations to ensure some qualitative properties of solution such as strong maximum principle, Harnack's inequality, Liouville's theorem. The answers are given in terms of the Lebesgue spaces and the Morrey spaces.
We prove the unique solvability in weighted Sobolev spaces of non-divergence form elliptic and parabolic equations on a half space with the homogeneous Neumann boundary condition. All the leading coefficients are assumed to be only measurable in the time variable and have small mean oscillations in the spatial variables. Our results can be applied to Neumann boundary value problems for {\em stochastic} partial differential equations with BMO$_x$ coefficients.
We provide a vast class of counterexamples to the chain rule for the divergence of bounded vector fields in three space dimensions. Our convex integration approach allows us to produce renormalization defects of various kinds, which in a sense quantify the breakdown of the chain rule. For instance, we can construct defects which are absolutely continuous with respect to Lebesgue measure, or defects which are not even measures.
Let $Ω$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual result" to a theorem in \cite{DKP09}, where it has been shown that the solvability of the Dirichlet problem with boundary data in $\text{BMO}$ is equivalent to the solvability for boundary data in $L^p(\pa…
Let $Ω$ be an arbitrary bounded domain of $\R^n$. We study the right invertibility of the divergence on $Ω$ in weighted Lebesgue and Sobolev spaces on $Ω$, and rely this invertibility to a geometric characterization of $Ω$ and to weighted Poincaré inequalities on $Ω$. We recover, in particular, well-known results on the right invertibility of the divergence in Sobolev spaces when $Ω$ is Lipschitz or, more generally, when $Ω$ is a John domain, and focus on the case of $s$-John domains.
We consider divergence form uniformly parabolic SPDEs with bounded and measurable leading coefficients and possibly growing lower-order coefficients in the deterministic part of the equations. We look for solutions which are summable to the second power with respect to the usual Lebesgue measure along with their first derivatives with respect to the spatial variable.
This paper studies the regularity problem for block uniformly elliptic operators in divergence form with complex bounded measurable coefficients. We consider the case where the boundary data belongs to Lebesgue spaces with weights in the Muckenhoupt classes. Our results generalize those of S. Mayboroda (and those of P. Auscher and S. Stahlhut employing the first order method) who considered the unweighted case. To obtain our main results we use the weighted Hardy space theory associated with elliptic operators recently developed by the last two named authors. One of the novel contributions of …
Given two elliptic operators L and M in nondivergence form, with coefficients A_L(x), A_M(x) and drift terms b_L(x), b_M(x), respectively, satisfying a Carleson measure disagreement condition in a Lipschitz domain Omega in R^{n+1}, then their harmonic measures are mutually absolutely continuous. As an application of this, a new approximation argument and known results we obtain necessary and sufficient conditions for a single operator L (in divergence or nondivergence form) to have regular harmonic measure with respect to Lebesgue measure. The results are sharp in all cases.
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 prove the Lp,q-solvability of parabolic equations in divergence form with full lower-order terms. The coefficients and non-homogeneous terms belong to mixed Lebesgue spaces with the lowest integrability conditions. In particular, the coefficients for the lower-order terms are not necessarily bounded. We study both the Dirichlet and conormal derivative boundary value problems on irregular domains. We also prove embedding results for parabolic Sobolev spaces, the proof of which is of independent interest.
This paper is a comprehensive study of $L_p$ estimates for time fractional wave equations of order $α\in (1,2)$ in the whole space, a half space, or a cylindrical domain. We obtain weighted mixed-norm estimates and solvability of the equations in both non-divergence form and divergence form when the leading coefficients have small mean oscillation in small cylinders.
This monograph presents a comprehensive treatment of second order divergence form elliptic operators with bounded measurable t-independent coefficients in spaces of fractional smoothness, in Besov and weighted Sobolev classes. We establish mapping properties for the double and single layer potentials, as well as the Newton potential, on Besov spaces. We prove extrapolation-type solvability results: that is, we show that solvability of the Dirichlet or Neumann boundary value problem at any given L^p space automatically assures their solvability in an extended range of Besov spaces. We also esta…
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 …
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 pointwise bound for local weak solutions to the p-Laplace system is established in terms of data on the right-hand side in divergence form. The relevant bound involves a Havin-Maz'ya- Wulff potential of the datum, and is a counterpart for data in divergence form of a classical result of [KiMa], that has recently been extended to systems in [KuMi2]. A local bound for oscillations is also provided. These results allow for a unified approach to regularity estimates for broad classes of norms, including Banach function norms (e.g. Lebesgue, Lorentz and Orlicz norms), and norms depending on the o…
This is a simplification of our prior work on the existence theory for the Rosseland-type equations. Inspired by the Rosseland equation in the conduction-radiation coupled heat transfer, we use the locally arbitrary growth conditions instead of the common global restricted growth conditions. In the Lebesgue square integrable space, the solution to the linear elliptic equation depends continuously on the coefficients matrix. This is a simple version of the maximal regularity. There exists a fixed point for the linearized map (compact and continuous) in a closed convex set. We also consider the …
We prove the unique solvability of second order elliptic equations in non-divergence form in Sobolev spaces. The coefficients of the second order terms are measurable in one variable and VMO in other variables. From this result, we obtain the weak uniqueness of the martingale problem associated with the elliptic equations.
Consider $A(x,D):C^{\infty}(Ω,E) \rightarrow C^\infty(Ω,F)$ an elliptic and canceling linear differential operator of order $ν$ with smooth complex coefficients in $Ω\subset \mathbb{R}^{N}$ from a finite dimension complex vector space $E$ to a finite dimension complex vector space $F$ and $A^{*}(x,D)$ {its} adjoint. In this work we characterize the (local) continuous solvability of the partial differential equation $A^{*}(x,D)v=f$ (in the distribution sense) for a given distribution $f$; more precisely we show that any $x_0\inΩ$ is contained in a neighborhood $U\subset Ω$ in which its continuo…
