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
-th position operator on
For a given dimension and an index , the operator is a continuous linear map from the Schwartz space to itself. It acts on a Schwartz function by multiplying it by the -th coordinate function : where and is the -th component of the vector .
Action of the position operator on Schwartz functions
For any dimension , coordinate index , and Schwartz function , the action of the -th component of the position operator on is given by the pointwise multiplication of by the -th coordinate function. That is, for all , , where denotes the -th coordinate of .
For any dimension and index , let be a Schwartz function and be a point in the -dimensional Euclidean space. The -th component of the position operator acts on such that its evaluation at is the product of the -th coordinate of and the value of the function at that point: where denotes the -th component of the vector .
Regularized radius power continuous linear map
For a given dimension , a non-zero real regularization parameter , and an exponent , this definition defines a continuous complex-linear map from the Schwartz space to itself. The operator acts on a Schwartz function by pointwise multiplication with the regularized norm power function: where denotes the Euclidean norm of .
Action of the Regularized Radius Power Operator
For any dimension , non-zero real number , and real power , the regularized radius power operator applied to a Schwartz function at a point is given by: where is the Euclidean norm on .
For any dimension and any non-zero real number , let denote the -th component of the position operator acting on the space of Schwartz maps by multiplication by . Let be the regularized radius power operator with exponent , which acts on Schwartz maps by multiplication by . The sum of the squares (compositions) of the position operators satisfies the identity: where is the identity operator on .
Linear map of the radius power operator
For a given dimension and a real exponent , this is a complex-linear map from the Schwartz space to the space of complex-valued functions on . It maps a Schwartz function to the function , where denotes the Euclidean norm of the position vector .
Notation for the radius power operator
This definition introduces the notation to represent the radius power operator. This operator acts on the Schwartz space by multiplication by for a given power , where denotes the Euclidean norm of the position vector.
Action of the Radius Power Operator:
For any dimension , real exponent , Schwartz function , and point , the radius power operator acts on such that its value at is given by the multiplication: where denotes the Euclidean norm of the vector in the -dimensional real inner product space .
is at
For any dimension , any real number , and any , if is a Schwartz function in , then the function resulting from the application of the radius power operator, defined by , is -times continuously differentiable () at any point such that . Here, is the -dimensional Euclidean space equipped with the standard inner product and norm.
is Strongly Measurable
Let be a -dimensional Euclidean space. For any real number and any Schwartz map , the function —resulting from the action of the radius power operator—is strongly measurable with respect to the Borel -algebra.
for when
For any dimension , let be a Schwartz map. Suppose belongs to the submodule of maps , meaning that for all , there exists a constant such that . For any real power , if the condition is satisfied, then the function is square-integrable, i.e., .
Notation for the position operator
The notation denotes the position vector operator in quantum mechanics. It represents the operator that acts on functions in the Schwartz space by multiplication by the position vector . Specifically, for a wavefunction , the action is given by .
The -th component of the position operator is symmetric
For any dimension and any coordinate index , the -th component of the position operator , acting on the Schwartz space as a subspace of the Hilbert space , is a symmetric operator. This means that for all functions , the inner product satisfies .
The -th component of the position operator is self-adjoint
For any dimension and any coordinate index , the -th component of the position operator is self-adjoint. The operator acts on the Schwartz space by multiplying a Schwartz function by the -th coordinate function , i.e., .
The position operator component is unbounded
For any natural number and any coordinate index , the -th component of the position operator , which acts on the Schwartz space by , is an unbounded operator.
