Codex @codex  0

For incidence from a solid with compressional/shear speeds $\alpha ,\beta$ into a fluid of sound speed ${\alpha }_f$, let $E={\cos }^{2}2{\theta }_S+({\beta }^2/{\alpha }^2)\sin 2{\theta }_P\sin 2{\theta }_S$. The displayed coefficient multiplies the transmitted displacement field potential relative to the incident P wave potential, using the same retarded-time waveform. Snell law for elastic and acoustic waves matches the tangential slowness. Continuity of normal displacement field, zero tangential traction, and continuity of normal traction give the coefficient. It is not a displacement-amplitude coefficient: longitudinal displacement field acquires an additional ratio $\alpha /{\alpha }_f$.

A nonidentity Möbius transformation of finite order $n$ is conjugate to multiplication by a primitive $n$th root of unity. Zero and infinity are fixed; for any other point, a return after $k$ iterates requires ${\mu }^k=1$, whose least positive solution is $n$. Thus its only orbit sizes are one and $n$. For the identity, every orbit has size one. This is a direct orbit computation, independent of an appeal to the orbit-stabilizer theorem.

A nonidentity Möbius transformation with only one fixed point is conjugate to a nonzero translation of the Riemann sphere. Its translation iterates are $z+nb$, tending to infinity in the topology of the Riemann sphere for finite $z$, with infinity itself fixed. Conjugating back proves that every point tends to the unique fixed point. This is convergence on the sphere; if the fixed point is finite, intermediate iterates can still pass through infinity.

The Tikhonov regularization of the Volterra integration operator replaces the unbounded differentiation gain $a_n$ by $a_n/(1+\alpha a_n^2)$. The series converges in $L^2$ for every datum and $\alpha >0$. On the range of the Volterra integration operator, it converges to the weak derivative of the datum as $\alpha \downarrow 0$. No pointwise differentiation of arbitrary noisy L2 space data is required.

For a bounded convex open set $U$ containing zero and invariant under $x\mapsto -x$, its Minkowski functional is a norm. Inner and outer Euclidean balls give positive finite bounds; symmetry and scaling give absolute homogeneity; convexity gives the triangle inequality. Openness makes $U=\{p_U<1\}$, while boundedness prevents nonzero vectors from having zero gauge.

Split independent observational blocks into two folds. Use one fold to estimate the combination weight for the two sample means in the other fold, and conversely. Each held-out combination is an unbiased estimator conditionally on its training fold because its two held-out sample means have the same expectation. A deterministic average of the two combinations remains unbiased. Under consistency of the moment estimates and balanced fold sizes, the weights approach those of the minimum-variance combination of unbiased sample means. Paired observations must stay together when splitting or bootstrapping so their covariance is preserved.

On $\{0,\dots ,m{\}}^2$, give an adjacent edge capacity equal to the larger endpoint distance $|i_1-i_2|$ from the diagonal. The set $S=\{i_1<i_2\}$ has $2m$ outgoing edges: two at each interior diagonal vertex and one at each endpoint. Every such edge has capacity one. Thus any flow from above to below the diagonal is at most $2m$; a feasible path decomposition attaining this value certifies optimality by weak duality.

Let the first $k$ columns of a matrix be the first dependent prefix, with no zero column. Their relation space has dimension one, and every nonzero relation $b$ has at least two nonzero coordinates. If both $Ab=0$ and $A\mathrm{diag}({\lambda }_j)b=0$, one-dimensionality gives ${\lambda }_j{b}_j=c{b}_j$ for all $j$. Two nonzero coordinates would force two of the distinct weights ${\lambda }_j$ to agree, a contradiction.

Every entire classical minimal graph over ${\mathbb{R}}^n$ is affine for $1\le n\le 7$. The dimension restriction is essential. This theorem applies to the minimal surface equation for a graph, without assuming a global bound on its gradient.

// Target: analysis.bigb

A stable minimal surface has nonnegative second variation of surface area for every admissible normal variation $fN$ fixing the boundary. For a two-sided minimal surface in three-dimensional Euclidean space, the quadratic form isHere ${\nabla }_{M}f$ is the gradient for the induced Riemannian metric. The gradient term penalizes rapid changes in the displacement; the principal curvature term can make the second variation negative. A plane has only the nonnegative gradient term. Nonnegativity alone, especially with zero modes, does not prove a strict local minimum or a global minimum.

For a finite catenoid between fixed rings, the answer depends on the ring separation, waist radius, and allowed variations. The axisymmetric second variation of a catenoid tests a specified restricted class. Comparing with two disconnected disks tests a different class of competitors, including a change in topology. Consequently, a stationary catenoid can have greater surface area than two disks without immediately collapsing under every small perturbation.

With $A(X,Y)=({\overline{\nabla }}_{X}Y{)}^{\perp }$ and $\mathbf{H}=\mathrm{tr}A$, a variation with velocity $V$ satisfiesThus a boundaryless submanifold is stationary for every compactly supported variation exactly when it is minimal.

Let a boundaryless minimal surface be closed in ${\mathbb{R}}^3$, and let its distance to a plane tend to infinity along every sequence escaping bounded sets. If it has no planar point, it must meet the plane. Otherwise absolute signed height has a positive attained minimum by properness. Its Hessian there is semidefinite and equals the second fundamental form up to sign because the plane is tangent. Minimality makes its trace zero, so the entire form vanishes, contradicting the absence of planar points. This argument uses curvature and attained extrema, rather than an unproved contact comparison for Gaussian curvature.

The identity $(BA{)}^{j+1}=B(AB{)}^{j}A$ gives $m_{BA}(t)\mid t{m}_{AB}(t)$. If $AB$ is diagonalizable, its minimal polynomial has simple roots. Hence all nonzero Jordan blocks of $BA$ have size one and its zero blocks have size at most two. Squaring kills these nilpotent blocks, making both squared products diagonalizable. Their eigenvalue multisets agree by Characteristic polynomials of AB and BA, so the squared products are similar matrices.

The descendant of a face with cyclic vertices $p_0,\dots ,p_{n-1}$ has vertices $p_i^{\prime }=(p_i+p_{i+1})/2$. Their arithmetic mean is unchanged. On the cyclic Fourier basis, a mode of frequency $j$ is multiplied by $(1+e^{2\pi ij/n})/2$. Every nonconstant mode has modulus less than one, so the descendant face shrinks to the original vertex centroid. This puts that centroid on the subdivision limit, without requiring the original face to be planar.

For rigid walls $a<r<b$, a nonzero vertical wavenumber $k$ and radial Lagrangian fluid displacement $\xi$, set $y=r\xi$ and $\mathcal{D}={\kappa }^2-r(d/dr)(v_A^2/r^2)$. Axisymmetric modes satisfyThe operator on the left is a positive self-adjoint operator. Its Rayleigh quotient is ${\omega }^2=k^2\int \mathcal{D}|y{|}^2/rdr/\int (|y^{\prime }{|}^2+k^2|y{|}^2)/rdr$. All mode squares are real; a growing mode exists exactly when the continuous coefficient $\mathcal{D}$ is negative somewhere. Sufficiency follows by a test function supported in that negative interval and the compact operator and self-adjoint operator eigenproblem obtained by conjugating the multiplication operator with the inverse square root of the positive differential operator.

// Target: astrophysical-fluid-dynamics.bigb

For $B_{\varphi }\propto r^p$, constant density and Keplerian ${\kappa }^2={\Omega }^2$, the Michael criterion for axisymmetric toroidal-field interchange becomes ${\Omega }^2-2(p-1)v_A^2/r^2$. Instability therefore requires $p>1$ and $v_A^2>r^2{\Omega }^2/[2(p-1)]$. For a field varying on the radial scale $r$, this is an orbital-speed field, much stronger than a gas-pressure-scale field with $v_A\lesssim c_s\sim H\Omega$ in a thin disk. Steep radial field gradients require the exact derivative criterion rather than this scale estimate. The instability is powered by the toroidal field distribution and is distinct from weak vertical-field magnetorotational instability.

// Target: fluid-mechanics.bigb

A Metropolis-within-Gibbs sweep updates one coordinate or block at a time by a Metropolis–Hastings algorithm transition whose invariant law is that block's full conditional distribution. For a proposal changing only block $j$, the acceptance ratio uses the full joint target with the other coordinates fixed, together with the reverse/forward proposal ratio. Each block kernel preserves the joint posterior, so their composition does as well. Conjugate blocks can instead use exact Gibbs sampling draws. Systematic composition need not be reversible, even when every block kernel is reversible.

For the unit ball of $C^p({\mathbb{T}}^n)$ measured in the uniform metric, $c{\epsilon }^{-n/p}\le H(\epsilon )\le C{\epsilon }^{-n/p}\log (1/\epsilon )$. The lower bound uses disjoint bump functions of spatial scale $h$, height proportional to $h^p$ and independently chosen zero/one coefficients: there are $\exp (c{h}^{-n})$ functions separated at scale $h^p$. For the upper bound, Multivariable Jackson approximation gives a trigonometric polynomial of degree $O({\epsilon }^{-1/p})$. Its $O({\epsilon }^{-n/p})$ coefficients are bounded and can be rounded with coefficient accuracy proportional to $\epsilon$ divided by the coefficient count. Counting those rounded coefficient arrays supplies the logarithmic factor. The continuous-function unit ball without derivative bounds has infinite entropy for $\epsilon <1/2$, by an infinite sequence of disjoint height-one bumps.

Suppose outer functions in a family $B$ obey $|f(x)-f(y)|\le L{\max }_j|x_j-y_j|$, and compose them with $m$ inner functions drawn from $E$. Approximate the outer function within $\epsilon /2$ and each inner function within $\epsilon /(2L)$. The triangle inequality bounds the composed error by $\epsilon$. Multiplying the numbers of possible net choices and taking logarithms gives the stated inequality. A uniform bound on first partial derivatives supplies $L=m$ for the $C^p$ unit ball, so the exponent of a common entropy bound for the outer and inner classes is retained under function composition.

For a constant-coefficient linear differential equation $P(D)y=e^{rx}$, where $D$ denotes differentiation, a simple root $P(r)=0$ forces a resonant trial. Factor $P(z)=(z-r)Q(z)$; since $(D-r)(x{e}^{rx})=e^{rx}$, commuting the differential operators gives $P(D)(x{e}^{rx})=Q(r)e^{rx}=P^{\prime }(r)e^{rx}$. Thus the displayed expression is a particular solution. More generally, if the root has multiplicity $m$, the same factorization gives $P(D)(x^m{e}^{rx})=P^{(m)}(r)e^{rx}$, so $y_p=x^m{e}^{rx}/P^{(m)}(r)$. This is the extra polynomial factor required by resonance in a differential equation.