For an integer , extend to a holomorphic map from the Riemann sphere to itself with . A nonzero finite regular value has distinct preimages, so the degree of a holomorphic map is . At zero the analytic ramification index is . At infinity, use local coordinates upstairs and downstairs: the same holomorphic map becomes , so too. Everywhere else the derivative is nonzero.
Schematic of the sphere power map and its local degree: zero and infinity both have ramification index d
. Details. There are two distinct ramification points and two distinct branch values of a holomorphic map, butFor , the total ramification of a holomorphic map is four, not two. The local-circle panel shows three nearby preimages converging to the single ramification point. For the holomorphic map is the identity and neither zero nor infinity is ramified.
Ramp reference signal 2026-10-14
A ramp reference signal changes at a constant rate from onward. Its derivative is for . A ramp reference signal tests whether a controller can keep following a moving goal, rather than merely reaching a fixed one; a finite steady-state tracking error can coexist with an unbounded reference signal.
Ramsey frequency precision 2026-10-18
The full width at half maximum of a fringe, the lifetime of quantum coherence, and the precision of an estimated frequency are different quantities. In the ideal short-pulse limit, write the transfer probability with contrast and second-pulse oscillation phase asAt quadrature, and . For independent, equally prepared particles with ideal binary readout, the binomial distribution gives . Local propagation of uncertainty therefore yields the displayed . For chosen , and , it is approximately , although the ideal fringe width is . This is an original counting-noise estimate at a known quadrature, not the accuracy of a historical clock or a guarantee of finding the correct fringe.
For the illustrative dephasing model with fixed , minimizing maximizes and gives : its derivative is . This conclusion changes if longer interrogation reduces the number of accepted particles or the repetition rate. Quantum decoherence, a distribution of flight times, reference oscillator noise and readout errors can reduce contrast; a fitted decay time need not identify one microscopic mechanism. More counting can improve precision while a reproducible cavity quantum phase offset still biases the frequency, as in atomic clock frequency shifts.
For , the natural logarithm satisfiesTo prove it, put . Then and the derivative is . More precisely,This positive integral controls errors in symmetric approximations to the logarithm. After writing , the bound is for ; the inequality reverses for by replacing with .
RC low-pass frequency response 2026-10-18
Use the complex amplitude convention , where is the angular frequency and is the frequency in cycles per second. Substitution into the RC low-pass filter equation replaces the time derivative with multiplication by , giving its continuous-time frequency responseHere is the output-minus-input phase difference; a negative value means the output lags. Equivalently, the voltage divider formed from the electrical impedances and gives the same ratio. For an input , the sustained output is after the initial exponential decay has died away.
Define the cutoff frequency by a voltage amplitude ratio relative to the low-frequency value:On a Bode plot, the voltage gain in decibels isAt the cutoff frequency it is , and far above that frequency it approaches a decrease of per factor of ten in . There is a smooth transition rather than an abrupt wall. The squared voltage ratio is one half at the corner; converting that statement to a power ratio requires the same real electrical resistance for the compared voltages. It does not mean that an unloaded capacitor dissipates half the source power.
For and , the cutoff frequency is . A peak input at , , and produces peak output amplitudes of approximately , , and , with phase differences , , and . Thus a wanted oscillation at is almost preserved while an unwanted one at is reduced by about a factor of ten in voltage. The superposition principle lets these two responses be added when both oscillations occur in the same signal.
Reactance phase convention 2026-10-14
Use complex amplitudes only for signals at one common positive angular frequency . Define the real terminal voltage and electric current byThe complex amplitudes here use peak magnitudes; both can instead use root mean square magnitudes without changing their ratio. Choose positive electric current entering the terminal assigned positive voltage, so is absorbed power. For an ideal linear inductor and capacitor, their terminal laws and giveThe derivative multiplies a complex amplitude by : this single algebraic step explains both signs. Taking as a reference gives and for the sinusoidal response. Thus inductor voltage leads electric current by , while capacitor voltage lags electric current by . A constant offset or a free transient is outside this single-frequency representation. [ref]
https://www.feynmanlectures.caltech.edu/II_22.html#Ch22-S1. Feynman, Leighton and Sands, II.22.1: complex sinusoidal representation and component impedances
.With the alternative convention, the same real signals use conjugated complex amplitudes and , . Their physical leads and lags stay the same; the sign of changes. Also, some textbooks call the positive magnitude the capacitive reactance and write the series expression as . This article consistently uses signed and hence . [ref]
https://openstax.org/books/university-physics-volume-2/pages/15-2-simple-ac-circuits. Ling, Moebs and Sanny, University Physics 2, §15.2: positive capacitive-reactance magnitude and quarter-cycle phase relations
. Reaction rate 2026-10-13
For one chemical reaction in a closed system of fixed volume , with uniform concentrations and no competing reactions or appreciable accumulation of unlisted species, choose the chemical equationBrackets denote amount of substance per volume, for example . The stoichiometry gives one instantaneous reaction ratewhere is the existing extent of reaction. The minus signs make forward consumption positive; dividing by the coefficients makes measurements of different chemical species agree. Units can be . See IUPAC Gold Book: rate of reaction and Flowers et al., Chemistry 2e, §12.1: chemical reaction rates.
For the illustrative chemical equation , a measured implies , , and . These numbers express stoichiometry, without supplying a rate law.
Each derivative is the slope of a concentration curve at one instant. Over a finite interval, instead gives an average reaction rate. For A converting reversibly to B, the net reaction rate is ; both directional reaction rates can remain positive when at chemical equilibrium.
Real analysis Created 2026-09-24 Updated 2026-10-14
Real analysis studies limits, continuity, differentiation, integration, and convergence of sequences and functions taking values in the real numbers. Its central question is how finite approximations determine an exact answer: what does an arbitrarily small error mean, and which operations respect that error? A derivative is a limit of quotients, while a Riemann integral is obtained from increasingly fine Riemann sums. Both need conditions that make the answer independent of the approximations chosen.
Two organizing ideas are completeness of the real numbers, which ensures that suitable approximations have a destination, and uniform convergence, which controls approximation error over an entire domain. Pointwise convergence supplies separate guarantees at separate inputs; uniform convergence supplies one guarantee for all inputs. This distinction explains why replacing an approximating function by its limit can preserve continuity or integrals under appropriate hypotheses, yet fail without them.
For historical context, Cauchy's 1821 Cours d'analyse explicitly discusses convergence of series. Its Note VII treats double series and compares summing by rows and by columns under stated convergence assumptions: controlling an infinite process was already a concrete problem. This is historical context for questions about limits, rather than an attribution of the modern definitions below. [ref]
https://www.e-rara.ch/download/pdf/8543076.pdf. Cauchy, Cours d'analyse (1821), Note VII, pp. 537–539, original scan
. Real branches of Lambert W 2026-10-05
On , the Lambert W function has two real branches: and . The derivative of is , so this function decreases on and increases on , proving the two-branch structure. As , series reversion givesConsequently the two positive roots of are and .
Consider the original analytic initial value problemHere and are dimensionless variables in a stipulated mathematical model. The trajectories below are exact solutions of a differential equation, with no measured data or empirical parameter fit. For , the Bernoulli power substitution givesThe integrating factor is . Direct differentiation gives , independently checking the transformation. The linear exists for every real , while the nonlinear solution of a differential equation uses only the interval containing where :For , , so its absolute value decreases toward zero. The lost zero solution of a differential equation is recovered by substitution into the original equation. Since is locally Lipschitz in everywhere, the Picard-Lindelöf theorem ensures uniqueness through every finite point, including . Thus a nonzero trajectory never meets or crosses zero at a finite .
Two Bernoulli trajectories and their exact linearized coordinates
. The initial conditions are in orange and in blue. Left: the positive trajectory reaches finite-time blowup at , while the negative trajectory approaches zero. The vertical axis clips the positive curve at ; this is a display limit. Right: the corresponding trajectories satisfy . The dashed orange continuation past solves the first-order linear differential equation but cannot extend the original positive initial value problem across blowup. Details.For , the exact solution of a differential equation is on . It first decreases, reaches a local minimum , then increases without bound. At the endpoint,The finite-time blowup comes from a simple zero of at , where , rather than from a singular coefficient in the first-order linear differential equation. The same algebraic expression for is negative on , but that is a separate solution of a differential equation on a disjoint interval; infinity supplies no finite joining value. For , on , giving a distinct decaying branch whose finite blowup is instead in the past.
The direction field also explains the positive turning point. Its nullclines are and , becauseAbove the positive nullcline, ; between it and zero, ; below zero, . The moving nullcline is not a solution of a differential equation: its derivative is , whereas the prescribed slope there is zero. The trajectory crosses it at , exactly its local minimum.
The Bernoulli direction field and the disconnected inverse branches at blowup
. Left: the direction field, its two nullclines, and the exact and trajectories. Right: has a positive branch on and a negative branch on ; the excluded point separates them. The zero solution of a differential equation belongs to the original equation but has no finite reciprocal coordinate. The branches continue beyond the plotted vertical limits. Details. Reciprocal chart at infinity 2026-10-18
The reciprocal chart makes infinity an ordinary coordinate origin. Its domain is the Riemann sphere minus the point ; and elsewhere. A neighbourhood of infinity becomes the open disc . In sphere coordinates this is exactly the capFor , the exterior together with infinity becomes and . The boundary itself is excluded from each open set.
The same neighbourhood of infinity as a plane exterior, a north-pole cap, and a disc in the reciprocal chart
. Details. The point lies in this neighbourhood because . Its reciprocal coordinate is , with , and its sphere height is . The negative imaginary part of is the axis reversal required by the holomorphic stereographic atlas of the sphere.
For a complex-valued holomorphic function defined outside a large disc, having a removable singularity at infinity means that extends to a holomorphic function at . This definition reduces questions at infinity to familiar questions at a finite point.[ref]
Complex Analysis Lecture Notes by Dan Romik. Complex Analysis Lecture Notes, section 9, items 81–82, printed p. 32, reciprocal definition at infinity
For example,The geometric series gives a Taylor series at the new origin, so and . The coefficient is the derivative in the specified coordinate. In contrast, becomes , displaying a pole of order two at infinity when the target is the complex plane. As a holomorphic map to the Riemann sphere, it uses the target reciprocal coordinate , which is regular at zero.Suppose is differentiable at zero, and . Since , the displayed function satisfies near zero. It is a continuous function at zero exactly when . Its difference quotient is , so it has a finite derivative there exactly when : the value is for and zero for . The nonzero-slope assumption is essential; a higher-order zero would change both thresholds.
Related rates 2026-10-18
Take a different real matrix,Its only eigenvalue is , with algebraic multiplicity two. However, the polynomial , which vanishes at that eigenvalue, gives . Merely checking values at eigenvalues cannot prove a matrix identity. The full characteristic polynomial does work:The matrix is a Jordan block, and its minimal polynomial is also .
The binomial theorem gives, for positive integers ,Terms containing or a higher matrix power vanish. After removing the common growth factor , the remaining linear map is the shear mapping . It moves to . The single eigenvalue controls the exponential scale, while the nilpotent matrix adds a factor growing linearly in .
Normalized powers of a Jordan block retain a growing shear despite having only one eigenvalue; equal axes scales show the top edge moving by n/2
. Details. In terms of polynomial interpolation, reduction modulo retains both a value and a derivative:Indeed, polynomial division gives . This is a simple Hermite interpolation condition. For , it gives exactly the displayed matrix power. Repeated eigenvalues retain information about how a polynomial changes, not just where it vanishes.
Replicator equation 2026-10-14
The replicator equation says that a strategy grows in frequency when its expected payoff exceeds the population's current mean payoff. It is an ordinary differential equation for a composition, rather than for total population size. The subtraction of the mean is what makes relative success matter: even a type growing in absolute number can shrink as a fraction if other types grow faster.
Let be the frequency of pure strategy , with available pure strategies andIn a symmetric bimatrix game, let the payoff matrix have entry equal to the payoff to strategy against . The other player's payoff in that encounter is : symmetry between player roles does not require . Uniform random encounters give the expected payoffs and their population meanAfter choosing the time unit so that the growth-rate scale is one, the continuous-time replicator equation isHere a payoff is measured on a scale proportional to net growth per unit time, not merely as an arbitrary preference ranking. More generally one can specify locally Lipschitz frequency-dependent payoffs directly; the same equation with then defines a unique frequency trajectory. The linear pairwise model and its reproductive interpretation are given in Taylor and Jonker (1978), sections 2–3; the formulas here also follow by the following direct normalization.
Suppose the number of type obeys , where the baseline is identical for all types. Set and . The quotient rule givesThus the common baseline cancels. Adding the same constant to every entry of leaves the replicator equation unchanged; multiplying by a positive constant changes only the speed along trajectories. The same payoff matrix can therefore describe frequency evolution at different growth-rate baselines and time scales.
The probability simplex is invariant in forward time. On ,Normalization alone would not exclude negative frequencies. Nonnegativity follows as well: along a solution,An absent type remains absent, and a positive frequency remains positive at every finite time. For the fixed payoff matrix model, bounded rates on the compact probability simplex give global forward solutions. Frequencies can still tend to zero as . Each face is invariant, so this model has no spontaneous introduction of new pure strategies; mutation or outside introductions would require additional terms. For two present types the logarithm of their frequency ratio satisfies , directly expressing the accumulated payoff advantage.
For two pure strategies, write the composition as , where is the frequency of strategy 1, and letTheir payoff difference and the resulting scalar ordinary differential equation areIn the interior , the sign of the payoff difference determines the direction of motion. The endpoints are always equilibrium points, and an additional interior equilibrium point exists precisely when the affine payoff difference has a zero strictly between them. At a simple interior zero , : a negative value gives asymptotic stability, a positive value gives instability. At the endpoints and , with stability understood relative to . A zero derivative requires examining the actual flow rather than this strict sign test.
For an original coordination game, imagine two conventions that reward matching, with convention 1 giving the larger matching reward. ChooseThe crossing is . Below it, convention 1 loses frequency; above it, convention 1 gains frequency. The endpoint equilibrium points and have one-sided asymptotic stability, while is unstable: the corresponding derivatives are and , respectively. Every initial tends to , every initial tends to , and exactly stays there. Even the convention with the larger matching reward can disappear if it starts below the threshold. This is bistability, not selection of a universally best convention.
Toy coordination model: an unstable frequency threshold separates attraction to the two pure conventions
. Details. The compositions giving a symmetric Nash equilibrium in this coordination game are the two pure conventions and the mixed composition . Both pure conventions are evolutionarily stable strategies because a mutant convention has strictly lower payoff against the pure resident. The mixed symmetric Nash equilibrium is not an evolutionarily stable strategy: against that resident both conventions tie, but after a pure convention-1 mutant is introduced its payoff advantage is . Equal payoffs at a symmetric Nash equilibrium need not provide resistance to invasion or asymptotic stability.
For an original coexistence model, choose payoffs making each convention advantageous when sufficiently rare:Here attracts every initial composition with both types present: below it and above it. The interior derivative is , while and make both endpoints unstable to introduction of the other type. The endpoints nevertheless remain stationary if the other type is exactly absent; the attraction statement excludes those boundary initial states.
Toy coexistence model: both rare types can invade, and every interior composition approaches frequency three quarters
. Details. The sole symmetric Nash equilibrium in this coexistence model is . It is also an evolutionarily stable strategy. For any different mixed strategy , the first comparison in the two-condition criterion for evolutionary stability ties because . Its second comparison is strictly positive:Thus restoring frequency feedback can protect a mixture even though all present types earn equal payoffs at the mixture. Coexistence here means different individuals using different pure strategies; it does not require every individual to randomize with a mixed strategy.
Frequency evolution need not increase the mean payoff. In the coexistence example , whose maximum occurs at , whereas the attracting composition is . For , the frequency increases while . Individual payoff advantages drive the equation; maximizing collective mean payoff is a different optimization problem.
More generally, a rest point only equalizes payoffs among present types: implies . A symmetric Nash equilibrium additionally requires for every absent type. All vertices are rest points even when an absent type could invade. For finite symmetric bimatrix games, a rest point with Lyapunov stability on the full probability simplex is a symmetric Nash equilibrium; an interior trajectory that converges has a symmetric Nash equilibrium as its limit. These are conditional results, not a convergence theorem for every trajectory. See Cressman and Tao (2014), Theorem 1.
The rock paper scissors payoff matrix gives an explicit obstruction to universal convergence:Since , , and in the interior . Thus is conserved. Its maximum on the probability simplex occurs only at , the unique symmetric Nash equilibrium, so an interior trajectory starting elsewhere cannot converge to that composition. Every other interior product level is a closed curve without a rest point, giving a periodic orbit. The existence of these cycles is also discussed in Cressman and Tao (2014), Example 1. The useful lesson is to inspect the specified payoff feedback and dynamical system, rather than infer convergence from the existence of an evolutionarily stable strategy or a Nash equilibrium.
Residue Created 2026-09-24 Updated 2026-10-13
The residue of a function at an isolated singularity is its Laurent coefficient of degree . More explicitly, if is holomorphic for , write its Laurent series asThis one Laurent coefficient determines the contour integral around a sufficiently small counterclockwise circle about . A complicated local Laurent series can therefore leave a remarkably simple answer after one complete trip around the point.
For a simple pole, multiplying by removes the pole, leaving a holomorphic extension whose value at is the residue:There is a useful shortcut for a quotient . If and are holomorphic near , has a simple zero there, and , then has a simple pole andThe first-order Taylor series of explains the denominator: dividing by leaves its derivative at in the limit. This computes a residue without finding the full Laurent series, which is especially useful when the numerator or denominator is complicated. [ref]
For example, the rational function has simple poles at and . Factoring the denominator makes both residues immediately visible:The signs matter: these residues cancel when both poles are enclosed, but either one contributes when enclosed alone. The residue theorem below turns this distinction into different contour integrals of the same function.
A residue is not the same thing as a pole, nor does it measure the order of a pole. The function has a double pole at zero but residue zero. Conversely,has an essential singularity at zero and residue one. Infinitely many negative powers cause no difficulty in reading off that particular Laurent coefficient. At a removable singularity the residue is zero. [ref]
Why does only this Laurent coefficient survive? Parametrize a counterclockwise circle by , , with . For every integer ,When , the complex exponential completes a whole number of turns and its contributions cancel; when , it is constant. Uniform convergence of the Laurent series on this circle justifies termwise integration, giving . Thus the residue isolates exactly the local information that a closed contour integral detects. [ref]
This selection rule explains why a very large value near an isolated singularity need not produce a large contour integral. The double pole grows faster near zero than , yet its contributions around a circle cancel completely. What matters is the arrangement of complex values along the path, including the differential , rather than their moduli alone. A residue records that surviving contribution, not the size of the function near the point.
Resistance pressure gauge 2026-10-18
A resistance pressure gauge is a pressure sensor whose electrical resistance is calibrated against pressure. Even a simple local response needs both pressure and temperature. For an original illustrative model definewhere is the reference electrical resistance at , , and zero history offset. The derivatives and are local sensitivities with units and , respectively; is a dimensionless history offset. Constant sensitivities are an approximation over a chosen range, not material constants valid at every pressure.
Choose synthetic coefficients and , with and . A measured ratio then gives . Ignoring the temperature change gives , a error. This model is deliberately stipulated; these numbers are not measured manganin coefficients or Bridgman's data.
Pressure calibration: a synthetic electrical resistance response with temperature and hysteresis offsets
. Original calculated example. The blue reference line has , ; the orange line has , . Dashed lines illustrate two histories with , not observed data. A ratio 1.022 maps to 1.00 GPa after correcting temperature, or 1.10 GPa if read against the blue line. The lower chain distinguishes the specimen, the internal sensor, the electrical readout and the calibrated pressure. Details.If two histories differ by , their outputs at the same pressure differ by ; interpreting both with a single history-free curve gives an apparent pressure separation . The half separation is . Reversing the drive can additionally cause mechanical friction hysteresis, independently of this sensor model. Record both the electrical calibration history and the loading direction.
For independent small standard measurement uncertainties and exact stipulated , first-order propagation givesFor , , and , this is . Real calibration also includes coefficient measurement uncertainties, correlations, reference-point measurement uncertainty, and any unresolved nonhydrostatic loading. A sensor calibrates its local environment; it cannot by itself certify the absence of deviatoric stress throughout the sample.
For , constant and , on put , with the principal square root, andThese satisfy and the left and right homogeneous Neumann boundary conditions, respectively. The weighted Wronskian givesThe first derivative jumps by , so the resolvent integrates against . Its time Laplace transform interpretation is . The factor records the zero eigenvalue and constant stationary eigenfunction.







