A photon of wavelength has energy and momentum along its propagation direction.
The specified Compton scattering formula requires the electron to be initially at rest in the frame where the wavelengths and angle are measured. This initial-rest assumption is implicit in the printed request; it is not valid for arbitrary initial electron momentum. Use four-momentum with Minkowski metric signature : initially , while and are null. Conservation gives , and the outgoing electron satisfies the same mass-shell condition . Hence
After dividing by and substituting the photon energy relation,
The scale is the electron Compton wavelength. For a moving initial electron, the earlier invariant identity remains valid, but includes its initial velocity and the wavelength shift is different.
Choose depth positive downwards and harmonic time dependence . At normal incidence, P waves and the two polarizations of S waves are independent scalar problems: a P wave uses the longitudinal modulus , and an S wave uses the shear modulus . In a uniform layer with wave speed and seismic impedance , write velocity and compressive traction as
At a perfectly bonded interface the velocity and traction are continuous. For incident velocity wave amplitude one from medium 1 into medium 2, these two conditions are and . Thus
Reflection is determined by seismic impedance, not by speed alone. A step to larger seismic impedance reverses the reflected velocity/displacement field waveform; the pressure reflection coefficient has the opposite sign. Its transmitted pressure coefficient is . Equal seismic impedance eliminates the reflection even when speed and wavelength change. At a free surface traction vanishes and velocity reflects with coefficient ; at a rigid surface velocity reflects with coefficient .
The mean elastic-wave energy flux is for positive real . Therefore the reflected and transmitted energy fractions are
A displacement field transmission coefficient greater than one is compatible with conservation of energy; its flux must be weighted by the receiving seismic impedance.
For many layers, use the seismic layer transfer matrix. A layer of thickness has wave phase thickness and
This follows either by eliminating between the two faces or by integrating and . For the complete stack put . With upper and lower half-space impedances , an outgoing lower wave satisfies . Solving this condition gives the input seismic impedance
Here is lower-face velocity divided by upper-face incident velocity, including the propagation wave phase. For lossless layers and real frequency, . This supplies a sensitive check on any spreadsheet or numerical implementation; it is not correct simply to multiply the individual interface transmissions and discard the elastic waves.
The physical reason is repeated wave interference. In one layer between media 0 and 2, let denote the velocity coefficients above and . The first transmitted wave has wave amplitude . Every extra round trip supplies . Summing the geometric series gives
In the time domain the successive arrivals are delayed by , producing reverberation. In the frequency domain the same delayed terms produce resonant maxima and minima. For a layer between identical half-spaces of impedance ,
At the layer transmits all the incident energy: the internally elastic waves cancel the direct reflection. Halfway between these resonances, a large impedance contrast gives strong reflection. For unequal exterior impedances, a quarter-wave layer with transforms its lower load to , again giving zero reflection at its design frequency. This matching is narrow-band.
Periodic alternation produces a periodic seismic multilayer stop band. For a cell of two layers with total thickness , the cell matrix has reciprocal eigenvalues , so
When the absolute value of this expression exceeds one, the infinite periodic medium has no propagating cell mode; a long finite stack has exponentially small transmission. The energy is reflected, not absorbed. Pass bands instead contain oscillatory transmission peaks, becoming more numerous as the stack length increases. Disorder removes the exact cell periodicity but not multiple scattering or frequency-selective interference.
For a concrete reproducible investigation, take , equal one-way travel times in both layer types, exterior impedance , and frequency coordinate . At each layer is a quarter wavelength; one cell has diagonal matrix entries . For cells,
It is about for one cell, for four cells and for eight cells. The infinite-cell stop band is . The accompanying calculation also shows the first transmitted arrivals for a single high-impedance slab: their wave amplitudes are at times . Their sum is one, consistent with unit zero-frequency transmission. These calculations illustrate both the spectrum and the pulse train without assuming access to the course's spreadsheet.
Figure 1.
Original transfer-matrix calculations showing a periodic stack stop band and the transmitted reverberation train of one slab
. Details.
Finally, as for a fixed finite stack, every , so the response approaches that of a direct interface between the exterior half-spaces. Equal exterior impedances give . For wavelengths much longer than a repeating cell, expansion of to first order instead gives an effective medium with averaged mass density and harmonic-mean modulus , where . Its speed is , not generally the arithmetic mean of the layer speeds. Attenuation makes the energy balance an inequality, while for a fixed oblique horizontal slowness the scalar SH calculation uses and . Oblique P-SV waves require coupled displacement field and traction matrices because of mode conversion at a planar elastic interface. Thick evanescent layers require scattering or impedance recursion rather than exponentially ill-conditioned transfer-matrix products.
Linearizing the ideal magnetohydrodynamic induction equation about a static magnetic field and using gives the fluid Lagrangian displacement-generated magnetic field perturbation . The two solenoidal vector field conditions reduce the curl identity to
Its divergence vanishes because it is a curl. Directly, the two products of first derivatives in cancel after exchanging their indices, while the remaining terms differentiate or , both zero. Similarly the integrated linear continuity equation gives , so .
Let be the magnetohydrodynamic total pressure. Magnetostatic equilibrium and the momentum equation in the linearized ideal magnetohydrodynamic equations are
There is no perturbed gravitational potential here because the field is fixed. Multiply by and integrate. The pressure term vanishes by the assumed boundary cancellation and . Thus
where .
Integrate the first magnetic term along , using , then insert the expression for . This gives the positive term and two mixed derivative terms. For clarity, the troublesome term transforms as
The first term on the right cancels the other mixed term. Combining the remaining derivative with the term containing gives
Differentiating the equilibrium relation now combines the gradient of mass density and magnetostatic equilibrium terms:
We obtain the incompressible magnetic displacement energy identity
The two Hessian matrices are real symmetric, making their Hermitian form evaluations real. The last term is a squared norm, and for a nonzero displacement in fluid with positive mass density. Thus . It may be negative, in which case one temporal branch has exponential growth; real squared frequency is not itself a proof of stability.
For the atmosphere with a horizontal magnetic field, has zero Hessian matrix and the equilibrium equation is
Consequently the interchange stability of an incompressible magnetized atmosphere is governed by the numerator
For , the magnetic tension term is zero: these fluid Lagrangian displacements interchange neighboring magnetic field lines without varying along them. A mass density increasing with height gives negative energy and instability; decreasing mass density gives positive energy for these vertical interchanges. If everywhere, the displayed form is nonnegative for every admitted incompressible displacement. If the gradient changes sign, suitably localized divergence-free interchange trials detect an unstable inverted layer; For example, take and , with supported in that layer. Their divergence is zero, and neither component varies along the magnetic field.
For , magnetic field lines are bent. Averaging over a full horizontal wavelength gives the trial Rayleigh quotient
under the stipulated admissible boundary/integrability conditions. It is a trial quotient, not a claim that this displacement is an exact eigenfunction for every profile. mass density decreasing upward is stable here too. For inverted mass density, magnetic tension can stabilize sufficiently short waves along the magnetic field, but does not remove the transverse interchange instability. Locally the two contributions have the familiar scale , with the Alfvén speed .
Measure from the rigid tube wall towards the air core, so . To leading order in and small interface slope, the curvature entering the Young–Laplace equation is
The air pressure is spatially uniform at the order retained. Thus the linear liquid pressure perturbation associated with thickness amplitude is . The circumferential curvature favors growth at long wavelength; the curvature opposes it at short wavelength.
The lubrication theory momentum equation is . With the wall no-slip boundary condition and zero surface shear stress, , its solution and flux are
Leading thin-film mass conservation is . For a mode , this gives the capillary instability of an annular liquid lining
Therefore the unstable band is . Maximization with respect to gives and
These curvature coefficients use instead of consistently at leading order in the thin-lining approximation.
At the threshold , the determinant quadratic has a double zero at
Consequently the scaled disturbance length in is
The physical length is at threshold; its full spatial wavelength is times this length, not this length itself. For much shorter lengths, the large negative diffusion terms smooth both components. For much longer lengths, diffusion contributes little and the stable homogeneous reaction feedback, especially the inhibitor response, suppresses disturbances. The selected length lies between those two stabilization mechanisms.
Use the observed wavelength in . Since ,
For an Einstein-de Sitter universe at , , and the redshift drift is . With the rounded numerical values supplied in the paper,
Therefore the spectroscopic velocity drift accumulated over ten years is
The negative sign means a shift toward shorter observed wavelength. Omitting the factor would overestimate the apparent velocity shift by four.
The Lyman-alpha forest supplies many relatively narrow absorption features along each bright distant quasar sightline. These arise in intervening intergalactic hydrogen rather than in the quasar's rapidly varying emission region. A repeat high-resolution spectrum can be fitted against the same absorption template, and the information from many lines and many sightlines can be combined to estimate a common spectroscopic velocity drift. Diffuse intergalactic absorbers also generally have smaller peculiar accelerations than gas close to galactic nuclei, although their peculiar accelerations and changing line profiles still require control.
The preceding calculation requires a relative wavelength displacement over a decade. This is much smaller than one instrumental resolution element. Accurate line centroids can nevertheless be measured to a fraction of a resolution element when the signal-to-noise ratio and template information are sufficient. The real obstacles are long-term wavelength calibration, instrumental drift, sufficient photon counts and corrections for observer motion, along with astrophysical variability. Statistical averaging reduces independent errors; a common calibration error remains common to all lines. The Sandage-Loeb test therefore needs large collecting area, stable high-resolution spectroscopy and a long time baseline. The original absorption-forest strategy is described in Loeb's 1998 proposal.
The measurement is feasible in principle but demands exceptional long-term stability. It directly probes the change of redshift with observer time, giving rather than a distance inferred from a standard candle. Measuring its sign and redshift dependence would distinguish the expansion histories in part (ii).
Use geometrized units, and denote the beacon's proper time by to distinguish it from the short emitted duration . Take at release. The period , the duration , and the wavelength are measured by the beacon's own clock. Its radial timelike geodesic has conserved Killing energy per unit rest mass , where . Initially at , so . Normalization of the four-velocity gives
For the Schwarzschild radial fall from rest at a finite radius, introduce
Indeed and reproduce the inward radial equation. At the Schwarzschild event horizon, and . Hence
This is the finite falling-clock time to the event horizon. By contrast, Schwarzschild time obeys and diverges at crossing. Near the horizon , so and .
Every outward optical pulse emitted while can reach a distant observer, and no pulse emitted after entry into the future black-hole region can do so. The infinite coordinate crossing time does not produce infinite emissions, because the pulse clock runs in proper time. If there is a pulse at release, the escape times are for . Thus 24 pulses are received, counting the pulse at release; 23 are emitted subsequently during the fall. More generally the PDF does not specify the phase of the pulse clock. For a first emission at with , the finite pulse count for a falling Schwarzschild beacon is
The ceiling handles a pulse scheduled exactly at crossing correctly: it cannot escape. This count concerns pulses associated with the fall, not any pulses emitted before release, and assumes an ideal observer able to detect arbitrarily redshifted signals.
To find the stretching of an optical pulse, use the Schwarzschild tortoise coordinate . An outward radial null geodesic has constant Schwarzschild retarded null coordinate . At an observer's fixed large radius , its arrival time is ; therefore only the varying emission value of contributes to the interval between arriving wavefronts. Differentiating along the falling source gives
The outgoing pulse redshift from a radial Schwarzschild infaller includes both gravitational redshift and the emitter's inward Doppler shift. A short pulse emitted at radius has, to leading order in its duration,
For a finite receiver radius, replace by to measure the receiver's proper time and frequency; this correction is negligible for . The inverse scaling of frequency follows because the number of carrier cycles is unchanged when the pulse is stretched. Here is ordinary frequency, not angular frequency, in units with light speed one.
Under the release-phase convention, the last emission is at . Solve to obtain , , and . Because and this pulse begins before crossing, the local short-pulse approximation applies. Thus its approximate observed duration and frequency are
Without fixing that phase, these numerical coefficients are not unique: put , find from the parameterization, and use the boxed general formulas. For a last pulse close to crossing, with but , the horizon redshift of a Schwarzschild infaller gives the useful estimates
If a phase instead places the pulse within one pulse-duration of crossing, , a single constant stretching factor is inappropriate. The received extent of a complete escaping pulse is exactly ; a pulse straddling crossing has an escaping tail extending to arbitrarily late arrival times, whose instantaneous frequency tends to zero. The finite count remains valid, while its last-pulse duration then has no finite constant multiple of . This identifies precisely what the unspecified pulse phase can change.
Use geometrized units and assume , , so the Reissner-Nordstrom spacetime contains a black hole. Its outer event horizon is . The classical absorption cross-section is obtained in geometrical optics, by counting incident null geodesics captured from infinity. Spherical symmetry lets us use the equatorial plane. Write , and let a dot denote differentiation with respect to an affine parameter. The conserved Killing energy and angular momentum are and . Null normalization gives
where the impact parameter is and . An incoming ray turns around if the angular-momentum barrier reaches before the ray reaches the event horizon. The limiting captured ray approaches the exterior unstable circular null geodesic, at the maximum of .
The stationary-point equation is
The outer root is the photon sphere radius
It lies outside : for it ranges from down to , whereas ranges from down to . More precisely except in the extremal case, and ; even at extremality . At this root,
so the circular null geodesic is unstable. The smaller stationary root lies at or inside the outer horizon and does not set capture from infinity. For , the radial equation has no exterior turning point and the ray enters the event horizon; for , it turns around. The critical impact parameter is therefore
The stationary-point equation gives , hence . Since a parallel incident beam is captured over a disk of radius , the photon capture cross-section of a Reissner-Nordstrom black hole is
The equality case approaches the unstable orbit indefinitely, but it is a measure-zero boundary of the captured disk and does not change the cross-section.
For the suggested parameterization, choose with and . Then , so the same cross-section is
The black-hole range has , hence . For , , , and , giving
the classical Schwarzschild black hole light-capture result. As an additional limit check, gives , , and . These are geometric capture areas, larger than the corresponding horizon areas; the relevant barrier is the photon sphere, not the horizon's apparent disk. The result applies to light in the short-wavelength limit, while a finite-frequency wave absorption cross-section depends on the greybody factors.
In the Boussinesq approximation, density departures from a constant reference density are small enough to neglect in inertia and mass continuity, but their gravitational effect is retained. Write the total buoyancy acceleration as , choose a hydrostatic background , and set . Thus is the buoyancy perturbation, positive for a parcel lighter than the background at its present height. The squared buoyancy frequency is
Stable stratification has . A small vertical displacement of a parcel conserving its buoyancy gives , explaining the restoring acceleration and the name of .
Let be pressure with the background hydrostatic pressure removed, , and the material derivative. The ideal, nonrotating Boussinesq equations are
The last equation is equivalent to . There is neither viscosity nor buoyancy diffusion. The reference density occurs in the pressure normalization, while the small density anomaly occurs only through buoyancy.
For the two-dimensional disturbance, linearization about rest gives
A plane internal gravity wave proportional to therefore satisfies
These internal-wave polarization relations and the dispersion relation determine the individual responses in parts i and ii. A radiating response has no incoming internal gravity wave from ; an evanescent response is bounded there. The harmonic solutions describe the response after excluding arbitrary initial transients.
For the localized oscillatory boundary, define and . Both signs of vertical wavenumber must radiate into . Their horizontal wavenumber is , so the positive- contribution involves and the negative- contribution involves . Consequently the complex horizontal velocity is
Taking its real part proves
The positive- internal-wave polarization has and the negative- one has . Hence
In particular, , so the boundary condition is recovered exactly. This is two-beam radiation from a localized oscillating boundary.
Take a smooth localized profile, for example . Its effective support is a neighbourhood of width a few ; increasing that neighbourhood makes the tails arbitrarily small. The boundary displacement is to first order, so at it is flat and moving at maximum speed. At that instant,
There are two narrow oblique beams centered on and . Away from their overlap, the velocity is parallel to the relevant beam, in the directions and . The figure uses and measures velocities in units of .
Figure 1.
Velocity in two internal-wave beams when the oscillating boundary is flat and moving fastest
. Details.
At other phases the terms contribute. For the positive-frequency convention above, is the Hilbert transform of ; it generally has longer tails than . Thus even when the boundary is nearly stationary, the interior need not be stationary or confined to the bright cores shown here. Half a period later all velocities reverse. The beam directions remain the same, but the instantaneous velocity profile and its quadrature component change.
A short pulse has a broad frequency spectrum. Frequencies below produce outgoing internal gravity wave packets with frequency-dependent ray slopes ; frequencies above contribute an evanescent near-boundary response. Moreover the group velocity depends on wavelength as well as direction. The radiated packet therefore spreads into a dispersive fan or wake, with different frequencies traveling at different angles and different scales separating along those directions. After the forcing ends the propagating packet travels away, rather than maintaining the two permanently driven monochromatic beams.
Define the quasi-geostrophic streamfunction by . Leading horizontal geostrophic balance, , gives . The hydrostatic approximation gives , hence
Thus is the material derivative along the leading geostrophic flow, and the vertical derivative of pressure determines the buoyancy perturbation. This also gives thermal wind: and .
The balanced regime is favored by small Rossby number, a shallow aspect ratio, and a Burger number of order one. Equivalently the stratified Froude number is small. On a beta plane, require , and take slow, initially balanced motion away from the equator. Under the traditional approximation, the horizontal Coriolis force generated by vertical velocity is small because vertical velocity is small, while the vertical rotational force is small compared with the leading hydrostatic pressure and gravity terms. Strong stratification and small aspect ratio justify retaining only the vertical component of Earth's rotation in this regime; this argument is not uniform near the equator.
Put . The buoyancy equation gives . Substitution into the vertical vorticity equation yields
There is an important commutator cancellation. With ,
Also for . Adding terms therefore proves potential-vorticity conservation:
This is the three-dimensional quasi-geostrophic potential vorticity.
At an impermeable stationary lower boundary , the kinematic condition is . For small elevation and slope, evaluate this at the reference level to leading order. Combining it with the buoyancy equation gives the rigid-boundary buoyancy condition for quasi-geostrophic waves
The quantity in parentheses is the boundary displacement plus its buoyancy-equivalent displacement.
Now take constant and the mean quasi-geostrophic streamfunction . Its mean buoyancy perturbation is , consistent with thermal wind, and its interior potential vorticity is constant. In the boundary condition, the perturbation velocity advects the mean boundary buoyancy gradient. Keeping this contribution gives
In particular the term must not be omitted.
The linear interior potential-vorticity equation is . Starting with zero interior perturbation potential vorticity, and with forcing only through the boundary, it remains zero. For a steady solution this is also the regular zero-interior-PV choice, continued through any isolated zero of . The inversion equation for a horizontal mode is
The printed convention takes ; for either hemisphere the decay rate is defined using . Boundedness aloft selects the decaying mode. Write
with real part understood. The linear boundary condition becomes
For , a steady quasi-geostrophic mountain wave is therefore
On , its real meridional velocity is
For the positive-parameter convention and , the velocity minimum lies one quarter wavelength downstream of each topographic maximum; its maximum lies one quarter wavelength downstream of each topographic minimum. If the velocity prefactor changes sign, maxima and minima interchange. The condition alone does not fix that prefactor if is allowed to be negative. The upper panel shows the positive-current convention.
Figure 1.
Meridional velocity relative to topography for a steady mountain wave and a resonantly growing edge wave
. Details.
At , the free boundary Eady edge wave has zero frequency in the ground frame. If , a steady amplitude cannot satisfy the forced amplitude equation. With , integration gives
Consequently
The symbol multiplying here is the horizontal wavenumber , as in the PDF. Taking the real part and differentiating in gives
For , positive , and , the meridional-velocity minima coincide with topographic maxima, and its maxima with topographic minima. This is the lower panel. The change from quadrature to opposition is the phase of a resonantly forced topographic edge wave.
The stationary relief continuously excites a boundary Rossby wave whose intrinsic propagation exactly cancels mean advection. The forcing therefore remains coherent with that wave; with no damping or radiation loss for this trapped mode, its linear amplitude grows secularly. This is a resonant topographic quasi-geostrophic wave. Unlimited growth is a conclusion of the linear idealization: eventually the small-disturbance approximation fails.
The assertion that resonance must be unsteady needs nonzero forcing. If , then and the boundary current does not cross the relief; if , the forcing also vanishes. In either case the zero disturbance is a steady solution even if . For example, choose , , and ; this is a concrete exception to an unconditional resonance claim. When both horizontal wavenumbers vanish, and the stated decaying-wave ansatz itself does not apply.
A kinematic redshift is the relativistic Doppler effect arising from relative motion of emitter and receiver. In a local inertial frame, recession decreases the received frequency and approach increases it. A cosmological redshift instead compares photons emitted and received by comoving observers at different cosmic times: expansion of the scale factor stretches their wavelengths. It exists even when both observers have zero peculiar velocity. Both are frequency ratios measured by observers, but a large cosmological redshift should not be inserted into a flat-spacetime radial-speed formula to define the galaxy's unique recession speed.
In a thin disk dominated by a central stellar mass, the vertical gravitational potential is harmonic to leading order, so its vertical acceleration is . For a locally isothermal background, with independent of height. Vertical hydrostatic equilibrium therefore gives
This is the isothermal vertical structure in stellar gravity. On the upper half of the disk the downward gravity magnitude is ; the density profile extends evenly through the midplane.
For an adiabatically displaced parcel kept in pressure equilibrium, the parcel's logarithmic density gradient is , whereas the environmental density gradient is . A small upward displacement consequently produces a density contrast . Its buoyancy acceleration is . Thus the Brunt–Väisälä frequency is
Both background gradients equal in the isothermal atmosphere, so
An isothermal background is therefore stably stratified for adiabatic perturbations with , but not buoyant for isothermal perturbations. In applying the adiabatic equation of state to a stratified atmosphere, its proportionality relates Lagrangian parcel changes: . Eulerian perturbations generally obey instead. Thus the printed simple proportionality must be interpreted as a parcel relation for the buoyancy calculation. For in this isothermal background, the gradient terms cancel and the Eulerian proportionality holds too.
Now take isothermal perturbations, so and . The two supplied wave equations reduce to
For the nonsingular oscillatory case and , substitute . With , the resulting Hermite differential equation is
The exceptional frequencies must be treated through the original velocity-pressure equations rather than division by these factors.
The physical vertical condition is finite perturbation energy when integrated with the Gaussian density. In particular the pressure contribution is proportional to for nonzero frequency. Generic nonterminating solutions have an exponentially growing component at at least one vertical end and fail this condition; acceptable modes are the terminating Hermite polynomials. This is a finite-energy condition, not pointwise boundedness of the velocity in the vanishing-density atmosphere.
To prove the allowed values of , let the nonzero polynomial have degree and leading coefficient . The highest power in has coefficient . Hence . Conversely, writing gives the recurrence
For , choose the parity of and iterate until the series terminates at degree . Thus all allowed Hermite vertical modes of an isothermal disk have
where is the Probabilists' Hermite polynomial. In particular, and .
Let and . Eliminating the denominator for regular modes gives
For , the nonzero-frequency solution is
Its pressure variable is independent of height and . These are inertial-acoustic waves, restored by epicyclic motion and pressure; at short radial wavelength they become ordinary acoustic waves. The multiplied dispersion polynomial also has . This is not an extra oscillatory solution represented by nonzero , since vanishes at zero frequency for finite pressure perturbation. The full horizontal equations have a zero-frequency balanced mode of an axisymmetric disk, with no radial velocity and azimuthal Coriolis acceleration balancing a radial pressure gradient. It must be recovered without dividing by , rather than counted as a propagating wave. At , the propagating branch limits to an epicyclic oscillation at , another value at which the eliminated form must be interpreted by a limit.
For , solve . The two branches are
Both signs of frequency occur on each squared-frequency branch. The upper branch is acoustic in the large- limit, ; the lower branch is an inertial wave with . At , both frequencies approach , reflecting the equality of the radial and vertical epicyclic frequencies in a Keplerian disk. Here , so is independent of height: these modes have a coherent vertical displacement of the disk column, rather than a vertical breathing motion.
For a local non-axisymmetric disturbance proportional to , the material frequency is . In the same local radial-wave approximation, replace by . For , this gives
The four frequencies can equivalently be written , with independent choices of the two signs. This is a local dispersion relation, not a claim that Doppler substitution supplies an exact global non-axisymmetric solution in a differentially rotating disk. The radial-wave ordering neglects azimuthal gradients compared with radial gradients; can coexist with in a thin disk.
Write . For the two low inertial-frame frequency branches, , while the material frequency remains near . Expanding the dispersion relation gives
Therefore
For signed , the two leading branches are conventionally labelled by . These are bending waves of a Keplerian disk: an vertical displacement varies once around an annulus and corresponds to a small tilt of its orbital plane. A radial variation of the tilt is a warp. The waves transport the warp radially at group speeds in opposite directions. At zero radial wavenumber their low-frequency limit is a stationary rigid tilt; the apparent slow pattern does not mean that the orbiting gas has slow vertical motion in its own frame.
The homogeneous fixed point must satisfy . The singular point is outside the domain of the reaction term, so substitution in the other equation gives the unique regular spatially homogeneous equilibrium
This is the basally forced quadratic activator-inhibitor model. The linearization of its reaction terms gives the Jacobian matrix
Put , so . Its trace and determinant are and , and its eigenvalues are
Since , both eigenvalues have negative real part exactly when . Hence
For the equilibrium is always strictly linearly stable. For , equality is an oscillatory threshold with ; the nonlinear qualification at this threshold is proved below.
Now insert a perturbation proportional to . The diffusion terms subtract from . With the mode trace and determinant are
For a strictly stable homogeneous state, makes for all . A nonzero Fourier mode can therefore grow only if , in which case its two real eigenvalues have opposite signs. The determinant parabola has its minimum at , and that minimum is . The two-species Turing criterion is consequently derived here as
These force , hence . Equivalently, solving for gives
Thus the inhibitor in a reaction-diffusion system must diffuse sufficiently fast. Inside this region, the growing wavenumbers obey
At onset, the minimum touches zero and the two determinant roots coalesce. Therefore
Here is evaluated on the onset surface. These are the Turing threshold of a basally forced quadratic activator-inhibitor model and its continuum critical wavelength. On a finite or domain with periodic boundary conditions an admissible nonzero spatial mode must additionally fall in the stated band. Equality in the diffusion criterion is marginal onset, while is the distinct homogeneous oscillatory threshold.
For completeness, the weak focus at the Hopf threshold of a basal activator-inhibitor model resolves the nonlinear homogeneous stability when . Let , , , and set , , , . Expanding the rational reaction term to cubic order gives
where
Write , and evaluate these homogeneous polynomials on the unit circle. If , , and , division of the radial and angular equations gives
The angular integral of is zero because it changes sign under . Iterating its quadratic term once over a full cycle contributes the square of this zero integral, so the first nonzero return map term is cubic. Using , and the corresponding sixth moments gives and . The Poincaré map is
Because , sufficiently small positive radii decrease on every return. The equilibrium at is therefore nonlinearly asymptotically stable, with weak rather than exponential attraction, despite its neutral linear eigenvalues. The strict inequalities above describe the ordinary diffusion-driven instability from a strictly linearly stable homogeneous state.