Physlib

Physlib.QuantumMechanics.Operators.Position

Position operators

i. Overview

In this module we introduce several position operators for quantum mechanics on `Space d`.

ii. Key results

Definitions: - `positionCLM` : (components of) the position vector operator acting on Schwartz maps `𝓢(Space d, ℂ)` by multiplication by `xᵢ`. - `radiusRegPowCLM` : operator acting on Schwartz maps by multiplication by `(‖x‖² + ε²)^(s/2)`, a smooth regularization of `‖x‖ˢ`. - `positionOperator` : a self-adjoint multiplication operator acting on `SpaceDHilbertSpace d`. - `readiusRegPowOperator` : a self-adjoint multiplication operator acting on `SpaceDHilbertSpace d`.

Notation: - `𝐱` for `positionCLM` - `𝐫₀` for `radiusRegPowCLM` - `𝐫` for `radiusPowLM`

iii. Table of contents

- A. Schwartz operators - A.1. Position vector - A.2. Radius powers (regularized) - A.3. Radius powers - A.3.1. As limit of regularized operators - B. Unbounded operators - B.1. Position vector - B.2. Radius powers (regularized) - B.3. Radius powers - B.3.1. As limit of regularized operators

iv. References

A. Schwartz operators

A.1. Position vector

A.2. Radius powers (regularized)

A.3. Radius powers

#### A.3.1. As limit of regularized operators

B. Unbounded operators

B.1. Position vector

B.2. Radius powers (regularized)

B.3. Radius powers

16 declarations

definition

μ\mu-th position operator on S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C})

For a given dimension d∈Nd \in \mathbb{N} and an index μ∈{0,1,…,d−1}\mu \in \{0, 1, \dots, d-1\}, the operator positionCLM(μ)\text{positionCLM}(\mu) is a continuous linear map from the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) to itself. It acts on a Schwartz function ψ\psi by multiplying it by the μ\mu-th coordinate function xμx_\mu: (positionCLM(μ)ψ)(x)=xμψ(x) (\text{positionCLM}(\mu) \psi)(x) = x_\mu \psi(x) where x∈Space dx \in \text{Space } d and xμx_\mu is the μ\mu-th component of the vector xx.

theorem

Action of the position operator xi\mathbf{x}_i on Schwartz functions

For any dimension d∈Nd \in \mathbb{N}, coordinate index ii, and Schwartz function ψ:Space d→C\psi : \text{Space } d \to \mathbb{C}, the action of the ii-th component of the position operator xi\mathbf{x}_i on ψ\psi is given by the pointwise multiplication of ψ\psi by the ii-th coordinate function. That is, for all x∈Space dx \in \text{Space } d, (xiψ)(x)=xiψ(x)(\mathbf{x}_i \psi)(x) = x_i \psi(x), where xix_i denotes the ii-th coordinate of xx.

theorem

(xiψ)(x)=xiψ(x)(\mathbf{x}_i \psi)(x) = x_i \psi(x)

For any dimension dd and index i∈{0,…,d−1}i \in \{0, \dots, d-1\}, let ψ∈S(Space d,C)\psi \in \mathcal{S}(\text{Space } d, \mathbb{C}) be a Schwartz function and x∈Space dx \in \text{Space } d be a point in the dd-dimensional Euclidean space. The ii-th component of the position operator xi\mathbf{x}_i acts on ψ\psi such that its evaluation at xx is the product of the ii-th coordinate of xx and the value of the function at that point: (xiψ)(x)=xiψ(x) (\mathbf{x}_i \psi)(x) = x_i \psi(x) where xix_i denotes the ii-th component of the vector xx.

definition

Regularized radius power continuous linear map (∥x∥2+ϵ2)s/2(\|x\|^2 + \epsilon^2)^{s/2}

For a given dimension dd, a non-zero real regularization parameter ϵ∈R×\epsilon \in \mathbb{R}^\times, and an exponent s∈Rs \in \mathbb{R}, this definition defines a continuous complex-linear map from the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) to itself. The operator acts on a Schwartz function ψ\psi by pointwise multiplication with the regularized norm power function: ψ(x)↦(∥x∥2+ϵ2)s/2ψ(x) \psi(x) \mapsto (\|x\|^2 + \epsilon^2)^{s/2} \psi(x) where ∥x∥\|x\| denotes the Euclidean norm of x∈Space dx \in \text{Space } d.

theorem

Action of the Regularized Radius Power Operator r0(ϵ,s)\mathbf{r}_0(\epsilon, s)

For any dimension dd, non-zero real number ϵ\epsilon, and real power ss, the regularized radius power operator r0(ϵ,s)\mathbf{r}_0(\epsilon, s) applied to a Schwartz function ψ:Space d→C\psi: \text{Space } d \to \mathbb{C} at a point x∈Space dx \in \text{Space } d is given by: ((r0(ϵ,s)ψ)(x)=(∥x∥2+ϵ2)s/2ψ(x) ((\mathbf{r}_0(\epsilon, s) \psi)(x) = (\|x\|^2 + \epsilon^2)^{s/2} \psi(x) where ∥x∥\|x\| is the Euclidean norm on Space d\text{Space } d.

theorem

∑ixi2=r0(ϵ,2)−ϵ2I\sum_i \mathbf{x}_i^2 = \mathbf{r}_0(\epsilon, 2) - \epsilon^2 I

For any dimension d∈Nd \in \mathbb{N} and any non-zero real number ϵ\epsilon, let xi\mathbf{x}_i denote the ii-th component of the position operator acting on the space of Schwartz maps S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) by multiplication by xix_i. Let r0(ϵ,2)\mathbf{r}_0(\epsilon, 2) be the regularized radius power operator with exponent 22, which acts on Schwartz maps by multiplication by ∥x∥2+ϵ2\|x\|^2 + \epsilon^2. The sum of the squares (compositions) of the position operators satisfies the identity: ∑i=1dxi∘xi=r0(ϵ,2)−ϵ2I \sum_{i=1}^d \mathbf{x}_i \circ \mathbf{x}_i = \mathbf{r}_0(\epsilon, 2) - \epsilon^2 I where II is the identity operator on S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}).

definition

Linear map of the radius power operator f↦∥x∥sff \mapsto \|x\|^s f

For a given dimension dd and a real exponent s∈Rs \in \mathbb{R}, this is a complex-linear map from the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) to the space of complex-valued functions on Space d\text{Space } d. It maps a Schwartz function ff to the function x↦∥x∥sf(x)x \mapsto \|x\|^s f(x), where ∥x∥\|x\| denotes the Euclidean norm of the position vector x∈Space dx \in \text{Space } d.

definition

Notation for the radius power operator r\mathbf{r}

This definition introduces the notation r\mathbf{r} to represent the radius power operator. This operator acts on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) by multiplication by ∥x∥s\|x\|^s for a given power ss, where ∥x∥\|x\| denotes the Euclidean norm of the position vector.

theorem

Action of the Radius Power Operator: (rsψ)(x)=∥x∥sψ(x)(\mathbf{r}^s \psi)(x) = \|x\|^s \psi(x)

For any dimension d∈Nd \in \mathbb{N}, real exponent s∈Rs \in \mathbb{R}, Schwartz function ψ∈S(Space d,C)\psi \in \mathcal{S}(\text{Space } d, \mathbb{C}), and point x∈Space dx \in \text{Space } d, the radius power operator rs\mathbf{r}^s acts on ψ\psi such that its value at xx is given by the multiplication: (rsψ)(x)=∥x∥sψ(x) (\mathbf{r}^s \psi)(x) = \|x\|^s \psi(x) where ∥x∥\|x\| denotes the Euclidean norm of the vector xx in the dd-dimensional real inner product space Space d\text{Space } d.

theorem

(rsψ)(r^s \psi) is CnC^n at x≠0x \neq 0

For any dimension dd, any real number ss, and any n∈N∪{∞}n \in \mathbb{N} \cup \{\infty\}, if ψ\psi is a Schwartz function in S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}), then the function resulting from the application of the radius power operator, defined by (rsψ)(x)=∥x∥sψ(x)(r^s \psi)(x) = \|x\|^s \psi(x), is nn-times continuously differentiable (CnC^n) at any point x∈Space dx \in \text{Space } d such that x≠0x \neq 0. Here, Space d\text{Space } d is the dd-dimensional Euclidean space Rd\mathbb{R}^d equipped with the standard inner product and norm.

theorem

(rs)ψ(\mathbf{r} s) \psi is Strongly Measurable

Let Space d\text{Space } d be a dd-dimensional Euclidean space. For any real number s∈Rs \in \mathbb{R} and any Schwartz map ψ∈S(Space d,C)\psi \in \mathcal{S}(\text{Space } d, \mathbb{C}), the function (rs)ψ(\mathbf{r} s) \psi—resulting from the action of the radius power operator—is strongly measurable with respect to the Borel σ\sigma-algebra.

theorem

∥x∥sψ∈L2(Rd)\|x\|^s \psi \in L^2(\mathbb{R}^d) for ψ∈PolyBddSchwartzMap\psi \in \text{PolyBddSchwartzMap} when d+2(a+s)>0d + 2(a + s) > 0

For any dimension d∈Nd \in \mathbb{N}, let ψ∈S(Rd,C)\psi \in \mathcal{S}(\mathbb{R}^d, \mathbb{C}) be a Schwartz map. Suppose ψ\psi belongs to the submodule of maps PolyBddSchwartzMap(d,a)\text{PolyBddSchwartzMap}(d, a), meaning that for all k≤ak \leq a, there exists a constant CC such that ∥ψ(x)∥≤C∥x∥k\|\psi(x)\| \leq C \|x\|^k. For any real power s∈Rs \in \mathbb{R}, if the condition d+2(a+s)>0d + 2(a + s) > 0 is satisfied, then the function (rsψ)(x)=∥x∥sψ(x)(\mathbf{r}^s \psi)(x) = \|x\|^s \psi(x) is square-integrable, i.e., (rsψ)∈L2(Rd)(\mathbf{r}^s \psi) \in L^2(\mathbb{R}^d).

definition

Notation for the position operator x\mathbf{x}

The notation x\mathbf{x} denotes the position vector operator in quantum mechanics. It represents the operator that acts on functions in the Schwartz space S(Space d,C)\mathcal{S}(\text{Space } d, \mathbb{C}) by multiplication by the position vector xx. Specifically, for a wavefunction ψ\psi, the action is given by (xψ)(x)=xψ(x)(\mathbf{x} \psi)(x) = x \psi(x).

theorem

The ii-th component of the position operator xi\mathbf{x}_i is symmetric

For any dimension d∈Nd \in \mathbb{N} and any coordinate index i∈{0,…,d−1}i \in \{0, \dots, d-1\}, the ii-th component of the position operator xi\mathbf{x}_i, acting on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) as a subspace of the Hilbert space L2(Rd,C)L^2(\mathbb{R}^d, \mathbb{C}), is a symmetric operator. This means that for all functions ψ,ϕ∈S(Rd,C)\psi, \phi \in \mathcal{S}(\mathbb{R}^d, \mathbb{C}), the inner product satisfies ⟨xiψ,ϕ⟩=⟨ψ,xiϕ⟩\langle \mathbf{x}_i \psi, \phi \rangle = \langle \psi, \mathbf{x}_i \phi \rangle.

theorem

The ii-th component of the position operator xi\mathbf{x}_i is self-adjoint

For any dimension d∈Nd \in \mathbb{N} and any coordinate index i∈{0,…,d−1}i \in \{0, \dots, d-1\}, the ii-th component of the position operator xi\mathbf{x}_i is self-adjoint. The operator xi\mathbf{x}_i acts on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) by multiplying a Schwartz function ψ\psi by the ii-th coordinate function xix_i, i.e., (xiψ)(x)=xiψ(x)(\mathbf{x}_i \psi)(x) = x_i \psi(x).

theorem

The position operator component xi\mathbf{x}_i is unbounded

For any natural number dd and any coordinate index i∈{0,…,d−1}i \in \{0, \dots, d-1\}, the ii-th component of the position operator xi\mathbf{x}_i, which acts on the Schwartz space S(Rd,C)\mathcal{S}(\mathbb{R}^d, \mathbb{C}) by (xiψ)(x)=xiψ(x)(\mathbf{x}_i \psi)(x) = x_i \psi(x), is an unbounded operator.