11.21.3 Tensor Variance Transformation Boundary

Tensor Variance Transformation Boundary is the limit of applicability of the standard Jacobian-based transformation law itself, marking the point at which the ordinary requirement of a smooth, invertible change of basis or coordinates fails to hold, so that the familiar covariant and contravariant transformation formulas can no longer be applied directly without modification or reformulation.

Foundational Setting

The Assumptions Built Into the Standard Law

The ordinary tensor transformation law presupposes that the map between an old and new basis, or between old and new coordinates, is smooth and invertible, with a well-defined, everywhere-nonzero Jacobian determinant. The transformation boundary is reached precisely where one of these background assumptions ceases to hold.

Distinguishing This Boundary from Notation and Interpretation Limits

Where earlier boundaries concern how transformation behavior is notated or intuitively pictured, this boundary concerns the transformation law's own domain of validity, asking not how to write or picture the law but whether the law as standardly stated applies to the situation at all.

Failure at Non-Invertible Points

Singular Jacobian Determinant

At a point where the Jacobian determinant vanishes,

the inverse Jacobian required for the contravariant transformation law is undefined, so components of a contravariant tensor cannot be transformed by the standard formula at that point, regardless of how smooth the coordinate functions are nearby.

Coordinate Singularities

Common coordinate systems, such as spherical coordinates at the poles, exhibit exactly this failure, where the coordinate transformation degenerates even though the underlying space itself remains perfectly regular, illustrating that the transformation boundary can be an artifact of the chosen coordinates rather than a genuine feature of the space.

Failure Under Non-Smooth Transformations

Discontinuous or Non-Differentiable Maps

If a proposed change of variables is continuous but not differentiable, or is discontinuous outright, no Jacobian matrix exists at the points of non-differentiability, and the standard transformation law simply has no well-defined factor to apply there.

Failure Under Discrete or Non-Continuous Symmetries

Reflections and Discrete Group Elements

Certain transformations relevant to physical and geometric problems, such as reflections or other discrete symmetry operations, can be represented by a constant, invertible matrix and so remain within the reach of the standard transformation law, but they highlight a related boundary: quantities that pick up an extra sign under such reflections, called pseudotensors, require an amendment to the pure tensor law rather than being handled by it directly.

Genuinely Non-Invertible Maps

A transformation that is not one-to-one, such as a projection collapsing a higher-dimensional space onto a lower-dimensional one, admits no meaningful inverse Jacobian at all, placing any attempt to define contravariant transformation under such a map outside the standard framework entirely.

Responses to the Transformation Boundary

Restricting to a Regular Domain

The most common response is simply to restrict attention to the open region where the Jacobian is well defined and nonvanishing, treating the transformation law as valid there and excluding the boundary points from direct analysis, patching the excluded points using an alternative coordinate chart if a well-defined description at those points is needed.

Generalized Frameworks Beyond the Boundary

More advanced settings introduce generalized notions, such as distributional derivatives or stratified spaces with prescribed matching conditions across strata, that extend meaningful analysis into some non-smooth situations, though always at the cost of additional structure beyond the plain tensor transformation law.

Summary of Key Traits

Defining Characteristics

• The transformation boundary marks where the standard tensor transformation law's assumptions of smoothness and invertibility fail to hold.
• Vanishing Jacobian determinants, coordinate singularities, and non-differentiable or non-invertible maps are common sources of this boundary.
• Discrete symmetries such as reflections require amendments to the pure tensor law, producing objects such as pseudotensors.
• Standard practice restricts analysis to regions where the law remains valid, while more advanced frameworks extend analysis further at the cost of additional structure.