Lecture 1. Semigroups in Banach spaces: The Hille-Yosida theorem

The first few lectures will be devoted to some elements of  the general theory of operators in Banach and Hilbert spaces which are useful when studying Dirichlet forms. In this lecture, we focus on the HilleYosida theorem.

Let (B,\| \cdot \|) be a Banach space, which for us will later be L^p(X,\mu), where (X,\mu) is a measure space.

Definition:  A family of bounded operators (P_t)_{t \ge 0} on B is called a strongly continuous contraction semigroup if:

  1. T_0 =\mathbf{Id} and for s,t \ge 0, P_{s+t}=P_s P_t;
  2. For every  x \in B, the map  t \to P_t x is continuous;
  3. For every  x \in B and t \ge 0, \| P_t x \| \le \|x \|.

We  recall that a densely defined linear operator A: \mathcal{D}(A) \subset B \to B is said to be closed if for every sequence x_n \in \mathcal{D}(A) that converges to x \in B and such that Ax_n \to y \in B, we have x \in \mathcal{D}(A) and y=Ax.

Proposition: Let (P_t)_{t \ge 0} be a strongly continuous contraction semigroup on B. There exists a closed and densely defined operator A: \mathcal{D}(A) \subset B \to B where

\mathcal{D}(A)=\left\{ x \in B,\quad \lim_{t \to 0} \frac{P_t x -x}{t} \text{ exists} \right\},
such that for x \in \mathcal{D}(A),

\lim_{t \to 0} \left\| \frac{P_t x -x}{t} -Ax \right\|=0.
The operator A is called the generator of the semigroup (P_t)_{t \ge 0}. We also say that A generates (P_t)_{t \ge 0}.

Proof: Let us consider the following bounded operators on B :

A_t= \frac{1}{t} \int_0^t P_s ds.

For f \in B and h>0, we have
\frac{1}{t} \left( P_t A_h f -A_h f \right)  = \frac{1}{ht} \int_0^h (P_{s+t}f -P_{s}f )ds
= \frac{1}{ht} \int_0^t (P_{s+h}f -P_{s}f )ds.

Therefore, we obtain
\lim_{t \to 0} \frac{1}{t} \left( P_t A_h f -A_h f \right)=\frac{1}{h} \left( P_h f - f \right).
This implies,

\left\{ A_h f, f \in B, h >0 \right\} \subset \left\{ f \in B,\quad \lim_{t \to 0} \frac{P_t f -f}{t} \text{ exists} \right\}
Since \lim_{h \to 0} A_h f =f, we deduce that

\left\{ f \in B,\quad \lim_{t \to 0} \frac{P_t f -f}{t} \text{ exists} \right\}
is dense in B. We can then consider

Af = \lim_{t \to 0} \frac{P_t f -f}{t} ,
which is of course defined on the domain
\mathcal{D}(A)=\left\{ f \in B,\quad \lim_{t \to 0} \frac{P_t f -f}{t} \text{ exists} \right\}. \square

We may observe that the proof of the above result does not involve the contraction property of (T_t)_{t \ge 0}, so that it may be extended to strongly continuous semigroups.

Let A: \mathcal{D}(A) \subset B \rightarrow B be a densely defined closed operator. A constant \lambda \in \mathbb{R} is said to be in the spectrum of A if the operator \lambda \mathbf{Id}-A is not bijective. In that case, it is a consequence of the closed graph theorem that if \lambda is not in the spectrum of A , then the operator \lambda \mathbf{Id}-A has a bounded inverse. The spectrum of an operator A shall be denoted \rho(A).

The following important theorem is due to Hille and Yosida and provides, through spectral properties, a characterization of closed operators that are generators of contraction semigroups.

Theorem: (Hille-Yosida theorem) A necessary and sufficient condition that a densely defined closed operator A generates a strongly continuous contraction semigroup is that:

  1. \rho (A) \subset (-\infty,0];
  2. \| (\lambda \mathbf{Id} -A)^{-1} \| \le \frac{1}{\lambda} for all \lambda > 0.

Proof: Let us first assume that A generates a strongly continuous contraction semigroup (T_t)_{t \ge 0}. Let \lambda >0 . We want to prove that \lambda \mathbf{Id}-A is a bijective operator \mathcal{D}(A) \rightarrow B. The formal Laplace transform formula
\int_0^{+\infty} e^{-\lambda t} e^{tA} dt=(\lambda \mathbf{Id}-A)^{-1},
suggests that the operator
\mathbf{R}_\lambda =\int_0^{+\infty} e^{-\lambda t} T_t dt
is the inverse of \lambda \mathbf{Id}-A.  We prove this is the case. First, let us observe that \mathbf{R}_\lambda is well-defined as a Riemann integral since t \to T_t is continuous and \| T_t \| \le 1.  We now show that for x \in B, \mathbf{R}_\lambda x \in \mathcal{D}(A). For h > 0, we have
\frac{T_h -\mathbf{Id}}{h} \mathbf{R}_\lambda x = \int_0^{+\infty} e^{-\lambda t} \frac{T_h -\mathbf{Id}}{h} T_t x dt
=\int_0^{+\infty} e^{-\lambda t} \frac{T_{h+t} -T_t}{h} x dt
= e^{\lambda h} \int_h^{+\infty} e^{-\lambda s} \frac{T_{s} -T_{s-h}}{h} x ds
=\frac{e^{\lambda h}}{h} \left( \mathbf{R}_\lambda x -\int_0^h e^{-\lambda s} T_{s} x ds- \int_h^{+\infty} e^{-\lambda s} T_{s-h} xds \right)
=\frac{e^{\lambda h}-1}{h} \mathbf{R}_\lambda x-\frac{e^{\lambda h}}{h}\int_0^h e^{-\lambda s} T_{s} x ds

By letting h \to 0, we deduce that \mathbf{R}_\lambda x \in \mathcal{D}(A) and moreover A \mathbf{R}_\lambda x =\lambda \mathbf{R}_\lambda x -x.
Furthermore, it is readily checked that, since A is closed, for x \in \mathcal{D}(A),

A \mathbf{R}_\lambda x=A\int_0^{+\infty} e^{-\lambda t} T_t xdt= \int_0^{+\infty} e^{-\lambda t} A T_t xdt

=\int_0^{+\infty} e^{-\lambda t} T_t A xdt =\mathbf{R}_\lambda A x.
We therefore conclude
(\lambda \mathbf{Id}-A) \mathbf{R}_\lambda =\mathbf{R}_\lambda (\lambda \mathbf{Id}-A)=\mathbf{Id}.
Thus,
\mathbf{R}_\lambda=(\lambda \mathbf{Id}-A)^{-1},
and it is clear that
\| \mathbf{R}_\lambda \| \le \frac{1}{\lambda}.

Let us now assume that A is a densely defined closed operator that satisfies the two assumptions of the theorem.

The idea is to consider the following sequence of bounded operators
A_n=-n \mathbf{Id}+n^2 (n\mathbf{Id}-A)^{-1},
from which it is easy to define a contraction semigroup and then to show that A_n \to A. We will then define a contraction semigroup associated to A as the limit of the contraction semigroups associated to A_n.

First, for x \in \mathcal{D}(A), we have
A_n x =n(n\mathbf{Id}-A)^{-1} A x \to_{n \to +\infty} 0.
Now, since A_n is a bounded operator, we may define a semigroup (T_t^n)_{t \ge 0} through the formula
T_t^n =\sum_{k=0}^{+\infty}\frac{t^k A_n^k}{k !}.
At that point, let us observe that we also have
T_t^n =e^{-nt} \sum_{k=0}^{+\infty}\frac{n^{2k} t^k (n\mathbf{Id}-A)^{-k}}{k !}.
As a consequence, we have
\|T_t^n \|  \le e^{-nt} \sum_{k=0}^{+\infty}\frac{n^{2k} \| (n\mathbf{Id}-A)^{-1}\|^k }{k !}

\le e^{-nt} \sum_{k=0}^{+\infty}\frac{n^{k} t^k }{k !}  \le 1
and (T_t^n)_{t \ge 0} is therefore a contraction semigroup. The strong continuity is also easily checked:
\| T_{t+h}^n -T_t^n \|  = \| T_t^n (T_{h}^n -\mathbf{Id})\|
 \le \| T_{h}^n -\mathbf{Id})\|
\le \sum_{k=1}^{+\infty}\frac{h^k \|A_n\|^k}{k !} \to_{h \to 0} 0.

We now prove that for fixed t \ge 0, x \in \mathcal{D}(A), (T_t^n x)_{n \ge 1} is a Cauchy sequence. We have
\| T_t^n x -T_t^m x \|  =\left\| \int_0^t \frac{d}{ds} (T_s^n T_{t-s}^m x) ds \right\|
 = \left\| \int_0^t T_s^n T_{t-s}^m (A_n x-A_mx) ds \right\|
 \le \int_0^t \| A_n x-A_mx \| ds

 \le t \| A_n x-A_mx \|.

Therefore for x \in \mathcal{D}(A), (T_t^n x)_{n \ge 1} is a Cauchy sequence and we can define

T_t x =\lim_{n \to +\infty} T_t^n x.
Since \mathcal{D}(A) is dense and the family (T_t^n )_{n \ge 1} uniformly bounded, the above limit actually exists for every x \in B, so that (T_t)_{t \ge 0} is well-defined on B. It is clear that (T_t)_{t \ge 0} is a strongly continuous semigroup, inheriting these properties from (T_t^n)_{t \ge 0} (the details are let to the reader here).

It remains to show that the generator of (T_t)_{t \ge 0}, call it \tilde{A} is equal to A. For every t \ge 0, x \in \mathcal{D}(A) and n \ge 1,

T_t^n x =x +\int_0^t T_s^n Ax ds,
therefore

T_t^n x =x +\int_0^t T_s^n Ax ds.
Hence \mathcal{D}(A) \subset \mathcal{D}(\tilde{A}) and for x \in \mathcal{D}(A), \tilde{A} x=Ax. Finally, since for \lambda > 0, (\lambda \mathbf{Id}-A) \mathcal{D}(A)=B=(\lambda \mathbf{Id}-\tilde{A}) \mathcal{D}(\tilde{A}), we conclude \mathcal{D}(A) = \mathcal{D}(\tilde{A}). \square

Exercise:  By using the proof of Hille-Yosida theorem, show the following fact: If A_1 and A_2 are the generators of contraction semigroups (T_t^1)_{t \ge 0} and (T_t^2)_{t \ge 0}, then for x \in B, the two following statements are equivalent:

  1.  \forall \text{ } \lambda > 0, \quad (\lambda \mathbf{Id}-A_1)^{-1}x= (\lambda \mathbf{Id}-A_2)^{-1}x;
  2. \forall \text{ } t \ge 0, \quad T_t^1x=T_t^2 x.

 

As powerful as it is, the Hille-Yosida theorem is difficult to directly apply to the theory of diffusion semigroups. The result of the following exercise is useful in concrete situations.
Exercise:   A densely defined operator on a Banach space B is called dissipative if for each x \in \mathcal{D}(A), we can find an element \phi of the dual space B^*, such that:

  1.  \| \phi \|=\|x \|;
  2.  \phi (x)=\| x\|^2;
  3. \phi (A x) \le 0.

Show that a closed operator A on a Banach space B is the generator of a strongly continuous contraction semigroup, if and only if:

  1.  A is dissipative;
  2.  For \lambda > 0, the range of the operator \lambda \mathbf{Id} -A is B.
Posted in Global analysis in Dirichlet spaces, Uncategorized | Leave a comment

Global analysis in Dirichlet spaces

In Spring 2019, I will be teaching a graduate class at the University of Connecticut about heat kernels in Dirichlet spaces and their applications. This will be the occasion to prepare a set of lecture notes on topics which have been close of my research interests in the last few years. I plan to cover the following topics:

  1. Dirichlet forms and heat semigroups: Dirichlet forms, spectral theory of self-adjoint operators, Riesz-Thorin interpolation, L^p theory of heat semigroups, heat kernels.
  2. Sobolev inequalities: Ultracontractivity, Varopoulos’ approach to Sobolev inequalities.
  3. Dirichlet spaces with Gaussian heat kernels: Regular Dirichlet forms, carre du champ operators and notions of gradients. The example of Riemannian manifolds with non-negative Ricci curvature will be explored in details.
  4. Dirichlet spaces with sub-Gaussian heat kernels: Energy measures, notions of gradients. The example of fractals will be explored in details.

Besides the lecture notes for this course, the following references will be a good complement.

A. Grigor’yanHeat kernels and function theory on metric measure spaces

 

Posted in Global analysis in Dirichlet spaces | Leave a comment

Sub-Laplacian comparison theorems

This is a talk about sub-Laplacian comparison theorems on Sasakian manifolds given   at the Institut Fourier in Grenoble in October 2018.

The associated paper, written in collaboration with Erlend Grong, Kazumasa Kuwada and Anton Thalmaier can be downloaded here.

 

 

Posted in Uncategorized | Leave a comment

HW10. MA3160. Due 11/29

Exercise. Let X, Y have joint density f(x,y)=c e^{-x-2y} if x,y \ge 0 and 0 otherwise.

(a)  Find c that makes this a joint pdf:

(b) Find E (X  Y^2 ).
(c) Find Var(X+Y)
Posted in Uncategorized | Leave a comment

HW9. MA3160, Fall 2018, Due 11/08

Exercise. Let X, Y have joint density f(x,y)=c e^{-x-2y} if x,y \ge 0 and 0 otherwise.

(a)  Find c that makes this a joint pdf:

(b) Find P (X < Y ).
Posted in Uncategorized | Leave a comment

HW8. MA3160. Due 11/1

Exercise 1. 

About 15% of the population is left-handed. Use the normal distribution to

approximate the probability that in a class of 150 students,

(a) at least 25 of them are left-handed.

(b) between 15 and 20 are left-handed.

 

Exercise 2.

Suppose the life of a Uphone has exponential distribution with mean life of 4 years. Let X denote the life of a Uphone (or time until it dies). Given that the Uphone has lasted 3 years, what is the probability that it will 5 more years.

Posted in Uncategorized | Leave a comment

HW7. MA3160. Due 10/25

Let X be a random variable with probability density function:

f(x) =cx(1−x) 0≤x≤1, 0 otherwise.

(a) What is the value of c?
(b) What is the cumulative distribution function of X ? That is, find F (x) = P (X ≤ x).

(c) Use your answer in part (b) to find P (2 ≤ X ≤ 3).

(d) What is E[X]?

(e) What is Var(X)?

Posted in Uncategorized | Leave a comment

HW6. MA3160 Due 10/18

 

Exercise 1. Rachel receives  an average of two texts every 3 hours. If we assume that the number of texts is Poisson distributed, what is the probability that she receives five or more texts in a 9 hours period?

Exercise 2.  A UConn student claims that she can distinguish Dairy Bar ice cream from Friendly’s ice cream. As a test, she is given ten samples of ice cream (each sample is either from the Dairy Bar or Friendly’s) and asked to identify each one. She is right eight times. What is the probability that she would be right exactly eight times if she guessed randomly for each sample?

Posted in Uncategorized | Leave a comment

HW5. MA3160. Due Thursday 10/4

Exercise 1. Three balls are randomly chosen with replacement from an urn containing 5 blue, 4 red, and 2 yellow balls. Let X denote the number of red balls chosen.

(a) What are the possible values of X?
(b) What are the probabilities associated to each value?

 

Exercise 2. Suppose X is a random variable such that E[X] = 50 and Var(X) = 12. Calculate the following quantities.

(a) E[X^2]
(b) E [2X + 2]

(c) E [(X+2)^2]

(d) Var[−X]

Posted in Uncategorized | Leave a comment

HW4. Due 09/27/2018

Exercise 1. Two dice are rolled. Consider the events A = {sum of two dice equals 3}, B = {sum of two dice equals 7 }, and C = {at least one of the dice shows a 1}.

(a) What is P(A | C)?

(b) What is P(B | C)?

(c) Are A and C independent? What about B and C?

 

Exercise 2. Suppose you roll two standard, fair, 6-sided dice. What is the probability that the sum is at least 9 given that you rolled at least one 6?

Exercise 3.  Color blindness is a sex-linked condition, and 5% of men and 0.25% of women are color blind. The population of the United States is 51% female. What is the probability that a color-blind American is a man?

Posted in Uncategorized | Leave a comment