|
|
| Line 1: |
Line 1: |
| In [[quantum mechanics]] and [[quantum field theory]], a '''Schrödinger field''', named after [[Erwin Schrödinger]], is a [[quantum field theory|quantum field]] which obeys the [[Schrödinger equation]].<ref>Edward Grant Harris, ''A Pedestrian Approach to Quantum Field Theory''.</ref> While any situation described by a Schrödinger field can also be described by a [[many-body theory|many-body]] Schrödinger equation for identical particles, the field theory is more suitable for situations where the [[particle number]] changes.
| | I would like to introduce myself to you, I am Andrew and my spouse doesn't like it at all. To play lacross is one of the things she enjoys most. Her family life in Ohio but her spouse desires them to transfer. She functions as a journey agent but soon she'll be on her own.<br><br>My website; [http://formalarmour.com/index.php?do=/profile-26947/info/ online psychic readings] |
| | |
| A Schrödinger field is also the classical limit of a quantum Schrödinger field, a classical wave which satisfies the Schrödinger equation. Unlike the quantum mechanical wavefunction, if there are interactions between the particles the equation will be [[Nonlinear Schrödinger equation|nonlinear]]. These nonlinear equations describe the classical wave limit of a system of interacting identical particles.
| |
| | |
| The path integral of a Schrödinger field is also known as a coherent state path integral, because the field itself is an annihilation operator whose eigenstates can be thought of as coherent states of the harmonic oscillations of the field modes.
| |
| | |
| Schrödinger fields are useful for describing [[Bose-Einstein condensation]], the [[Nikolay Bogolyubov|Bogolyubov]]-[[Pierre-Gilles de Gennes|de Gennes]] equation of [[superconductivity]], [[superfluidity]], and [[many-body theory]] in general. They are also a useful alternative formalism for nonrelativistic quantum mechanics.
| |
| | |
| A Schrödinger field is the nonrelativistic limit of a [[Klein-Gordon Equation|Klein-Gordon field]].
| |
| | |
| ==Summary==
| |
| | |
| A '''Schrödinger field''' is a [[quantum field theory|quantum field]] whose [[quantum|quanta]] obey the [[Schrödinger equation]]. In the classical limit, it can be understood as the quantized wave equation of a [[Bose-Einstein condensation|Bose Einstein condensate]] or a [[superfluid]].
| |
| | |
| ===Free field===
| |
| A Schrödinger field has the free field Lagrangian
| |
| :<math>
| |
| L = \psi^\dagger \left(i{\partial\over \partial t} + {\nabla^2 \over 2m}\right)\psi.
| |
| </math>
| |
| | |
| When <math>\psi</math> is a complex valued field in a path integral, or equivalently an operator with canonical commutation relations, it describes a collection of identical nonrelativistic bosons. When <math>\psi</math> is a [[Berezin integral|grassmann valued field]], or equivalently an operator with canonical anticommutation relations, the field describes identical fermions.
| |
| | |
| ===External potential===
| |
| If the particles interact with an external potential <math>V(x)</math>, the interaction makes a local contribution to the action:
| |
| :<math>
| |
| S = \int_{xt} \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2\over 2m}\right)\psi - \psi^\dagger(x) \psi(x) V(x).
| |
| </math>
| |
| | |
| If the ordinary Schrödinger equation for V has known energy eigenstates <math>\phi_i(x)</math> with energies <math>E_i</math>, then the field in the action can be rotated into a diagonal basis by a mode expansion:
| |
| :<math>
| |
| \psi(x) = \sum_i \psi_i \phi_i(x).
| |
| \,</math>
| |
| The action becomes:
| |
| :<math>
| |
| S= \int_t \sum_i \psi_i^\dagger\left( i{\partial \over \partial t} - E_i\right) \psi_i
| |
| \,</math>
| |
| which is the position-momentum path integral for a collection of independent Harmonic oscillators.
| |
| | |
| To see the equivalence, note that decomposed into real and imaginary parts the action is: | |
| :<math>
| |
| S= \int_t \sum_i 2\psi_r{d\psi_i\over dt} - E_i(\psi_r^2 + \psi_i^2)
| |
| </math>
| |
| after an integration by parts. Integrating over <math>\psi_r</math> gives the action
| |
| :<math>
| |
| S= \int_t \sum_i {1 \over E_i} \left({d\psi_i\over dt}\right)^2 - E_i \psi_i^2
| |
| </math>
| |
| which, rescaling <math>\scriptstyle \psi_i</math>, is a harmonic oscillator action with frequency <math>E_i</math>.
| |
| | |
| ===Pair potential===
| |
| When the particles interact with a [[pair potential]] <math>V(x_1,x_2)</math>, the interaction is a nonlocal contribution to the action:
| |
| :<math>
| |
| S = \int_{xt} \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2 \over 2m}\right)\psi - \int_{xy} \psi^\dagger(x) \psi(x)V(x,y) \psi^\dagger(y)\psi(y).
| |
| </math>
| |
| | |
| A pair-potential is the non-relativistic limit of a relativistic field coupled to electrodynamics. Ignoring the propagating degrees of freedom, the interaction between nonrelativistic electrons is the coulomb repulsion. In 3+1 dimensions, this is:
| |
| :<math>
| |
| V(x,y)= {q^2\over |x-y|}.
| |
| </math>
| |
| When coupled to an external potential to model classical positions of nuclei, a Schrödinger field with this pair potential describes nearly all of condensed matter physics. The exceptions are effects like superfluidity, where the quantum mechanical interference of nuclei is important, and inner shell electrons where the electron motion can be relativistic.
| |
| | |
| ===Nonlinear Schrödinger equation===
| |
| A special case of a [[delta potential|delta-function interaction]] <math>V(x_1,x_2)</math> is widely studied, and is known as the [[nonlinear Schrödinger equation]]. Because the interactions always happen when two particles occupy the same point, the action for the nonlinear Schrödinger equation is local:
| |
| :<math>
| |
| S = \int_x \psi^\dagger \left(i{\partial \over \partial t} + {\nabla^2 \over 2m}\right)\psi + \lambda (\psi^\dagger \psi)^2.
| |
| </math>
| |
| The interaction strength <math>\lambda</math> requires renormalization in dimensions higher than 2 and in two dimensions it has logarithmic running. In any dimensions, and even with power-law running, the theory is well defined. If the particles are fermions, the interaction vanishes.
| |
| | |
| ===Many-body potentials===
| |
| The potentials can include many-body contributions. The interacting Lagrangian is then:
| |
| :<math>
| |
| L_i = \int_x (\psi^\dagger\psi)(x_1)(\psi^\dagger\psi)(x_2)\cdots(\psi^\dagger\psi)(x_n) V(x_1,x_2,\dots,x_n).\,</math>
| |
| | |
| These types of potentials are important in some effective descriptions of close-packed atoms. Higher order interactions are less and less important.
| |
| | |
| ===Canonical formalism===
| |
| The canonical momentum association with the field <math>\psi</math> is
| |
| :<math>
| |
| \Pi(x) = i \psi^\dagger.
| |
| \,</math>
| |
| | |
| The canonical commutation relations are like an independent harmonic oscillator at each point:
| |
| :<math>
| |
| [\psi(x), \psi^\dagger (y)] = \delta(x-y).
| |
| </math>
| |
| | |
| The field Hamiltonian is
| |
| :<math>
| |
| H = S - \int \Pi(x) {d\over dt}\psi = \int {|\nabla \psi|^2 \over 2m} + \int_{xy} V(x,y)\psi^\dagger(x)\psi(x)\psi^\dagger(y)\psi(y)
| |
| \,</math>
| |
| | |
| and the field equation for any interaction is a nonlinear and nonlocal version of the Schrödinger equation. For pairwise interactions:
| |
| :<math>
| |
| i{\partial \over \partial t} \psi = -{\nabla^2\over 2m} \psi + \left(\int_y V(x,y)\psi^\dagger(y)\psi(y)\right) \psi(x).
| |
| \,</math>
| |
| | |
| ===Perturbation theory===
| |
| The expansion in [[Feynman diagram]]s is called [[many-body]] perturbation theory. The [[propagator]] is
| |
| | |
| :<math>
| |
| G(k) = {1 \over i\omega - {k^2\over 2m} }.
| |
| \,</math>
| |
| | |
| The interaction vertex is the Fourier transform of the pair-potential. In all the interactions, the number of incoming and outgoing lines is equal.
| |
| | |
| ==Exposition==
| |
| | |
| ===Identical particles===
| |
| The many body Schrödinger equation for identical particles describes the time evolution of the many-body wavefunction ψ(''x''<sub>1</sub>, ''x''<sub>2</sub>...''x''<sub>N</sub>) which is the probability amplitude for ''N'' particles to have the listed positions. The Schrödinger equation for ψ is:
| |
| :<math>
| |
| i{d\over dt} \psi = \left(\frac{\nabla_1^2}{2m} + \frac{\nabla_2^2}{2m} + \cdots
| |
| + \frac{\nabla_N^2}{2m} + V(x_1,x_2,\dots,x_N) \right)\psi
| |
| \,</math>
| |
| with Hamiltonian
| |
| :<math>
| |
| H = \frac{p_1^2}{2m} + \frac{p_2^2}{2m} + \cdots + \frac{p_N^2}{2m} + V(x_1,\dots,x_N).
| |
| \,</math>
| |
| Since the particles are indistinguishable, the wavefunction has some symmetry under switching
| |
| positions. Either
| |
| #<math>\psi(x_1, x_2, \dots) = \psi(x_2, x_1, \dots) \qquad\quad \text{for bosons} </math>,
| |
| #<math>\psi(x_1, x_2,\dots) = -\psi(x_2,x_1, \dots) \qquad \text{for fermions} </math>.
| |
| | |
| Since the particles are indistinguishable, the potential V must be unchanged under permutations.
| |
| If
| |
| :<math>
| |
| V(x_1,\dots,x_N) = V_1(x_1)+ V_2(x_2) + \cdots + V_N(x_N)
| |
| \,</math>
| |
| | |
| then it must be the case that <math> V_1=V_2=\cdots=V_N </math>. If
| |
| :<math>
| |
| V(x_1 ... ,x_N) = V_{1,2}(x_1,x_2) + V_{1,3}(x_2,x_3) + V_{2,3}(x_1,x_2)
| |
| \,</math>
| |
| | |
| then <math>V_{1,2} = V_{1,3} = V_{2,3}</math> and so on.
| |
| | |
| In the Schrödinger equation formalism, the restrictions on the potential are ad-hoc, and the classical wave limit is hard to reach. It also has limited usefulness if a system is open to the environment, because particles might coherently enter and leave.
| |
| | |
| ===Nonrelativistic Fock space===
| |
| | |
| A Schrödinger field is defined by extending the Hilbert space of states to
| |
| include configurations with arbitrary particle number. A nearly complete basis for this set of states is the collection:
| |
| :<math>
| |
| |N;x_1,\ldots,x_N\rangle
| |
| \,</math>
| |
| labeled by the total number of particles and their position. An arbitrary state with particles at separated positions is described by a superposition of states of this form.
| |
| :<math>
| |
| \psi_0 |0\rangle + \int_x \psi_1(x) |1;x\rangle + \int_{x_1x_2} \psi_2(x_1,x_2)|2;x_1 x_2\rangle + \ldots
| |
| \,</math>
| |
| In this formalism, keep in mind that any two states whose positions can be permuted into each other are really the same, so the integration domains need to avoid double counting. Also keep in mind that the states with more than one particle at the same point have not yet been defined. The quantity <math>\psi_0</math> is the amplitude that no particles are present, and its absolute square is the probability that the system is in the vacuum.
| |
| | |
| In order to reproduce the Schrödinger description, the inner product on the basis states should be
| |
| :<math>
| |
| \langle 1;x_1|1;y_1\rangle = \delta(x_1-y_1)
| |
| \,</math>
| |
| | |
| :<math>
| |
| \langle 2;x_1 x_2 | 2;y_1 y_2\rangle = \delta(x_1-y_1)\delta(x_2-y_2) \pm \delta(x_1 -y_2)\delta(x_2-y_1)
| |
| \,</math>
| |
| and so on. Since the discussion is nearly formally identical for bosons and fermions, although the physical properties are different, from here on the particles will be bosons.
| |
| | |
| There are natural operators in this Hilbert space. One operator, called <math>\scriptstyle \psi^\dagger(x)</math>, is the operator which introduces an extra particle at x.
| |
| It is defined on each basis state:
| |
| :<math>
| |
| \psi^\dagger(x) |N;x_1 ... x_n\rangle = |N+1; x_1, ...,x_n, x\rangle
| |
| \,</math>
| |
| with slight ambiguity when a particle is already at x.
| |
| | |
| Another operator removes a particle at x, and is called <math>\psi</math>. This operator is the conjugate of the operator <math>\psi^\dagger</math>. Because <math>\scriptstyle \psi^\dagger</math> has no matrix elements which connect to states with no particle at x, <math>\psi</math> must give zero when acting on such a state.
| |
| :<math>
| |
| \psi(x) |N; x_1 ... ,x_N \rangle = \delta(x-x_1) |N-1;x_2 ...,x_N\rangle + \delta(x-x_2)|N-1;x_1,x_3...,x_N \rangle + \ldots
| |
| \,</math>
| |
| | |
| The position basis is an inconvenient way to understand coincident particles because states with a particle localized at one point have infinite energy, so intuition is difficult. In order to see what happens when two particles are at exactly the same point, it is mathematically simplest either to make space into a discrete [[lattice model (physics)|lattice]], or to Fourier transform the field in a finite volume.
| |
| | |
| The operator
| |
| :<math>
| |
| \psi^\dagger(k)= \int_x e^{-ikx} \psi^\dagger(x)
| |
| \,</math>
| |
| creates a superposition of one particle states in a plane wave state with momentum k, in other words, it produces a new particle with momentum k. The operator
| |
| :<math>
| |
| \psi(k) = \int_x e^{ikx} \psi(x)
| |
| \,</math>
| |
| annihilates a particle with momentum k.
| |
| | |
| If the potential energy for interaction of infinitely distant particles vanishes, the fourier transformed operators in infinite volume create states which are noninteracting. The states are infinitely spread out, and the chance that the particles are nearby is zero.
| |
| | |
| The matrix elements for the operators between non-coincident points reconstructs the matrix elements of the Fourier transform between all modes:
| |
| #<math>
| |
| \psi^\dagger(k) \psi^\dagger(k') - \psi^\dagger(k')\psi^\dagger(k) =0
| |
| \,</math>
| |
| #<math>
| |
| \psi(k)\psi(k') - \psi(k')\psi(k) =0
| |
| \,</math>
| |
| #<math>
| |
| \psi(k)\psi^\dagger(k') - \psi(k')\psi^\dagger(k) = \delta(k-k')
| |
| \,</math>
| |
| where the delta function is either the [[Dirac delta function]] or the [[Kronecker delta]], depending on whether the volume is infinite or finite.
| |
| | |
| The commutation relations now determine the operators completely, and when the spatial volume is finite, there are no conceptual hurdle to understand coinciding momenta because momenta are discrete. In a discrete momentum basis, the basis states are:
| |
| :<math>
| |
| |n_1, n_2, ... n_k \rangle
| |
| \,</math>
| |
| where the n's are the number of particles at each momentum. For fermions and anyons, the number of particles at any momentum is always either zero or one. The operators <math>\scriptstyle \psi_k</math> have harmonic-oscillator like matrix elements between states, independent of the interaction:
| |
| :<math>
| |
| \psi^\dagger(k)|..,n_k,\ldots\rangle = \sqrt{n_k+1}\, |...,n_k+1,\ldots\rangle
| |
| </math>
| |
| | |
| :<math> | |
| \psi(k) | ...,n_k, \ldots \rangle = \sqrt{n_k}\, |...,n_k-1,\ldots\rangle
| |
| </math>
| |
| | |
| So that the operator
| |
| :<math>
| |
| \sum_k \psi^\dagger(k)\psi(k) = \int_x \psi^\dagger(x)\psi(x)
| |
| </math>
| |
| counts the total number of particles.
| |
| | |
| Now it is easy to see that the matrix elements of <math>\scriptstyle \psi(x)</math> and <math>\scriptstyle \psi^\dagger(x)</math> have harmonic oscillator commutation relations too.
| |
| #<math> [\psi(x),\psi(y)] = [\psi^\dagger(x),\psi^\dagger(y)] = 0 </math>
| |
| #<math> [\psi(x),\psi^\dagger(y)] = \delta(x-y) </math>
| |
| So that there really is no difficulty with coincident particles in position space.
| |
| | |
| The operator <math>\scriptstyle \psi^\dagger(x) \psi(x)</math> which removes and replaces a particle, acts as a sensor to detect if a particle is present at x. The operator <math>\scriptstyle \psi^\dagger \nabla\psi</math> acts to multiply the state by the gradient of the many body wavefunction. The operator
| |
| :<math>
| |
| H= \int_x \psi^\dagger(x) {\nabla^2 \over 2m } \psi(x)
| |
| \,</math>
| |
| acts to reproduce the right hand side of the Schrödinger equation when acting on any basis state, so that
| |
| :<math>
| |
| \psi^\dagger i{d\over dt} \psi = \psi^\dagger {-\nabla^2 \over 2m} \psi
| |
| \,</math>
| |
| holds as an operator equation. Since this is true for an arbitrary state, it is also true without the <math>\scriptstyle \psi^\dagger</math>.
| |
| :<math>
| |
| i {\partial \over \partial t} \psi = {-\nabla^2 \over 2m} \psi
| |
| \,</math>
| |
| | |
| To add interactions, add nonlinear terms in the field equations. The field form automatically ensures that the potentials obey the restrictions from symmetry.
| |
| | |
| ===Field Hamiltonian===
| |
| | |
| The field Hamiltonian which reproduces the equations of motion is
| |
| :<math>
| |
| H= {\nabla \psi^\dagger \nabla\psi \over 2m}
| |
| </math>
| |
| | |
| The Heisenberg equations of motion for this operator reproduces the equation of motion for the field.
| |
| | |
| To find the classical field Lagrangian, apply a Legendre transform to the classical limit of the Hamiltonian.
| |
| :<math>
| |
| L = \psi^\dagger \left(i {\partial \over \partial t} + {\nabla^2 \over 2m} \right)\psi
| |
| \,</math>
| |
| | |
| Although this is correct classically, the quantum mechanical transformation is not completely conceptually straightforward because the path integral is over eigenvalues of operators ψ which are not [[hermitian]] and whose eigenvalues are not orthogonal. The path integral over field states therefore seems naively to be overcounting. This is not the case, because the time derivative term in L includes the overlap between the different field states.
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| ==External links==
| |
| | |
| {{DEFAULTSORT:Schrodinger Field}}
| |
| [[Category:Particle physics]]
| |
| [[Category:Schrödinger equation]]
| |
| [[Category:Quantum field theory]]
| |