Showing 1–50 of 56 results for author: van Neerven, J

Lévy measures on Banach spaces

Authors: Jan van Neerven, Markus Riedle

Abstract: We establish an explicit characterisation of Lévy measures on both $L^p$-spaces and UMD Banach spaces. In the case of $L^p$-spaces, Lévy measures are characterised by an integrability condition, which directly generalises the known description of Lévy measures on sequence spaces. The latter has been the only known description of Lévy measures on infinite dimensional Banach spaces that are not Hilb… ▽ More We establish an explicit characterisation of Lévy measures on both $L^p$-spaces and UMD Banach spaces. In the case of $L^p$-spaces, Lévy measures are characterised by an integrability condition, which directly generalises the known description of Lévy measures on sequence spaces. The latter has been the only known description of Lévy measures on infinite dimensional Banach spaces that are not Hilbert. Lévy measures on UMD Banach spaces are characterised by the finiteness of the expectation of a random γ-radonifying norm. Although this description is more abstract, it reduces to simple integrability conditions in the case of $L^p$-spaces. △ Less

Submitted 27 June, 2024; v1 submitted 13 June, 2024; originally announced June 2024.

Comments: A missing reference has been added. 19 pages, submitted for publication

MSC Class: Primary: 60B05; Secondary: 46B09; 60E05 60G57; 60H05

Thermal time as an unsharp observable

Authors: Jan van Neerven, Pierre Portal

Abstract: We show that the Connes-Rovelli thermal time associated with the quantum harmonic oscillator can be described as an (unsharp) observable, that is, as a positive operator valued measure. We furthermore present extensions of this result to the free massless relativistic particle in one dimension and to a hypothetical physical system whose equilibrium state is given by the noncommutative integral. We show that the Connes-Rovelli thermal time associated with the quantum harmonic oscillator can be described as an (unsharp) observable, that is, as a positive operator valued measure. We furthermore present extensions of this result to the free massless relativistic particle in one dimension and to a hypothetical physical system whose equilibrium state is given by the noncommutative integral. △ Less

Submitted 15 March, 2024; v1 submitted 3 June, 2023; originally announced June 2023.

Comments: 19 pages, to appear in Journal of Mathematical Physics

MSC Class: 81P05 (Primary); 46L10; 46L60; 81S05; 81R15; 82B10; 82C03 (Secondary)

Spectral multiplier theorems for abstract harmonic oscillators on UMD lattices

Authors: Jan van Neerven, Pierre Portal, Himani Sharma

Abstract: 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… ▽ More 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. △ Less

Submitted 28 April, 2022; v1 submitted 9 January, 2022; originally announced January 2022.

MSC Class: 47A60; 42B15; 43A80; 47A13; 47D03; 47G30; 81S05

Functional Analysis

Authors: Jan van Neerven

Abstract: This book is based on notes compiled over the many years I have been teaching the course "Applied Functional Analysis" in the first year of the Master programme at Delft University of Technology, for students with previous exposure to the essentials of Real Analysis and the theory of Lebesgue integration. It offers a comprehensive introduction to functional analysis, covering both the abstract the… ▽ More This book is based on notes compiled over the many years I have been teaching the course "Applied Functional Analysis" in the first year of the Master programme at Delft University of Technology, for students with previous exposure to the essentials of Real Analysis and the theory of Lebesgue integration. It offers a comprehensive introduction to functional analysis, covering both the abstract theory and applications to spectral theory, boundary value problems, semigroup theory, and quantum mechanics. It starts with the basic results of the subject and progresses towards a treatment of several advanced topics not commonly found in functional analysis textbooks, including Fredholm theory, form methods, boundary value problems, semigroup theory, trace formulas and a mathematical treatment of states and observables in quantum mechanics. △ Less

Submitted 9 May, 2024; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: In the present corrected version, some misprints have been fixed, some paragraphs underwent minor polishing, and several new problems have been added. This version will appear in paperback

MSC Class: Primary: 46; 47; Secondary: 35; 81

Journal ref: Cambridge Studies in Advanced Mathematics, volume 201 (June 2022, corrected printing 2023)

Maximal estimates for stochastic convolutions in 2-smooth Banach spaces and applications to stochastic evolution equations

Authors: Jan van Neerven, Mark Veraar

Abstract: This paper presents a survey of maximal inequalities for stochastic convolutions in $2$-smooth Banach spaces and their applications to stochastic evolution equations. This paper presents a survey of maximal inequalities for stochastic convolutions in $2$-smooth Banach spaces and their applications to stochastic evolution equations. △ Less

Submitted 3 July, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: minor changes. Accepted for publication in Philosophical Transactions of the Royal Society A

Maximal inequalities for stochastic convolutions and pathwise uniform convergence of time discretisation schemes

Authors: Jan van Neerven, Mark Veraar

Abstract: We prove a new Burkholder-Rosenthal type inequality for discrete-time processes taking values in a 2-smooth Banach space. As a first application we prove that if $(S(t,s))_{0\leq s\leq T}$ is a $C_0$-evolution family of contractions on a $2$-smooth Banach space $X$ and $(W_t)_{t\in [0,T]}$ is a cylindrical Brownian motion on a probability space $(Ω,P)$, then for every $0<p<\infty$ there exists a c… ▽ More We prove a new Burkholder-Rosenthal type inequality for discrete-time processes taking values in a 2-smooth Banach space. As a first application we prove that if $(S(t,s))_{0\leq s\leq T}$ is a $C_0$-evolution family of contractions on a $2$-smooth Banach space $X$ and $(W_t)_{t\in [0,T]}$ is a cylindrical Brownian motion on a probability space $(Ω,P)$, then for every $0<p<\infty$ there exists a constant $C_{p,X}$ such that for all progressively measurable processes $g: [0,T]\times Ω\to X$ the process $(\int_0^t S(t,s)g_sdW_s)_{t\in [0,T]}$ has a continuous modification and $$E\sup_{t\in [0,T]}\Big\| \int_0^t S(t,s)g_sdW_s \Big\|^p\leq C_{p,X}^p \mathbb{E} \Bigl(\int_0^T \| g_t\|^2_{γ(H,X)}dt\Bigr)^{p/2}.$$ Moreover, for $2\leq p<\infty$ one may take $C_{p,X} = 10 D \sqrt{p},$ where $D$ is the constant in the definition of $2$-smoothness for $X$. Our result improves and unifies several existing maximal estimates and is even new in case $X$ is a Hilbert space. Similar results are obtained if the driving martingale $g_tdW_t$ is replaced by more general $X$-valued martingales $dM_t$. Moreover, our methods allow for random evolution systems, a setting which appears to be completely new as far as maximal inequalities are concerned. As a second application, for a large class of time discretisation schemes we obtain stability and pathwise uniform convergence of time discretisation schemes for solutions of linear SPDEs $$ du_t = A(t)u_tdt + g_tdW_t, \quad u_0 = 0,$$ Under spatial smoothness assumptions on the inhomogeneity $g$, contractivity is not needed and explicit decay rates are obtained. In the parabolic setting this sharpens several know estimates in the literature; beyond the parabolic setting this seems to provide the first systematic approach to pathwise uniform convergence to time discretisation schemes. △ Less

Submitted 12 July, 2021; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: Dedication added. Online first in Stochastics and Partial Differential Equations: Analysis and Computations

MSC Class: Primary: 60H05; Secondary: 47D06; 49J50; 60H15; 65J08; 65M12

Backward stochastic evolution equations in UMD Banach spaces

Authors: Qi Lü, Jan van Neerven

Abstract: Extending results of Pardoux and Peng and Hu and Peng, we prove well-posedness results for backward stochastic evolution equations in UMD Banach spaces. Extending results of Pardoux and Peng and Hu and Peng, we prove well-posedness results for backward stochastic evolution equations in UMD Banach spaces. △ Less

Submitted 13 December, 2018; originally announced December 2018.

Comments: 21 pages, to appear in "Positivity and Noncommutative Analysis, Festschrift in Honour of Ben de Pagter on the Occasion of his 65th Birthday"

The Weyl calculus for group generators satisfying the canonical commutation relations

Authors: Jan van Neerven, Pierre Portal

Abstract: Classical pseudo-differential calculus on $\mathbb{R}^{d}$ can be viewed as a (non-commutative) functional calculus for the standard position and momentum operators $(Q_{1}, \dots , Q_{d})$ and $(P_{1}, \dots , P_{d})$. We generalise this calculus to the setting of two $d$-tuples of operators $A=(A_{1}, \dots , A_{d})$ and $B=(B_{1}, \dots , B_{d})$ acting on a Banach space $X$ such that… ▽ More Classical pseudo-differential calculus on $\mathbb{R}^{d}$ can be viewed as a (non-commutative) functional calculus for the standard position and momentum operators $(Q_{1}, \dots , Q_{d})$ and $(P_{1}, \dots , P_{d})$. We generalise this calculus to the setting of two $d$-tuples of operators $A=(A_{1}, \dots , A_{d})$ and $B=(B_{1}, \dots , B_{d})$ acting on a Banach space $X$ such that $iA_{1}, \dots , iA_{d}$ and $iB_{1}, \dots , iB_{d}$ generate bounded $C_0$-groups satisfying the Weyl canonical commutation relations $e^{isA_j}e^{itA_k} = e^{itA_k}e^{isA_j}$, $e^{isB_j}e^{itB_k} = e^{itB_k}e^{isB_j}$, and $e^{isA_j}e^{itB_k} = e^{-ist δ_{jk}} e^{itB_k}e^{isA_j}$ $(1\le j,k\le d)$. We show that the resulting calculus $a\mapsto a(A,B) \in \mathscr{L}(X)$, initially defined for Schwartz functions $a\in \mathscr{S}(\mathbb{R}^{2d})$, extends to symbols in the standard symbol class $S^{0}$ of pseudo-differential calculus provided appropriate bounds can be established. We also prove a transference result that bounds the operators $a(A,B)$ in terms of the twisted convolution operators $C_{\widehat{a}}$ acting on $L^{2}(\mathbb{R}^{2d};X)$. We apply these results to obtain $R$-sectoriality and boundedness of the $H^{\infty}$-functional calculus (and even the Hörmander calculus), for the abstract harmonic oscillator $L = \frac12\sum_{j=1}^d (A_j^2+B_j^2)-\frac12d$. △ Less

Submitted 4 June, 2018; originally announced June 2018.

Comments: 38 pages, submitted for publication

$L^p$-Analysis of the Hodge--Dirac operator associated with Witten Laplacians on complete Riemannian manifolds

Authors: Jan van Neerven, Rik Versendaal

Abstract: We prove $R$-bisectoriality and boundedness of the $H^\infty$-functional calculus in $L^p$ for all $1<p<\infty$ for the Hodge-Dirac operator associated with Witten Laplacians on complete Riemannian manifolds with non-negative Bakry-Emery Ricci curvature on $k$-forms. We prove $R$-bisectoriality and boundedness of the $H^\infty$-functional calculus in $L^p$ for all $1<p<\infty$ for the Hodge-Dirac operator associated with Witten Laplacians on complete Riemannian manifolds with non-negative Bakry-Emery Ricci curvature on $k$-forms. △ Less

Submitted 20 February, 2017; originally announced February 2017.

Comments: 23 pages, submitted for publication

MSC Class: Primary: 47A60; Secondary: 58A10; 58J35; 58J60

Weyl calculus with respect to the Gaussian measure and restricted $L^p$-$L^q$ boundedness of the Ornstein-Uhlenbeck semigroup in complex time

Authors: Jan van Neerven, Pierre Portal

Abstract: In this paper, we introduce a Weyl functional calculus $a \mapsto a(Q,P)$ for the position and momentum operators $Q$ and $P$ associated with the Ornstein-Uhlenbeck operator $ L = -Δ+ x\cdot \nabla$, and give a simple criterion for restricted $L^p$-$L^q$ boundedness of operators in this functional calculus. The analysis of this non-commutative functional calculus is simpler than the analysis of th… ▽ More In this paper, we introduce a Weyl functional calculus $a \mapsto a(Q,P)$ for the position and momentum operators $Q$ and $P$ associated with the Ornstein-Uhlenbeck operator $ L = -Δ+ x\cdot \nabla$, and give a simple criterion for restricted $L^p$-$L^q$ boundedness of operators in this functional calculus. The analysis of this non-commutative functional calculus is simpler than the analysis of the functional calculus of $L$. It allows us to recover, unify, and extend, old and new results concerning the boundedness of $\exp(-zL)$ as an operator from $L^p(\mathbb{R}^d,γ_α)$ to $L^q(\mathbb{R}^d,γ_β)$ for suitable values of $z\in \mathbb{C}$ with $\Re z>0$, $p,q\in [1,\infty)$, and $α,β>0$. Here, $γ_τ$ denotes the centred Gaussian measure on $\mathbb{R}^d$ with density $(2πτ)^{-d/2}\exp(-|x|^2/2τ)$. △ Less

Submitted 10 July, 2018; v1 submitted 12 February, 2017; originally announced February 2017.

Comments: Some typos have been corrected and the case p=1 has been added to Corollary 5.1

MSC Class: 47A60; 47D06; 47G30; 60H07; 81S05

On conditional expectations in L^p(mu;L^q(nu;X))

Authors: Qi Lu, Jan van Neerven

Abstract: Let $(A,\mathscr{A},μ)$ and $(B,\mathscr{B},ν)$ be probability spaces, let $\mathscr{F}$ be a sub-$σ$-algebra of the product $σ$-algebra $\mathscr{A}\times\mathscr{B}$, let $X$ be a Banach space, and let $1< p,q< \infty$. We obtain necessary and sufficient conditions in order that the conditional expectation with respect to $\mathscr{F}$ defines a bounded linear operator from $L^p(μ;L^q(ν;X))$ ont… ▽ More Let $(A,\mathscr{A},μ)$ and $(B,\mathscr{B},ν)$ be probability spaces, let $\mathscr{F}$ be a sub-$σ$-algebra of the product $σ$-algebra $\mathscr{A}\times\mathscr{B}$, let $X$ be a Banach space, and let $1< p,q< \infty$. We obtain necessary and sufficient conditions in order that the conditional expectation with respect to $\mathscr{F}$ defines a bounded linear operator from $L^p(μ;L^q(ν;X))$ onto $L^p_{\mathscr{F}}(μ;L^q(ν;X))$, the closed subspace in $L^p(μ;L^q(ν;X))$ of all functions having a strongly $\mathscr{F}$-measurable representative. △ Less

Submitted 2 May, 2018; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: A further corollary has been added

MSC Class: 47B38 (46E40; 47B65; 60A10)

Convergence in Hölder norms with applications to Monte Carlo methods in infinite dimensions

Authors: Sonja Cox, Martin Hutzenthaler, Arnulf Jentzen, Jan van Neerven, Timo Welti

Abstract: We show that if a sequence of piecewise affine linear processes converges in the strong sense with a positive rate to a stochastic process which is strongly Hölder continuous in time, then this sequence converges in the strong sense even with respect to much stronger Hölder norms and the convergence rate is essentially reduced by the Hölder exponent. Our first application hereof establishes pathwi… ▽ More We show that if a sequence of piecewise affine linear processes converges in the strong sense with a positive rate to a stochastic process which is strongly Hölder continuous in time, then this sequence converges in the strong sense even with respect to much stronger Hölder norms and the convergence rate is essentially reduced by the Hölder exponent. Our first application hereof establishes pathwise convergence rates for spectral Galerkin approximations of stochastic partial differential equations. Our second application derives strong convergence rates of multilevel Monte Carlo approximations of expectations of Banach space valued stochastic processes. △ Less

Submitted 8 April, 2019; v1 submitted 3 May, 2016; originally announced May 2016.

Comments: 50 pages

MSC Class: 65C99

Journal ref: IMA Journal of Numerical Analysis 41, no. 1 (2021): 493-548

On the constant in a transference inequality for the vector-valued Fourier transform

Authors: Dion Gijswijt, Jan van Neerven

Abstract: The standard proof of the equivalence of Fourier type on R^d and on the torus T^d is usually stated in terms of an implicit constant, defined as the minimum of a sum of powers of sinc functions. In this note we compute this minimum explicitly. The standard proof of the equivalence of Fourier type on R^d and on the torus T^d is usually stated in terms of an implicit constant, defined as the minimum of a sum of powers of sinc functions. In this note we compute this minimum explicitly. △ Less

Submitted 5 April, 2016; v1 submitted 23 November, 2015; originally announced December 2015.

Comments: An alternative proof of the main result for the special case that the parameter r is integral, due to Tom Koornwinder, has been included

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

Authors: Pierre Portal, Jan van Neerven

Abstract: 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… ▽ More 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. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 27 pages

MSC Class: 47A60; 47F05; 60H15; 42B37; 35L05

Second quantisation for skew convolution products of infinitely divisible measures

Authors: David Applebaum, Jan van Neerven

Abstract: Suppose $λ_1$ and $λ_2$ are infinitely divisible Radon measures on real Banach spaces $E_1$ and $E_2$, respectively and let $T:E_{1} \rightarrow E_{2}$ be a Borel measurable map** so that $T(λ_1) * ρ= λ_2 $ for some Radon probability measure $ρ$ on $E_{2}$. Extending previous results for the Gaussian and the Poissonian case, we study the problem of representing the `transition operator'… ▽ More Suppose $λ_1$ and $λ_2$ are infinitely divisible Radon measures on real Banach spaces $E_1$ and $E_2$, respectively and let $T:E_{1} \rightarrow E_{2}$ be a Borel measurable map** so that $T(λ_1) * ρ= λ_2 $ for some Radon probability measure $ρ$ on $E_{2}$. Extending previous results for the Gaussian and the Poissonian case, we study the problem of representing the `transition operator' $P_{T}:L^{p}(E_{2}, λ_{2}) \rightarrow L^{p}(E_{1}, λ_{1})$ given by $$ P_{T}f(x) = \int_{E_{2}}f(T(x) + y)dρ(y) %% dρ(y) instead of ρ(dy) in order to unify notations $$ as the second quantisation of a contraction operator acting between suitably chosen `reproducing kernel Hilbert spaces' associated with $λ_1$ and $λ_2$. △ Less

Submitted 12 August, 2014; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: Some typos have been corrected. To appear in IDAQP

MSC Class: 60B11; 60E07; 60G51; 60G57; 60H05

On the R-boundedness of stochastic convolution operators

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: The $R$-boundedness of certain families of vector-valued stochastic convolution operators with scalar-valued square integrable kernels is the key ingredient in the recent proof of stochastic maximal $L^p$-regularity, $2<p<\infty$, for certain classes of sectorial operators acting on spaces $X=L^q(μ)$, $2\le q<\infty$. This paper presents a systematic study of $R$-boundedness of such families. Our… ▽ More The $R$-boundedness of certain families of vector-valued stochastic convolution operators with scalar-valued square integrable kernels is the key ingredient in the recent proof of stochastic maximal $L^p$-regularity, $2<p<\infty$, for certain classes of sectorial operators acting on spaces $X=L^q(μ)$, $2\le q<\infty$. This paper presents a systematic study of $R$-boundedness of such families. Our main result generalises the afore-mentioned $R$-boundedness result to a larger class of Banach lattices $X$ and relates it to the $\ell^{1}$-boundedness of an associated class of deterministic convolution operators. We also establish an intimate relationship between the $\ell^{1}$-boundedness of these operators and the boundedness of the $X$-valued maximal function. This analysis leads, quite surprisingly, to an example showing that $R$-boundedness of stochastic convolution operators fails in certain UMD Banach lattices with type $2$. △ Less

Submitted 1 July, 2014; v1 submitted 13 April, 2014; originally announced April 2014.

Comments: to appear in Positivity

MSC Class: Primary: 60H15; Secondary: 42B25; 46B09; 46E30; 60H05

The L^p-Poincaré inequality for analytic Ornstein-Uhlenbeck operators

Authors: Jan van Neerven

Abstract: Consider the linear stochastic evolution equation dU(t) = AU(t) + dW_H(t), t\ge 0, where A generates a C_0-semigroup on a Banach space E and W_H is a cylindrical Brownian motion in a continuously embedded Hilbert subspace H of E. Under the assumption that the solutions to this equation admit an invariant measure μ_\infty we prove that if the associated Ornstein-Uhlenbeck semigroup is analytic and… ▽ More Consider the linear stochastic evolution equation dU(t) = AU(t) + dW_H(t), t\ge 0, where A generates a C_0-semigroup on a Banach space E and W_H is a cylindrical Brownian motion in a continuously embedded Hilbert subspace H of E. Under the assumption that the solutions to this equation admit an invariant measure μ_\infty we prove that if the associated Ornstein-Uhlenbeck semigroup is analytic and has compact resolvent, then the Poincaré inequality \n f - \overline f\n_{L^p(E,μ_\infty)} \le \n D_H f\n_{L^p(E,μ_\infty)} holds for all 1<p<\infty. Here \overline f denotes the average of f with respect to μ_\infty and D_H the Fréchet derivative in the direction of H. △ Less

Submitted 14 August, 2014; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: Minor correctiopns. To appear in the proceedings of the symposium "Operator Semigroups meet Complex Analysis, Harmonic Analysis and Mathematical Physics", June 2013, Herrnhut, Germany

MSC Class: Primary 47D07; Secondary: 35R15; 35R60

Poisson stochastic integration in Banach spaces

Authors: Sjoerd Dirksen, Jan Maas, Jan van Neerven

Abstract: We prove new upper and lower bounds for Banach space-valued stochastic integrals with respect to a compensated Poisson random measure. Our estimates apply to Banach spaces with non-trivial martingale (co)type and extend various results in the literature. We also develop a Malliavin framework to interpret Poisson stochastic integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone repr… ▽ More We prove new upper and lower bounds for Banach space-valued stochastic integrals with respect to a compensated Poisson random measure. Our estimates apply to Banach spaces with non-trivial martingale (co)type and extend various results in the literature. We also develop a Malliavin framework to interpret Poisson stochastic integrals as vector-valued Skorohod integrals, and prove a Clark-Ocone representation formula. △ Less

Submitted 30 July, 2013; originally announced July 2013.

Comments: 26 pages

Compactness in the Lebesgue-Bochner spaces L^p(μ;X)

Authors: Jan van Neerven

Abstract: Let (Ω,μ) be a finite measure space, X a Banach space, and let 1\le p<\infty. The aim of this paper is to give an elementary proof of the Diaz--Mayoral theorem that a subset V of L^p(μ;X) is relatively compact if and only if it is uniformly p-integrable, uniformly tight, and scalarly relatively compact. Let (Ω,μ) be a finite measure space, X a Banach space, and let 1\le p<\infty. The aim of this paper is to give an elementary proof of the Diaz--Mayoral theorem that a subset V of L^p(μ;X) is relatively compact if and only if it is uniformly p-integrable, uniformly tight, and scalarly relatively compact. △ Less

Submitted 24 May, 2013; originally announced May 2013.

Comments: 5 pages, submitted for publication

MSC Class: Primary: 46E40; Secondary: 46E30; 46B50

Second quantisation for skew convolution products of measures in Banach spaces

Authors: David Applebaum, Jan van Neerven

Abstract: We study measures in Banach space which arise as the skew convolution product of two other measures where the convolution is deformed by a skew map. This is the structure that underlies both the theory of Mehler semigroups and operator self-decomposable measures. We show how that given such a set-up the skew map can be lifted to an operator that acts at the level of function spaces and demonstrate… ▽ More We study measures in Banach space which arise as the skew convolution product of two other measures where the convolution is deformed by a skew map. This is the structure that underlies both the theory of Mehler semigroups and operator self-decomposable measures. We show how that given such a set-up the skew map can be lifted to an operator that acts at the level of function spaces and demonstrate that this is an example of the well known functorial procedure of second quantisation. We give particular emphasis to the case where the product measure is infinitely divisible and study the second quantisation process in some detail using chaos expansions when this is either Gaussian or is generated by a Poisson random measure. △ Less

Submitted 22 May, 2013; originally announced May 2013.

Comments: 17 pages, submitted for publication

MSC Class: Primary 81S25; Secondary 47N30; 60B05; 60E07; 60G51; 60G57; 60J35; 60H07

Stochastic integration in Banach spaces - a survey

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: This paper presents a brief survey of the theory of stochastic integration in Banach spaces. Expositions of the stochastic integrals in martingale type 2 spaces and UMD spaces are presented, as well as some applications of the latter to vector-valued Malliavin calculus and the stochastic maximal regularity problem. A new proof of the stochastic maximal regularity theorem is included. This paper presents a brief survey of the theory of stochastic integration in Banach spaces. Expositions of the stochastic integrals in martingale type 2 spaces and UMD spaces are presented, as well as some applications of the latter to vector-valued Malliavin calculus and the stochastic maximal regularity problem. A new proof of the stochastic maximal regularity theorem is included. △ Less

Submitted 27 May, 2014; v1 submitted 29 April, 2013; originally announced April 2013.

Comments: minor corrections. To appear in the proceedings of the 2012 EPFL Semester on Stochastic Analysis and Applications

MSC Class: Primary: 60H05; Secondary: 46B09; 46E40; 60H15

Maximal gamma-regularity

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: In this paper we prove maximal regularity estimates in "square function spaces" which are commonly used in harmonic analysis, spectral theory, and stochastic analysis. In particular, they lead to a new class of maximal regularity results for both deterministic and stochastic equations in $L^p$-spaces with $1<p<\infty$. For stochastic equations, the case $1<p<2$ was not covered in the literature so… ▽ More In this paper we prove maximal regularity estimates in "square function spaces" which are commonly used in harmonic analysis, spectral theory, and stochastic analysis. In particular, they lead to a new class of maximal regularity results for both deterministic and stochastic equations in $L^p$-spaces with $1<p<\infty$. For stochastic equations, the case $1<p<2$ was not covered in the literature so far. Moreover, the "square function spaces" allow initial values with the same roughness as in the $L^2$-setting. △ Less

Submitted 4 November, 2014; v1 submitted 17 September, 2012; originally announced September 2012.

Comments: To appear in Journal of Evolution Equations

MSC Class: 35R60 (Primary); 35B45; 35B65; 35D10; 35K22; 46B09; 47D06; 47A60; 60H15 (Secondary)

L^2-Theory for non-symmetric Ornstein-Uhlenbeck semigroups on domains

Authors: Joyce Assaad, Jan van Neerven

Abstract: We present some new results on analytic Ornstein-Uhlenbeck semigroups and use them to extend recent work of Da Prato and Lunardi for Ornstein-Uhlenbeck semigroups on open domains O to the non-symmetric case. Denoting the generator of the semigroup by L_O, we obtain sufficient conditions in order that the domain Dom(\sqrt{-L_O}) be a first order Sobolev space. We present some new results on analytic Ornstein-Uhlenbeck semigroups and use them to extend recent work of Da Prato and Lunardi for Ornstein-Uhlenbeck semigroups on open domains O to the non-symmetric case. Denoting the generator of the semigroup by L_O, we obtain sufficient conditions in order that the domain Dom(\sqrt{-L_O}) be a first order Sobolev space. △ Less

Submitted 26 October, 2012; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: 23 pages, revised version, to appear in J. Evol. Eq. The main change is a correction in Theorem 5.5: the second assertion has been withdrawn due to a gap in the original proof

MSC Class: 35R15 (Primary) 35J25; 42B25; 46E35; 47D05; 60H07 (Secondary)

The stochastic Weiss conjecture for bounded analytic semigroups

Authors: Jamil Abreu, Bernhard Haak, Jan van Neerven

Abstract: Suppose -A admits a bounded H-infinity calculus of angle less than pi/2 on a Banach space E with Pisier's property (alpha), let B be a bounded linear operator from a Hilbert space H into the extrapolation space E_{-1} of E with respect to A, and let W_H denote an H-cylindrical Brownian motion. Let gamma(H,E) denote the space of all gamma-radonifying operators from H to E. We prove that the followi… ▽ More Suppose -A admits a bounded H-infinity calculus of angle less than pi/2 on a Banach space E with Pisier's property (alpha), let B be a bounded linear operator from a Hilbert space H into the extrapolation space E_{-1} of E with respect to A, and let W_H denote an H-cylindrical Brownian motion. Let gamma(H,E) denote the space of all gamma-radonifying operators from H to E. We prove that the following assertions are equivalent: (i) the stochastic Cauchy problem dU(t) = AU(t)dt + BdW_H(t) admits an invariant measure on E; (ii) (-A)^{-1/2} B belongs to gamma(H,E); (iii) the Gaussian sum \sum_{n\in\mathbb{Z}} γ_n 2^{n/2} R(2^n,A)B converges in gamma(H,E) in probability. This solves the stochastic Weiss conjecture proposed recently by the second and third named authors. △ Less

Submitted 16 June, 2012; originally announced June 2012.

Comments: 17 pages; submitted for publication

MSC Class: Primary: 93B28; Secondary: 35R15; 46B09; 47B10; 47D06

Equivalence of laws and null controllability for SPDEs driven by a fractional Brownian motion

Authors: Bohdan Maslowski, Jan van Neerven

Abstract: We obtain necessary and sufficient conditions for equivalence of law for linear stochastic evolution equations driven by a general Gaussian noise by identifying the suitable space of controls for the corresponding deterministic control problem. This result is applied to semilinear (reaction-diffusion) equations driven by a fractional Brownian motion. We establish the equivalence of continuous depe… ▽ More We obtain necessary and sufficient conditions for equivalence of law for linear stochastic evolution equations driven by a general Gaussian noise by identifying the suitable space of controls for the corresponding deterministic control problem. This result is applied to semilinear (reaction-diffusion) equations driven by a fractional Brownian motion. We establish the equivalence of continuous dependence of laws of solutions to semilinear equations on the initial datum in the topology of pointwise convergence of measures and null controllability for the corresponding deterministic control problem. △ Less

Submitted 6 March, 2012; originally announced March 2012.

Comments: 22 pages, submitted for publication

MSC Class: Primary: 60H15; Secondary: 60H05; 28C20

Pathwise Holder convergence of the implicit Euler scheme for semi-linear SPDEs with multiplicative noise

Authors: S. G. Cox, J. M. A. M. van Neerven

Abstract: In this article we prove pathwise Holder convergence with optimal rates of the implicit Euler scheme for semi-linear parabolic stochastic differential equations with multiplicative noise, set in a UMD Banach space X. We assume the non-linearities to satisfy appropriate (local) Lipschitz conditions. The convergence results are obtained by first proving corresponding results for the splitting scheme… ▽ More In this article we prove pathwise Holder convergence with optimal rates of the implicit Euler scheme for semi-linear parabolic stochastic differential equations with multiplicative noise, set in a UMD Banach space X. We assume the non-linearities to satisfy appropriate (local) Lipschitz conditions. The convergence results are obtained by first proving corresponding results for the splitting scheme. The results are applied to a class of second order parabolic SPDEs driven by multiplicative space-time white noise. △ Less

Submitted 21 January, 2012; originally announced January 2012.

Comments: 67 pages

MSC Class: Primary: 65C30; Secondary: 60H15; 60H35; 65J08

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

Authors: Pascal Auscher, Jan van Neerven, Pierre Portal

Abstract: 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… ▽ More 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. △ Less

Submitted 20 February, 2014; v1 submitted 14 December, 2011; originally announced December 2011.

Comments: minor corrections. Final before publication in Math. Annalen

A maximal inequality for stochastic convolutions in 2-smooth Banach spaces

Authors: Jan van Neerven, Jiahui Zhu

Abstract: Let (e^{tA})_{t \geq 0} be a C_0-contraction semigroup on a 2-smooth Banach space E, let (W_t)_{t \geq 0} be a cylindrical Brownian motion in a Hilbert space H, and let (g_t)_{t \geq 0} be a progressively measurable process with values in the space γ(H,E) of all γ-radonifying operators from H to E. We prove that for all 0<p<\infty there exists a constant C, depending only on p and E, such that for… ▽ More Let (e^{tA})_{t \geq 0} be a C_0-contraction semigroup on a 2-smooth Banach space E, let (W_t)_{t \geq 0} be a cylindrical Brownian motion in a Hilbert space H, and let (g_t)_{t \geq 0} be a progressively measurable process with values in the space γ(H,E) of all γ-radonifying operators from H to E. We prove that for all 0<p<\infty there exists a constant C, depending only on p and E, such that for all T \geq 0 we have \E \sup_{0\le t\le T} || \int_0^t e^{(t-s)A} g_s dW_s \ ||^p \leq C \mathbb{E} (\int_0^T || g_t ||_{γ(H,E)}^2 dt)^\frac{p}{2}. For p \geq 2 the proof is based on the observation that ψ(x) = || x ||^p is Fréchet differentiable and its derivative satisfies the Lipschitz estimate || ψ'(x) - ψ'(y)|| \leq C(|| x || + || y ||)^{p-2} || x-y ||; the extension to 0<p<2 proceeds via Lenglart's inequality. △ Less

Submitted 25 October, 2011; v1 submitted 24 May, 2011; originally announced May 2011.

Comments: Minor revisions and example added. Accepted for publication in Electron. Commun. Probab

MSC Class: 60H05 (Primary) 60H15 (Secondary)

Continuous dependence on the coefficients and global existence for stochastic reaction diffusion equations

Authors: Markus Kunze, Jan van Neerven

Abstract: We prove convergence of the solutions X_n of semilinear stochastic evolution equations dX_n(t) = (A_nX(t) + F_n(t,X_n(t)))dt + G_n(t,X_n(t))dW_H(t), X_n(0) = x_n, on a Banach space B, driven by a cylindrical Brownian motion W_H in a Hilbert space H. We assume that the operators A_n converge to A and the locally Lipschitz functions F_n and G_n converge to the locally Lipschitz functions F and G in… ▽ More We prove convergence of the solutions X_n of semilinear stochastic evolution equations dX_n(t) = (A_nX(t) + F_n(t,X_n(t)))dt + G_n(t,X_n(t))dW_H(t), X_n(0) = x_n, on a Banach space B, driven by a cylindrical Brownian motion W_H in a Hilbert space H. We assume that the operators A_n converge to A and the locally Lipschitz functions F_n and G_n converge to the locally Lipschitz functions F and G in an appropriate sense. Moreover, we obtain estimates for the lifetime of the solution X of the limiting problem in terms of the lifetimes of the approximating solutions X_n. We apply the results to prove global existence for reaction diffusion equations with multiplicative noise and a polynomially bounded reaction term satisfying suitable dissipativity conditions. The operator governing the linear part of the equation can be an arbitrary uniformly elliptic second order elliptic operator. △ Less

Submitted 4 July, 2019; v1 submitted 21 April, 2011; originally announced April 2011.

Comments: A confusing typo in the statement of Theorem 4.9 has been corrected

MSC Class: 60H15 (Primary) 35K37; 35A35; 35R60 (Secondary)

Maximal $L^p$-regularity for stochastic evolution equations

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: We prove maximal $L^p$-regularity for the stochastic evolution equation \[\{{aligned} dU(t) + A U(t)\, dt& = F(t,U(t))\,dt + B(t,U(t))\,dW_H(t), \qquad t\in [0,T], U(0) & = u_0, {aligned}.\] under the assumption that $A$ is a sectorial operator with a bounded $H^\infty$-calculus of angle less than $\frac12π$ on a space $L^q(\mathcal{O},μ)$. The driving process $W_H$ is a cylindrical Brownian m… ▽ More We prove maximal $L^p$-regularity for the stochastic evolution equation \[\{{aligned} dU(t) + A U(t)\, dt& = F(t,U(t))\,dt + B(t,U(t))\,dW_H(t), \qquad t\in [0,T], U(0) & = u_0, {aligned}.\] under the assumption that $A$ is a sectorial operator with a bounded $H^\infty$-calculus of angle less than $\frac12π$ on a space $L^q(\mathcal{O},μ)$. The driving process $W_H$ is a cylindrical Brownian motion in an abstract Hilbert space $H$. For $p\in (2,\infty)$ and $q\in [2,\infty)$ and initial conditions $u_0$ in the real interpolation space $\XAp $ we prove existence of unique strong solution with trajectories in \[L^p(0,T;\Dom(A))\cap C([0,T];\XAp),\] provided the non-linearities $F:[0,T]\times \Dom(A)\to L^q(\mathcal{O},μ)$ and $B:[0,T]\times \Dom(A) \to \g(H,\Dom(A^{\frac12}))$ are of linear growth and Lipschitz continuous in their second variables with small enough Lipschitz constants. Extensions to the case where $A$ is an adapted operator-valued process are considered as well. Various applications to stochastic partial differential equations are worked out in detail. These include higher-order and time-dependent parabolic equations and the Navier-Stokes equation on a smooth bounded domain $\OO\subseteq \R^d$ with $d\ge 2$. For the latter, the existence of a unique strong local solution with values in $(H^{1,q}(\OO))^d$ is shown. △ Less

Submitted 17 February, 2012; v1 submitted 18 January, 2011; originally announced January 2011.

Comments: Accepted for publication in SIAM Journal on Mathematical Analysis

MSC Class: Primary: 60H15 Secondary: 35D10; 35R60; 46B09; 47D06; 47A60

Stochastic maximal $L^p$-regularity

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: In this article we prove a maximal $L^p$-regularity result for stochastic convolutions, which extends Krylov's basic mixed $L^p(L^q)$-inequality for the Laplace operator on ${\mathbb{R}}^d$ to large classes of elliptic operators, both on ${\mathbb{R}}^d$ and on bounded domains in ${\mathbb{R}}^d$ with various boundary conditions. Our method of proof is based on McIntosh's $H^{\infty}$-functional c… ▽ More In this article we prove a maximal $L^p$-regularity result for stochastic convolutions, which extends Krylov's basic mixed $L^p(L^q)$-inequality for the Laplace operator on ${\mathbb{R}}^d$ to large classes of elliptic operators, both on ${\mathbb{R}}^d$ and on bounded domains in ${\mathbb{R}}^d$ with various boundary conditions. Our method of proof is based on McIntosh's $H^{\infty}$-functional calculus, $R$-boundedness techniques and sharp $L^p(L^q)$-square function estimates for stochastic integrals in $L^q$-spaces. Under an additional invertibility assumption on $A$, a maximal space--time $L^p$-regularity result is obtained as well. △ Less

Submitted 11 April, 2012; v1 submitted 8 April, 2010; originally announced April 2010.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP626 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP626

Journal ref: Annals of Probability 2012, Vol. 40, No. 2, 788-812

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

Authors: Jan Maas, Jan van Neerven, Pierre Portal

Abstract: 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 develo** 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 b… ▽ More 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 develo** 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. △ Less

Submitted 25 November, 2010; v1 submitted 22 March, 2010; originally announced March 2010.

Comments: 21 pages, revised version with various arguments simplified and generalised

MSC Class: 42B25; 42B30

Approximating the coefficients in semilinear stochastic partial differential equations

Authors: Markus Kunze, Jan van Neerven

Abstract: We investigate, in the setting of UMD Banach spaces E, the continuous dependence on the data A, F, G and X_0 of mild solutions of semilinear stochastic evolution equations with multiplicative noise of the form dX(t) = [AX(t) + F(t,X(t))]dt + G(t,X(t))dW_H(t), X(0)=X_0, where W_H is a cylindrical Brownian motion on a Hilbert space H. We prove continuous dependence of the compensated solutions X(t)-… ▽ More We investigate, in the setting of UMD Banach spaces E, the continuous dependence on the data A, F, G and X_0 of mild solutions of semilinear stochastic evolution equations with multiplicative noise of the form dX(t) = [AX(t) + F(t,X(t))]dt + G(t,X(t))dW_H(t), X(0)=X_0, where W_H is a cylindrical Brownian motion on a Hilbert space H. We prove continuous dependence of the compensated solutions X(t)-e^{tA}X_0 in the norms L^p(Ω;C^λ([0,T];E)) assuming that the approximating operators A_n are uniformly sectorial and converge to A in the strong resolvent sense, and that the approximating nonlinearities F_n and G_n are uniformly Lipschitz continuous in suitable norms and converge to F and G pointwise. Our results are applied to a class of semilinear parabolic SPDEs with finite-dimensional multiplicative noise. △ Less

Submitted 9 February, 2011; v1 submitted 9 March, 2010; originally announced March 2010.

Comments: Referee's comments have been incorporated

MSC Class: 60H15 (Primary); 47D06 (Secondary)

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

Authors: Jan Maas, Jan van Neerven, Pierre Portal

Abstract: 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. 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. △ Less

Submitted 29 September, 2010; v1 submitted 25 February, 2010; originally announced February 2010.

Comments: 13 pages, 1 figure. Revised version incorporating referee's comments. To appear in Arkiv for Matematik

MSC Class: 42B35

Stochastic evolution equations driven by Liouville fractional Brownian motion

Authors: Zdzislaw Brzezniak, Jan van Neerven, Donna Salopek

Abstract: Let H be a Hilbert space and E a Banach space. We set up a theory of stochastic integration of L(H,E)-valued functions with respect to H-cylindrical Liouville fractional Brownian motions (fBm) with arbitrary Hurst parameter in the interval (0,1). For Hurst parameters in (0,1/2) we show that a function F:(0,T)\to L(H,E) is stochastically integrable with respect to an H-cylindrical Liouville fBm if… ▽ More Let H be a Hilbert space and E a Banach space. We set up a theory of stochastic integration of L(H,E)-valued functions with respect to H-cylindrical Liouville fractional Brownian motions (fBm) with arbitrary Hurst parameter in the interval (0,1). For Hurst parameters in (0,1/2) we show that a function F:(0,T)\to L(H,E) is stochastically integrable with respect to an H-cylindrical Liouville fBm if and only if it is stochastically integrable with respect to an H-cylindrical fBm with the same Hurst parameter. As an application we show that second-order parabolic SPDEs on bounded domains in \mathbb{R}^d, driven by space-time noise which is white in space and Liouville fractional in time with Hurst parameter in (d/4,1) admit mild solution which are Hölder continuous both and space. △ Less

Submitted 7 March, 2012; v1 submitted 22 January, 2010; originally announced January 2010.

Comments: To appear in Czech. Math. J

MSC Class: 60H05 (Primary) 35R60; 47D06; 60G18 (Secondary)

Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators

Authors: Jan Maas, Jan van Neerven

Abstract: Let (P(t)) be the Ornstein-Uhlenbeck semigroup associated with the stochastic Cauchy problem dU(t) = AU(t)dt + dW_H(t), where A is the generator of a C_0-semigroup (S(t)) on a Banach space E, H is a Hilbert subspace of E, and (W_H(t)) is an H-cylindrical Brownian motion. Assuming that (S(t)) restricts to a C_0-semigroup on H, we obtain L^p-bounds for the gradient D_H P(t). We show that if (P(t)) i… ▽ More Let (P(t)) be the Ornstein-Uhlenbeck semigroup associated with the stochastic Cauchy problem dU(t) = AU(t)dt + dW_H(t), where A is the generator of a C_0-semigroup (S(t)) on a Banach space E, H is a Hilbert subspace of E, and (W_H(t)) is an H-cylindrical Brownian motion. Assuming that (S(t)) restricts to a C_0-semigroup on H, we obtain L^p-bounds for the gradient D_H P(t). We show that if (P(t)) is analytic, then the invariance assumption is fulfilled. As an application we determine the L^p-domain of the generator of (P(t)) explicitly in the case where (S(t)) restricts to a C_0-semigroup on H which is similar to an analytic contraction semigroup. The results are applied to the 1D stochastic heat equation driven by additive space-time white noise. △ Less

Submitted 4 February, 2011; v1 submitted 23 November, 2009; originally announced November 2009.

Comments: 13 pages, to appear in "Parabolic Problems, The Herbert Amann Festschrift", typos fixed

MSC Class: Primary: 47D07; Secondary: 35R15; 42B25; 46E35; 60H15

$γ$-Radonifying operators -- a survey

Authors: Jan van Neerven

Abstract: We present a survey of the theory of $γ$-radonifying operators and their applications to stochastic integration in Banach spaces. We present a survey of the theory of $γ$-radonifying operators and their applications to stochastic integration in Banach spaces. △ Less

Submitted 9 February, 2010; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: Revised and slightly extended version

MSC Class: 47B10 (Primary); 28C20; 46B09; 47B10; 60B11; 60H05 (Secondary)

Convergence rates of the splitting scheme for parabolic linear stochastic Cauchy problems

Authors: Sonja Cox, Jan van Neerven

Abstract: We study the splitting scheme associated with the linear stochastic Cauchy problem dU(t) = AU(t) dt + dW(t), where A is the generator of an analytic C_0-semigroup S={S(t)} on a Banach space E and W={W(t)} is a Brownian motion with values in a fractional domain space E_\b associated with A. We prove that if \a,\b,\g,þ\ge 0 are such that \g + þ< 1 and max[0,(\a-\b+þ)] + \g < 1/2, then the approxim… ▽ More We study the splitting scheme associated with the linear stochastic Cauchy problem dU(t) = AU(t) dt + dW(t), where A is the generator of an analytic C_0-semigroup S={S(t)} on a Banach space E and W={W(t)} is a Brownian motion with values in a fractional domain space E_\b associated with A. We prove that if \a,\b,\g,þ\ge 0 are such that \g + þ< 1 and max[0,(\a-\b+þ)] + \g < 1/2, then the approximate solutions U_n (where n is the number of time steps) converge to the solution U in the Holder space C^\g([0,T];E_\a), both in L^p-means and almost surely, with rate 1/n^þ. △ Less

Submitted 25 February, 2010; v1 submitted 11 June, 2009; originally announced June 2009.

Comments: Final version, to appear in SINUM

MSC Class: 35R15; 60H15 (Primary); 47D06; 60J35 (Secondary)

Vector measures of bounded gamma-variation and stochastic integrals

Authors: Jan van Neerven, Lutz Weis

Abstract: We introduce the class of vector measures of bounded $γ$-variation and study its relationship with vector-valued stochastic integrals with respect to Brownian motions. We introduce the class of vector measures of bounded $γ$-variation and study its relationship with vector-valued stochastic integrals with respect to Brownian motions. △ Less

Submitted 10 June, 2009; originally announced June 2009.

Comments: 9 pages; to appear in the proceedings of 3rd Meeting on Vector Measures, Integration and Applications (Eichstaett, 2008)

MSC Class: 46G10; 60H05

Spaces of operator-valued functions measurable with respect to the strong operator topology

Authors: Oscar Blasco, Jan van Neerven

Abstract: Let $X$ and $Y$ be Banach spaces and $(Ω,Σ,μ)$ a finite measure space. In this note we introduce the space $L^p[μ;L(X,Y)]$ consisting of all (equivalence classes of) functions $Φ:Ω\mapsto L(X,Y)$ such that $ω\mapsto Φ(ω)x$ is strongly $μ$-measurable for all $x\in X$ and $ω\mapsto Φ(ω)f(ω)$ belongs to $L^1(μ;Y)$ for all $f\in L^{p'}(μ;X)$, $1/p+1/p'=1$. We show that functions in $L^p[μ;Ł(X,Y)]$ d… ▽ More Let $X$ and $Y$ be Banach spaces and $(Ω,Σ,μ)$ a finite measure space. In this note we introduce the space $L^p[μ;L(X,Y)]$ consisting of all (equivalence classes of) functions $Φ:Ω\mapsto L(X,Y)$ such that $ω\mapsto Φ(ω)x$ is strongly $μ$-measurable for all $x\in X$ and $ω\mapsto Φ(ω)f(ω)$ belongs to $L^1(μ;Y)$ for all $f\in L^{p'}(μ;X)$, $1/p+1/p'=1$. We show that functions in $L^p[μ;Ł(X,Y)]$ define operator-valued measures with bounded $p$-variation and use these spaces to obtain an isometric characterization of the space of all $L(X,Y)$-valued multipliers acting boundedly from $L^p(μ;X)$ into $L^q(μ;Y)$, $1\le q< p<\infty$. △ Less

Submitted 1 April, 2009; v1 submitted 14 November, 2008; originally announced November 2008.

Comments: Minor revisions; to appear in the proceedings of 3rd Meeting on Vector Measures, Integration and Applications (Eichstaett, 2008)

MSC Class: 28B05; 46G10

Conditions for stochastic integrability in UMD Banach spaces

Authors: Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: A detailed theory of stochastic integration in UMD Banach spaces has been developed recently by the authors. The present paper is aimed at giving various sufficient conditions for stochastic integrability. A detailed theory of stochastic integration in UMD Banach spaces has been developed recently by the authors. The present paper is aimed at giving various sufficient conditions for stochastic integrability. △ Less

Submitted 10 May, 2008; originally announced May 2008.

MSC Class: 60H05; 46B09

Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces

Authors: Jan Maas, Jan van Neerven

Abstract: Let (E,H,mu) be an abstract Wiener space and let D_V := VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space G. Given a bounded operator B on G, coercive on the closure of the range of V, we consider the realisation of the operator D_V* B D_V in L^p(E,mu) for 1<p<\infty. Our main result states that the following assertions… ▽ More Let (E,H,mu) be an abstract Wiener space and let D_V := VD, where D denotes the Malliavin derivative and V is a closed and densely defined operator from H into another Hilbert space G. Given a bounded operator B on G, coercive on the closure of the range of V, we consider the realisation of the operator D_V* B D_V in L^p(E,mu) for 1<p<\infty. Our main result states that the following assertions are equivalent: (1) dom((sqrt(D_V* B D_V)) = dom(D_V) and Meyer's inequalities hold for D_V* B D_V; (2) D_V D_V* B admits a bounded H-infinity calculus on the closure of the range of D_V; (3) dom(sqrt(V*BV)) = dom(V) and Meyer's inequalities hold for V*BV; (4) VV*B admits a bounded H-infinity calculus on the closure of the range of V. Moreover, if these conditions are satisfied, then dom(L) = dom(D_V^2) \cap dom(D_A). The equivalence of (1)-(4) is a non-symmetric generalisation of the classical Meyer inequalities (which correspond to the case G=H, V=I, B=I). A one-sided version of the main result, giving L^p-boundedness of the associated Riesz transforms in terms of a square function estimate, is also obtained. As an application let -A generate an analytic C_0-contraction semigroup on a Hilbert space H and let -L be the L^p-realisation of the generator of its second quantisation. Our results imply that two-sided bounds for the Riesz transform of L are equivalent with the Kato square root property for A. △ Less

Submitted 12 November, 2008; v1 submitted 9 April, 2008; originally announced April 2008.

Comments: 54 pages, submitted for publication. Minor corrections

MSC Class: 60H07 (Primary); 35J15; 35K90; 35R15; 47A60; 47B44; 47D05; 47F05; 60H30; 60G15 (Secondary)

Stochastic evolution equations in UMD Banach spaces

Authors: J. M. A. M. van Neerven, M. C. Veraar, L. Weis

Abstract: We discuss existence, uniqueness, and space-time Hölder regularity for solutions of the parabolic stochastic evolution equation dU(t) = (AU(t) + F(t,U(t))) dt + B(t,U(t)) dW_H(t), t\in [0,\Tend], U(0) = u_0, where $A$ generates an analytic $C_0$-semigroup on a UMD Banach space $E$ and $W_H$ is a cylindrical Brownian motion with values in a Hilbert space $H$. We prove that if the map**s… ▽ More We discuss existence, uniqueness, and space-time Hölder regularity for solutions of the parabolic stochastic evolution equation dU(t) = (AU(t) + F(t,U(t))) dt + B(t,U(t)) dW_H(t), t\in [0,\Tend], U(0) = u_0, where $A$ generates an analytic $C_0$-semigroup on a UMD Banach space $E$ and $W_H$ is a cylindrical Brownian motion with values in a Hilbert space $H$. We prove that if the map**s $F:[0,T]\times E\to E$ and $B:[0,T]\times E\to \mathscr{L}(H,E)$ satisfy suitable Lipschitz conditions and $u_0$ is $\F_0$-measurable and bounded, then this problem has a unique mild solution, which has trajectories in $C^ł([0,T];\D((-A)^θ)$ provided $λ\ge 0$ and $θ\ge 0$ satisfy $ł+θ<\frac12$. Various extensions of this result are given and the results are applied to parabolic stochastic partial differential equations. △ Less

Submitted 6 April, 2008; originally announced April 2008.

Comments: Accepted for publication in Journal of Functional Analysis

MSC Class: 47D06; 60H15; 28C20; 46B09

Ito's formula in UMD Banach spaces and regularity of solutions of the Zakai equation

Authors: Z. Brzezniak, J. M. A. M. van Neerven, M. C. Veraar, L. Weis

Abstract: Using the theory of stochastic integration for processes with values in a UMD Banach space developed recently by the authors, an Ito formula is proved which is applied to prove the existence of strong solutions for a class of stochastic evolution equations in UMD Banach spaces. The abstract results are applied to prove regularity in space and time of the solutions of the Zakai equation. Using the theory of stochastic integration for processes with values in a UMD Banach space developed recently by the authors, an Ito formula is proved which is applied to prove the existence of strong solutions for a class of stochastic evolution equations in UMD Banach spaces. The abstract results are applied to prove regularity in space and time of the solutions of the Zakai equation. △ Less

Submitted 2 April, 2008; originally announced April 2008.

Comments: Accepted for publication in Journal of Differential Equations

MSC Class: 60H15; 28C20; 35R60; 46B09; 60B11

Compactness in vector-valued Banach function spaces

Authors: Jan van Neerven

Abstract: We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces $L_X^p$, where $X$ is a Banach space and $1\le p<\infty$, and extend the result to vector-valued Banach function spaces $E_X$, where $E$ is a Banach function space with order continuous norm. We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces $L_X^p$, where $X$ is a Banach space and $1\le p<\infty$, and extend the result to vector-valued Banach function spaces $E_X$, where $E$ is a Banach function space with order continuous norm. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: 6 pages

MSC Class: 46E40

Journal ref: Positivity 11 (2007), 461-467

A Clark-Ocone formula in UMD Banach spaces

Authors: Jan Maas, Jan van Neerven

Abstract: Let H be a separable real Hilbert space and let F = (F_t)_{t\in [0,T]} be the augmented filtration generated by an H-cylindrical Brownian motion W_H on [0,T]. We prove that if E is a UMD Banach space, 1\leq p<\infty, and f\in D^{1,p}(E) is F_T-measurable, then f = \E f + \int_0^T P_F(Df) dW_H where D is the Malliavin derivative and P_F is the projection onto the F-adapted elements in a suitable… ▽ More Let H be a separable real Hilbert space and let F = (F_t)_{t\in [0,T]} be the augmented filtration generated by an H-cylindrical Brownian motion W_H on [0,T]. We prove that if E is a UMD Banach space, 1\leq p<\infty, and f\in D^{1,p}(E) is F_T-measurable, then f = \E f + \int_0^T P_F(Df) dW_H where D is the Malliavin derivative and P_F is the projection onto the F-adapted elements in a suitable Banach space of L^p-stochastically integrable L(H,E)-valued processes. △ Less

Submitted 4 March, 2008; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: 12 pages; revised version, to appear in Electronic Communications in Probability

MSC Class: 60H07 (Primary); 46B09; 60H05 (Secondary)

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

Authors: Tuomas Hytonen, Jan van Neerven, Pierre Portal

Abstract: 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 bound… ▽ More 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. △ Less

Submitted 10 September, 2007; originally announced September 2007.

Comments: 28 pages; submitted for publication

MSC Class: 46B09 (Primary); 42B25; 42B35; 46B09; 46E40; 47A60; 47F05 (Secondary)

Journal ref: J. Anal. Math. 106(1): 317-351 (2008)

Uniformly gamma-radonifying families of operators and and the stochastic Weiss conjecture

Authors: Bernhard H. Haak, Jan van Neerven

Abstract: We introduce the notion of uniform gamma-radonification of a family of operators, which unifies the notions of R-boundedness of a family of operators and gamma-radonification of an individual operator. We study the the properties of uniformly gamma-radonifying families of operators in detail and apply our results to the stochastic abstract Cauchy problem $dU(t) = AU(t) dt + B dW(t); U(0) = 0$ Here… ▽ More We introduce the notion of uniform gamma-radonification of a family of operators, which unifies the notions of R-boundedness of a family of operators and gamma-radonification of an individual operator. We study the the properties of uniformly gamma-radonifying families of operators in detail and apply our results to the stochastic abstract Cauchy problem $dU(t) = AU(t) dt + B dW(t); U(0) = 0$ Here, $A$ is the generator of a strongly continuous semigroup of operators on a Banach space $E$, $B$ is a bounded linear operator from a separable Hilbert space $H$ into $E$, and $W$ is an $H$-cylindrical Brownian motion. When $A$ and $B$ are simultaneously diagonalisable, we prove that an invariant measure exists if and only if the family $ \{\sqrtλ R(λ, A)B : λ> 0\} $ is uniformly gamma-radonifying. This result can be viewed as a partial solution of a stochastic version of the Weiss conjecture in linear systems theory. △ Less

Submitted 19 October, 2011; v1 submitted 23 November, 2006; originally announced November 2006.

Comments: Version accepted for publication in Operators and Matrices

MSC Class: 47B10; 35R15; 47D06; 60H15; 93B28

Embedding vector-valued Besov spaces into spaces of $γ$-radonifying operators

Authors: Nigel Kalton, Jan van Neerven, Mark Veraar, Lutz Weis

Abstract: It is shown that a Banach space $E$ has type $p$ if and only for some (all) $d\ge 1$ the Besov space $B_{p,p}^{(\frac1p-\frac12)d}(\R^d;E)$ embeds into the space $\g(L^2(\R^d),E)$ of $\g$-radonifying operators $L^2(\R^d)\to E$. A similar result characterizing cotype $q$ is obtained. These results may be viewed as $E$-valued extensions of the classical Sobolev embedding theorems. It is shown that a Banach space $E$ has type $p$ if and only for some (all) $d\ge 1$ the Besov space $B_{p,p}^{(\frac1p-\frac12)d}(\R^d;E)$ embeds into the space $\g(L^2(\R^d),E)$ of $\g$-radonifying operators $L^2(\R^d)\to E$. A similar result characterizing cotype $q$ is obtained. These results may be viewed as $E$-valued extensions of the classical Sobolev embedding theorems. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: To appear in Mathematische Nachrichten

MSC Class: 46B09; 46E35; 46E40

Stochastic integration in UMD Banach spaces

Authors: J. M. A. M. van Neerven, M. C. Veraar, L. Weis

Abstract: In this paper we construct a theory of stochastic integration of processes with values in $\mathcal{L}(H,E)$, where $H$ is a separable Hilbert space and $E$ is a UMD Banach space (i.e., a space in which martingale differences are unconditional). The integrator is an $H$-cylindrical Brownian motion. Our approach is based on a two-sided $L^p$-decoupling inequality for UMD spaces due to Garling, wh… ▽ More In this paper we construct a theory of stochastic integration of processes with values in $\mathcal{L}(H,E)$, where $H$ is a separable Hilbert space and $E$ is a UMD Banach space (i.e., a space in which martingale differences are unconditional). The integrator is an $H$-cylindrical Brownian motion. Our approach is based on a two-sided $L^p$-decoupling inequality for UMD spaces due to Garling, which is combined with the theory of stochastic integration of $\mathcal{L}(H,E)$-valued functions introduced recently by two of the authors. We obtain various characterizations of the stochastic integral and prove versions of the Itô isometry, the Burkholder--Davis--Gundy inequalities, and the representation theorem for Brownian martingales. △ Less

Submitted 13 August, 2007; v1 submitted 20 October, 2006; originally announced October 2006.

Comments: Published at http://dx.doi.org/10.1214/009117906000001006 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP0217 MSC Class: 60H05 (Primary); 28C20; 60B11 (Secondary)

Journal ref: Annals of Probability 2007, Vol. 35, No. 4, 1438-1478