Both models obtain their density by integrating a galactic distribution function over velocity. The planar model integrates one vertical velocity, whereas the spherical model integrates all three components. In each case the resulting density must also generate its own gravitational potential through the Poisson equation for Newtonian gravity. The two printed numerical subparts are treated separately below.
Set . The axisymmetric Poisson equation for Newtonian gravity integrates to . Regularity on the axis fixes the integration constant, so . Radial force balance in the rotating fluid gives
With the stated central pressure, , this is a perfect square:
The free surface lies at the first zero of pressure. For the source's positive rotation parameter, ; allowing either rotation direction requires in the denominator. The inward effective gravity is , so . In particular . This is the critically rotating self-gravitating cylinder.
For a normal mode proportional to , the background material derivative becomes , where . Linearizing the centrifugal term gives in the radial equation. In the azimuthal equation the background velocity gradient and cylindrical geometric term together give . Since the interior mass density is constant, write . The two momentum equations and incompressible flow condition are consequently
For , the last two equations express the other amplitudes in terms of :
Differentiate the second expression using and , then substitute into the radial momentum equation. Before any division by , the result is
Away from corotation this gives the required ordinary differential equation
At corotation the original coupled equations, or the undivided equation, must be used. A regular axisymmetric radial velocity would vanish by the incompressible flow condition; the requested dipolar calculation has .
For , use the amplitude normalization , which remains useful when tends to zero. Substitution into the undivided equation gives zero identically. For nonzero this is the source's after choosing . The other amplitudes are
These formulas also satisfy the three original equations directly. By the regularity assumption in the question, this is the interior velocity family to which the free surface conditions must be applied.
The gravitational potential of a displaced cylindrical interface supplies an essential part of those conditions. For surface fluid displacement , the bulk mass density perturbation vanishes but the displaced mass density step contributes . The interior and exterior gravitational potential amplitudes solve Laplace's equation, are proportional to and for , and are continuous at the surface. Integrating the Poisson equation for Newtonian gravity across the mass density step gives
Since the two radial derivatives at the surface are and , respectively,
It would be incorrect to set the entire potential perturbation to zero merely because the bulk mass density is unchanged.
Let , so . Zero fluid Lagrangian perturbation of surface pressure gives , hence . The surface momentum potential and kinematic condition for are therefore
If , the kinematic condition fixes . The same value follows if the radial fluid Lagrangian displacement is required to extend continuously to the free surface, including a possible surface-corotation limit. Comparing the gravitational condition with the interior value of then gives
for a nontrivial perturbation. These dipolar perturbations of a critically rotating cylinder describe a displacement of the whole cylinder's axis. Translating an isolated self-gravitating system gives another equilibrium, so there is no external restoring force and the translation is neutral. A uniform drift of the centre also follows from invariance under a Galilean transformation, explaining the double zero of the frequency equation. The singular in the originally chosen velocity normalization does not obstruct the finite-amplitude limiting solution.
There is an admissibility qualification to the frequency conclusion as printed. Regular interior fluid Eulerian perturbation of velocity alone does not justify cancelling the surface factor . Eliminating without that cancellation instead gives
The additional surface-corotation case formally satisfies every displayed velocity equation and the usual linearized surface conditions with
Here , and the velocity is finite on the axis. However, its interior radial fluid Lagrangian displacement tends to , whereas the undisplaced surface has . Thus a regular single-frequency fluid Lagrangian displacement continuous up to the surface excludes this degenerate branch. The intended conclusion holds with that regular-displacement condition, or with surface corotation excluded; the printed velocity regularity assumption by itself leaves this formal exception.
A spatially uniform pressure is a useful leading approximation when the sound speed makes the acoustic crossing time much shorter than the radiative cooling and thermal conduction times. The motions must remain at low Mach number, and gravity and other stresses must be negligible. Sound then redistributes pressure before appreciable thermal evolution occurs. Small pressure corrections can still drive the slow motion; imposing exactly zero pressure gradient in the full momentum equation at every order would be a stronger assumption.
The equation of state gives the specific internal energy of an ideal gas as . With , the continuity equation is . Differentiating therefore yields
Insert this into the internal energy equation, whose compressional term is , and use spatially uniform pressure, so . The result is
For temporally constant pressure put , so the mass density is . The continuity equation now gives . Multiplication of the last equation by , with , gives
This is the isobaric conductive cooling in mass coordinates transformation before changing coordinates.
There is a boundary assumption implicit in the proposed Lagrangian coordinate. For a mass integral from a fixed origin, integration of the continuity equation gives
Thus is material when the base mass flux vanishes, as appropriate for the stationary cold reservoir below. If the origin permits mass flux, replace by ; this corrected label has zero material derivative. In a material mass coordinate, and . In particular
The conduction coefficient therefore becomes , with the same as the cooling coefficient. With , the equation is
In the hot gas there is no volumetric radiative cooling. The initial temperature is uniform and the cold boundary introduces no finite mass length. The remaining nonlinear diffusion equation is invariant under , with the same temperature scale. Its natural similarity solution is therefore
The far-field condition also recovers the initial temperature at every fixed as . Substitution gives the ordinary differential equation
For , this reduces to . Integrating first for gives . The two boundary conditions fix , hence the error-function isobaric cooling front is
Here the error function has normalization , as printed in the original PDF; the converted TeX's is incorrect. The following original sketch shows the temperature profiles. The cooling layer broadens as , and at fixed positive mass label the temperature falls as time increases, while the remote hot gas remains at .
Figure 1.
Isobaric conductive cooling profiles at increasing scaled times
. Details.
For , the magnitude of the heat flux into the cold reservoir is
Although the thermal conductivity tends to zero there, the physical temperature gradient diverges: their product has this finite limit. The stationary reservoir has no incoming advective energy flux and radiates the conducted energy immediately. Since , the radiated power per unit area is
Thus the requested exponent is . The initial divergence is the usual idealization of an instantaneous temperature discontinuity in a diffusion equation.
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 .
Use signed velocities in the shock frame; the Mach number depends on their squares. For a genuine nonradiative perfect gas shock wave, the Rankine-Hugoniot conditions for a perfect gas give a common mass flux , a common momentum flux , and a common specific stagnation enthalpy . Here in the given equation of state is specific internal energy, despite the source's informal “energy density” wording.
Put , and . Mass and momentum give and . Substituting these into the energy relation and clearing denominators gives
The factor is the no-jump solution. On the nontrivial shock wave branch,
In particular . With , compression is therefore equivalent to . The other Mach number is
Positive pressure makes its denominator positive, and has the opposite sign to . Thus a nontrivial physical shock wave has a supersonic side and a subsonic side; the entropy-admissible flow goes from the former to the latter.
The shock compression ratio also yields . Rearranging produces the first velocity identity in the question. The pressure relation gives the second identity in the equivalent form
The numerator here contains mass density, as the original PDF shows; the converted TeX incorrectly replaces that mass density by pressure.
For reflection, the once-shocked gas is the common left state in both applications. Before rebound, its velocity in the shock frame is and the gas ahead has velocity ; after rebound, it is and the gas next to the wall has velocity . In both cases the right velocity minus the left velocity equals . Applying the first identity therefore gives the same quadratic equation,
with roots and . Their opposite signs distinguish the two roots, so .
Write , . The pressure identity applied to each shock wave gives
Squaring the root-product relation and eliminating the velocities yields
and hence the normal shock reflection at a rigid wall relation
Taking gives ; for a monatomic gas this limiting amplification is six.
Orbital angular momentum carried by the wind. Use a circular orbit of separation , and write and . The donor's distance from the center of mass is . With spins neglected, its specific orbital angular momentum is , while the circular-binary orbital angular momentum is
A fast spherically symmetric stellar wind has no net extra angular momentum in the donor's rest frame and escapes with mean specific orbital angular momentum . Thus Jeans-mode mass loss gives
Initially take negligible wind capture by the companion, so , and the total mass derivative is . Logarithmic differentiation of gives
Combining the two expressions yields , so is constant. Kepler's third law then gives . Hence
These are secular relations for slow changes of the orbit through nearly circular states. A wind being fast compared with orbital speed does not mean its mass-loss timescale is shorter than an orbital period; impulsive removal would require a different orbital calculation.
Whether wind drives contact. Ignore nuclear expansion on the stated short evolutionary timescale. With and , wind alone gives
Because , the ratio increases precisely when
This is wind-driven Roche-lobe overflow: the escaping wind makes the donor expand relative to its lobe and drives a separate transfer stream. It is not the slow-wind capture mechanism called Wind Roche-lobe overflow. If the inequality is reversed, the donor recedes inside its expanding lobe and detaches; wind loss alone does not maintain a Roche-lobe transfer stream. At equality it gives no leading-order change of overfill, so additional evolution or higher-order changes decide the outcome.
Contact rate and its stability. Now let the transfer stream be accreted conservatively by star 2 while the separate wind still escapes at rate . Denote the stream rate by . Then
Only the wind removes orbital angular momentum; internal transfer redistributes it. Using the same wind-loss law and differentiating gives
Substitute this into the donor and lobe radius derivatives. The overfill evolves as
Maintaining contact sets the left side to zero and gives the contact transfer rate with Jeans-mode wind loss,
When the wind-drive condition holds, its numerator is positive. If , the denominator is also positive and the stream rate is positive; increasing transfer reduces overfill and can balance the wind driver.
If instead , positive transfer increases overfill, which drives still more transfer. The formal contact formula would demand a negative stream rate and is not a physical steady solution. The system develops unstable, runaway mass transfer on the timescale appropriate to the assumed donor response. For a giant with an adiabatically responding envelope, this can lead to a common envelope and rapid orbital evolution, rather than the stable contact sequence; the eventual outcome requires physics beyond these radius laws. At , transfer gives no linear restoring effect, and a nonzero wind driver cannot be balanced by a finite rate within this approximation.
Mechanical balance and equipotentials. Let be the Newtonian gravitational potential and the cylindrical distance from the rotation axis. For rigid angular velocity , a fluid element at rest in the rotating frame has no Coriolis acceleration. The centrifugal acceleration is , so hydrostatic equilibrium becomes
Using the Poisson equation for gravity and gives
On any regular connected equipotential surface, every tangent displacement satisfies and therefore . Locally , with . This makes a function of as well. Equivalently, taking the curl of the hydrostatic equation gives . Thus and are constant on each surface. The last conclusion follows from the modified Poisson equation; it does not constrain the magnitude of the first derivative to be constant there.
For uniform composition, an equation of state determines uniquely at fixed in the usual stellar regime. For the gas-plus-radiation equation, the derivative with respect to is positive. Hence , and the opacity and radiative conductivity are also functions of .
Surface flux and the requested sketch. Define , positive for the outward radiative flux. Then
On an outer equipotential surface, is constant and the outward normal is parallel to . Its effective gravity is , so . The Stefan–Boltzmann law gives the radiative gravity-darkening law,
A rapidly rotating star is oblate. Centrifugal support reduces the effective gravity near the equator, which is therefore cooler and dimmer; the poles are hotter. The original sketch below uses a subcritical Roche model of a uniformly rotating star to show this geometry and the corresponding temperature variation. The material temperature on an interior equipotential is not the same quantity as the emergent effective temperature defined by surface flux.
Figure 1.
Oblate rotating star with hot poles, cool equator and radiative gravity darkening
. Details.
Why purely local radiative balance fails. Differentiating the flux gives
On one equipotential, and the proposed source are all constant, but generally varies with latitude. Unless or there is another special cancellation, no single value of can match this flux divergence at all points on the surface. This is the radiative-equilibrium obstruction in a rotating barotropic star. Slow stellar meridional circulation can transport heat to compensate; it is distinct from abandoning hydrostatic balance at leading order.
Integrated energy balance with circulation. The steady continuity equation is . Combining the entropy–enthalpy relation with hydrostatic balance gives
Integrate the energy equation over and apply the divergence theorem:
Uniform composition makes constant on the enclosing equipotential, and is constant there by definition. Pull out of the last integral; the remaining net mass flux is zero by steady continuity. Thus the equipotential luminosity conservation with stellar circulation is
This does not require pointwise on : inward and outward circulation may cancel in the net mass flux.
Finally, is constant on and the divergence theorem applied to the effective potential gives
Therefore . Since ,
The mass is the mass enclosed by this surface, not necessarily the total stellar mass. The denominator is positive for the regular hydrostatic surfaces used here; near loss of centrifugal confinement the assumed stellar model must be reconsidered. The derivation uses slow circulation, retaining hydrostatic/equipotential thermodynamics to leading order while allowing a nonzero advective heat flux.
Thermal energy versus electrostatic repulsion. The mean translational kinetic energy of one nonrelativistic thermal proton is
Using the center-to-center touching separation , the Coulomb barrier estimate is
Thus . Using rather than as the rough interaction distance doubles the estimate but leaves the conclusion unchanged. Typical solar thermal energies are far below the classical barrier. The two essential ideas are the high-energy tail of the thermal distribution and quantum tunnelling through the Coulomb barrier: neither a mean-energy estimate nor a sharp classical cutoff describes the reacting population.
For two equal-mass protons, let be their relative speed. In the center-of-mass frame each has speed , so their total collision energy is
Here is the reduced mass, not the stellar mean molecular weight.
In the low-energy, nonresonant approximation, the geometrical quantum-wave factor in a collision cross-section is proportional to the squared de Broglie wavelength, hence to . The slowly varying short-range reaction probability is absorbed into ; for proton–proton fusion it also includes the small weak-reaction probability. The rapidly varying exponential is the quantum tunnelling probability. For a Coulomb potential , its leading semiclassical exponent is
The integral follows from ; its dimensionless integral is . A finite nuclear radius modifies the short-distance factor absorbed into . In this convention : it is a penetration-energy scale, distinct from the classical contact energy .
Thermal averaging and pair counting. Each proton samples collision partners with number density and collision flux , so its collision rate is . Multiplying by the number of protons counts each identical pair twice. The thermonuclear reaction rate is therefore
The relative speed of two independent thermal protons has a Maxwell-Boltzmann velocity distribution with reduced mass . Changing variables with gives the normalized energy density
Substituting and the collision cross-section causes the energy powers to cancel:
The Gamow peak and its Gaussian width. Set . It diverges at either endpoint and has its unique minimum where
Thus the energy called in this question is the Gamow peak energy,
In the stellar tunnelling regime ,
This establishes the requested hierarchy in its physical regime; it is not an inequality valid at arbitrary temperature.
At the minimum, and . Hence
The Gaussian standard deviation is , small compared with when . Extending the lower endpoint to relative to the peak then gives
Combining this with the thermal prefactor yields the Gaussian approximation to a nonresonant thermonuclear rate,
At fixed reactant density and fixed , comparison with the requested temperature form gives
The constant here has dimensions of temperature; it is not inverse temperature. Resonances, plasma screening or variation of would require corrections to this particular approximation.
Buoyancy and the convective criterion. Consider a small fluid parcel displaced outward by . Assume that sound waves keep its pressure equal to the ambient pressure, while heat exchange is slow enough that its displacement is an adiabatic process. Composition is uniform, so the parcel and its surroundings have the same mean molecular weight. For an ideal gas, , and an adiabatic parcel obeys . If is the pressure change on moving outward, then
The density excess of the parcel at its new location is therefore
If , this excess is negative: the outward-displaced parcel is lighter and accelerates farther outward. A downward displacement similarly continues downward. Conversely, a smaller gradient gives a restoring buoyancy force. The Schwarzschild criterion is thus stability for and instability for , where the adiabatic temperature gradient is . For a monatomic gas,
A composition gradient would require the additional density effect in the Ledoux criterion; it is absent in this calculation.
Opacity and pressure. The supplied opacity is characteristic of a cool hydrogen-rich stellar atmosphere dominated by negative hydrogen ion opacity. Mostly neutral hydrogen can attach electrons supplied by partially ionized metals; bound-free and free-free absorption involving the resulting ions produces a steep positive temperature dependence. The weak density dependence and strong temperature sensitivity can be represented by local power-law fits. At fixed composition the given pressure form is equivalent to , because . This is an approximate fit over the relevant cool-atmosphere regime, not an exact opacity law at all temperatures; molecular opacity or hydrogen ionization eventually changes the regime.
For a geometrically thin atmosphere take the surface gravity of a star to be constant, . Combining with gives hydrostatic equilibrium in optical depth,
The grey atmosphere relation gives . With negligible external pressure, , integration yields
An imposed nonzero external pressure would add ; the boundary assumption is what fixes the integration constant here.
The factor in parentheses is . Hence
The grey-atmosphere convection onset with eighth-power temperature opacity occurs when this reaches , so
The radiative continuation below this boundary would be unstable. Efficient convection instead keeps the deeper star approximately adiabatic.
Matching to the convective interior. Write . Eliminating density using the ideal gas law gives
at fixed composition. Since is a fixed number, the matching temperature is proportional to , while the matching pressure satisfies . Consequently
The polytropic mass-radius relation for index gives . Raising the matching relation to the ninth power and using therefore gives
Finally the Stefan–Boltzmann law yields the Hayashi relation with eighth-power temperature opacity,
Composition and the opacity normalization are fixed in this comparison. The entropy coefficient is spatially constant in each convective model, but need not be the same for stars with different masses or radii.
First, a maximal left ideal is closed. Its norm closure is again a left ideal, since multiplication is continuous. If that closure were all of , some would satisfy and would be invertible by the Neumann series. But a proper left ideal cannot contain an invertible element: would put in . Maximality therefore forces .
Consequently is a nonzero quotient Banach space. It is a simple module for left multiplication by , because the inverse image of any submodule under is a left ideal containing , and hence is either or . Since , right multiplication defines a well-defined bounded module endomorphism
Indeed, changing by an element of changes by an element of , and taking the infimum over representatives proves the quotient norm bound. Right multiplication commutes with the left action by associativity.
Choose in the nonempty spectrum of an element of in the Banach algebra . Both the kernel and range of are submodules. If this module endomorphism were nonzero, simplicity would force its kernel to be zero and its range to be all of . It would be a bounded bijection of Banach spaces, with bounded inverse by the bounded inverse theorem, contradicting the choice of . Thus . Applying this identity to yields . If also , then ; since , . Therefore
This is the scalar right action on a maximal-left-ideal quotient; it does not assume that is a two-sided ideal or that is an algebra.
Now consider the center of an associative algebra . For each , the map is a continuous linear map, so its kernel is closed. Their intersection is therefore closed. The identity belongs to , as do sums and scalar multiples of its elements. If , then for every ,
Thus . Also , since commutes with every element of , including . Hence the center is a closed commutative unital subalgebra, and is a Banach algebra in the inherited norm.
For every , the inclusion allows the first argument to apply. Let be the unique scalar for which . Equivalently, the induced right multiplication on is . Since
the map is a complex-linear unital character of an algebra. It is surjective because , and its kernel is precisely . Consequently
Indeed any ideal properly containing the kernel would have a nonzero image in the field and thus would be all of . The algebra character is also continuous: , although continuity is not needed for maximality.
Write and equip with the compact-open topology. All algebra homomorphisms here are complex linear. Choose a finite positively oriented boundary cycle in with winding number one on a neighborhood of and zero outside . Such a cycle can be obtained as the boundary of a finite union of sufficiently small squares whose interior contains and whose closure is contained in ; holes are included with negative boundary orientation. Define the holomorphic functional calculus by the norm-convergent contour integral
The resolvent identity proves that is a Banach-space-valued holomorphic function off . The Cauchy integral theorem, applied after each bounded linear functional, makes the integral independent of the chosen boundary cycle. The Hahn-Banach theorem then gives equality of the algebra-valued integrals. Moreover,
which proves complex linearity and continuity for the compact-open topology.
For the constant function and the coordinate function , the contour can be deformed to a large circle because their integrands are holomorphic everywhere outside . There the Neumann series gives . Integrating term by term shows
To prove multiplicativity, take nested cycles around , with the outer cycle winding once on the inner cycle and the inner winding zero on the outer cycle. Use the outer cycle for and the inner for . The resolvent identity reads
In the resulting double integral, the term containing gives after the integral, by the Cauchy integral formula. The term containing vanishes after the integral, because is holomorphic on and inside the inner cycle's region. Therefore
The integrals are over finite compact curves and have continuous integrands, so exchanging their order is legitimate. This proves the existence of the required continuous unital algebra homomorphism.
For uniqueness, the Runge approximation theorem gives density in , for the compact-open topology, of rational functions with poles outside . More explicitly, exhaust by compact sets that are holomorphically convex relative to , and approximate on those sets by rational functions whose poles lie in the complement of ; this gives convergence on every compact subset. Any unital algebra homomorphism taking to must take , for , to , since it preserves inverse equations. Partial fractions and polynomial algebra therefore fix its value on every such rational function. Continuity fixes its value on their limits. Thus the continuous unital homomorphism with the prescribed coordinate value is unique. Restricting a function to a smaller neighborhood of gives the same value, either by the contour definition or this uniqueness argument.
To prove the holomorphic spectral mapping theorem, first let . There is an open neighborhood of on which has no zeros. The holomorphic function on supplies a two-sided inverse through
Thus . Conversely, if and , the divided difference
is holomorphic on , and multiplicativity gives
The two factors commute. A commuting product can be invertible only if both factors are invertible: its inverse commutes with each factor, and is a two-sided inverse for . Invertibility of the displayed product would therefore contradict . This proves
For the root, let and , using the principal complex logarithm. Define . Since , multiplicativity and the holomorphic spectral mapping theorem give
This is the principal cube root of a Banach-algebra element.
For uniqueness, suppose and . Cubing maps the whole open sector into , so
is a continuous unital algebra homomorphism: pullback by cubing is continuous for the compact-open topology, since images of compact sets are compact. It takes the coordinate function to , and uniqueness already proved gives . For , the scalar principal cube root satisfies , because . Hence
This proves uniqueness with the stated spectral sector, without assuming the ambient Banach algebra is commutative or that algebra characters separate its elements.
An ODE solver must distinguish the error made by one step started from exact data from the error accumulated along the computed trajectory. For an order- one-step map , define the exact-start defect . If the step map is Lipschitz with factor , its global error obeys
Iteration, using , proves the variable-step global ODE error bound
It explains the difference between local defect order and global order , and why local tolerance control alone does not certify a prescribed global error. Strong dynamical amplification can magnify many individually small defects.
A practical solver needs an inexpensive local error estimator. In step-doubling error estimation, compare one full step with two half steps . Smoothness and propagation through the second half step give and . Therefore
The difference estimates the finer local correction with the correct denominator and sign; adding it cancels the leading error by Richardson extrapolation. The common starting value and the smooth error expansion are essential, and the extra evaluations make this estimator relatively expensive.
An embedded Runge-Kutta pair instead shares the stage computations and uses two output weight vectors. For orders and , their difference is generally and estimates the lower-order local defect, even when the higher-order output is accepted. Its controller exponent is therefore , not . For example the explicit Euler and Heun outputs share the first slope; their difference is , while Heun's own defect is . Predictor-corrector differences can also estimate a defect when scaled by the appropriate leading error constants; an uncalibrated raw difference need not be the corrected method's error.
For a vector equation, choose positive component scales
The absolute and relative error tolerances allow meaningful tests both near zero and for large components with different physical scales. The max-norm criterion controls every scaled estimated component. A root-mean-square criterion is another common choice but has a weaker individual-component implication.
If the estimate scales like , an adaptive step-size controller uses
with lower and upper bounds on the change factor. A rejected step leaves the old state and time unchanged and recomputes with a smaller step; an accepted step advances with the chosen output and adjusts the next step. A zero estimate receives capped finite growth rather than division by zero. The safety factor allows for variation in the error constant. Step doubling has , whereas a embedded pair usually has . If a solver instead controls defect per unit time, division by changes the scaling exponent and must be included in the controller design.
Using previous estimates can smooth the sequence of accepted steps. A proportional-integral controller can take with , appropriate scaling by the estimator order and bounded factors. It avoids overreacting to a single noisy estimate, but needs safeguards after rejected steps, changes of order and abrupt coefficient changes. Event locations and discontinuities require locating the event and restarting the error expansion; blindly applying a smooth-step estimator across a jump can be misleading.
For a multistep method, adaptive step sizes change the interpolation history and coefficients. Constant-step coefficients cannot simply be reused with arbitrary step ratios. Variable-step formulas, compatible starting/restarting procedures and bounded ratios preserve the needed stability; local error and sometimes order are selected together to balance evaluation cost against accuracy.
Stiffness imposes an additional requirement. On a rapidly decaying mode , explicit Euler requires for absolute stability. Once is small, a local absolute-tolerance test can propose a large step even though roundoff or a small perturbation would then be amplified. A stiff solver therefore also uses a suitable implicit A-stable or L-stable method and solves its algebraic equations accurately enough for the estimator to be meaningful. A-stability alone does not ensure stiff decay, as the Lobatto stability function in question 4 tends to one for large negative arguments.
Finally, over-tightening tolerance eventually encounters roundoff and algebraic-solve error rather than further truncation-error improvement. Inexact Newton or linear solves must have errors below the local budget; a tiny time step with an inaccurate stage solve does not deliver the formal order. Global error assessment can use controlled refinements, defect propagation or adjoint weighting for a chosen output. Sensible error and step-size control therefore combines asymptotic estimators, tolerance scaling, stability, event handling and implementation error, rather than treating the accepted local estimate as a complete guarantee about the trajectory.
For constant-coefficient evolution on an infinite or periodic grid, spatial Fourier stability analysis reduces a multidimensional recurrence to independent modal problems. This gives exact L2 stability results when the coefficients and geometry admit that reduction; it also exposes high-frequency restrictions which a truncation-error calculation alone misses.
Consider a scalar one-step update on . With , its symbol is and . Parseval identity gives
The upper bound is immediate by integration. For the reverse inequality choose Fourier data supported in a positive-measure neighborhood where approaches its essential supremum, then normalize them. This uses actual square-summable data, unlike an isolated infinite plane wave. On a periodic finite grid the discrete Fourier transform gives the same equality with a maximum over its resolved frequencies.
This proves the scalar Fourier power criterion. Contractivity is equivalent to at every frequency. For mesh-uniform stability on , a sufficient condition is instead , because . Conversely, if the powers at are bounded by a common , then as . Thus finite-time stability may allow mild modal growth; demanding strict contraction is stronger than necessary.
Stability connects numerical consistency to numerical convergence. Let be the exact solution restricted by a suitable projection and let its one-step defect be . If and , the error recurrence gives
This proves numerical convergence for smooth solutions and convergent initial approximations. Density plus stability extends numerical convergence to the natural data space when stable projections and well-posed continuous evolution are available.
For completeness, the converse in the Lax equivalence theorem can be understood with faithful grid transfers. Let be a bounded reconstruction into the continuous data space and a bounded projection with , and suppose the grid and reconstructed norms are uniformly equivalent. numerical convergence for every datum, uniformly on the fixed time interval, makes the operators pointwise bounded. The Uniform boundedness principle makes their operator norms uniformly bounded. Apply this bound to , use and the norm equivalence, and obtain the uniform grid-power bound. With the numerical consistency estimate above, this proves the stability/numerical convergence equivalence under these standard linear assumptions.
Several examples illustrate the test. For forward time and centered space on the one-dimensional heat equation,
Its minimum is , so is the exact contraction range. In dimensions with mesh widths , the symbol is , where . Therefore , or on an equal mesh. This follows by independently maximizing every sine factor, not by applying a one-dimensional bound separately to each direction.
For advection , forward time and centered space give , . At fixed nonzero advective Courant number its modulus exceeds one, so its powers grow without a mesh-uniform bound. Under the much smaller choice , however, , allowing finite-time stability. This illustrates why the specified refinement path matters. For , the upwind update instead has
and is contractive exactly for . Its numerical diffusion explains the stable damping as well as its first-order spatial accuracy.
For the heat equation with the Crank-Nicolson method, the symbol is . It has modulus at most one for every nonnegative , so there is no diffusion time-step restriction. Very stiff modes nevertheless have amplification near minus one, causing weakly damped oscillation; stability alone does not guarantee good stiff smoothing or small error.
For systems the symbol is a matrix, and the exact criterion is the uniform power bound for matrix Fourier symbols, not just a bound on eigenvalue moduli. For example has both eigenvalues one but is unbounded as the number of steps increases. If with uniformly bounded condition numbers, then , so a scalar-type condition does suffice. Multilevel schemes are treated by stacking their time levels into a companion matrix and checking its uniform powers. Simple unit-modulus roots and interior roots are the fixed-mode root condition, but uniformity near colliding roots still needs attention.
The technique is inexpensive, identifies the dangerous wavelengths, gives sharp constant-coefficient restrictions and generalizes directly to several space variables and Fourier-diagonalizable vector problems. Its limitations are equally concrete: boundaries can add unstable modes invisible to an infinite-grid calculation; variable coefficients couple frequencies; nonlinearities invalidate the fixed multiplier; nonuniform grids need another transform or energy estimate; and L2 stability does not by itself imply a maximum principle or positivity. Frozen-coefficient analysis is often useful evidence, while an energy or boundary estimate is needed to turn it into a global conclusion in those settings.

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