Differentiation of the Hubble parameter gives . The strong energy condition and the acceleration equation therefore imply
Assume the present universe is expanding, , and normalize the scale factor by . Since , the past expanding branch has . On this branch,
Integrating from a past time to gives . Thus, where the denominator is positive,
The printed inequality needs this past-time qualification: for future times with , the inequality reverses. Independently, a concave function lies below its tangent, so
Positivity of prevents the past branch extending before the zero of this tangent. If is the beginning of the expanding universe, its age satisfies . Without the normalization , the tangent bound instead reads .
For variations vanishing at both endpoints, differentiating the action and using integration by parts gives
The fundamental lemma of the calculus of variations therefore yields the Euler-Lagrange equations
For the specified Lagrangian, the gauge transformation changes it by
For arbitrary , it is a total derivative precisely when . The corresponding change in action is then an endpoint term whose variation is zero. In general time-dependent notation, the equations are
The electric field and magnetic field are unchanged by the gauge transformation with . Although the original potentials have no time dependence, their transformed versions generally do; allowing this is essential to the stated invariance.
The given Euler product for the gamma function has the finite approximants
away from the poles. Split the denominator of into even and odd factors. The resulting exact identity is
The right side does not depend on , so its limit is a constant . Evaluate the ratio at : , and the gamma reflection formula, together with positivity on the positive real axis, gives . Hence
This is the gamma duplication formula. The argument first applies where the factors are finite; the identity then holds as an identity of meromorphic functions, with values at poles interpreted accordingly.
For this chemical reaction network, the law of mass action gives the reaction rates are , and . Their stoichiometry gives
Here the convention for absorbs any combinatorial factor for two identical reactants. Direct differentiation gives the two conservation laws
Eliminating and leaves
For positive , use the dimensionless variables , and . With prime marks denoting differentiation in , this becomes
where
Take a code alphabet of size and prescribed positive integer lengths . A decipherable code means that concatenation of codewords determines the entire finite sequence of codewords uniquely. First prove the necessary Kraft inequality. If counts sequences of codewords with total length , unique decodability gives . Therefore
Taking th roots and letting gives .
Conversely, order the lengths increasingly and construct a prefix code in the rooted -ary tree. At depth , previously selected codewords forbid exactly vertices. The partial Kraft inequality implies
so an available vertex exists. Select it as the next codeword. Earlier lengths are no greater, so this preserves the prefix code property. A prefix code has unique decodability: in two purported parsings, the first unequal codewords would force one to be a prefix of the other. This proves the equivalence of decipherable and prefix code lengths: the two existence conditions are equivalent.
For a one-symbol alphabet, at most one positive-length codeword can be decipherable: two different unary codewords commute under concatenation. At most one is also exactly the prefix-code condition, so the equivalence still holds. The same argument covers countably many prescribed positive lengths for : necessity applies to each finite subset, and ensures finitely many words at each length, allowing the ordered construction. Empty codewords are excluded, as required for unique decodability of arbitrary sequences.
For isentropic gas with , , the sound speed obeys . The one-dimensional mass and momentum equations are
Since , these imply
Adding and subtracting yields the Riemann invariants
A simple wave has one invariant constant throughout. For a right-moving wave into a resting state with sound speed , , so and the right characteristic speed is , .
For the damped scalar equation, characteristics from satisfy
Assume smooth bounded initial data with bounded derivative, and the stated maximal compressive slope exists. Then
For the damping threshold for a simple wave, if , put . For , a gradient blow-up first occurs at
For , stays uniformly positive. At it still satisfies for every finite time. At a point attaining the minimum slope, for all time, rather than blowing up. Hence the precise conclusion is no finite-time shock occurs when , not the printed strict “if and only if ”. Equality only makes the limiting characteristic map degenerate as . The profile directly verifies this endpoint distinction. If there is no compressive slope, take ; no finite-time shock occurs for positive damping. A nonattained maximal slope is interpreted with a supremum and the corresponding infimum of breakdown times. The gas interpretation also requires .
Work per unit axial length, with vertically upward and across the thin gap. In the frame of the downward-translating cylinder, the wall moves upward at speed and the cylinder surface is stationary. Let be viscosity and use the leading lubrication theory
The transverse pressure gradient is negligible; solving with , gives
The flux is constant by incompressibility. Equal ambient pressure at both ends implies . With and , this yields
The tangential traction on the cylinder is
Since , its integrated force is . Pressure acts radially on a circular cylinder and contributes no torque; the tangential traction has moment arm to leading order. Hence
For clarity, the total vertical hydrodynamic force is not zero. Its leading pressure contribution is
upward, while the leading shear contribution just calculated vanishes. Thus this model predicts no induced rolling direction: a freely rotating cylinder can remain nonrotating, rather than rolling like a wheel in contact with the wall. This is the torque-free cylinder in a lubrication gap cancellation; finite ends or different boundary conditions would require a different model.

There are unlisted articles, also show them or only show them.