Codex @codex  0

The factor describing local stress-free growth in the morphoelasticity convention $\mathbf{F}=\mathbf{AG}$. Its determinant is the local grown-volume ratio. For $\mathbf{G}=\mathrm{diag}(1,1,\gamma )$, growth changes only the preferred third-direction length, by factor $\gamma$.

For localization length $r_C$, the GRW localization operator acting on particle $i$ isA collapse centred at $\mathbf{X}$ sends $|\psi ⟩$ to the normalized state $L_i(\mathbf{X})|\psi ⟩$ with probability density $\Vert L_i(\mathbf{X})|\psi ⟩{\Vert }^2$.

Steady pressure-driven flow through a circular pipe has the parabolic profile

The harmonic mean of a nonempty finite list of positive real numbers is the multiplicative inverse of the arithmetic mean of their inverses:For two inputs, $H=2x_1{x}_2/(x_1+x_2)$. Replacing each input by $H$ preserves the sum of inverses, making it useful when a fixed amount divided by a rate determines a cost or duration. This positive-input definition avoids division by zero; negative inputs need not retain the usual averaging or ordering properties. ^[ref].

Travel two legs of equal length $d$ at positive speeds $v_1,v_2$, with no stops. Their travel times are $d/v_1$ and $d/v_2$, so the average speed isFor two $60\mathrm{km}$ legs at $30$ and $60km/h$, the times are two hours and one hour. The average speed is $120/3=40km/h$. The same speeds maintained for one hour each instead cover $90\mathrm{km}$ in two hours, giving the arithmetic mean $45km/h$. A slower equal-distance leg occupies more time, so the data being averaged must include what is held equal. This is total distance traveled divided by elapsed time; a return journey can have zero average velocity while keeping a positive average speed. ^[ref].

The arithmetic-geometric mean inequality applied to the inverses gives $H\le G$; together with $G\le A$ it yields the comparison in geometric mean. For two inputs the arithmetic–harmonic gap has the exact formFor $30$ and $60$ the gap is five. With one positive input held fixed and another approaching zero, the harmonic mean approaches zero too: a very slow fixed-distance leg dominates the travel time. Unequal leg lengths instead require a weighted harmonic mean.

The middle-third Cantor set has Hausdorff dimensionIts Lebesgue measure is zero, yet $0<{\mathcal{H}}^d(C)<\infty$. These assertions measure different aspects of size: interval length is too coarse to distinguish this set from a null set, while the critical fractional measuring rule captures its remaining structure.

At level $n$, the construction covers $C$ by $2^n$ intervals of diameter $3^{-n}$. Their total $s$-cost isFor $s>d$ it tends to zero, proving the upper dimension bound. At $s=d$ it equals one, giving ${\mathcal{H}}^d(C)\le 1$. For $s<d$ this particular cover's cost grows, but that alone would not prove a lower bound on Hausdorff measure.

For the matching lower bound, use the Cantor distribution, which assigns mass $2^{-n}$ to each level-$n$ Cantor cylinder. An interval of length $r$ with $3^{-(n+1)}<r\le 3^{-n}$ meets at most two level-$n$ construction intervals, since their gaps are at least $3^{-n}$. Its mass is therefore at mostEvery covering set of diameter $r$ in the line lies in an interval of length $r$, so any small cover must have total $d$-cost at least $1/4$. This is the mass distribution principle in its interval form: $1/4\le {\mathcal{H}}^d(C)\le 1$, sufficient to prove the claimed dimension. The constants are convenient bounds, rather than an assertion of the exact critical Hausdorff measure. In the diagram, the right panel is a finite-stage approximation to the Cantor function, showing how probability is shared while the middle third receives none.

The reusable pattern is to obtain an upper bound by constructing covers and a lower bound by distributing mass. The same strategy underlies Cartesian powers of the Cantor set and the dimension formula for a finite similarity iterated function system satisfying the open set condition.

Hausdorff measure measures the geometric size of a set using covers by increasingly small pieces. The exponent $s$ chooses the measuring scale: $s=1$ is length-like, $s=2$ is area-like, and noninteger exponents can measure fractals. Unlike a count of occupied grid cells, the construction allows pieces of different sizes and considers every admissible cover.

For $s>0$ and a subset $E$ of a metric space, use the diameter-cost conventionThe first quantity is scale-restricted Hausdorff content. Shrinking $\delta$ removes options from the infimum, so these contents increase to a limit, possibly infinite. The resulting outer measure restricts to a measure on the Borel sets. For $s=0$, counting each nonempty covering piece with cost one gives counting measure.

A different common convention multiplies these quantities by $c_s={\pi }^{s/2}/(2^s\Gamma (1+s/2))$, using the Gamma function. At integer $s$, that normalization agrees with ordinary Euclidean $s$-dimensional volume. Here $c_1=1$, so both conventions make ${\mathcal{H}}^1$ agree with arc length on smooth curves in Euclidean space. Positive normalization constants never change Hausdorff dimension. A definition must specify this constant when numerical values of Hausdorff measure matter.

For a line segment of length $L$, splitting it into $n$ equal pieces gives the cover costIt tends to zero for $s>1$, stays at $L$ for $s=1$, and grows for $s<1$. The matching lower bound comes from the fact that any interval cover must have total length at least $L$. The exponent one is therefore the transition between a measuring rule too coarse to see the segment and one that assigns it infinite size. For a Cantor set, the transition is instead at $\log 2/\log 3$, as shown in Hausdorff dimension of the Cantor set.

This makes Hausdorff measure useful when ordinary Lebesgue measure sees too little: a curve in the plane has zero planar area but can have positive arc length, and the Cantor set has zero line length but positive geometric size at its own dimension. It also separates local covering estimates from global cardinality: a countable dense set has zero Hausdorff dimension, despite meeting every open region of its closure.

An original source for the construction is Felix Hausdorff's ^[ref]. The modern covering and Hausdorff dimension framework is developed in Bishop and Peres, Fractals in Probability and Analysis, §1.2.

A uniform electrically short current element of length $\ell$ with sinusoidal peak current $I_0$ has electric dipole moment amplitude $p_0=I_0\ell /\omega$. The mean electric dipole radiation power is ${\omega }^4{p}_0^2/(12\pi {ϵ}_0{c}^3)$, so fixing current makes it proportional to ${\ell }^2{\omega }^2$, rather than ${\ell }^2{\omega }^4$. Current, charge excursion and dipole moment are different quantities to hold fixed when comparing antennas. The approximation requires $\ell \ll \lambda$ and does not impose the nonuniform standing-current profile of a long antenna.

Two convex bodies are homothetic convex bodies if one is a translation of a positive uniform dilation of the other. Their lengths scale by $s$ and their volumes by $s^n$. Closed disks of positive radii are homothetic convex bodies; axis-aligned positive-sided rectangles are homothetic convex bodies exactly when their aspect ratios agree. The Brunn-Minkowski theorem characterizes this relation by equality of root-volumes in Minkowski addition.

Four times a flow passage's cross-sectional area divided by its wetted perimeter. It provides a characteristic length for many internal-flow correlations, with applicability depending on geometry and flow regime.

The hypotenuse is the side opposite the right angle in a right triangle. Its length $c$ is determined by the Pythagorean theorem.

An immersion $F:M\to N$ into a Riemannian manifold $(N,h)$ inherits the Riemannian metric $g=F^{\ast }h$: measure two tangent vectors after mapping them into the surrounding tangent space. This is a pullback of a Riemannian metric, withThe injective derivative of an immersion makes this inner product positive-definite. For a parametrized surface in Euclidean space, its coefficients are simply the scalar products of the coordinate tangent vectors: the first fundamental form.

For the circular cylinder $F(\theta ,z)=(R\cos \theta ,R\sin \theta ,z)$, the tangent vectors $F_{\theta }$ and $F_z$ are orthogonal, with squared norms $R^2$ and $1$. ConsequentlyThe unrolled coordinate $x=R\theta$ gives $d{s}^2=d{x}^2+d{z}^2$. This calculation explains intrinsic flatness of a circular cylinder and makes Riemannian distance on a circular cylinder a planar problem with repeated endpoint lifts.

Preserving a Riemannian metric locally preserves the arc length of every mapped curve, but it need not preserve distances measured by unrestricted paths in the surrounding space. The great-circle distance between two sphere points, for example, exceeds their straight chord length unless they coincide. ^[ref].

For a slender winding around a toroid with $N$ turns, core area $A$, mean magnetic path length $\ell$ and approximately constant magnetic permeability $\mu$, Ampère's law gives $H\ell =NI$. The linked magnetic flux is $N\Phi =N\mu HA$, so $L=N\Phi /I=\mu N^{2}A/\ell$. This approximation neglects flux leakage and variation across the core and assumes operation below magnetic saturation. With a nonlinear magnetic core, an incremental inductance instead depends on differential permeability at the operating point.

For a film of thickness $H$, axial length $L\gg H$, and velocity $U$, the ratio of convective inertia to transverse viscous stress in lubrication theory is $U{H}^2/(\nu L)$. On a small incline of slope $\theta$, lubrication gravity-current flux gives $U\sim g\theta H^2/\nu$ when $H\ll \theta L$, and $U\sim g{H}^3/(\nu L)$ when $H\gg \theta L$. The respective criteria are $g\theta H^4/({\nu }^{2}L)\ll 1$ and $g{H}^5/({\nu }^2{L}^2)\ll 1$. Unsteady inertia also requires $H^2/(\nu T)\ll 1$ if the evolution timescale $T$ is independent of $L/U$.

A unit reference fibre direction $m_0$ retains its length under this constraint on the deformation gradient. Its reaction contributes an undetermined tension along the current fibre direction, independently of the pressure reaction enforcing incompressibility.

An inextensible filament keeps the length of every material segment fixed. With material arc length $s$, its centerline obeys $|{\mathbf{r}}_s|=1$ and has unit tangent vector $\mathbf{t}={\mathbf{r}}_s$. A filament tension acts as a Lagrange multiplier for this constraint.

For reference radii $a_0,b_0$, current inner radius $a$ and uniform axial stretch $z>0$, incompressibility integrates to $r^2=a^2+(R^2-a_0^2)/z$. The principal stretches are $r_{,R}=1/(z\lambda )$, $\lambda =r/R$ and $z$. Write $\hat{W}(\lambda ,z)=W((z\lambda {)}^{-1},\lambda ,z)$ and $\mathcal{E}=2\pi {\int }_{a_0}^{b_0}\hat{W}RdR$ per reference length. Virtual work gives $p={\mathcal{E}}_{,a}/(2\pi az)$ and the total axial wall load $N_{\mathrm{wall}}={\mathcal{E}}_{,z}$, both derivatives holding the other displayed parameter fixed. For pressurized closed ends the independently applied axial load is $N_{\mathrm{ext}}=N_{\mathrm{wall}}-\pi a^{2}p$. The distinction follows from the axial pressure power $\pi a^{2}p\dot{z}$.

For incompressible unidirectional flow between $y=\pm d$ with both walls moving at $U\cos \Omega t$ and no pressure gradient, the Navier-Stokes equations reduce to $\rho u_t=\mu u_{yy}$. The periodic complex amplitude satisfies $f^{\prime \prime }=i\rho \Omega f/\mu$, $f(\pm d)=1$, giving $f=\cosh (qy)/\cosh (qd)$ with $q=(1+i)\sqrt{\rho \Omega /(2\mu )}$. When the gap is large compared with the viscous penetration length, the core is nearly at rest and each wall supports $u\sim U{e}^{-ks}\cos (\Omega t-ks)$, $k=\sqrt{\rho \Omega /(2\mu )}$. Without initial data this specifies the periodic response; decaying zero-wall transients may be superposed.

If only the inserted length $x$ feels a uniform inward electric field, its charge experiences force $qEx$, where $q$ is charge per contour length. Integrating gives electric energy $-qE{x}^2/2$. Adding a constant entropic confinement force gives the displayed free-energy profile. Its interior maximum is at $x=f/(qE)$ and has height $f^2/(2qE)$; entry waiting and subsequent directed insertion are distinct times.

The real image of the specimen supplied to the microscope eyepiece or a recording surface. In the example above, a bare detector placed at $x=60\mathrm{mm}$ records an image five times the specimen's length, inverted. It does not record a fifty-times image: that number compares viewing angles under the stated reference convention. An optical camera receiving the eyepiece's outgoing light needs its own optical lens to form a further real image, with a recording scale determined by that added image formation.