Malgrange preparation theorem

Malgrange preparation theorem

In mathematics, the Malgrange preparation theorem is an analogue of the Weierstrass preparation theorem for smooth functions. It was conjectured by René Thom and proved by B. Malgrange (1962–1963, 1964, 1967).

Contents

Statement of Malgrange preparation theorem

Suppose that f(t,x) is a smooth complex function of tR and xRn near the origin, and let k be the smallest integer such that

f(0,0)=0, {\partial f\over \partial t}(0,0)=0, \dots, {\partial^{k-1} f\over \partial t^{k-1}}(0,0)=0, {\partial^{k} f\over \partial t^{k}}(0,0)\ne0.

Then one form of the preparation theorem states that near the origin f can be written as the product of a smooth function c that is nonzero at the origin and a smooth function that as a function of t is a polynomial of degree k. In other words,

f(t,x) = c(t,x)\left(t^k+a_{k-1}(x)t^{k-1}+\cdots+a_0(x) \right)

where the functions c and a are smooth and c is nonzero at the origin.

A second form of the theorem, occasionally called the Mather division theorem, is a sort of "division with remainder" theorem: it says that if f and k satisfy the conditions above and g is a smooth function near the origin, then we can write

g=qf+r\

where q and r are smooth, and as a function of t, r is a polynomial of degree less than k. This means that

r(x)=\sum_{0\le j<k}t^jr_j(x)

for some smooth functions rj(x).

The two forms of the theorem easily imply each other: the first form is the special case of the "division with remainder" form where g is tk, and the division with remainder form follows from the first form of the theorem as we may assume that f as a function of t is a polynomial of degree k.

If the functions f and g are real, then the functions c, a, q, and r can also be taken to be real. In the case of the Weierstrass preparation theorem these functions are uniquely determined by f and g, but uniqueness no longer holds for the Malgrange preparation theorem.

Proof of Malgrange preparation theorem

The Malgrange preparation theorem can be deduced from the Weierstrass preparation theorem. The obvious way of doing this does not work: although smooth functions have a formal power series expansion at the origin, and the Weierstrass preparation theorem applies to formal power series, the formal power series will not usually converge to smooth functions near the origin. Instead one can use the idea of decomposing a smooth function as a sum of analytic functions by applying a partition of unity to its Fourier transform. For a proof along these lines see (Mather 1968) or (Hörmander 1983a, section 7.5)

Algebraic version of the Malgrange preparation theorem

The Malgrange preparation theorem can be restated as a theorem about modules over rings of smooth, real-valued germs. If X is a manifold, with pX, let Cp(X) denote the ring of real-valued germs of smooth functions at p on X. Let Mp(X) denote the unique maximal ideal of Cp(X), consisting of germs which vanish at p. Let A be a Cp(X)-module, and let f:X → Y be a smooth function between manifolds. Let q = f(p). f induces a ring homomorphism f*:Cq(Y) → Cp(X) by composition on the right with f. Thus we can view A as a Cq(Y)-module. Then the Malgrange preparation theorem says that if A is a finitely-generated Cp(X)-module, then A is a finitely-generated Cq(Y)-module if and only if A/Mq(Y)A is a finite-dimensional real vector space.

References

  • Golubitsky, Martin; Victor Guillemin (1973), Stable Mappings and Their Singularities, Graduate Texts in mathematics 14, Springer-Verlag, ISBN 038790073x 
  • Hörmander, L. (1983a), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., 256, Springer, ISBN 978-3540006626 
  • Malgrange, Bernard (1962–1963), Le théorème de préparation en géométrie différentiable I–IV, Séminaire Henri Cartan, 1962/63, 11–14, Secrétariat mathématique, Paris, MR0160234 
  • Malgrange, Bernard (1964), The preparation theorem for differentiable functions. 1964 Differential Analysis, Bombay Colloq., London: Oxford Univ. Press, pp. 203–208, MR0182695 
  • Malgrange, B. (1967), Ideals of differentiable functions, Tata Institute of Fundamental Research Studies in Mathematics, 3, London: Oxford University Press, pp. vii+106, MR0212575 
  • Mather, John N. (1968), "Stability of C mappings. I. The division theorem.", Ann. Of Math. (2) (The Annals of Mathematics, Vol. 87, No. 1) 87 (1): 89–104, doi:10.2307/1970595, JSTOR 1970595, MR0232401 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Preparation theorem — may refer to:* Malgrange preparation theorem * Weierstrass preparation theorem …   Wikipedia

  • Weierstrass preparation theorem — In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point P. It states that such a function is, up to multiplication by a function not zero at P, a polynomial… …   Wikipedia

  • Bernard Malgrange — Born 6 July 1928 (1928 07 06) (age 83) Pa …   Wikipedia

  • Théorème de préparation de Weierstrass — Pour les articles homonymes, voir Théorème de Weierstrass. En mathématiques, le théorème de préparation de Weierstrass désignait dans un premier temps un outil utilisé dans la théorie des fonctions analytiques de plusieurs variables complexes. L… …   Wikipédia en Français

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”