----- > [!proposition] Proposition. ([[derivative of Euclidean norm squared]]) > Let $x \in \rrn$. Then $\|x\|_{2}^{2}$ is [[derivative|differentiable]] and $D(\|x\|^{2}) = 2x ^{\top}$. > > [!proof]- Proof. ([[derivative of Euclidean norm squared]]) > We compute $\begin{align}D(\|x\|^{2}) = & \begin{bmatrix} \frac{ \partial \|x\|^{2} }{ \partial x_{1} } & \dots & \frac{ \partial \|x\|^{2} }{ \partial x_{n} } \\ \end{bmatrix} \\ = & \begin{bmatrix} \frac{ \partial (x_{1} ^{2} + \dots + x_{n}^{2} )}{ \partial x_{1} } & \dots & \frac{ \partial ( x_{1} ^{2} + \dots + x_{n}^{2} )}{ \partial x_{n} } \end{bmatrix} \\ = & \begin{bmatrix} 2x_{1} & \dots & 2x_{n} \\ \end{bmatrix}. \\ =& 2x^{\top}. \end{align}$ \ and doing so is justified because the third equality shows that all of $\|x\|^{2}s [[partial derivative]]s are [[continuous]] and hence $\|x\|^{2}$ is [[continuously differentiable]] (hence differentiable). An alternative approach: letting $f(x)=\|x\|^{2}=x \cdot x$, have $f(x+h)=x \cdot x + x \cdot h+ h \cdot h=f(x)+2x \cdot h+\text{h.o.}$ implying that, viewing as [[differential form|differential one-form]] $df:\mathbb{R}^{n} \to (\mathbb{R}^{n})^{*}$, have $df_{x}(h)=2x \cdot h$ for all $h \in \mathbb{R}^{n}$, that is, $df_{x}=x^{\flat}$ [[musical isomorphism induced by a nondegenerate bilinear form|with]] respect to the metric. The [[matrix]] of this map wrt the [[free module|standard basis]] of $\mathbb{R}^{n}$ is [[adjoint|indeed]] $2x^{\top}$. ----- #### ---- #### References > [!backlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM [[]] > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ``` > [!frontlink] > ```dataview > TABLE rows.file.link as "Further Reading" > FROM outgoing([[]]) > FLATTEN file.tags as Tag > WHERE Tag = "#definition" OR Tag = "#theorem" OR Tag = "#MOC" OR Tag = "#proposition" OR Tag = "#axiom" > GROUP BY Tag > ```