Автор работ [5 -10] предложил также алгоритм определения универсальной деформации функции. Правила для вычисления деформации являются в буквальном смысле дополнением правил нахо’ждения определенности.

Алгоритм требует найти число $p$ — пределенность функции $f(x)$ (т. е. скорее можно работать лишь с полиномом $\overline{f}(x)=$ $=j^{p}f(x))$. При этом предполагается, что (1) $n_j(x)$ — последовательность одночленов от переменных $x_1,x_2,\dots ,x_i$ степеней $0,1,2,\dots$ :
$$n_j(x):1;x_1,x_2,\dots ,x_l;x_1^2,x_1{x}_2,\dots$$

и (2) $F(x;a)$ является $r$-мерной деформацией полинома $\tilde{f}(x)$. Определим многочлены
$$T_j(x)={\frac{\partial }{\partial a_j}{j}^{p+1}F(x;a)|}_{a=0}.$$

Кроме того, должны быть перечислены все многочлены вида
$$S_{ij}(x)=j^p\{\frac{\partial \overline{f}}{\partial x_i}{n}_j(x)\}.$$

Тогда, если все одночлены степени не больше $p$ могут быть выражены в виде
Любые одночлены степени $⩽p=\sum s_{ij}{S}_{ij}(x)+\sum t_j{T}_j(x)$
(где $s_{ij},t_j$ — вещественные числа), то это означает, что $F(x;a)$. является версальной деформацией $f(x)$; если $T_j(x)$ минимально, то $F(x;a)$ — универсальная деформация полинома $\overline{f}(x)$.
$\diamond \diamond \diamond$ Полиномы $T_j(x)$ образуют минимальное множество только тогда, когда они линейно независимы.

$\diamond \diamond \diamond$ При нахождении канонической линейной (по $T_j(x)$ ) формы универсальной деформации полинома $\overrightarrow{p}(x)$ !
$$F(x;a)=\overline{f}(x)+\sum _{j=1}^r{a}_j{T}_j(x)$$

для определения параметров деформации $a_j$ может быть применена теорема о неявной функции.
$\diamond \diamond \diamond$ Универсальная деформация функции $\tilde{f}(x)$ не обязательно единственная (см. примеры 2 и 3 ниже), хотя она и однозначна с точностью до гладкой замены переменных. Списки элементарных катастроф, приводимых различными авторами, могут казаться на первый взгляд совершенно рязличными, однако все они эквивалентны относительно гладкой замены переменных.

Пример 1. Вычислить универсальную деформацию функции $f(x)=x^p\cos x$ в окрестности точки $x=0$.

Решение. Функция $x^p(1-x^2/2!+\dots )$ является $p$-определенной, так что достаточно исследовать $\tilde{f}(x)=x^p$. Одночлены $n_j(x)$ будут следующие:
$$n_0,n_1,n_2,\dots =1,x,x^2,\dots$$

Тогда
$$i^p\left\{\frac{\partial \tilde{f}}{\partial \ddot{x}}{n}_j\right\}=j^p\left\{x^{p-1}{n}_j\right\}=x^{p-1},x^p,0,\dots .$$

Қаждый одночлен степени не больше $p$ может быть выражен в форме (23.38) при условии, что мы выбрали
$$T_0,T_1,\dots ,T_{p-2}=x^0,x^1,\dots ,x^{p-2}.$$

Так как постоянный член несуществен, то универсальная деформация $f(x)=$ $=x^p$ равна
$$F(x;a_1,a_2,\dots ,a_{p-2})=x^p+\sum _{j=1}^{p-2}{a}_i{x}^j.$$

Пример 2. Вычислить универсальную деформацию функции $f(x,y)=$ $=x^{2}y\pm y^3/3$.

Pешение. Эта функция является 3-определенной. Частные производные af $/\partial x=2xy$ и $\partial f/\partial y=x^2\pm y^2$, а также одночлены $n_j(x)$ и 3 -струи их произведений $S_{ij}$ перечислены ниже:
$$\begin{array}{ccc}{n}_j(x,y)& S_{1j}=j^3\left(\frac{\partial f}{\partial x}{n}_j\right)& S_{2j}=j^3\left(\frac{\partial f}{\partial y}{n}_j\right)\\ n_0=1& xy& x^2\pm y^2\\ n_1=x& x^{2}y& x(x^2\pm y^2)\\ n_2=y& x{y}^2& y(x^2\pm y^2)\\ n_3=x^2& 0& 0\\ :& ⋮& ⋮\end{array}$$
Ни один нз одночленов $x,y$ первой степени не может быть выражен в виде линейной комбинации $S_{ij}$, поэтому полагаем, что $T_1(x,y)=x$ и $T_2(x,y)=y$. Множество полиномов второй степени является линейным векторным пространством размерности 3. Функции $S_{11}=xy$ и $S_{21}=x^2\pm y^2$ могут быть взяты как два базисных вектора в этом пространстве. В качестве $T_3(x,y)$ можно взять любой вектор этого пространства, линейно независимый с $S_{11}$ и $S_{21}$. Например, можно взять $x^2,y^2$ или $x^2\mp y^2$. При построенни табл. 2.2 мы выбрали $T=y^2$, однако для вычислительных целей (гл. 5) более удобно выбрать $T_3(x,y)=x^2\mp y^2$. Все одночлены $x^3,x^{2}y,x{y}^2,y^3$ третьей степени могут быть выражены с помощью многочленов $S_{ij}$, так что универсальной деформацией $f(x,y)$ является
$$F(x,y:a_1,a_2,a_3)=x^{2}y\pm \frac{1}{3}{y}^3+a_{1}x+a_{2}y+a_3(x^2\mp y^2).$$

Пример 3. Вычислить деформацию $f(x,y)=x^{2}y+y^{\rho }/p$.
$\mathrm{P}$ ешение. Эта функцй является $p$-определенной, у которой $\partial f/\partial x=$ $=2xy$, а $\partial f/\partial y=x^2+y^{p-1}$. Одночлены $n_l(x,y)$ и $p$-струи ${\mathcal{S}}_{ij}(x,y)$ перечислены ниже:
$$\begin{array}{ccc}{n}_j(x,y)& S_{1j}=j^p\left(\frac{\partial f}{\partial x}{n}_j\right)& S_{2j}=j^p\left(\frac{\partial f}{\partial y}{n}_j\right)\\ n_0=1& xy& x^2+y^{p-1}\\ n_2=x& x^{2}y& x^3+x{y}^{p-1}\\ n_2=y& x{y}^2& x^{2}y+y^p\\ n_3=x^2& x^{3}y& x^4\\ n_4=xy& x^2{y}^2& x^{3}y\\ .& \cdot & :\end{array}$$
. $$.
Все одночлены $x^r{y}^s,r⩾1,s⩾1,r+s⩽p$, встречаются в списке многочленов $S_1$, а одночлены $x^r,4⩽r⩽p$, и $y^p$ встречаются в списке многочленов $S_{2j}$. Одночлен $x^3$ может быть выражен в виде $x^3=(x^3+x{y}^{p-1})-x{y}^{p-1}$, так что минимальное множество $T_j(x,y)$ должно включать $x,y,y^s,1<s<p-1$, и либо $x^2$, либо $y^{p-1}$. Одной из универсальных деформацнй функции $x^{2}y+y^{p/p}$ является
$$F(x,y;a_1,\dots ,a_p)=x^{2}y+\frac{y^p}{p}+\sum _{j=1}^{p-2}{a}_j{y}^j+\sum _{j=p-1}^p{a}_j{x}^{j-(p-2)}.$$

Вычисление универсальной деформации функции двух переменных может быть значительно упрощено применением диаграммного метода в случае, когда $\partial f/\partial x$ и $\partial f/\partial y$ являются одночленами $[2,11]$. Фактически диаграммный метод уже неявно был использован в (23.24) при пояснении алгоритма Мезера для вычисления определенности.
Пример 4. Вычислить деформацию $E_6:x^3+y^4$.
Решен и е. Это как раз тот случай, когда диаграммный метод позволяет значительно упростить проводимые вычисления. Одночлены $x^p{y}^q$ упорядочим в треугольник Паскаля. Тогда ктени», отбрасываемые $\partial f/\partial x=x^2$ и $\partial f/\partial y=y^3$, умноженными на одночлены $n_j:1;x,y,x^2,\dots$, могут быть представлены в виде диаграммы

Остающиеся члены дают универсальную деформацию $E_6=x^3+y^4$. Без учета постоянного члена эта универсальная деформация является функцией размерности 5 :
$$p(x,y)=a_{1}x+a_{2}y+a_{3}xy+a_4{y}^2+a_{5}x{y}^2.$$