Steps to Verify Self-Adjointness on a Given Operator Domain

📚 Definition of Self-Adjointness

A self-adjoint operator, also known as a Hermitian operator, is a linear operator on a Hilbert space that is equal to its adjoint. More formally, an operator $A$ is self-adjoint if $A = A^*$, where $A^*$ is the adjoint of $A$. However, verifying self-adjointness requires careful consideration of the operator's domain.

📜 Historical Context

The concept of self-adjoint operators arose from the study of Hermitian matrices in finite-dimensional spaces. The extension to infinite-dimensional Hilbert spaces was crucial in the development of quantum mechanics, where self-adjoint operators represent physical observables. Mathematicians like John von Neumann and Marshall Stone made significant contributions to the rigorous formulation of self-adjointness.

🔑 Key Principles for Verification

• 🔍 Define the Operator and Domain: Clearly specify the operator $A$ and its domain $D(A)$, which is a subspace of the Hilbert space $H$. The domain is crucial because the adjoint operator depends on it.
• 📏 Determine the Adjoint Operator: Find the adjoint operator $A^*$ and its domain $D(A^*)$. This involves finding all $y \in H$ such that $\langle Ax, y \rangle = \langle x, A^*y \rangle$ for all $x \in D(A)$.
• 🤝 Show Domain Inclusion: Prove that $D(A)$ is a subset of $D(A^*)$, i.e., $D(A) \subseteq D(A^*)$. This means every element in the domain of $A$ must also be in the domain of $A^*$.
• ⚖️ Verify Equality: For all $x \in D(A)$, show that $Ax = A^*x$. This demonstrates that the operator and its adjoint are equal on the domain of the original operator.
• ✅ Conclusion: If all the above steps are satisfied, then the operator $A$ is self-adjoint on the domain $D(A)$.

🧪 Real-world Example: The Momentum Operator

Consider the momentum operator $P = -i \frac{d}{dx}$ on the Hilbert space $L^2([0, 1])$ with periodic boundary conditions. Let's examine the steps to verify its self-adjointness.

1. Define the Operator and Domain: $P = -i \frac{d}{dx}$ and $D(P) = \{f \in L^2([0, 1]) : f' \in L^2([0, 1]), f(0) = f(1) \}$.
2. Determine the Adjoint Operator: We need to find $P^*$ such that $\langle Pf, g \rangle = \langle f, P^*g \rangle$ for all $f \in D(P)$ and $g \in D(P^*)$. $\langle Pf, g \rangle = \int_0^1 -i f'(x) \overline{g(x)} dx$. Integrating by parts gives: $= -i [f(x) \overline{g(x)}]_0^1 + \int_0^1 i f(x) \overline{g'(x)} dx$. Since $f(0) = f(1)$, the boundary term becomes $-i f(1) \overline{g(1)} + i f(0) \overline{g(0)} = -i f(0) (\overline{g(1)} - \overline{g(0)})$. For the adjoint to exist, we require $g(0) = g(1)$. Thus, $P^* = -i \frac{d}{dx}$ and $D(P^*) = \{g \in L^2([0, 1]) : g' \in L^2([0, 1]), g(0) = g(1) \}$.
3. Show Domain Inclusion: Since $D(P)$ and $D(P^*)$ are defined by the same conditions ($f(0) = f(1)$ and $g(0) = g(1)$), $D(P) \subseteq D(P^*)$ and $D(P^*) \subseteq D(P)$. Therefore, $D(P) = D(P^*)$.
4. Verify Equality: For all $f \in D(P)$, $Pf = -i \frac{d}{dx} f$ and $P^*f = -i \frac{d}{dx} f$. Thus, $Pf = P^*f$.

🔑 Table of Common Operators and Self-Adjointness

💡 Tips and Tricks

• 🧠 Understand the Domain: The domain of the operator is as important as the operator itself. Pay close attention to boundary conditions.
• 📝 Integration by Parts: When dealing with differential operators, integration by parts is often necessary to find the adjoint.
• 🤔 Symmetry vs. Self-Adjointness: Symmetry ($\langle Ax, y \rangle = \langle x, Ay \rangle$) is a necessary but not sufficient condition for self-adjointness. You must also verify the domain condition.

📝 Conclusion

Verifying self-adjointness on a given operator domain involves carefully defining the operator and its domain, finding the adjoint operator, showing domain inclusion, and verifying equality of the operator and its adjoint on the specified domain. This process is crucial in many areas of mathematics and physics, particularly in quantum mechanics.