Академический Документы
Профессиональный Документы
Культура Документы
Irina V. Melnikova
MONOGRAPHS AND RESEARCH NOTES IN MATHEMATICS
Series Editors
John A. Burns
Thomas J. Tucker
Miklos Bona
Michael Ruzhansky
Published Titles
Application of Fuzzy Logic to Social Choice Theory, John N. Mordeson, Davender S. Malik
and Terry D. Clark
Blow-up Patterns for Higher-Order: Nonlinear Parabolic, Hyperbolic Dispersion and
Schrödinger Equations, Victor A. Galaktionov, Enzo L. Mitidieri, and Stanislav Pohozaev
Complex Analysis: Conformal Inequalities and the Bieberbach Conjecture, Prem K. Kythe
Computational Aspects of Polynomial Identities: Volume l, Kemer’s Theorems, 2nd Edition
Alexei Kanel-Belov, Yakov Karasik, and Louis Halle Rowen
Cremona Groups and Icosahedron, Ivan Cheltsov and Constantin Shramov
Diagram Genus, Generators, and Applications, Alexander Stoimenow
Difference Equations: Theory, Applications and Advanced Topics, Third Edition,
Ronald E. Mickens
Dictionary of Inequalities, Second Edition, Peter Bullen
Iterative Optimization in Inverse Problems, Charles L. Byrne
Line Integral Methods for Conservative Problems, Luigi Brugnano and Felice Iavernaro
Lineability: The Search for Linearity in Mathematics, Richard M. Aron,
Luis Bernal González, Daniel M. Pellegrino, and Juan B. Seoane Sepúlveda
Modeling and Inverse Problems in the Presence of Uncertainty, H. T. Banks, Shuhua Hu,
and W. Clayton Thompson
Monomial Algebras, Second Edition, Rafael H. Villarreal
Nonlinear Functional Analysis in Banach Spaces and Banach Algebras: Fixed Point
Theory Under Weak Topology for Nonlinear Operators and Block Operator Matrices with
Applications, Aref Jeribi and Bilel Krichen
Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative
Analysis, Vicenţiu D. Rădulescu and Dušan D. Repovš
A Practical Guide to Geometric Regulation for Distributed Parameter Systems,
Eugenio Aulisa and David Gilliam
Reconstruction from Integral Data, Victor Palamodov
Signal Processing: A Mathematical Approach, Second Edition, Charles L. Byrne
Sinusoids: Theory and Technological Applications, Prem K. Kythe
Special Integrals of Gradshteyn and Ryzhik: the Proofs – Volume l, Victor H. Moll
Published Titles Continued
Special Integrals of Gradshteyn and Ryzhik: the Proofs – Volume ll, Victor H. Moll
Stochastic Cauchy Problems in Infinite Dimensions: Generalized and Regularized
Solutions, Irina V. Melnikova
Submanifolds and Holonomy, Second Edition, Jürgen Berndt, Sergio Console,
and Carlos Enrique Olmos
Forthcoming Titles
Actions and Invariants of Algebraic Groups, Second Edition, Walter Ferrer Santos
and Alvaro Rittatore
Analytical Methods for Kolmogorov Equations, Second Edition, Luca Lorenzi
Geometric Modeling and Mesh Generation from Scanned Images, Yongjie Zhang
Groups, Designs, and Linear Algebra, Donald L. Kreher
Handbook of the Tutte Polynomial, Joanna Anthony Ellis-Monaghan and Iain Moffat
Microlocal Analysis on Rˆn and on NonCompact Manifolds, Sandro Coriasco
Practical Guide to Geometric Regulation for Distributed Parameter Systems,
Eugenio Aulisa and David S. Gilliam
Symmetry and Quantum Mechanics, Scott Corry
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
© 2016 by Taylor & Francis Group, LLC
CRC Press is an imprint of Taylor & Francis Group, an Informa business
This book contains information obtained from authentic and highly regarded sources. Reasonable
efforts have been made to publish reliable data and information, but the author and publisher cannot
assume responsibility for the validity of all materials or the consequences of their use. The authors and
publishers have attempted to trace the copyright holders of all material reproduced in this publication
and apologize to copyright holders if permission to publish in this form has not been obtained. If any
copyright material has not been acknowledged please write and let us know so we may rectify in any
future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced,
transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or
hereafter invented, including photocopying, microfilming, and recording, or in any information stor-
age or retrieval system, without written permission from the publishers.
For permission to photocopy or use material electronically from this work, please access www.copy-
right.com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222
Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that pro-
vides licenses and registration for a variety of users. For organizations that have been granted a photo-
copy license by the CCC, a separate system of payment has been arranged.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are
used only for identification and explanation without intent to infringe.
Visit the Taylor & Francis Web site at
http://www.taylorandfrancis.com
and the CRC Press Web site at
http://www.crcpress.com
To my family
Boris, Alexandra, and Nikolai
Taylor & Francis
Taylor & Francis Group
http://taylorandfrancis.com
Contents
Preface ix
Introduction xi
3 Examples. Supplements 75
vii
viii Contents
Bibliography 275
Index 283
Preface
In recent decades there has been growing realization that elements of chance
play an essential role in many processes around us, including processes in
physics, biology, and finance. Mathematical models that give an accurate de-
scription of these processes lead to stochastic equations in finite- and infinite-
dimensional spaces. So far most of the literature on stochastic equations has
been focused on the finite-dimensional case.
This book is devoted to stochastic differential equations for random pro-
cesses with values in Hilbert spaces. The main object is the stochastic Cauchy
problem
X ′ (t) = AX(t) + F (t, X) + B(t, X)W(t) , t ∈ [0, T ] , X(0) = ζ , (P.1)
where A is the generator of a semi-group of operators in a Hilbert space H,
W is a white noise with values in another Hilbert space H, B is an operator
from H to H, and F is a non-linear term.
Due to the well-known irregularity of white noise, the Cauchy problem
(P.1) is usually replaced with the related integral equation by constructing
the stochastic integral with respect to a Wiener process W , the “primitive”
of W. Problems of this type with a “good” operator A that generates a C0 -
semi-group have been extensively studied in the literature.
In this book, we consider a much wider class of operators A, namely,
the operators that do not necessarily generate C0 -semi-groups, but generate
regularized semi-groups. Typical examples include generators of integrated,
convoluted, and R-semi-groups. Moreover, along with the “classical” approach
to stochastic problems, which consists of solving the corresponding integral
equations, we consider the Cauchy problem in its initial form (P.1) with white
noise processes in spaces of distributions and obtain generalized solutions.
The motivation for writing the book was two-fold. First, to give an account
of modern semi-group and distribution methods in their interrelations with
the methods of infinite-dimensional stochastic analysis, accessible to nonspe-
cialists. Second, to show how the idea of regularization, which we treat as
the regularization in a broad sense, runs through all these methods. We hope
that this idea will be useful for numerical realization and applications of the
theory.
The stated objectives are implemented in two parts of the book. In Part I
we give a self-contained introduction to modern semi-group and abstract dis-
tribution methods for solving the homogeneous (deterministic) Cauchy prob-
lem. We discuss basic properties of regularized semi-groups and illustrate them
ix
x Preface
Ekaterinburg
Ural Federal University Irina V. Melnikova
Introduction
commonly written
Problem (I.1) has been studied in the case when A is the generator of a
C0 -semi-group, i.e., when the corresponding homogeneous Cauchy problem is
well-posed (see, e.g., [20, 22, 34, 58, 81]).
In this book we consider (I.1) with generators of a much wider class of
regularized semi-groups, important in applications. Moreover, along with (I.1),
we consider the Cauchy problem in its initial form (P.1) with the white noise
defined in spaces of distributions and obtain generalized solutions.
The book consists of two parts, presenting necessary deterministic tech-
niques and results on stochastic equations, respectively.
In Part I we study the abstract homogeneous Cauchy problem
xi
xii Introduction
space X . Special attention is paid to the Cauchy problem for the systems of
differential equations
∂u(x; t) ∂
=A i u(x; t), t ∈ [0, T ], x ∈ Rn , u(x; 0) = f (x). (I.3)
∂t ∂x
The study of the well-posedness of Cauchy problems revealed that their
solution operators U (t), t ≥ 0, have the semi-group property
U (t)U (τ ) = U (t + τ ), t, τ ≥ 0.
where (L2 ) is the space of all random variables with finite second moments
defined on S ′ , (S)ρ is referred to as the Kondratiev space of test random
variables, and (S)−ρ is called the Kondratiev space of generalized random
variables. The values of the white noise process belong to (S)−ρ . Moreover,
the white noise process becomes infinitely-differentiable as a function of t
xvi Introduction
with values in this space. The construction allows us to introduce the noise
term directly into a differential equation and to state and solve stochastic
differential equations with no restrictions connected with predictability.
In Section 6.1 we define the spaces of H-valued generalized random vari-
ables (S)−ρ (H) as the spaces of linear continuous operators acting from (S)ρ
to H. The space (S)−ρ (H) becomes an extension of (L2 )(H) := L2 (S,′ µ; H) .
We show that the values of the H-valued Q-Wiener and cylindrical Wiener
processes, as well as the values of a Q-white noise and a singular white noise,
lie in (S)−ρ (H).
In Section 6.2 we develop analysis of (S)−ρ (H)-valued functions of t ∈
R introducing differentiation and integration. We show that Q-white noise
and singular white noise are the derivatives of the H-valued Q-Wiener and
cylindrical Wiener process, respectively.
In Section 6.3 we introduce the concepts of the Wick product, Hitsuda–
Skorohod integral, and S-transform and study their properties.
In Section 6.4 we obtain and study solutions to the linear problem with
additive and multiplicative singular white noise in the spaces (S)−ρ (H). Some
examples of the problems are given. In conclusion, the relationship between
generalized wrt ω solutions and weak solutions of the corresponding integral
problem is established.
Here again, as in Part I, all the solutions to the stochastic Cauchy prob-
lems obtained in Part II are regularized in a broad sense. The weak solutions
are regularized by elements from dom A∗ . Different generalized solutions are
regularized by means of test functions from spaces defined in the theories of
abstract distributions, of Gelfand–Shilov generalized functions, and of abstract
stochastic distributions.
We conclude with some observations.
First, we consider equations (deterministic and stochastic) for t ∈ [0, τ ),
or for t ∈ [0, T ], T < τ ≤ ∞. The choice of the interval depends on the type of
semi-group generated by A: if A generates a global semi-group {S(t), t ≥ 0},
we can consider the problems on [0, ∞) or on [0, T ], as the specific model
requires; if A generates just a local semi-group {S(t), t ∈ [0, τ )}, the problem
can be considered on [0, τ ) or on [0, T ] with T < τ .
Second, when we use the term “construction of a solution,” we do not
mean their actual structure; we usually prove the existence and uniqueness
of solutions having a certain form. This is what is required in applications,
where some relations of solutions to stochastic problems with their various
probability characteristics are needed.
Chapters consist of sections which are reflected in the table of contents.
Some sections contain items, but they are not reflected in the table of contents.
Everywhere in the book we use triple numbering for definitions, formulas,
theorems, and so on: the first figure is the number of the chapter, the second is
the number of the section, and the third is the ordinal number of the definition,
the formula, or the theorem, respectively. The end of the proof of a theorem
is marked by the symbol .
Symbol Description
A operator of the abstract Cauchy problem
A notion of classes of semi-groups with the Abel-
summability property
∂ ∂
A i ∂x , A i ∂x matrix differential operator
∂
Aj k i ∂x linear differential operator of finite order
B(Ω) Borel σ-algebra on all subsets of Ω
Cov(u) covariance operator of a random variable u
D L. Schwartz’s test function space
D′ space of linear continuous functionals on D (space of
distributions)
D′ (X ) space of linear continuous operators from D to X
(space of abstract distributions)
D{Mq } , D{Mq },B ,
{M },B
Da q , D{Mq } , . . . ultra-differentiable test function spaces (subspaces of
D)
det Q determinant of a matrix Q
dom A domain of an operator A
[dom A] Banach space {dom A, kxkA = kxk + kAxk}
E(u) expectation of a random variable u
f ∗g convolution of f and g
f ⊗g tensor product of f and g
Ft filter of σ-algebras
F u, F [u], u
e Fourier transform of u
F −1 u, F −1 [u] inverse Fourier transform of u
Gt (x), GR (t, x) Green function, regularized Green function
hk (·) Hermit polynomials
hα (·) stochastic Hermit polynomials
Hn := H × · · · × H direct product of spaces
Imλ, ℑλ imaginary part of λ ∈ C
K function defining a K-convoluted semi-group of opera-
tors
L2 (G) space of functions square summable on G
Lu, L[u], u
e Laplace transform of u
L−1 u, L−1 [u] inverse Laplace transform of u
L(X ) space of linear bounded operators on X
L(X , Y) space of linear bounded operators from X to Y
LHS (H, H1 ) space of Hilbert–Schmidt operators from H to H1
N, R, R+ , C sets of the natural, real, positive, complex numbers
N0 N ∪ {0}
xvii
xviii Symbol Description
In this chapter we explore the Cauchy problem written in the abstract form
with a closed linear operator A in a Banach space X :
U (t + s) = U (t)U (s), t, s ≥ 0,
3
4 1. Semi-group methods for construction of solutions
Moreover, the criterion for the Cauchy problem to be well-posed in the form
of estimates (I.4) is a result of (1.0.2).
The techniques of (local and generalized) Laplace transform can be used
in exploring the well-posedness of (1.0.1) and corresponding properties of the
resolvent in a more general case, namely, when the solutions of the Cauchy
problem are not exponentially bounded or exist only locally and generate
regularized semi-groups. According to the type of regularization of the abstract
Cauchy problem via a regularized semi-group, we distinguish the following
classes of ill-posed problems determined by the geometric properties of the
set of regular points of A together with the behavior of its resolvent:
(R2) Λln
n, ν, ω = {λ ∈ C : Reλ > nν ln |λ| + ω} ⊆ ρ(A) and
(R3) ΛM
α, γ, ω = {λ ∈ C : Reλ > αM (γ|λ|) + ω} ⊆ ρ(A) and
kR(λ)k ≤ CeωM(γ|λ|) , λ ∈ ΛM
α, γ, ω ,
with
dom U ′ (0) = {f ∈ X : lim h−1 (U (h) − I)f exists }, (1.1.5)
h→0
This is indeed the case since if U (t)f = 0 for each t > 0 for a certain f ∈ X ,
then the properties (U2) and (U3) imply
more general families than the solution operators may be called evolution operators as well.
For example, integrated, convoluted, and other semi-groups considered further are families
of evolution operators and not the solution ones.
1.1. The Cauchy problem and strongly continuous semi-groups 7
The resolvent identity implies the following equality for any C0 -semi-group
{U (t), t ≥ 0}:
e (λ))−1 = µI − (U
λI − (U e (µ))−1 , Reλ, Reµ > ω.
and it coincides with U ′ (0). Now on the basis of the proved properties of gen-
erators of C0 -semi-groups we can introduce one more (equivalent) definition
of a C0 -semi-group and its generator.
Remark 1.1.1 The above proofs of properties 1–6 and the estimates (1.1.8)
for C0 -semi-groups constitute the proofs of implications (i)⇐⇒(ii)=⇒(iii) in
the MFPHY theorem. As for (iii)=⇒(ii), we refer the reader to [79], where
the main methods of constructing solution operators to the Cauchy problem
with A satisfying (1.1.8) are collected. Constructions based on the Yosida
approximations and the Widder–Post inversion formula are presented there.
In conclusion, before we pass to more general semi-groups of classes C1 and
A, we note one more important property of C0 -semi-groups, which remains
true for the semi-groups of class C1 and is the basis for the definition of semi-
groups of class A.
R(λ)y R(λ0 )y
λR(λ)R(λ0 )y = λ −λ , λ, λ0 ∈ ρ(A).
λ0 − λ λ0 − λ
Hence, taking into account (I.4) as λ → ∞, we obtain (1.1.9) on dom A. Due
to the boundedness of kλR(λ)kL(X ) as λ → ∞ and the density of dom A, the
equality can be continued to the whole space X .
For semi-groups of growth order α this is the condition on the rate of growth
with respect to t as t → 0.
(U3′ ) the operator function U (·) is strongly continuous with respect to t > 0
is called a strongly continuous semi-group.
The operator U ′ (0) defined by (1.1.4)–(1.1.5) is called an infinitesimal
operator and the operator A := U ′ (0), if it exists, is called the generator of
the family.
will show that (1.1.9) holds under a weaker than (U3) condition of continuity
(1.1.10). Thus the following embeddings hold:
Hence the Laplace transform U e (λ) is defined for Reλ > ω. Integrating by
parts the right-hand side of the equality (1.1.11), we obtain
Z ∞
e
λU (λ)f − f = λ 2
t e−λt (C(t)f − f ) dt.
0
The estimate
Z η
2
λ e t (C(t)f − f ) dt
−λt
≤ M 0<t<η
sup kC(t)f − f k, f ∈ X,
0
e (λ)f = f,
(λI − U ′ (0))U Reλ > ω, (1.1.15)
1.1. The Cauchy problem and strongly continuous semi-groups 13
showed the properties of solutions to the problem. They have the form u(t) =
U (t)ξ, t ≥ 0, for such semi-groups. The problem is well-posed in the case of
C0 -semi-groups and can have singularities at zero in the case of other strongly
continuous semi-groups. The aim of the present section is to investigate the
Cauchy problem (1.0.1) with generators of regularized semi-groups, which
generally are not semi-groups of solution operators, just more general families
of bounded operators.
(Sn 3) there exist C > 0 and ω ∈ R such that kSn (t)k ≤ Ceωt , t ≥ 0
is called an exponentially bounded n-times integrated semi-group.
It is easy to see that the characteristic property (Sn 1) for the family just
introduced is the n-times integrated semi-group property (U1). This fact clari-
fies the name “integrated semi-group.” Namely, if there exists a C0 -semi-group
{U (t), t ≥ 0}, then Sn (·) is nothing but the n-tuple integral of U (·):
Z t Z t1 Z tn−1
Sn (t) = ... U (tn ) dtn . . . dt2 dt1 , t ≥ 0.
0 0 0
This explains why the C0 -semi-groups are often called 0 times integrated semi-
groups for reasons of similarity, although we cannot formally substitute n = 0
in the definition of n-times integrated semi-groups.
Due to exponential boundedness of integrated semi-groups, as a basis for
16 1. Semi-group methods for construction of solutions
the definition of a generator for the family introduced, one can take the defini-
tion connected with the Laplace transform. In order to give such a definition
we formulate the following generalization of Theorem 1.1.1.
Proposition 1.2.1 [8, 79] Let {Sn (t), t ≥ 0} be a strongly continuous, ex-
ponentially bounded family of bounded linear operators and
Z ∞
r(λ) := λn e−λt Sn (t)dt, Reλ > ω. (1.2.1)
0
Then r(·) satisfies the resolvent identity if and only if Sn (t), t ≥ 0, satisfies
the relation (Sn 1).2
Proceeding from this relation for the family, we give the following definition
of its generator.
3) if f ∈ dom Ap , p = 1, 2, . . . , n, then
p−1
X tn−p+k
Sn(p) (t)f = Sn (t)Ap f + Ak f, t ≥ 0; (1.2.4)
(n − p + k)!
k=0
Definition 1.2.3 The Cauchy problem (1.0.1) is called uniformly (n, ω)-
well-posed, if for each f ∈ dom An+1 and for each T > 0
(a) there exists the unique solution of the problem
u ∈ C [0, T ], dom A ∩ C 1 [0, T ], X ;
Proof. (i) =⇒ (ii). Let f ∈ dom An+1 . Then there exists the unique solution
u of (1.0.1) such that ku(t)k ≤ Ceωt kf kn , t ≥ 0. Hence, for each µ ∈ ρ(A),
the function w(t) = R(µ)u(t), t ≥ 0, is a solution of the Cauchy problem with
the initial value R(µ)f . The estimate kw(t)k ≤ C1 eωt kf kn−1 , t ≥ 0, is valid
for it. Denote Z t
v1 (t) = u(s) ds,
0
then
Z t Z t Z t
v1 (t) = R(µ)(µI − A) u(s) ds = µR(µ) u(s) ds − R(µ) Au(s) ds
0 0 0
Z t Z t
= µ w(s) ds − R(µ) (u(t) − u(0)) = µ w(s) ds + R(µ)f − w(t),
0 0
coincide with the resolvent R(µ) of A. Thus {Sn (t), t ≥ 0} is the n-times
integrated semi-group generated by A.
(ii) =⇒ (i). For each f ∈ dom An+1 in accordance with (1.2.4) we have
n−1
X k t k
Sn(n) (t)f n
= Sn (t)A f + A f, t ≥ 0.
k!
k=0
Denote
u(t) := Sn(n) (t)f, f ∈ dom An+1 , t ≥ 0.
Then u(0) = f and ku(t)k ≤ Ceωt kf kn . It follows from the property (1.2.5)
that u(t) ∈ dom A and
u′ (t) = Au(t), t ≥ 0.
Now we prove that the solution obtained is unique. Let v be one more
solution of (1.0.1) with v(0) = f ∈ dom An+1 . Then Rn (µ)v, µ ∈ ρ(A), is
a solution of (1.0.1) with the initial data Rn (µ)f ∈ dom An+1 . Moreover,
Rn (µ)v(t) ∈ dom An+1 for every t ≥ 0. Hence
d (n)
S (t − s)Rn (µ)v(s)
ds n
= −ASn(n) (t − s)Rn (µ)v(s) + Sn(n) (t − s)ARn (µ)v(s) = 0,
(n)
for 0 ≤ s ≤ t. Therefore, Sn (t − s)Rn (µ)v(s) as a function of s is constant on
the segment [0, t], in particular, it takes the same values as s = t and s = 0:
It is shown in [15, 16, 79] that the properties 1 and 2 of Theorem 1.2.2,
where 2 is true on X , are equivalent to the relation (Sn 1). Thus (1.2.2) on
dom A and (1.2.3) on X can serve as an equivalent definition of an n-times
integrated exponentially bounded semi-group generated by A, as well as of a
local integrated semi-group, which we study further. This definition generalizes
Definition 1.1.3 of a C0 -semi-group to the case of n > 0.
Theorem 1.2.6 Let the resolvent of A satisfy the condition (R2). Then A
1
generates a local (n + 1)-times integrated semi-group on [0, τ ) for τ = nν .
etReλ ω1
= e(t− nν )Reλ+ nν ,
1
λ ∈ Γ.
|λ|
1
Hence, for each t < nν =: τ , the operator Sn (t) is bounded. We show that it
22 1. Semi-group methods for construction of solutions
satisfies the equality (1.2.8) from Definition 1.2.5. For each f ∈ X we obtain:
Z t Z tZ
eλs
A Sn (s)f ds = n+1
(A ± λI)R(λ)f dλ ds
0 0 Γ λ
Z tZ Z tZ
eλs eλs
= n+1
λR(λ)f dλ ds − n+1
f dλ ds
0 Γ λ 0 Γ λ
Z
1 tn+1
= Sn (t)f − n+1
R(λ)f dλ − f.
Γ λ (n + 1)!
Since on the contour Γ we have
1
C ω1 −Reλ
λn+1 R(λ)
≤ |λ| = Ce ,
nν
the integral over Γ in the right-hand side is equal to zero for each f ∈ X and
we obtain (1.2.8). Equation (1.2.7) can be derived in a similar manner using
the equality R(λ)(λI − A)f = f , f ∈ dom A.
For local integrated semi-groups, in contrast to exponentially bounded
ones, the inverse result holds up to the value of the parameter n.
Theorem 1.2.7 [77] Let a linear closed operator A generate a local n-times
integrated semi-group {Sn (t), t ∈ [0, τ )}, n ∈ N. Then, for every T ∈ (0, τ ),
there exists ω ∈ R such that
n n o
Λln
n, 1/T, ω = λ ∈ C : Reλ > ln |λ| + ω ⊆ ρ(A),
T
and the resolvent of A satisfies (R2) in this region.
Now let us see what type of regularization for the original Cauchy problem
(1.0.1) is connected with the integrated semi-groups. Differentiating (1.2.8) on
dom A, we obtain that Sn (t)f provides a solution to the Cauchy problem for
the inhomogeneous equation
tn−1
Sn′ (t)f = ASn (t)f + f, f ∈ dom A, t ∈ [0, τ ), Sn (0)f = 0.
(n − 1)!
This implies that the regularization of the Cauchy problem (1.0.1) with the
generator of an n-times integrated semi-group is again due to n-times integra-
tion of (1.0.1).
To show the connection between integrated semi-groups and well-
posedness of the Cauchy problem (1.0.1), we introduce the following definition
of n-well-posedness.
Definition 1.2.6 The Cauchy problem (1.0.1) is called n-well-posed, if, for
each f ∈ dom An+1 ,
(a) there exists the unique solution of the problem
u ∈ C [0, τ ), dom A ∩ C 1 [0, τ ), X ;
1.2. The Cauchy problem with generators of regularized semi-groups 23
Theorem 1.2.8 If for each f ∈ dom An+1 there exists the unique solution
6 ∅, then the solution satisfies the
of the Cauchy problem (1.0.1) and ρ(A) =
stability condition (1.2.9).
Proof. The proof is based on the Banach closed graph theorem applied to the
spaces
It is easy to check that both spaces introduced are complete. Consider the
operator
U : [dom An+1 ] → C ([0, T ], [dom A]) ,
which is defined everywhere on [dom An+1 ]:
Hence, due to the existence of a regular point for A, the n-stability estimate
sup ku(t)k ≤ CT kf kn
t∈[0,T ]
holds.
On the base of this result and the properties of integrated semi-groups we
have
Proof. By the condition, for each f ∈ dom An+1 there exists a unique solution
of the Cauchy problem (1.0.1), i.e., the solution operators
Here the right-hand side is well defined for each R(λ)f ∈ dom An+1 , hence
for each f ∈ dom An . Thus we can extend operators U (t) to dom An and
denote the extension by the same symbol. From (1.2.10) we obtain the solution
operators in another form:
Z t
U (t)f = A U (s)f ds − f, t ∈ [0, τ ).
0
1.2. The Cauchy problem with generators of regularized semi-groups 25
Applying the resolvent of A to it and acting by analogy with the previous case
we obtain the equality
which allows us to continue the operators S1 (t) and the equality (1.2.12) to
dom An−1 .
From (1.2.11) we obtain the estimate
tn−1
Sn (t)f = λSn (t)R(λ)f − Sn′ (t)R(λ)f − R(λ)f, t ∈ [0, τ ).
(n − 1)!
kR(λ)k ≤ CeωM(γ|λ|) , λ ∈ ΛM
α, γ, ω = {λ ∈ C : Reλ > αM (γ|λ|) + ω},
This means that SK (t)f is the solution of the inhomogeneous Cauchy problem:
tn−1
K(t) = , t ≥ 0, (1.2.17)
(n − 1)!
the K-convoluted semi-group is an n-times integrated semi-group.
The semi-group property of a K-convoluted semi-group has the following
form [16]:
Z t+s
SK (t)SK (s) = K(t + s − r)SK (r) dr
s
Z t+s Z s
= K(t + s − r)SK (r) dr − K(t + s − r)SK (r) dr
0 0
for t, s, t + s ∈ [0, τ ). It is not difficult to show that for K having the form
(1.2.17) the above equality coincides with the property (Sn 1) of an n-times
integrated semi-group.
In the following two theorems, which are extensions of Theorems 1.2.6 and
1.2.9, we establish a connection between the behavior of the resolvent of A
and the existence of a K-convoluted semi-group with the generator A.
For λ ∈ Γ we have
where κ > βγ. Hence, the integral along Γ in the right-hand side is equal to
zero for any f ∈ X and we obtain
Z t Z t
A SK (s)f ds = SK (t)f − K(s)f ds, f ∈ X.
0 0
A reader can easily check the condition (1.2.14) using the equality
R(λ)(λI − A)f = f , f ∈ dom A, λ ∈ ρ(A).
The following converse result is true.
Let us introduce an operator RT (λ) via the local Laplace transform of the
family {SK (t), t ∈ [0, τ )}, namely, by
Z T
e −1 (λ)
RT (λ) := K e−λs SK (s) ds, T ∈ (0, τ ).
0
for all λ from a certain region ΛM1/T, κ, ω defined by kBT (λ)kL(X ) ≤ δ < 1.
It follows from (1.2.15) that for any f ∈ X
Z T
SK (s)f ds ∈ dom A.
0
Using (1.2.15) for the first term in the right-hand side and integrating the
second one by parts we obtain
" Z Z s Z T #
T
(λI − A)RT (λ) = Ke (λ) λ
−1
e −λs
K(ξ) dξ ds − e −λT
A SK (s) ds .
0 0 0
Now applying (1.2.15) to the second term and integrating the first one by
parts we obtain
"Z #
T
(λI − A)RT (λ) = Ke −1 (λ) e−λs K(s) ds − e−λT SK (T ) .
0
30 1. Semi-group methods for construction of solutions
If A does not have the resolvent, then the uniqueness of the solution in a
Banach space can be proved by R-semi-group methods, which follow in the
next subsection.
with the domains dom G, dom Z consisting of those f , for which the cor-
responding limits exist, are called infinitesimal generators of the family
{S(t), t ∈ [0, τ )}.
The proof of the theorem generalizes the proofs of the corresponding prop-
erties of C0 -semi-groups and integrated ones.
Proceeding from properties 3–6 we introduce the following definition.
A|R(dom A) = A; (1.2.22)
2) for each t ∈ [0, τ ) there exists the asymptotical R-resolvent Rt (λ) of the
operator A and for n/λ ∈ [0, t], λ > ω, n ∈ N, the estimates (1.2.21)
hold true.
34 1. Semi-group methods for construction of solutions
Now we show how R-semi-groups are connected with the Cauchy problem
(1.0.1).
Proof. The proof is constructive. The R-semi-group is built from the n-times
integrated one and vice versa.
The R-semi-group is obtained from the integrated one by
dn Sn (t) n
S(t)f := R (λ0 )f, f ∈ X, t ∈ [0, τ ). (1.2.23)
dtn
The definition is correct since the element f1 = Rn (λ0 )f belongs to dom An
and the function Sn (t)f1 , t ∈ [0, τ ), is n-times continuously differentiable with
respect to t (Theorem 1.2.9).
The converse construction is given by
Z t Z t1 Z tn−1
Sn (t)f = (λ0 I − A)n ... S(tn )f dtn . . . dt2 dt1 , f ∈ X.
0 0 0
As follows from (1.2.23), the R-semi-group is the regularization by R =
Rn (λ0 ) of the solution operators
where n is the integer part of α and ω0 is the exponential type of the semi-
group.
(a) for any ε > 0 and 0 ≤ t ≤ T the operator Rε (t) is bounded and
Rε f ∈ C([0, T ], X ) for each f ∈ X ;
F u = v, F : W → V, (1.3.2)
and the equivalent one, u′ (t) = Au(t), t ∈ [0, T ], u(T ) = f, are uniformly
well-posed, while the problem (1.3.1) is generally not.
Let us denote by U (t), t ∈ [0, T ], the solution operators of (1.3.1) defined
by U (t)f := u(t), t ∈ [0, T ]. They are unbounded as solution operators of an
ill-posed problem. Since (1.3.3) is well-posed, the semi-group {U−A (t), t ≥ 0}
is non-degenerate: ker U−A (t) = {0}. Therefore, there exist the inverse to the
operators U−A (t), and the equality
−1
[U−A (t)] = U (t)
and
Rε = Sε (0) = Rε (T )U−A (T ).
We claim that Sε (·) satisfies relations (R1)–(R2) of Definition 1.2.8. The equal-
ity
Sε (t + s)Rε = Sε (t)Sε (s), t, s, t + s ∈ [0, T ],
1.3. R-semi-groups for construction of regularizing operators 39
For any T < τ the operator Rε (T ) is defined on the whole X and is bounded.
Moreover, the operators U−A (T − t) are strongly continuous with respect to
t (T − t ≥ 0). Therefore, the functions Sε (t)f = Rε (T )U−A (T − t)f are
continuous with respect to t ∈ [0, τ ) for all f ∈ X . Thus, the operator family
{Sε (t), t ∈ [0, τ )} is a local Rε -semi-group.
Let us show that Rε is convergent to the identity operator as ε → 0. For
f ∈ dom A we have
for f ∈ dom G; therefore, dom G ⊆ dom A and A|dom G = G. This and closed-
ness of A imply G ⊂ A.
Let us show that dom A ⊆ dom Z and Z|dom A = A. For f ∈ dom A we
have
By Theorem 1.2.16,
On the other hand, Rε u is also a solution of (1.3.1) with the initial condition
Rε u(0) = Rε f = y, hence Rε (t)f = Sε (t)f = Rε u(t). Thus, if there exists a
solution u for the initial value f , then
Theorem 1.3.2 [47, 66] Let A be a densely defined linear operator whose
spectrum belongs to the region
n πo
Λ1 = λ ∈ C : |arg λ| < β < .
4
Let the estimate of the resolvent of A,
u′ε,δ (t) = (A − εA2 )uε,δ (t) =: Aε uε,δ (t), 0 < t ≤ T, uε,δ (0) = fδ ,
Theorem 1.3.3 [47, 66] Let A be a densely defined linear operator whose
spectrum belongs to the half-strip
n π o
Λ2 = λ ∈ C : |Imλ| < α < , Reλ > ω, ω ∈ R ,
T
and the resolvent of A is bounded for λ ∈
/ Λ2 . Then the operator
Z
b 1 eλt
bε,δ (t) = −
Rε (t)fδ = u R(λ)fδ dλ, fδ ∈ X, t < T,
2πi ∂Λ2 1 + εeλ(T )
constructed via the ABC method, i.e., as the solution operator of the boundary
problem
b′ε,δ (t) = Ab
u uε,δ (t), 0 < t < T,
u
bε,δ (0) + εb
uε,δ (T ) = fδ , ε > 0,
is a regularizing operator of the ill-posed problem (1.3.1).
Taylor & Francis
Taylor & Francis Group
http://taylorandfrancis.com
Chapter 2
Distribution methods for
construction of generalized solutions
to ill-posed Cauchy problems
This chapter is devoted to generalized solutions for the abstract Cauchy prob-
lem
u′ (t) = Au(t), t ∈ [0, ∞), u(0) = f, (2.0.1)
where A is a closed linear operator with dom A in a Banach space X , in
particular, for the problem with differential operators
∂u(x; t) ∂
=A i u(x; t), t ∈ [0, T ], u(x; 0) = f (x). (2.0.2)
∂t ∂x
43
44 2. Distribution methods
Here the generalized (wrt x) Green function Gt (x) = F −1 etA(σ) (x) is de-
fined in a Gelfand–Shilov space, which depends on the growth rate of etA(·) .1
If the function obtained possesses the properties of a test function with val-
1 If we write a generalized function as a function of a variable, we mean that it is a
ues in the Banach space X , then, according to scalar case terminology, the
distribution v0 is called a convolutor transforming Φ into Φ(X ).
Now let us define the convolution of two abstract distributions in the fol-
lowing particular case. Let X , Y, Z be Banach spaces and suppose that there
exists a multiplication operation
g·f : Y × X → Z, f ∈ X , g ∈ Y.
v0 ∗ u : Φ′ (Y) × Φ′ (X ) → Φ′ (Z),
where v0 ∗ϕ is obtained by (2.1.1). The mapping given by (2.1.2) is bounded
and bilinear. In particular, the convolution of v0 ⊗ g with u ⊗ f ,2 where f ∈ X ,
g ∈ Y, and v0 , u ∈ Φ′ , is defined by
The right-hand side of (2.1.4) is well defined for all f ∈ dom A = X . Further-
more, it continuously depends on f ∈ X . Since A is closed, for any f ∈ X
the integral in the left-hand side belongs to dom A. Thus the equality (2.1.4)
holds on the whole space X . In addition, if we keep the notation u(t) = U (t)f
on the whole X , then (2.1.4) takes the form
Z ∞ Z ∞
A u(t)ϕ(t) dt = −f ϕ(0) − u(t)ϕ′ (t) dt, f ∈ X. (2.1.5)
0 0
kf kA = kf k + kAf k.
P ∗ u = δ ⊗ f, f ∈ X. (2.1.7)
Definition 2.1.2 The problem (2.1.7) is called well-posed or, in other words,
the generalized Cauchy problem (2.0.1) is called well-posed in a space Φ′0 (X )
if for each f ∈ X there exists a unique solution of (2.1.7) stable in Φ′0 (X ),
i.e., for any sequence fn converging to zero in X , the corresponding sequence
un converges to zero in Φ′0 (X ).
The aim of the present section is to reveal the conditions that provide the
generalized well-posedness of (2.0.1) in a certain Φ′0 (X ) and to obtain its gen-
eralized solution. The main tool applied is the generalized Laplace transform
(see Section 3.4).
Applying the generalized Laplace transform to (2.1.7) in a space Φ′0 (X )
and using the property of the Laplace transform of a derivative,
we obtain
(λI − A)Lu(λ) = f, f ∈ X.
If the resolvent of A exists, we apply it to both sides of this equation and
obtain
Lu(λ) = R(λ)f, f ∈ X , λ ∈ ρ(A).
It follows that the generalized solution u of (2.0.1) must be equal to the
(generalized) inverse Laplace transform of the resolvent:
u = L−1 [R(λ)f ] , f ∈ X.
Proof. (i)=⇒(ii). Define for every ϕ ∈ S a linear operator hϕ, {e−ωt }U i acting
in X by
hϕ, {e−ωt }U if := hϕ, {e−ωt }ui, f ∈ X,
where u ∈ Sω′ (X ) is the solution of the well-posed problem (2.1.7) and {e−ωt }
is defined by (2.1.9).
We show that U ∈ Sω′ (L(X )), i.e.,
1) {e−ωt }U is a linear operator from S to L(X ),
2) for any sequence ϕn ∈ S convergent to zero in S it holds that
The linearity of U follows from that of the solution. The stability of the
solution implies
uniformly with respect to ϕ from any bounded set in S. Thus, for each ϕ ∈ S,
we have hϕ, {e−ωt }U i ∈ L(X ).
Consider a bounded set {f : kf k ≤ C} in X . It generates the set B =
{U f : kf k ≤ C} ⊂ Sω′ (X ), which is bounded in Sω′ (X ) due to the stability of
the solution: for each ϕ ∈ S it holds that
Moreover, all the primitives have the same power of growth: |g(t)| ≤ C|t|r as
|t| → ∞. Hence,
khϕn , {e−ωt }U if k → 0 as ϕn → 0 in S.
Since supp u ⊂ [0, ∞), the support of the operator-valued distribution belongs
to [0, ∞) as well. It only remains to prove that U satisfies Equations (2.1.8)
in Sω′ (L(X )). Using the notation ϕω := {e−ωt }ϕ, it is sufficient to prove
It follows that
P ∗ (U ′ f − U Af − δ ⊗ f ) = 0
U ′ − U A = δ ⊗ I[dom A] .
Further,
hϕω , U ∗ Pi = hU ∗ ϕω , δ ′ ⊗ I[dom A] i − hU ∗ ϕω , δ ⊗ Ai
= hϕω , U ′ i − hϕω , U Ai = hϕω , U ′ − U Ai
and the two last equations provide U ∗ P = δ ⊗ I[dom A] , which proves the
assertion.
(ii)=⇒(i). For f ∈ X consider the distribution u := U f . By the first
equation in (2.1.8) we have
and by the second one we conclude that the distribution {e−ωt }u is a solution
of (2.1.7):
P ∗ {e−ωt }u = P ∗ {e−ωt }U f = δ ⊗ f.
The associativity of convolution and the first equality in (2.1.8) imply the
uniqueness of the solution. To prove the stability of the solution, we show that
un → 0 in Sω′ (X ) (i.e., uniformly with respect to ϕ on a bounded set in S) as
fn → 0 in X .
Let B be a bounded set in S. Then, for any q, k ∈ N0 , there exists a constant
Ck,q independent of the elements of B, such that the following inequality holds:
Hence,
khϕ, {e−ωt }un ik ≤ Cr, m kfn k → 0 as fn → 0.
(ii) =⇒ (iii). Let U ∈ Sω′ (L(X ))
be a solution of Equations (2.1.8). Apply-
ing to them the generalized Laplace transform, we obtain
These equalities imply that the half-plane ℜλ > ω lies in the resolvent set of A
and (λI − A)−1 = LU (λ). In order to prove (R1) let us construct a continuous
primitive of the family U and show its connection with the resolvent of A.
The primitive obtained turns out to be the exponentially bounded integrated
semi-group generated by A.
Since Uω ∈ S ′ (L(X )) and the space S is the intersection of spaces S p with
the norms
kϕkp = sup sup |xk ϕ(q) (t)|, p ∈ N,
k,q≤p t∈R
t → eωs χ(s)ηp (t − s) : R → Sp
52 2. Distribution methods
Thus, we have proved that the distribution U = g (p+4) ∈ Sω′ (L(X )) satisfies
the equality
LU (λ) = R(λ).
2.1. Solutions in spaces of abstract distributions 53
Now consider the Cauchy problem in the Schwartz space of abstract dis-
tributions D′ (X ). Let the resolvent of A satisfy (R2), i.e.,
Γ = ∂Λln
n, ν, ω1 = {λ ∈ C : Reλ = nν ln |λ| + ω1 }, ω1 > ω.
The proofs of these theorems are carried out in the same manner as the proof
of Theorem 2.1.1. They are even less complicated compared with the case of
54 2. Distribution methods
solutions from Sω′ (X ) because here the solution operator distribution U should
be applied to test functions from D without multiplication by an exponent
(see, e.g., [77]).
In addition, we give below the proof for the case of test functions from
D{Mq } , which are the functions from D with additional conditions on the
growth of ϕ(k) .
kR(λ)k ≤ CeβM(γ|λ|) , λ ∈ ΛM
α, γ, ω := {λ ∈ C : Reλ > αM (γ|λ|) + ω},
or equivalently
Mq
e−M(x) = inf , x > 0.
q∈N0 M0 xq
We consider the generalized well-posedness of (2.0.1) with the operator A
satisfying (R3) on the space of ultra-differentiable test functions Φ=D{Mq } ,
which is defined by the choice of the sequence {Mq }. We show that (2.0.1) is
′
{M }, B
well-posed in the abstract dual space Da q (X ), where the parameter B
is defined by parameters a, α, β. (See definitions and properties of the spaces
in Section 3.3.)
As we shall see below in the course of studying generalized well-posedness,
the definition of M in (2.2.1) is consistent with the definition of M in the
theory of K-convoluted semigroups and the generalized solutions obtained
are closely related to K-regularized solutions.
{M }, B
It is known that the Fourier transform of a test function ϕ ∈ Da q
decreases as e−M(B a |λ|) , λ ∈ C (Section 3.4). We show that the Laplace
2.2. Solutions in spaces of ultra-distributions 55
{M }, B
transform of a test function ϕ ∈ Da q behaves the same. As a consequence,
we obtain the solution operators to (2.1.7) as the generalized inverse Laplace
′
{M }, B
transform of the resolvent of A in the abstract dual space Da q (L(X )).
Thus we consider the generalized inverse Laplace transform of the resol-
vent:
Z
−1 1
hϕ, L Ri = R(λ)Lϕ(−λ) dλ, ϕ ∈ Da{Mq }, B ,
2πi Γ
Γ = ∂ΛM
α, γ, ω1 . (2.2.2)
We show that under the condition (R3) it defines an operator
hϕ, U i := hϕ, L−1 Ri,
{M }, B
which is bounded in X for each ϕ ∈ Da q . The U obtained is a family of
generalized solution operators to (2.0.1).
Comparing this generalized solution with the solution regularized by means
of convolution, i.e., with the K-convoluted semigroup, one can see that the
e in (1.2.18) is played here by the test functions Lϕ for ϕ ∈ Da{Mq }, B .
role of K
Theorem 2.2.1 If the resolvent of A satisfies (R3), then, for any a > 0 and
′
{M }, B
some B = B(a, α, β), there exists U ∈ Da q (L(X )) solving (2.1.8).
for arbitrary q ∈ N0 and B1 := γ(B + 1/m). Now we can pass to the infimum
with respect to all q ∈ N0 , which, in accordance with the definition of the
associated function (2.2.1), is equal to
Mq B1q
inf = e−M(|γλ|/B1 ) .
q∈N0 M0 |γλ|q
Hence,
Z
Z
1
1
βα+a− αB
Reλ
R(λ)Lϕ(−λ) dλ
≤ e ω1 (1−β)/α
C1 kϕkm e 1 |dλ|.
2πi
Γ Γ
For given β, α, and arbitrary a > 0 one can choose B1 in such a way that
β/α + a − 1/αB1 < 0, which provides convergence of the integral in the right-
hand side. As a result, we have the estimate
Z
1
R(λ)Lϕ(−λ) dλ
≤ C2 kϕkm , (2.2.4)
2πi
Γ
which proves that the generalized inverse Laplace transform of the resolvent
satisfying the condition (R3) defines a bounded on X operator hϕ, U i for every
{M }, B
ϕ ∈ Da q . Here B in chosen in the following way. From the inequality
β/α + a − α/B1 < 0 we find B1 and for the chosen and fixed m ∈ N we define
B = B1 /γ − 1/m.
′
{M }, B
Besides, (2.2.4) demonstrates that U = L−1 R ∈ Da q (L(X )), and
by (2.2.3), it follows that hϕ, U i = 0 for ϕ with supports in (−∞, 0]. Hence,
supp U lies in the non-negative semi-axis.4
4 This fact, in contrast to the case of D0′ , we do not reflect in notations of ultra-distribution
{M }, B ′
spaces Da q because of many indexes present here.
2.2. Solutions in spaces of ultra-distributions 57
The proof of equations (2.1.8) is done similarly to their proof in the spaces
of distributions.
′
{M }, B
Now we connect the equalities (2.1.8) in Da q (X ) with the gener-
alized well-posedness of (2.0.1) in this space.
|ϕ(q) (x)|
kϕkm = sup sup 1 q
.
q∈N0 |x|≤a B+m Mq
and there exists m0 ∈N such that U isan element of the space which is dual
{M }, B
to the normed space Da q , k · km0 . Hence,
Then we have
ferential operator in order to distinguish the operator symbol from designations of constants
A, B customary in the theory of Gelfand–Shilov generalized functions used here.
60 2. Distribution methods
∂
Aj k i ∂x are linear differential operators of orders not exceeding p > 0, and
X α
∂ ∂
Aj k i = Cαj,k i , Cαj,k ∈ R, |α| = α1 + · · · + αn ≤ p.
∂x ∂x
hϕ, λf i = λ hϕ, f i , λ ∈ C, f ∈ Φ′ , ϕ ∈ Φ.
test function spaces and operators in the spaces is presented in Section 3.3.
2.3. Differential systems in Gelfand–Shilov spaces 61
e F f i := (2π)n hF −1 [ψ],
hψ, e f i, ψe = F ψ ∈ Ψ,
e ψ ∈ Ψ.
It is based on the Parseval equality for the Fourier transform in L2 (Rn ), where
it has the form of equality for scalar products:
∂eu(·; t)
hϕ,
e i = hϕ,
e A(·)e u(·; t)i = hA∗ (·)ϕ,
e ue(·; t)i, t ∈ [0, T ],
∂t (2.3.3)
eu
hψ, e fe(·)i,
e(·; 0)i = hψ, e
e ∈ Φ,
ϕ ψe ∈ Ψ.
e
It follows that
h i
u(x; t) = F −1 etA(·) fe(·) (x) = (Gt ∗ f )(x), t ∈ [0, T ], x ∈ Rn , (2.3.5)
7 Recall that if we write a distribution f as f (s), it means that the distribution is applied
to test functions of variable s. The same applies to the equalities for distributions of type
(2.3.5) written without applying to test functions.
62 2. Distribution methods
The existence and stability of solutions to (2.3.3) in f Φ′ for fe ∈ Ψf′ hold for
f ′ f ′
those Ψ , Φ , where the solution operators e tA(s)
are bounded as multiplication
∗
operators acting from Ψ f′ to fΦ′ and hence etA (s) , where A∗ (s) is defined by
(2.3.4), are bounded as multiplication operators acting from Φ e to Ψ.
e In this
tA(s) e ′ e ′ tA∗ (s)
case e is called a multiplier from Ψ to Φ and e is a multiplier
from Φ e to Ψ. e The estimates of etA(s) for s = σ + iτ ∈ Cn and especially
for s = σ determine the choice of these spaces. The corresponding solution
u(· ; t) = F −1 [etA(s) fe(s)](·) ∈ Φ′ to the problem (2.3.1)–(2.3.2) exists and is
stable wrt f ∈ Ψ′ .
For etA(s) the following obvious estimates take place:
∞
X tk
X ∞ k
t
tA(s)
k
e
=
A (s)
≤ kA(s)kkm
m
k!
k!
k=0 m k=0
X∞ k
t p
≤ (mC)k |s|kp = emCt|s| .
k!
k=0
The estimates imply that the components of the matrix etA(s) are analytical
functions of s ∈ Cn whose growth orders do not exceed p.
In order to make the estimates more accurate we introduce λ1 (s), . . . ,
λm (s), the roots of the characteristic equation
which are called characteristic roots of the system (2.3.1). The way the char-
acteristic roots are constructed implies that they are polynomials of powers
not exceeding p. Let
This theorem implies the following estimate of etA(·) in terms of the re-
duced order p0 :
tA(s)
p0
e
≤ C(1 + |s|)p(m−1) eb0 t|s| , b0 ∈ R, t ≥ 0, s ∈ Cn . (2.3.7)
m
the exact power growth order of Λ(·) and the reduced order of the system
(2.3.1). It follows from the definition that p0 ≤ p and that the conjugate
system has the same reduced order as the initial system.
The behavior of Λ(·) for real values of the variable underlies distinguishing
of the following classes of systems (2.3.1) in the Gelfand–Shilov classification
[36].
Λ(σ) ≤ C, σ ∈ Rn , (2.3.8)
Λ(s) ≤ C1 |s| + C2 , s ∈ Cn ,
Λ(σ) ≤ C|σ|p0 + C1 , σ ∈ Rn .
Further, following to [36, 77], we first prove the general theorem on the
well-posedness of the Cauchy problem (2.3.3) in spaces Ψ f′ , f
Φ′ (i.e., the theorem
stating that for each fe(·) ∈ Ψ f′ there exists the unique solution u f′
e(·; t) ∈ Φ
e
which is stable wrt f ) and as a consequence we obtain the result on the well-
posedness of the Cauchy problem (2.3.1)–(2.3.2) in the spaces Ψ′ , Φ′ . Then we
introduce more precise results on well-posedness for each type of system in the
Gelfand–Shilov classification. In the study of our main object, the stochastic
problems in Part II, we will use a simpler version of these results for the case
of fe ∈ L2m (R) and hence f ∈ L2m (R).
As mentioned above, the choice of the spaces Ψ f′ , f
Φ′ is based on the esti-
tA(·) tA∗ (·)
mates of e . It follows from (2.3.4) that ke km has the same estimates
as ketA(·) km . To obtain solutions for different estimates corresponding to dif-
ferent classes of A, we will use the conjugate spaces to Sαβ , WM Ω
as well as their
subspaces
Ω,b β,B
WM,a , Sα,A , ...
The spaces are considered in detail in Section 3.3. Test functions from the
64 2. Distribution methods
Proof. We begin by noting that for q > 0, p0 > 1 and for an arbitrary θ > 0
there exists such T > 0 that
1 p0 −p0
qT < θ 2 . (2.3.10)
p0
This is indeed the case since for each a > 0 and x > 1 there always exists 0 <
x p
C < ax that implies the inequality Cx < ax . In other words, (qT )p0 < (θ/2) 0
for p0 > 1. Therefore, (2.3.10) implies the existence of a constant C1 > 0 such
that (2.3.7) results in
tA(s)
p0 1 p0 −p0
θ 2 |s|p0
e
≤ C(1 + |s|)p(m−1) eqT |s| ≤ C1 e p0 .
m
we obtain
∗
(θ|σ|)p0 p0
tA (s)
+ (θ|τp|)
e
=
etA(s)
≤ C1 e p0 0 . (2.3.11)
m m
p0
Let us take M (x) = Ω(x) = |x|p0 , x ∈ R, and consider the space WM,a
Ω,b
for all ā < a, b̄ > b. According to (3.3.19), each entire function f satisfying
Ω,b Ω,b+θ
defines a bounded multiplication operator acting from WM,a to WM,a−θ for
all b > 0 and 0 < θ < a.
Now it is easy to complete the proof. Let us take an arbitrary a > 0
and choose 0 < θ < a. For the chosen θ and p0 > 1, q > 0 given, we can
find T = T (p0 ; q; θ) in such a way that the inequalities (2.3.10) and (2.3.11)
∗
hold. Hence etA (s) defines a bounded multiplication operator acting from
e = W Ω,b to Ψ
Φ e = W Ω,b+θ for all t ∈ [0, T ].
M,a M,a−θ
that Theorem 2.3.2 implies well-posedness of the Cauchy problem with A∗ (·)
e = W Ω,b to Ψ
from Φ e = W Ω,b+θ . It follows the generalized well-posedness of
M,a M,a−θ
Ω,b+θ ′ Ω,b ′
(2.3.3) from (WM,a−θ ) to (WM,a ).
Now we point out such spaces Φ′ , Ψ′ that there exists a generalized solution
u(· ; t) ∈ Φ′ of the Cauchy problem (2.3.1)–(2.3.2) for f (·) ∈ Ψ′ .
In order to define these spaces we apply the generalized Fourier trans-
form to the problem. Then the problem (2.3.1)–(2.3.2) turns into the problem
(2.3.3). The operator of multiplication by a matrix exponent etA(·) solves this
problem. It means that the solution of (2.3.3) has the form u e(·; t) = etA(·) fe(·)
and exists in spaces Φ e,Ψ
′ e such that e
′ tA(·)
defines a bounded multiplication
operator from Ψ e ′ or, equivalently, etA∗ (·) defines a bounded multiplica-
e ′ to Φ
tion operator from Φ e to Ψ;e the generalized solution of the Cauchy problem
(2.3.1)–(2.3.2) has the form (2.3.5):
It follows from Theorem 2.3.2 that the spaces Ψ and Φ can be taken such
that Φe = W Ω,b and Ψ e = W Ω,b+θ . (For spaces dual to W Ω, β wrt the Fourier
M,a M,a−θ M,a
transform see below and Section 3.4).
Now we present more special results for Petrovsky correct, conditionally
correct, and incorrect systems.
For Petrovsky correct systems, according to (2.3.6) and (2.3.8), the
following estimate holds:
tA(σ)
e
≤ C(1 + |σ|)h , t ≥ 0, σ ∈ Rn , (2.3.13)
m
where
tA(s)
e
≤ C(1 + |σ|)h , t ≥ 0, s ∈ Hµ . (2.3.14)
m
Suppose that p0 > 1; then µ determining Hµ can be either positive or negative.
a. If 0 < µ ≤ 1, then, by Theorem 3.4.8, the inequalities (2.3.7) and (2.3.14)
imply that the matrix exponent satisfies the inequality
tA(s)
p0 /µ
e
≤ C(1 + |σ|)h ebt|τ | , t ≥ 0, s = σ + iτ, b = b(b1 , h, c).
m
|x|p1 1 1
M (x) = , x ∈ Rn , where + = 1.
p1 p1 p0 /µ
hold for real values of s = σ. According to the condition (3.3.18), this inequal-
ity shows that etA(·) generates a bounded multiplication operator on S and
hence on S ′ . This means that Gt (·) is a convolutor on S ′ .
According to Theorem 2.3.3, for each f ∈ S ′ there exists a generalized so-
lution u(·, t) ∈ S ′ of (2.3.1)–(2.3.2) defined by (2.3.12). Hence the generalized
solution of the Cauchy problem (2.3.1)–(2.3.2) is a distribution of slow growth
in the case of a Petrovsky correct system and 1 − p0 ≤ µ ≤ 0.
For conditionally correct systems, according to (2.3.6) and (2.3.9), the
following estimate holds:
tA(σ)
h
e
≤ Cea0 t|σ| , a0 > 0, t ≥ 0, σ ∈ Rn , 0 < h < 1, (2.3.16)
m
for the real values of s = σ. According to Theorem 3.4.5, under the condition
(2.3.7) the estimate (2.3.16) can be extended to a certain neighborhood of the
real values of s = σ. Namely, for each a1 > a0 there exists a region
Since h ≤ p0 /µ, in this case Theorem 3.4.9 provides the following estimates
for the derivatives on the real axis:
q
∂
|q| |q|(1− pµ ) a2 |σ|h
tA(σ)
∂σ e
≤ CB0 |q| 0 e , a2 > a1 .
m
2.3. Differential systems in Gelfand–Shilov spaces 69
A = (h e a)−1/h , A1 = (h e (a − a2 ))−1/h
′ ′
β, B+B0 β, B
and etA(·) defines a multiplier from Sα, A1 to Sα, A . Therefore,
′
α, A1
Gt (·) defines a continuous convolution operator acting from Sβ, B+B0 to
′
α, A
Sβ, B .
′
α, A1
It follows from Theorem 2.3.3 that for each f ∈ Sβ, B+B0 there exists
′
α, A
a generalized solution u(· ; t) ∈ Sβ, B defined by (2.3.12). Therefore, in the
case of conditionally correct systems and 0 < µ ≤ 1 the generalized solution of
the Cauchy problem (2.3.1)–(2.3.2) is a distribution increasing exponentially
with order p1 = p0p−µ 0
for p0 > µ and with arbitrary order for p0 = µ.
b. Let us now consider the case of 1 − p0 ≤ µ ≤ 0.
Due to Theorem 3.4.10, it follows from (2.3.17), which holds true on Hµ
with µ ≤ 0, that there exists such B0 = B0 (a1 ; µ) that for the real values of
s = σ the following estimates hold:
q
∂
|q| |q|(1− µ h
tA(σ)
h ) ea2 t|σ| ,
∂σ e
≤ CB0 |q| t ≥ 0, a2 > a1 .
m
Hence, supposing a2 T = ρ, we obtain
q
∂
|q| |q|(1− µ h
tA(σ)
h ) eρ|σ| , σ ∈ Rn ,
∂σ e
≤ CB0 |q| t ∈ [0, T ],
m
1
for all t ∈ [0, T ]. Let us take a > ρ and B > 0. Suppose A = (h e a) 1/h and
Theorem 2.3.4 Let the matrix-function etA(·) satisfy the estimate (2.3.7).
Then, for a Petrovsky correct system etA(·) defines a multiplier from Ψ e′ =
2 e ′ ′
Lm (R) to Φ = Sm . For a conditionally correct system it defines a multiplier
from Ψ e ′ = L2m (R) to Φ e ′ = (Sα,A )′ with α = 1 , and 1 h > a0 , where
m h heA
the constants a0 , h are from the estimate (2.3.16). For an incorrect system
it defines a multiplier from Ψ e ′ = (Sα,A )′ with α = 1 ,
e ′ = L2 (R) to Φ
m m p0
1
p
p0 e A 0 > b 1 , where b ,
1 0p are from (2.3.18).
∗
Proof. For a Petrovsky correct system etA(·) and etA (·) satisfy the estimate
∗
tA(σ)
e
=
etA (σ)
≤ C(1 + |σ|)h , t ≥ 0, σ ∈ R.
m m
∗
e ∈ Sm := S × ... × S we have etA
It follows that for ϕ (·)
e ∈ Sm and for
ϕ
e 2
f ∈ Lm (R) we have
∗
hϕ(·),
e e(·, t)i = hetA
u (σ)
ϕ(σ),
e fe(σ)i.
9 Note that in contrast to the notations above, where we did not stress that all the spaces
of test and generalized functions are actually spaces of vector-functions, we will further
denote by L2m (R) (Sm , . . . ) the space of all vector-functions f : t 7→ (f1 (t), . . . , fm (t)),
where fi ∈ L2 (R) (fi ∈ S(R), . . . ). We will use the results in these notations for stochastic
equations in Part II.
2.3. Differential systems in Gelfand–Shilov spaces 71
and A. By the definition of (Sα,A ) (α ≥ 0, A > 0), the space consists of all
infinitely differentiable functions ϕ
e satisfying the inequalities
|xk ϕ(x)|
e ≤ Cε (ϕ)(A
e + ε)k k kα , k ∈ N0 , x ∈ R,
for any ε > 0. Equivalently, by the structure theorem, it consists of all func-
tions satisfying the inequalities
1/α α
|ϕ(x)|
e e −(a−ρ)|x|
≤ Cρ (ϕ)e , x ∈ R, a= ,
e A1/α
for any ρ > 0.
As shown above, while studying conditionally correctαsystems, for ϕ e ∈
tA∗ (·)
Sα,A we have e e ∈ (Sα,A1 ), where A1 = e (a−a0 ) . Hence, for fe ∈
ϕ α
L2m (R) ⊂ (Sα,A1 )′m the generalized solution ue(·, t) = etA(·) fe(·) ∈ (Sα,A )′m ,
where α = 1/h and A is taken such that a = h e1Ah > a0 .
The similar proof is true for incorrect systems. Here we deal with Φ e′ =
′ 1 1
(Sα,A )m , where α = p0 and p0 e Ap0 > b1 , the constants b1 , p0 are from the
estimate (2.3.18).
As a consequence of these results we obtain results on the well-posedness
of (2.3.1)–(2.3.2) for initial data from L2m (R).
Let us discuss the ideas of regularization used in solving the Cauchy prob-
lem for homogeneous equations in more detail. The abstract Laplace and
Fourier transforms play an important role in constructing solutions to the
Cauchy problems (I.2) and (I.3). Application of the Laplace transform to
(I.2) turns it into the equation
(λI − A)e
u(λ) = f, λ ∈ ρ(A).
The solution operators generally are not defined on the whole X . We show that
the regularization used within semi-group methods, namely, in construction
of K-convoluted (in the particular case, integrated) semigroups {SK (t), t ∈
e
[0, τ )}, is performed by multiplying the resolvent in (2.3.19) by a function K.
This function allows us to obtain the regularized solution:
e
uK (t) = SK (t)f = L−1 [KR](t)f = (U ∗ K)(t)f, t ∈ [0, τ ), f ∈ X . (2.3.20)
where (λI − A)−1 usually is not the resolvent in the case of R-semigroups.
The methods of abstract distributions provide the regularization by ap-
plying (unbounded) solution operators to test functions ϕ, which allows con-
structing a generalized solution to (I.2) as the generalized inverse Laplace
transform:
hϕ, ui = hϕ, U f i = ϕ, L−1 [Rf ] := ϕ(−λ),
e R(λ)f , f ∈ X,
where
h(x) = 1 + x2 , g(x) = x2γ , x ∈ R, γ ≥ 0,
p
with dom A = {f ∈ X : hf1 , gf1 + hf2 ∈ L (R)} .
Note that this matrix can be obtained as the Fourier transform of a class
of differential systems depending on a parameter, in particular, fractional dif-
ferential systems (see Example 3.2.4).
We construct the operator-function
t2 A2 tn An
U (t) = eAt = I + tA + + ...+ + ..., t ≥ 0,
2! n!
formally. The corresponding matrix-function calculated by components has
the form
2 1 0
e−t(1+x ) , t ≥ 0, x ∈ R.
−tx2γ 1
Let us investigate whether the operators obtained are bounded. To do this
we calculate the norm of U (t):
n 2 2
o
kU (t)kL(X ) = max max e−t(1+x ) ; max t|x|2γ e−t(1+x ) .
x∈R x∈R
75
76 3. Examples. Supplements
If γ = 1, we obtain
kU (t)k = max e−t ; e−t−1 = e−t , t ≥ 0.
6 1,
In order to find the maximum of two functions in (3.1.2) with γ > 0, γ =
we solve the inequality
γ
γ 1−γ −γ 1−γ e
γ t e <1 ⇐⇒ t < . (3.1.3)
γ
γ/1−γ
e
If we denote tγ := γ , then the solutions of (3.1.3) have the form
Therefore, if 0 < γ < 1 and t ≤ tγ , then the first argument is maximal, and if
t > tγ , then the second one is maximal. For γ > 1, it is vice versa.
To sum up, we have obtained, in the case of 0 < γ < 1,
−t
−t γ 1−γ −t−γ e , 0 ≤ t ≤ tγ ,
kU (t)k = max e ; γ t e =
γ γ t1−γ e−t−γ , t > tγ ,
The semi-group property follows from the corresponding equality for ma-
trices:
−t(1+x2 ) 1 0 −τ (1+x2 ) 1 0
e e =
−tx2γ 1 −τ x2γ 1
−(t+τ )(1+x2 ) 1 0
=e .
−(t + τ )x2γ 1
The strong continuity of the family can be easily checked directly. We investi-
gate the existence and behavior of the resolvent of A as well as its derivatives.
We have
dk −1 (−1)k k! λ+h 0
(λI − A) = , k ∈ N0 ,
dλk (λ + h)k+2 −(k + 1)g λ + h
To check the conditions of the MFPHY theorem we estimate the norm of these
derivatives for arbitrary f ∈ X :
1 dk
· −1
−k−1
k! dλk (λI − A) f
≤ (λ + h) f1 p
+
(k + 1)(λ + h)−k−2 gf1
p +
(λ + h)−k−1 f2
p .
If λ > 0 and i = 1, 2, we obtain the following estimates for the first and the
last terms:
Z ∞ 1/p
|fi (x)|p 1
(λ + h)−k−1 fi
= dx ≤ k+1 kfi kp . (3.1.5)
p |λ + 1 + x2 |(k+1)p λ
−∞
Note that
k+1 λ
1+x2 k+1
≤ , x ∈ R, λ > 0. (3.1.6)
(1 + λ )
1 + x2
This is indeed the case since the inequality
is easy to prove by the Taylor expansion of the right-hand side. The change
2
of n by k + 1 and y by 1+x
|λ| yields (3.1.6). Then, for λ > 0, we have
(k + 1)(λ + h)−k−2 gf1
p
Z ∞ 1/p
1 λp |x|2pγ p
≤ k+1 ·
2 p (λ + 1 + x2 )p
· |f1 (x)| dx
λ −∞ (1 + x )
Z ∞ !1/p
1 λp |x|2pγ p
= k+1 2 p
· 2 p
· |f1 (x)| dx . (3.1.7)
λ −∞ (1 + x ) λp 1 + 1+xλ
|x|2γ 1
≤ 1, as γ ∈ [0, 1], 1+x2
≤ 1, as λ > 0,
1 + x2 1+ λ
Finally, we obtain
1 dk
1 1 1
· − −1
k! dλk (λI A) f
≤ λk+1 kf1 kp + λk+1 kf1 kp + λk+1 kf2 kp
2
≤ k+1 kf k, k ∈ N ∪ {0},
λ
for λ > 0 and 0 ≤ γ ≤ 1. This estimate implies that for 0 ≤ γ ≤ 1 the operator
(λI − A)−1 is the resolvent of A and satisfies the MFPHY condition.
Thus, for 0 ≤ γ ≤ 1, the family of operators {U (t), t ≥ 0} forms the
C0 -semi-group.
2. Now let us consider the values γ > 1. In this case, as seen from the
estimates obtained the MFPHY condition is not true for (λI − A)−1 . How-
ever, this operator is bounded for 1 < γ ≤ 2. Indeed, the estimate (3.1.5) is
independent on γ. The estimate (3.1.7) also does not depend on γ and in the
case of k = 0 we have
Z ∞ 1/p
λp |x|2pγ
(λ + h)−2 gf1
≤ 1 · · |f 1 (x)| p
dx .
p λ 2 p (λ + 1 + x2 )p
−∞ (1 + x )
(3.1.8)
The function under the integral sign with γ ≤ 2 satisfies the estimates
|x|γ |x|γ
≤ 1, ≤ 1, as λ > 0,
1 + x2 (λ + 1 + x2 )p
3.1. Examples of regularized semi-groups 79
1
Here supm em2
= e−1 . As for the second term, for an even number t the
mt
supremum of eem2 is reached as m = 2t :
emt 2 2 2
sup = et /2−t /4 = et /4 , t = 2k,
m e m2
3.1. Examples of regularized semi-groups 81
2 2
in the general case t ≥ 0 the estimate supm emt /em ≤ et /4 holds. Thus
the operator S1 (t) is bounded for every fixed t ≥ 0 and the behavior of the
operator function S1 (t) as t → ∞ is determined by the relationship
t2
kS1 (t)k = O e 4 .
It follows that the family of operators {S1 (t), t ≥ 0} does not possess the
property of exponential boundedness. This means that there are no such C > 0
and ω ∈ R that
kS1 (t)k ≤ Ceωt , t ≥ 0.
Nevertheless, this family satisfies the characteristic property of integrated
semi-groups (Sn 1) with n = 1 as a primitive of the family {U (t), t ≥ 0}
which possesses the semi-group property. In addition, the defined family
{S1 (t), t ≥ 0} is strongly continuous wrt t as t ≥ 0:
∞ am (t+τ )
X 2
e − eam t
kS1 (t + τ )f − S1 (t)f k2 = 2
am · |fm |
m=1
k
X a (t+τ ) 2 ∞
X a (t+τ ) 2
e m − eam t e m − eam t
2 2
= am · |fm | + am · |fm | .
m=1 m=k+1
The second term in the sum obtained can be made sufficiently small with
∞ am (t+τ ) 2
P e
fixed t ≥ 0 and τ from a bounded subset of R since am · |fm |2
m=1
P∞ am t 2
e
and am · |fm |2 converge, due to the choice of k ∈ N. Then, with fixed
m=1
k ∈ N, one can make the first term sufficiently small as τ → 0 since this is a
finite sum.
Thus, in this example we have shown that the defined family of operators
{S1 (t), t ≥ 0} forms a one-time integrated semi-group which is not exponen-
tially bounded.
Af := (a1 f1 , a2 f2 , . . . , am fm , . . .),
where r
m e2m m2
am = +i − , m ∈ N,
T m2 T2
with domA = {f ∈ l2 : Af ∈ l2 } .
82 3. Examples. Supplements
are not bounded as t > 0. However, similar to the previous example, the op-
erator family {U (t), t ≥ 0} possesses the semi-group property on its domain.
Let us construct {Sn (t), t ≥ 0} as a primitive of order n of the family
{U (t), t ≥ 0} by components. Then the family obtained satisfies the charac-
teristic property (Sn 1) of integrated semi-groups as a primitive of the family
that possesses the semi-group property. Besides, if the operators Sn (t) are
proven to be bounded for t from a certain set, then by arguments of the pre-
vious example one can show that this family is strongly continuous wrt to t
on the set.
Let bm (t) be an mth component of the vector corresponding to the operator
Sn (t). Then it equals the n-tuple integral of eam s on [0, t], i.e.,
n
e am t X tn−k
bm (t) = − . (3.1.10)
anm (n − k)! · akm
k=1
we obtain that for t < nT this value tends to zero as m → ∞, and for t ≥ nT
it is unbounded as m → ∞. The estimates of the rest of the terms in (3.1.10),
tn−k mk mk (nT )n−k
= |t| n−k
≤ , k = 1, 2, . . . , n,
(n − k)! · ak ekm (n − k)! ekm (n − k)!
m
are true for t ∈ [0, nT ) and we see that these values tend to zero as m → ∞
too. Hence, for each t ∈ [0, nT ), we have |bm (t)| → 0 as m → ∞; this means
that the operators Sn (t) are bounded on the semi-interval [0, nT ).
Thus we have obtained a local n-times integrated semi-group. Moreover, it
is seen from the equality (3.1.11) that it cannot be extended to the semi-axis
t ≥ 0. Furthermore, the same equality implies that the semi-group is defined
only on a semi-interval and cannot be extended to its closure.
It should also be noted that the semi-interval [0, nT ), where the semi-
group is defined, extends when the order of the primitive grows. This allows
us to obtain solutions of the Cauchy problem for larger t; however, such a
construction requires more and more regularization.
corresponds to the operator (λI − A)−1 . However, unlike Example 3.1.1, the
operator of multiplication by the matrix is not bounded for all γ > 0. There-
fore, ρ(A) = ∅ and A does not generate a semi-group of class C0 , C1 , A,
integrated or convoluted.
The family
2
S(t)f (x) := ext−|x| f (x), f ∈ X, x ∈ R,
as is easily seen, forms an R-semi-group with the generator A and with
2
Rf (x) = e−|x| f (x), x ∈ R, f ∈ X . Moreover,
n 2
o 2
t
kS(t)k = sup ext−|x| = e 4 ,
x∈R
g(x)
f (x) = (λI − A)−1 g(x) = , x ∈ R,
λ−x
whence we obtain that (λI − A)−1 is unbounded for each λ ∈ R and that
Sp(A) = R. Therefore, the resolvent set of A does not contain any semi-
interval of real axis of the kind Reλ > ω. This means that A generates neither
a local integrated nor a local convoluted semi-group.
∂u(x; t) ∂ 2 u(x; t)
= , x ∈ R, t ≥ 0, (3.2.1)
∂t ∂x2
with the initial data u(x; 0) = f (x) in a space of distributions Ψ′ it may be
a space of the type (Sαβ ) ′ or (WM
Ω ′
) .
Let us apply the Fourier transform to the problem. We obtain the Cauchy
problem for the ordinary differential equation
de
u(s; t)
= −s2 u
e(s; t), t ≥ 0, e(s; 0) = fe(s),
u s ∈ C, (3.2.2)
dt
e ′ . The operator of this problem has the form
in the corresponding space Φ
2
A(s) = −s I; hence its characteristic root
and the relation between the direct and inverse Fourier transform
1
F −1 [f ](s) = F f (−s). (3.2.10)
2π
Using (3.2.9) and (3.2.10) we obtain
h i h i √
2 1 2 π x2 1 x2
Gt (x) = F −1 e−ts = F e−ts = √ e− 4t = √ e− 4t
2π 2π t 2 πt
and the well-known formula for the solution
Z (x−ξ)2
1
u(x; t) = √ e− 4t f (ξ) dξ.
2 πt R
By the estimate (3.2.3) and the Parseval equality, we have
ge(s)
(λI − A(s))fe(s) = e
g(s) =⇒ fe(s) = .
λ + s2
86 3. Examples. Supplements
Hence,
Z Z
g (σ)|2
|e 1 1
g k2L2 (R) =
kRA(σ) (λ)e 2 2
dσ = g(σ)|2 dσ =
|e gk2L2 (R) .
ke
R |λ + σ | |λ|2 R |λ|2
Therefore,
1 1
kRA(σ) (λ)kL2 (R) = kR d2 (λ)kL2 (R) ≤ ≤ , Reλ > 0.
dx2 |λ| Reλ
It follows that the operator A(i∂/∂x) = d2 /dx2 generates a C0 -semi-group in
the space L2 (R) and the Cauchy problem for (3.2.1) is uniformly well-posed.
Note that in spaces Lp (R), p 6= 2, this operator generates only semi-groups
of growth order α = α(p) and the Cauchy problem is not uniformly well-posed.
Example 3.2.2 of a Petrovsky correct (hyperbolic) system.
Consider the hyperbolic equation
∂ 2 u(x; t) ∂ 2 u(x; t)
= , x ∈ R, t ≥ 0, (3.2.11)
∂t2 ∂x2
with the initial data
∂u(x; 0)
u(x; 0) = f1 (x), = f2 (x),
∂t
in a space Ψ′ as in Example 3.2.1. By the change
∂u(x; t)
u1 (x; t) = u(x; t), u2 (x; t) =
∂t
we reduce Equation (3.2.11) to the system of differential equations of the first
order wrt t:
∂u1 (x; t)
= u2 (x; t),
∂t
x ∈ R, t ≥ 0, (3.2.12)
∂u (x; t) ∂ 2
u (x; t)
2 1
= ,
∂t ∂x2
with the initial data
u1 (x; 0) = f1 (x),
x ∈ R. (3.2.13)
u2 (x; 0) = f2 (x),
We apply the Fourier transform to the problem (3.2.12)–(3.2.13). Then it
transforms into the Cauchy problem for the system of ordinary differential
equations
de
u1 (s; t)
=ue2 (s; t),
dt
s ∈ C, t ≥ 0, (3.2.14)
de
u2 (s; t)
= −s u2
e1 (s; t),
dt
3.2. Examples of solutions to systems 87
(
e1 (s; 0) = fe1 (s),
u
s ∈ C. (3.2.15)
e2 (s; 0) = fe2 (s),
u
The matrix of the system (3.2.14) has the form
0 1
A(s) = .
−s2 0
and
Λ(s) = |τ | ≤ |s|, s = σ + iτ ∈ C.
4
t3 0 −s2 t4 s 0 t5 0 s4
+ + + + ...
3! s4 0 4! 0 s4 5! −s6 0
88 3. Examples. Supplements
t2 2 t4 4 t3 2 t5 4
1 − s + s − ... t − s + s − . . .
2 4! 3! 5!
=
t3 t5 2 4
t 2 t 4
−ts2 + s4 − s6 + . . . 1 − s + s − ...
3! 5! 2 4!
(ts)2 (ts)4 (ts)3 (ts)5 1
1− + − ... ts − + − . . . V.p.
2 4! 3! 5! s
=
(ts)3 (ts)5 (ts)2
(ts) 4
−s ts − + − ... 1− + − ...
3! 5! 2 4!
1
cos(ts) sin(ts)V.p.
s.
=
−s sin(ts) cos(ts)
Then the solution of the Cauchy problem (3.2.14)–(3.2.15) can be written in
the form
e(s; t) = etA(s) fe(s),
u t ≥ 0, s ∈ C,
and, due to the Fourier transform properties, the solution of the initial Cauchy
problem is defined in the form of the convolution
Example 3.2.3 of the system of differential equations of the first order gen-
erating a uniformly well-posed Cauchy problem.
In this example
2
2 −s 0 3 0 is3
A (s) = , A (s) = ,
0 −s2 is3 0
3.2. Examples of solutions to systems 91
4
4 s 0 5 0 −is5
A (s) = , A (s) = , ...
0 s4 −is5 0
and the solving matrix-function of the problem is
(ts)2 (ts)4 (ts)3 (ts)5
1− + + ... −i ts + − + ...
2 4! 3! 5!
e tA(s)
=
(ts) 3
(ts) 5
(ts)2
(ts) 4
−i ts + − + ... 1− + + ...
3! 5! 2 4!
cos(ts) −i sin(ts)
= .
−i sin(ts) cos(ts)
Hence we obtain the solution of the Fourier transformed Cauchy problem
!
tA(s) e cos(ts) −i sin(ts) fe1 (s)
u
e(s; t) = e f (s) =
−i sin(ts) cos(ts) fe2 (s)
where Ge t (s) = etA(s) . In order to find the elements of the matrix Gt (x), we
use the formulae (3.2.16)–(3.2.17). Then the Green matrix-function has the
form
δ(x − t) + δ(x + t) δ(x + t) − δ(x − t)
2 2
Gt (x) =
δ(x + t) − δ(x − t) δ(x − t) + δ(x + t)
2 2
and
1
u 1 (x; t) = f 1 (x − t) + f 1 (x + t) + f 2 (x + t) − f 2 (x − t) ,
2
1
u2 (x; t) = f1 (x + t) − f1 (x − t) + f2 (x − t) + f2 (x + t) .
2
t3 −s6 0 t4 s8 0 t5 −s10 0
+ 6 + + + ...
3! 3sk+4 −s 4! −4sk+6 s8 5! 5sk+8 −s10
(−ts2 )2
1 + (−ts2 ) + + ... 0
2
=
(−ts2 )2 2 2
(−ts )
tsk 1 + (−ts2 ) + + ... 2
1 + (−ts ) + + ...
2 2
and
2
! ! !
e−ts 0 fe1 (s) −ts2 1 0 fe1 (s)
u
e(s; t) = e tA(s)
fe(s) = 2 2 =e
tsk e−ts e−ts fe2 (s) tsk 1 fe2 (s)
In order to find Gt (x), we use the formulae (3.2.5) and (3.2.9) and the relation
(3.2.10). We obtain
h i h i √
2 1 2 π x2 1 x2
F −1 e−ts = F e−ts = √ e− 4t = √ e− 4t ,
2π 2π t 2 πt
k
1 t(−1)
F −1 tsk = F t(−s)k = F sk = t i k δ (k) (x),
2π 2π r
h i 1 x2
i k t ∂k
x2
−1 k −ts2 k (k) − 4t − 4t
F ts e = t i δ (x) ∗ √ e = e .
2 πt 2 π ∂xk
Thus the Green matrix-function is defined as
x2
1 − 4t
√ e 0
2 πt
Gt (x) =
kr
.
i t ∂k x2
− 4t 1 −
x2
e √ e 4t
2 π ∂xk 2 πt
Comparing this example with Example 3.1.1, where the operator A behaves
similarly to the matrix A(s) of the system (3.2.22) with 2γ = k, we can arrive
at the following conclusion on generating various semi-groups in L2 (R) by the
operator of the system (3.2.21).
The operator A = A(i∂/∂x) of the system (3.2.21) generates a C0 -semi-
group as k = 0, 1, 2 and a one-time integrated semi-group as k = 3; in addition,
the operator generates a semi-group of growth order α > k/2 − 1 and an R-
semi-group with R = (λI − A)−n , n = [α] + 1, as k = 3, 4, . . . .
D, Sαβ , WM
Ω
,... .
94 3. Examples. Supplements
is called the neighborhood of zero and is denoted by Up,ε (0). The topology in
a countably normed space is the topology of projective limit [105] and a set
B is bounded in a countably normed space if it is bounded in each norm.
Consider the space DA which consists of all infinitely differentiable func-
tions with supports in [−A, A].1 Define a set of norms in the space as
spaces denoting constants by letters A, B. In order not to confuse these constants with the
differential operator in Sections 2.3 and 3.2 and further in Part II, we denote the operator
by A(i∂/∂x).
3.3. Definitions and properties of spaces of test functions 95
one can note that the smaller is α, the faster the functions ϕ(·) tend to zero as
|x| → ∞. It turns out that if α = 0, then any function ϕ(·) satisfying (3.3.1)
is equal to zero as |x| > A. Indeed, as α = 0 and q = 0, we obtain from (3.3.2)
k
A
|ϕ(x)| ≤ C0 , k ∈ N0 , x ∈ R.
|x|
holds providing (3.3.1) with α = 0. Thus S0 coincides with the space D. Since
the structure of this space and the convergence and the notion of a bounded
set were described above, we will further consider the spaces Sα in the case
α > 0.
The elements of the space Sα , α > 0, can be equivalently defined as the
functions satisfying the estimates
1/α
|ϕ(q) (x)| ≤ Cq′ e−a|x| , q ∈ N0 , x ∈ R, (3.3.3)
where Cq′ = Cq′ (ϕ) and a = a(ϕ) = eAα1/α . In order to clarify the idea of the
proof of this important property, we consider the function
k kα
µα (y) = inf .
k∈N0 |y|k
Then µα (y), as the infimum with respect to natural values of k, satisfies the
inequality
α 1/α
e− e |y| ≤ µα (y). (3.3.5)
Applying the Tailor expansion of f in a neighborhood of the point k ∗ , it is
easy to show the converse estimate:
α 1/α
µα (y) ≤ Ce− e |y| . (3.3.6)
Now, if ϕ ∈ Sα , then (3.3.4) is true and, due to (3.3.6), the inequality (3.3.3)
follows. Conversely, if (3.3.3) holds, then from (3.3.5) we obtain
(q) ′ −a|x|1/α ′ |x| Ak k kα k kα
′A k
|ϕ (x)| ≤ Cq e ≤ Cq µα = Cq′ inf ≤ C q .
A k∈N0 |x|k |x|k
Hence (3.3.1) holds and ϕ belongs to the space Sα . Thus the space Sα , α > 0,
can be equivalently defined as the set of all infinitely differentiable functions
satisfying (3.3.3).
Similar to the particular case S0 = D, the space Sα for α > 0 can be
introduced in the form of a countable union of normed spaces. Denote by
Sα,A the set of all infinitely differentiable functions satisfying the condition
for any ε > 0 with some constant Cq,ε = Cq,ε (ϕ). Let us introduce the system
of norms
|xk ϕ(q) (x)|
kϕkq,p = sup sup k , p ∈ N, q ∈ N0 , (3.3.8)
k∈N0 x∈R 1 kα
A+ p k
in the space Sα, A . Due to (3.3.7), the supremum is well defined. The space
Sα,A with such a system of norms is a perfect countably normed space.
The set B is bounded in Sα,A if for any p ∈ N, q ∈ N0 there exists a
constant Cq,p such that kϕkq,p ≤ Cq,p for all ϕ from B.
Convergence to zero of a sequence ϕn ∈ Sα,A means that it is bounded in
(q)
the space and for any q ∈ N0 the sequence ϕn tends to zero uniformly on
any segment |x| ≤ x0 < ∞.
At first sight, this convergence is weaker than the convergence wrt the
topology defined by the system of norms (3.3.8); however, it is shown in [37]
that for Sα,A as well as for the spaces considered below, the convergence of
3.3. Definitions and properties of spaces of test functions 97
The space Z b with the system of norms is a perfect countably normed space.
Convergence to zero of a sequence ϕn in Z b means that ϕn (·) converges uni-
formly on every bounded segment of the real axis |x| ≤ x0 < ∞ and the
sequence of norms kϕn kr is bounded for any r ∈ N.
A set B is bounded in Z b if for any k ∈ N0 the inequality (3.3.9) holds for
all elements of B.
The embedding Z b1 ⊂ Z b2 holds if b1 < b2 and
[
Z= Z b,
b
98 3. Examples. Supplements
for any δ > 0 with some constant Ck,δ = Ck,δ (ϕ) and the norms
The space S β,B with the system of norms is a perfect countably normed space.
Convergence to zero of a sequence ϕn ∈ S β,B means that for any q ∈ N0
(q)
the sequence of functions ϕn converges to zero uniformly on any bounded
segment and for any k ∈ N0 , m ∈ N the collection of norms kϕn kk,m is
bounded (with the constant Ck,m ).
A set B is bounded in S β,B if, for any k ∈ N0 , m ∈ N the inequality
(3.3.11), where δ = 1/m, holds with some constant Ck,m independent of the
elements of B. It follows from the definition of S β,B that
[
S β,B1 ⊂ S β,B2 for B1 < B2 , and S β = S β,B ,
B
3.3. Definitions and properties of spaces of test functions 99
where the topology in S β is defined as the inductive limit topology. This allows
us to introduce convergence in S β as follows: ϕn → 0 in S β if the sequence
(q)
ϕn (·) and all the sequences of its derivatives ϕn (·) converge uniformly to zero
on any bounded segment.
A set B is bounded in S β if it is bounded in some S β,B .
The space Sαβ . The space Sαβ (α ≥ 0, β ≥ 0) consists of all infinitely
differentiable functions ϕ(x), x ∈ R, satisfying the inequalities
for any ε > 0, δ > 0 with a constant Cε, δ = Cε, δ (ϕ) and the norms
β,B
The space Sα,A with this system of norms is a perfect countably normed space.
β,B
A set B is bounded in Sα,A if, for any p, m ∈ N, the condition (3.3.12)
holds with a certain constant Cp,m independent of the elements of B. A set B
β,B
is bounded in Sαβ if it is bounded in some Sα,A .
β,B
Convergence to zero of a sequence ϕn ∈ Sα,A means that it is bounded in
β,B (q)
Sα,A and for any q ∈ N0 the sequence ϕn (·) tends uniformly to zero on every
bounded segment of the real axis.
β,B1 β,B2
For A1 < A2 , B1 < B2 the embedding Sα,A 1
⊂ Sα,A 2
holds and the space
β,B
Sαβ is the union of perfect countably normed spaces Sα,A . A sequence ϕn ∈ Sαβ
β,B
converges to zero if all functions ϕn (·) belong to a common space Sα,A and
converge to zero in this space.
The space S. The space S consists of all infinitely differentiable functions
ϕ(x), x ∈ R, satisfying the inequalities
with some constant Ck,q = Ck,q (ϕ), that is, S is the space of infinitely differ-
1
entiable functions decreasing faster than any degree of |x| does as |x| → ∞.
The space S is a perfect countably normed space with the system of norms
P
∞
Mp−1 M P
∞
Mq−1
(M.3) Mp
q
≤ q c Mq+1 , q ∈ N; ( (M.3)′ Mq < ∞ );
p=q+1 q=1
Mq
e−M(x) = inf , x > 0.
q∈N0 M0 xq
3.3. Definitions and properties of spaces of test functions 101
Then M (·) increases at infinity faster than any linear function and is convex:
for any δ > 0. The space WM,a with the system of norms
kϕkp = sup sup ϕ(q) (x) eM ((a− p )x) ,
1
p ∈ N,
q≤p x∈R
The properties of the function Ω(·) are similar to those of the function M (·)
3.3. Definitions and properties of spaces of test functions 103
where the topology is the strong inductive limit topology. This allows one to
introduce the convergence and bounded sets in the space.
Recall bounded operators of multiplication in some of the spaces.
• In the space S0 = D any infinitely differentiable function f0 defines the
bounded operator of multiplication by f0 .
• In the space Z any entire function f0 (·) satisfying the inequality for some
C > 0, b > 0, h ≥ 0
|f0 (z)| ≤ C(1 + |z|)h eb|y| , q ∈ N0 ,
defines the bounded multiplication operator.
104 3. Examples. Supplements
The basis of the definition of the generalized Fourier transform is the Parseval
equality for the Fourier transform in L2 (R) (see, e.g., [53, 89]), where it has
the form of equality for scalar products
The equality may be used for functions ϕ from a space Φ of test functions and
f ∈ Φ′ :
hF [ϕ], F [f ]i = 2πhϕ, f i, ϕ ∈ Φ,
and it serves as the definition of the generalized Fourier transform and the
inverse Fourier transform:
hψ, F f i = 2πhF −1 ψ, f i, e f ∈ Φ′ .
ψ ∈ Φ,
(3.4.1)
1 e ′.
hϕ, F −1 gi := hF ϕ, gi, ϕ ∈ Φ, g ∈ Φ
2π
Thus, in the case when the Fourier transform and the inverse Fourier trans-
form perform one-to-one mappings between Φ and Φ, e we have the following
embeddings: ′ ′
f
Φ′ ⊆ Φ e and e ⊆f
Φ Φ′ .
The definition (3.4.1) and properties of the classical Fourier transform pro-
vide the following rules of differentiation for the generalized Fourier transform,
which are valid in the classical theory:
d e d
f (σ) = F [ixf (x)](σ), F i f (x) (σ) = σ fe(σ),
dσ dx
F [f ∗ g] = F f · Fg.
f
fα = S α ,
S Sfβ = Sβ , Sαβ = Sβα , ]
Sα,A = S
α,A
, S]
β,B = S
β,B ;
for α = 0, β = 0
f0 = D
S e = Z, f0 = Z
S e = D.
Ω
In order to describe the Fourier transform in the spaces WM we recall the
definition of dual by Young functions. The functions M (·) and Ω(·) given by
(3.3.15)–(3.3.16) are called dual by Young if the functions µ(·) and ω(·) are
reciprocal, i.e., µ(ω(η)) = η and ω(µ(ξ)) = ξ for any ξ, η ∈ R. In this case the
Young inequality holds:
νϑ 6 M (ν) + Ω(ϑ), ν, ϑ ∈ R.
106 3. Examples. Supplements
The following duality result for the Fourier transform in the spaces WM, a and
W Ω, b follows from it. If M (·) and Ω(·) are functions dual by Young, then
fM,a = W Ω,1/a ,
W f Ω,b = WM,1/b .
W
If Ω2 (·) and M2 (·) are functions dual by Young with functions M1 (·) and
Ω1 (·), respectively, then
f Ω1 = W Ω2 .
W M1 M2
for all ϕ ∈ D with supp ϕ ⊂ G. If u = 0 on (−∞, a), then g(t) = 0 for t < a.
For each bounded set B ⊂ D′ and each open bounded set G ⊂ R there exists
m ∈ N independent of the elements of B that provides the equality (3.4.2) for
all u ∈ B and uniform boundedness of functions g on compact sets in R.
Theorem 3.4.2 (The structure theorem in S ′ (in Sω′ )) For any distri-
bution u ∈ S ′ (u ∈ Sω′ ) there exist m ∈ N, r > 0 and a continuous function
g : R → R such that
hϕ, ui = hϕ, g (m) i, ϕ ∈ S, (3.4.3)
and
kg(t)k ≤ C|t|r (kg(t)e−ωt k ≤ C|t|r ) as |t| → ∞. (3.4.4)
If u = 0 on (−∞, a), then g(t) = 0 for t < a.
For each bounded set B ⊂ S ′ there exists m ∈ N independent of the ele-
ments of B that provides the equality (3.4.3) for all elements u ∈ B; moreover,
all the corresponding functions g (g(t)e−ωt ) have the same order of growth
r > 0 in (3.4.4).
The structure of distributions with compact supports is given in the fol-
lowing theorem.
Theorem 3.4.3 (Paley–Winner–Shwartz) [37] If an entire function f
satisfies the conditions
|f (z)| ≤ C1 eb|z| , z ∈ C, |f (x)| ≤ C2 (1 + |x|h ), x ∈ R,
then its Fourier transform fe is the element of D′ with support in [−b, b].
Moreover, for any ε > 0 there exist such an integrable function g(·) with
support in [−b − ε, b + ε] and such a polynomial Pk (·) of power k ≤ h + 1 that
fe(σ) = Pk (d/dσ) g(σ).
The converse result is also true.
Now we present structure theorems for spaces of ultra-distributions.
′
Theorem 3.4.4 (The first structure theorem for D{Mq } ) [54] Let
′
a sequence Mq satisfy (M.1) and (M.3)′ . For each u ∈ D{Mq } there ex-
ists such a sequence un ∈ C ′ (R) of integrable functions such that for any open
bounded set G ⊂ R and any B > 0 there exists C > 0 such that
Bn
kun kC ′ (G) ≤ C , n ∈ N0 . (3.4.5)
Mn
P
{Mq } ′
In this case the equality u|G = ∞ n
n=0 D un holds in D .
The inverse is true: if the sequence of measures un ∈ C ′ (G) satisfies
′
(3.4.5), then the series in the definition of u converges absolutely in D{Mq } .
Note that all the structure theorems listed above hold for functions
from corresponding spaces of abstract distributions D′ (X ), S ′ (X ), Sω′ (X ),
′
D{Mq } (X ) [30].
In Part II we apply the structure theorems to constructing generalized wrt t
solutions of the stochastic Cauchy problems with A generating integrated and
convoluted semi-groups and also to constructing generalized wrt x solutions
with A generating an R-semi-group.
3.4. Generalized Fourier and Laplace transforms. Structure theorems 109
where ′ h
|f (z)| ≤ C3 ea |x| , z ∈ Hµ ,
with C3 = max{C1 ; C2 }. If h < p and p is the exact growth order of f or if
h = p and a < 0, then µ ≤ 1.
where
|f (z)| ≤ C3 (1 + |x|)h , z ∈ Hµ ,
with C3 = max{C1 ; C2 }.
hold on the real axis. Here a1 = a + ε, ε > 0 and it is of the same sign as a.
Infinite-Dimensional
Stochastic Cauchy
Problems
Taylor & Francis
Taylor & Francis Group
http://taylorandfrancis.com
Chapter 4
Weak, regularized, and mild
solutions to Itô integrated stochastic
Cauchy problems in Hilbert spaces
After the “deterministic” Part I containing necessary results from the semi-
group, abstract distribution, and regularization theory, we proceed to the main
theme of the book, infinite-dimensional stochastic problems (P.1)
113
114 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
This implies that u is an H-valued random variable if and only if for each
h ∈ H the mapping hu(·), hiH : Ω → R is a real-valued random variable. Thus
as
Z N
X
u(ω)P (dω) := xi P (Gi ∩ F ), F ∈ F,
F i=1
and Z
lim ku(ω) − un (ω)kH P (dω) → 0.
n→∞ Ω
Note that if µ and µ1 are two probability measures on (H, B(H)) such that
µ̂ = µ̂1 , then µ = µ1 on (H, B(H)).
Let Lp (Ω, F , P ; H) ≡ Lp (Ω; H), p ≥ 1, be the space of all equivalence
classes of p-order-integrable H-valued random variables on (Ω, F , P ) with the
norm Z 1/p
kukp := ku(ω)kpH P (dω) .
Ω
Here random variables u and v belong to the same equivalence class if and
only if u = v Pa.s. (almost surely wrt P ). The space L2 (Ω; H) is Hilbert with
the scalar product
Z
hu, viL2 (Ω;H) := hu(ω), v(ω)iH P (dω).
Ω
where {ej }∞ ∞
j=1 and {hj }j=1 are orthonormal systems in H1 and H2 , respec-
tively, λj > 0 and limj→∞ λj = 0. In this case λj are eigenvalues of the
non-negative self-adjoint compact operator T from the polar decomposition
of A; ej are eigenvectors of T and hj = U ej .
By introducing certain requirements on the rate of convergence of sequence
{λj }∞
j=1 in representation (4.1.2), we arrive at the class of Hilbert–Schmidt
operators, namely, an operator A ∈ L(H1 , H2 ) P
is said to be of Hilbert–Schmidt
∞
type if it admits representation (4.1.2), where j=1 λ2j < ∞.
Among the useful properties of Hilbert–Schmidt operators are the follow-
ing:
118 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
P∞ 2
1) A ∈ L(H1 , H2 ) is of Hilbert–Schmidt type if and only if j=1 kAej k < ∞
∞
for at least one orthonormal basis {ej }j=1 of H1 ;
2) the value
1/2
∞
X
kAkHS := kAej k2H2 < ∞ (4.1.3)
j=1
converges for any orthonormal basis {ej }∞j=1 of H and does not depend
on the choice of basis. The sum is referred to as the trace of A;
5) if A ∈ L(H1 , H2 ) is a nuclear operator,
√ then it admits the polar decom-
position A = U T , where T = A∗ A : H1 → H1 is a non-negative
self-adjoint compact operator with finite trace and U : H1 → H2 is an
isometric operator;
4.1. Hilbert space valued variables, processes, and stochastic integrals 119
P∞
6) an operator A ∈ L(H1 , H2 ) is nuclear if and only if j=1 kAej kH2 < ∞
for at least one orthonormal basis {ej }∞
j=1 of H1 ;
We say that H-valued random variables u and v are independent if
and Z
2
Cov(v) = E[(v − m) ] = (x − m)2 dLv (x) = q,
R
respectively. The distribution law of real-valued Gaussian random variable v
defines a probability measure on (R, B(R)), which is referred to as a Gaussian
measure and is denoted by N (m, q).
Likewise, an Rn -valued random variable v is called Gaussian if its distri-
bution law has the form
Z
1 1 −1
Lv (F ) = n/2 (det Q)1/2
e− 2 hQ (y−m), y−mi dy, F ⊂ Rn ,
F (2π)
distribution law defines a probability measure on (Rn , B(Rn )), which is re-
ferred to as (non-degenerate) Gaussian measure N (m, Q). In this case vector
m = (mi , . . . , mn ) is the expectation of v:
Z Z
E(v) = v(ω) P (dω) = x1 . . . xn dLv (x1 , . . . , xn ) = m1 . . . mn .
Ω Rn
Continuity of the inner product in H implies that these functionals are con-
tinuous and therefore there exists an element m ∈ H and a non-negative
self-adjoint operator Q on H such that
It follows from the definition that for each fixed t ∈ T we have an H-valued
random variable
u(t, ·) : Ω → H.
On the other hand, fixing ω ∈ Ω, we obtain the function u(·, ω) : T → H
called a trajectory (or path) of u(t). Sometimes it is convenient to identify
each ω with the corresponding path u(·, ω) and Ω with a subset of the space
of all functions from T into H.
In the next sections, while studying stochastic Cauchy problems in Hilbert
spaces, we will use [0, T ], or [0, T ) with T < ∞, or [0, ∞) as the parameter set
124 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Example 4.1.1 Consider the probability space (Ω, F , P ), where Ω = [0, 1],
F is the σ-field of Lebesgue measurable subsets of [0, 1] and P is the Lebesgue
measure on [0, 1]. Let T = R. For all t ∈ R, ω ∈ [0, 1] consider
0, t 6= ω,
u(t, ω) = 0 and v(t, ω) =
h, t = ω, h ∈ H.
Obviously we have
P {ω : u(ω, t) = v(ω, t)} = 1,
4.1. Hilbert space valued variables, processes, and stochastic integrals 125
i.e., both processes are versions of one another. It is easy to check that both
processes have the same finite-dimensional distributions. From this point of
view they can be regarded as different versions of one process. However,
(B4) β(t) has continuous trajectories Pa.s. , i.e., the mapping t → β(t, ω),
t ≥ 0, is continuous for almost all ω ∈ Ω.
The process defined by the family of measures (4.1.10) is one of the class of
processes with properties (B1)–(B4). This gives rise to the following definition.
Definition 4.1.5 An Rn -valued stochastic process {β(t), t ≥ 0} satisfying
conditions (B1)–(B4) is called Brownian motion (starting at point x).
Brownian motion is a very important Gaussian process in the theory of
finite-dimensional stochastic equations and serves as a basis for its infinite-
dimensional extensions, which are H-valued Wiener processes.
Definition 4.1.6 Let H be a Hilbert space. An H-valued stochastic process
{u(t), t ≥ 0} is said to be a Gaussian process if for any k ∈ N and arbi-
trary positive numbers t1 , . . . , tk , the measure µt1 ,...,tk defined by (4.1.9) is
Gaussian.
It follows from the definition that an H-valued stochastic process {u(t), t ≥ 0}
is Gaussian if and only if the H k -valued random variable (u(t1 ), . . . , u(tk )) is
Gaussian for any choice of positive numbers t1 , . . . , tk .
As follows from the properties obtained of an H-valued Gaussian random
variable, it cannot have the covariance operator equal to the unity operator
on H: by (4.1.4) it must be a trace class operator. Motivated by Definition
4.1.5 we introduce an important class of stochastic processes, called Q-Wiener
processes, where Q are trace class operators. The notion of a Q-Wiener process
can be regarded as a generalization of the notion of Brownian motion to the
case of infinite-dimensional Hilbert spaces.
Definition 4.1.7 Let Q be a symmetric non-negative trace class operator
in a Hilbert space H. An H-valued stochastic process W = {W (t), t ≥ 0} is
called a Q-Wiener process (starting at zero) if
(W1) W (0) = 0 Pa.s. .
(W2) W has independent increments.
(W3) L[W (t)−W (s)] = N (0, (t − s)Q), 0 ≤ s ≤ t.
(W4) W has continuous trajectories.
As shown in the beginning of this section, for any non-negative symmetric
trace class operator Q in a separable Hilbert space H there exists an orthonor-
mal basis of eigenvectors {ej } with Qej = σj2 ej such that
∞
X ∞
X
T rQ = hQej , ej iH = σj2 .
j=1 j=1
Proof. In addition to the properties (4.1.11), let us show that for any t ≥ 0 the
random variable W (t) has the following expansion in L2 (Ω, P ; H) = L2 (Ω; H):
∞
X
W (t) = σj βj (t)ej , (4.1.12)
j=1
Proposition 4.1.5 For a Hilbert space H and arbitrary trace class symmet-
ric non-negative operator Q in H there exists an H-valued Q-Wiener process.
Since the increments are Gaussian random variables, they are independent if
and only if they are uncorrelated. Consider 0 ≤ t1 < t2 < . . . < tn . Denote
∆Wi = W (ti+1 ) − W (ti ), i = 1, . . . , n − 1. Let us show that they are un-
correlated. The independence of increments of any Brownian motion and the
independence of Brownian motions βj (t) and βl (t) with j = 6 l imply for any
h, g ∈ H:
= Eh∆Wi , h1 iH h∆Wk , h2 iH = 0, i 6= k.
Thus (W2) holds. To verify (W3) consider the covariance operator of the
difference W (t) − W (s). We have
So, (W3) holds. Since βj (t), j ∈ N, are continuous, (W4) is also fulfilled.
In Section 6.1 devoted to Hilbert space valued generalized random variables
we present a construction of a sequence of independent real-valued Brownian
motions {βj (t), t ≥ 0} within the framework of the theory of generalized
random variables.
Now we consider the case of a bounded operator Q in a separable Hilbert
space H with T rQ = ∞ and define weak (or cylindrical) Wiener processes. If
Q is not a trace class operator, in particular Q = I, then the series (4.1.12)
is divergent in L2 (Ω; H). There are two ways of avoiding the problems that
arise. The first one is to consider the cylindrical Wiener process as a process
in H in a weak sense. The second one is to construct a Q1 -Wiener process on
an appropriate space H1 ⊃ H.
We begin with the first approach. We will see that instead of the factors
σj ensuring the convergence of the series (4.1.12), some other regularizing
multipliers appear in the case T rQ = ∞, in particular, Q = I.
For any h ∈ H consider the scalar product
∞
X
hh, W (t)iH := βj (t)hh, ej iH , t ≥ 0, (4.1.14)
j=1
Here kgj kH1 = kJQ gj kH1 since JQ is the imbedding operator of HQ into H1
and gPj ∈ HQ ⊂ H1 . Since the embedding is a Hilbert–Schmidt operator, we
have ∞ 2
j=1 kJQ gj kH1 < ∞.
Now we define the covariance operator Q1 of {W (t), t ≥ 0} in H1 . Consider
0 ≤ s ≤ t. Similar to equalities for Cov(W (t)− W (s)) obtained in Proposition
4.1.5 we have
∞
X
∗ ∗
hCov(W (t) − W (s))h, giH1 = (t − s) hJQ h, gj iHQ hJQ g, gj iHQ
j=1
∗ ∗ ∗
= (t − s)hJQ h, JQ giHQ = (t − s)hJQ JQ h, giH1
Remark 4.1.1 Note that in the particular case T r Q < ∞ we can take
H1 = H and Q1 = Q, while in the case Q = I we have HQ = H and take H1
in such a way that projection from H1 to H is a trace class operator Q1 . Due
to Proposition 4.1.6, any cylindrical Wiener process is a Q1 -Wiener process
in suitable H1 .
Denote by P∞ the product of the Lebesgue measure on [0, ∞) with the prob-
ability measure P on Ω and by PT its restriction on [0, T ] × Ω.
A measurable mapping from (Ω∞ , P∞ ) or (ΩT , PT ) to (H, B(H)) is called a
predictable process. It is known that an adapted and stochastically continuous
process on [0, T ] has a predictable version [20, 81].
Now we arrive at the definition of a stochastic integral and, as usual in
definitions of integrals, we start with the definition for elementary processes.
Let (Ω, F , P ) be a probability space with a normal filtration {Ft , t ≥ 0}
generated by a Wiener process W , i.e., W (t) is Ft -measurable, and by (W3)
the increments W (t + h) − W (t) are independent of Ft .
An L(H, H)-valued process {Φ(t), t ∈ [0, T ]} is said to be elementary if
there exist a set 0 = t0 < t1 < . . . < tk = T and L(H, H)-valued random
4.1. Hilbert space valued variables, processes, and stochastic integrals 133
Further, we indicate the class of LHS (HQ , H)-valued processes Φ for which
the stochastic integral with respect to a Wiener process can be defined as the
mean square limit of the sums (4.1.21) for elementary processes approximat-
ing Φ. Moreover, we will show that for both types of Wiener processes the
condition on Φ can be formally written in the same form as (4.1.19).
If an operator Q : H → H is the covariance operator of a Q-Wiener pro-
cess W , it is symmetric, non-negative, and trace class and there exists an
orthonormal basis {ej } of eigenvectors of Q such that
∞
X
Qej = σJ2 ej , σj2 < ∞.
j=1
2t ∧ t := min{tm+1 ; t}.
m+1
134 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
∞ X
X ∞ ∞
X
= hfk , Φgj i2H = kΦgj k2H = kΦk2HS . (4.1.22)
j=1 k=1 j=1
By the definition of the scalar product in HQ , for any h1 , h2 ∈ HQ , we have
hh1 , h2 iHQ = hQ1/2 h1 , Q1/2 h2 iH .
Taking into account that Q1/2 is self-adjoint in HQ , we obtain
∞
X ∞
X
kΦk2HS = hΦ∗ fk , Φ∗ fk iHQ = hΦQΦ∗ fk , fk iH = T r[ΦQΦ∗ ].
k=1 k=1
where
" ∞
# ∞
X X
2
E kΦj ∆Wj (t)k =E hΦj ∆Wj (t), fk i2H = E h∆Wj (t), Φ∗j fk i2H .
k=1 k=1
Hence
E kΦj ∆Wj (t)k2H = (tj+1 − tj )E T r[Φj QΦ∗j ] .
Since for j = m the increment ∆Wm (t) is independent of Ftm as t > tm , by
the same arguments, we have
E [kΦm ∆Wm (t)k2H ] = (t − tm )E [T r[Φm QΦ∗m ]] .
Thus
Xm m
X Z t
E kΦj ∆Wj (t)k2H = (tj+1 − tj )E kΦj k2HS E kΦ(s)k2HS ds .
j=0 j=0 0
Proof. By Proposition 4.1.8, the space L(H, H) is embedded into LHS (HQ , H).
This implies that {Φ(t), t ∈ [0, T ]} is LHS (HQ , H)-predictable.
Next, similar to the case of R-valued random variables, there exists a se-
quence {Φn (t), t ∈ [0, T ]} of elementary L(H, H) valued predictable processes
(hence LHS (HQ , H)-predictable) such that
kΦ(ω, t) − Φn (ω, t)kHS → 0 as n → ∞
for all (ω, t) ∈ ΩT . Consequently, (4.1.24) holds true.
Thus we can introduce the class of stochastically integrable processes as
the set of LHS (HQ , H) valued predictable processes satisfying the condition
(4.1.19).
Definition 4.1.9 Let H and H be separable Hilbert spaces. Let W be an
H-valued Q-Wiener or cylindrical process (considered as a (weak) Q-Wiener
process with T r Q = ∞) and {Φ(t), t ∈ [0, T ]} be an LHS (HQ , H) valued pre-
dictable process satisfying (4.1.19). Let {Φn } be a sequence of elementary pro-
cesses mean square convergent to Φ. The stochastic integral of Φ wrt W is
defined as the mean square limit of stochastic integrals:
Z t Z t
Φ(s) dW (s) := l.i.m. n→∞ Φn (s) dW (s), t ∈ [0, T ]. (4.1.25)
0 0
Fxx : H ∗ → H, Φ : H → H, Φ∗ : H ∗ → H ∗
138 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
To explain this term in the formula, recall the finite-dimensional Itô formula
and compare it with the infinite-dimensional one (4.1.26). Let
Z t Z t
{X(t) = X(0) + ϕ(s)ds + Φ(s) dB(s), t ≥ 0}
0 0
Substituting dXi (t)dXj (t) into the last term of (4.1.27) and using the Brown-
ian motion property dBi (t)dBj (t) = δij dt, we obtain that the sum of diagonal
elements of the matrix
1 ∗ ∂2F 1 2
∗∂ F
Φ Φ dt is equal to Tr Φ Φ dt.
2 ∂x2 2 ∂x2
The latter is supposed to be a weak solution, due to analogy with the well-
known formula for ordinary differential equations. Later in this section we will
show that (4.2.8) is a unique weak solution to (4.2.1) in the sense of Definition
4.2.2, i.e., that it is a unique solution to (4.2.3).
Now we consider conditions for the existence of WA based on the conditions
given for the existence of stochastic integrals in Section 4.1.
Definition 4.2.3 Let {W (t), t ≥ 0} be an H-valued Wiener process and
{U (t), t ≥ 0} be a strongly continuous semi-group in H satisfying the condi-
tion Z t
kU (r)Bk2HS dr < ∞, t > 0, (4.2.9)
0
where
∞
X 1 1 1
kU (r)Bk2HS := kU (r)BQ 2 ej k2 = T r(Q∗ 2 B ∗ U ∗ (r)U (r)BQ 2 ).
j=1
Rt
Then WA (t) = 0 U (t − s)B dW (s), t ≥ 0, is called a stochastic convolution.
Let us show that the stochastic convolution WA is well defined under
the condition (4.2.9) wrt Q-Wiener and cylindrical Wiener processes W as a
particular case of the stochastic integral (4.1.18) defined under the condition
(4.1.19): Z t
E kΦ(s)k2HS ds < ∞, (4.2.10)
0
where
Φ(s) : HQ → H, kΦ(s)k2HS := Tr[Φ(s)QΦ∗ (s)].
As we explained in Section 4.1, the condition (4.2.10), being formally the same
for Q-Wiener and cylindrical Wiener processes (where T rQ = ∞) turns out
to be different in each case.
It is easy to see that, for a bounded operator B : H → H, a Q-Wiener
process, and a semi-group satisfying the condition (4.2.9), the estimate
Z t Z t
E kU (t − s)Bk2HS ds = kU (r)Bk2HS dr < ∞ (4.2.11)
0 0
holds. The estimate is sufficient for WA (t) to be well defined in the case
of a Q-Wiener process and a C0 -semi-group. The stochastic convolution is
also well defined for more general strongly continuous as t > 0 semi-groups
{U (t), t ≥ 0} with square-integrable singularities at t = 0 since
Z t Z tX
∞ ∞
X Z t
1 1
kU (s)Bk2HS ds = kU (s)BQ 2 ej k2 ds ≤ kBQ 2 ej k2 kU (s)k2 ds.
0 0 j=1 j=1 0
(4.2.12)
4.2. Cauchy problems with additive noise 143
For the same semi-groups in the case of a cylindrical Wiener process, WA (t)
is well defined under the additional condition U (s)B ∈ LHS (H, H).
Now we present some properties of the stochastic convolution WA . These
properties will be used in studying solutions to stochastic problems in different
settings. We begin with the case of a Q-Wiener process and a C0 -semi-group.
After analyzing the stochastic convolution properties and properties of so-
lutions to the stochastic Cauchy problem obtained in this case, we will use
them for studying solutions to stochastic problems in the case of more general
semi-groups and cylindrical Wiener processes.
Proposition 4.2.1 Let {W (t), t ≥ 0} be an H-valued Q-Wiener process,
B ∈ L(H, H), and {U (t), t ≥ 0} be a C0 -semi-group in H. Then the stochastic
convolution WA is a predictable process, which is continuous in the sense of
mean square convergence:
lim E kWA (t) − WA (s)k2 = 0.
t→s
It follows that
The last term in (4.2.13) is equal to zero by the property of a stochastic inte-
gral wrt a Wiener process. We apply the Itô isometry for abstract stochastic
integrals to the second term:
Z t−s Z t−s Z t−s
2 2
Ek U (r)B dW (r)k = E kU (r)BkHS dr = kU (r)Bk2HS dr .
0 0 0
Thus the mean square continuity holds and consequently, as mentioned in the
previous section, the stochastic convolution has a predictable version and can
be used as part of the weak solution.
Note that for B ∈ LHS (H, H) Proposition 4.2.1 is also true for a cylindrical
Wiener process since the estimate (4.2.11) holds for such operators.
Now we show the existence of weak solutions to the linear additive stochas-
tic Cauchy problem (4.2.1) and consider probability characteristics of the so-
lutions. As the first result we show that a weak solution to (4.2.1) with the
generator of a C0 -semi-group exists and can be constructed in the form of a
sum of two terms. The first one is the solution to the corresponding homoge-
neous Cauchy problem and the second one is the stochastic convolution. Then
we will extend this result to more general strongly continuous semi-groups.
Proof. We begin with the first term of the sum (4.2.8) and show that
{U (t)ζ, t ≥ 0} is Pa.s. a weak solution for the corresponding homogeneous
Cauchy problem. By the definition of a weak solution for the stochastic Cauchy
problem, the process must be predictable.
Let us prove that U ζ is a predictable process for each H-valued F0 -
measurable ζ. The process {U (t)ζ, t ≥ 0} is Ft -measurable as the compo-
sition of the deterministic function U (t, h) = U (t)h, which is measurable as a
function of the pair of variables (t, h) ∈ [0, +∞) × H and F0 -measurable func-
tion ζ. The paths of this process are P a.s. continuous on [0, +∞) due to the
strong continuity of the semi-group. Hence the process {U (t)ζ} with ζ being
an F0 -measurable H-valued random variable is a measurable mapping from
([0, ∞) × (Ω, F∞ , P ) into (H, B(H)), i.e., predictable. Its paths are integrable
due to the strong continuity as t ≥ 0 of a C0 -semi-group. Hence, {U (t)ζ} can
be used as part of a weak solution.
Now we prove that X(t) = U (t)ζ, t ≥ 0, for an H-valued F0 -measurable ζ
satisfies the homogeneous problem corresponding to (4.2.3). Due to the equiva-
lence mentioned above of the homogeneous problems (4.2.6) and (4.2.7) which
holds in the case of a C0 -semi-group {U (t), t ≥ 0}, we obtain the homoge-
neous integral equation from (4.2.7) for each value of the H-valued random
variable ζ. Given this equation and the continuity of the scalar product, we
obtain for each y ∈ dom A∗
Z t Z t
∗
hζ, yi + hU (r)ζ, A yi dr = hζ, yi + h U (r)ζ, A∗ yi dr
0 0
Z t
= hζ, yi + hA U (r)ζ dr, yi = hU (t)ζ, yi, t ≥ 0 Pa.s. .
0
4.2. Cauchy problems with additive noise 145
Hence, for X(t) = U (t)ζ with an H-valued random variable ζ, we have the
equality
Z t
hX(t), yi = hζ, yi + hX(s) ds, A∗ yi, t ≥ 0 Pa.s. , y ∈ dom A∗ . (4.2.14)
0
This means that the equality (4.2.15) is true for X(t) = WA (t), t ≥ 0, and
Rt
the process {WA (t) = 0 U (t − s)B dW (s), t ≥ 0} satisfies (4.2.3) with zero
initial data. Consequently, the process (4.2.8) is a weak solution to (4.2.1)
with general initial data X(0) = ζ.
Remark 4.2.1 Under the condition B ∈ LHS (H, H), Theorem 4.2.1 remains
valid for a cylindrical Wiener process since the estimate (4.2.11) holds for such
operators.
Remark 4.2.2 It is easy to see from the proof of Theorem 4.2.1 that if in
(4.2.2) we have an additional deterministic H-valued integrable inhomogeneity
f
Z t Z t
X(t) = ζ + AX(s) ds + f (s) ds + BW (t), t ≥ 0, X(0) = ζ,
0 0
Now consider the question, what are the wider classes of strongly contin-
uous in t > 0 solution operators, to which we can extend the result proved
above. We will show that the existence result obtained for C0 -semi-groups
can be extended to the class (1, A) of Abel summable semi-groups (Defini-
tion 1.1.5). Recall that this is a strongly continuous family of solution op-
erators {U (t), t ≥ 0} with the range of U (t) dense in H, with the property
Rt
0
kU (s)k ds < ∞, t ≥ 0, and Abel summable:
Due to those properties of semi-groups of class (1, A), which are similar to the
properties of C0 -semi-groups, we can prove one more general existence result
for the linear stochastic Cauchy problem.
follows from the equality (4.2.13). It is easy to see that the arguments for the
terms in the second line of (4.2.13) are true for a semi-group of class (1, A)
too. As for the term in the first line of (4.2.13), let δ > 0; then
Z s
lim E k [U (t − r) − U (s − r)]B dW (r)k2
t−s→0 0
Z s
= lim k[U (r + t − s) − U (r)]Bk2HS dr
t−s→0 0
Z δ Z s
= lim ( k[U (r+t−s)−U (r)]Bk2HS dr+ k[U (r+t−s)−U (r)]Bk2HS dr) = 0
t−s→0 0 δ
and the equalities hold true for strongly continuous square integrable at t = 0
semi-groups since the second term can be made small due to the semi-group
continuity as t > 0 for any δ > 0 and the first term due to the choice of small
δ > 0. Hence the square continuity is proved. By the mean square continu-
ity, {WA (t), t ≥ 0} is a predictable process. Thus the stochastic convolution
{WA (t), t ≥ 0} can be used as part of a weak solution to (4.2.3) with genera-
tors of strongly continuous semi-groups.
It remains to show that for strongly continuous semi-groups and Wiener
processes under the condition (4.2.9) WA satisfies Equation (4.2.3) with ζ =
0. Similar to the proof of Theorem 4.2.1, due to the continuity of a scalar
product and properties of stochastic integrals, we have the equalities (4.2.16)
for the semi-groups and Wiener processes considered. Further, in the proof of
Theorem 4.2.1, we used that the adjoint operator A∗ for A, the generator of a
C0 -semi-group, generates a C0 -semi-group {U ∗ (t), t ≥ 0}. Here, as shown in
Section 1.1, for A, the generator of a semi-group of class (1, A), the operator
A∗ is the generator of the adjoint semi-group of bounded for each t > 0
operators U ∗ (t) (and kU ∗ (t)k = kU (t)k), which is of class (1, A) too. The
equalities (4.2.6) and (4.2.7), which hold for C0 -semi-groups, hold also for the
dual (1, A) class semi-group U ∗ = {U ∗ (t), t ≥ 0}:
(As a matter of fact, Abel summable semi-groups form the widest class of
semi-groups with this property [43].)
Using the equalities (4.2.17), similar to the case of C0 -semi-groups, we ob-
tain the equality (4.2.15) true for X(t) = WA (t), t ≥ 0. Hence, the process
{WA (t), t ≥ 0} is a weak solution to (4.2.1) with zero initial data ζ = 0. Con-
sequently we have proved that the process (4.2.8) is a weak solution to (4.2.1)
with general initial F0 -measurable data X(0) = ζ and with the generator of
a square-integrable at zero semi-group of class (1, A).
4.2. Cauchy problems with additive noise 149
Let us prove the equality in more detail. To evaluate the covariance operator
Cov[X(t)] = Cov[WA (t)] we write the stochastic convolution WA as the limit
(in L2 (Ω; H)) of integral sums:
Z t N
X
WA (t) = U (t − s)B dW (s) = lim U (t − si )B[W (si+1 ) − W (si )].
0 N →∞
i=1
Then
Cov[X(t)]x = Cov[WA (t)]x = E [WA (t)hWA (t), xi]
XN h
= lim U (t − si )BE [W (si+1 ) − W (si )]
N →∞
i=1
i
· hW (si+1 ) − W (si ), B ∗ U ∗ (t − si )xi
N
X h
= − lim U (τi )BE [W (t − τi+1 ) − W (t − τi )]
N →∞
i=1
i
· hW (t − τi+1 ) − W (t − τi ), B ∗ U ∗ (τi )xi
N
X
= − lim U (τi )BCov[(W (t − τi+1 ) − W (t − τi ))B ∗ U ∗ (τi )x]
N →∞
i=1
N
X Z t
= lim U (τi )BQB ∗ U ∗ (τi )(τi+1 − τi )x = U (τ )BQB ∗ U ∗ (τ )x dτ.
N →∞ 0
i=1
150 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Now we study the uniqueness of the weak solution obtained. In this con-
nection it is important to note that in the case of linear stochastic problems
we cannot proceed as is commonly done in the case of deterministic problems
when one wants to prove the uniqueness of a solution, i.e., by considering the
difference of two solutions X1 − X2 and proving that it is equal to zero. This
is due to the fact that a solution of the stochastic problem is determined only
up to a version.
Proof. As usual for a linear Cauchy problem, it is enough to prove the unique-
ness of a weak solution with zero initial data. Thus we will show that any weak
solution X = {X(t), t ≥ 0} to the problem (4.2.1) with ζ = 0 Pa.s is equal to
WA . To prove this we need the following statement.
Let X be a weak solution (4.2.1) with ζ = 0 Pa.s . Then for each function
y(·) ∈ C 1 ([0, τ ]; dom A∗ ), τ ∈ [0, ∞), the following equality holds:
Z t Z t
′ ∗
hX(t), y(t)i = hX(s), y (s) + A y(s)i ds + hB dW (s), y(s)i. (4.2.19)
0 0
The integral in the defined process exists due to the properties of a weak
4.2. Cauchy problems with additive noise 151
ϕ(t)Fy0 (t) = hX(t), ϕ(t)y0 i = hX(t), y(t)i Pa.s. for y(·) = ϕ(·)y0 ∈ domA∗ .
Now we apply the Itô formula to the process {Fy0 (s), s ∈ (0, t)} to obtain
ϕ(s) dFy0 (s) in the equality
Then from (4.2.20), which defines Fy0 via the process {X(t), t ≥ 0}, we obtain
ϕ(s) dFy0 (s) = ϕ(s) hX(s), A∗ y0 i ds + hB dW (s), y0 i . (4.2.22)
Here y(s) = ϕ(s)y0 . It follows from the equality (4.2.23) that the statement
is proved for functions of the form y(t) = y0 ϕ(t), t ≥ 0. Since the linear
combinations of these functions are dense in the space C 1 ([0, τ ], dom A∗ ), we
obtain the equality (4.2.19) in the general case and the statement is proved.
Now introduce the function y(s) = U ∗ (t − s)y0 , where y0 ∈ dom A∗ . Since
the semi-group {U ∗ (t), t ≥ 0} satisfies the equalities (4.2.17) for each t ≥ 0,
the function y(·) is continuously differentiable on [0, t] and takes values in
dom A∗ . Hence, y(·) satisfies the condition of the statement above and we
have the equality (4.2.19) for y(·) = U ∗ (t − ·)y0 . Since the adjoint semi-group
U ∗ satisfies (4.2.17), we have for y0 ∈ domA∗
Z t−s
U ∗ (t − s)y0 = A∗ U ∗ (r)y0 dr + y0 ,
0
dU ∗ (t − s)y0
= −A∗ U ∗ (t − s)y0 , 0 ≤ s ≤ t.
ds
Hence for y(s) = U ∗ (t − s)y0 we have
dU ∗ (t − s)y0
y ′ (s) = = −A∗ U ∗ (t − s)y0 = −Ay(s), 0 ≤ s ≤ t.
ds
152 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Thus a weak solution of the linear problem (4.2.8) with zero initial data is
unique and equal to WA (t), t ≥ 0. Hence, the solution X(t) = U (t)ζ + WA (t),
t ≥ 0, with general initial data X(0) = ζ is unique.
In Sections 3.1 and 3.2 we introduced many examples of generators of
different semi-groups in Hilbert spaces. Now we can take them as A in the
stochastic problems that we consider. These semi-groups, including ones gen-
erated by differential operators in the Gelfand–Shilov systems (2.3.1), give us
numeral examples of regularized semi-groups, as well as examples of strongly
continuous in t ≥ 0 C0 -semi-groups and semi-groups strongly continuous only
in t > 0.
An important example of a C0 -semi-group is the semi-group of solution
operators to the Cauchy problem for the heat equation
∂u(x; t) ∂ 2 u(x; t)
= , t ≥ 0, x ∈ R,
∂t ∂x2
with the generator A = d2 /dx2 in the space L2 (R) and
However, the solution operators to the same problem with the generator in the
space C(R) do not generate a C0 -semi-group and provide a simple example of
a semi-group that is strongly continuous only as t > 0.
In order to compare the strongly continuous in t > 0 semi-groups with
those strongly continuous in t ≥ 0, we give one more example.
It is shown in [43] that the family of bounded operators {U (t), t > 0} defined
by U (t)x = {(χ̂n )n∈N , (η̂n )n∈N }, where
3/2
+in2 )t
χ̂n = e−(n (χn cos n1/2 t − ηn sin n1/2 t),
3/2
+in2 )t
η̂n = e−(n (χn sin n1/2 t + ηn cos n1/2 t),
generates a semi-group of class (1, A), which is not a C0 -semi-group.
Transforming the last term in the equality (4.2.25), we can write it in another
form:
Z t Z t Z t
hX(t), yi = h K(s) ds ζ, yi+ hX(s), A∗ yi ds+h K(t−s)BW (s) ds, yi.
0 0 0
Now we show the existence and uniqueness of solutions to the linear addi-
tive stochastic Cauchy problem with the generator of a regularized semi-group
in H and an H-valued Q-Wiener or cylindrical process W .
In the beginning of this section we showed that if A is the generator of a
strongly continuous semi-group
Rt U of solution operators in H, then the stochas-
tic convolution WA (t) := 0 U (t−s)B dW (s), t ≥ 0, is well defined in L2 (Ω; H)
for a Q-Wiener or cylindrical (Q = I) Wiener process W and the process
X(t) = U (t)ζ + WA (t), t ≥ 0, is the unique weak solution of (4.2.1).
If A is the generator of a regularized semi-group {S(t), t ∈ [0, τ )} in H,
we can obtain only a weak regularized solution of (4.2.1). For such operators
A we will show that the H-valued process
Z t
X(t) = S(t)ζ + WA (t), t ∈ [0, T ], WA (t) := S(t − s)B dW (s), (4.2.26)
0
Proof. First, we note that since the operators R(t) and S(t) are bounded for
each t, then their adjoint operators R∗ (t) and S ∗ (t) are bounded too. Second,
since A is a closed densely defined operator, then the operator A∗ is closed as
well and dom A∗ = H.
Next we show that the family {S ∗ (t), t ∈ [0, τ )} forms an R∗ -regularized
semi-group with the generator A∗ . The commutativity of operators S ∗ (t) with
A∗ on dom A∗ follows from the commutativity of S(t) with A. Further, we need
to prove that the family {S ∗ (t), t ∈ [0, τ )} is strongly continuous in t and the
4.2. Cauchy problems with additive noise 155
Since the norms kS ∗ (t + ∆t)k = kS(t + ∆t)k are also uniformly bounded
for t + ∆t ∈ [0, τ1 ], τ1 < τ , and the convergence takes place on dom A∗ ,
then, by the Banach–Steinhaus theorem, S ∗ (t)y is continuous in t for any
y ∈ H = dom A∗ .
Strong continuity of {S ∗ (s), s ∈ [0, τ )} and equality (4.2.28) imply
Z t
hf, S(t)∗ y − R∗ (t)yi = hf, A∗ S ∗ (s)yi ds
0
Z t
= hf, S ∗ (s)A∗ yi ds, f ∈ H, y ∈ dom A∗ ,
0
If R(t) is invertible, then ker R(t) = {0} and therefore ran R∗ (t) = H. Thus,
∗ 1
for arbitrary y0 ∈ dom A . Let ϕ ∈ C (R). By the Itô formula we obtain
Now consider WA , the second term of the solution. Using the definition of the
stochastic integral as the limit of integrals of step functions,
Rt we can readily
verify that WA is a predictable process. The function 0 kS(t − s)Bk2HS ds is
continuous wrt t ∈ [0, τ ), and hence integrable. Furthermore,
Z r Z t Z r Z t
kS(t − s)Bk2HS ds dt = kS(s)Bk2HS ds dt.
0 0 0 0
Since the inner product is continuous, using the stochastic version of the Fubini
theorem (Theorem 4.1.3) and taking into account the properties of the adjoint
158 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Denote by {µk }∞ ∞
k=1 , {ek }k=1 an ordering of the eigenvalues and eigenbasis of
A; then we have the equalities
Z T Z ∞
T X Z ∞
T X
T r (S(s)S ∗ (s)) ds = hS(t)ek , S ∗ (t)ek i dt = kS(t)ek k2 ds
0 0 k=1 0 k=1
∞ Z
X T ∞ 2µk (t−T ) T
X ∞
X
e 1
= e2µk (t−T ) dt = = 1 − e−2µk T .
0 2µk t=0 2µk
k=1 k=1 k=1
The equality is true for any solution of (4.2.24) with ζ = 0. In particular, for
X = WA we have
Z t Z t Z s
hR(0) S(t − s)B dW (s), y0 i + h R′ (t − s) S(s − r)B dW (r) ds, y0 i
0 0 0
Z t Z t Z s
= hR(0) S(t − s)B dW (s), y0 i + h S(t − s) R′ (s − r)B dW (r) ds, y0 i.
0 0 0
By the same reasoning, we can write (4.2.31) on the whole space H, that is,
the following equality holds:
Z t
R(0)X(t) + R′ (t − s)X(s) ds
0
Z t Z t Z s
= R(0) S(t − s)B dW (s) + R′ (t − s) S(s − r)B dW (r) ds.
0 0 0
we have E[X(t)] = S(t)E [ζ] and similarly to the case of a strongly continuous
semi-group
Z t
∗
Cov[X(t)] = S(t)Cov[ζ]S (t) + S(t − s)BQ[S(t − s)B]∗ ds.
0
Proof. For the sake of simplicity we give the proof for n = 1. First note that
to prove the operators S(t), t ∈ [0, τ ), form an R-semi-group, it is sufficient
to prove they are strongly continuous and the equalities
kS(t)f − S(t0 )f k2
Z Z ∞ h i 2
1 iσx tA(σ) e t0 A(σ) e
= e K(σ) e f (σ) − e f (σ) dσ dx.
R 2π −∞
3 Throughout this proof the norm k · k denotes the norm in L2m (R).
4.2. Cauchy problems with additive noise 163
are elements of Lm
2 (R) for each t ∈ [0, T ] as the inverse Fourier transforms of
the functions from Lm
2 (R)
e 0, |σ| ≤ N,
hN (σ, t) =
K(σ)etA(σ) fe(σ), |σ| > N,
and
In the way described above one can show that each of these three integrals is an
infinitesimal value. This is indeed the case since the integrals over the infinite
intervals |x| > M are small due to the choice of M . This follows from their
uniform convergence with respect to t ∈ [0, T ]. The integrals over compacts
[−M, M ] are small since the integrands are small. This can be shown by the
sequential choice of M and t → t0 . This completes the proof of the strong
continuity of the operators of the family (4.2.34).
∂
Next we show that the operators obtained commute with A i ∂x on the
∂
domain of A i ∂x . By the properties of convolution, a differential operator
∂
may be applied to any component of the convolution. We apply A i ∂x to
∂
f ∈ dom A i ∂x ; then
∂ ∂ ∂
A i [S(t)f ](x) = GR (t, x) ∗ A i f (x) = S(t)A i f (x).
∂x ∂x ∂x
164 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Z t
∂
[S(t)f ](x) − [S(0)f ](x) = A i [S(τ )f ](x) dτ, t ∈ [0, T ].
∂x 0
Let R : L2m (R) → L2m (R) be equal to S(0); then, by the strong continuity
property of S,
Z ∞
1
Rf (x) = eiσx K(σ)fe(σ) dσ, x ∈ R.
2π −∞
Thus we have
proved that operators (4.2.34) form an R-semi-group generated
∂
by A i ∂x in L2m (R) with R defined by (4.2.36).
4.2. Cauchy problems with additive noise 165
It follows that for each t ≥ 0 operators U(t) are contractions and satisfy the
semi-group relation
The equality (4.3.8) gives one way of constructing approximations to the non-
linear Cauchy problem (4.3.6) and hence to the stochastic Cauchy problem
under consideration with A := A + F .
Another way of constructing approximations to (4.3.6) is generalization to
the case of non-linear A of the Yosida approximations An defined for A, the
generator of a C0 -semi-group, as follows :
or
1
Ah := (I − hA)−1A = (I − hA)−1 − I , Ah x h→0
−→ Ax, x ∈ H.
h
For a linear operator A generating a C0 -semi-group, the operators Ah are
bounded and bounded operators etAh give one of the known approximations
to the semi-group (see Section 1.1). These ideas can be used in construct-
ing solutions to semi-linear stochastic Cauchy problems with dissipative non-
linearities. The Yosida approximations can be defined for a non-linear term F
in (4.3.1) by
1
Fh := (I − hF )−1 − I , Fh (x) h→0
−→ F (x).
h
It is easy to see here that the operators Fh satisfy Lipschitz conditions.
170 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Now we begin the detailed study of weak and mild solutions to semi-linear
stochastic Cauchy problems, where the non-linearity F satisfies the Lipschitz
condition. First we construct a mild solution and later we show that a mild
solution is a weak solution. Thus the construction of a weak solution will be
given as well.
where k · kHS is the norm in the space of the Hilbert–Schmidt operators from
HQ = Q1/2 H to H (see Section 4.1). Then X satisfying (4.3.3) is called a
mild solution to (4.3.1).
The concept of a mild solution appears when we are trying to find a solution
of the semi-linear stochastic problem (4.3.1) using, as was done in the previous
section, the method of variation of the parameters, or the Cauchy formula from
the theory of ordinary differential equations. Contrary to the linear case, here
(4.3.3) is not a formula for a solution like (4.2.8), but the equation itself. Its
solution is called a mild solution to (4.3.1). Further we formulate conditions
on A, F , W , and B and prove that a mild solution exists and coincides with
a weak solution under these conditions.
Similar to the case of a linear Cauchy problem studied in the previous
section, for the semi-linear stochastic problem we construct solutions for the
case of semi-groups of class (1, A), here under the additional condition of
fourth degree integrability. We denote this class of semi-groups by (1, A)4 .
It is defined as the class of the families {U (t), t ≥ 0} satisfying the semi-
group conditions (U1)–(U2) from Definition 1.1.2, the condition (U3′ ) from
Definition 1.1.4, and above that the following conditions:
Z 1
(U4) kU (t)k4 dt < ∞;
0
4.3. Cauchy problems with multiplicative Wiener processes 171
Theorem 4.3.1 Let A be the generator of a semi-group of the class (1, A)4
in H, W be an H-valued Q-Wiener or weak Wiener process, and the following
conditions for F and B are fulfilled:
1) F is (PT × H)| B(H)-measurable and B is (PT × H)| B(LHS (HQ , H))-
measurable;
2) there exists C > 0 such that
Proof. Recall that PT is the σ-field consisting of the sets {(s, t] × G, 0 ≤ s <
t < ∞, G ∈ Fs }, where Fs is a normal filtration on (Ω, F , P ).
172 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
That is, K1 acts from H2 to H2 . Now, using the theorem conditions on B and
4.3. Cauchy problems with multiplicative Wiener processes 173
Z T Z T
≤ TE dt kU (t − s)(F (s, Y1 (s)) − F (s, Y2 (s)))k2 ds
0 0
Z T Z T
2
≤ TE kF (s, Y1 (s)) − F (s, Y2 (s))k ds kS(t − s)k2 dt
0 s
Z T
≤ M T 3/2 C 2 E kY1 (s) − Y2 (s)k2 ds = M T 3/2 C 2 kY1 − Y2 k2H2 . (4.3.13)
0
that is,
Z t Z t
X k+1 (t) = U (t)ζ + U (t − s)F (s, X k (s)) ds + U (t − s)B(s, X k (s)) dW (s).
0 0
Since the initial data ζ and η are F0 -measurable, the random variable IΓ
is F0 -measurable too. Hence, IΓ is Ft -measurable for any t ∈ [0, T ]. Since
B(t, X k (t)) is an LHS -measurable process and a superposition of measurable
processes is a measurable process, then IΓ B(t, X k (t)) is an LHS -predictable
Rt
process. It follows that the integral 0 U (t − s)IΓ B(s, X k (s)) dW (s) exists
and
Z t Z t
U (t − s)IΓ B(s, X k (s)) dW (s) = IΓ U (t − s)B(s, X k (s)) dW (s),
0 0
t ∈ [0, T ].
Then for t ∈ [0, T ] we have
Z t
IΓ X k+1 (t) = U (t)IΓ ζ + U (t − s)IΓ F (s, X k (s)) ds
0
Z t
+ U (t − s)IΓ B(s, X k (s)) dW (s).
0
k
Define in a similar way the sequence {Y }:
for k satisfying IΓ X k (t) = IΓ Y k (t). Hence the equality IΓ X k+1 (t) = IΓ Y k+1 (t)
holds for each k. Since X and Y are limits of X k and Y k , then passing to the
limit we obtain IΓ X(t) = IΓ Y (t).
Now we are ready to construct a mild solution in the general case. Let
ζ, if kζk ≤ n,
ζn =
0, if kζk > n,
and let Xn (t) be the solution corresponding to the initial data ζn . Then
Xn (t) = Xn+1 (t) on {ω ∈ Ω : kζk ≤ n}. Passing to the limit we obtain a
solution to (4.3.1). Hence, the existence of a mild solution is proved for the
general case E (|ζ|2 ) ≤ ∞. The mild solution obtained is unique as a solution
of an equation with a contractive operator.
Thus, using the contraction operators technique and successive approxi-
mations method conventional for non-linear problems, we have constructed
a mild solution to the stochastic semi-linear Cauchy problem (4.3.1) with A
being the generator of a semi-group of class (1, A)4 in H and Lipschitz non-
linearities, in particular with A being the generator of a C0 -semi-group.
Notice once again (see the discussion in Section 4.1) the difference between
the case of a Q-Wiener and that of a cylindrical Wiener process. In Section
4.1 we commented on the difference between the conditions for the existence
of stochastic integrals with respect to a Q-Wiener and a cylindrical Wiener
process: being formally the same, the conditions are in fact different. In the
statement of Theorem 4.3.1 the norm k · kHS in condition 2 in the case of a Q-
Wiener process is the norm of the space of Hilbert–Schmidt operators acting
from HQ to H, while in the case of a cylindrical Wiener process (with Q = I)
it is the norm of the space of Hilbert–Schmidt operators from H to H. The
stochastic integral with respect to a cylindrical Wiener process W is defined
since the Hilbert–Schmidt operator B from H to H is bounded as an operator
from H to a space H1 ⊃ H, where W is well defined.
Remark 4.3.1 (On the particular case of a C0 -semi-group.) If, instead of be-
ing the generator of a semi-group of class (1, A)4 in H, the operator A satisfies
a stronger condition, namely, it is the generator of a C0 -semi-group, then the
RT
estimates in Theorem 4.3.1 become better. Instead of 0 kU (t)k4 dt =: M 2
RT √
and 0 kU (t)k2 dt ≤ M T , we have sup0≤t≤T kU (t)k ≤ M1 . In this case the
estimate (4.3.15) has the following form: C 2 M12 T (T + 1) < 1.
Remark 4.3.2 (On the case of an R-semi-group and R-solution.) If, instead
of generating a C0 -semi-group {U (t), t ∈ [0, ∞)} in H, the operator A gen-
erates an R-semi-group {S(t), t ∈ [0, τ )}, then for T < τ we can obtain esti-
mates similar to the ones obtained in Theorem 4.3.1 and get a mild R-solution
(4.3.4).
Remark 4.3.3 (On a dissipative non-linearity F .) As noted above, if the non-
linearity F is dissipative, we can construct a mild solution via approximating
176 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Theorem 4.3.2 Let the conditions of Theorem 4.3.1 be fulfilled. Then a mild
solution to the semi-linear stochastic Cauchy problem (4.3.1) exists and is a
weak solution.
Proof. Let X(t), t ∈ [0, T ], be a mild solution to the problem (4.3.1). Let us
show that X is a weak solution, i.e., X satisfies (4.3.2):
Z t
hX(t), yi = hζ, yi + hX(s), A∗ yi ds
0
Z t Z t
+ hF (s, X(s)) ds, yi + hB(s, X(s)) dW (s), yi
0 0
for each F0 -measurable H-valued ζ. Further, let us show that the sum of
convolutions
Z t Z t
U (t−s)F (s, X(s)) ds+ U (t−s)B(s, X(s)) dW (s), t ∈ [0, T ], (4.3.17)
0 0
is a weak solution to (4.3.2) with initial data X(0) = 0, i.e., the sum satisfies
the equation
Z t Z t Z t
∗
hX(t), yi = hX(s), A yids + hF (s, X(s)) ds, yi + hB(s, X(s))dW (s), yi.
0 0 0
(4.3.18)
Since U is a semi-group of class (1, A)4 , using the condition 2 of Theorem
4.3.1, we obtain the following estimates:
Z T Z T
kU (t)F (t, X(t)k2 dt < ∞, kU (t)B(t, X(t)k2HS dt < ∞.
0 0
We have shown in Theorem 4.3.1 that these conditions imply that the paths
of the processes defined by the convolutions are integrable:
Z T
Z t
dt
U (t − s)F (s, Y (s)) ds
< ∞,
0 0
Z T
Z t
U (t − s)B(s, X(s)) dW (s)
dt
< ∞.
0 0
178 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Now we show that the process X defined by the sum (4.3.17) satisfies (4.3.18)
for each y ∈ dom (A∗ ) (Pa.s. , of course). By the equalities valid for U , we have
Z t Z t
h U (t − s)F (s, X(s)) ds + U (t − s)B(s, X(s)) dW (s), yi
0 0
Z t Z s Z s
= h U (s − τ )F (τ, X(τ )) dτ + U (s − τ )B(τ, X(τ )) dW (τ ), A∗ yi ds
0 0 0
Z t Z t
+ hF (s, X(s)) ds, yi + hB(s, X(s)) dW (s), yi, (4.3.19)
0 0
and for the first term in the right-hand side the following equalities are true:
Z t Z s
h U (s− τ )F (τ, X(τ )) dτ, A∗ yi ds
0 0
Z tZ s
= hU (s − τ )F (τ, X(τ )) dτ, A∗ yi ds
0 0
Z t Z t
= hF (τ, X(τ )) dτ, U ∗ (s − τ )A∗ y dsi
0 τ
Z t Z t−τ
= hF (τ, X(τ )) dτ, U ∗ (s)A∗ y dsi.
0 0
Thus the equality (4.3.19) for the sum of convolutions is true, hence the process
Z t Z t
{ U (t − s)F (s, X(s)) ds + U (t − s)B(s, X(s)) dW (s), t ∈ [0, T ]}
0 0
(see Section 4.1, where we discussed the conditions that ensure the existence
Rt
of the stochastic integral 0 Φ(s) dW (s), t ≥ 0 for Q-Wiener and cylindrical
Wiener processes W , in particular, the existence of stochastic convolution).
The stochastic convolution WA (t) with respect to both types of Wiener pro-
cesses formally is defined under the same condition (4.2.11). In the case of a
Q-Wiener process with a trace class operator Q to satisfy (4.2.11) it is suffi-
cient for the operators U (s)B to be bounded from H to H, while in the case
of a cylindrical Wiener process with a bounded Q, in particular for Q = I
(T r Q = ∞), the operators U (s)B have to be Hilbert–Schmidt operators from
H to H.
Now we give the interpretation for the objects of the deterministic partial
∂g
differential equation (4.4.4) in Hilbert space H. Here the derivatives ∂x and
∂2g
∂x2 are understood in the Frechet sense: for any fixed t ∈ [0, T ] and x ∈ H
∂g ∂2g
(t, x)(·) : H → R, (t, x)(·) : H → H ∗ ,
∂x ∂x2
2
∂g ∂ g
and we have ∂x (t, x) ∈ H ∗ , ∂x ∗
2 (t, x) ∈ L(H, H ) if h satisfies certain smooth-
Using the traditional definition of the trace (see Section 4.1), we can give
meaning to it, using the Riesz theorem on the isomorphism of H and H∗ and
identifying H∗ with H. The isomorphism allows us to consider operators BQ,
∂2g ∗
∂x2 , and B as mappings from H to H, from H to H, and from H to H,
2
∂ g
respectively. Then the operator B ∗ ∂x 2 BQ maps the Hilbert space H into H
and its trace can be understood in the usual sense. Namely, in the case of
a Q-Wiener process with a trace class operator Q and bounded operators
∂2 g
B : H → H and ∂x 2 : H → H we have
X ∞ ∞
2
2
2 ∂2g X
T r B ∗ ∂ g BQ ≤ h BQe , Be i ≤ σ 2
kBk 2
∂ g
< ∞.
∂x 2 ∂x2 j j j
∂x
2
j=1 j=1
Schimidt.
184 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
One can give meaning to the concept of trace without identifying H with
H∗ by considering a wider class of operators, namely, linear nuclear operators
acting from a separable Hilbert space H to H∗ . As is well
Pknown, any operator
∞
G from this class can be written in the form Gz = j=1 aj (z) bj , z ∈ H,
P∞
where aj , bj ∈ H∗ and j=1 kaj kkbj k < ∞ (see Section 4.1). In our case for
2
∂ g
G = B ∗ ∂x 2 BQ : H → H ∗ we can take aj (ek ) = δjk and bj = Gej , where
{ej } is an orthonormal basis in H consisting of eigenvectors of the trace class
operator Q (Qej = σ 2 ej ). Then kbj k ≤ c σj2 and T r[Q] is well defined and can
be understood as
X∞
T r [G] = Qej (ej ). (4.4.8)
j=1
Here the first and the last equalities follow from the equalities (4.4.11), which
t,X(t)
define vm . The second one holds since the characteristic functions of in-
tervals do not depend on the variable ω ∈ Ω. The third equality holds since
X(tk+1 ) is independent of the σ-algebra Ft for all tk+1 > t and by the unique-
ness equality: X(r) = X t,X(t) (r), r ≥ t.
t,X(t)
Further, for a Borel-measurable h we have vm (τ, ·) m→∞
−→ h(X(τ )) in
2
L (Ω; H) and, letting m tend to infinity in the equalities (4.4.12), we obtain
E [g(t, X(t))|F (s)] = E [E[h(X(T ))|F (t)]|F (s)] = E [h(X(T ))|F (s)]
= Es,X(s) h(X(T )) = g(s, X(s)).
The first equality follows from the representation obtained for the process
{g(t, X(t))} via the conditional expectation. The second equality follows from
the properties of conditional expectations. The third one is the direct conse-
quence of the Markov property for g(t, X(t)). The last equality follows from
the definition of the process g(t, X(t)) and completes the proof.
Now we can proceed to the proof of the connection between Cauchy prob-
lems for stochastic and deterministic equations. We begin with the relationship
between the Cauchy problem (4.4.3) and the problem (4.4.5).
4.4. Extension of the Feynman–Kac theorem to Hilbert spaces 187
that is,
2
∂g ∂g 1 ∗∂ g
E (t, x) + E (t, x)Ax + E T r B (t, x)BQ = 0.
∂t ∂x 2 ∂x2
Using the Lebesgue dominated convergence theorem, the fact that the map-
∂ ∂ ∂2
pings ∂t , ∂x , and ∂x 2 are independent of the variable ω ∈ Ω, and that the
∂2g ∂2g
B∗ 2
(t, x)BQej (ej ) = hB ∗ 2 (t, x)BQej , ej i.
∂x ∂x
Further, the definition of g(t, x) implies
Eg(t, x) = E Et,x [h(X(T ))] = Et,x [h(X(T ))] = g(t, x).
We will prove this relation in the next subsection on the basis of the semi-
group approach.
Now, in addition to the result obtained in Theorem 4.4.1, we establish the
connection between solutions to the Cauchy problem (4.4.3) and the problem
(4.4.5) in the opposite direction, namely, from (4.4.5) to (4.4.3).
Rewrite both sides of the equality (4.4.16). Since T is the end point of the
Cauchy problem (4.4.5), we can write it in another way:
On the other hand, we have the following equality for the right-hand side:
The last equality is true since the trace of an operator is equal to the trace
of its conjugate. Let HQ = Q1/2 H with the norm kykHQ = kQ−1/2 ykH ; then
{gi = σi ei } is the orthonormal basis in HQ . Using the equalities (4.4.17), we
have
X X X
kLk2LHS (HQ ,H) = kLgi k2H = hLgi , ej i2H = hL(σi ei ), ej i2H
i i,j i,j
X
1/2
= hLQ ei , ej i2H = kLQ1/2 k2LHS (H,H) = T r[(LQ1/2 )(LQ1/2 )∗ ].
i,j
4.4. Extension of the Feynman–Kac theorem to Hilbert spaces 191
Similarly to (4.4.17) for the scalar product of operators from LHS (HQ , H), we
have the equality
Proposition 4.4.3 Let K ∈ L(H) and B ∈ L(H, H); then the following
equality holds:
T r[KBB ∗ ] = T r[B ∗ KB].
The first and the second equalities follow from the properties of the operator
Q. The relation (4.4.18) for L = KB, M = B is used in the third one. The
fourth equality follows from the properties of a scalar product and in the fifth
one the equality (4.4.18) is used again, but for operators L = B ∗ KB, M = I.
This completes the proof.
in the space B(H) of bounded functions from H to R with the norm khkB(H) =
supx∈H |h(x)|. We will show the relationship under consideration using the
semi-group property of the family U. The process X in (4.4.20) is the unique
solution to (4.4.19). As proved in the previous subsections, it may be written
in the form (4.4.7) and due to the properties of the stochastic convolution,
X(t) is a Gaussian random variable for each t ≥ 0. For the expectation of X
we have
E[X(t)] = E[U (t)x] + E[WA (t)] = U (t)x.
For the covariance operator Cov[X(t)], by the equality (4.2.18), we have
Z t
Cov[X(t)]x = Cov[WA (t)]x = U (τ )BQB ∗ U ∗ (τ )x dτ =: Qt x.
0
For the Gaussian random value X(t), it means that X(t) ∼ NU(t)x,Qt for each
t ∈ [0, T ]. Then for h ∈ B(H) we have
Z
0,x
[Ut h](x) = E [h(X(t))] = h(r)NU(t)x,Qt(r) dr
ZH
= h(U (t)x + z) N0,Qt (z) dz. (4.4.21)
H
and Z
1
eihz,yi Na,Q (z) dz = eiha,yi e− 2 hQy,yi , y ∈ H. (4.4.22)
H
1 ∗
= e− 2 h(Qs +U(s)Qt U (s))y,yi
hU ∗ (t+s)y (x), x, y ∈ H, t, s ≥ 0. (4.4.24)
Hence [Ut+s hy ](x) = [Ut Us hy ](x). Thus the semi-group property holds for
the family {Ut , t ≥ 0} on elements hy and, as a consequence, on their linear
span, i.e., on Z. Since the space C(H) of uniformly continuous and bounded
functions h from H to R (with the same norm khk = supx∈H |h(x)| as in B(H))
can be approximated by elements of Z ([20], Proposition 1.2), it follows that
{Ut , t ≥ 0} possesses the semi-group property on C(H).
Now we can proceed to the proof of the infinite-dimensional extension of
the Feynman–Kac theorem for the “initial” Cauchy problems. We will limit
ourselves to the case of a Q-Wiener process, as we have shown in the previous
theorems what changes if we replace it with a cylindrical Wiener process.
194 4. Itô integrated stochastic Cauchy problems in Hilbert spaces
Now, using these expressions we show that for the infinitesimal genera-
tor hA of the semi-group
i {Ut , t ≥ 0} the equality (4.4.28) holds. Writing
∂ 2 h (x)
T r BQB ∗ ∂xy2 via the scalar product (i.e., identifying H with H∗ for the
sake of simplicity) we have
2
X∞
∗ ∂ hy (x)
T r BQB =− hBQB ∗ yhej , yieihx,yi , ej i
∂x2 j=1
∞
X
=− hhej , yiej , BQB ∗ yeihx,yii
j=1
∞
X
= −hBQB ∗ yeihx,yi , hej , yiej i = −hBQB ∗ y, yieihx,yi.
j=1
197
198 5. Stochastic Cauchy problems in spaces of distributions
W = W(·, ω) ∈ Φ′0 (H) for ω Pa.s. , and W ∈ Φ′0 (L2 (Ω; H)).
It holds for ω a.s., that is, Pa.s. , and can be considered as a stochastic extension
of the generalized Cauchy problem (2.1.7) with initial data ζ.
The equality (5.1.4) can be obtained if we formally consider X and W in
(5.1.1) as functions, multiply the equation by a test function ϕ, and integrate
from zero to infinity:
Z ∞ Z ∞
′
X (t)ϕ(t) dt = −ϕ(0)ζ − X(t)ϕ′ (t) dt
0 0
Z ∞ Z ∞
= AX(t)ϕ(t) dt + BW(t)ϕ(t) dt.
0 0
′ ′
Taking into account the equalities hϕ, X i := −hϕ , Xi and hϕ, δiζ = ϕ(0)ζ, we
get to (5.1.4). Here, in addition to stochastic inhomogeneity, Equation (5.1.4)
has the term δζ due to the jump of the solution from zero at t < 0 up to the
initial data ζ at t = 0.
Following results from Section 2.1 we can write (5.1.4) as the equation in
convolutions:
P ∗ X = δ ⊗ ζ + BW, P := δ ′ ⊗ I − δ ⊗ A ∈ D0′ L([dom A], H) , (5.1.5)
where
and [dom A] is the domain of A with the graph norm kxk[dom A] = kxk+kAxk.
The convolution of distributions here and below will be understood in the
following sense (consistent with definitions in Section 2.1).
1 For u ∈ D ′ , h ∈ H, we denote by u ⊗ h the distribution from D ′ (H) defined by the
G ∗ P = δ ⊗ I[dom A] , P ∗ G = δ ⊗ IH ,
where I[dom A] and IH are unit operators in [dom A] and H, respectively. Using
these equalities and the fact that the δ-function plays the role of unity wrt
convolution, we obtain that the unique solution to the equation P ∗ X = F
with an inhomogeneity term F ∈ D0′ (H) has the form X = G ∗ F. It follows
that, for ζ ∈ L2 (Ω; H),
X = G ∗ δζ + G ∗ BW, (5.1.7)
where X = X(·, ω) ∈ D0′ ([domA]) Pa.s. and X = X(·, ·) ∈ D0′ (L2 (Ω; [domA]))
is the unique solution to the Cauchy problem (5.1.5) with stochastic inhomo-
geneity F = δζ + BW ∈ D0′ (L2 (Ω; H)).
Let us show how to construct G, the convolution inverse to P. We begin
with the case of A generating a C0 -semi-group or an integrated semi-group
and arrive at the construction of the solution to (5.1.5) in the space of abstract
distributions D0′ (L2 (Ω; [dom A])) for such generators.
Thus hϕ, P ∗ Sζi = hϕ, δ ⊗ ζi. Hence S is the convolution inverse to P. In this
case the solution (5.1.7) can be written as
Z ∞ Z ∞ Z t
hϕ, Xi = ϕ(t)S(t)ζ dt − ϕ′ (t) S(t − s)BW (s) ds dt,
0 0 0
Pa.s. , ϕ ∈ D, (5.1.9)
202 5. Stochastic Cauchy problems in spaces of distributions
where the Q-Wiener process W extended by zero for t < 0 is a regular distri-
bution in D0′ (H) ∩ D0′ (L2 (Ω; H)) and X ∈ D0′ ([dom A]) ∩ D0′ (L2 (Ω; [dom A])).
Rigorously that means X ∈ D0′ ([dom A]) Pa.s. and X ∈ D0′ (L2 (Ω; [dom A])).
If A is the generator of an n-times integrated semi-group {Sn (t), t ≥ 0},
then the solution can be obtained by differentiating n times the regular dis-
tribution Sn (·) defined as Sn (t) for t ≥ 0 and as zero for t < 0. Hence the
convolution inverse to the distribution P is the operator-valued distribution
G defined by
Z ∞
n
hϕ, Gxi = (−1) ϕ(n) (t)Sn (t)x dt, ϕ ∈ D, x ∈ H.
0
Hence X = Gζ + G ∗ BW ∈ D0′ ([dom A]) ∩ D0′ (L2 (Ω; [dom A])) is the unique
generalized solution of the problem (5.1.1), where A is the generator of an
n-times integrated semi-group Sn and it can be written as
Z ∞ Z ∞ Z t
n (n) (n+1)
hϕ, Xi = (−1) ϕ (t)Sn (t)ζ dt− ϕ (t) dt Sn (t−s)BW (s) ds
0 0 0
for ϕ ∈ D.
Now we consider a generalized solution to the Cauchy problem (5.1.1),
where A is the generator of a K-convoluted semi-group SK .
As shown above, in order to obtain a generalized solution to (5.1.1), or
equivalently a solution to (5.1.5), it is necessary to have G, the convolution
inverse to P. We will use as G the solution operators for the Cauchy problem
with the generator of a K-convoluted semi-group. Unlike the case of n-times
integrated semi-groups, where G = S(n) , an infinite order differential opera-
tor is needed to define the solution operator via the K-convoluted semi-group.
Such an operator can be well defined only on spaces of test functions narrower
than D, namely, on the spaces of ultra-differentiable test functions. Thus the
solutions become elements of spaces which are wider than the spaces of ab-
stract distributions, namely, the spaces of abstract ultra-distributions.
In Section 2.2 we considered in detail generalized solutions to the homoge-
neous Cauchy problem on spaces of Roumier ultra-differentiable test functions
D{Mq } . Here we consider another class of ultra-differentiable test functions,
Beurling class D{Mq } . It is defined via estimates for their derivatives that de-
pend on a sequence of positive numbers {Mq } under conditions (M.1)–(M3)
(see Section 3.3):
D{Mq } = ind lim proj lim D{Mq },h,n ,
[−n,n]⊂R h→0
where D{Mq },h,n is the space of functions ϕ ∈ C ∞ (R) with compact supports
[−n, n] satisfying the inequalities kϕ(q) kC[−n,n] ≤ CMq hq with the norm
!
kϕ(q) kC[−n,n]
kϕk{Mq },h,n = sup .
q M q hq
5.1. Generalized solutions to linear stochastic Cauchy problems 203
* ∞ +
X
(i)
hϕ, Pult (δ) ∗ Ki = ϕ, αi δ ∗ K = hϕ, δi, ϕ ∈ D{Mq } . (5.1.12)
i=1
d
where UK = Pult dt SK is the distribution of solution operators corre-
sponding to the K-convoluted semi-group {SK (t), t ≥ 0}. Therefore, X =
Gζ + G ∗ BW is a solution of the stochastic Cauchy problem (5.1.10).
and continued by zero for t < 0, is a solution to the generalized Cauchy problem
(5.1.4), where Q-white noise W is the generalized derivative of the Q-Wiener
process {W (t), t ≥ 0} continued by zero for t < 0. Conversely, the generalized
solution defined by (5.1.9) is a solution to the Cauchy problem (5.1.14).
5.1. Generalized solutions to linear stochastic Cauchy problems 205
Proof. Let us verify that the solution of the Cauchy problem (5.1.14) defined
for each H-valued F0 -measurable random variable ζ as the H-valued process
Z t
X(t) = S(t)ζ + S(t − s)B dW (s), t ≥ 0, (5.1.15)
0
continued by zero as t < 0, satisfies (5.1.4). For this purpose we first prove
the important equality between the abstract Itô and Bochner integrals, which
is essentially based on the abstract formula of integration by parts for the Itô
integrals,
Z ∞ Z ∞
− W (t)ϕ′ (t) dt = ϕ(t) dW (t), ϕ ∈ D, (5.1.16)
0 0
and is closely related to (5.1.3), which is the definition of the Q-white noise
distribution W in spaces of abstract distributions
Z ∞
hϕ, Wi := − W (t)ϕ′ (t) dt, ϕ ∈ D.
0
where S ∈ D0′ (H) is the H-valued regular distribution defined by the semi-
group of solution operators {S(t), t ≥ 0} continued by zero for t < 0. The
equality (5.1.18) means that the process (5.1.15) continued by zero for t < 0
and being a weak solution of (5.1.4) coincides with its generalized solution.
Conversely, having a C0 -semi-group S and corresponding distribution S, we
move from the bottom up in the above proof, i.e., from the equality (5.1.18)
to (5.1.17). We obtain that generalized solution X = S ζ + S ∗ B W of the
problem (5.1.4) with the generator of the semi-group {S(t), t ≥ 0} coincides
with (5.1.15), the solution of (5.1.14).
The analysis of the relations between weak and generalized solutions shows
that in the case of the generator of a C0 -semi-group {S(t), t ≥ 0} the sum
of two terms S(t)ζ + WA (t), t ≥ 0, is a weak solution for each H-valued F0 -
measurable random variable ζ, due to the fact that there is no need to apply
A to S(t)ζ or to WA (t). Instead, A∗ is applied to the elements y ∈ dom A∗ .
On the other hand, S(t)ζ + WA (t), t ≥ 0, is the generalized solution due to
the equality (5.1.8), which implies that the action of A is “relaxed” by the test
functions ϕ. More specifically, according to the properties of the semi-group
operators {S(t), t ≥ 0}, the action of the generator is transformed into the
t-differentiation, which is in turn transferred to (infinitely differentiable) test
functions ϕ due to the properties of generalized differentiation.
In the case of n-times integrated or K-convoluted semi-groups we show
that generalized solutions coincide with the nth derivative of the integrated
solution or with the ultra-differential derivative of the K-convoluted solution,
respectively (under the same conditions on ζ and W , of course).
Theorem 5.1.4 Let A be the generator of an n-times integrated semi-group
{Sn (t), t ≥ 0}. Then the nth generalized derivative of a weak n-times inte-
grated solution (continued by zero for t < 0) is a solution of the generalized
Cauchy problem (5.1.4). Conversely, a generalized solution is the nth gener-
alized derivative of a weak n-times integrated solution to the Cauchy problem
(4.2.1).
Proof. As proved in the previous chapter, the process
Z t
X(t) = Sn (t)ζ + Sn (t − s)B dW (s), t ≥ 0,
0
d ∗ d
hϕ, Pult Xi = hPult ϕ(t), X(t)i
dt dt
Z t Z t Z t
∗ d ∗ d
= Pult ϕ(t)SK (t)ζ dt + Pult ϕ(t) dt SK (t − s)B dW (s).
0 dt 0 dt 0
(5.1.20)
d
Hence, by Theorem 5.1.2, Pult dt X is a solution to the problem (5.1.10).
Conversely, taking into account (5.1.11) and moving upwards in the equal-
ities (5.1.20), we obtain that a generalized solution to the problem (5.1.10)
with A being the generator of a K-convoluted semi-group {SK (t), t ≥ 0} is
equal to
d d
Pult SK ζ + Pult SK ∗ B W,
dt dt
where the regular ultra-distribution SK coincides with SK (t) as t≥ 0 and is
d
equal to zero as t < 0 and the ultra-differential operator Pult dt is defined
by the equality (5.1.12).
where SR (·) is defined as SR (t) for t ≥ 0 and zero for t < 0. However, (5.1.21)
holds under a rather restrictive condition on {R−1 SR (t)} to be bounded op-
erators, which is not typical for the case of R-semi-groups. In this case, in
addition to the regularization by test functions ϕ = ϕ(t), t ∈ R, we need a
regularization in spatial variables of A, which generates an R-semi-group.
In this subsection we study generalized solutions for (5.1.1) with abstract
operators A and differential operators A = A (i∂/∂x) generating R-semi-
groups.
We begin the study with the case of self-adjoint operators in Hilbert spaces.
We show that for (5.1.1) with the generator of an R-semi-group, a solution
can be obtained in appropriate spaces of distributions, which we denote by
H−k and H−∞ , wherein the operator R−1 is bounded.
The Ivanov spaces H−k , H−∞ are given as a generalization of the spaces
of Schwartz, Sobolev, Zemanyan, Pilipović type (see, e.g., [79, 98, 115]), which
were introduced in such a way that different differential operators are defined
in these spaces. The spaces H−k , H−∞ are constructed in such a way that an
unbounded operator P, unnecessarily differential, is used in their definition
[46]. For our purpose of solving the Cauchy problem with the generator of an
R-semi-group, this operator is P := R−1 .
Definition 5.1.2 Let P be a self-adjoint (unbounded) operator in a Hilbert
space H with eigenvectors {ek } forming an orthonormal basis in H and corre-
sponding eigenvalues |µ1 | ≤ |µ2 | ≤ . . . . We define a sequence of Hilbert spaces
Hk , k = 1, 2, . . . , and a countably normed space H∞ as follows:
k
X ∞
\
Hk := {ϕ ∈ dom P k , kϕkk = kP i ukH }, H∞ := {ϕ ∈ dom P k }.
i=0 k=0
The spaces H−k , k = 0, 1, 2, . . . , and H−∞ are defined as adjoint to the intro-
duced spaces Hk , H∞ , respectively.
An equivalent definition of such spaces
P∞ can be given via the behavior of
Fourier
P∞ coefficients of elements ϕ = 1 ϕj ej from H and formal sums f =
1 f e
j j :
∞
X ∞
X |fj |2
ϕ ∈ Hk ⇐⇒ |ϕj |2 |µj |2k < ∞, f ∈ H−k ⇐⇒ < ∞.
1 1
(1 + |µj |)2k
defined by X
u(t) = eλj t ζj ej ∈ H−(k+1) .
j∈N
The solution is stable with respect to ζ ∈ H−k . If ζ ∈ H−∞ , then u(t) ∈ H−∞ .
The solution X ∈ D0′ (L2 (Ω; [dom A]k+1 )) in fact can be considered as the
solution generalized wrt t and “spatial” variables of the elements of H.
Now we consider generalized solutions to the important class of equa-
tions with differential operators A = A (i∂/∂x), which, generally, are not
self-adjoint. As shown in Section 4.2, the operators generate different R-semi-
groups in the Hilbert space H = L2m (Rn ).
Let (Ω, F , P ) be a probability space. We consider the stochastic Cauchy
problem for the system of partial differential equations
∂X(t, x, ω) ∂
=A i X(t, x, ω) + BW(t, x, ω),
∂t ∂x
t ≥ 0, x ∈ Rn , Pa.s. , X(0, x, ω) = ζ(x, ω).
still implying the equalities hold Pa.s. . The operator of the equation is a matrix
210 5. Stochastic Cauchy problems in spaces of distributions
where
Z
1
GR (t, x) = eiσx K(σ)etA(σ) dσ, t ∈ [0, τ ), x ∈ Rn ,
(2π)n Rn
∂e
u(t, σ) e
= A(σ)e
u(t, σ), t ∈ [0, T ], σ ∈ R, e(t, σ) = etA(σ) ζ(σ),
u (5.1.26)
∂t
where
∗
e
hψ(σ), e
e(t, σ)i = hψ(σ),
u e
etA(σ) ζ(σ) = hetA (σ) e
ψ(σ), e
ζ(σ)i, ψe ∈ Ψ,
e
differs from the designations in Section 2.3, where generalized solutions are constructed
in Φ′ . That is because in this section test functions ϕ ∈ Φ have been used as functions
ϕ = ϕ(t).
212 5. Stochastic Cauchy problems in spaces of distributions
In Theorem 2.3.4 for the classes of systems (5.1.26), spaces Ψ e such that
etA(·)
are multiplication operators from Lm (R) = L (R) × · · · × L2 (R) to Ψ
2 2 e ′,
are obtained:
• for a Petrovsky correct system, etA(·) is a bounded multiplication oper-
ator acting from L2m (R) to Sm ′
= S ′ × · · · × S ′;
• for a conditionally correct system, etA(·) is a bounded multiplication
′
operator from L2m (R) to (Sα,A )m with α = 1/h, and 1/(h e Ah ) > a0 , where
the constants a0 , h are from (5.1.28);
• for an incorrect system, etA(·) is a bounded multiplication operator from
′
Lm (R) to (Sα,A )m with α = 1/p0 , 1/(p0 e Ap0 ) > b1 , where b1 , p0 are from
2
(5.1.29).
Using the spaces Ψ e ′ obtained, taking into account the relations between
the spaces Ψf and Ψ , and choosing the regularizing function K in (5.1.24) in
′ ′
such a way that K −1 (σ) grows no faster than
etA(σ)
m multiplied by any
polynomial, we arrive at the following result.
Theorem 5.1.8 Let the matrix-function etA(·) satisfy the estimate (5.1.27).
Then for the Cauchy problem (5.1.25) with ζ ∈ L2m (R) and A (i∂/∂x) generat-
′
ing a Petrovsky correct system, there exists a unique solution X(t, ·) ∈ Sm ; for
α,A ′ 1 1
a conditionally correct system, X(t, ·) ∈ S m
with α = h and heA h > a0 ;
α,A ′ 1 1
for an incorrect system, X(t, ·) ∈ S m
with α = p0 and p0 e Ap0 > b1 .
Now we consider the generalized wrt t and x solutions. We start with the
properties of spaces D′ (Ψ′ ), where we are going to construct the solutions.
Define D′ (Ψ′ ) as the space L(D, Ψ′ ) of linear continuous operators from
D to Ψ′ . Here Ψ is a locally convex space, and Ψ′ is its adjoint with weak
topology, i.e., topology corresponding to the convergence of a sequence on
each element of Ψ. We assume D′ (Ψ′ ) to be equipped with the topology of
the uniform convergence on bounded subsets of D (strong topology).
It is a well-known property of the Schwartz space D′ = L(D, R) that for
any compact Υ ⊂ R and any f ∈ D′ , there exist p ∈ N0 and C > 0 such that
|f (ϕ)| ≤ Ckϕkp , ϕ ∈ DΥ , where
Proof. Suppose the opposite: for each p ∈ N0 , there exists such a set Bp
bounded in DΥ,p that f (Bp ) is not bounded in Ψ′ , i.e., there exists a weak
neighborhood V in Ψ′ such that λf (Bp ) 6⊂ V for any λ > 0. Thus we obtain
′
∀ p ∈ N0 ∃ Bp ⊂ DΥ,p , ∃ V ⊂ Ψ : ∀ λ > 0 ∃ ψλ ∈ Bp : λf (ψλ ) 6∈ V .
where
Z Z Z
ϕ(t)λt dt = ϕ(t)χ(s)η(t − s) dt = χ(s) ϕ(t)η(t − s) dt
214 5. Stochastic Cauchy problems in spaces of distributions
is in DΥε ,p as a function of s.
To complete the proof we choose χ(s) = 1 for s ∈ Υ, take ϕ ∈ D with
supp ϕ ⊂ γ, and find the generalized derivative of f of order p + 2:
Z
f (p+2) (ϕ) := (−1)p+2 f (ϕ(p+2) ) = (−1)p+2 ϕ(p+2) (t)f (t) dt
Z
p+2 (p+2)
= (−1) U χ(s) ϕ (t)η(t − s) dt .
Now we return to the original problem (5.1.22). We consider W defined
by (5.1.3), assuming the equality holds Pa.s. for each x ∈ Rn . Therefore, the
problem (5.1.22) is understood in the generalized sense too:
∂
hϕ(t), Xt′ (t, x)i = hϕ(t), A i X(t, x)i
∂x
+ ϕ(0)ζ(x) + Bhϕ(t), Wt′ (t, x)i Pa.s. , ϕ ∈ D. (5.1.30)
∂
Since the differential operator A i ∂x generates in L2m (Rn ) the R-semi-
group S defined by (5.1.23), the unique solution of the homogeneous Cauchy
∂
problem corresponding to (5.1.22) exists for any ζ ∈ R dom A i ∂x and can
be found as follows:
" #
tA(σ) e
−1 −1 −1 K(σ)e ζ(σ)
R S(t, x)ζ(x) = R [GR (t, x) ∗ ζ(x)] = F
K(σ)
h i
e
= F −1 etA(σ) ζ(σ) =: Gt (x) ∗ ζ(x).
hψ(x), hϕ(t), Xt′ (t, x)ii = hψ(x), A (i∂/∂x) hϕ(t), X(t, x)ii
Here the notation X(t, x) means that the distribution X(·, ·) acts on ϕ(t) wrt
the first argument and on ψ(x) wrt the second one.
X(t, x) = R−1 S(t, x)ζ(x) + R−1 S(t, x) ∗ BW(t, x), ζ ∈ L2m (Rn ), (5.1.32)
Proof. We begin with the first term of the prospective solution (5.1.32). Note
that when we write the arguments of the distributions in (5.1.32), we mean
that the distribution acts on the test function of the corresponding argument.
The properties of R-semi-groups and boundness of R−1 S(t, ·) as an operator
acting from L2m (Rn ) into Ψ′ imply that
Since the left-hand side of the equality converges, so does the right one. Pass-
ing to the limit, we obtain the following representation of R−1 S(t, x)ζ(x) in
D′ (Ψ′ ):
hψ(x), hϕ(t), R−1 S(t, x)ζ(x)ii = hϕ(t), hψ(x), R−1 S(t, x)ζ(x)ii
Z
= ϕ(t)hψ(x), Gt (x) ∗ ζ(x)i dt, ϕ ∈ D, ψ ∈ Ψ. (5.1.33)
216 5. Stochastic Cauchy problems in spaces of distributions
As above, hψ(x), R−1 S(t − h, x)BW (h, x)i is a continuous function wrt t,
hence it defines a regular functional on D. Using the definition of a general-
ized derivative and approximating the integrals by Riemann sums due to the
linearity property of the functionals considered, we obtain
hϕ(t), hψ(x),R−1 S(t, x) ∗ BWt′ (t, x)ii
Z Z t
′
= − ϕ (t) hψ(x), R−1 S(t − h, x)BW (h, x)i dh dt
R 0
Z t
′
= hψ(x), h−ϕ (t), R−1 S(t − h, x)BW (h, x) dhii
0
= −hψ(x), hϕ′ (t), R−1 S(t, x)ζ(x) + R−1 S(t, x) ∗ BWt′ (t, x)ii
Show that the sets Aq are not void: consider continuous linear functionals
J0 , Jk on D:
It
Pqis easy to check that Pq these kfunctionals are linear and independent: if
k=0 ak Jk = 0, then k=0 ak x = 0, x ∈ R, hence ak = 0. That means
J0 is not a linear combination of Jk , k = 1, 2, . . . q, and by the Hahn–Banach
theorem, there exist ψ ∈ D such that J0 (ψ) = 1 and ψ(Jk ) = Jk (ψ) = 0, that
is, ψ ∈ Aq .
In addition to the sets A0 , Aq , let us introduce the important subset of the
functions ϕε ∈ A0 :
1 t
ϕε (t) := ϕ , t ∈ R, ε > 0.
ε ε
t ∈ R as follows:
E(Ha ) := (C ∞ (R; Ha ))A0 = {u : A0 → C ∞ (R; Ha )}.
By the definition, for each ϕ ∈ A0 , u(ϕ) is an infinitely differentiable Ha -
valued function of the argument t ∈ R. These functions u can be considered
as functions of two variables ϕ ∈ A0 and t ∈ R, that is,
u : A0 × R → Ha : u = u(ϕ, t), ϕ ∈ A0 , t ∈ R,
and each u ∈ C ∞ (R, Ha ) depending on ϕ as on a parameter is infinitely
differentiable wrt the second variable.
Differentiation and multiplication of the functions introduced are defined
as follows:
dn
(u v)(ϕ) := u(ϕ)v(ϕ), u(n) (ϕ) := u(ϕ), ϕ ∈ A0 . (5.2.2)
dtn
The space of the Ha -valued distributions D′ (Ha ), being a subset of the
abstract distributions space D′ (H), is embedded into E(Ha ) by the convolution
mapping
i : D′ (Ha ) → E(Ha ), (i w)(ϕ) := w ∗ ϕ, w ∈ D′ (Ha ), ϕ ∈ A0 ,
in particular, if ϕεn is a δ-shaped sequence, then w ∗ ϕεn → w as εn → 0.
Thus we have imbedded D′ (Ha ) into the differentiable algebra E(Ha ),
where the product of elements is defined by (5.2.2) and this product is consis-
tent with the differentiation introduced. The space E(Ha ) has certain neces-
sary properties to be the desirable algebra. Nevertheless, there are obstacles on
the way to taking E(Ha ) as the Colombeau algebra of abstract distributions.
They are the following:
• the way to assign the element in E(Ha ) to an element from D′ (Ha ) by
the embedding is not unique,
• if we consider infinitely differentiable (in t ∈ R) functions w1 , w2 as
elements of D′ (Ha ) and embed them into E(Ha ), then the multiplica-
tion (5.2.2) would not agree with the usual multiplication of infinitely
differentiable functions since we generally have
(w1 · w2 ) ∗ ϕ =
6 w1 ∗ ϕ · w2 ∗ ϕ, ϕ ∈ A0 .
and define a “null subset” N (Ha ) consisting of elements u ∈ E(Ha ) that satisfy
the condition
(N) for each compact K ⊂ R and each n ∈ N0 , there exists p ∈ N such that
n
d
sup
n
u(ϕε , t)
= Oε→0 (εq−p ) for each ϕ ∈ Aq and q ≥ p.
t∈K dt H
Similar to G(R) (see, e.g., [91]), the algebra G(Ha ) is an associative and com-
mutative Ha -valued differential algebra. Moreover, the elements of the space
EM (Ha ) form a differential algebra. This is indeed the case since, as we have
shown, i maps the elements of D′ (Ha ) into EM (Ha ) and N (Ha ) is the differ-
ential ideal in EM (Ha ).
The set i−1 N (Ha ) consists of the null elements of D′ (Ha ). To show this
let i(w) ∈ N (Ha ), then for ϕε ∈ Aq with q large enough, w ← w ∗ ϕε → 0 as
ε → 0 in D′ (Ha ).
At last, the definition of G(Ha ) agrees with the multiplication of infinitely
differentiable functions since
This makes it possible to define the white noise process on (Ω, B(Ω), µ) with
values in S ′ (H) ⊂ D′ (H) by the identical mapping:
where c(s) is an appropriate point from the interval (y(s), z(s)) and the fol-
lowing estimate holds:
Then
(t + η)2
kQ2 y(t) − Q2 z(t)k ≤ C 2 L2 e2a(t+η) max ky(s) − z(s)k,
2 s∈[−η,t]
Hence
(T + η)k
max kQk y(t) − Qk z(t)k ≤ C k Lk eka(T +η) max ky(t) − z(t)k.
t∈[−η,T ] k! t∈[−η,T ]
The constant in this estimate can be made less then unity by choosing
k = k(T ). Hence, for the k chosen, the operator Qk is a contraction and
the sequence of approximations yn (t) = Qnk y0 (t) has the limit in H
Note that if one takes a function y0 (·) infinitely differentiable wrt t as the
first point of the approximating sequence, then the function
Z t Z t
Qy0 (t) = U (t − s)F (y0 (s)) ds + U (t − s)[Bw(s) + ζi δ(s)] ds, t ≥ −η,
−η −η
yη′ 1 (t) − yη′ 2 (t) = A(yη1 (t) − yη2 (t)) + F (yη1 (t)) − F (yη2 (t)) + g(t), t ≥ −η,
yη1 (t) − yη2 (t) = 0, t ≤ −η,
Rt
for positive continuous functions y and f , then y(t) ≤ c · exp( f (s) ds).
t0
5.2. Quasi-linear stochastic Cauchy problem in abstract Colombeau spaces 227
term BW and the term ζ{δ} with supports in [0, ∞). Then, similar to (5.2.7),
we obtain the estimate
Since the first term in this inequality satisfies the condition (N), the Gronwall–
Bellman inequality implies yη1 (t) − yη2 (t) ∈ N (Ha ). Moreover, it follows that
supp Y ⊆ [0, ∞) for Y , which representatives yη1 and yη2 are, and that the
class Y is uniquely determined. Let Y1 , Y2 ∈ G(Ω, Ha ) be two solutions of
(5.2.4) with supports in [0, ∞). Then, for any representatives y1 , y2 of these
classes and each η > 0, we have estimates similar to (5.2.8). Hence y1 (t) −
y2 (t) ∈ N (Ha ), i.e., Y1 − Y2 = 0 in G(Ω, Ha ). That is the solution of (5.2.4) is
unique in the algebra G(Ω, Ha ).
In the general case, since the limit of yn (t) ∈/ Ha , we obtain only approxi-
mated solutions of (5.2.6) given by the fundamental sequence {yn } defined by
the equalities
yn (t) = Qk yn−1 (t), t ≤ −η.
Thus we arrive at the following result.
Here all derivatives exist due to the infinite differentiability of F , Bw, and
ϕε . Using the equality, similarly to the case of C0 -semi-groups, we obtain the
228 5. Stochastic Cauchy problems in spaces of distributions
229
230 6. Infinite-dimensional extension of white noise calculus
d2
(θ, η)p := (D̂p θ, D̂p η)L2 (R) , where D̂ := − + x2 + 1. (6.1.2)
dx2
Denote by |·|p the norm generated by this scalar product. Under the definition
of Sp we have that for any p the injection Sp+1 ֒→ Sp is a nuclear operator,
hence the space S is nuclear. Due to this fact, by the Bochner–Minlos–Sazonov
theorem (see, e.g., [45], Theorem 4.7) there exists a unique probability measure
µ defined on the Borel σ-algebra B(S ′ ) of subsets of S ′ , satisfying the condition
Z
1 2
eihθ, ωi dµ(ω) = e− 2 |θ|0 , θ ∈ S, (6.1.3)
S′
1 1X n
x2i
n Qn exp − .
(2π) 2 i=1 |θi |0 2 i=1 |θi |20
6.1. Spaces of Hilbert space valued generalized random variables 231
Equivalently,
E f hθ1 , ·i, . . . , hθn , ·i
Z x2
1
Pn
− 12 i
i=1 |θ |2
= n Qn f (x1 , . . . , xn )e i 0 dx1 . . . dxn (6.1.4)
(2π) 2
i=1 |θi |0 Rn
for any f : Rn → R such that the integral in the right-hand side exists. (See
Section 4.1, where normalized Gaussian measures were introduced.)
The probability space (Ω, F , P ) := (S ′ , B(S ′ ), µ) is called the white noise
probability space. Why the space is so called will be clear a little later after we
show that the “primitives” of elements ω ∈ S ′ can be cosidered as the paths
of a Brownian motion.
Denote by (L2 ) the space L2 (S ′ , µ; R) of all square integrable wrt µ func-
tions defined on S ′ (random variables) with values in R. Denote by k · k0 its
norm. Using (6.1.4) we can show that for any θ, η ∈ S the following equalities
hold true:
hθ, ·i, hη, ·i (L2 ) = E hθ, ·ihη, ·i = (η, θ)L2 (R) , (6.1.5)
in particular khθ, ·ik20 = Ehθ, ·i2 = |θ|20 . It follows from here that the mapping
θ 7→ hθ, ·i can be extended by continuity from S onto L2 (R); thus hθ, ·i is well
defined as an element of the space (L2 ) for any θ ∈ L2 (R). The equalities
(6.1.5) remain valid for θ ∈ L2 (R) and (6.1.4) remains valid for θ1 , . . . , θn ∈
L2 (R). Thus for any t ≥ 0 the random variable
Hence the process {β(t), t ≥ 0} satisfies the properties (B1)–(B3) of the def-
inition of Brownian motion (Definition 4.1.5). Moreover, for 0 ≤ s < t we
have
Z
1 x2
4 4
E (β(t) − β(s)) = E h1[0,t] , ·i = p x4 e− 2(t−s) dx = 3(t − s)2 .
2π(t − s) R
(6.1.7)
232 6. Infinite-dimensional extension of white noise calculus
It follows from (6.1.7) by the Kolmogorov continuity theorem (see [109], Sec-
tion 4.1.1) that {β(t), t ≥ 0} has a continuous version, which is denoted by
the same symbol and is called a Brownian motion.
Following the common practice in the theory of distributions weR can write
t
informally the right-hand side of (6.1.6) as an integral: hω, 1[0;t] i = 0 ω(s) ds.
Thus we have Z t
β(t) = ω(s) ds
0
and the elements ω ∈ S ′ , being the elementary outcomes within the white
noise probability space framework, can be thought of as the trajectories of the
white noise.
Let {ξk }∞ 2
k=1 be the orthonormal basis of the space L (R) consisting of the
Hermite functions
1 − 1 x2
ξk (x) = π − 4 (k − 1)! 2 e− 2 hk−1 (x),
x2 dk − x2
hk (x) = (−1)n e 2 e 2.
dxk
We will use the next well-known estimates for ξi later (see e.g., [43]):
1
Z x
3 1
|ξi (x)| = O i− 4 , ξi (s) ds = O (i− 4 ), sup |ξi (x)| = O (i− 12 ).
0 x∈R
(6.1.8)
N
Let T ⊂ N∪{0} be the set of all finite multiindices. The stochastic Hermite
polynomials are defined by the equalities
Y
hα (ω) := hαk hξk , ωi , ω ∈ S′, α ∈ T . (6.1.9)
k
The product in (6.1.9) is in fact finite since each α is finite and consequently
hαk (x) = h0 (x) = 1 for all sufficiently large k.
Let α, β ∈ T and n = max{k ∈ N : αk = 6 0 or βk 6= 0}. By equal-
ity (6.1.4) and the orthogonality of the Hermite polynomials in the space
x2
L2 R; √12π e− dx we have
2
" n n
#
Y Y
(hα , hβ )(L2 ) =E hαk hξk , ωi hβk hξk , ωi
k=1 k=1
Z n
Y n 2
1 Y − 21 Pnk=1 |ξxk|2
= n Qn hαk xk hβ k xk e k 0 dx . . . dx
1 n
(2π) 2 i=1 |ξi |0 Rn k=1 k=1
n Z
(
1 Y 1 2 0, α 6= β,
= n hαk xk hβk xk e− 2 xk dxk =
(2π) 2 k=1 R α!, α = β,
(6.1.10)
6.1. Spaces of Hilbert space valued generalized random variables 233
Q
where α! := k αk ! . Thus stochastic Hermite polynomials form an orthogonal
system in the space (L2 ) = L2 (S ′ , B(S ′ ), µ). Moreover, {hα : α ∈ T } is an
orthogonal basis in (L2 ) (Theorem 2.2.3 in [44]). It follows from this fact and
the equality (6.1.10) that the following equality holds for the scalar product
and the norm in (L2 ):
X X
(Φ, Ψ)(L2 ) = α!Φα Ψα , kΦk2(L2 ) = α!Φ2α ,
α∈T α∈T
where
X X 1 1
Φ= Φ α hα , Ψ = Ψ α hα , Φα = (Φ, hα)(L2 ) , Ψα = (Ψ, hα)(L2 ) .
α! α!
α∈T α∈T
2
Due to (6.1.10) one can
informally think of the space (L ) as of
Q∞ 2
xk
L2 R∞ ; k=1 √12π e− 2 dxk identifying any element ω ∈ S ′ with the sequ-
ence of its “Fourier coefficients” hω, ξk i wrt the system of Hermite functions.
Thus square integrable random variables on the white noise probability space
(S ′ , B(S ′ ), µ) can be considered as functions of infinite real variables. This
linear structure of the domain of definition of random variables leads to the
following generalization of the Schwartz theory to the infinite variables case.
Consider the construction of the Gelfand triple
(S)ρ ⊂ (L2 ) ⊂ (S)−ρ (0 ≤ ρ ≤ 1),
which is a generalization
T S parameterized by ρ of the triple S ⊂ L2 (R) ⊂ S ′ ,
′ ′
where S = Sp , S = Sp and spaces Sp are defined by (6.1.1). It was first
introduced in [55] and is used in [59, 44].
Recall that due to the fact that the Hermite functions are the eigenfunc-
tions of the differential operator
d2
D̂ = − + x2 + 1 with D̂ξi = (2i)ξi , i ∈ N,
dx2
the spaces Sp defined by (6.1.1) can be characterized in terms of expansions
with respect to Hermite functions {ξi } in the following way:
n ∞
X ∞
X o
Sp = θ = θi ξi ∈ L2 (R) : |θi |2 (2i)2p < ∞ .
i=1 i=1
To clarify the analogy with the definition by (6.1.1)–(6.1.2), note that the
other way to define the scalar product (·, ·)p,ρ when ρ = 0 is doing this in
terms of the so-called second quantization operator Γ(D̂), Lwhich2 is nusually
defined via identifying the space (L2 ) with the Fock space ∞ n=0 L̂ (R ) with
the help of the Wiener–Itô chaos expansion (see, e.g., [59]). To simplify our
presentation we define Γ(D̂) in an equivalent way:
∞
Y
Γ(D̂)hα := (2i)αi hαi hξi , ·i .
i=1
with the inductive limit topology, where (S−p )−ρ is the dual to the space
(Sp )ρ . The elements of (S)−ρ are called generalized random variables. The
space (S−p )−ρ can
Pbe identified with the Hilbert space of all formal (countable)
expansions Φ = α∈T Φα hα satisfying the condition
X
(α!)1−ρ |Φα |2 (2N)−2pα < ∞,
α∈T
The notion of a bounded set plays an important role later. The way it was
defined in Section 3.3 is suitable for (S)ρ . The set M ⊆ (S)ρ is called bounded
if for any sequence {ϕn } ⊆ M and for any {εn } ⊂ R convergent to zero,
{εn ϕn } is convergent to zero in (S)ρ .
From the definition of spaces (S)ρ and the definition of bounded sets it is
easy to obtain the following characterization of bounded sets in (S)ρ .
Proposition 6.1.1 A set is bounded in (S)ρ if and only if it is bounded in
any (Sp )ρ , p ∈ N.
Now we define spaces (S)−ρ (H) of Hilbert space valued random variables
over the spaces (S)ρ of test random variables.
X X
fα,j ∈ R, fα = fα,j ej ∈ H, fj = fα,j hα ∈ (L2 ),
j α∈T
and
X X ∞
X
kf k2(L2 )(H) = α! |fα,j |2 = α! kfα k2H = kfj k2(L2 ) .
α∈T ,j∈N α∈T j=1
Denote by (S)−ρ (H) the space of all linear continuous operators Φ : (S)ρ → H
endowed with the topology of uniform convergence on bounded subsets of
the space (S)ρ . We will refer to this convergence as strong convergence in
(S)−ρ (H) and call elements of this space the H-valued generalized random
variables over the space of test functions (S)ρ . The action of Φ ∈ (S)−ρ (H)
on a test function ϕ ∈ (S)ρ will be denoted by Φ[ϕ].
236 6. Infinite-dimensional extension of white noise calculus
It is proved in [44] that A(p) < ∞ for any p > 1. Thus the series (6.1.11) is
convergent.
Due to the nuclearity of (S)ρ , we have the following characterization of
the elements of generalized H-valued random variables.
Proposition 6.1.3 Any Φ ∈ (S)−ρ (H) is a Hilbert–Schmidt operator from
(Sp )ρ to H for some p ∈ N.
Proof. Let Φ ∈ (S)−ρ (H). By Proposition 6.1.2 Φ is bounded as an operator
acting from (Sp )ρ to H for some p ∈ N. Denote by Φ̃ its extension to (Sp )ρ
by continuity. Then, as an operator acting from (Sp+1 )ρ to H, the operator
Φ can be written as Φ̃Ip,p+1 , which is Hilbert–Schmidt as a composition of
Hilbert–Schmidt and bounded operators.
In order to investigate the topology of uniform convergence on bounded
6.1. Spaces of Hilbert space valued generalized random variables 237
subsets of (S)ρ that we introduced in (S)−ρ (H), we will also need the decom-
position of this space into countable unions of separable Hilbert spaces.
For any Φ ∈ (S)−ρ (H) denote by Φj the linear functional, defined on the
space (S)ρ by the equality
X
h hα i
2
∞ D
XX hα E2
kΦk2−p,−ρ =
Φ 1+ρ
= 1+ρ , Φj
α∈T (α!) 2 (2N)pα H
α∈T j=1 (α!) 2 (2N)pα
X
= (α!)1−ρ |Φα,j |2 (2N)−2pα . (6.1.12)
α∈T ,j∈N
Denote by (S−p )−ρ (H) the space of all Hilbert–Schmidt operators acting from
(Sp )ρ to H. It is a separable Hilbert space. Operators hα ⊗ ej , α ∈ T , j ∈ N,
defined by the equality
(hα ⊗ ej )ϕ := ϕ, hα (L2 ) ej , ϕ ∈ (Sp )ρ ,
form an orthogonal basis in the space. It follows from Proposition 6.1.3 that
we have the following decomposition:
[
(S)−ρ (H) = (S−p )−ρ (H)
p∈N
and
kΦk−p1 ,−ρ ≥ kΦk−p2 ,−ρ , Φ ∈ (S−p1 )−ρ (H). (6.1.14)
In Section 4.1 we introduced an H-valued Q-Wiener process WQ =
{WQ (t), t ≥ 0} via the Fourier series wrt an orthonormal basis {ej } in H:
X
WQ (t) = σj βj (t)ej (Qej = σj2 ej ), (6.1.15)
j∈N
which is generally divergent in H,Pbut weakly convergent in the sense that for
any h ∈ H the series (h, W (t)) = j∈N βj (t)(h, ej ) is convergent.
Now we give a construction (or a constructive proof of existence) of such a
sequence of independent Brownian motions. Using this sequence we define Q-
Wiener and cylindrical Wiener processes (6.1.15)–(6.1.16) and later the series
defining Q-white noise and singular white noise processes in spaces (S−p )−ρ .
First, we introduce a sequence of independent identically distributed Brow-
nian motions on the white noise probability space. To do this, take a bijection
n(·, ·) : N × N → N satisfying the condition
Let L2 (R)j be the closure of the linear span of the set {ξn(i,j) , i ∈ N}. For
any j ∈ N, the operator Ij is an isometric isomorphism of the spaces L2 (R)
and L2 (R)j since for any f, g ∈ L2 (R) we have
∞
X
(Ij f, Ij g)L2 (R)j = (f, ξi )(g, ξi ) = (f, g)L2 (R) .
i=1
Since the spaces L2 (R)j with different j are spanned by disjoint families of
{ξi }, they are pairwise orthogonal subspaces of L2 (R). Moreover, since
∞
[ ∞
M
{ξi }∞
i=1 = {ξn(i,j) }∞
i=1 , we have L (R) = 2
L2 (R)j .
j=1 j=1
Define 1j[a,b] := Jj 1[a,b] , where 1[a,b] is the indicator of [a, b]. For any a, b, c, d ∈ R
the functions 1j[a,b]
1
and 1j[c,d]
2
6 j2 are orthogonal in L2 (R).
with j1 =
Now we consider random processes defined by
E [βj (t)βj (s)] = (1j[0,t] , 1j[0,s] )L2 (R) = (1j[0,t] , 1j[0,s] )L2 (R)j
= (1[0,t] , 1[0,s] )L2 (R) = min{t; s}.
We also have
E [βj1 (t)βj2 (s)] = (1j[0,t]
1
, 1j[0,s]
2
)L2 (R) = 0
for j1 6= j2 . It follows that {βj (t), t ≥ 0}∞ j=1 is a sequence of independent
Brownian motions. We have the following decompositions for them:
*∞ Z +
j
X t
βj (t) = h1[0,t] , ·i = ξi (s) ds ξn(i,j) , ·
i=1 0
∞ Z
X t ∞ Z
X t
= ξi (s) ds hξn(i,j) , ·i = ξi (s) ds hǫn(i,j) ,
i=1 0 i=1 0
where ǫn := (0, 0, . . . , 1, 0, . . . ).
n
Now using these equalities we define Q-Wiener and cylindrical Wiener
processes in spaces (S)−ρ (H), 0 ≤ ρ ≤ 1.
For a cylindrical Wiener process W defined by the informal (generally
divergent) series (6.1.16) we obtain the following Fourier series with respect
to stochastic Hermit polynomials {hǫn }:
X X
W (t) = βj (t)ej = Wǫn (t) hǫn , t ∈ R, (6.1.19)
j∈N n∈N
240 6. Infinite-dimensional extension of white noise calculus
where Z t
Wǫn (t) := ξi(n) (s) ds ej(n) ∈ H
0
The fact that Q ∈ P LTr (H) (the space of all trace class operators acting in
∞
H) implies T r Q = j=1 σj2 < ∞. For the Q-Wiener process WQ defined by
(6.1.15), the following equalities hold:
X X
WQ (t) = σj βj (t)ej = WǫQn (t) hǫn , (6.1.21)
j∈N n∈N
where Z t
WǫQn (t) := σj ξi(n) (s) ds ej(n) ∈ H, t ∈ R.
0
As we know, WQ (t) ∈ (L2 )(H) for all t ∈ R, but W (t) ∈ / (L2 )(H). At the
same time, for any h ∈ H, we have
2 X
E W (t), h = (ej , h)2 E βj2 (t) = tkhk2 .
j∈N
That means W (t), h ∈ (L2 ) = L2 (S ′ , B(S ′ ), µ). Moreover, using the estimate
Rt 3
ξ (s) ds = O (i− 4 ) from (6.1.8) and the condition (6.1.17), we obtain
0 i
X Z t 2
X 3
2
kW (t)k−1,−ρ = ξ (s) ds 2n(i, j) −2 ≤ O i − 2 −2 −2
j < ∞.
i
i,j∈N 0 i,j∈N
(6.1.22)
Therefore, W (t) ∈ (S−1 )−ρ (H) ⊂ (S)−ρ (H) for any 0 ≤ ρ ≤ 1.
Now define the H-valued Q-white noise by the equality obtained by infor-
mal differentiation of (6.1.21):
X X
WQ (t) := σj ξi (t) hǫn(i,j) ej = WQ
ǫn (t) hǫn , (6.1.23)
i,j∈N n∈N
where
WQ
ǫn (t) = σj ξi(n) (t) ej(n) ∈ H, t ∈ R,
1 Recall that for v ∈ V , u ∈ U , where V and U are Hilbert spaces, we denote by v ⊗ u
the operator acting from U to V , defined by the equality (v ⊗ u)h := v(u, h)U .
6.2. Analysis of (S)−ρ (H)-valued processes 241
Proposition 6.2.2 A set M ⊂ (S)−ρ (H) is bounded if and only if there exist
such p ∈ N and C > 0 that for any Φ ∈ M the inequality kΦ[ϕ]k ≤ C|ϕ|p,ρ
holds true for all ϕ ∈ (S)ρ .
Proof. First we prove the necessity of this condition. Suppose for any p ∈ N
there exist Φp ∈ M and ϕp ∈ M such that kΦp [ϕp ]k > p |ϕp |p,ρ . Denote
ϕn
ψn := .
|ϕn |n,ρ
kΦkL((Sp )ρ ; H) ≤ C
∞
X
2
= kΦ̃Ip,p+1 k2 =
kΦk2
Φ̃Ip,p+1 ζi
≤
LHS (Sp+1 )ρ ; H LHS (Sp+1 )ρ ; H H
i=1
∞
X
≤ C2
2
kIp,p+1 ζi kH = C 2 kIp,p+1 k .
LHS (Sp+1 )ρ ; (Sp )ρ
i=1
Proof. (i) =⇒ (ii). Let {Φn } converge to Ψ in the space (S)−ρ (H). Then for
any α ∈ T we have
1
kΦα,n − Ψα k = kΦ(n) [hα ] − Ψ[hα ]k → 0 as n → ∞.
α!
By Proposition 6.1.3, Ψ ∈ (S−p )−ρ for some p ∈ N. For any bounded M ⊂
(Sρ ), for sufficiently large n, and for all ϕ ∈ M , it holds that kΦn [ϕ]−Φ[ϕ]k < 1
and consequently
kΦn − Ψk2−(p+1),−ρ
X
= (α!)1−ρ kΦα,n − Ψα k2 (2N)−2(p+1)α
Index α≤k
X
+ (α!)1−ρ kΦα,n − Ψα k2 (2N)−2(p+1)α
Index α>k
X
≤ max (α!)1−ρ kΦα,n − Ψα k2 · (2N)−2(p+1)α
Index α≤k
Index α≤k
X h i
+ (α!)1−ρ 2kΦα,n k2 + 2kΨα k2 (2N)−2pα (2N)−2α
Index α>k
X
≤ max (α!)1−ρ kΦα,n − Ψα k2 · A(2p + 1) + 4C 2 · (2N)−2α ,
Index α≤k
Index α>k
(ii) lim kΦα (t) − Ψα k = 0 for any α ∈ T and there exist δ > 0, p ∈ N and
t→t0
M > 0 such that kΦ(t)k−p,−ρ ≤ M for any t ∈ (a, b) with 0 < |t−t0 | < δ,
Ψ ∈ (S−p )−ρ (H);
(iii) there exist δ > 0, p ∈ N such that Φ(t) ∈ (S−p )−ρ (H) for any t ∈ (a, b)
with 0 < |t − t0 | < δ, Ψ ∈ (S−p )−ρ (H) and lim kΦ(t) − Ψk−p,−ρ = 0.
t→t0
The proof entirely repeats the steps of the proof of Proposition 6.2.4 and
thus is omitted. Applying Corollary 6.2.1, we obtain the following statement.
P
Corollary 6.2.2 Let t0 ∈ (a, b) and Φ(t) = α Φα (t)hα ∈ (S)−ρ (H) for all
t ∈ (a, b) \ {t0 }, then the next assertions are equivalent:
d
(i) Φ(t) is differentiable at t0 with Φ(t0 ) = Ψ;
dt
(ii) for any α ∈ T the function Φα : (a, b) → H is differentiable at the point
t0 , X
Ψ := Φ′α (t0 )hα ∈ (S−p )−ρ (H)
α
Φ(t) − Φ(t0 )
and there exist δ > 0, p ∈ N, C > 0 such that
≤C
t − t0 −p,−ρ
for any t ∈ (a, b) with 0 < |t − t0 | < δ;
dΦ Φ(t) − Φ(t0 )
(iii) := lim exists in the space (S−p )−ρ (H) for some p.
dt t→t0 t − t0
Making use of this corollary one can prove that the cylindrical Wiener
process W (t) defined by (6.1.19) (and, of course, Q-Wiener process WQ (t) de-
fined by (6.1.21)) is differentiable everywhere in R and its derivative coincides
6.2. Analysis of (S)−ρ (H)-valued processes 245
with the white noise W(t), defined by (6.1.24). This is indeed the case since
dWǫn
for any t0 ∈ R and any n ∈ N we have (t0 ) = Wǫn (t0 ). Moreover, using
1
dt
− 12
the estimate supt∈R |ξi (t)| = O(i ) from (6.1.8) we obtain
2
W (t) − W (t0 )
X
1 Z t
=
ξi (τ ) dτ ej
−2pǫn(i,j)
t − t0
t − t0
(2N)
−p,−ρ i,j∈N t0
X 2 X 1
≤ sup |ξi (t)| (2n(i, j))−2p ≤ C i−2p− 6 j −2p < ∞
i,j∈N t∈R i,j∈N
for any p ≥ 1, which shows that condition (ii) of Corollary 6.2.2 is fulfilled.
1
Similarly, using the estimate supt∈R |ξi (t)| = O (i− 12 ) and the well-known
property of Hermite functions
r r
′ ′ i i+1
ξ1 (t) = ξ2 (t), ξi (t) = ξi−1 (t) + ξi+1 (t), i = 2, 3, . . . ,
2 2
which implies the estimate
(n) 1 n
sup |ξi (t)| = O (i− 12 + 2 ), (6.2.2)
t∈R
one can show that W(t) is infinitely differentiable as a (S)−ρ (H)-valued func-
tion.
We will call a function Φ(·) : R → (S)−ρ (H) integrable on a measurable set
G ⊂ R if there exists p ∈ N such that for any t ∈ G, Φ(t) ∈ (S−p )−ρ (H) and
Φ is Bochner integrable on G as a function with values in the Hilbert space
(S−p )−ρ (H).
It follows from the equality (6.1.12) expressing the norm k · k−p,−ρ that for
any α ∈ T we have the estimate
(2N)2pα
kΦα k2H ≤ kΦk2−p,−ρ
(α!)1−ρ
P
which implies that if Φ(t) = α Φα (t)hα is integrable on G, then for any
α ∈ T the function Φα (t) is Bochner integrable on G as an H-valued function.
Moreover, we have the following sufficient condition of integrability.
Proposition 6.2.5 Let Φ(·) : R → (S)−ρ (H) be defined by decomposition
X
Φ(t) := Φα (t)hα .
α∈T
converges to Φ(t) in this space for any t ∈ G. It follows from the equality
1−ρ
kΦα(k) (t)hα(k) k−p,−ρ = (α!) 2 kΦα(k) (t)kH (2N)−pα
that any Φα(k) (t)hα(k) , k ∈ N, and consequently all Fn (t) are Bochner in-
tegrable
Z as (S−p )−ρ (H)-valued functions for any p ∈ N ∪ {0}; thus we have
kFn (t)k−p,−ρ dt < ∞ for any p ∈ N ∪ {0}. It is also easy to see that
ZG Z
Φα(k) (t)hα(k) dt = Φα(k) (t) dthα(k) (note that the left-hand side is a
G G
Bochner integral of an (S−p )−ρ (H)-valued function and the integral in the
right-hand side is a Bochner integral of an H-valued function); thus
Z n Z
X
Fn (t) dt = Φα(k) (t) dthα(k) . (6.2.5)
G k=1 G
∞ Z ! 12
p X 1−ρ (k)
≤ P (G) (α(k) )! kΦα(k) (t)k2H dt(2N)−2qα =: C,
k=1 G
and by
Z Z
Z
Fn (t) dt − Φ(t) dt
≤ kFn (t) − Φ(t)k−q,−ρ dt,
G G −q,−ρ G
Z Z
we finally obtain lim Fn (t) dt = Φ(t) dt in (S−p )−ρ (H). Therefore,
n→∞ G G
(6.2.4) follows from (6.2.5).
Let us show that for the Fourier coefficients the following equalities hold:
∞
1 Y
Eα,θ = (θ, ξi )α
L2 (R) .
i
(6.3.1)
α! i=1
1 X
n
Y n
− (θ, ξi )L2 (R) + |θ⊥ |20 · hαi hω, ξi i dµ(ω),
2 i=1 i=1
we obtain
X
n
f (x1 , . . . , xn+1 ) := exp xi (θ, ξi )L2 (R) + xn+1 |θ⊥ |0 −
i=1
n
1 X
n
Yn
− 12 x2i
P
2 ⊥ 2
− (θ, ξi )L2 (R) + |θ |0 · hαi (xi )e i=1 .
2 i=1 i=1
It follows that
Z
1
Eα,θ = n+1 f (x1 , . . . , xn+1 )dx1 ...dxn+1
α!(2π) 2
Rn+1
n Z
1 Y 1 1 2 − 12 x2i
= √ exp xi (θ, ξi )L2 (R) − (θ, ξi )L2 (R) hαi (xi )e dxi
α! i=1 2π 2
R
Z
1 ⊥ 1 ⊥2 1 2
· √ exp x|θ |0 − |θ |0 − x dx.
2π 2 2
R
we obtain (6.3.1)
n ∞
1 Y 1 Y
Eα,θ = (θ, ξi )αi
L2 (R) = (θ, ξi )α
L2 (R) .
i
α! i=1 α! i=1
6.3. S-transform and Wick product. Hitsuda–Skorohod integral 249
(see, e.g., [59]), we see that for any θ ∈ S the exponential function Eθ belongs
to (S)ρ for any 0 ≤ ρ < 1. This allows us to define the S-transform of Φ ∈
(S)−ρ (H), 0 ≤ ρ < 1, by the equality
(SΦ)(θ) := Φ[Eθ ], θ ∈ S.
unique function Φ ∈ (S)−ρ (H) such that F = SΦ and for any q such that
1−ρ P
2a ∞
e2 1−ρ i=1 (2i)
−2(q−p)
< 1 it holds that
1−ρ X
∞
!−1/2
2 2a −2(q−p)
kΦk−q,−ρ ≤ C 1−e (2i) .
1−ρ i=1
We omit the proof as it almost completely repeats the one in the R-valued
case (see, e.g., [59]).
Example 6.3.1 Consider the S-transforms of the Q-white noise and the
cylindrical white noise. We have
X
SWQ (t) (θ) = WQ (t) Eθ = ξi (t)σj ej (ξn(i,j) , θ)L2 (R) , (6.3.5)
i,j∈N
X
SW(t) (θ) = W(t) Eθ = ξi (t)ej (ξn(i,j) , θ)L2 (R) , t ∈ R.
i,j∈N
We also have
X 2
SWQ (·) (θ)
2 2 = σj2 (ξn(i,j) , θ)L2 (R)
L (R;H)
i,j∈N
Let H be another separable Hilbert space. The space LHS (H; H) of all
Hilbert–Schmidt operators acting from H to H is a separable
Hilbert space;
therefore, we can introduce the space (S)−ρ LHS (H; H) of LHS (H; H)-valued
generalized random variables over the space (S)ρ of test functions in the same
manner as was done in Section 4.1.
Consider Ψ ∈ (S)−ρ LHS (H; H) and Φ ∈ (S)−ρ (H). Their S-transforms
satisfy conditions 1 and 2 of the Theorem 6.3.1. For any θ ∈ S we have
SΨ(θ) ∈ LHS (H; H), SΦ(θ) ∈ H; therefore, the values of the function F (θ) :=
SΨ(θ)SΦ(θ) belong to H and for any θ, η ∈ S the function F (θ + zη) of z ∈ C
is analytic. We have
2
kSΨ(θ)SΦ(θ)kH ≤ kSΨ(θ)kLHS (H;H) kSΦ(θ)kH ≤ C1 C2 exp (a1 + a2 )|θ|p1−ρ ,
Proof. First note that by the same argument as in the proof of Proposition
6.1.2 one can show that any generalized L(H; H)-valued random variable Φ
belongs to L (Sp )ρ ; L(H; H) for some p ∈ N and thus we have
v
uX
u∞ 2
kΦ[ϕ]kLHS (HQ ;H) ≤ kΦk t σj · kϕkp,ρ , ϕ ∈ (S)ρ .
L (Sp )ρ ;L(H;H)
j=1
It follows from Propositions 6.3.1 and 6.3.2 that for any generalized
L(H; H)-valued random process Φ(t), the Wick product Φ(t) ⋄ WQ (t) is well
defined for all t and belongs
to the space (S)−ρ (H) since we can consider
Φ(t)
as an (S)−ρ LHS (HQ ; H) valued process and W (t) as an (S)−ρ HQ valued
one.
Taking the operator Q under the condition (6.3.6) and again considering
Φ(t) as an (S)−ρ LHS (HQ ; H) -valued process, we obtain that the Wick prod-
uct Φ(t) ⋄ W(t) is also well defined and belongs to the space (S)−ρ (H) for all
t ∈ R. This justifies the following definition.
The following result establishes the relationship between abstract Itô in-
tegrals and Hitsuda–Skorohod integrals.
Theorem 6.3.2 For any predictable LHS (HQ ; H)-valued process Φ satisfying
the condition "Z #
T
2
E kΦ(t)kLHS (HQ ;H) dt < ∞, (6.3.7)
0
the equality (6.3.8) holds for any cylindrical Wiener process W and the cor-
responding singular white noise W.
We will prove this important result for the special case of a deterministic
integrand Φ in the next section while studying solutions to stochastic linear
equations in spaces of generalized Hilbert space valued random processes and
the relationship between these solutions and weak solutions constructed in
Chapter 4. The proof of Theorem 6.3.2 in the general case, which is due to
[6], will be presented in the conclusion of the section.
similar to the case of stochastic problems in the integral form and the case
of generalized wrt t stochastic problems in differential form. The stochastic
convolution here is defined with the help of Hitsuda–Skorohod integrals.
In the case of the linear Cauchy problem with additive noise we also study
the relationship between generalized wrt ω solutions and weak solutions of the
corresponding integral problem.
It follows from the relationship between the Itô and the Hitsuda–Skorohod
integrals formulated in Theorem 6.3.2 that in the spaces of generalized Hilbert
space valued random variables the problem (6.4.3) can be written as
Z t Z t
X(t) = AX(t) dt + B ⋄ W(t) dt, t ≥ 0. (6.4.4)
0 0
for any α 6= ǫn .
Since A is the generator of a C0 -semigroup, the corresponding homoge-
neous Cauchy problem is well-posed (see Section 1.1) and Xα (t) := U (t)ζα ,
t ≥ 0, is the unique solution to the problem (6.4.8) for each α 6= ǫn , n ∈ N,
since ζα ∈ dom A for all α ∈ T .
For any n ∈ N, by (6.1.24), we have BWǫn (t) = Bej ξi (t), where i, j ∈ N
are such that n = n(i, j). Hence it is infinitely differentiable for all t ∈ R.
Therefore, the function
Z t Z t
vn (t) := U (t − s)BWǫn (s) ds = U (s)BWǫn (t − s) ds
0 0
Rt
By Proposition 6.2.5, it follows from here that the integral 0 U (t−s)BW(s)ds
exists as an element of (S)−0 (H) for all t ≥ 0 and
Z t ∞ Z
X t
U (t − s)BW(s)ds = U (t − s)BWǫn (s) ds.
0 n=1 0
X
We evidently have U (t)ζ = U (t)ζα hα ∈ (S)−0 (H). Thus, for Xα (t) de-
α∈TP
fined by (6.4.7)–(6.4.8), X(t) = α Xα (t)hα ∈ (S)−0 (H), t ≥ 0, and the
equality (6.4.6) holds true.
To complete the proof, it is sufficient to show that X(t) is differentiable for
6.4. Generalized solutions to stochastic Cauchy problems 257
t ≥ 0. Then the equality in (6.4.5) follows from (6.4.7), (6.4.8), and closedness
of A.
Let t ∈ [0, T ); then, since ζα ∈ dom A for any α ∈ T , we have
U (t + h)ζ − U (t)ζ
Z t+h
α α
1
=
U (s)Aζα ds
≤ M eaT kAζα k.
h |h| t
Since ζ ∈ dom A ⊂ (S)−0 (H), we have
X
kAζk2−p,−0 = (α!)kAζα k2 (2N)−2pα < ∞
α∈T
We also have
1 Z t+h Z t
U (t + h − s)Wǫn(i,j) (s) ds − U (t − s)Wǫn (s) ds
h 0 0
Z t+h
1
=
U (s)ξi (t + h − s)Bej ds
|h| t
Z t
+ U (s) ξi (t + h − s) − ξi (t − s) Bej
≤
0
aT
5
≤ Me kBk sup |ξi (t)| + T sup |ξi′ (t)| = O(i 12 )
[0,T ] [0,T ]
Example 6.4.1 Consider the following Cauchy problem for the heat equa-
tion:
∂u(t, x)
= △u(t, x) =: Au(t, x), t ≥ 0, x = (x1 , . . . , xm ) ∈ G ⊂ Rm ,
∂t
u(t, x) = 0, t ≥ 0, x ∈ ∂G,
u(0, x) = ζ(x), x ∈ G,
258 6. Infinite-dimensional extension of white noise calculus
form its spectrum. (Compare with Example 4.2.2, where we considered the
backward Cauchy problem.)
Let us fix an ordering of the sets of the eigenfunctions and eigenvalues,
and denote them by {ej }∞ ∞
j=1 and {λj }j=1 , respectively. Operator A generates
a C0 -semigroup, given by the formula
∞
X
U (t)u = eλj t (ej , u)H ej .
j=1
By Theorem 6.4.1, the problem (6.4.13) has a unique solution in the space
(S)−ρ (H) and we have the explicit formula (6.4.6) for it. Thus we obtain
X∞ ∞ Z t
X
X(t) = eλj t (ej , ζ)H ej + eλj (t−s) ξi (s) ds hǫn(i,j) ej .
j=1 i,j=1 0
It is easy to see that it is finite for any p ≥ 1; thus the solution lies in (S−1 )−0 .
Note that since we have
2
X Z t
2
e λj (t−s)
ξ (s) ds =
e λj (t−·)
1
2
i [0,t]
L (R)
i∈N 0
Z t
1 − e2λj t 1
= e2λj (t−s) ds = ≤ ,
0 2|λj | 2|λj |
6.4. Generalized solutions to stochastic Cauchy problems 259
the series in the right-hand side of equality (6.4.14) converges for p = 0 and
ρ = 0 only if m = 1. Hence this is the only case when the solution belongs to
the space (L2 )(H) = (S−0 )−0 (H).
Replacing the Itô integral with the Hitsuda–Skorohod integral and differenti-
ating with respect to t, we come to the Cauchy problem
dX(t)
= AX(t) + B t, X(t) ⋄ W(t), t ≥ 0, X(0) = ζ. (6.4.15)
dt
We will study the existence and uniqueness of its solution in the space
(S)−ρ (H), where ρ ∈ [0, 1), i.e., the existence and uniqueness of an (S)−ρ (H)-
valued differentiable function satisfying (6.4.15). Note that if Q is a nuclear
operator acting in H and satisfying the condition of Proposition 6.3.1 for
some p ∈ N, it follows from the fact that, for any X(t) ∈ (S)−ρ (H) we have
B X(t) ∈ (S)−ρ LHS (HQ ; H) , that the Wick product in Equation (6.4.15)
is well defined.
Applying the S-transform to the problem (6.4.15), we obtain the following
problem:
d
X̂(t, θ) = AX̂(t, θ) + B X̂(t, θ) Ŵ(t, θ), t ≥ 0, θ ∈ S, X̂(0, θ) = ζ̂(θ),
dt
(6.4.16)
where X̂(t, θ) = S[X(t)](θ), Ŵ(t, θ) = S[W(t)](θ), and Φ̂(θ) = SΦ(θ).
We will suppose later that the operator B in the equation satisfies the
following condition:
is bounded.
260 6. Infinite-dimensional extension of white noise calculus
To obtain the main result on existence we need some lemmas describing the
properties of Tk .
Lemma 6.4.1 For any t ≥ 0, θ ∈ S, and k ∈ N ∪ {0} the following estimate
holds true: r
k+1 k at k tk
kTk (t, θ)kL(H) ≤ M kBk e |θ|L2 (R) , (6.4.18)
k!
where M > 0 and a ∈ R are the constants from the estimate (6.4.10) and
kBk = kBkL(H,L(H;H)) .
Proof. Suppose (6.4.18) holds true for some k ∈ N; then for any x ∈ H we
have
Z t
kTk+1 (t, θ)xk =
U (t − s)B Tk (s, θ)x Ŵ(s, θ) ds
0
Z t
≤
U (t − s)B Tk (s, θ)x Ŵ(s, θ)
ds
0
Z t
≤ M kBk ea(t−s) kTk (s, θ)xkkŴ(s, θ)k ds
0
Z tr k
k+2 k+1 at k s
≤M kBk e |θ|L2 (R) kŴ(s, θ)k ds kxk
0 k!
Z t k 1/2 Z t 1/2
k+2 k+1 at k s 2
≤M kBk e |θ|L2 (R) ds kŴ(s, θ)k ds kxk
0 k! 0
s
tk+1
≤ M k+2 kBkk+1 eat |θ|kL2 (R) kŴ(·, θ)kL2 (R;H) kxk
(k + 1)!
s
k+2 k+1 at k+1 tk+1
≤M kBk e |θ|L2 (R) kxk.
(k + 1)!
where M > 0 and a ∈ R are the constants from the estimate (6.4.10), MAB
is the constant from the estimate (6.4.17), and kBk = kBkL(H,L(H;H)) .
We further have
Z t
ATk (t, θ)ζ̂(θ) = AU (t − s)B Tk−1 (s, θ)ζ̂(θ) Ŵ(s, θ) ds
0
Z t
= U (t − s)AB Tk−1 (s, θ)ζ̂(θ) Ŵ(s, θ) ds
0
Z t h i
= U (t − s) B ATk−1 (s, θ)ζ̂(θ) Ŵ(s, θ) + C Tk−1 (s, θ)ζ̂(θ) Ŵ(s, θ) ds.
0
If (6.4.19) is true for some k ∈ N, by the above representation and the estimate
(6.4.18), we obtain
ATk+1 (t, θ)ζ̂(θ)
Z t " r
a(t−s) k+1 k k as sk
≤ Me M kBk |θ|L2 (R) e kBkkAζ̂(θ)k + kMAB kζ̂(θ)k
0 k!
r #
s k
· kŴ(s, θ)k + MAB M k+1 kBkk eas |θ|kL2 (R) kζ̂(θ)kkŴ(s, θ)k ds
k!
= M k+2 kBkk |θ|kL2 (R) eat kBkkAζ̂(θ)k + (k + 1)MAB kζ̂(θ)k
Z tr k
s
· kŴ(s, θ)k ds
0 k!
≤ M k+2 kBkk |θ|kL2 (R) eat kBkkAζ̂(θ)k + (k + 1)MAB kζ̂(θ)k
Z t 1/2 Z t 1/2
sk 2
· ds kŴ(s, θ)k ds
0 k! 0
s
tk+1
≤M k+2
kBk k
|θ|k+1
L2 (R) e
at
kBkkAζ̂(θ)k + (k + 1)MAB kζ̂(θ)k .
(k + 1)!
262 6. Infinite-dimensional extension of white noise calculus
It follows from Lemma 6.4.1 that for any n, m ∈ N the following estimate is
true:
√ √
n+m
X X M 2kBk|θ|L2 (R) t k
n+m
1
at
kTk (t, θ)k ≤ M e √ ·√
k=n k=n
k! 2k
k 1/2 n+m !1/2
n+m
X 2M 2 kBk2 |θ|2L2 (R) t X 1
≤ M eat .
k! 2k
k=n k=n
(6.4.22)
It follows that the series (6.4.21) is absolutely convergent in L(H) for any
t ≥ 0, θ ∈ S. Thus T (t, h) ∈ L(H).
d
U (t − s)B Tk (s, θ)ζ̂(θ) Ŵ(t, θ) = AU (t − s)B Tk (s, θ)ζ̂(θ) Ŵ(t, θ),
dt
t ≥ 0, θ ∈ S.
d
T0 (t, θ)ζ̂(θ) = AT0 (t, θ)ζ̂(θ), (6.4.23)
dt
Z t
d
Tk (t, θ)ζ̂(θ) = AU (t − s)B Tk−1 (s, θ)ζ̂(θ) Ŵ(s, θ) ds
dt 0
+ B Tk−1 (t, θ)ζ̂(θ) Ŵ(t, θ). (6.4.24)
d
Tk (t, θ)ζ̂(θ) = ATk (t, θ)ζ̂(θ) + B Tk−1 (t, θ)ζ̂(θ) Ŵ(t, θ). (6.4.25)
dt
6.4. Generalized solutions to stochastic Cauchy problems 263
∞
X
It follows from this estimate that the series ATk (t, θ)ζ̂(θ) is convergent
k=0
in the space H for all θ ∈ S, ζ ∈ (dom A). Summing the equalities (6.4.23)
and (6.4.25) with respect to k ∈ N we obtain in the right-hand side the series
which is convergent in H for all t ≥ 0, θ ∈ S. Thus we have proved that
X̂(t, θ) = T (t, θ)ζ̂(θ) is the solution of the problem (6.4.16).
To prove uniqueness, note that if X̂(·, θ) is a solution of the problem
(6.4.16) for some θ ∈ S, then it is a solution of the equation
Zt
X̂(t, θ) = U (t)ζ̂(θ) + U (t − s)B(X̂(s, θ))Ŵ(s, θ) ds, t ≥ 0.
0
(The inverse is generally speaking not true.) Thus it is sufficient to prove that
the equation
Zt
X̂(t, θ) − U (t − s)B(X̂(s, θ))Ŵ(s, θ) ds = 0, t ≥ 0, (6.4.26)
0
is bounded on any [0, T ]. This follows from the fact that |(ξi , θ)| = O (i−p ) for
264 6. Infinite-dimensional extension of white noise calculus
any p ∈ N, since θ ∈ S. Combined with the estimates (6.1.8) and (6.1.17) this
implies
1
(ξn(i,j) , θ)ξi (t) = O 1 for any p ∈ N.
ip+ 12 j p
It follows that there exists a constant K > 0 such that
Z t
U (t − s)B X̂(s, θ) Ŵ(s, θ) ds
0 H
Z t
≤ M ea(t−s) kBkkX̂(s, θ)kH kŴ(s, θ)kH ds
0
Z t
≤K kX̂(s, θ)kH ds, t ∈ [0, T ].
0
It is easy to prove using this estimate and the standard Volterra equations
technique that a certain power of the integral operator
Z t
U (t − s)B(·)Ŵ(s, θ) ds
0
Proof. It follows from Proposition 6.4.2 that under the conditions of the
theorem the problem (6.4.16) has the unique solution X̂(t, θ) = T (t, θ)ζ̂(θ)
for any ζ ∈ (dom A), θ ∈ S. From (6.4.22) the estimate follows:
∞ ∞ √ √ k
X X M 2kBk|θ|0 t 1
at
kT (t, θ)k ≤ kTk (t, θ)k ≤ M e √ ·√
k=0 k=0
k! 2k
∞
!
k 1/2 ∞ !1/2
X 2M 2 kBk2 |θ|20 t X 1
at
≤ Me
k! 2k
k=0 k=0
√ at
= M 2 e exp M 2 kBk2 |θ|20 t .
By (6.3.4) we have
kζ̂(θ)k ≤ kζk−p,−0 exp |h|2p , θ ∈ S,
6.4. Generalized solutions to stochastic Cauchy problems 265
It follows from here that, for any t ≥ 0, X̂(t, θ) is the S-transform of the unique
generalized random variable X(t) ∈ (S)−0 (H), which is the unique solution
of the problem (6.4.16).
Consider an example of introducing a multiplicative stochastic perturba-
tion into a partial differential equation.
Making use of the methods of semigroup perturbation theory, one can show
that A is the generator of a C0 -semigroup in H (see, e.g., [51]).
266 6. Infinite-dimensional extension of white noise calculus
where ψ ∈ C0∞ (R) and ε ∈ L∞ [0, 1] are fixed functions. Taking an appropriate
function as the factor ψ in the convolution (it can be, for example, an appro-
priate member of a sequence converging in a sense to the Dirac δ-function), we
obtain that B is the operator of multiplication by a “smooth approximation
of v” as a function of u.
For any u ∈ H and v ∈ H we have
where
Z t X Z t
U (t − s)BWQ (s) ds := σj U (t − s)Bej ξi (s) dshǫn(i,j) .
0 i,j∈N 0
First, for WQ defined by (6.1.23) we show that the integral in the right-hand
side of (6.4.31) belongs to the space (L2 )(H) = L2 (Ω, F , µ; H), where Ω = S ′ ,
268 6. Infinite-dimensional extension of white noise calculus
X X Z t 2
= ξi (s) (σj U (t − s)Bej , gk )H ds
j,k∈N i∈N 0
X
=
1[0,t] (σj U (t − ·)Bej , gk )2L2 (R)
j,k∈N
X Z t
1
= |(U (t − ·)BQ 2 , gk )H |2 ds
j,k∈N 0
XZ t X 1
= (U (t − ·)BQ 2 ej , gk )2H ds
j∈N 0 k∈N
Z tX Z t
1
= kU (t − s)BQ 2 ej k2H ds = kU (t − s)Bk2LHS (HQ ,H) ds.
0 j∈N 0
X N
X −1 Z tk
= σj Φk ξi (s) ds ej hǫn(i,j)
i,j∈N k=0 tk−1
N
X −1 X Z tk
= Φk σj ξi (s) ds ej hǫn(i,j)
k=0 i,j∈N tk−1
N
X −1 Z t
= Φk [W (tk ) − W (tk−1 )] = Φ(t) dW (t).
k=0 0
wrt a Wiener process. This relationship can be used for connection of weak and
generalized wrt ω solutions for a wider class of equations than that considered
above and not only for such considerations. The proof uses the ideas of [26],
where this connection is proved in the one-dimensional case. We generalize it
to the infinite-dimensional situation. For simplicity, we will consider the case
of a Q-Wiener process and the corresponding Q-white noise.
Let {Bt , t ≥ 0} be the σ-algebra generated by the random variables
(WQ (s), x)H , where 0 ≤ s ≤ t, x ∈ H. Recall that the family {Bt } is called the
filtration generated by the Q-Wiener process {WQ (t), t ≥ 0} (see Section 4.1).
It is easy to see that {Bt , t ≥ 0} coincides with the σ-algebra generated by
the random variables of the form (W (s), x)H , where 0 ≤ s ≤ t, x ∈ H. Recall
also that the Brownian motions βj (t), t ≥ 0, j ∈ N, are martingales wrt Bt .
Let H be a separable Hilbert space. An H-valued random process Φ(t),
t ≥ 0, is called Bt -adapted if Φ(t) is Bt -measurable for each t ≥ 0. We will fur-
ther consider Itô integrals wrt an H-valued Q-Wiener process for predictable
integrands Φ(t), t ∈ [0, T ], with values in LHS (HQ ; H). Recall that an H-
valued process is called predictable
if it is measurable as a mapping from
[0, T ] × S ′ , PT to H, B(H) , where PT is the predictable σ-algebra of sub-
sets of [0, T ] × S ′ . The latter is defined as the σ-algebra generated by the sets
of the form
(s, t] × B, 0 ≤ s < t ≤ T, B ∈ Bs .
We will further need a few lemmas which give characterization of Bt -
measurable random variables in terms of their S-transforms. They use the
operators Jj , j ∈ N, defined by (6.1.18), which are isometrical isomorphisms
of L2 (R) and the spaces L2 (R)j , and orthogonal projectors πj , j ∈ N, of L2 (R)
onto the spaces L2 (R)j defined by
(
ξn , n ∈ {n(i, j), i ∈ N},
πj ξn = (6.4.32)
0, n ∈ / {n(i, j), i ∈ N}.
2
Lemma 6.4.3 Let H be a separable Hilbert space. For any Θ, Φ ∈ (L )(H)
the equality Θ = E Φ|Bt holds true if and only if
X
∞
SΘ(θ) = SΦ θt,j , (6.4.33)
j=1
for any θ ∈ S, where θt,j := Jj J−1 j πj θ · 1[0,t] , operators Jj are defined by
(6.1.18), and πj , j ∈ N, are defined by (6.4.32).
⊥
Proof. Let θt,j = Jj J−1j πj θ · 1[0,t]c for θ ∈ S, j ∈ N. We have
πj θ = Jj J−1 −1 −1 ⊥
j πj θ = Jj Jj πj θ · 1[0,t] + Jj πj θ · 1[0,t]c = θt,j + θt,j .
270 6. Infinite-dimensional extension of white noise calculus
⊥
Moreover, the functions θt,j and θt,j are orthogonal in L2 (R):
⊥
(θt,j , θt,j )L2 (R) = Jj J−1 −1
j πj θ · 1[0,t] , Jj Jj πj θ · 1[0,t]c
L2 (R)
−1 −1
= Jj πj θ · 1[0,t] , Jj πj θ · 1[0,t]c L2 (R) = 0.
⊥
Thus the random variables h·, θt,j ⊥ , j ∈ N, are inde-
i, and consequently Eθt,j
pendent of Bt . Approximating θ in L2 (R) by finite step functions, one can
easily prove that the random variables h·, θt,j i, j ∈ N, and consequently the
functions Eθt,j , are Bt -measurable. Thus, if Θ = E Φ|Bt , by the properties of
conditional expectations, we have
X
n n n
Y Y
SΘ πj θ = E E Φ|Bt Eθt,j Eθt,j
⊥
2
Since convergence
of a sequence θn to2 θ in L (R) implies convergence of
E ΦEθn to E ΦEθ in H for any Φ ∈ (L )(H), we obtain the equality (6.4.33)
by letting n → ∞ in the equality (6.4.35).
6.4. Generalized solutions to stochastic Cauchy problems 271
Proof. We have
k k − 20
|θ| d αh·,1k(t,b] i+h·,θi
S Φh·, 1(t,b] i (θ) = E Φh·, 1(t,b] iEθ = e E Φ e
dα α=0
|θ|0 d
k k 2
− 2 1
h·,α1(t,b] +θi− 2 |α1(t,b] +θ|0 1
|α1(t,b] +θ|20
k
=e E Φe ·e 2
dα α=0
|θ|0 d 1 k 2
= e− 2 e 2 |α1(t,b] +θ|0 SΦ α1k(t,b] + θ .
dα α=0
(6.4.37)
We further have
d 12 |α1k(t,b] +θ|20 d 12 α2 |1k 2 k 2
(t,b] |0 +2α(1(t,b] ,θ)L2 (R) +|θ|0
e = e
dα α=0 dα α=0
|θ|0
= 1k(t,b] , θ L2 (R) e 2 .
d
which implies SΦ α1k(t,b] + θ = 0. Thus from the equality (6.4.37) the
dα
equality (6.4.36) follows.
Theorem 6.4.4 For any predictable LHS (HQ ; H)-valued process satisfying
the condition Z T
2
E kΦ(t)kLHS (HQ ;H) dt < ∞ (6.4.38)
0
it holds that Z Z
T T
Φ(t) dWQ (t) = Φ(t) ⋄ WQ (t) dt. (6.4.39)
0 0
272 6. Infinite-dimensional extension of white noise calculus
Proof. To prove the assertion, recall that the Itô integral wrt the Q-Wiener
process is first defined for the so-called elementary processes, i.e., for processes
having the form
N
X −1
Φ(t) = Φk 1(tk ,tk+1 ] (t), (6.4.40)
k=0
where 0 = t0 < t1 < · · · < tN = T and Φk are L(H; H)-valued Btk -measurable
random variables for all k = 0, 1, . . . , N − 1. Then the definition is extended
to all predictable LHS (HQ ; H)-valued integrands satisfying (6.4.38). Using the
equality
Z T
2 Z T
E
Φ(t) dWQ (t)
= k|Φk| := E kΦ(t)k 2
dt ,
T LHS (HQ ;H)
0 H 0
which can be verified for any elementary Φ(t), and using the fact that any
predictable process Φ(t) with values in LHS (HQ ; H) can be approximated by
a sequence of elementary processes converging to Φ with respect to the norm
Z T
k| · k|T , one can define the integral Φ(t) dWQ (t) as the limit in (L2 )(H) of
0
the corresponding sequence of integrals of the elementary processes.
Thus it is sufficient for us to prove the equality (6.4.39) for an elementary
process Φ(t), given by (6.4.40). Since the operators ei ⊗ ej , i, j ∈ N, form a
linearly dense subset in LHS (HQ ; H), we can presume without loss of generality
that the Φk are of the form
M
X
Φk = Φk,i,j (ei ⊗ ej ), Φk,i,j ∈ (L2 ),
i,j=1
where the functions Φk,i,j are Btk -measurable for all i, j = 1, . . . , M and k =
0, 1, . . . N − 1. Consider the S-transform of the left-hand side of the equality
(6.4.39). For any θ ∈ S we have
Z T NX
−1
S Φ(t) dWQ (t) (θ) = S Φk WQ (tk+1 ) − WQ (tk ) (θ)
0 k=0
N
X −1 X
M h i
= σj S Φk,i,j h1j(tk ,tk+1 ] , ·i (θ)ei .
k=0 i,j=1
6.4. Generalized solutions to stochastic Cauchy problems 273
N
X −1 Z M X
tk+1 X M
= SΦk,i,j (θ) σj ei J−1
j πj θ (t) dt.
k=0 tk i=1 j=1
275
276 Bibliography
[29] K.-J. Engel and R. Nagel. One-Parameter Semigroups for Linear Evo-
lution Equations. Graduate Texts in Math. 194, Springer-Verlag, 1999.
[30] H. O. Fattorini. The Cauchy Problem. Encycl. Math. and Its Appl. 18,
Cambridge University Press, 1983.
[31] A. Filinkov and J. Sorenson. Differential equations in spaces of abstract
stochastic distributions. A review of white noise analysis from a proba-
bilistic standpoint. Stoch. Stoch. Rep., 72(3-4):129–173, 2002.
[32] D. Filipović. Consistency Problems for Heath–Jarrow–Morton Interest
Rate Models. Lecture Notes in Math. 1760, Springer-Verlag, Berlin,
2001.
[33] D. Filipović. Term-Structure Models. A Graduate Course. Springer-
Verlag, Berlin, 2009.
[34] L. Gawarecki and V. Mandrekar. Stochastic Differential Equations in
Infinite Dimentions. Springer-Verlag, Berlin, 2011.
[35] I. M. Gelfand and G. E. Shilov. Generalized Functions. Volume 1. Prop-
erties and Operations. Academic Press Inc., 1964.
[36] I. M. Gelfand and G. E. Shilov. Generalized Functions. Volume 3. The-
ory of Differential Equations. Academic Press Inc., 1967.
[37] I. M. Gelfand and G. E. Shilov. Generalized Functions. Volume 2. Spaces
of Fundamental and Generalized Functions. Academic Press Inc., 1968.
[38] I. M. Gelfand and N. Ya. Vilenkin. Generalized Functions. Volume 4.
Applications of Harmonic Analysis. Academic Press Inc., 1964.
[39] J. A. Goldstein. Semigroups of Linear Operators and Applications. Ox-
ford University Press, 1985.
[40] T. Hida. Brownian motion. Applications of Math. 11, Springer-Verlag,
1980.
[41] T. Hida, H.-H. Kuo, J. Potthoff, and L. Streit. White Noise. An Infinite-
Dimensional Calculus. Mathematics and Its Applications. Springer Sci-
ence+Business Media, Dordrecht, 1993.
[42] T. Hida and S. Si. Lecture on White Noise Functionals. World Scientific,
Hackensack, 1993.
[43] E. Hille and R. S. Phillips. Functional Analysis and Semi-groups. Col-
loquium Publ. 31, American Mathematical Society, 1957.
[44] H. Holden, B. Oksendal, J. Uboe, and T. Zhang. Stochastic Partial
Differential Equations. A Modelling, White Noise Functional Approach.
Springer, New York, 2010.
278 Bibliography
283
284 Index
theorem
Bochner–Minlos–Sazonov, 230
Feynman–Kac, 179, 180, 193
MFPHY, xii, 3, 10, 20
Tonelli–Fubini, 136
topology
of countably normed space, 94
of inductive limit, 94
of projective limit, 94
trace, 118, 130