Remarks on functional calculus for perturbed first order Dirac operators

We make some remarks on earlier works on $R-$bisectoriality in $L^p$ of perturbed first order differential operators by Hyt\"onen, McIntosh and Portal. They have shown that this is equivalent to bounded holomorphic functional calculus in $L^p$ for $p$ in any open interval when suitable hypotheses are made. Hyt\"onen and McIntosh then showed that $R$-bisectoriality in $L^p$ at one value of $p$ can be extrapolated in a neighborhood of $p$. We give a different proof of this extrapolation and observe that the first proof has impact on the splitting of the space by the kernel and range.Comment: 11 page

Hardy spaces and divergence operators on strongly Lipschitz domains in RnR^n

Let $\Omega$ be a strongly Lipschitz domain of \reel^n. Consider an elliptic second order divergence operator $L$ (including a boundary condition on $\partial\Omega$) and define a Hardy space by imposing the non-tangential maximal function of the extension of a function $f$ via the Poisson semigroup for $L$ to be in$L^1$. Under suitable assumptions on $L$, we identify this maximal Hardy space with atomic Hardy spaces, namely with H^1(\reel^n) if \Omega=\reel^n, $H^{1}_{r}(\Omega)$ under the Dirichlet boundary condition, and $H^{1}_{z}(\Omega)$ under the Neumann boundary condition. In particular, we obtain a new proof of the atomic decomposition for $H^{1}_{z}(\Omega)$. A version for local Hardy spaces is also given. We also present an overview of the theory of Hardy spaces and BMO spaces on Lipschitz domains with proofs.Comment: submitte

Weighted maximal regularity estimates and solvability of non-smooth elliptic systems II

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 non-tangential convergence at the boundary. Also, compactness of the boundary yields more solvability results using Fredholm theory. Comparison between classes of solutions and uniqueness issues are discussed. As a consequence, we are able to solve a long standing regularity problem for real equations, which may not be true on the upper half-space, justifying \textit{a posteriori} a separate work on bounded domains.Comment: 76 pages, new abstract and few typos corrected. The second author has changed nam

Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part IV: Riesz transforms on manifolds and weights

This is the fourth article of our series. Here, we study weighted norm inequalities for the Riesz transform of the Laplace-Beltrami operator on Riemannian manifolds and of subelliptic sum of squares on Lie groups, under the doubling volume property and Gaussian upper bounds.Comment: 12 pages. Fourth of 4 papers. Important revision: improvement of main result by eliminating use of Poincar\'e inequalities replaced by the weaker Gaussian keat kernel bound

An endpoint Littlewood-Paley inequality for BVP associated with the Laplacian on Lipschitz domains

We prove a commutator inequality of Littlewood-Paley type between partial derivatives and functions of the Laplacian on a Lipschitz domain which gives interior energy estimates for some BVP. It can be seen as an endpoint inequality for a family of energy estimates

On the stability of global solutions to Navier–Stokes equations in the space

AbstractWe show that the global solutions to the Navier–Stokes equations in R3 with data in VMO−1 which belong to the space defined by Koch and Tataru are stable, in the sense that they vanish at infinity (in time), that they depend analytically on their data, and that the set of Cauchy data giving rise to such a solution is open in the BMO−1 topology. We then study the case of more regular data

The Kato square root problem on vector bundles with generalised bounded geometry

We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion which we call generalised bounded geometry. We prove this by establishing quadratic estimates for perturbations of Dirac type operators on such bundles under an appropriate set of assumptions.Comment: Slight technical modification of the notion of "GBG constant section" on page 7, and a few technical modifications to Proposition 8.4, 8.6, 8.

Riesz transform characterization of Hardy spaces associated with Schr\"odinger operators with compactly supported potentials

Let L=-\Delta+V be a Schr\"odinger operator on R^d, d\geq 3. We assume that V is a nonnegative, compactly supported potential that belongs to L^p(R^d), for some p>d/2. Let K_t be the semigroup generated by -L. We say that an L^1(R^d)-function f belongs to the Hardy space H_L^1 associated with L if sup_{t>0} |K_t f| belongs to L^1(R^d). We prove that f\in H_L^1 if and only if R_j f \in L^1(R^d) for j=1,...,d, where R_j= \frac{d}{dx_j} L^{-1/2} are the Riesz transforms associated with L.Comment: 6 page

Conical square function estimates in UMD Banach spaces and applications to H-infinity functional calculi

We study conical square function estimates for Banach-valued functions, and introduce a vector-valued analogue of the Coifman-Meyer-Stein tent spaces. Following recent work of Auscher-McIntosh-Russ, the tent spaces in turn are used to construct a scale of vector-valued Hardy spaces associated with a given bisectorial operator (A) with certain off-diagonal bounds, such that (A) always has a bounded (H^{\infty})-functional calculus on these spaces. This provides a new way of proving functional calculus of (A) on the Bochner spaces (L^p(\R^n;X)) by checking appropriate conical square function estimates, and also a conical analogue of Bourgain's extension of the Littlewood-Paley theory to the UMD-valued context. Even when (X=\C), our approach gives refined (p)-dependent versions of known results.Comment: 28 pages; submitted for publicatio