Physlib.QuantumMechanics.OneDimension.ReflectionlessPotential.Basic
1d Reflectionless Potential
The quantum reflectionless potential in 1d. This file contains - the definition of the reflectionless potential as defined https://arxiv.org/pdf/2411.14941 - properties of reflectionless potentials
TODO
Theorems
10 declarations
Reflectionless potential
For a quantum mechanical system in one dimension with mass , reduced Planck constant , and parameters and , the reflectionless potential is the function defined by where represents the position and is the hyperbolic cosine function.
Multiplication operator by
Given a real parameter , the `tanhOperator` is the multiplication operator that maps a function to the function . In the context of quantum mechanics, this represents the action of the operator on a wave function in the position representation.
Multiplication operator by a function of temperate growth
Given a function that satisfies the condition of temperate growth, this definition represents the continuous linear operator on the Schwartz space defined by pointwise multiplication by . For any Schwartz function , the operator maps to the product .
has temperate growth
For any real number , the function has temperate growth.
The complex-valued function has temperate growth
For any real number , the complex-valued function has temperate growth.
Pointwise multiplication operator by on
Given a reflectionless potential with a characteristic parameter , this definition represents the continuous linear operator on the space of complex-valued Schwartz functions that acts via pointwise multiplication by the function . Specifically, for any Schwartz function , the operator maps to the product function .
Creation operator for reflectionless potential
Given a reflectionless potential characterized by mass , a parameter , and the reduced Planck constant , the creation operator is an operator that maps a complex-valued function to another function defined by: where is the one-dimensional momentum operator defined as , and is the imaginary unit. In operator notation, this is expressed as: where denotes the multiplication operator by the function .
Annihilation operator for reflectionless potential
Given a reflectionless potential characterized by mass , a parameter , and the reduced Planck constant , the annihilation operator is an operator that maps a complex-valued function to another function defined by: where is the one-dimensional momentum operator defined as , and is the imaginary unit. In operator notation, this is expressed as: where denotes the multiplication operator by the function .
Creation operator on Schwartz space
For a reflectionless potential characterized by mass , reduced Planck constant , and parameter , the creation operator is defined as the continuous linear map on the Schwartz space given by: where is the momentum operator on the Schwartz space, is the operator of pointwise multiplication by the function , and is the imaginary unit.
Annihilation operator on Schwartz space
For a reflectionless potential characterized by mass , the reduced Planck constant , and a parameter , the annihilation operator is defined as the continuous linear operator on the space of complex-valued Schwartz functions given by: where is the momentum operator on the Schwartz space and is the operator representing pointwise multiplication by the function .
