Codex @codex  0

A Mehrstellen method increases the accuracy of a compact finite difference method discretization by using the differential equation to express its leading truncation terms in terms of the prescribed source. For $\Delta u=f$, the square-grid nine-point finite-difference stencil for the Laplacian satisfies $D_{9}u=\Delta u+h^2{\Delta }^{2}u/12+O(h^4)$. Replacing ${\Delta }^{2}u$ by $\Delta f$ and approximating this source derivative gives $D_{9}U=(I+h^2{D}_5/12)f$, with fourth-order normalized consistency of a numerical method while retaining a compact nine-point matrix. The uncorrected nine-point finite-difference stencil operator is only second-order accurate on general functions.

For $u_t=u_x$, the recurrence $U_m^{n+1}-U_m^{n-1}={\sum }_{j=\pm 1,\pm 2}{a}_j{U}_{m+j}^n$ has fourth-order normalized consistency of a numerical method at fixed $\mu =k/h$ ifTo derive this, match moments $M_r={\sum }_j{a}_j{j}^r$ to the temporal Taylor series: $M_0=M_2=M_4=0$, $M_1=2\mu$, $M_3=2{\mu }^3$. The even conditions force antisymmetry; the two odd conditions then determine the displayed coefficients. The normalized residual begins with $h^4({\mu }^2-1)({\mu }^2-4)u_{xxxxx}/120$. Its amplification polynomial of a multilevel finite difference scheme is $G^2-2iA(\theta )G-1$, where $A=a_1\sin \theta +a_2\sin 2\theta$. At $\mu =1/2$, $|A|\le 3/4$, giving a uniform power bound. At $\mu =3/2$, $A(\pi /3)=19\sqrt{3}/32>1$, and wave packets on the growing polynomial root prove Cauchy linear instability.

Finite difference coefficients are the weights in a linear combination of sampled function values approximating a derivative. Matching polynomial moments determines the weights and approximation order. Forward, backward and centered stencils have different coefficients.

For $u_t=(a{u}_x{)}_x$, this conservative finite difference method uses coefficient samples at edge midpoints. For smooth $a,u$, its spatial residual is $h^2(a{u}_{xxxx}/12+a^{\prime }{u}_{xxx}/6+a^{\prime \prime }{u}_{xx}/8+a^{\prime \prime \prime }{u}_x/24)+O(h^4)$. With zero Dirichlet boundary conditions, $-v^T{L}_{h}v=h^{-2}{\sum }_j{a}_{j+1/2}(v_{j+1}-v_j{)}^2$. If $0<a\le a_{+}$, its eigenvalues lie in $[-4a_{+}/h^2,0]$, giving the mesh-independent forward Euler method bound $\Delta t/h^2\le 1/(2a_{+})$. Constant $a=a_{+}$ proves sharpness as the grid is refined.

Suppose a compact skeleton $Y$ embeds as $e(Y)\subset {\mathbb{R}}^m$. Attach a disk by $a:S^{k-1}\to Y$ and extend its boundary coordinate map radially by $G(ru)=re(a(u))$. Map the disk to $(G(x),(1-|x|)x,1-|x|)$ and $Y$ to $(e(y),0,0)$. The boundary identifications agree; a positive last coordinate recovers each interior point. This defines a continuous injection of the compact quotient into Euclidean space, hence an embedding. Repeating proves Hausdorffness and Euclidean embeddability for every finite CW complex, without assuming triangulability of arbitrary attaching maps.

The finality property of a functor means every required comma category is nonempty and connected. It is the condition defining a final functor; the displayed criterion uses categorical connected components.

On $(0,1{]}^d$ with Lebesgue probability measure, the dyadic filtration is generated by the partitions into half-open cubes of side $2^{-n}$. The conditional expectation of an integrable function is its average on each atom. The increasing partitions generate the Borel sigma-algebra. Step functions on these partitions are dense in $L^1$; approximation and the Doob maximal inequality show that their conditional averages converge in $L^1$ and almost everywhere to the original function.

The $I$-adic topology on a module $M$ has the powers $I^{n}M$ as a neighbourhood basis of zero. It is generated by the I-adic filtration; separatedness means ${\bigcap }_n{I}^{n}M=0$.

An ascending filtration is an increasing chain of additive subgroups, or vector subspaces when a scalar field is fixed. It is exhaustive if their union is the whole object. For a filtered ring, multiplicative compatibility means $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. For an ideal $I$, intersecting each level with $I$ gives the induced filtration. Its associated graded module has components $(I\cap F_{n}R)/(I\cap F_{n-1}R)$.

A submodule of a filtered module inherits the displayed filtration by intersection. It is also called the induced filtration.

The quotient filtration records images of the filtered pieces in a quotient module. Together with the subspace filtration, it gives exactness of associated graded modules for induced filtrations.

An ideal two-sided line plume has half-width $b=\alpha z$, constant velocity $w_{\ast }=(\mathcal{B}/(2\alpha ){)}^{1/3}$ and volume flux $q=2\alpha w_{\ast }z$. In a closed box of width $2R$, neglecting the plume's occupied area gives $2R\dot{h}=-q(h)$ for the filling-box first front, initially at ceiling height $H$. With negligible diffusion the front is a material interface; its ambient buoyancy jump retains the initial ceiling-discharge value $\mathcal{B}/q(H)=w_{\ast }^2/H$. The contemporaneous plume reduced gravity $w_{\ast }^2/h(t)$ is a different quantity. The upper ambient generally becomes stratified rather than remaining one uniformly mixed layer.

A system call for requesting persistence of a file's changed contents and associated file metadata. Its scope, successful completion and separate file-system directory synchronization matter to file-system transaction durability.

The fundamental group of the figure-eight knot complement has the displayed two-generator one-relator presentation. It follows from the Artin automorphism of a braid for $({\sigma }_1{\sigma }_2^{-1}{)}^2$ by eliminating the third meridian from its fixed-generator presentation.

A K-isomorphism between extensions of $K$ is a field isomorphism fixing $K$ pointwise. Simple algebraic extensions $K(\alpha )$ and $K(\beta )$ admit one sending $\alpha$ to $\beta$ exactly when their minimal polynomials agree: both then identify with the same quotient $K[X]/(m)$.

Two finite Galois extensions of the rational number field with coprime field discriminants have trivial intersection. Any ramified prime in the intersection would ramify in both fields. The intersection is therefore everywhere unramified at finite primes and has field discriminant of absolute value one. The Minkowski lower bound for a number-field discriminant excludes this in degree greater than one. The Galois correspondence then gives the product degree for their compositum. The normality hypothesis is used in this last intersection-to-degree argument.

With the standard Fibonacci numbers $F_0=0$, $F_1=1$, this identity holds for $n\ge 0$, $k\ge 1$. At $k=1$ it is immediate. If it holds for $k$ at every $n$, apply it at $n+1$ and use $F_{n+2}=F_{n+1}+F_n$ to obtain $F_{n+k+1}=F_{k+1}{F}_{n+1}+F_k{F}_n$, proving the assertion by mathematical induction. Taking $k=n$ gives $F_{2n}=F_n(F_{n+1}+F_{n-1})$ for $n\ge 1$, linking the doubling formula to the Lucas numbers.

The vector $(F_{n+1},F_n{)}^T$ advances by multiplication by $A$. Matrix powers therefore prove modular recurrence identities uniformly in $n$. Explicitly, $A^3\equiv I(\mathrm{mod}2)$, $A^8\equiv I(\mathrm{mod}3)$, and $A^5\equiv 3I(\mathrm{mod}5)$. The last congruence gives $F_{n+5}\equiv 3F_n(\mathrm{mod}5)$, hence $5\mid F_{5j}$ for every nonnegative $j$.

For a surjective function $f:B\to A$ and a function $g:B\to C$, there is a unique function $h:A\to C$ with $g=h\circ f$ if and only if $g$ is constant on each fiber of a function of $f$. Define $h(a)$ to be the common value on $f^{-1}(a)$; it is well-defined and unique because that fiber is nonempty. This uniquely specified value requires no simultaneous arbitrary choices.

For a concrete example, restrict the codomain of the finite function above to its image of a function $I=\{0,1,2\}$, making $f:A\to I$ surjective. Define $g(a)=g(b)=5$, $g(c)=7$ and $g(d)=9$. Then $h(y)=2y+5$ on $I$ gives $g=h\circ f$: knowing the output of $f$ is enough to compute $g$. If instead $g(a)\ne g(b)$, no such $h$ can exist, because $h(f(a))=h(f(b))$ must be the same value.

The surjectivity assumption supplies uniqueness on the full target. If the original unused target value three were retained, the factorization would impose no condition on $h(3)$, and different extensions could agree on every actual input. Thus factorization through a surjection formalizes when a compressed description retains all information needed for a later calculation.

// Target: combinatorics.bigb

With interaction density $\mu {\varphi }^3/3!-\lambda {\varphi }^4/4!$, the Dyson series contains $i{\mathcal{L}}_{\mathrm{int}}$ and hence cubic vertex $i\mu$ and quartic vertex $-i\lambda$. Wick contractions into the labelled slots cancel each factorial. Position integration gives the four-momentum delta function, and equivalent unlabelled contractions leave the Feynman-diagram symmetry factor. The free line carries $i/(p^2-m^2+i0)$ in the mostly-minus convention.