PhyslibSearch

Physlib.QuantumMechanics.OneDimension.ReflectionlessPotential.Basic

10 declarations

definition

Reflectionless potential V(x)=2κ2N(N+1)2mcosh2(κx)V(x) = -\frac{\hbar^2 \kappa^2 N(N + 1)}{2m \cosh^2(\kappa x)}

#reflectionlessPotential

For a quantum mechanical system in one dimension with mass mm, reduced Planck constant \hbar, and parameters κ\kappa and NN, the reflectionless potential is the function V:RRV: \mathbb{R} \to \mathbb{R} defined by V(x)=2κ2N(N+1)2mcosh2(κx)V(x) = -\frac{\hbar^2 \kappa^2 N(N + 1)}{2m \cosh^2(\kappa x)} where xx represents the position and cosh\cosh is the hyperbolic cosine function.

definition

Multiplication operator by tanh(κx)\tanh(\kappa x)

#tanhOperator

Given a real parameter κ\kappa, the `tanhOperator` is the multiplication operator that maps a function ψ:RC\psi: \mathbb{R} \to \mathbb{C} to the function xtanh(κx)ψ(x)x \mapsto \tanh(\kappa x) \psi(x). In the context of quantum mechanics, this represents the action of the operator tanh(κX^)\tanh(\kappa \hat{X}) on a wave function in the position representation.

definition

Multiplication operator by a function of temperate growth

#mulByTemperateGrowth

Given a function g:RCg: \mathbb{R} \to \mathbb{C} that satisfies the condition of temperate growth, this definition represents the continuous linear operator on the Schwartz space S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) defined by pointwise multiplication by gg. For any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}), the operator maps ψ\psi to the product gψg \psi.

theorem

tanh(κx)\tanh(\kappa x) has temperate growth

#scaled_tanh_hasTemperateGrowth

For any real number κ\kappa, the function xtanh(κx)x \mapsto \tanh(\kappa x) has temperate growth.

theorem

The complex-valued function xtanh(κx)x \mapsto \tanh(\kappa x) has temperate growth

#scaled_tanh_complex_hasTemperateGrowth

For any real number κ\kappa, the complex-valued function xtanh(κx)x \mapsto \tanh(\kappa x) has temperate growth.

definition

Pointwise multiplication operator by tanh(κx)\tanh(\kappa x) on S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C})

#tanhOperatorSchwartz

Given a reflectionless potential QQ with a characteristic parameter κR\kappa \in \mathbb{R}, this definition represents the continuous linear operator on the space of complex-valued Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) that acts via pointwise multiplication by the function xtanh(κx)x \mapsto \tanh(\kappa x). Specifically, for any Schwartz function ψS(R,C)\psi \in \mathcal{S}(\mathbb{R}, \mathbb{C}), the operator maps ψ\psi to the product function xtanh(κx)ψ(x)x \mapsto \tanh(\kappa x) \cdot \psi(x).

definition

Creation operator aa^\dagger for reflectionless potential

#creationOperator

Given a reflectionless potential QQ characterized by mass mm, a parameter κR\kappa \in \mathbb{R}, and the reduced Planck constant \hbar, the creation operator aa^\dagger is an operator that maps a complex-valued function ψ:RC\psi: \mathbb{R} \to \mathbb{C} to another function defined by: \[ (a^\dagger \psi)(x) = \frac{1}{\sqrt{2m}} \left( \hat{P}\psi(x) + i \hbar \kappa \tanh(\kappa x) \psi(x) \right) \] where P^\hat{P} is the one-dimensional momentum operator defined as (P^ψ)(x)=idψdx(x)(\hat{P}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x), and ii is the imaginary unit. In operator notation, this is expressed as: \[ a^\dagger = \frac{1}{\sqrt{2m}} (\hat{P} + i \hbar \kappa \tanh(\kappa \hat{X})) \] where tanh(κX^)\tanh(\kappa \hat{X}) denotes the multiplication operator by the function xtanh(κx)x \mapsto \tanh(\kappa x).

definition

Annihilation operator aa for reflectionless potential

#annihilationOperator

Given a reflectionless potential QQ characterized by mass mm, a parameter κR\kappa \in \mathbb{R}, and the reduced Planck constant \hbar, the annihilation operator aa is an operator that maps a complex-valued function ψ:RC\psi: \mathbb{R} \to \mathbb{C} to another function defined by: \[ (a\psi)(x) = \frac{1}{\sqrt{2m}} \left( (\hat{P}\psi)(x) - i \hbar \kappa \tanh(\kappa x) \psi(x) \right) \] where P^\hat{P} is the one-dimensional momentum operator defined as (P^ψ)(x)=idψdx(x)(\hat{P}\psi)(x) = -i\hbar \frac{d\psi}{dx}(x), and ii is the imaginary unit. In operator notation, this is expressed as: \[ a = \frac{1}{\sqrt{2m}} (\hat{P} - i \hbar \kappa \tanh(\kappa \hat{X})) \] where tanh(κX^)\tanh(\kappa \hat{X}) denotes the multiplication operator by the function xtanh(κx)x \mapsto \tanh(\kappa x).

definition

Creation operator aa^\dagger on Schwartz space S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C})

#creationOperatorSchwartz

For a reflectionless potential QQ characterized by mass mm, reduced Planck constant \hbar, and parameter κR\kappa \in \mathbb{R}, the creation operator aa^\dagger is defined as the continuous linear map on the Schwartz space S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) given by: \[ a^\dagger = \frac{1}{\sqrt{2m}} \hat{p} + \frac{i \hbar \kappa}{\sqrt{2m}} \tanh(\kappa \hat{x}) \] where p^\hat{p} is the momentum operator on the Schwartz space, tanh(κx^)\tanh(\kappa \hat{x}) is the operator of pointwise multiplication by the function xtanh(κx)x \mapsto \tanh(\kappa x), and ii is the imaginary unit.

definition

Annihilation operator aa on Schwartz space S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C})

#annihilationOperatorSchwartz

For a reflectionless potential QQ characterized by mass mm, the reduced Planck constant \hbar, and a parameter κR\kappa \in \mathbb{R}, the annihilation operator aa is defined as the continuous linear operator on the space of complex-valued Schwartz functions S(R,C)\mathcal{S}(\mathbb{R}, \mathbb{C}) given by: \[ a = \frac{1}{\sqrt{2m}} \left( \hat{p} - i \hbar \kappa \tanh(\kappa \hat{x}) \right) \] where p^\hat{p} is the momentum operator on the Schwartz space and tanh(κx^)\tanh(\kappa \hat{x}) is the operator representing pointwise multiplication by the function xtanh(κx)x \mapsto \tanh(\kappa x).