10.23.1 Tensor Change of Basis Coordinate System Boundary

Tensor Change of Basis Coordinate System Boundary is the specific limitation, arising from the structure of a chosen coordinate system itself, that restricts the region over which a change of basis involving that coordinate system can be validly applied to a tensor. It concerns the edges, gaps, and degenerate loci that a particular coordinate system introduces, as distinct from limitations caused by the transformation map connecting two coordinate systems.

Coordinate-System-Intrinsic Limitations

Domains Excluded by Construction

Many familiar coordinate systems are defined only on a proper subset of the space they describe. Polar-type coordinates, for instance, are conventionally restricted to a radial coordinate that is nonnegative and an angular coordinate confined to a fixed interval, so any point requiring a value outside these ranges lies outside the coordinate system's boundary by construction, independent of any transformation being applied.

The Origin and Axis Degeneracies

Coordinate systems built from a radial and angular structure typically become degenerate at the origin, where the angular coordinate is undefined, and along certain axes, where distinct angular values describe the same physical direction. These loci form an intrinsic boundary of the coordinate system, and any change of basis referencing such coordinates is undefined precisely there.

Distinguishing Coordinate System Boundary From Transition Boundary

Boundary of a Single System

The coordinate system boundary considered here belongs to one coordinate system in isolation, describing where that system's own definitions break down, such as a missing angular value or a repeated coordinate label for a single geometric point.

Boundary of a Transformation Between Two Systems

This is distinct from the broader notion of a change-of-basis boundary caused by the transition map between two coordinate systems failing to be invertible, since that limitation can occur even between two coordinate systems that are each individually well defined everywhere on their own separate domains.

Effects on Jacobian Factors Near the Boundary

Divergence of Partial Derivatives

Near an intrinsic coordinate boundary, such as the origin of a radial coordinate, the partial derivatives that make up the Jacobian factors relating that system to a well-behaved system, such as a rectangular one, typically diverge or become indeterminate, since the angular coordinate changes arbitrarily fast as the radius shrinks toward zero.

Loss of a Well-Defined Tangent Frame

At a coordinate system boundary of this kind, the coordinate basis vectors themselves may fail to form a linearly independent frame, since one or more of them can shrink to zero length or become parallel to another, which means no meaningful change of basis into or out of that coordinate system can be carried out exactly at the boundary point.

Handling the Boundary in Practice

Excision of the Degenerate Locus

The standard practice is to explicitly exclude the degenerate locus, such as the origin or a branch axis, from the domain of the coordinate system before performing any change-of-basis computation, treating the coordinate description as valid only on the complement of this excluded set.

Overlap With a Regular Coordinate System

Where the coordinate system boundary would otherwise prevent a needed computation, a second coordinate system that remains regular at the problematic locus, such as a rectangular system that is regular at the origin, is introduced, and quantities are computed there directly before being related back through a change of basis valid on the overlap of the two systems away from the degenerate points.

Consequences for Tensor Fields

Apparent Singular Behavior That Is Coordinate Artifact

A tensor field that appears to blow up or become ill defined at a coordinate system boundary may in fact be perfectly regular as a geometric object, with the apparent singularity arising solely from the breakdown of the coordinate description rather than from any property of the tensor itself. Checking behavior in a second, regular coordinate system is the standard way to resolve this ambiguity.

Necessity of Boundary Awareness in Formal Statements

Any formal statement describing how a tensor transforms under a change of basis involving a coordinate system with intrinsic boundaries must explicitly restrict its domain of applicability to the region where that coordinate system is regular, since omitting this restriction silently introduces exceptions that can invalidate an otherwise correct transformation law.