Let the dual numbers be $\mathbb R[\varepsilon]/(\varepsilon^2)$. Write a general dual number as $a + b \varepsilon$ (where $\varepsilon^2 = 0$). Given a symmetric matrix $M$ over the dual numbers (i.e. where $M = M^T$), it is known that $M$ can be written as $M = USU^T$ where $U^T = U^{-1}$ and $S$ is a *unique* diagonal dual-number matrix. [1]

It is known that the dual numbers have a relationship to analysis (especially differentiation). This is especially clear if you use big-oh notation. You then have that $(a + b \varepsilon)(c + d\varepsilon) = ac + \varepsilon (ad + bc) + O(\varepsilon^2)$, which is essentially dual number multiplication. Therefore there is an analysis version of the above theorem that can be expressed using O notation.

Is there an analysis-type proof of the above spectral theorem? I imagine that the $\varepsilon$ component of $S$ is a Gateaux differential.

[1] - [Generalisations of Singular Value Decomposition
to dual-numbered matrices](https://arxiv.org/pdf/2007.09693.pdf#:~:text=Both%20types%20of%20SVD%20are,%C3%97%20n%20dual%2Dnumbered%20matrices). This is published in a journal, but the Arxiv version is better.

[edit] The non-negative assumption I had earlier was unnecessary. Forget.