We derive algorithms to solve a technical problem in elementary catastrophe theory: how to reduce an unfolding of a singularity in a univariate function to normal form up to any given degree in the unfolding parameters. Two algorithms that iterate a simple explicit transformation are proposed, which should be suitable for easy implementation using a computer algebra system. They are proved by deriving sufficient vonditions for a class of such algorithms. The complexity and generalization of the algorithms is discussed briefly.ZusammenfassungEs werden Algorithmen zur Lösung eines praktischen Problems der elementaren Katastrophentheorie hergeleitet: die Transformation der Entfaltung einer Singularität, die von einer Zustandsvariablen abhängt, auf Normalform bis zu beliebig vorgegebener Ordnung in den Entfaltungs-parametern. Das Problem wird durch zwei Algorithmen gelöst, die eine einfache explizite Transformation iterieren und daher zur Implementierung mit Hilfe eines Systems der Computer-Algebra geeignet sind. Der Beweis erfolgt durch Ableitung von hinreichenden, Bedingungen für eine Klasse solcher Algorithmen. Komplexität und potentielle Verallgemeinerungen der Algorithmen werden kurz diskutiert.
[1]
G. Dangelmayr,et al.
On the exact reduction of a univariate catastrophe to normal form
,
1985
.
[2]
Alfred V. Aho,et al.
The Design and Analysis of Computer Algorithms
,
1974
.
[3]
J. Mather,et al.
Stability of C{su∞} mappings, III: Finitely determined map-germsmappings, III: Finitely determined map-germs
,
1968
.
[4]
V. I. Arnolʹd.
Singularity theory : selected papers
,
1981
.
[5]
J. Mather,et al.
Stability of $C^\infty $ mappings, III. Finitely determined map-germs
,
1968
.
[6]
Vladimir I. Arnold,et al.
CRITICAL POINTS OF SMOOTH FUNCTIONS AND THEIR NORMAL FORMS
,
1975
.