Source author record

Pierre Portal

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

ResearcherUnclaimed source record

math.FA math.CA math.AP math.PR

Catalog footprint

Research overview

11works

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.

preprint2022arXiv

Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices

We consider operators acting on a UMD Banach lattice $X$ that have the same algebraic structure as the position and momentum operators associated with the harmonic oscillator $-\frac12Δ+ \frac12|x|^{2}$ acting on $L^{2}(\mathbb{R}^{d})$ . More precisely, we consider abstract harmonic oscillators of the form $\frac12 \sum _{j=1} ^{d}(A_{j}^{2}+B_{j}^{2})$ for tuples of operators $A=(A_{j})_{j=1} ^{d}$ and $B=(B_{k})_{k=1} ^{d}$ , where $iA_j$ and $iB_k$ are assumed to generate $C_{0}$ groups and to satisfy the canonical commutator relations. We prove functional calculus results for these abstract harmonic oscillators that match classical Hörmander spectral multiplier estimates for the harmonic oscillator $-\frac12Δ+ \frac12|x|^{2}$ on $L^{p}(\mathbb{R}^{d})$ . This covers situations where the underlying metric measure space is not doubling and the use of function spaces that are not particularly well suited to extrapolation arguments. For instance, as an application we treat the harmonic oscillator on mixed norm Bargmann-Fock spaces. Our approach is based on a transference principle for the Schrödinger representation of the Heisenberg group that allows us to reduce the problem to the study of the twisted Laplacian on the Bochner spaces $L^{2}(\mathbb{R}^{2d};X)$ . This can be seen as a generalisation of the Stone-von Neumann theorem to UMD lattices $X$ that are not Hilbert spaces.

preprint2020arXiv

Off-singularity bounds and Hardy spaces for Fourier integral operators

We define a scale of Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ , $p\in[1,\infty]$ , that are invariant under suitable Fourier integral operators of order zero. This builds on work by Smith for $p=1$ . We also introduce a notion of off-singularity decay for kernels on the cosphere bundle of $\mathbb{R}^{n}$ , and we combine this with wave packet transforms and tent spaces over the cosphere bundle to develop a full Hardy space theory for oscillatory integral operators. In the process we extend the known results about $L^{p}$ -boundedness of Fourier integral operators, from local boundedness to global boundedness for a larger class of symbols.

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

Finite speed of propagation and off-diagonal bounds for Ornstein-Uhlenbeck operators in infinite dimensions

We study the Hodge-Dirac operators $\mathcal{D}$ associated with a class of non-symmetric Ornstein-Uhlenbeck operators $\mathcal{L}$ in infinite dimensions. For $p\in (1,\infty)$ we prove that $i\mathcal{D}$ generates a $C_0$ -group in $L^p$ with respect to the invariant measure if and only if $p=2$ and $\mathcal{L}$ is self-adjoint. An explicit representation of this $C_0$ -group in $L^2$ is given and we prove that it has finite speed of propagation. Furthermore we prove $L^2$ off-diagonal estimates for various operators associated with $\mathcal{L}$ , both in the self-adjoint and the non-self-adjoint case.

preprint2014arXiv

Conical stochastic maximal $L^p$ -regularity for $1 \leq p \lt \infty$

Let $A = -{\rm div} \,a(\cdot) \nabla$ be a second order divergence form elliptic operator on $\R^n$ with bounded measurable real-valued coefficients and let $W$ be a cylindrical Brownian motion in a Hilbert space $H$ . Our main result implies that the stochastic convolution process $u(t) = \int_0^t e^{-(t-s)A}g(s)\,dW(s), \quad t\ge 0,$ satisfies, for all $1\le p<\infty$ , a conical maximal $L^p$ -regularity estimate $$\E \n \nabla u \n_{ T_2^{p,2}(\R_+\times\R^n)}^p \le C_p^p \E \n g \n_{ T_2^{p,2}(\R_+\times\R^n;H)}^p.$$ Here, $T_2^{p,2}(\R_+\times\R^n)$ and $T_2^{p,2}(\R_+\times\R^n;H)$ are the parabolic tent spaces of real-valued and $H$ -valued functions, respectively. This contrasts with Krylov's maximal $L^p$ -regularity estimate $$\E \n \nabla u \n_{L^p(\R_+;L^2(\R^n;\R^n))}^p \le C^p \E \n g \n_{L^p(\R_+;L^2(\R^n;H))}^p$$ which is known to hold only for $2\le p<\infty$ , even when $A = -Δ$ and $H = \R$ . The proof is based on an $L^2$ -estimate and extrapolation arguments which use the fact that $A$ satisfies suitable off-diagonal bounds. Our results are applied to obtain conical stochastic maximal $L^p$ -regularity for a class of nonlinear SPDEs with rough initial data.

preprint2012arXiv

Maximal and quadratic Gaussian Hardy spaces

Building on the author's recent work with Jan Maas and Jan van Neerven, this paper establishes the equivalence of two norms (one using a maximal function, the other a square function) used to define a Hardy space on $\R^{n}$ with the gaussian measure, that is adapted to the Ornstein-Uhlenbeck semigroup. In contrast to the atomic Gaussian Hardy space introduced earlier by Mauceri and Meda, the $h^{1}(\R^{n};dγ)$ space studied here is such that the Riesz transforms are bounded from $h^{1}(\R^{n};dγ)$ to $L^{1}(\R^{n};dγ)$ . This gives a gaussian analogue of the seminal work of Fefferman and Stein in the case of the Lebesgue measure and the usual Laplacian.

preprint2012arXiv

Singular integral operators on tent spaces

We extend the recent results concerning boundedness of the maximal regularity operator on tent spaces. This leads us to develop a singular integral operator theory on tent spaces. Such operators have operator-valued kernels. A seemingly appropriate condition on the kernel is time-space decay measured by off-diagonal estimates with various exponents.

preprint2010arXiv

Non-tangential maximal functions and conical square functions with respect to the Gaussian measure

We study, in $L^{1}(\R^n;γ)$ with respect to the gaussian measure, non-tangential maximal functions and conical square functions associated with the Ornstein-Uhlenbeck operator by developing a set of techniques which allow us, to some extent, to compensate for the non-doubling character of the gaussian measure. The main result asserts that conical square functions can be controlled in $L^1$ -norm by non-tangential maximal functions. Along the way we prove a change of aperture result for the latter. This complements recent results on gaussian Hardy spaces due to Mauceri and Meda.

preprint2010arXiv

The maximal regularity operator on tent spaces

Recently, Auscher and Axelsson gave a new approach to non-smooth boundary value problems with $L^{2}$ data, that relies on some appropriate weighted maximal regularity estimates. As part of the development of the corresponding $L^{p}$ theory, we prove here the relevant weighted maximal estimates in tent spaces $T^{p,2}$ for $p$ in a certain open range. We also study the case $p=\infty$ .

preprint2010arXiv

Whitney coverings and the tent spaces $T^{1,q}(γ)$ for the Gaussian measure

We introduce a technique for handling Whitney decompositions in Gaussian harmonic analysis and apply it to the study of Gaussian analogues of the classical tent spaces $T^{1,q}$ of Coifman, Meyer and Stein.

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.

Pierre Portal

Research overview

Is this your work?

11 publications

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

Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices

Off-singularity bounds and Hardy spaces for Fourier integral operators

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

Finite speed of propagation and off-diagonal bounds for Ornstein-Uhlenbeck operators in infinite dimensions

Conical stochastic maximal $L^p$ -regularity for $1 \leq p \lt \infty$

Maximal and quadratic Gaussian Hardy spaces

Singular integral operators on tent spaces

Non-tangential maximal functions and conical square functions with respect to the Gaussian measure

The maximal regularity operator on tent spaces

Whitney coverings and the tent spaces $T^{1,q}(γ)$ for the Gaussian measure

See the researcher in context

Building this map preview

Pierre Portal

Research overview

Is this your work?

11 publications

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

Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices

Off-singularity bounds and Hardy spaces for Fourier integral operators

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

Finite speed of propagation and off-diagonal bounds for Ornstein-Uhlenbeck operators in infinite dimensions

Conical stochastic maximal LpL^pLp-regularity for 1≤p<∞1 \leq p \lt \infty1≤p<∞

Maximal and quadratic Gaussian Hardy spaces

Singular integral operators on tent spaces

Non-tangential maximal functions and conical square functions with respect to the Gaussian measure

The maximal regularity operator on tent spaces

Whitney coverings and the tent spaces T1,q(γ)T^{1,q}(γ)T1,q(γ) for the Gaussian measure

See the researcher in context

Building this map preview

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

Conical stochastic maximal $L^p$ -regularity for $1 \leq p \lt \infty$

Whitney coverings and the tent spaces $T^{1,q}(γ)$ for the Gaussian measure