Regarding the domain of non-symmetric and, possibly, degenerate Ornstein--Uhlenbeck operators in separable Banach spaces

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Addona, D., Cappa, G., Ferrari, S.
Natura: Preprint
Pubblicazione: 2021
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866909155014475776
author Addona, D.
Cappa, G.
Ferrari, S.
author_facet Addona, D.
Cappa, G.
Ferrari, S.
contents Let $X$ be a separable Banach space and let $Q:X^*\rightarrow X$ be a linear, bounded, non-negative and symmetric operator and let $A:D(A)\subseteq X\rightarrow X$ be the infinitesimal generator of a strongly continuous semigroup of contractions on $X$. We consider the abstract Wiener space $(X,μ_\infty,H_\infty)$ where $μ_\infty$ is a centred non-degenerate Gaussian measure on $X$ with covariance operator defined, at least formally, as \begin{align*} Q_\infty=\int_0^{+\infty} e^{sA}Qe^{sA^*}ds, \end{align*} and $H_\infty$ is the Cameron--Martin space associated to $μ_\infty$. Let $H$ be the reproducing kernel Hilbert space associated with $Q$ with inner product $[\cdot,\cdot]_H$. We assume that the operator $Q_\infty A^*:D(A^*)\subseteq X^*\rightarrow X$ extends to a bounded linear operator $B\in \mathcal L(H)$ which satisfies $B+B^*=-{\rm Id}_H$, where ${\rm Id}_H$ denotes the identity operator on $H$. Let $D$ and $D^2$ be the first and second order Fréchet derivative operators, we denote by $D_H$ and $D^2_H$ the closure in $L^2(X,μ_\infty)$ of the operators $QD$ and $QD^2$ and by $W^{1,2}_H(X,μ_\infty)$ and and $W^{2,2}_H(X,μ_\infty)$ their domains in $L^2(X,μ_\infty)$, respectively,. Furthermore, we denote by $D_{A_\infty}$ the closure of the operator $Q_\infty A^*D$ and by $W^{1,2}_{A_\infty}(X,μ_\infty)$ its domain in $L^2(X,μ_\infty)$. We characterize the domain of the operator $L$, associated to the bilinear form \begin{align*} (u,v)\mapsto-\int_{X}[BD_Hu,D_Hv]_Hdμ_\infty, \qquad u,v\in W^{1,2}_H(X,μ_\infty), \end{align*} in $L^2(X,μ_\infty)$. More precisely, we prove that $D(L)$ coincides, up to an equivalent remorming, with a subspace of $W^{2,2}_H(X,μ_\infty)\cap W^{1,2}_{A_\infty}(X,μ_\infty)$. We stress that we are able to treat the case when $L$ is degenerate and non-symmetric.
format Preprint
id arxiv_https___arxiv_org_abs_2104_06327
institution arXiv
publishDate 2021
record_format arxiv
spellingShingle Regarding the domain of non-symmetric and, possibly, degenerate Ornstein--Uhlenbeck operators in separable Banach spaces
Addona, D.
Cappa, G.
Ferrari, S.
Functional Analysis
Analysis of PDEs
28C20, 35J70
Let $X$ be a separable Banach space and let $Q:X^*\rightarrow X$ be a linear, bounded, non-negative and symmetric operator and let $A:D(A)\subseteq X\rightarrow X$ be the infinitesimal generator of a strongly continuous semigroup of contractions on $X$. We consider the abstract Wiener space $(X,μ_\infty,H_\infty)$ where $μ_\infty$ is a centred non-degenerate Gaussian measure on $X$ with covariance operator defined, at least formally, as \begin{align*} Q_\infty=\int_0^{+\infty} e^{sA}Qe^{sA^*}ds, \end{align*} and $H_\infty$ is the Cameron--Martin space associated to $μ_\infty$. Let $H$ be the reproducing kernel Hilbert space associated with $Q$ with inner product $[\cdot,\cdot]_H$. We assume that the operator $Q_\infty A^*:D(A^*)\subseteq X^*\rightarrow X$ extends to a bounded linear operator $B\in \mathcal L(H)$ which satisfies $B+B^*=-{\rm Id}_H$, where ${\rm Id}_H$ denotes the identity operator on $H$. Let $D$ and $D^2$ be the first and second order Fréchet derivative operators, we denote by $D_H$ and $D^2_H$ the closure in $L^2(X,μ_\infty)$ of the operators $QD$ and $QD^2$ and by $W^{1,2}_H(X,μ_\infty)$ and and $W^{2,2}_H(X,μ_\infty)$ their domains in $L^2(X,μ_\infty)$, respectively,. Furthermore, we denote by $D_{A_\infty}$ the closure of the operator $Q_\infty A^*D$ and by $W^{1,2}_{A_\infty}(X,μ_\infty)$ its domain in $L^2(X,μ_\infty)$. We characterize the domain of the operator $L$, associated to the bilinear form \begin{align*} (u,v)\mapsto-\int_{X}[BD_Hu,D_Hv]_Hdμ_\infty, \qquad u,v\in W^{1,2}_H(X,μ_\infty), \end{align*} in $L^2(X,μ_\infty)$. More precisely, we prove that $D(L)$ coincides, up to an equivalent remorming, with a subspace of $W^{2,2}_H(X,μ_\infty)\cap W^{1,2}_{A_\infty}(X,μ_\infty)$. We stress that we are able to treat the case when $L$ is degenerate and non-symmetric.
title Regarding the domain of non-symmetric and, possibly, degenerate Ornstein--Uhlenbeck operators in separable Banach spaces
topic Functional Analysis
Analysis of PDEs
28C20, 35J70
url https://arxiv.org/abs/2104.06327