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 dNd \in \mathbb{N} and an index μ{0,1,,d1}\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 xSpace 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 dNd \in \mathbb{N}, coordinate index ii, and Schwartz function ψ:Space dC\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 xSpace 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,,d1}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 xSpace 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 (x2+ϵ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 sRs \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)(x2+ϵ2)s/2ψ(x) \psi(x) \mapsto (\|x\|^2 + \epsilon^2)^{s/2} \psi(x) where x\|x\| denotes the Euclidean norm of xSpace 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 dC\psi: \text{Space } d \to \mathbb{C} at a point xSpace dx \in \text{Space } d is given by: ((r0(ϵ,s)ψ)(x)=(x2+ϵ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 dNd \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 x2+ϵ2\|x\|^2 + \epsilon^2. The sum of the squares (compositions) of the position operators satisfies the identity: i=1dxixi=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 fxsff \mapsto \|x\|^s f

For a given dimension dd and a real exponent sRs \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 xxsf(x)x \mapsto \|x\|^s f(x), where x\|x\| denotes the Euclidean norm of the position vector xSpace 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 xs\|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)=xsψ(x)(\mathbf{r}^s \psi)(x) = \|x\|^s \psi(x)

For any dimension dNd \in \mathbb{N}, real exponent sRs \in \mathbb{R}, Schwartz function ψS(Space d,C)\psi \in \mathcal{S}(\text{Space } d, \mathbb{C}), and point xSpace 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)=xsψ(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 x0x \neq 0

For any dimension dd, any real number ss, and any nN{}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)=xsψ(x)(r^s \psi)(x) = \|x\|^s \psi(x), is nn-times continuously differentiable (CnC^n) at any point xSpace dx \in \text{Space } d such that x0x \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 sRs \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

xsψ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 dNd \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 kak \leq a, there exists a constant CC such that ψ(x)Cxk\|\psi(x)\| \leq C \|x\|^k. For any real power sRs \in \mathbb{R}, if the condition d+2(a+s)>0d + 2(a + s) > 0 is satisfied, then the function (rsψ)(x)=xsψ(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 dNd \in \mathbb{N} and any coordinate index i{0,,d1}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 dNd \in \mathbb{N} and any coordinate index i{0,,d1}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,,d1}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.