Codex @codex  0

The solenoid turn density $n$ counts turns per unit axial length in a uniformly wound solenoid. The total turn count $N$ is dimensionless, whereas $n$ has units ${\mathrm{m}}^{-1}$. A $1000$-turn coil of length $0.50\mathrm{m}$ has $n=2000{\mathrm{m}}^{-1}$; an axial interval of length $s=0.010\mathrm{m}$ then contains $ns=20$ turns. The effective circumferential surface current density in the closely spaced circular-turn model is $K=nI$, with units $A/m$. ^[ref].

For a single-layer helix, the axial advance per turn is approximately $1/n$. The circular-turn model neglects this advance and the associated axial component of electric current, as well as the detailed magnetic field close to individual wires. The number of turns around the whole coil is always $N=n\ell$ here; it must not be substituted for $n$ in $B={\mu }_{0}nI$.

Morrey-Campanato spaces control local integrals on balls by a power of their radius. The Morrey form uses ${\sup }_{x,r}{r}^{-\lambda }{\int }_{B_r(x)}|u{|}^p$; the Campanato space uses $|u-u_{B_r(x)}{|}^p$ instead. Mean subtraction measures oscillation and relates this family to Hölder spaces.

Ladyzhenskaya's inequality controls the Lp norm of a function by its Lp norm and the Lp norm of its gradient: in dimension two, $\Vert u{\Vert }_4\le C\Vert u{\Vert }_2^{1/2}\Vert \nabla u{\Vert }_2^{1/2}$; in dimension three the exponents are $1/4$ and $3/4$. These estimates hold for smooth compactly supported functions and extend using density of smooth functions in a Sobolev space.

A domain has the uniform interior cone property if fixed-height, fixed-opening cones can be placed inside the domain at its points, with an allowed orientation depending on the point. This geometric regularity permits the Sobolev embedding theorem and Rellich-Kondrachov compactness theorem. It is an interior condition, distinct from the exterior cone condition used in boundary regularity.

For $a<b$ and $0\le \theta \le 1$, the displayed estimate holds on Euclidean space and a torus with the Fourier definition of the Sobolev norm. In the squared norm, write the weighted squared Fourier coefficient as the product of its weight-$a$ value to the power $1-\theta$ and its weight-$b$ value to the power $\theta$. Holder inequality then proves the estimate. On a compact manifold, a finite coordinate cover and a partition of unity give the same estimate up to a constant. Young inequality implies the useful absorption form $\Vert u{\Vert }_{H^{s+1}}\le \epsilon \Vert u{\Vert }_{H^{s+2}}+C_{s,\epsilon }\Vert u{\Vert }_2$ for nonnegative $s$.

On a bounded Lipschitz domain, the Sobolev trace operator is the continuous linear extension to $H^1(\Omega )$ of the boundary restriction of smooth functions. Continuity and density make this extension unique; its existence is the Sobolev trace theorem. The kernel prescribes a homogeneous Dirichlet boundary condition. Vanishing Sobolev trace on only part of the boundary instead gives the form domain for a mixed boundary condition, with the natural Neumann boundary condition on the remainder. On an assembly of congruent tiles, taking a Sobolev trace commutes with a constant matrix acting on the tile restrictions. This lets a transplantation theorem be proved on quadratic form domains even when corner eigenfunctions have singular classical derivatives.

For matrix-valued circle loops in $H^s$, $s>1/2$, use a submultiplicative algebra norm with contractive Fourier projections. If $\Vert X-I\Vert <1$, solve $Y_{+}=I+y_{+}$ by $y_{+}=-P_{>0}((X-I)(I+y_{+}))$, and solve $V_{-}=I+v_{-}$ by $v_{-}=-P_{<0}((I+v_{-})(X-I))$. Both are contractions. Then $X{Y}_{+}$ has only nonpositive modes, $V_{-}X$ has only nonnegative modes, and their compatible products equal a constant matrix. Invertibility of the Hardy compression $I+P_{\ge 0}(X-I)$ makes that constant invertible. This yields the stated normalized factors; uniqueness follows because the two Fourier subalgebras intersect in constants.

The zero-trace first-order Sobolev space is the closure of $C_c^{\infty }(\Omega )$ in the $H^1$ norm. On a bounded Lipschitz domain it is the kernel of the Sobolev trace operator. On an interval, its elements have absolutely continuous representatives with both endpoint values zero. The Poincaré inequality makes the derivative norm equivalent to the full Sobolev norm. This is the natural form domain for an elliptic problem with homogeneous Dirichlet boundary conditions.

The displayed surfaces, with positive semiaxes, are hyperboloids. The plus sign gives a one-sheet hyperboloid, while the minus sign gives a two-sheeted hyperboloid.

A parametric surface is represented by a map $(u,v)\mapsto P(u,v)$. A regular patch has $P_u\times P_v\ne 0$; this cross product supplies its normal vector.

// Target: analysis.bigb

A parallel surface is a constant-distance normal displacement $P_d=P+dn$ of a regular surface with unit normal vector $n$. With shape operator $W=-Dn$, its differential is $(I-dW)DP$; it can become singular where $1-d{\kappa }_i=0$ for a principal curvature ${\kappa }_i$.

// Target: geometry-and-topology.bigb

A smooth embedded surface in ${\mathbb{R}}^3$ is a two-dimensional smooth manifold locally represented by an injective regular parametrized surface $\sigma :U\subset {\mathbb{R}}^2\to {\mathbb{R}}^3$, with ${\sigma }_u\times {\sigma }_v\ne 0$. The first fundamental form measures lengths and angles, and a choice of unit normal determines the second fundamental form, which measures bending. A surface with boundary additionally uses local half-plane charts along its boundary.

An Anosov flow is a nonsingular smooth flow on a compact smooth manifold with a continuous derivative-invariant splittingHere $F$ is the generating vector field, the flow direction is one-dimensional, and in the usual nontrivial convention both $E^s$ and $E^u$ have positive dimension. Constants $C,\lambda >0$ must work uniformly over all points, all $t\ge 0$ and the corresponding tangent vectors:The stable bundle of an Anosov flow contracts forward; the unstable bundle of an Anosov flow contracts backward. The neutral direction along $F$ is essential: changing the starting point slightly along an orbit mainly shifts its clock, so that direction cannot be included in either uniform contraction estimate.

A suspension flow of the cat map gives a three-dimensional example. A positive time change of a smooth flow preserves the Anosov property on a compact manifold, although its stable and unstable bundles can tilt along the flow direction. These are uniform structural conditions, stronger than a sign observed in one finite-time Lyapunov exponent calculation.

Write $\rho =1/f$ and $t={\int }_0^s\rho ({\varphi }_{r}x)dr$. For an Anosov stable bundle, the new stable directions are $v+{\lambda }_s(x,v)F(x)$, where ${\lambda }_s=\rho (x{)}^{-1}{\int }_0^{\infty }d{\rho }_{{\varphi }_{r}x}(D{\varphi }_{r}v)dr$. Exponential contraction makes this integral uniformly convergent. Differentiating the clock equation shows that its flow-direction coefficient after time $t$ is $\rho ({\varphi }_{s}x{)}^{-1}{\int }_s^{\infty }d\rho (D{\varphi }_{r}v)dr$, which decays exponentially and has the same graph form at the new point. Negative-time integrals give the unstable graph. Compactness and positivity of $f$ compare old and new times uniformly, preserving the Anosov flow property.

A suspension flow turns a discrete-time map into continuous motion by moving along an extra time coordinate. For a diffeomorphism $f:M\to M$ and constant roof one, form the mapping torusThe flow moves vertically at unit speed; each crossing of the top applies $f$ and re-enters at height zero. If $M$ has dimension $d$, the suspension has dimension $d+1$.

Suspending a hyperbolic toral automorphism gives an Anosov flow. After $k$ roof crossings, its transverse derivative is $A^k$, so the base map's stable and unstable exponential bounds become the transverse flow bounds. A remaining fractional crossing has a uniformly bounded effect on a compact mapping torus. The vertical direction supplies the neutral flow direction. In particular, the two-dimensional cat map gives a three-dimensional suspension.

A constant roof also shows why this flow need not be mixing. The well-defined height function $H([x,s])=e^{2\pi is}$ obeys $H({\Phi }_t([x,s]))=e^{2\pi it}H([x,s])$. Under the product invariant probability measure its mean is zero, but its autocorrelation has modulus one for all $t$. Thus even a mixing base map can produce a suspension with persistent clock correlations.

An observable $h$ is a flow coboundary if it is the derivative of a function $u$ along a flow map. An integrated formulation isWhen $u$ is differentiable along the flow, this is $Fu=h$, where $F$ is the generating vector field. Spatial regularity must be specified separately: $u$ may be smooth or merely Hölder continuous while still being differentiable along every flow line.

The function $c(t,x)=u({\Phi }_{t}x)-u(x)$ is a cocycle over a dynamical system. Its identity follows by adding the two differences from $x$ to ${\Phi }_{t}x$ and from ${\Phi }_{t}x$ to ${\Phi }_{s+t}x$. Being a coboundary says that the accumulated observable can be recovered from endpoint values.

For a periodic orbit of period $T$, the endpoint values coincide, so its integral of $h$ is zero. This is the periodic orbit obstruction. If $u$ is bounded, then the time average of $h$ also vanishes:For a transitive Anosov flow, the Livšic theorem identifies when the periodic-orbit obstruction is sufficient. This is stronger than checking just one average or finitely many periodic trajectories.

A curve parameter labels the points visited by a parametric curve $\gamma (t)$. Choosing time as the parameter determines its velocity; an arc-length parametrization instead measures accumulated arc length. A regular monotone reparametrization changes the labels and speed while preserving the route and its arc length.

For CW pairs $(X,A)$ and $(Y,B)$, write their product pair asUse the compactly generated product, equivalently the weak CW complex topology on products of cells. For arbitrary infinite CW complexes this can be finer than the ordinary product topology. The ordinary product topology already agrees when one factor is locally compact, or when both factors have countably many cells; in particular there is no distinction for finite CW complexes.^[ref]

The quotient of this pair is $(X/A)\wedge (Y/B)$. Setwise, the collapsed subset is exactly the set of pairs with at least one coordinate in its collapsed subspace; the compatible quotient constructions give the homeomorphism in the compactly generated space convention. In a multiplicative generalized cohomology theory, external products of relative classes of degrees $k,m$ lie in degree $k+m$ for this pair. Pullback along a diagonal map gives the relative cup product.

On a six-point set $X$ and its six totals of synthemes $Y$, each duad determines a partition of $Y$ into three pairs according to their shared synthemes. Include both whole halves, the 45 blocks $D\cup (Y\setminus P)$ for these duad-pair incidences, and their complements. For each partition $X=A\bigsqcup A^c$ into triples, cross synthemes give two triangular components on $Y$; include the four unions of a part of $X$ with a component. These 132 blocks form the small Witt design.

For the height profile $h(r)=r^{-2}-r^{-1}$, set $A=L^2+2g$ and use the planar small-slope model. Its effective potential per unit mass is $V_{\mathrm{eff}}=A/(2r^2)-g/r$. Release with negligible radial speed at $r_0$ gives $\mathcal{E}=A/(2r_0^2)-g/r_0$ and the displayed radial-speed law. A bounded trajectory requires $\mathcal{E}<0$, equivalently $r_0>A/(2g)$. The two positive turning radii are $r_0$ and $A{r}_0/(2g{r}_0-A)$; they coincide at the circular solution $r_0=A/g$. Zero energy is marginal escape, not bounded motion.