complete stress and common action normalization therefore survive. At rest the linearized has only spatial-spatial components. The extra quadratic term is a nonnegative static square with no new kinetic or gyro term, so the positive flow margins survive too.
Set , , and . The exact relative residuals include
Their common static coefficient in is . No inverse power of multiplies a relative derivative. At , , , and all needed fixed derivatives are bounded. The material support coframe obeys
The independent boost and rotation forms make the complete coframe triangular and uniformly invertible on a small fixed relative chart. It need not be a coordinate differential. Dividing the physical Euler equations by retains the resulting terms.
The derivative Hessian has the phase block and the horizontal, scalar-support, vector-support, frame and flow blocks with rest speeds . The phase rays remain below in the material rest frame; the complete laboratory cones are inside the unit cone. The time and spatial Schur margins are uniformly positive in this chart. A compatible symmetric-hyperbolic reduction propagates its zero curl constraints. The local existence, continuation and domain tools are standard mathematical input; the action-specific margins and coframe verification above supply their hypotheses. See Métivier, sections 3.3, 3.4 and 3.6.
For integer let , where the uniformly local norm is the supremum over translations of one fixed smooth compact cutoff. Use smooth bounded data or their strong completion with the required spare derivatives. The full local theorem and continuation estimates have constants independent of the spatial location of data. Within its small positive tube, and are bounded above and below, and all physical energy and charge densities are integrable. This is a local theorem on all of space, not global stability or continuation through vacuum.
A Verified Fixed-Size Nonlinear Departure
The following more specific conclusion uses constant , , , and the singleton , in a fixed finite carrier . Retain either entropy law. Use the new horizontal coefficient or with . Its branch values and complete empty coefficients are
The full common operator is now nonnegative and uniformly elliptic, with form domain and operator domain . Time-commuted conserved energies and elliptic estimates give its physical group bound . The negative origin block has rate , while every other empty block has positive energy. Hence the complete physical group is bounded by . Finite propagation, the weight ratio and a ten-dimensional collar cover imply the sufficient relative bound
The exponent is an upper bound, not an asserted optimal loss. The full linear mode with origin component