Stochastic Optimal Control in Infinite Dimension Dynamic Programming and HJB Equations 1st Edition Giorgio Fabbri pdf download
Stochastic Optimal Control in Infinite Dimension Dynamic Programming and HJB Equations 1st Edition Giorgio Fabbri pdf download
https://textbookfull.com/product/stochastic-optimal-control-in-
infinite-dimension-dynamic-programming-and-hjb-equations-1st-
edition-giorgio-fabbri/
https://textbookfull.com/product/adaptive-dynamic-programming-
with-applications-in-optimal-control-1st-edition-derong-liu/
https://textbookfull.com/product/stochastic-linear-quadratic-
optimal-control-theory-differential-games-and-mean-field-
problems-jingrui-sun/
https://textbookfull.com/product/theory-of-simple-glasses-exact-
solutions-in-infinite-dimensions-1st-edition-giorgio-parisi/
https://textbookfull.com/product/optimal-control-in-thermal-
engineering-1st-edition-viorel-badescu/
Applied Stochastic Differential Equations 1st Edition
Simo Särkkä And Arno Solin
https://textbookfull.com/product/applied-stochastic-differential-
equations-1st-edition-simo-sarkka-and-arno-solin/
https://textbookfull.com/product/semi-infinite-fractional-
programming-ram-u-verma/
https://textbookfull.com/product/fractional-dynamic-calculus-and-
fractional-dynamic-equations-on-time-scales-svetlin-g-georgiev/
https://textbookfull.com/product/reinforcement-learning-and-
optimal-control-draft-version-1st-edition-dmitri-bertsekas/
https://textbookfull.com/product/programming-interview-problems-
dynamic-programming-with-solutions-in-python-1st-edition-
leonardo-rossi/
Probability Theory and Stochastic Modelling 82
Giorgio Fabbri
Fausto Gozzi
Andrzej Święch
Stochastic
Optimal Control
in Infinite
Dimension
Dynamic Programming and
HJB Equations
With a Contribution by Marco Fuhrman
and Gianmario Tessitore
Probability Theory and Stochastic Modelling
Volume 82
Editors-in-chief
Søren Asmussen, Aarhus, Denmark
Peter W. Glynn, Stanford, CA, USA
Yves Le Jan, Orsay, France
Advisory Board
Martin Hairer, Coventry, UK
Peter Jagers, Gothenburg, Sweden
Ioannis Karatzas, New York, NY, USA
Frank P. Kelly, Cambridge, UK
Andreas Kyprianou, Bath, UK
Bernt Øksendal, Oslo, Norway
George Papanicolaou, Stanford, CA, USA
Etienne Pardoux, Marseille, France
Edwin Perkins, Vancouver, BC, Canada
Halil Mete Soner, Zürich, Switzerland
The Probability Theory and Stochastic Modelling series is a merger and
continuation of Springer’s two well established series Stochastic Modelling and
Applied Probability and Probability and Its Applications series. It publishes
research monographs that make a significant contribution to probability theory or an
applications domain in which advanced probability methods are fundamental.
Books in this series are expected to follow rigorous mathematical standards, while
also displaying the expository quality necessary to make them useful and accessible
to advanced students as well as researchers. The series covers all aspects of modern
probability theory including
• Gaussian processes
• Markov processes
• Random fields, point processes and random sets
• Random matrices
• Statistical mechanics and random media
• Stochastic analysis
Andrzej Święch
With a Contribution by
Marco Fuhrman and Gianmario Tessitore
123
Giorgio Fabbri Andrzej Święch
Aix-Marseille School of Economics School of Mathematics
CNRS, Aix-Marseille University, EHESS, Georgia Institute of Technology
Centrale Marseille Atlanta, GA
Marseille USA
France
Fausto Gozzi
Dipartimento di Economia e Finanza
Università LUISS – Guido Carli
Rome
Italy
Mathematics Subject Classification (2010): 49Lxx, 93E20, 49L20, 35R15, 35Q93, 49L25, 65H15,
37L55
The main objective of this book is to give an overview of the theory of Hamilton–
Jacobi–Bellman (HJB) partial differential equations (PDEs) in infinite-dimensional
Hilbert spaces and its applications to stochastic optimal control of
infinite-dimensional processes and related fields. Both areas have developed very
rapidly in the last few decades. While there exist several excellent monographs on
this subject in finite-dimensional spaces (see e.g., [263, 264, 385, 453, 468, 490,
576]), much less has been written in infinite-dimensional spaces. A good account
of the infinite-dimensional case in the deterministic context can be found in [404]
(see also [562] on optimal control of deterministic PDEs). Other books that touch
on the subject are [29, 179, 468]. We attempt to fill this gap in the literature.
Infinite-dimensional diffusion processes appear naturally and are used to model
phenomena in physics, biology, chemistry, economics, mathematical finance,
engineering, and many other areas (see e.g., [124, 177, 180, 372, 569]). This book
investigates the PDE approach to their stochastic optimal control; however,
infinite-dimensional PDEs can also be used to study other properties of such pro-
cesses as large deviations, invariant measures, stochastic viability, stochastic dif-
ferential games for infinite-dimensional diffusions, etc. (see [86, 177, 179, 249, 251,
261, 465, 467, 542, 544]).
To illustrate the main theme of the book, let us begin with a model distributed
parameter stochastic optimal control problem. We want to control a process (called
the state) given by an abstract stochastic differential equation in a real, separable
Hilbert space H
dXðsÞ ¼ ðAXðsÞ þ bðs; XðsÞ; aðsÞÞÞds þ rðs; XðsÞ; aðsÞÞdW ðsÞ; s[t0
XðtÞ ¼ x 2 H;
1
Q is a suitable self-adjoint positive operator in H, the covariance operator for W.
vii
viii Preface
stochastic processes with values in some metric space K, which satisfy certain
measurability properties. The above abstract stochastic differential equation is very
general and includes various semilinear stochastic PDEs, as well as other equations
which can be rewritten as stochastic functional evolution equations, for instance,
stochastic differential delay equations. In a most typical optimal control problem we
want to find a control aðÞ, called optimal, which minimizes a cost functional
Z T
Jðt; x; aðÞÞ ¼ E lðs; XðsÞ; aðsÞÞds þ gðXðTÞÞ
t
1 1
defined only if ðrQ2 ÞðrQ2 Þ D2 V is of trace class.
The main idea is to use the HJB equation to study the properties of the value
function, find conditions for optimality, obtain formulas for synthesis of optimal
Preface ix
feedback controls, etc. This approach turned out to be very successful for
finite-dimensional problems because of its clarity and simplicity and thanks to the
developments of the theory of fully nonlinear elliptic and parabolic PDEs, in par-
ticular the introduction of the notion of a viscosity solution and advances in reg-
ularity theory. However, even there many open questions remain, especially if the
HJB equations are degenerate. We hope the dynamic programming approach will
be equally valuable for infinite-dimensional problems even though a complete
theory is not available yet.
Equation (1) is an example of a fully nonlinear second-order PDE of (degen-
erate) parabolic type. In this book, we will deal with more general and different
versions of such equations and their degenerate elliptic counterparts. If K is a
singleton, (1) is just a terminal value problem for a linear Kolmogorov equation. If
K is not a singleton but the diffusion coefficient r is independent of the control
parameter a, (1) is semilinear. The theory of linear equations (and some special
semilinear equations) has been studied by many authors and can be found in the
books [29, 106, 179, 583]. The emphasis of this book is on semilinear and fully
nonlinear equations.
There are several notions of solution applicable to PDEs in Hilbert spaces which
are discussed in this book: classical solutions, strong solutions, mild solutions in the
space of continuous functions, solutions in L2 ðlÞ, and viscosity solutions. Classical
solutions are the most regular ones. This notion of solution requires C 1;2 regularity
in the Fréchet sense and imposes additional conditions so that all terms in the
equation make sense pointwise for ðt; xÞ 2 ½0; T H. When classical solutions
exist, we can apply the classical dynamic programming approach to obtain verifi-
cation theorems and the synthesis of optimal feedback controls. Unfortunately, in
almost all interesting cases it is not possible to find such solutions; however, they
are very useful as a theoretical tool in the theory. The notions of strong solutions,
mild solutions in the space of continuous functions, and solutions in L2 ðlÞ are
introduced and studied only for semilinear equations and define solutions which
have at least first derivative (in some suitable sense). Verification theorems and
synthesis of optimal feedback controls can still be developed within their frame-
work. The notion of viscosity solutions is the most general and applies to fully
nonlinear equations; however, at the current stage there are no results on verifi-
cation theorems and synthesis of optimal feedback controls.
Infinite-dimensional problems present unique challenges, and among them are
the lack of local compactness and no equivalent of Lebesgue measure. This means
that standard finite-dimensional elliptic and parabolic techniques which are based
on measure theory cannot be carried over to the infinite-dimensional case.
Moreover, the equations are mostly degenerate and contain unbounded terms which
are singular. So the methods to find regular solutions to PDEs in infinite dimension
like ours tend to be global and are based on semigroup theory, smoothing properties
of transition semigroups (like the Ornstein–Uhlenbeck semigroups), fixed point
techniques, and stochastic analysis. These methods are mostly restricted to equa-
tions of semilinear type. On the other hand, the notion of a viscosity solution is
x Preface
perfectly suited for fully nonlinear equations. It is local, and it does not require any
regularity of solutions except continuity. As in finite dimension, it is based on a
maximum principle through the idea of “differentiation by parts,” i.e., replacing the
nonexisting derivatives of viscosity subsolutions (respectively, supersolutions) by
the derivatives of smooth test functions at points where their graphs touch the
graphs of subsolutions (respectively, supersolutions) from above (respectively,
below). However, as the readers will see, this idea has to be carried out very
carefully in infinite dimension.
This book includes chapters on the most important topics in HJB equations and
the DPP approach to infinite-dimensional stochastic optimal control.
Chapter 1 contains the basic material on infinite-dimensional stochastic calculus
which is needed in subsequent chapters. It is, however, not intended to be an intro-
duction to stochastic calculus, which the reader is expected to have some familiarity
with. Chapter 1 is included to make the book more self-contained. Most of the results
presented there are well known; hence, we only provide references where the reader
can find proofs and more information about concepts, examples, etc. We provide proofs
only in cases where we could not find good references in the literature.
In Chap. 2, we introduce a general stochastic optimal control problem and prove a
key result in the theory, namely the dynamic programming principle. We formulate it
in an abstract and general form so that it can be used in many cases without the need
to prove it again. Solutions of stochastic PDEs must be interpreted in various ways
(strong, mild, variational, etc.), and our formulation of the DPP tries to capture this
phenomenon. Our proof of the DPP is based on standard ideas; however, we have
tried to avoid heavy probabilistic methods regarding weak uniqueness of solutions of
stochastic differential equations. Our proof is thus more analytical.
We also introduce many examples of stochastic optimal control problems which
can be studied in the framework of the approach presented in the book. They should
give the readers an idea of the range and applicability of the material.
Chapter 3 is devoted to the theory of viscosity solutions. The reader should keep
in mind the following principle when it comes to unbounded PDEs in infinite
dimension: There is no single definition of viscosity solutions that applies to all
equations. This is due to the fact that there are many different PDEs which contain
different unbounded operators and terms which are continuous in various norms.
Also the solutions have to be continuous with respect to weaker topologies.
However, the main idea of the notion of viscosity solutions is always the same as
we described before. What changes is the choice of test functions, spaces,
topologies, and the interpretation of various terms in the equation. In this book, we
focus on the notion of a so-called B-continuous viscosity solution which was
introduced by Crandall and Lions in [141, 142] for first-order equations and later
adapted to second-order equations in [539]. The key result in the theory is the
comparison principle, which is very technical. Its main component is the so-called
maximum principle for semicontinuous functions. The proof of such a result in
finite dimension was first obtained in [370] and was later simplified and generalized
in [137–139, 360]. It is heavily based on measure theory and is not applicable to
infinite dimension. Thus, the theory uses a finite-dimensional reduction technique
Preface xi
1 h i
Au ¼ hAx; Dui þ Tr ðrðxÞQ2 ÞðrðxÞQ2 Þ D2 u :
1 1
2
xii Preface
where Fðs; xÞ :¼ inf a2K fhbðs; x; aÞ; DV i þ lðs; x; aÞg. The solution of this integral
equation is called a mild solution and is obtained by fixed point techniques. To
define it, the solution must at least have a first-order spatial Gâteaux derivative,
possibly only in some directions needed to give sense to the nonlinear term, the
so-called G-derivative. Thus, one needs suitable smoothing properties of the
semigroup etA (which is the Ornstein–Uhlenbeck semigroup in the simplest case).
Since this semigroup is not strongly continuous, except in very special cases, one
needs to use the theory of p-semigroups introduced in [493] or that of weakly
continuous (or K-continuous) semigroups [101, 108, 301]. Sects. 4.4 and 4.5
consider a general type of operator A, possibly depending on t, while Sects. 4.6 and
4.7 focus on the case when A is of Ornstein–Uhlenbeck type, where stronger results
can be proved.
In the third part (Sect. 4.8), we develop a connection with stochastic optimal
control problems. The fact that mild solutions have a first-order spatial derivative
allows us to give a meaning to formulae for optimal feedbacks. However, the proofs
of the verification theorems and optimal feedback formulae cannot be done
straightforwardly as one needs to apply Itô’s formula in infinite dimension, which
requires smooth functions. For this reason (following [307]), we introduce the
notion of a strong solution of the HJB equation (2) as a suitable limit of classical
solutions and prove that any mild solution is also a strong solution.
The fourth and last part of the chapter (Sects. 4.9 and 4.10) deals with some
special equations. In Sect. 4.9, we show how the techniques developed in the
previous sections can be adapted to HJB equations and analysis of optimal control
problems for the stochastic Burgers equation, stochastic Navier–Stokes equations
and stochastic reaction diffusion equations. In Sect. 4.10, we discuss some equa-
tions for which explicit representations of the solutions can be found. Such cases
are always of interest in applications.
Chapter 5 is devoted to a relatively new and promising theory of mild and strong
solutions in spaces of L2 functions with respect to a suitable measure l (see [3, 4,
125, 299]). The contents of this chapter are similar to the previous one as the main
ideas behind the definition of mild and strong solutions of HJB equations are the
same. The difference is in the fact that the reference space is not the space of
continuous functions but the space of square-integrable functions with respect to the
measure l. The results are similar: existence and uniqueness of solutions of HJB
equations through fixed point arguments, verification theorem through approxi-
mations, and existence of optimal feedbacks. The advantage of this approach is that
the results require weaker assumptions on the data, thus enlarging the range of
possible applications, including the control of delay equations; however, at a cost of
Preface xiii
weaker statements, for example, the first-order spatial derivative is now defined in a
Sobolev weak sense and is not in general a Gâteaux or Fréchet derivative. The main
tools used here are the theory of invariant measures for infinite-dimensional
stochastic differential equations and the properties of transition semigroups in the
space of integrable functions with respect to such measures.
Chapter 6 is devoted to a different and in many respects complementary tech-
nique of Backward Stochastic Differential Equations (BSDEs). The chapter was
written independently and autonomously by M. Fuhrman and G. Tessitore, who are
well-recognized experts in the field. We are grateful for their invaluable contribu-
tion. BSDEs are Itô type equations in which the initial condition is replaced by a
final condition and a new unknown process appears corresponding to a suitable
martingale term. In the nonlinear, finite-dimensional case BSDEs were introduced
in [476] while their direct connection with optimal stochastic control was first
investigated in [212] and [483]. Since then, the general theory of BSDEs has
developed considerably, see [78, 80, 210, 378, 421, 475]. Besides stochastic con-
trol, applications were given to many fields, for instance, to optimal stopping,
stochastic differential games, nonlinear partial differential equations and many
topics related to mathematical finance. Infinite-dimensional BSDEs have also been
considered, see for instance, [130, 285, 331, 351, 477]. The interest for us is that
BSDEs provide an alternative way to represent the value function of an optimal
control problem and consequently to study the corresponding HJB equation and to
solve the control problem. It turns out that the most suitable notion of solution for
the HJB equation is, in this context, that of a mild solution on spaces of continuous
functions but, unlike in Chap. 4, the BSDE method seems particularly adapted to
treating degenerate cases in which the transition semigroup has no smoothing
properties. The price to pay is that normally we need more regular coefficients and a
structural condition (imposing, roughly speaking, that the control acts within the
image of the noise). If these requirements are satisfied, the BSDE techniques are
revealed to be very flexible. In particular, in Chap. 6 we will show how they allow
us to treat both parabolic and elliptic HJB equations (see [77, 286, 352, 436, 478]).
The parabolic case is treated for nonconstant diffusion and Lipschitz nonlinearity,
while the elliptic case is considered for a constant diffusion operator with locally
Lipschitz (with respect to the gradient) nonlinearity and a mild dissipativity
assumption (with respect to the solution). We also report (without proofs) the
results of [286] concerning elliptic HJB equations with nonconstant diffusion, a
globally Lipschitz Hamiltonian and strong dissipativity. A detailed discussion of the
literature on BSDEs in infinite dimension is contained in the bibliographical notes
of Chap. 6.
It is impossible to cover all aspects of the theory of HJB equations in infinite
dimension and its connections to stochastic optimal control. In particular, the theory
of integro-PDEs is an emerging area which is not presented in the book. We do not
discuss first-order equations and extensions to Banach spaces. Equations in the
space of probability measures is another emerging topic. We have chosen a
selection of topics which give a broad overview of the field and enough information
so that the readers can start exploring the subject on their own. There are already
xiv Preface
enough important applications to justify the interest in the subject. The readers
should not be restricted to the boundaries drawn by the book. We hope that this
book will spur interest and research in the field among theoretical and applied
mathematicians, and that it will be useful to all kinds of scientists and researchers
working in areas related to stochastic control.
Suggestions for reading. The readers who are familiar with probability and
stochastic analysis in infinite dimension can skip Chap. 1 and go directly to Chap. 2.
Chapter 2 is needed for the understanding of the other chapters; however, some
material in Sect. 2.3 related to technical details of the proof of the dynamic pro-
gramming principle can be omitted during the first reading. Chaps. 3–6 are to a large
extent independent of each other, and hence the reader can pass from Chap. 2
directly to any of them.
The writing of this book was a daunting task which took several years to complete.
We greatly benefited from comments, remarks, and advice from many people who
read parts of the manuscript or provided useful suggestions regarding the book.
Their input improved the content of this book and the presentation of the material
and reduced the number of mistakes and errors. The list, in alphabetical order,
includes Elena Bandini, Daniel Bauer, Enrico Biffis, Sandra Cerrai, Andrea Cosso,
Giuseppe Da Prato, Cristina Di Girolami, Salvatore Federico, Ben Goldys, Carlo
Marinelli, Federica Masiero, Chenchen Mou, Mauro Rosestolato, Nizar Touzi, and
Jerzy Zabczyk. We thank all of them for their valuable help.
G. Fabbri wishes to express his gratitude to his wife Sara for her constant
understanding and encouragement.
F. Gozzi is grateful to his family (Enrica, Matteo, and Marta) who supported him
in this long work and to all his friends who encouraged him to accomplish this
book. He also expresses special thanks to G. Da Prato, for introducing him to the
theory of HJB equations in infinite dimension, for constant encouragement in this
work, and also for reading part of the manuscript.
A. Święch would also like to express his gratitude to M.G. Crandall who
introduced him to viscosity solutions and PDEs in infinite-dimensional spaces and
who greatly influenced his mathematical career.
M. Fuhrman and G. Tessitore would like to thank G. Da Prato and J. Zabczyk for
introducing them to stochastic analysis and for their constant help and support.
Finally, we are grateful to Boris Rozovski, the former editor of the series, for his
support and Marina Reizakis and the Springer production team for their patience
with us and for their very professional handling of the project.
xv
Contents
xvii
xviii Contents
xxiii
Chapter 1
Preliminaries on Stochastic Calculus
in Infinite Dimension
We recall some basic notions of measure theory and give a short introduction to
random variables and the theory of the Bochner integral.
Definition 1.1 (π-system, σ-field) Consider a set and denote by P() the power
set of .
Every bounded measure on (S, B(S)) is regular (see [478], Chap. II, Theorem 1.2).
A bounded measure μ on (S, B(S)) is called tight if for every ε > 0 there exists
a compact set K ε ⊂ S such that μ(S \ K ε ) < ε. If S is a Polish space then every
bounded measure on (S, B(S)) is tight (see [478], Chap. II, Theorem 3.2).
4 1 Preliminaries on Stochastic Calculus in Infinite Dimension
We refer to [58, 61, 267, 370, 478] for more on the general theory of measure
and probability.
Proof The proof follows the lines of the proof of Lemma 1.25, p. 13, in [370].
Step 1: Let us assume first that f = x1 A (1 A denotes the characteristic function
of the set A) for some A ∈ G2 and x ∈ S. By hypothesis, we can find B ∈ G1 s.t.
P(AB) = 0 and then the claim is proved if we choose gn ≡ g = x1 B . The same
argument holds for a simple function f .
Step 2: For the case of a general f , thanks to Lemma 1.15 we can find a sequence
of simple, G2 -measurable functions f n such that d( f (ω), f n (ω)) monotonically
decreases to 0. By Step 1, we can find simple, G1 -measurable functions gn such
that f n = gn , P-a.e. Thus the claim follows by taking g(ω) := lim gn (ω) if the limit
exists and g(ω) = s (for some s ∈ S) otherwise.
Lemma 1.17 Let (, F ) be a measurable space, and V ⊂ E be two real separable
Banach spaces such that the embedding of V into E is continuous. Then:
(i) B(E) ∩ V ⊂ B(V ) and B(V ) ⊂ B(E).
(ii) If X : → V is F /B(V )-measurable, then it is F /B(E)-measurable.
(iii) If X : → E is F /B(E)-measurable, then X · 1{X ∈V } is F /B(V )-
measurable.
(iv) X : → E is F /B(E)-measurable if and only if for every f ∈ E ∗ , f ◦ X is
F /B(R)-measurable.
Proof The embedding of V into E is continuous, so B(E) ∩ V ⊂ B(V ). Since the
embedding is also one-to-one, it follows from [478], Theorem 3.9, p. 21, that B(V ) ⊂
B(E), which completes the proof of (i). Parts (ii) and (iii) are direct consequences
of (i). f () is separable because E is separable, so Part (iv) is a particular case of
the Pettis theorem, see [488] Theorem 1.1.
Lemma 1.18 Let (, F ) be a measurable space and (S1 , ρ1 ), (S2 , ρ2 ) be two metric
spaces with S1 separable. Let f : × S1 → S2 be such that
(i) for each x ∈ S1 , the function f (·, x) : → S2 is F /B(S2 )-measurable;
(ii) for each ω ∈ the function f (ω, ·) : S1 → S2 is continuous.
Then f : × S1 → S2 is F ⊗ B(S1 )/B(S2 )-measurable.
Proof See Lemma 4.51, p. 153 of [8].
Notation 1.19 If E is a Banach space we denote by | · | E its norm. Given two Banach
spaces E and F, we denote by L(E, F) the Banach space of all continuous linear
operators from E to F. If E = F we will usually write L(E) instead of L(E, F). If
H is a Hilbert space we denote by ·, · its inner product. We will always identify H
with its dual via Riesz representation theorem. If V, H are two real separable Hilbert
spaces, we denote by L2 (V, H ) the space of Hilbert–Schmidt operators from V to
H (see Appendix B.3). The space L2 (V, H ) is a real separable Hilbert space with
the inner product ·, ·2 , see Proposition B.25.
Lemma 1.20 Let (, F ) be a measurable space and V, H be real separable Hilbert
spaces. Suppose that F : → L2 (V, H ) is a map such that for every v ∈ V , F(·)v
is F /B(H )-measurable. Then F is F /B(L2 (V, H ))-measurable.
1.1 Basic Probability 7
+∞
ω→F(ω), T 2 = F(ω)ek , T ek
k=1
where
n
FnT (ω) = F(ω)ek , T ek
k=1
and FnT (ω) is F /B(R)-measurable because it is a finite sum of functions that are
F /B(R)-measurable.
Let I be an interval in R, E, F be two real Banach spaces, and let E be separable.
If f : I × E → F is Borel measurable then for every t ∈ I the function f (t, ·) :
E → F is Borel measurable (by Lemma 1.8-(iv)).
Assume now that, for all t ∈ I and for some m ≥ 0, f (t, ·) ∈ Bm (E, F) (the space
of Borel measurable functions with polynomial growth m, see Appendix A.2 for the
precise definition). It is not true in general that the function
where (St )t≥0 is the semigroup of left translations. Indeed, the map
is not measurable (see e.g. [180], Sect. 1.2). Since L(L 2 (R))⊂B1 (L 2 (R), L 2 (R))
and the norm in L(L 2 (R)) is equivalent to the one induced by B1 (L 2 (R), L 2 (R)),
the claim follows in a straightforward way.
On the other hand, we have the following useful result.
Lemma 1.21 Let I and be two Polish spaces. Let μ be a measure defined on the
Borel σ-field B(I ) and denote by B(I ) the completion of B(I ) with respect to μ.
Let f : I × → R be Borel measurable and such that for every t ∈ I , f (t, ·) is
bounded from below (respectively, above). Then the function
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
textbookfull.com