Source author record

Dorothee Frey

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CA math.FA math.AP math.DG

Catalog footprint

Research overview

12works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

$L^p$ estimates for wave equations with specific $C^{0,1}$ coefficients

Peral/Miyachi's celebrated theorem on fixed time $L^{p}$ estimates with loss of derivatives for the wave equation states that the operator $(I-Δ)^{- \fracα{2}}\exp(i \sqrt{-Δ})$ is bounded on $L^{p}(\mathbb{R}^{d})$ if and only if $α\geq s_{p}:=(d-1)|\frac{1}{p}-\frac{1}{2}|$ . We extend this result to operators of the form $\mathcal{L} = -\sum \limits _{j=1} ^{d} a_{j+d}\partial_{j}a_{j}\partial_{j}$ , such that, for $j=1,...,d$ , the functions $a_{j}$ and $a_{j+d}$ only depend on $x_{j}$ , are bounded above and below, but are merely Lipschitz continuous. This is below the $C^{1,1}$ regularity that is known to be necessary in general for Strichartz estimates in dimension $d \geq 2$ . Our proof is based on an approach to the boundedness of Fourier integral operators recently developed by Hassell, Rozendaal, and the second author. We construct a scale of adapted Hardy spaces on which $\exp(i\sqrt{ \mathcal{L}} )$ is bounded by lifting $L^{p}$ functions to the tent space $T^{p,2}(\mathbb{R}^{d})$ , using a wave packet transform adapted to the Lipschitz metric induced by the coefficients $a_j$ . The result then follows from Sobolev embedding properties of these spaces.

preprint2016arXiv

Sobolev algebra through a "carré du champ" identity

We consider abstract Sobolev spaces of Bessel-type associated with an operator. In this work, we pursue the study of algebra properties of such functional spaces through the corresponding semigroup. As a follow-up of [4], we show that under the extra property of a "carré du champ identity" , this algebra property holds in a wider range than previously shown.

preprint2015arXiv

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in L^p

Perturbed Hodge-Dirac operators and their holomorphic functional calculi, as investigated in the papers by Axelsson, Keith and the second author, provided insight into the solution of the Kato square-root problem for elliptic operators in $L^2$ spaces, and allowed for an extension of these estimates to other systems with applications to non-smooth boundary value problems. In this paper, we determine conditions under which such operators satisfy conical square function estimates in a range of $L^p$ spaces, thus allowing us to apply the theory of Hardy spaces associated with an operator, to prove that they have a bounded holomorphic functional calculus in those $L^p$ spaces. We also obtain functional calculi results for restrictions to certain subspaces, for a larger range of $p$ . This provides a framework for obtaining $L^p$ results on perturbed Hodge Laplacians, generalising known Riesz transform bounds for an elliptic operator $L$ with bounded measurable coefficients, one Sobolev exponent below the Hodge exponent, and $L^p$ bounds on the square-root of $L$ by the gradient, two Sobolev exponents below the Hodge exponent. Our proof shows that the heart of the harmonic analysis in $L^2$ extends to $L^p$ for all $p \in (1,\infty)$ , while the restrictions in $p$ come from the operator-theoretic part of the $L^2$ proof. In the course of our work, we obtain some results of independent interest about singular integral operators on tent spaces, and about the relationship between conical and vertical square functions.

preprint2015arXiv

Gaussian heat kernel bounds through elliptic Moser iteration

On a doubling metric measure space endowed with a "carré du champ", we consider $L^p$ estimates $(G_p)$ of the gradient of the heat semigroup and scale-invariant $L^p$ Poincaré inequalities $(P_p)$ . We show that the combination of $(G_p)$ and $(P_p)$ for $p\ge 2$ always implies two-sided Gaussian heat kernel bounds. The case $p=2$ is a famous theorem of Saloff-Coste, of which we give a shorter proof, without parabolic Moser iteration. We also give a more direct proof of the main result in \cite{HS}. This relies in particular on a new notion of $L^p$ Hölder regularity for a semigroup and on a characterization of $(P_2)$ in terms of harmonic functions.

preprint2015arXiv

On well-posedness of parabolic equations of Navier-Stokes type with BMO^{-1}(\R^n) data

We develop a strategy making extensive use of tent spaces to study parabolic equa-tions with quadratic nonlinearities as for the Navier-Stokes system. We begin with a new proof of the well-known result of Koch and Tataru on the well-posedness of Navier-Stokes equations in \R^n with small initial data in BMO^{-1}(\R^n). We then study another model where neither pointwise kernel bounds nor self-adjointness are available.

preprint2015arXiv

Riesz transforms through reverse Hölder and Poincaré inequalities

We study the boundedness of Riesz transforms in $L^p$ for $p>2$ on a doubling metric measure space endowed with a gradient operator and an injective, $ω$ -accretive operator $L$ satisfying Davies-Gaffney estimates. If $L$ is non-negative self-adjoint, we show that under a reverse Hölder inequality, the Riesz transform is always bounded on $L^p$ for $p$ in some interval $[2,2+\varepsilon)$ , and that $L^p$ gradient estimates for the semigroup imply boundedness of the Riesz transform in $L^q$ for $q \in [2,p)$ . This improves results of \cite{ACDH} and \cite{AC}, where the stronger assumption of a Poincaré inequality and the assumption $e^{-tL}(1)=1$ were made. The Poincaré inequality assumption is also weakened in the setting of a sectorial operator $L$ . In the last section, we study elliptic perturbations of Riesz transforms.

preprint2015arXiv

Sharp weighted norm estimates beyond Calderón-Zygmund theory

We dominate non-integral singular operators by adapted sparse operators and derive optimal norm estimates in weighted spaces. Our assumptions on the operators are minimal and our result applies to an array of situations, whose prototype are Riesz transforms / multipliers or paraproducts associated with a second order elliptic operator. It also applies to such operators whose unweighted continuity is restricted to Lebesgue spaces with certain ranges of exponents $(p_0,q_0)$ where $1\le p_0<2<q_0\le \infty$ . The norm estimates obtained are powers $α$ of the characteristic used by Auscher and Martell. The critical exponent in this case is $\mathfrak{p}=1+\frac{p_0}{q'_0}$ . We prove $α=\frac1{p-p_0}$ when $p_0<p\le \mathfrak{p}$ and $α= \frac{q_0-1}{q_0-p}$ when $\mathfrak{p}\le p<q_0$ . In particular, we are able to obtain the sharp $A_2$ estimates for non-integral singular operators which do not fit into the class of Calderón-Zygmund operators. These results are new even in the Euclidean space and are the first ones for operators whose kernel does not satisfy any regularity estimate.

preprint2015arXiv

Sobolev algebras through heat kernel estimates

On a doubling metric measure space $(M,d,μ)$ endowed with a "carré du champ", let $\mathcal{L}$ be the associated Markov generator and $\dot L^{p}_α(M,\mathcal{L},μ)$ the corresponding homogeneous Sobolev space of order $0<α<1$ in $L^p$ , $1<p<+\infty$ , with norm $\left\|\mathcal{L}^{α/2}f\right\|_p$ . We give sufficient conditions on the heat semigroup $(e^{-t\mathcal{L}})_{t>0}$ for the spaces $\dot L^{p}_α(M,\mathcal{L},μ) \cap L^\infty(M,μ)$ to be algebras for the pointwise product. Two approaches are developed, one using paraproducts (relying on extrapolation to prove their boundedness) and a second one through geometrical square functionals (relying on sharp estimates involving oscillations). A chain rule and a paralinearisation result are also given. In comparison with previous results ([29,11]), the main improvements consist in the fact that we neither require any Poincaré inequalities nor $L^p$ -boundedness of Riesz transforms, but only $L^p$ -boundedness of the gradient of the semigroup. As a consequence, in the range $p\in(1,2]$ , the Sobolev algebra property is shown under Gaussian upper estimates of the heat kernel only.

preprint2013arXiv

A new proof for Koch and Tataru's result on the well-posedness of Navier-Stokes equations in $BMO^{-1}$

We give a new proof of a well-known result of Koch and Tataru on the well-posedness of Navier-Stokes equations in $\R^n$ with small initial data in $BMO^{-1}(\R^n)$ . The proof is formulated operator theoretically and does not make use of self-adjointness of the Laplacian.

preprint2012arXiv

Pseudodifferential operators associated with a semigroup of operators

Related to a semigroup of operators on a metric measure space, we define and study pseudodifferential operators (including the setting of Riemannian manifold, fractals, graphs ...). Boundedness on $L^p$ for pseudodifferential operators of order 0 are proved. Mainly, we focus on symbols belonging to the class $S^0_{1,δ}$ for $δ\in[0,1)$ . For the limit class $S^0_{1,1}$ , we describe some results by restricting our attention to the case of a sub-Laplacian operator on a Riemannian manifold.

preprint2011arXiv

A T(1)-Theorem for non-integral operators

Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$ . We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies-Gaffney estimates. Associated to $L$ are certain approximations of the identity. We call an operator $T$ a non-integral operator if compositions involving $T$ and these approximations satisfy certain weighted norm estimates. The Davies-Gaffney and the weighted norm estimates are together a substitute for the usual kernel estimates on $T$ in Calderón-Zygmund theory. In this paper, we show, under the additional assumption that a vertical Littlewood-Paley-Stein square function associated to $L$ is bounded on $L^2(X)$ , that a non-integral operator $T$ is bounded on $L^2(X)$ if and only if $T(1) \in BMO_L(X)$ and $T^{\ast}(1) \in BMO_{L^{\ast}}(X)$ . Here, $BMO_L(X)$ and $BMO_{L^{\ast}}(X)$ denote the recently defined $BMO(X)$ spaces associated to $L$ that generalize the space $BMO(X)$ of John and Nirenberg. Generalizing a recent result due to F. Bernicot, we show a second version of a T(1)-Theorem under weaker off-diagonal estimates, which gives a positive answer to a question raised by him. As an application, we prove $L^2(X)$ -boundedness of a paraproduct operator associated to $L$ . We moreover study criterions for a $T(b)$ -Theorem to be valid.

preprint2011arXiv

Paraproducts via $H^\infty$ -functional calculus

Let $X$ be a space of homogeneous type and let $L$ be a sectorial operator with bounded holomorphic functional calculus on $L^2(X)$ . We assume that the semigroup $\{e^{-tL}\}_{t>0}$ satisfies Davies-Gaffney estimates. In this paper, we introduce a new type of paraproduct operators that is constructed via certain approximations of the identity associated to $L$ . We show various boundedness properties on $L^p(X)$ and the recently developed Hardy and BMO spaces $H^p_L(X)$ and $BMO_L(X)$ . In generalization of standard paraproducts constructed via convolution operators, we show $L^2(X)$ off-diagonal estimates as a substitute for Calderón-Zygmund kernel estimates. As an application, we study differentiability properties of paraproducts in terms of fractional powers of the operator $L$ . The results of this paper are fundamental for the proof of a T(1)-Theorem for operators beyond Calderón-Zygmund theory, which will be the subject of a forthcoming paper.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dorothee Frey

Research overview

Is this your work?

12 publications

$L^p$ estimates for wave equations with specific $C^{0,1}$ coefficients

Sobolev algebra through a "carré du champ" identity

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in L^p

Gaussian heat kernel bounds through elliptic Moser iteration

On well-posedness of parabolic equations of Navier-Stokes type with BMO^{-1}(\R^n) data

Riesz transforms through reverse Hölder and Poincaré inequalities

Sharp weighted norm estimates beyond Calderón-Zygmund theory

Sobolev algebras through heat kernel estimates

A new proof for Koch and Tataru's result on the well-posedness of Navier-Stokes equations in $BMO^{-1}$

Pseudodifferential operators associated with a semigroup of operators

A T(1)-Theorem for non-integral operators

Paraproducts via $H^\infty$ -functional calculus

See the researcher in context

Building this map preview

Dorothee Frey

Research overview

Is this your work?

12 publications

LpL^pLp estimates for wave equations with specific C0,1C^{0,1}C0,1 coefficients

Sobolev algebra through a "carré du champ" identity

Conical square function estimates and functional calculi for perturbed Hodge-Dirac operators in L^p

Gaussian heat kernel bounds through elliptic Moser iteration

On well-posedness of parabolic equations of Navier-Stokes type with BMO^{-1}(\R^n) data

Riesz transforms through reverse Hölder and Poincaré inequalities

Sharp weighted norm estimates beyond Calderón-Zygmund theory

Sobolev algebras through heat kernel estimates

A new proof for Koch and Tataru's result on the well-posedness of Navier-Stokes equations in BMO−1BMO^{-1}BMO−1

Pseudodifferential operators associated with a semigroup of operators

A T(1)-Theorem for non-integral operators

Paraproducts via H∞H^\inftyH∞-functional calculus

See the researcher in context

Building this map preview

$L^p$ estimates for wave equations with specific $C^{0,1}$ coefficients

A new proof for Koch and Tataru's result on the well-posedness of Navier-Stokes equations in $BMO^{-1}$

Paraproducts via $H^\infty$ -functional calculus