8
$\begingroup$

For some reason, I have to work with Trotter product formula recently, but I do not have a strong background in functional analysis.

The following is the statement of the formula from MathWorld

When A and B are self-adjoint operators, $ e^{t(A+B)} = \lim_{n \to +\infty}(e^{tA/n}e^{tB/n})^n $

My questions are:

  • What does the exponential of an operator mean precisely?

  • How to interpret the convergence? In terms of some norm?

  • 2
    $e^A=\sum_{k=1}^{\infty}A^k/k!$. if $A$ comes from some normed space (for instance the euclidean norm on $\mathbb{R}^{n^2}$ for an $n\times n$ matrix or $\sup_{|x|=1} |Ax|/|x|$ for a bounded operator on a banach space) then you can take convergence wrt that norm. see maybe http://en.wikipedia.org/wiki/Matrix_exponential http://en.wikipedia.org/wiki/Exponential_map#Lie_theory2011-06-23

1 Answers 1

10

In this case $e^{tA}$ denotes the strongly continuous semigroup generated by the operator $A$ which does not have to be bounded (otherwise it is quite boring).

I suggest you take a look at the book "A Short Course In Operator Semigroups" by Engel and Nagel.

The book is in the yellow sale and available on springerlink.

This formula can be deduced from the Chernoff product formula so you could also look for that. Check out Chapter IV.2.

In the Seventh Internet Seminar 2003/04 semigroups were also treated and the book I'm recommending is based on those notes. Those notes can probably be found online.

  • 0
    @Hawii: No problem! There is also the bigger brother of this book by the same authors but I didn't read it. I had a seminar where we studied the book I have linked and my subject was the Chernoff product formula (which has the Trotter product formula as corollary). Why do I say this? Well, because I have read the book and to me it is very readable (and this also seemed to be the case for the other participants) so I can recommend it.2011-06-23