Öøø Blockinðð Ëùùññøøø Øó Âóùöòòð Óó Ëýññóðð Óñôùøøøøóò Ôôðð Blockin Blockinøøóò× Óó Ëëá¹¹¹××× Ò Ýòòññ Blockin×

The classical reduction techniques of bifurcation theory, Liapunov-Schmidt reduction and centre manifold reduction, are investigated where symmetry is present. The symmetry is given by the action of a finite or continuous group. The symmetry is exploited systematically by using the algebraic structure of the module of equivariant polynomial tuples. We generalize the concept of SAGBI-bases to module-SAGBI basis and explain how to use this concept within the two reduction techniques. Examples illustrate the theoretical results. In particular the reduction onto centre manifold is performed for the Taylor-Couette problem with SO (2) × O (2)-symmetry.

[1]  D. Kapur,et al.  A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra , 1989, Computers and Mathematics.

[2]  李幼升,et al.  Ph , 1989 .

[3]  Michael Stillman,et al.  Using SAGBI bases to compute invariants , 1999 .

[4]  Philippe Loustaunau,et al.  SAGBI and SAGBI-Gröbner Bases over Principal Ideal Domains , 1999, J. Symb. Comput..

[5]  Harm Derksen,et al.  Computational Invariant Theory , 2002 .

[6]  Gerard Anton Lunter,et al.  Bifurcations in Hamiltonian systems , 2003 .

[7]  Klaus Böhmer,et al.  On Hybrid Methods for Bifurcation and Center Manifolds for General Operators , 2001 .

[8]  Willy Govaerts,et al.  Numerical detection of symmetry breaking bifurcation points with nonlinear degeneracies , 1999, Math. Comput..

[9]  Bernold Fiedler,et al.  Ergodic theory, analysis, and efficient simulation of dynamical systems , 2001 .

[10]  Jan A. Sanders,et al.  A Survey of Invariant Theory Applied to Normal Forms of Vectorfields with Nilpotent Linear Part , 1990 .

[11]  Lyn J. Miller.  Analogs of Gröbner Bases in Polynomial Rings over a Ring , 1996, J. Symb. Comput..

[12]  Erich Kaltofen,et al.  Computers and Mathematics , 1989, Springer US.

[13]  Wolmer V. Vasconcelos,et al.  Computational methods in commutative algebra and algebraic geometry , 1997, Algorithms and computation in mathematics.

[14]  J. Lyn Miller.  Gröbner Bases and Applications: Effective Algorithms for Intrinsically Computing SAGBI-Gröbner Bases in a Polynomial Ring over a Field , 1998 .

[15]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[16]  P. Laure,et al.  Symbolic computation and equation on the center manifold: application to the Coutette-Taylor problem , 1988 .

[17]  André Vanderbauwhede,et al.  Centre Manifolds, Normal Forms and Elementary Bifurcations , 1989 .

[18]  P. Chossat,et al.  Methods in Equivariant Bifurcations and Dynamical Systems , 2000 .

[19]  Z. Mei.  Numerical Bifurcation Analysis for Reaction-Diffusion Equations , 2000 .

[20]  K. Gatermann.  Computer algebra methods for equivariant dynamical systems , 2000 .

[21]  P. Coullet,et al.  A simple global characterization for normal forms of singular vector fields , 1987 .

[22]  M. Golubitsky,et al.  Singularities and groups in bifurcation theory , 1985 .

[23]  Vladimír Janovský,et al.  Computer-aided analysis of imperfect bifurcation diagrams, I. simple bifurcation point and isola formation centre. , 1992 .

[24]  P. Ashwin,et al.  A numerical Liapunov-Schmidt method with applications to Hopf bifurcation on a square , 1995 .

[25]  Willy Govaerts,et al.  Numerical methods for bifurcations of dynamical equilibria , 1987 .

[26]  B. Sturmfels.  Gröbner bases and convex polytopes , 1995 .

[27]  A. Spence,et al.  On a reduction process for nonlinear equations , 1989 .

[28]  John Chadam.  Pattern Formation: Symmetry Methods and Applications , 1995 .

[29]  Daniel B. Henry.  Geometric Theory of Semilinear Parabolic Equations , 1989 .

[30]  Urs Kirchgraber,et al.  Dynamics reported : a series in dynamical systems and their applications , 1988 .

[31]  James Murdock,et al.  Normal Forms and Unfoldings for Local Dynamical Systems , 2002 .