[Math] Calculating the operator adjoint to the partial time derivative

quantum mechanics

I want to show that for any $\mathcal{L}^2(\mathbb{C}^n\times\mathbb{R},\mathbb{C})$-function $\Psi(x,t)$ the differential operator $\partial_t$ is self-adjoint, i.e. $\langle\Phi|\partial_t\Psi\rangle=\langle\partial_t\Phi|\Psi\rangle$ for any $\Phi,\Psi\in\mathcal{L}^2(\mathbb{C}^n\times\mathbb{R},\mathbb{C})$, and therefore $\partial^\dagger_t=\partial_t$.

By definition the Hermitian scalar product of $\Psi,\Phi$ is
$$\langle\Phi(t)|\partial_t\Psi(t)\rangle=\int_{\mathbb{C}^n}\Phi^\ast(x,t)\frac{\partial\Psi}{\partial t}(x,t)d^nx.$$

Because of $\frac{\partial\Phi^\ast\Psi}{\partial t}(x,t)=\Phi^\ast(x,t)\frac{\partial\Psi}{\partial t}(x,t)+\frac{\partial\Phi}{\partial t}(x,t)\Psi(x,t)$, we can rewrite this as

$$\int_{\mathbb{C}^n}\Phi^\ast(x,t)\frac{\partial\Psi}{\partial t}(x,t)d^nx = \int_{\mathbb{C}^n}\frac{\partial\Phi^\ast\Psi}{\partial t}(x,t)d^nx-\int_{\mathbb{C}^n}\frac{\partial\Phi^\ast}{\partial t}(x,t)\Psi(x,t)d^nx.$$

Since $\Phi(x,t),\Psi(x,t)$ are $\mathcal{L}^2$-integrable over $\mathbb{C}^n$ for each constant $t\in\mathbb{R}$ by default we can exchange the integral and the differential for the first summand, which gives us:

$$\int_{\mathbb{C}^n}\frac{\partial\Phi^\ast\Psi}{\partial t}(x,t)d^nx = \frac{\partial}{\partial t}\int_{\mathbb{C}^n}\Phi^\ast\Psi(x,t)d^nx = \frac{\partial}{\partial t}|\langle\Phi(t)|\Psi(t)\rangle|^2.$$

This is equal to zero, which we can show by using the unitary time evolution operator $U(t,t_0)$. Let $|\Psi(t)\rangle = U(t,t_0)|\Psi(t_0)\rangle$. Then $\langle\Phi(t)| = \left(U(t,t_0)|\Phi(t_0)\rangle\right)^\dagger=\langle\Phi(t_0)|U^\dagger(t,t_0)$. Therefore, the scalar product of both vectors is time-independent:

$$ \frac{\partial}{\partial t}|\langle\Phi(t)|\Psi(t)\rangle|^2 = \frac{\partial}{\partial t}\langle\Phi(t_0)|U^\dagger(t,t_0)U(t,t_0)|\Psi(t_0)\rangle = \frac{\partial}{\partial t}\langle\Phi(t_0)|\Psi(t_0)\rangle = 0.$$

Hence, we now have the following equation:
$$\int_{\mathbb{C}^n}\Phi^\ast(x,t)\frac{\partial\Psi}{\partial t}(x,t)d^nx = -\int_{\mathbb{C}^n}\frac{\partial\Phi^\ast}{\partial t}(x,t)\Psi(x,t)d^nx.$$

Doesn't this rather mean that $\partial^\dagger_t=-\partial_t$? This is where I am stuck.

Best Answer

What you wrote is wrong, sorry. If the Hilbert space is $L^2(\mathbb C^n \times \mathbb R, \mathbb C)$, then the relevant integral is $$\int_{\mathbb C^n \times \mathbb R} \overline{\psi(x,t)} \phi(x,t) d^nx dt\tag{1}$$ where (I am interpreting your notations) the functions are complex-valued and $d^nx$ is the Lebesgue measure over $\mathbb C^n$ viewed as $\mathbb R^{2n}$ and $dt$ the one over $\mathbb R$. Presumably your $\mathbb C^n$ should be $\mathbb R^n$.

Instead you use the measure $d^nx$ over the factor factor only. $$\int_{\mathbb C^n} \overline{\psi(x)} \phi(x) d^nx$$ In this case it does make any sense to wonder whether or not $\partial_t$ is Hermitian or not, since it is not an operator over the linear space $L^2(\mathbb C^n, \mathbb C)$, that is on the functions $\psi=\psi(x)$

(Even dealing with the whole Hilbert space $L^2(\mathbb C^n \times \mathbb R, \mathbb C)$ and the scalar product (1) there would be other issues regarding regularity of functions but the problem arising from your approach is much more relevant.)

In elementary Quantum Mechanics the Hilbert space is $L^2(\mathbb R^n)$ referred to Lebesgue's measure $d^nx$ over $\mathbb R^n$.

Operators are linear maps $A: D(A) \to L^2(\mathbb R^n)$ where $D(A) \subset L^2(\mathbb R^n)$ is a (usually dense) linear subspace.

You are instead considering a function from $\mathbb R$ to $L^2(\mathbb R^n)$ physically representing the temporal evolution of a vector $\psi_0$ at $t=0$ $$\mathbb R \ni t \mapsto \psi_t \in L^2(\mathbb R^n) $$ The derivative you are considering acts on such a family $$\partial_t \psi_t := \lim_{h \to 0} \frac{\psi_{t+h} -\psi_t}{h} \tag{2}$$ and, if exists, is computed with respect to the topology of $L^2(\mathbb R^n)$. You see that to compute (2) you need a $t$-parametrized family of vectors.

With a single vector $\psi \in L^2(\mathbb R^n)$, $\partial_t \psi$ would not have any meaning, differently from, say, $A\psi$ -- where $A$ is a true linear operator in $L^2(\mathbb R^n)$ and $\psi \in D(A)$ -- which is meaningful.

Related Question