13
$\begingroup$

In the Quantum Mechanics course I took, we defined the operator exponential simply as $$ \mathrm{e}^{\hat A} = \sum_{n=0}^\infty \frac{1}{n!} \hat A^n \: . $$ This is probably a good definition for bounded operators $\hat A \in B(\mathcal H)$ over some Hilbert space $\mathcal H$, since the partial sums form a Cauchy sequence and $B(\mathcal H)$ is complete, therefore the sum always converges to some operator $\mathrm{e}^{\hat A} \in B(\mathcal H)$. $$ \hat S_n = \sum_{k = 0}^n \frac{1}{k!} \hat A^k, \quad \left\lVert \hat S_n - \hat S_m \right\rVert = \left\lVert \sum_{k = m}^n \frac{1}{k!} \hat A^k \right\rVert \leq \sum_{k = m}^n \frac{1}{k!} \left\lVert \hat A^k \right\rVert \leq \sum_{k = m}^n \frac{1}{k!} \left\lVert \hat A \right\rVert^k \to 0 $$

However we never discussed whether this is well-defined for unbounded operators, although it's not unusual to take an exponential of unbounded operators, for example when “generating” operators from infinitesimal transformations (eg. this question: [1]).

My questions are:

  • Is this definition correct for unbounded operators, too?
  • If not, what is the correct definition?
  • What properties has $\hat A$ got to have in order to have a well-defined exponential?
  • If $\hat A$ is defined on $D(\hat A)$ what is the domain of $\mathrm{e}^{\hat A}$?
$\endgroup$
  • 3
    $\begingroup$ This is a pure Mathematics question. In short, no, the definition for an unbounded operator is in terms of the spectral decomposition (for a normal unbounded operator). $\endgroup$ – DanielC Aug 20 at 22:53
  • 10
    $\begingroup$ Yes, it is pure mathematics but it has a enormous impact on computations and formal manipulations proper of quantum theories. Usually, Mathematicians do not have the right "sensitivity" to answer this question as a physicist would like. $\endgroup$ – Valter Moretti Aug 21 at 8:45
10
$\begingroup$

The mathematical name for the theory of applying functions to operators is functional calculus, and the one employed usually when one wants to rigorously talk about e.g. the exponential of the position and momentum operators - for instance in the context of Stone's theorem - is Borel functional calculus. It works for all normal operators, i.e. all operators to which you can apply some version of the spectral theorem to get the spectral measure that a physicist would write as $\int a \lvert a\rangle\langle a\rvert\mathrm{d}a$ for $\lvert a\rangle$ the "eigenstates" of some normal operator $A$.

Applying the operator $A$ is the same as applying $\int a\lvert a\rangle\langle a\rvert \mathrm{d}a$, so applying $f(A)$ is the same as applying $\int f(a)\lvert a\rangle\langle a\rvert\mathrm{d}a$. The difficulty mathematically is proving the existence and uniqueness of the operator described by this modified spectral measure. E. g. the book of Simon and Reed should have a proof of the well-definedness of the functional calculus required for physical applications.

The domain of the resulting operator is the entire Hilbert space if $f$ is bounded, and if $f$ is unbounded, then it is whatever subset of the Hilbert space the expression $\int f(a)\lvert a\rangle \langle a\vert \psi\rangle\mathrm{d}a$ converges on. Note again that, rigorously, things like $\lvert a\rangle$ don't really exist within the Hibert space and $a \lvert a\rangle\langle a\rvert \mathrm{d}a$ is just one indivisible expression denoting the spectral measure.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thank you for your answer, you definitely pointed me in the right direction! I already have Simon&Reed in my reading list, I'll try to get to it sooner :) Right now your answer sounds a bit abstract for me and I struggle to imagine how I would use it in practise. If you could provide an example how this machinery works, eg. on the differential operator $\frac{\partial}{\partial x}$, it would be greatly appreciated! (My questions would be: what is the spectral measure of $\frac{\partial}{\partial x}$, how do i use it to compute $\exp \frac{\partial}{\partial x}$ and what is its domain?) $\endgroup$ – m93a Aug 20 at 23:15
  • 1
    $\begingroup$ @m93a If you don't know about projection-valued measures it's difficult to do an example. By Fourier transform, the differentiation is the same as a multiplication operator on the Fourier transform and then see e.g. Wikipedia for its spectral measure. In practice as a physicist, you will just manipulate the expressions I wrote down in all the ways physicists usually do with little regard for rigor...and in practice as a mathematician, you first need to learn the abstract stuff. $\endgroup$ – ACuriousMind Aug 20 at 23:23
11
$\begingroup$

Even if there is already a good accepted answer I would like to say something further to completely fix some details.

Is this definition correct for unbounded operators, too?

No, it does not work essentially because of the used wrong notion of convergence.

However, it is possible to prove that, if $A$ -- with dense domain $D(A)$ -- is closed and normal (*) -- which includes the selfadjoint case -- then there is a dense subspace $D_A\subset D(A)$ of vectors, called analytic vectors where the formula is still valid with the crucial changes that the

(a) operators have to be applied to these vectors

(b) the topology of the Hilbert space has to be used (the series is now of vectors rather than operators),

$$e^{tA}\psi = \sum_{n=0}^{+\infty} \frac{t^n}{n!}A^n \psi\:, \quad \forall \psi \in D_A$$

The parameter $t\in \mathbb{C}$ can be taken in a sufficiently small neighborhood of $0$, independent of $\psi\in D_A$.

I stress that the series is not the definition of the exponential, the identity above is an identity of two independently defined mathematical objects.

However that series can be used to equivalently define the exponential on the said domain and this definition coincides with the definition for unbounded operators below.

If not, what is the correct definition?

If $A: D(A) \to H$, densely defined, is closed and normal, then it admits a spectral measure $P: B(\mathbb{C}) \to B(H)$, where $B(\mathbb{C})\ni E$ is the Borel $\sigma$-algebra on $\mathbb{C}$ and each $P(E)$ is an orthogonal projector in $H$.

We can eventually define (on a suitably dense domain defined below) $$f(A) := \int_{\mathbb{C}} f(\lambda) dP(\lambda)\tag{1}$$ for every Borel-measurable function $f: \mathbb{C}\to \mathbb{C}$.

The exponential of the said $A$ is defined in this way simply replacing $f$ for the exponential map.

If $A$ is selfadjoint, $B(\mathbb{C})$ can be repalced by $B(\mathbb{R})$ since outside $\mathbb{C}$ the spectral measure vanishes.

Actually the support of the spectral measure of $A$ (densely-defined, closed, and normal) always coincides with the spectrum $\sigma(A)$ of $A$.

What properties has 𝐴̂ got to have in order to have a well-defined exponential?

We have two cases which actually coincide where both definitions are suitable.

(a) If $A$ is everywhere defined and bounded, the exponential is automatically well-defined by its series expansion -- with respect to the operator norm-- and this expansion can be used as the very definition.

(b) If $A$ is not everywhere defined / bounded, the previous definition (1) based on the Borel functional calculus applies when $A$ is densely defined, normal, and closed, in particular selfadjoint.

This latter definition (b) coincides with the former (a) when $A$ is everywhere defined, bounded and normal, for instance if $A$ is unitary.

As declared at the beginning, the series expansion is however valid for densely-defined, closed, normal operators working on analytic vectors and using the norm of $H$ (technically the strong operator topology).

As far as I know these (densely-defined, closed normal) are the minimal requirements producing a consistent theory for unbounded operators.

If 𝐴̂ is defined on 𝐷(𝐴̂ ) what is the domain of exp 𝐴̂ ?

The domain of $f(A)$ as in (1) is

$$D(f(A)) = \left\{\psi \in H \:\left|\: \int_{\mathbb{c}} |\psi(x)|^2 d \mu^A_\psi(x)< +\infty \right.\right\}\tag{2}$$ where $$\mu^A_\psi(E) := \langle \psi |P(E) \psi\rangle$$ is a complex Borel measure which becomes a standard positive finite Borel measure if $A$ is selfadjoint.

If $A$ is selfadjoint $\mu^A_\psi$ is supported in $\mathbb{R}$ actually on $\sigma(A)$. There, $f(x) = \exp x$ is not bounded (unless $\sigma(A)$ is bounded which menas that $A$ is bounded), so that $D(f(A)) \subsetneq H$.

However if you instead consider $f(x)= \exp ix$ and $A$ is selfadjoint, then $f$ is boundend by $1$ on $\mathbb{R}$. Since $\mu^A_f(\mathbb{R}) = ||\psi||^2 < +\infty$, it turns out from (2) that $$D(f(A)) = H\:.$$


(*) $A: D(A) \to H$ is closed if the set of pairs $(\psi, A\psi)$ with $\psi \in D(A)$ is a closed set in $H \times H$.

$A: D(A) \to H$ densely defined is normal if $A^\dagger A= A A^\dagger$ on the natural domains of both sides.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thank you for a very thorough and practical answer! $\endgroup$ – m93a Aug 21 at 17:59
  • $\begingroup$ In equation (2) you are missing $<\infty$. $\endgroup$ – DanielC Aug 22 at 18:05
  • $\begingroup$ @DanielC many thanks, I have corrected the formula. $\endgroup$ – Valter Moretti Aug 22 at 19:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.