7.15.2 Tensor Component Coordinate Change Input

Understanding how tensor components transform under coordinate changes is fundamental in tensor algebra and physics.

Tensor Component Coordinate Change Input is the complete set of data required to recompute a tensor's components under a general coordinate substitution, consisting of the tensor's existing components, the functional relationship between the old and new coordinates, and the point at which the change is being evaluated.

The Required Pieces of Input

The Existing Components

As with any transformation, the starting point is the tensor's component values expressed in the original coordinate system, since the coordinate transformation law operates on these values to produce their counterparts in the new system.

ω_{i} = \frac{\partial f}{\partial x^{i}} (existing components)

The Coordinate Transformation Functions

The change also requires knowledge of how each new coordinate is expressed as a function of the old coordinates, or vice versa, since these functional relationships are differentiated to produce the Jacobian factors that the transformation law depends upon.

x^{i^{'}} = x^{i^{'}} (x^{1}, \dots, x^{n})

The Point of Evaluation

Because the Jacobian of a nonlinear coordinate transformation generally varies from point to point, the specific point at which the tensor's components are being expressed must also be supplied as part of the input, since the same coordinate transformation functions can yield different Jacobian factors at different locations.

Deriving the Jacobian From the Input

Partial Derivatives as the Transformation Factors

Once the coordinate transformation functions are known, the required Jacobian factors are obtained by differentiating the new coordinates with respect to the old, or the old with respect to the new, depending on whether a contravariant or covariant index is being transformed.

\frac{\partial x^{i^{'}}}{\partial x^{j}} and \frac{\partial x^{j}}{\partial x^{i^{'}}}

Evaluating the Jacobian at the Specified Point

Once the required partial derivatives have been computed symbolically, they must be evaluated numerically at the specific point supplied as part of the input, producing the concrete numerical factors that will multiply the existing components in the transformation.

Validity Requirements on the Input

Smoothness of the Coordinate Functions

The coordinate transformation functions must be differentiable at the point of evaluation, since the transformation law relies directly on partial derivatives that would otherwise fail to exist.

Local Invertibility at the Point

The coordinate transformation must be locally invertible at the specified point, meaning its Jacobian determinant must be nonzero there, ensuring that the new coordinates genuinely determine a valid alternative description of the same neighborhood of points.

det (\frac{\partial x^{i^{'}}}{\partial x^{j}}) \neq 0

Differences From the Linear Basis Change Case

Point Dependence as the Key Distinction

Unlike a simple linear change of basis, where a single constant transition matrix suffices for the entire space, coordinate change input for a general, possibly curved, coordinate system must specify the point of evaluation explicitly, since the effective transition factors can differ from one point to the next.

Reduction to the Linear Case

When the coordinate transformation functions happen to be linear, the Jacobian becomes constant everywhere, and the coordinate change input reduces exactly to the simpler basis change input consisting of a single, point-independent transition matrix.

Diagrammatic Illustration

Coordinate change input consisting of the existing components, the coordinate functions, and a specific evaluation point, feeding into the computation of new components.

Significance of Correct Coordinate Change Input

Necessity in Curved and Nonlinear Settings

Precise, point-specific coordinate change input is essential whenever curvilinear coordinates, such as polar or spherical systems, or genuinely curved spaces are involved, since neglecting the point dependence of the Jacobian would produce incorrect transformed components everywhere except where the transformation happens to behave linearly.

Foundation for Fields Requiring Multiple Charts

Disciplines that describe quantities across several overlapping coordinate charts, such as differential geometry, depend on correctly assembled coordinate change input at every point where two charts overlap, making rigorous attention to this input a prerequisite for consistent, well-defined tensor fields across the entire space.