Unpacking The Momentum Operator Commutator

by Andrew McMorgan 43 views

Hey guys, let's dive into a common point of confusion in quantum mechanics: the momentum operator commutator. Specifically, we're going to tackle showing that ["p-hat", V("x-hat")] = (".h"/i) * (dV("x-hat")/d"x-hat"). Now, I know what you might be thinking – typically, we work with commutators by having them act on a test function, like ψ(x)\psi(x). That's usually the go-to method, and it's perfectly valid. It involves writing out the commutator as [p^,V(x^)]ψ(x)[\hat{p}, V(\hat{x})] \psi(x) and then applying the operators step-by-step. You'd start with the momentum operator, p^=iddx\hat{p} = \frac{\hbar}{i}\frac{d}{dx}, acting on V(x^)ψ(x)V(\hat{x})\psi(x), which involves the product rule. Then you'd subtract the result of V(x^)V(\hat{x}) acting on p^ψ(x)\hat{p}\psi(x). This method, while correct, can sometimes feel a bit more drawn out and perhaps less elegant when you're trying to derive a general relationship between operators. It's like proving a theorem by checking every single possible case – sometimes there's a more direct, abstract proof that gets to the heart of the matter much faster. The key is to recognize that operators, in their abstract form, follow certain mathematical rules, and we can manipulate these rules directly without always needing a specific function to act upon. Think of it like algebra versus plugging in numbers. You can solve for 'x' in an equation like 2x+3=72x + 3 = 7 by plugging in numbers until you find the right one, or you can use algebraic manipulation (2x=42x = 4, so x=2x = 2) which is much more general and powerful. In this article, we’ll explore that more direct approach, focusing on the properties of the operators themselves to arrive at the desired result. We'll keep things clear, break down the steps, and hopefully, this will clear up any lingering confusion you might have about how these operators interact. So, grab your favorite beverage, get comfortable, and let's get our quantum mechanics hats on!

The Abstract Approach: Manipulating Operators Directly

Alright, so the typical way we learn about commutators in quantum mechanics is by seeing them act on a wave function, ψ(x)\psi(x). For instance, to evaluate [A^,B^][\hat{A}, \hat{B}], we'd write [A^,B^]ψ(x)=A^B^ψ(x)B^A^ψ(x)[\hat{A}, \hat{B}]\psi(x) = \hat{A}\hat{B}\psi(x) - \hat{B}\hat{A}\psi(x). This is a solid method, especially when you're first getting the hang of things or when you need to calculate a specific numerical value. However, when we want to show a general relationship between operators, like the one we're aiming for today, ["phat",V("xhat")]=(".h"/i)(dV("xhat")/d"xhat")["p-hat", V("x-hat")] = (".h"/i) * (dV("x-hat")/d"x-hat"), we can often take a more abstract route. This abstract approach involves manipulating the operators themselves using their fundamental properties and definitions, without necessarily invoking a test function. It's a bit like doing pure mathematics versus applied math; you're working with the underlying structure. To get started, let's recall the fundamental definition of the momentum operator in one dimension: p^=iddx\hat{p} = \frac{\hbar}{i}\frac{d}{dx}. Now, let's consider the potential energy operator, V(x^)V(\hat{x}). In quantum mechanics, when we have a function of an operator, like V(x^)V(\hat{x}), and x^\hat{x} is the position operator (which, in the position representation, is just multiplication by xx), then V(x^)V(\hat{x}) acting on a function ψ(x)\psi(x) is simply V(x)ψ(x)V(x)\psi(x). This is a crucial point: the operator x^\hat{x} in this context, when acting on a wave function, is equivalent to multiplying by the variable xx. So, V(x^)V(\hat{x}) acting on ψ(x)\psi(x) is the same as multiplying the wave function by the function V(x)V(x).

With these definitions in hand, we can start building the commutator. We'll be looking at ["phat",V("xhat")]=p^V(x^)V(x^)p^["p-hat", V("x-hat")] = \hat{p}V(\hat{x}) - V(\hat{x})\hat{p}. The first term, p^V(x^)\hat{p}V(\hat{x}), when acting on a test function ψ(x)\psi(x), becomes iddx(V(x)ψ(x))\frac{\hbar}{i}\frac{d}{dx}(V(x)\psi(x)). Here, we absolutely need the product rule for differentiation because the momentum operator p^\hat{p} is acting on the product of the potential V(x)V(x) and the wave function ψ(x)\psi(x). The product rule states that ddx(uv)=uv+uv\frac{d}{dx}(uv) = u'v + uv', where u=V(x)u=V(x) and v=ψ(x)v=\psi(x). So, ddx(V(x)ψ(x))=dV(x)dxψ(x)+V(x)dψ(x)dx\frac{d}{dx}(V(x)\psi(x)) = \frac{dV(x)}{dx}\psi(x) + V(x)\frac{d\psi(x)}{dx}. Thus, the first term of the commutator acting on ψ(x)\psi(x) is i(dV(x)dxψ(x)+V(x)dψ(x)dx)\frac{\hbar}{i}\left(\frac{dV(x)}{dx}\psi(x) + V(x)\frac{d\psi(x)}{dx}\right). This is where the abstract manipulation becomes key. We want to see if we can express this result in a way that isolates the derivative of the potential, dVdx\frac{dV}{dx}. Let's rearrange the terms: idV(x)dxψ(x)+iV(x)dψ(x)dx\frac{\hbar}{i}\frac{dV(x)}{dx}\psi(x) + \frac{\hbar}{i}V(x)\frac{d\psi(x)}{dx}.

Now, let's look at the second term in the commutator: V(x^)p^V(\hat{x})\hat{p}. When this acts on ψ(x)\psi(x), it becomes V(x^)(idψ(x)dx)V(\hat{x})\left(\frac{\hbar}{i}\frac{d\psi(x)}{dx}\right). Since V(x^)V(\hat{x}) is just multiplication by V(x)V(x), this simplifies to V(x)(idψ(x)dx)V(x)\left(\frac{\hbar}{i}\frac{d\psi(x)}{dx}\right). Notice how the momentum operator p^\hat{p} only acts on the wave function ψ(x)\psi(x) here, not on the potential V(x)V(x). This is because the operator V(x^)V(\hat{x}) is