summaryrefslogtreecommitdiff
path: root/source/know/concept/propagator/index.md
blob: 54e9eb67e4e3e0a293062c7c19dbfd41f79ef7db (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
---
title: "Propagator"
sort_title: "Propagator"
date: 2021-07-04
categories:
- Physics
- Quantum mechanics
layout: "concept"
---

In quantum mechanics, the **propagator** $$K(x_f, t_f; x_i, t_i)$$
gives the probability amplitude that a particle
starting at $$x_i$$ at $$t_i$$ ends up at position $$x_f$$ at $$t_f$$.
It is defined as follows:

$$\begin{aligned}
    \boxed{
        K(x_f, t_f; x_i, t_i)
        \equiv \matrixel{x_f}{\hat{U}(t_f, t_i)}{x_i}
    }
\end{aligned}$$

Where $$\hat{U} \equiv \exp(- i t \hat{H} / \hbar)$$ is the time-evolution operator.
The probability that a particle travels
from $$(x_i, t_i)$$ to $$(x_f, t_f)$$ is then given by:

$$\begin{aligned}
    P
    &= \big| K(x_f, t_f; x_i, t_i) \big|^2
\end{aligned}$$

Given a general (i.e. non-collapsed) initial state $$\psi_i(x) \equiv \psi(x, t_i)$$,
we must integrate over $$x_i$$:

$$\begin{aligned}
    P
    &= \bigg| \int_{-\infty}^\infty K(x_f, t_f; x_i, t_i) \: \psi_i(x_i) \dd{x_i} \bigg|^2
\end{aligned}$$

And if the final state $$\psi_f(x) \equiv \psi(x, t_f)$$
is not a basis vector either, then we integrate twice:

$$\begin{aligned}
    P
    &= \bigg| \iint_{-\infty}^\infty \psi_f^*(x_f) \: K(x_f, t_f; x_i, t_i) \: \psi_i(x_i) \dd{x_i} \dd{x_f} \bigg|^2
\end{aligned}$$

Given a $$\psi_i(x)$$, the propagator can also be used
to find the full final wave function:

$$\begin{aligned}
    \boxed{
        \psi(x_f, t_f)
        = \int_{-\infty}^\infty \psi_i(x_i) K(x_f, t_f; x_i, t_i) \:dx_i
    }
\end{aligned}$$

Sometimes the name "propagator" is also used to refer to
the [fundamental solution](/know/concept/fundamental-solution/) $$G$$
of the time-dependent Schrödinger equation,
which is related to $$K$$ by:

$$\begin{aligned}
    \boxed{
        G(x_f, t_f; x_i, t_i)
        = - \frac{i}{\hbar} \: \Theta(t_f - t_i) \: K(x_f, t_f; x_i, t_i)
    }
\end{aligned}$$

Where $$\Theta(t)$$ is the [Heaviside step function](/know/concept/heaviside-step-function/).