2025-07-27

1216: For \(C^\infty\) Manifold with Boundary, on Intersection of 2 Charts, Looks-Like-Chain-Rule-for-Partial-Derivative-of-Composition-of-Transitions-of-Coordinates Rule Holds

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that for \(C^\infty\) manifold with boundary, on intersection of 2 charts, looks-like-chain-rule-for-partial-derivative-of--composition-of-transitions-of-coordinates rule holds

Topics


About: \(C^\infty\) manifold

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that for any \(C^\infty\) manifold with boundary, on the intersection of any 2 charts, the looks-like-chain-rule-for-partial-derivative-of-composition-of-transitions-of-coordinates rule holds.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\(M\): \(\in \{\text{ the } d \text{ -dimensional } C^\infty \text{ manifolds with boundary }\}\)
\((U \subseteq M, \phi)\): \(\in \{\text{ the charts }\}\)
\((U' \subseteq M, \phi')\): \(\in \{\text{ the charts }\}\)
\(m\): \(\in U \cap U'\)
\(\{\partial / \partial x^j \vert_m \vert j \in \{1, ..., d\}\}\): \(= \text{ the standard basis for } T_mM \text{ with respect to } U\)
\(\{\partial / \partial x'^j \vert_m \vert j \in \{1, ..., d\}\}\): \(= \text{ the standard basis for } T_mM \text{ with respect to } U'\)
//

Statements:
\(\partial x^j / \partial x^l = \partial x^j / \partial x'^m \partial x'^m / \partial x^l = \delta^j_l\)
//


2: Note


It deceptively looks like the chain rule of partial derivative of \(x \mapsto x' \mapsto x\), but each of \(\partial / \partial x^l\), \(\partial / \partial x'^m\), and \(\partial / \partial x^l\) is not any partial derivative.


3: Proof


Whole Strategy: Step 1: see that \(\partial x^j / \partial x^l = \partial_l (\phi^j \circ {\phi}^{-1})\); Step 2: apply the chain rule to \(\partial_l (\phi^j \circ {\phi}^{-1}) = \partial_l (\phi^j \circ {\phi'}^{-1} \circ \phi' \circ {\phi}^{-1})\).

Step 1:

\(x^j\) is the function, \(: U \to \mathbb{R}\), \(= \phi^j\).

\(\partial x^j / \partial x^l = \partial / \partial x^l (x^j) = \partial_l (\phi^j \circ {\phi}^{-1})\), by the definition of standard basis for tangent vectors space at point on \(C^\infty\) manifold with boundary with respect to chart.

\(= \delta^j_l\).

Step 2:

On \(\phi (U \cap U')\), \(\phi^j \circ {\phi}^{-1}: \phi (U \cap U') \to \mathbb{R} = \phi^j \circ ({\phi'}^{-1} \circ \phi') \circ {\phi}^{-1} = (\phi^j \circ {\phi'}^{-1}) \circ (\phi' \circ {\phi}^{-1}): \phi (U \cap U') \to \phi' (U \cap U') \to \mathbb{R}\).

Applying the chain rule to it, \(\partial_l (\phi^j \circ {\phi}^{-1}) = \partial_l ((\phi^j \circ {\phi'}^{-1}) \circ (\phi' \circ {\phi}^{-1})) = \partial_m (\phi^j \circ {\phi'}^{-1}) \partial_l (\phi'^m \circ {\phi}^{-1}) = \partial / \partial x'^m (x^j) \partial / \partial x^l (x'^m) = \partial x^j / \partial x'^m \partial x'^m / \partial x^l\), by the definition of standard basis for tangent vectors space at point on \(C^\infty\) manifold with boundary with respect to chart.

So, \(\partial x^j / \partial x^l = \partial x^j / \partial x'^m \partial x'^m / \partial x^l\).


References


<The previous article in this series | The table of contents of this series | The next article in this series>