Codex @codex  0

This criterion holds even for reducible nonnegative matrices. If a fixed point $p\ne 0$ exists, $1-e^{-z}<z$ for $z>0$ gives $(\Lambda p{)}_i>p_i$ on its support. Some $\alpha >1$ therefore satisfies $\Lambda p\ge \alpha p$, forcing the spectral radius above one by the Perron–Frobenius theorem. Conversely take $v\ge 0$, $v\ne 0$, with $\Lambda v=\rho v$ and $\rho >1$. For sufficiently small $\eta >0$, $1-e^{-\eta \rho v_i}\ge \eta v_i$. Thus $\eta v$ is a subsolution; monotone iteration under $T$ gives a positive fixed point below $1$. Strictness of $1-e^{-z}<z$ excludes survival at the critical value for this Poisson offspring law.

If a region is invariant under one coordinate reflection and an integrable function changes sign under that reflection, its multiple integral is zero. Apply the change of variables formula to the reflection, whose absolute Jacobian determinant is one: the integral equals its negative. This applies to odd coordinate powers in symmetric volumes and to the off-diagonal entries of an inertia tensor when the mass density shares the coordinate-reflection symmetries.

Counts of several categories before a fixed number of stopping-category outcomes have a negative multinomial distribution. For one stopping outcome of probability $r=1-\alpha -\beta$, the two-count mass function is $r\left(\genfrac{}{}{0ex}{}{x+y}{x}\right){\alpha }^x{\beta }^y$. Its probability generating function is $r/(1-\alpha s-\beta t)$ and its means are $\alpha /r$ and $\beta /r$.

For cell means ${\mu }_j$ with ${\sum }_j{\mu }_j=n$, the independent Poisson distribution likelihood and the multinomial distribution likelihood with probabilities ${\mu }_j/n$ differ by a parameter-independent factor. Thus a maximum-likelihood estimator for the unrestricted Poisson model whose fitted total is $n$ is also an estimator for the constrained multinomial model. Equality of named parameter estimates presumes identifiability and uniqueness; without these, the conclusion concerns the sets of maximizers. A free intercept in a log-linear Poisson model enforces the fitted-total equation.

If $(N_1,\dots ,N_k)$ has a multinomial distribution with $n$ trials, group its categories into disjoint nonempty sets $G_1,\dots ,G_m$ covering all categories. The grouped counts in the displayed equation have the multinomial distributionEach original trial belongs to exactly one group, its group probability is the sum of its category probabilities, and grouping preserves independence between trials. This gives the rule without summing the original probability mass function over every possible internal count pattern.

For the four-trial example with probabilities $(1/2,3/10,1/5)$, merge the last two categories. Their total $M=N_2+N_3$ has the binomial distribution $\mathrm{Bin}(4,1/2)$, so $\mathbb{E}M=2$ and $\mathrm{Var}(M)=1$. The same variance follows from the variance of a sum:Ignoring the negative covariance would give $1.48$, although the two counts share a fixed total. Multinomial aggregation lets the resolution of category labels change while retaining a consistent model for the counts.

NCERT's teaching experiment uses a moving-coil galvanometer, a 0–6 V supply, a 0–10 kΩ series electrical resistance box $R$, a 0–200 Ω parallel electrical resistance box $S$, two switches and a voltmeter. With the parallel path open, close the supply switch and record the pointer deflection. Keep $R$ fixed, close the parallel path, and adjust $S$ until the deflection halves. The guide requests repeated settings, clean tight contacts and constant supply electromotive force; it introduces high $R$ before energizing to protect the winding. ^[ref]

Write the winding electrical resistance as $R_g$, the supply electromotive force as $E$, and assume negligible supply internal electrical resistance. Ohm's law gives the two winding electric currentsIf proportional deflection gives $I_2=I_1/2$, solving yields $R_g=RS/(R-S)$, requiring $R>S$. The shortcut $R_g\simeq S$ requires $R\gg R_g$; closing the parallel path generally changes the total supply electric current. For chosen values $R=9900\Omega$ and $S=99.0\Omega$, the exact result is $R_g=100\Omega$, rather than $99\Omega$. The manual gives this exact relation and asks how finite supply internal electrical resistance affects it. ^[ref]

As an additional calibration control, record the supply-off zero, apply several small positive and negative electric currents, and recheck zero after each sequence. With $R_g$ known, calculate each electric current from the measured supply electric potential difference and the total series electrical resistance; plot settled deflection against that electric current. Equal-magnitude reversed readings should lie equally far from a stable zero. A fitted relation ${\theta }_{\mathrm{read}}={\theta }_0+S_{I}I$ separates zero offset from galvanometer current sensitivity. The manual's “figure of merit” is electric current per scale division, not the mechanical torsional spring constant $k$ used above. These reversal and zero checks extend the documented procedure; they are proposed controls, not reported measurements.

The galvanometer current sensitivity is the change in settled deflection angle per change in electric current. In the linear model its derivative is constant, $S_I=NAB/k$. The illustrative design has $S_I=3000rad/A$, or $0.1719^{\circ }$ per $\mu \mathrm{A}$. A chosen full-scale angle ${\theta }_{\max }=0.180\mathrm{rad}$ corresponds to $|I|=60.0\mu \mathrm{A}$; a straight-line extrapolation beyond that range does not establish real instrument behavior.

Finite sensitivity and finite readable angle set different limits. Under the stipulated $0.10^{\circ }$ tolerance, a reading indistinguishable from zero means $|I|\lesssim 0.582\mu \mathrm{A}$ only if the zero is stable and the model applies. More turns can increase galvanometer current sensitivity while also increasing winding electrical resistance; the response to an applied electric potential difference depends on both. Friction, zero drift, departures from the radial magnetic field, and spring nonlinearity can spoil the calibration. Damping sets how long one must wait for a settled reading. A rapidly reversing electric current can produce little mean pointer deflection even when its instantaneous magnitude is large.

For a rectangular winding with $N$ turns, active side length $\ell$, side separation $w$, and per-turn area $A=w\ell$, the magnetic force on a current-carrying wire gives equal and opposite side forces of magnitude $N|I|\ell B$. Their force couple has lever arm $w$. Choosing the positive rotation to match positive electric current in the illustration gives the signed torque and spring balanceHere $B$ is the working-gap magnetic flux density, $k>0$ is the torsional spring constant in $\mathrm{N}m/rad$, and $\theta$ is the deflection angle in radians from the no-current zero. The balance holds after motion has settled, within the radial-field and linear elasticity ranges. Do not identify $\theta$ with the angle between a magnetic dipole moment and a fixed uniform magnetic field: that different geometry has torque magnitude $NIAB|\sin \alpha |$. ^[ref]

For an original illustrative design, choose $N=120$, $A=3.00\times 10^{-4}{\mathrm{m}}^2$, $B=0.250\mathrm{T}$, and $k=3.00\times 10^{-6}\mathrm{N}m/rad$. Then $NAB=9.00\times 10^{-3}\mathrm{N}m/A$. At $I=+40.0\mu \mathrm{A}$, the magnetic torque is $+3.60\times 10^{-7}\mathrm{N}\mathrm{m}$ and $\theta =+0.120\mathrm{rad}\simeq +6.88^{\circ }$. Reversing the electric current reverses both the torque and the deflection, giving $-6.88^{\circ }$ without changing the magnetic field.

A galvanometer radial field is approximately radial about the rotation axis within each narrow working gap. Its direction follows the moving sides of the coil over the useful sweep. Here the magnetic field points from the left pole toward the core and from the core toward the right pole; it is not outward everywhere. This geometry keeps the magnetic force on a current-carrying wire tangential, with nearly constant lever arm. A spatially uniform magnetic field in a fixed direction would instead give an angle-dependent torque as the coil turns.

Incompressible mass conservation in a moving gap givesCombined with the local Couette-Poiseuille flux, this is the Reynolds lubrication equation.

For a thin gap $h$ with tangential wall velocities ${\mathbf{v}}_0,{\mathbf{v}}_h$, lubrication theory and the no-slip boundary condition give the integrated volume fluxConservation of mass gives $h_t+{\nabla }_{\parallel }\cdot \mathbf{q}=0$. This is the Reynolds equation; it determines the lubrication pressure from wall motion and gap geometry.

The moving-average operator is the finite filter obtained by substituting the backshift operator into the moving-average polynomial. It maps a white noise sequence to its weighted finite sum of present and past values.

A conducting rod sliding on rails separated by $\ell$ in a transverse magnetic field has induced current magnitude $B\ell v/R$ when self-inductance is neglected and resistance is $R$. The Lorentz force opposes motion with magnitude $B^2{\ell }^{2}v/R$, so free motion decays exponentially on the displayed time constant. Joule heating integrates to the rod's lost kinetic energy. Current direction follows the Lenz's law.

The recursively defined isomorphism from a well-founded extensional set-like relation to membership on a transitive set or class. The Mostowski collapse theorem asserts its existence and uniqueness; the class form requires each predecessor extension to be a set.

For distinct ordered $a_0<\cdots <a_m$, the quotient $\sum a_j{x}_j^2/\sum x_j^2$ on Real projective space has one critical point $[e_i]$ of index $i$. Its descending flow is $[x_j(t)]=[e^{-2a_{j}t}{x}_j(0)]$. The unstable cell at $[e_i]$ is ${\mathbb{RP}}^i\setminus {\mathbb{RP}}^{i-1}$. Between adjacent critical points there are two trajectories, whose relative orientation is the degree $(-1{)}^i$ of the antipodal map on $S^{i-1}$. Thus, up to generator orientation, the differential is two in even degrees and zero in odd degrees. This gives the integral cellular homology of real projective space rather than only its mod-two ranks.

On the Klein bottle given by $(s,t)\sim (s+2\pi ,-t)\sim (s,t+2\pi )$, the Morse function $f=\cos s+\epsilon \cos t$, $0<\epsilon <1$, has one minimum, two saddles, and one maximum. In its descending Morse-Smale gradient flow, the two branches from either saddle to the minimum cancel. From the maximum to the fiber saddle, reflection of the fiber under the base identification reverses the transverse orientation, making the two contributions add. The contributions to the base saddle cancel. With a choice of generator orientations the displayed Morse chain complex follows. Thus integral homology is $H_0=\mathbb{Z}$, $H_1=\mathbb{Z}\oplus \mathbb{Z}/2$ and $H_2=0$; the top attaching word $ab{a}^{-1}b$ independently gives the coefficient two on the fiber generator.

Use undercooling $\Delta T=T_m-T_{\infty }$, solidification attachment mobility $\mathcal{M}$, velocity scale $U_0=\mathcal{M}\Delta T$, length $\ell =\kappa /U_0$ and time $\kappa /U_0^2$. Let $S=L/(c_p\Delta T)$ be the latent-to-sensible heat ratio, $\theta =(T-T_{\infty })/\Delta T$, and $\Gamma ={\gamma }_T/(\Delta T\ell )$. In the one-sided liquid-diffusion model, a travelling planar front has $\theta =S{e}^{-V\xi }$ and $V=1-S$. For a corrugation $\zeta e^{\sigma t+i\alpha y}$, the decaying thermal perturbation is $A_1{e}^{-p\xi }$, with $p^2-Vp=\sigma +{\alpha }^2$ and the branch $p=[V+\sqrt{V^2+4(\sigma +{\alpha }^2)}]/2$. The displaced kinetic condition gives $A_1=(SV-\sigma -\Gamma {\alpha }^2)\zeta$. The displaced Stefan condition gives $S\sigma \zeta =p{A}_1-S{V}^2\zeta$. Eliminating $A_1$ proves the displayed dispersion relation. Neglect of solid-side perturbation heat flux is part of this model.

For a morphism of sheaves $\varphi :\mathcal{F}\to \mathcal{G}$ of abelian groups or modules, the cokernel sheaf is the sheafification of the presheaf $U\mapsto \mathcal{G}(U)/\varphi (\mathcal{F}(U))$. Its stalk at $x$ is $\mathrm{coker}({\mathcal{F}}_x\to {\mathcal{G}}_x)$. The presheaf quotient itself need not satisfy the sheaf gluing axiom, which explains why a surjective morphism of sheaves need not be surjective on global sections.

If an integer-valued monotone sequence $(a_n)$ is nondecreasing and bounded above by $M$, it can increase strictly at most $\lfloor M\rfloor -a_1$ times. Thus its values eventually remain constant. Such sequences are determined by a finite initial list followed by a constant tail, so their collection is a countable set.

Map a binary sequence $({ϵ}_j)$ to the rational partial sums $s_n={\sum }_{j=1}^n{ϵ}_j{3}^{-j}$. They are nondecreasing and bounded above by $1/2$. A first different digit makes the corresponding partial sums different at that index, so the map is injective. Cantor's diagonal argument then makes this family uncountable despite every individual term being rational.

// Target: special-relativity.bigb

Suppose $x_n,y_n>0$ and the displayed inequality holds with fixed $\lambda >0$. Then $y_n$ decreases to some $l\ge 0$. Telescoping shows ${\sum }_n\min (x_n,y_n)\le y_1/\lambda$. If $l>0$, this bounds ${\sum }_n\min (x_n,l)$, contradicting clipping preserves divergence of a positive series when ${\sum }_n{x}_n$ diverges. Thus divergence of the positive input series forces $y_n\to 0$.