We establish a connection between the absolute continuity of elliptic measure associated to a second order divergence form operator with bounded measurable coefficients with the solvability of an endpoint $BMO$ Dirichlet problem. We show that these two notions are equivalent. As a consequence we obtain an end-point perturbation result, i.e., the solvability of the $BMO$ Dirichlet problem implies $L^p$ solvability for all $p>p_0$.
We show that BMO-solvability implies scale invariant quantitative absolute continuity (specifically, the weak-$A_\infty$ property) of caloric measure with respect to surface measure, for an open set $Ω\subset \mathbb{R}^{n+1}$, assuming as a background hypothesis only that the essential boundary of $Ω$ satisfies an appropriate parabolic version of Ahlfors-David regularity, entailing some backwards in time thickness. Since the weak-$A_\infty$ property of the caloric measure is equivalent to $L^p$ solvability of the initial-Dirichlet problem, we may then deduce that $BMO$-solvability implies $L^…
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 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…
We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic setting requires an approach to the key estimate that primarily exploits the maximum principle. For various classes of parabolic operators, this criterion makes it easier to establish the solvability of…
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.
It is proved that there exists a local-in-time solution $u\in C([0,T),bmo(\mathbb{R}^d)^d)$ of the Navier-Stokes equations such that every $u(t)$ has an analytic extension on a complex domain whose size only depends on $t$ (and increases with $t$) and the external force $f$, assuming only that the initial velocity $u_0$ is a local $BMO$ function. Our method for proving is a combination and refinement of the work by Grujić and Kukavica [13], Guberović [15] and Kozono et al. [18]. One challenging step is the estimation of the heat and Stokes semigroups from $BMO$-type spaces to $L^\infty$; a res…
We prove the unique solvability of solutions in Sobolev spaces to the stationary Stokes system on a bounded Reifenberg flat domain when the coefficients are partially BMO functions, i.e., locally they are merely measurable in one direction and have small mean oscillations in the other directions. Using this result, we establish the unique solvability in Muckenhoupt type weighted Sobolev spaces for the system with partially BMO coefficients on a Reifenberg flat domain. We also present weighted a priori $L_q$-estimates for the system when the domain is the whole Euclidean space or a half space.
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.
In the recent work [DFM1, DFM2] G. David, J. Feneuil, and the first author have launched a program devoted to an analogue of harmonic measure for lower-dimensional sets. A relevant class of partial differential equations, analogous to the class of elliptic PDEs in the classical context, is given by linear degenerate equations with the degeneracy suitably depending on the distance to the boundary. The present paper continues this line of research and focuses on the criteria of quantitative absolute continuity of the newly defined harmonic measure with respect to the Hausdorff measure, $ω\in A_\…
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]
This note presents a correction to the paper ``Hardy and BMO spaces associated to divergence form elliptic operators" by Steve Hofmann and Svitlana Mayboroda
Consider the second order divergence form elliptic operator $L$ with complex bounded coefficients. In general, the operators related to it (such as Riesz transform or square function) lie beyond the scope of the Calderón-Zygmund theory. They need not be bounded in the classical Hardy, BMO and even some $L^p$ spaces. In this work we generalize the classical approach and develop a theory of Hardy and BMO spaces associated to $L$, which includes, in particular, molecular decomposition, maximal function characterization, duality of Hardy and BMO spaces, John-Nirenberg inequality, and allows to han…
$W^{1, p}$ estimate for the solutions of elliptic equations whose coefficient matrix can have large jump along the boundary of subdomains is obtained. The principal coefficients are supposed to be in the John-Nirenberg space with small BMO seminorms. The domain and subdomains are Reifenberg flat domains and moreover, it has been shown that the estimates are uniform with respect to the distance between the subdomains.
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.
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 …
The present paper establishes the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti-symmetric part. In particular, the coefficients are not necessarily bounded. We prove that the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}^{n+1}_+$ is uniquely solvable when $n\ge2$ and the boundary data is in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$. This result is equivalent to saying that the elliptic…
In this paper, we investigate the boundary behavior of solutions of divergence-form operators with an elliptic symmetric part and a $BMO$ anti-symmetric part. Our results will hold in non-tangentially accessible (NTA) domains; these general domains were introduced by Jerison and Kenig and include the class of Lipschitz domains. We establish the Hölder continuity of the solutions at the boundary, existence of elliptic measures $ω_L$ associated to such operators, and the well-posedness of the continuous Dirichlet problem as well as the $L^p(dω)$ Dirichlet problem in NTA domains. The equivalence …
The solvability in Sobolev spaces is proved for divergence form complex-valued higher order parabolic systems in the whole space, on a half space, and on a Reifenberg flat domain. The leading coefficients are assumed to be merely measurable in one spacial direction and have small mean oscillations in the orthogonal directions on each small cylinder. The directions in which the coefficients are only measurable vary depending on each cylinder. The corresponding elliptic problem is also considered.
We prove weighted $L_{p,q}$-estimates for divergence type higher order elliptic and parabolic systems with irregular coefficients on Reifenberg flat domains. In particular, in the parabolic case the coefficients do not have any regularity assumptions in the time variable. As functions of the spatial variables, the leading coefficients are permitted to have small mean oscillations. The weights are in the class of Muckenhoupt weights $A_p$. We also prove the solvability of the systems in weighted Sobolev spaces.
We obtain new local Calderon-Zygmund estimates for elliptic equations with matrix-valued weights for linear as well as non-linear equations. We introduce a novel log-BMO condition on the weight M. In particular, we assume smallness of the logarithm of the matrix-valued weight in BMO. This allows to include degenerate, discontinuous weights. We provide examples that show the sharpness of the estimates in terms of the log-BMO-norm.
This paper shows the unique solvability of elliptic problems associated with two-phase incompressible flows, which are governed by the two-phase Navier-Stokes equations, in unbounded domains such as the whole space separated by a compact interface and the whole space separated by a non-compact interface. As a by-product of the unique solvability of elliptic problems, we obtain the Helmholtz-Weyl decomposition for two-phase incompressible flows.
In this paper, we study the solvability of the nonlinear Dirichlet problem with sum of the operators of independent non standard growths in a bounded domain $Ω\subset \mathbb{R}^{n}$. We obtain sufficient conditions and show the existence of weak solutions of the considered problem by using monotonicity and compactness methods together.
We prove results on solvability of nonlinear elliptic partial differential systems of principle type of second order. They are consequences of existence of non-radial solutions for nonlinear partial differential systems of Poisson type. As applications to geometry, we prove the exsitence of local harmonic maps with given tangent plane at a point between any Riemannan manifolds. More generally geometric objects defined by Beltrami-Laplace always exist locally.
We study the solvability in the whole Euclidean space of coercive quasi-linear and fully nonlinear elliptic equations modeled on $Δu\pm g(|\nabla u|)= f(u)$, $u\ge0$, where $f$ and $g$ are increasing continuous functions. We give conditions on $f$ and $g$ which guarantee the availability or the absence of positive solutions of such equations in $\R^N$. Our results considerably improve the existing ones and are sharp or close to sharp in the model cases. In particular, we completely characterize the solvability of such equations when $f$ and $g$ have power growth at infinity. We also derive a s…
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.
In this paper we consider the Cauchy problem for multidimensional elliptic equations in a cylindrical domain. The method of spectral expansion in eigenfunctions of the Cauchy problem for equations with deviating argument establishes a criterion of the strong solvability of the considered elliptic Cauchy problem. It is shown that the ill-posedness of the elliptic Cauchy problem is equivalent to the existence of an isolated point of the continuous spectrum for a self-adjoint operator with deviating argument.
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 elliptic equations of order $2m$ in a bounded domain $Q\subset\mathbb R^n$ with nonlocal boundary-value conditions connecting the values of a solution and its derivatives on $(n-1)$-dimensional smooth manifolds $Γ_i$ with the values on manifolds $ω_{i}(Γ_i)$, where $\bigcup_i\overline{Γ_i}=\partial Q$ is a boundary of $Q$ and $ω_i$ are $C^\infty$ diffeomorphisms. By proving a priori estimates for solutions and constructing a right regularizer, we show the Fredholm solvability in weighted space. For nonlocal elliptic problems with a parameter, we prove the unique solvability.
In this paper, we study the Dirichlet problem for the implicit degen- erate nonlinear elliptic equation with variable exponent in a bounded domain. We obtain sufficient conditions for the existence of a solution with- out regularization and any restriction between the exponents. Furthermore, we define the domain of the operator generated by posed problem and investigate its some properties and also its relations with known spaces that enable us to prove existence theorem.
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…
In this work we study three exterior extension problems for strongly elliptic partial equations: the Cauchy problem (in a special statement), the "analytical" continuation problem and the so called "inner" Dirichlet problem in the scale of the Sobolev spaces over a domain with relatively smooth boundaries. We consider the existence of solutions to these problems, the dense solvability and conditional well-posedness of these problems for a wide class of strongly elliptic systems. We also consider the approximation of solutions to these problems by a single layer potential and by a linear combin…
The paper addresses questions of existence and regularity of solutions to linear partial differential equations whose coefficients are generalized functions or generalized constants in the sense of Colombeau. We introduce various new notions of ellipticity and hypoellipticity, study their interrelation, and give a number of new examples and counterexamples. Using the concept of $\G^\infty$-regularity of generalized functions, we derive a general global regularity result in the case of operators with constant generalized coefficients, a more specialized result for second order operators, and a …
Let $Ω\subset\mathbb{R}^n, n\geq 2$, be an open set. For an elliptic differential operator $L$ on $Ω$ with real analytic coefficients and a point $p\inΩ$, we construct a smooth function $g$ with the following properties: $g$ is flat at $p$ and the equation $Lu=g$ has no smooth local solution $u$ that is flat at $p$.
We study elliptic equations of order $2m$ with nonlocal boundary-value conditions in plane angles and in bounded domains, dealing with the case where the support of nonlocal terms intersects the boundary. We establish necessary and sufficient conditions under which nonlocal problems are Fredholm in Sobolev spaces and, respectively, in weighted spaces with small weight exponents. We also obtain an asymptotics of solutions to nonlocal problems near the conjugation points on the boundary, where solutions may have power singularities.
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.
In this paper, we consider the existence and non-existence of non-trivial solution to a Brezis-Nirenberg type problem with singular weights. First, we obtain a compact imbedding theorem which is an extension of the classical Rellich-Kondrachov compact imbedding theorem, and consider the corresponding eigenvalue problem. Secondly, we deduce a Pohozaev type identity and obtained a non-existence result. Thirdly, based on a generalized concentration compactness principle, we will give some abstract conditions when the functional satisfies the (PS)$_c$ condition. Finally, based on the explicit form…
We consider a class of nonvariational linear operators formed by homogeneous left invariant Hormander's vector fields with respect to a structure of Carnot group. The bounded coefficients of the operators belong to "vanishing logarithmic mean oscillation" class with respect to the distance induced by the vector fields (in particular they can be discontinuous). We prove local estimates in "local BMO" spaces intersected with the Lebesgue spaces. Even in the uniformly elliptic case our estimates improve the known results.
We investigate the validity and failure of Liouville theorems and Harnack inequalities for parabolic and elliptic operators with low regularity coefficients. We are particularly interested in operators of the form $\partial_t - Δ+b\cdot\nabla$ and $-Δ+b\cdot\nabla$ with a divergence-free drift $b$. We prove the Liouville theorem and Harnack inequality when $b\in L_\infty(BMO^{-1})$ resp. $b\in BMO^{-1}$ and provide a counterexample to such results demonstrating sharpness of our conditions on the drift. Our results generalize to divergence-form operators with an elliptic symmetric part and a BM…
The solvability in Sobolev spaces $W^{1,2}_p$ is proved for nondivergence form second order parabolic equations for $p>2$ close to 2. The leading coefficients are assumed to be measurable in the time variable and two coordinates of space variables, and almost VMO (vanishing mean oscillation) with respect to the other coordinates. This implies the $W^{2}_p$-solvability for the same $p$ of nondivergence form elliptic equations with leading coefficients measurable in two coordinates and VMO in the others. Under slightly different assumptions, we also obtain the solvability results when $p=2$.
We prove the solvability in Sobolev spaces $W^{1,2}_p$, $p>d+1$, of the terminal-boundary value problem for a class of fully nonlinear parabolic equations, including parabolic Bellman's equations, in bounded cylindrical domains with VMO ``coefficients''. The solvability in $W^{2}_p$, $p>d$, of the corresponding elliptic boundary-value problem is also obtained.
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…
We obtain solvability conditions for some elliptic equations involving non Fredholm operators with the methods of spectral theory and scattering theory for Schrodinger type operators. Though the Fredholm property is not satisfied, the solvability conditions are formulated in terms of orthogonality of the right-hand side to solutions of the homogeneous adjoint equation.
In this article, we consider the following problem: $$ \quad \left\{ \begin{array}{lr} \quad (-Δ)^s u = αu^+ -βu^{-} + f(u) + h \; \text{in}\;Ω\quad \quad \quad \quad u =0 \; \text{on}\; \mathbb{R}^n\setminus Ω, \end{array} \right. $$ where $Ω\subset \mathbb{R}^n$ is a bounded domain with Lipschitz boundary, $n> 2s$, $0<s<1$, $(α, β) \in \mathbb{R}^2$, $f: \mathbb{R}\to \mathbb{R}$ is a bounded and continuous function and $h\in L^2(Ω)$. We prove the existence results in two cases: First, the nonresonance case, where $(α,β)$ is not an element of the Fučik spectrum. Second, the resonance case, w…
Global well-posedness of the time-dependent (degenerate) thermistor problem remains open for many years. In this paper, we solve the problem by establishing a uniform-in-time BMO estimate of inhomogeneous parabolic equations. Applying this estimate to the temperature equation, we derive a BMO bound of the temperature uniform with respect to time, which implies that the electric conductivity is a $A_2$ weight. The Hölder continuity of the electric potential is then proved by applying the De Giorgi--Nash--Moser estimate for degenerate elliptic equations with $A_2$ coefficient. Uniqueness of solu…
We consider the operator $L=-{\rm div}(A\nabla)$, where the $n\times n$ matrix $A$ is real-valued, elliptic, with the symmetric part of $A$ in $L^\infty(\mathbb{R}^n)$, and the anti-symmetric part of $A$ only belongs to the space $BMO(\mathbb{R}^n)$, $n\ge2$. We prove the Gaussian estimates for the kernel of $e^{-tL}$, as well as that of $\partial_t^le^{-tL}$, for any $l\in\mathbb{N}$. We show that the square root of $L$ satisfies the $L^p$ estimates $\left\Vert{L^{1/2}f}\right\Vert_{L^p}\lesssim\left\Vert{\nabla f}\right\Vert_{L^p}$ for $1<p<\infty$, and $\left\Vert{\nabla f}\right\Vert_{L^p}…
Nonlocal problems for higher-order elliptic operators in dihedral and plane angles are considered. The Green formula is obtained, which leads to adjoint problems that take the form of nonlocal transmission problems in dihedral and plane angles. This allows us to establish necessary conditions of Fredholm solvability and sufficient conditions of one-valued solvability for nonlocal problems in dihedral angles.
