Inside the box, the time-independent Schrödinger equation is . The zero endpoint values eliminate the cosine term and require . There is no nonzero zero-energy solution with both endpoints zero. Normalization uses , so
Insert the expansion into and take its inner product with . Orthonormality gives for each , and conversely these equations make every expansion coefficient of the residual zero. Thus in the usual Hilbert-space or strong-solution class appropriate to the expansion.
For the specified state,
The modes are real, so the interference term is a cosine of the energy difference. Writing ,
Its integral remains one because the cross term integrates to zero. The probabilities of the two energy outcomes are fixed at and , even though the position probability density oscillates.
Differentiate the Lagrangian with respect to the generalized velocities:
The Legendre transform cancels the vector-potential energy term, giving . Eliminating velocity with therefore yields
For the given gauge, set , , . Hamilton's equations give , , , . Hence the conserved quantities are
The two transverse combinations are components of magnetic pseudomomentum. The printed conserved combinations omit the electric charge factor . With the stated vector potential and general electric charge they need the factors displayed above; as printed they hold only if or if electric charge is already absorbed into the field convention.
The initial data give . Thus , throughout, and
Solving with the initial point gives
Consequently : the guiding centre is the origin and the signed cyclotron frequency fixes the rotation direction. The energy is the constant .
Use the Dirac notation convention that the inner product is linear in the ket. Orthonormality of the computational basis gives
The finite geometric sum satisfies if in , and zero otherwise: in the second case it equals . Therefore
There are such orthonormal vectors in an -dimensional space, so they form a basis. The inverse expansion is verified by the same sum:
This is the unitary discrete Fourier transform and its inverse.
For the basis-copying isometry, the images are orthonormal, so is a linear isometry, with . Its matrix elements give
Applying the definition of the adjoint operator, the coefficient of in is exactly this expression. Thus
Equivalently . The adjoint of basis copying acts as pointwise multiplication of coefficient functions.
For the Fourier transform of a basis-copying isometry, the normalization matters:
Hence . Taking adjoint matrix elements, or expanding both output factors in the inverse Fourier basis, yields
The printed formula is missing the factor . There are mutually orthogonal terms in its sum, so without that factor its right side has norm , whereas its left side has norm one because is an isometry. The formula above is the normalized identity consistent with all the preceding definitions. For the distinction disappears, but the no-cloning assertion is substantive for .
The normalized output is not . Its coefficient matrix pairs every Fourier label with ; tracing out either factor gives . Thus it is a maximally entangled state, while two clones of a pure Fourier quantum state would have pure reduced quantum states. A copier for the computational basis therefore does not copy the Fourier basis.
More generally, suppose a linear isometry with a fixed blank input could clone every normalized quantum state. Its restriction to would define a linear map with on every computational basis quantum state. Linearity forces , which has just been shown to fail on Fourier quantum states. This proves the no-cloning theorem in the pure-quantum state isometric setting.
The inner-product proof makes the obstruction independent of the chosen basis. If an isometry cloned two quantum states with overlap , preservation of inner products would give , or, allowing irrelevant output phases, . Distinct nonorthogonal rays have , which is impossible. Even allowing an output environment does not help: unitary evolution would give , the same contradiction. Arbitrary unknown quantum states cannot be cloned, although any fixed orthonormal basis can be copied and a one-dimensional quantum state space is trivial.
Use an expansion for the eigenstate continuing the nondegenerate level, with intermediate normalization :
Insert these expressions into the eigenvalue equation. At first order,
Taking the inner product with eliminates the left side by self-adjointness. Thus
For , projection onto instead gives
At second order, projecting the eigenvalue equation onto gives . Expand in the orthonormal energy basis and use self-adjointness of :
Nondegeneracy ensures the denominators for this level do not vanish; convergence and validity of the expansion are among the assumed perturbation-theory hypotheses.
For the cosine perturbation of the ground level in a one-dimensional box, write . The product-to-sum identity gives
so, with the given common normalization of the sine eigenfunctions,
The diagonal matrix element is , and the only nonzero off-diagonal matrix element out of the ground state is . Let . Since , the ground energy is
The second-order term is negative, as expected for a nondegenerate ground level: every excited-quantum state denominator is negative. The first-order shift is also negative for positive , because the ground-quantum state density is largest near the center, where this perturbing potential is negative.
In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions are
For particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define . Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so . Therefore implies . The components
are respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.
The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to is orthogonal, with absolute Jacobian one. Exchanging the particles leaves fixed and changes to . Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule gives
Also and . Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operator
These are independent oscillators of frequencies and . Both frequencies are positive in the stated range. Their product eigenstates have energies
The parity of an oscillator level is . Consequently bosons allow even and fermions odd , while is unrestricted.
The bosonic ground state uses , and the fermionic ground state uses . The oscillator length in the relative mode is
Using the normalized Gaussian for each mode gives
Indeed by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are and .
Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,
If the supplied factors are not individually normalized, the general expression has an additional factor ; choosing normalized factors is the convention in the displayed formula.
For the ground states, put . Then and . Thus, for differentiable with suitable Gaussian integrability and vanishing boundary terms,
This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting :
For odd , both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular and , so the fermionic root-mean-square particle separation is times the bosonic value. The fermionic probability density vanishes at coincidence , expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As approaches , the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.
For a nonzero quantum state and a self-adjoint operator , the expectation value and standard deviation of its measurement are
The squared deviation is also called the variance of the observable. All displayed products are understood on quantum states for which the relevant moments exist. Self-adjointness gives , so is real. Expanding the squared norm gives the variance expression. A norm is nonnegative and is zero exactly for the zero vector, hence precisely when . Thus zero dispersion is equivalent to being an eigenstate.
For bounded , the operator exponential is the norm-convergent power series
For a general unbounded self-adjoint Hamiltonian operator, the spectral theorem defines the same notation by
This definition does not require the power series to converge on every quantum state. complex conjugation of the spectral multiplier gives , and multiplication of the phases gives . Thus is unitary, preserves the quantum state norm, and has .
For initial data in the domain of , differentiating the spectral expression yields . Consequently
solves the Schrödinger equation with the prescribed initial quantum state. Uniqueness follows by differentiating : the two terms cancel, leaving the constant .
In the two-dimensional energy basis, expand the initial quantum state as . Each energy eigenvector receives its own phase under the operator exponential, giving
This is the general solution because every initial vector has a unique basis expansion.
In that orthonormal basis the other observable has the real symmetric matrix
Its conjugate transpose equals itself, so it is self-adjoint. Also and , giving eigenvalues and . Direct substitution gives the normalized orthogonal eigenvectors
An irrelevant global phase may multiply either vector. With the chosen lower eigenstate initially,
The Born rule says that the probability for the higher eigenstate is . Its amplitude is . Using gives
This is the transition probability for a rotated two-level observable. Its time dependence comes from the relative phase between two energy eigenstates. If their energies coincide, or if the measured observable has the energy eigenvectors as its eigenvectors, this transition probability is zero at all times.
Take and use the usual common invariant domain for the position operator, momentum operator and their products. Since and are self-adjoint,
Expanding the commutator and using gives
The two products are
Consequently the quantum harmonic oscillator Hamiltonian operator is
The identity now gives
Thus . Each ladder image is an eigenstate if it is nonzero; a zero vector is not an eigenstate. The distinction is needed for lowering the ground state. Their squared norms are
These follow by moving the operator to the other side of the inner product with its adjoint operator. The first inequality implies for every eigenstate.
For a lowest-energy quantum state, must vanish, since otherwise it would be an eigenstate with lower energy. The norm formula then forces . Raising never vanishes and produces
To see that there are no other eigenvalues, repeatedly lower any eigenstate. If were not a nonnegative integer, there would be a final nonzero lowered quantum state with energy strictly between and . Its lower image would have positive norm but energy below the lower bound, a contradiction. Thus every eigenstate reaches the ground eigenspace after an integer number of lowerings. On a positive level, lowering is injective by its strictly positive norm factor. The assumed one-dimensional ground eigenspace therefore makes every eigenspace one-dimensional, so the displayed raised quantum states give all eigenstates up to nonzero multiples. If is normalized, their norms are .
For , has eigenvalue , distinct from . eigenstates of a self-adjoint operator with distinct eigenvalues are orthogonal: applying self-adjointness to their inner product gives . Therefore
The expectation of also vanishes, either by lowering and orthogonality or by conjugating the adjoint relation.
Solving the ladder definitions for and gives
so . Both terms have zero expectation by the preceding orthogonality. Since , the oscillator form of the quantum virial theorem is
Expectations here are divided by if the eigenstate is not normalized; no normalization assumption was used in the ladder argument.
Use International System of Units, with . The Maxwell equations with charge density and current density are
Locally, or in a suitable contractible region, the zero divergence of allows a magnetic vector potential . Faraday's law then makes curl-free, so a electric potential can be chosen with
These formulas automatically satisfy the two homogeneous Maxwell equations. The local topology assumption rules out obstructions to expressing a closed field as a gradient or curl.
For any sufficiently smooth scalar , the gauge transformation
leaves both physical fields unchanged, because curl of a gradient is zero and spatial and time derivatives commute. In such a region this accounts for the freedom between potentials for the same fields.
The Lorenz gauge is . Substitution into the sourced Maxwell equations, using , gives the decoupled wave equations
For example, Gauss's law gives ; the gauge condition turns this into the scalar equation. The remaining gauge freedom preserving the condition has .
Put for the given wave. Direct differentiation gives and . Integrating Faraday's law in time yields the wave's magnetic field
One could superpose a time-independent divergence-free and curl-free magnetic field; the expression displayed chooses no such extra background. It has zero divergence and , so the magnetic Gauss and Faraday equations hold. Moreover
Since the time derivative is nonzero, the vacuum Ampere-Maxwell law holds precisely when
This verifies all four source-free equations, including both divergence constraints. The sign of selects the direction of propagation.
A wave has circular polarization when, at a fixed spatial point, its transverse electric vector has constant nonzero magnitude and rotates uniformly through a circle. Here and the angle changes at rate , so the wave is circularly polarized. Its magnetic vector is perpendicular to the electric vector, has magnitude under the dispersion relation, and rotates with it. A handedness label additionally requires a convention for the observer's viewing direction.
The Lorenz-gauge potentials for a circularly polarized plane wave give a convenient choice. Take and . Because ,
Also . Together with , this proves these potentials satisfy the Lorenz gauge. They satisfy the source-free potential wave equations because every component has the same dispersion relation just obtained.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact