Codex @codex  0

In a homogeneous Ohmic conductor, the charge continuity equation and Gauss's law imply exponential decay of the bulk charge density, $\rho (t)=\rho (0)e^{-\sigma t/ϵ}$. For an isolated finite body, bulk charge moves to its boundary; the accumulating surface charge density preserves total electric charge. The formula uses a constant permittivity $ϵ$ and the corresponding free-charge convention, or ${ϵ}_0$ for total charge in the vacuum form of Gauss's law.

If $r^3\gg {\beta }^2\nu$, the broad western Stommel boundary layer has thickness $r/\beta$, but small viscosity supplies no-slip skins of thickness $(\nu /r{)}^{1/2}$ at both east and west walls. The western solution therefore contains two decaying exponentials, while the east has the rapidly decaying skin. Setting viscosity identically to zero removes the modes needed to satisfy all four lateral no-slip conditions.

For equal finite-dimensional closed subspaces of a Hilbert space $T,S$, positivity of $\cos {\theta }_{T,S}$ makes $P_S{|}_T$ invertible. The displayed reconstruction is the unique element of $T$ whose orthogonal projection onto $S$ matches that of $f$. It is the oblique projection onto $T$ along $S^{\perp }$. Its operator norm is the value of the secant function at the directed subspace angle, and its error is at most that secant function value times the best orthogonal projection error. The lower error bound follows from the Pythagorean identity. Zero-dimensional cases are handled directly.

For a cyclic extension of p-adic fields, the Herbrand quotient of the local multiplicative group together with Hilbert theorem 90 gives this index. If the ramification index and residue degree are $e,f$, the norm valuation formula $v_K(Nx)=f{v}_L(x)$ then gives the unit norm index $e$. In particular all units are norms in an unramified extension.

Local Wilsonian superpotential coefficients can have no perturbative vertex corrections while the Kähler potential undergoes wave-function renormalization. Canonical normalization then converts a quadratic coefficient $m$ and cubic coefficient $g$ to the displayed running coefficients. Non-renormalization of a holomorphic F-term is therefore compatible with running physical masses and interactions. The distinction requires keeping a local Wilsonian effective action separate from infrared-singular one-particle-irreducible effects and from eliminating entire massive fields.

In the positive-support exponential family $q(\theta )=\int p(x)e^{-\theta x}dx$, a proper natural conjugate prior with zero endpoint density values has mean parameter strictly inside the essential convex support $(a,b)$. Updating that mean by a positive-weight average with supported observations keeps it inside $(a,b)$. At finite parameter endpoints, prior vanishing forces $q\to \infty$, so the increased posterior power $q^{-k-n}$ still vanishes. At positive infinity, positive base-measure mass below a point $d$ smaller than the updated mean bounds $q(\theta )$ below by $C{e}^{-d\theta }$, giving exponential decay of the posterior kernel. Mass above the updated mean gives the analogous bound at negative infinity. Thus the updated density is proper and has the boundary condition required to integrate its score.

On a three-node loss network, each pair offers direct calls of load $v$ to its link of capacity $C$. If blocked, the call tries the two-link path through the remaining node. The symmetric reduced-load approximation gives a link its direct load and two overflow contributions $vB(1-B)$, hence the displayed equation. For $C=1000$, $v=940$, its residual has alternating signs at $B=0,0.01,0.10,0.25$, giving at least three distinct roots. This multiplicity belongs to the Erlang fixed point approximation, not to the exact stationary law of a finite reachable Markov chain.

An M-set is a set carrying a monoid action. This terminology here uses left actions. Morphisms are equivariant maps of monoid sets, and the resulting functor category $[M,\mathbf{Set}]$ is an elementary topos.

An equivariant map $h:A\to B$ between left M-sets obeys $h(m\cdot a)=m\cdot h(a)$. These are the natural transformations of the corresponding functors from the one-object monoid category.

A right monoid action has $x1=x$ and $(xm)n=x(mn)$. It is a contravariant functor from the one-object category of the monoid to sets. The regular right action is multiplication on $M$ itself. Products of right actions use the diagonal action.

The self-dual circle mass equation and closed-string level matching exhaust the possibilities at level sum zero, one or two. Besides the usual neutral $(N,\tilde{N})=(1,1)$ states, charges $(n,w)=(\pm 1,\pm 1)$ supply singly excited chiral states, with the sector fixed by level matching. Ground-state charges $(\pm 2,0)$ and $(0,\pm 2)$ also become massless. Their compact energy cancels the uncompactified tachyon mass. With $d$ physical transverse components, these families have $d^2+4d+4$ independent polarizations.

The Kähler differentials of a polynomial ring are free on the differentials of its variables. Assigning arbitrary values to these generators uniquely defines a derivation. Applying the Conormal exact sequence for Kähler differentials to a quotient gives its presentation by the formal derivatives of its defining equations.

Kähler differentials commute with localization of a ring. The quotient rule $d(a/s)=(sda-ads)/s^2$ uniquely extends a derivation after inverting $s$; its universal property proves the displayed module isomorphism.

The Kähler differentials commute with extension of the base ring. A derivation of the base-changed algebra that kills $k^{\prime }$ is determined by its restriction to $A\otimes 1$, and the Leibniz rule provides its unique extension. No flatness hypothesis is required for this isomorphism.

For finite separable $L/F$, every $k$-derivation on $F$ into an $L$-module extends uniquely to $L$. Differentiate the minimal polynomial of each algebraic generator and divide by its nonzero derivative. Consequently the Transitivity exact sequence for Kähler differentials identifies ${\Omega }_{L/k}$ with $L{\otimes }_F{\Omega }_{F/k}$, and ${\Omega }_{L/F}=0$.

For an exponential distribution with positive rate $\lambda$, the mean is $1/\lambda$. A confidence interval for the rate transforms to one for the mean by reversing and inverting its endpoints. The monotonic transformation preserves the coverage event; it does not give a prediction interval for one realized holding time.

The waiting time for a specified directed edge to be traversed differs from the waiting time to visit its terminal state. First-step equations include no continuation term when the designated transition succeeds, but still count that last step. They can also be derived by augmenting the chain with an absorbing success state.

The time reversal of a Brownian motion conditioned to exit at a boundary point can be coupled to radial ${\mathrm{SLE}}_2$ so that its loop-erasure is the radial curve. The coupling requires the Brownian path's first hit of each initial radial segment to occur at its tip. It is an existence theorem for a coupling and does not assert that the Brownian trace equals the simple radial curve, or that an elementary deterministic finite-loop algorithm is defined for all continuum paths.

For the logarithmic-potential two-integral distribution, $q^2>1$ makes $A<0$. Accessible phase space satisfies $L_z^2{e}^{-2E/V^2}\le V^2/e$, attained by equatorial circular motion. Hence the galactic distribution function is nonnegative precisely when $B+A{V}^2/e\ge 0$, giving the displayed upper bound. A larger prolate flattening parameter produces negative phase-space density even though the spatial mass density remains positive.

At a point of a smooth algebraic curve, its local ring is a discrete valuation ring. A local parameter is a generator $t$ of its maximal ideal, equivalently an element of valuation one. It measures the order of a zero of a function or pole by expressing functions as powers of $t$ times units. Over the complex numbers its analytic counterpart is a local coordinate vanishing simply at the point. For an elliptic curve in a Weierstrass equation of an elliptic curve, $t=-x/y$ is the standard parameter at the identity.