There is an important convention issue in the printed statement. The ordinary Cauchy principal value exists only for . Closing the Fourier contour in the lower half-plane, with a small indentation above the real-axis pole, gives
Equivalently, the odd cosine contribution cancels and the Dirichlet integral supplies the imaginary part.
For , the paired integrand near zero is if is even and if is odd. Its leading even power is nonintegrable: in the first case and in the second. Thus the ordinary principal value diverges for every .
If the intended convention is the Hadamard finite-part integral, define it consistently by distributional differentiation,
Integration by parts in this distributional pairing, or regularized Fourier transformation, then gives
The distinction is essential: subtracting the divergent local Taylor terms supplies a finite part, but symmetric exclusion alone does not.
For nonnegative insect density assume . Substitution of gives , so choose
Then and the porous medium equation is . Its total mass is conserved when the flux vanishes at infinity. For the mass-preserving similarity solution, direct differentiation gives
On the positive support, integrating once with zero boundary flux gives and hence . The semicircle mass integral is , confirming the profile and its symmetric compact support.
The front is at . When , increases towards , so the supremum of the distance reached is
It is approached as , rather than attained at a finite time. If , the nonnegative solution is identically zero and the corresponding distance is zero.
The ideal observer performs maximum a posteriori decoding: for received word , it maximizes , equivalently . Maximum-likelihood decoding maximizes the latter conditional likelihood alone. Minimum-distance decoding minimizes the Hamming distance . Ties may be resolved arbitrarily among maximizers.
For independent errors in a binary symmetric channel,
For , its ratio on increasing the distance by one is . Thus maximum-likelihood decoding and minimum-distance decoding select exactly the same codewords. At the allowed endpoint , they agree on a possible observation ; impossible observations have zero likelihood for every codeword, so an arbitrary maximum-likelihood tie rule need not agree with minimum distance. This qualification is needed for the literal assumption .
For the specified observation, the Hamming distances from 000 and 111 are two and one. Their likelihoods are and , respectively. After multiplying by the priors, their joint probabilities are and , so their posterior probabilities are and . Therefore
The Householder-John theorem states that if is Hermitian positive definite and is also Hermitian positive definite, then is invertible and . The associated stationary iteration therefore converges from every starting vector. For designing a method, choose a splitting with easily solved and verify the positive-definiteness condition on ; it is a sufficient certificate and does not require computing every iteration-matrix eigenvalue.
For completeness, put . If for , then , a contradiction. If , then . The case contradicts invertibility of . Taking scalar products and using Hermitian symmetry gives
hence . The usual spectral-radius convergence criterion now proves the stated conclusion.
For the given scheme take the matrix splitting
Since is real symmetric, , and since it is positive definite, every diagonal entry in is positive. Thus
is positive definite exactly for . The theorem applies, and the iteration matrix has spectral radius below one. The unique solution is its fixed point, so . Therefore
The scheme is successive over-relaxation; at it becomes the Gauss-Seidel method.
The unit normal pointing out of the fluid at its lower boundary is . Since impermeability gives , also , and the tangential viscous traction exerted on the fluid is . The cilia do positive work at rate , so
For positive downstream velocity this requires , as expected when the wall-driven flow slows away from the cilia. The wall velocity is not prescribed independently; the driving condition prescribes power.
In a laminar boundary layer, momentum diffuses over a thickness during the downstream advection time , giving . The wall power condition gives . With these balances the downstream Reynolds number grows and tends to zero. This explains the thin layer for large within the laminar approximation. Pressure is uniform across it and has no imposed streamwise gradient because the outer fluid is at rest. The two-dimensional boundary-layer equations are
Choose the scales to satisfy the balances exactly:
The stream function , , enforces continuity equation and gives
Thus the advective term is , while . Hence
Impermeability, imposed wall power and matching to resting outer fluid give
A regular decaying profile also has and finite positive ; no arbitrary additional wall value for should be imposed.
The volume flux per unit span is , so continuity equation gives : outer fluid is entrained toward the wall. In the physical positive decaying similarity profile, and . To justify monotonicity, by the power condition; if first crossed zero with , the equation would give , after which cannot cross back and could not decay to zero. Therefore , and the velocity formula gives for . Consequently the transverse velocity is negative throughout that physical layer, and zero at the wall. This pointwise conclusion uses the positive decaying branch; the flux argument already establishes entrainment of the exterior.
Put . For the equatorial geodesic, the geodesic Lagrangian is , where dots denote derivatives with respect to the affine parameter. The cyclic coordinates give constants and . A third constant is the tangent norm , preserved by the geodesic equation and metric compatibility. For a timelike geodesic rescale the affine parameter to proper time so ; for a null geodesic .
Substitute , into the norm identity and multiply by . It gives the effective potential equation
Outside the horizon , its derivative is . A nontrivial circular null geodesic requires , giving
For a circular timelike geodesic,
At it , and its radius exceeds . If no finite circular timelike radius exists. Thus all finite circular null and timelike orbits in this five-dimensional exterior are radially unstable. The energy of a circular orbit is fixed by , not independently arbitrary.
For comparison, with four-dimensional Schwarzschild horizon radius , the photon circle is at and is unstable. Circular timelike orbits exist for ; they are unstable below , marginal at and stable above . The five-dimensional potential has no corresponding stable outer circular timelike branch.
Use a Lorentz boost along positive with . Since , its dimensionless speed is less than one. The given transformation of the electric field and magnetic field yields and
All other electric components vanish. In this frame a magnetic field does no work, so the particle's speed and Lorentz factor are constant. In proper time, the Lorentz force equations are and . Thus, choosing the phase and origin,
This is the signed proper-time cyclotron frequency; the frequency with respect to is . The inverse Lorentz boost gives
In particular the average drift speed is along .
For , , set and . The dimensionless spatial curve is
The drift between successive cycles is . When , this is small compared with the oscillation size: the curve consists of nearly closed loops with slow rightward drift. When , the longitudinal drift is large, producing a progressing oscillatory curve. More precisely : loops occur for , cusps at , and monotone progression for . The stated large-drift inequality compares the drift over a full cycle, so an example of that regime with is shown; that comparison alone does not replace the exact loop criterion.
Figure 1.
The relativistic drift of a charged particle
. Details.
Reversing reverses the cyclotron orientation; the drift remains along positive . If the trajectory is pure straight drift and the dimensionless coordinates are undefined. If the particle is inertial and the displayed parametrization must be replaced by its inertial limit.
The microcanonical ensemble assigns equal probability to accessible quantum states in a narrow energy shell of an isolated system with fixed energy, particle number and external parameters. To derive the canonical ensemble, put a small system in weak thermal contact with a much larger isolated bath. If the small-system state has energy , its probability is proportional to the number of bath states. Expanding the bath entropy gives , since . Negligible interaction energy and an effectively constant bath temperature therefore give . The microcanonical ensemble suits an isolated fixed-energy system; the canonical ensemble suits a system exchanging energy with a thermostat at fixed temperature, with particle number still fixed.
For one atom, summing the finite geometric series over gives the partition function
At the ratio is understood by continuity as . Logarithmic differentiation gives the mean magnetic dipole moment
This is odd in , has small- expansion , and saturates at . The requested common graph is plotted in units of : its ordinate is , so multiplication by gives . The normalized slopes at zero are and the limits are .
The magnetic susceptibility is
Equivalently it is . For , the apparent singular terms cancel, yielding Curie law
For fixed nonzero , and integer , the first excited magnetic level is separated from the aligned ground state by . Its exponentially small occupation gives
The moments are saturated, so changing the magnetic field hardly changes their alignment. This is a fixed-nonzero-field low-temperature limit. At exactly , differentiating first gives the Curie expression for every , which diverges as ; the two limits do not commute in this noninteracting model. For both moment and susceptibility vanish identically.
The normalized Bloch states satisfy periodicity when . Acting with the hopping terms shifts the coefficients by one site, giving
The first Brillouin zone is a fundamental cell of reciprocal space, for example ; wavevectors differing by label the same state. It contains exactly distinct allowed wavevectors and hence orbital states. The written Hamiltonian has no spin index; if electron spin degeneracy is included there are states.
For a narrow wave packet, group velocity and band-curvature effective mass are
For the usual , the mass is negative in the outer half of the zone, , taking one endpoint representative. At the inverse mass vanishes and the mass diverges. For arbitrary nonzero , the sign criterion is ; is a flat band.
For electron charge with in a constant electric field , the single-band semiclassical equations are , . Thus , and for ,
These are Bloch oscillations of period . The zero-field limit is . This assumes a narrow packet and neglects scattering and interband transitions.
For many electrons obeying the Pauli exclusion principle, a partially filled band has available nearby states and can carry current under a displaced occupation distribution: it describes a metal within band theory. A completely filled band has cancelling velocities over the zone, so its current is zero; if separated from empty higher bands by a nonzero gap, it describes an insulator at sufficiently low temperature and weak electric field. With spin degeneracy this isolated band is filled at two electrons per site. The single-electron Hamiltonian alone does not specify the filling or a gap to a next band, so those extra physical assumptions are required for classifying a material.
Invert the operator definitions to obtain and the adjoint formula for . The canonical commutation relation yields , with . Substitution gives
Write . Since and , these are lowering and raising operators. Applying to a ground state would lower its energy unless it vanishes, so . From the normalized unique ground state construct
The commutator gives the factorial normalization and . For any energy eigenstate, repeated lowering cannot pass below ; positivity of each lowered norm forces its eigenvalue to be a nonnegative integer and lowering eventually reaches the ground state. Its uniqueness then yields the entire eigenstate ladder. The usual oscillator on the real line has discrete complete spectrum because its potential is confining, so these states span its Hilbert space.
For the perturbation with , nondegenerate time-independent perturbation theory gives . The first-order term vanishes. Only contribute, with squared matrix elements and respectively. Thus
The absent downward transition for is automatically represented by . Direct substitution also gives
For this is another oscillator with mass and frequency . Therefore
Its expansion is , agreeing with the perturbative result and sharpening its remainder. At the excluded endpoints confinement is lost; beyond them the quadratic Hamiltonian is not bounded below.
A Lie point symmetry is a local one-parameter family of diffeomorphisms of that takes solution graphs of the differential equation to solution graphs wherever the transformed graph remains a graph over time. Its infinitesimal generator is . Its first prolongation is
For a regular first-order equation the infinitesimal criterion is on ; it says that the prolonged vector field is tangent to the equation submanifold.
With the constant nondegenerate canonical matrix , define the Poisson bracket by and the Hamiltonian vector field by . Our convention gives . Applying the Jacobi identity to a test function ,
so
A first integral obeys . Consequently , and the local flows commute. The time-independent transformation generated by , with unchanged, therefore maps integral curves of a vector field for to integral curves of a vector field: it is a Lie point symmetry.
Conversely, such a time-independent symmetry gives , hence . Nondegeneracy of makes constant on each connected component. At a fixed point , implies , so that constant is zero on its component. Thus the converse holds on a connected phase space containing a fixed point, or on each component that contains one.
The printed global converse needs this connectedness convention: a fixed point on one component does not control the constants on other components. For example take one component with , , and another with , . The Hamiltonian vector fields commute everywhere and there is a fixed point on the first component, but is not a first integral on the second. Even on a connected space the fixed-point condition matters: , commute but .

There are unlisted articles, also show them or only show them.