SIMPLE NASH-MOSER IMPLICIT FUNCTION THEOREM

Similar documents
1. Positive and regular linear operators.

1. The Bergman, Kobayashi-Royden and Caratheodory metrics

SOME APPLICATIONS OF THE GAUSS-LUCAS THEOREM

4. Minkowski vertices and Chebyshev Systems

ON A CONSTRUCTION FOR THE REPRESENTATION OF A POSITIVE INTEGER AS THE SUM OF FOUR SQUARES

3. Rational curves on quartics in $P^3$

3. Clifford's Theorem The elementary proof

3. Applications of the integral representation theorems

On the electronic mean free path in aluminium

4. The Round-Robin Tournament Method

REPRESENTATION OF REAL NUMBERS BY MEANS OF FIBONACCI NUMBERS

7. SOME APPLICATIONS TO HYPERCOMPLEX FUNCTION THEORY

Does the Born-Oppenheimer approximation work?

7. Simultaneous Resource Bounds

Replaced fluorite crystals

REPRESENTATION OF COMPLETELY CONVEX FUNCTIONS BY THE EXTREME-POINT METHOD

LEVINE'S FORMULA IN KNOT THEORY AND QUADRATIC RECIPOCITY LAW

Determination of the collision cross-section of hydrogen, deuterium, carbon, and oxygen for fast neutrons

The maximal kinematical invariance groups of Schrödinger equations with arbitrary potentials

Molecular multipole moments derived from collisional quenching of H(2s)

More isoperimetric inequalities proved and conjectured.

On the origin of gneissic banding

4. Homogeneity and holonomy

Absolute Selection Rules for Meson Decay

Foundation failure of bridges in Orissa: two case studies

Compound nucleus and nuclear resonances

Structure and properties : Mooser-Pearson plots

A large crater field recognized in Central Europe

Comparison of numerical and physical models for bridge deck aeroelasticity

Cyclic difference sets with parameters (511, 255, 127) BACHER, Roland

The Utzenstorf stony meteorite

Diagnosis and strengthening of the Brunelleschi Dome

Inelastic scattering in a one-dimensional mesoscopic ring at finite temperature

REMARKS ON THE HAUSDORFF-YOUNG INEQUALITY

Spanning homogeneous vector bundles.

E. Mooser, on his sixtieth birthday, June 5, 1985

Analyse fonctionnelle et théorie des opérateurs

THE NORMALISER ACTION AND STRONGLY MODULAR LATTICES

2. Preliminaries. L'Enseignement Mathématique. Band (Jahr): 46 (2000) L'ENSEIGNEMENT MATHÉMATIQUE. PDF erstellt am:

Théorie des opérateurs

Nonmetricity driven inflation

The magnetic red shift in europium chalcogenides

Slave-boson approaches to strongly correlated systems.

Neutrino observations from supernova 1987A

Single-valued and multi-valued Schrödinger wave functions

Computerised resistivity meter for subsurface investigations

Application of non-linear programming to plane geometry

The foraminiferal genus Yaberinella Vaughan 1928, remarks on its species and on its systematic position

Process-enhancement of hydrogen-plasma treatment by argon?

A note on some K/Ar ages of biotites from the granites of Penang Island, West Malaysia

N-nutrition of tomato plants affects life-table parameters of the greenhouse whitefly

Nuclear magnetic resonance in Be22Re and Be22Tc

A note on the Hopf-Stiefel function. ELIAHOU, Shalom, KERVAIRE, Michel

Conclusions : the geological history of Soldado Rock

Block-diagram of the Variscan Cordillera in Central Europe

Theory of statically indeterminate pin-jointed framework the material of which does not follow Hooke's law

Einstein's relativistic time-dilation : a critical analysis and a suggested experiment

Scanning tunneling microscopy

Geotechnical design considerations for Storebælt East Bridge and Øresund Bridge

Description of Adris suthepensis n. sp., a suspected fruit-piercing moth (Lepidoptera : Noctuidae) from N. Thailand and contiguous mountain regions

EXCEPTIONAL POLYNOMIALS AND THE REDUCIBILITY OF SUBSTITUTION POLYNOMIALS

L'Enseignement Mathématique

Electronic properties of the III-VI layer compounds and of the transition metal chalcogeno-phosphates MPX

Magnetic susceptibility anisotropy as an indicator of sedimentary fabric in the Gurnigel Flysch

Ship collision studies for the Great Belt East bridge

Bloch electrons in rational and irrational magnetic fields

EUCLIDEAN ALGORITHMS AND MUSICAL THEORY

Non-linear finite element analysis of deep beams

Simple proof that the structure preserving maps between quantum mechanical propositional systems conserve the angles

Limit analysis of reinforced concrete shells of revolution

Positrons and solid state physics

Brannerite from Lengenbach, Binntal (Switzerland)

Stochastic quantum dynamics and relativity

Nuclear magnetic resonance studies in solid electrolytes

Framework Method and its technique for solving plane stress problems

Stochastic analysis of accidents and of safety problems

4. Deus ex machina: $l_2$-cohomology

Schweizerische mineralogische und petrographische Mitteilungen = Bulletin suisse de minéralogie et pétrographie

On some K-representations of the Poincaré and Einstein groups

Personal computer systems in nonlinear analysis of structures

A one-fermion-one-boson model for a magnetic elastic system

Broken symmetries and the generation of classical observables in large systems

Information theory and thermodynamics

Heisenberg's applications of quantum mechanics ( ) or the settling of the new land

Deformation capacity of steel plate elements

Archaean zircons retrograded, Caledonian eclogite of the Gotthard Massif (Central Alps, Switzerland)

On the area of a polygon inscribed in a circle

Strength, stiffness and nonlinear behaviour of simple tubular joints

A NASH-MOSER THEOREM WITH NEAR-MINIMAL HYPOTHESIS

Matrix-analysis of successive momentdistribution

Desiccation shrinkage and leaching vugs in the Clacari grigi Infraliassic Tidal Flat (S. Massenza and Loppio, Trento, Italy)

Virtually soluble groups of type FP

Out of plane bending of a uniform circular ring

Bituminous Posidonienschiefer (Lias epsilon) of Mont Terri, Jura Mountains

Unconventional hydrocarbons - from niche to mainstream : AAPG annual convention New Orleans, April 12-15, 2010

The helvetic nappe system and landscape evolution of the Kander valley

Membrane stresses in hyperbolic paraboloid shells circular in plan

Theories of superconductivity (a few remarks)

L'Enseignement Mathématique

A SIMPLE NASH-MOSER IMPLICIT FUNCTION THEOREM IN WEIGHTED BANACH SPACES. Sanghyun Cho

Transcription:

SMPLE NASHMOSER MPLCT FUNCTON THEOREM Autor(en): Objekttyp: Raymond, Xavier Saint Article Zeitschrift: L'Enseignement Mathématique Band (Jahr): 35 (1989) Heft 12: L'ENSEGNEMENT MATHÉMATQUE PDF erstellt am: 26.09.2018 Persistenter Link: http://doi.org/10.5169/seals57374 Nutzungsbedingungen Die ETHBibliothek ist Anbieterin der digitalisierten Zeitschriften. Sie besitzt keine Urheberrechte an den nhalten der Zeitschriften. Die Rechte liegen in der Regel bei den Herausgebern. Die auf der Plattform eperiodica veröffentlichten Dokumente stehen für nichtkommerzielle Zwecke in Lehre und Forschung sowie für die private Nutzung frei zur Verfügung. Einzelne Dateien oder Ausdrucke aus diesem Angebot können zusammen mit diesen Nutzungsbedingungen und den korrekten Herkunftsbezeichnungen weitergegeben werden. Das Veröffentlichen von Bildern in Print und OnlinePublikationen ist nur mit vorheriger Genehmigung der Rechteinhaber erlaubt. Die systematische Speicherung von Teilen des elektronischen Angebots auf anderen Servern bedarf ebenfalls des schriftlichen Einverständnisses der Rechteinhaber. Haftungsausschluss Alle Angaben erfolgen ohne Gewähr für Vollständigkeit oder Richtigkeit. Es wird keine Haftung übernommen für Schäden durch die Verwendung von nformationen aus diesem OnlineAngebot oder durch das Fehlen von nformationen. Dies gilt auch für nhalte Dritter, die über dieses Angebot zugänglich sind. Ein Dienst der ETHBibliothek ETH Zürich, Rämistrasse 101, 8092 Zürich, Schweiz, www.library.ethz.ch http://www.eperiodica.ch

L'Enseignement Mathématique, t 35 (1989), p 217 226 A SMPLE NASHMOSER MPLCT FUNCTON THEOREM by Xavier Saint Raymond This paper is devoted to the socalled "NashMoser implicit function theorem", a very powerful method which during the last decades helped to resolve several difficult problems of solvability for nonlinear partial differential equations (see eg Nash [7], Sergeraert [10], Zehnder [11], Hormander [2] and others'), unfortunately, the proofs that are commonly available (Moser [6], Schwartz [8], Sergeraert [10], Zehnder [11], Hormander [2, 3, 4], Hamilton [1]) are very long and technical, and rather frightening for the uninitiated reader To correct this impediment, we present here a simple statement and a simple proof of this type of result, but it should be considered merely as an introduction to the subject ndeed, the result is neither new nor optimal, and the interested reader would benefit by studying more elaborate versions such as that of Hormander [2, 3, 4] However, owing to this simple goal, we have been able to write a proof which avoids the use of too many parameters (usually found m such a proof) and shows more clearly the key ideas Let us first informally present the problem One wants to solve an equation F(u) f where F involves the variables x, the unknown function u(x) and its derivatives up to the order m f one can construct a solution u0 of the problem can be rewritten as an F(uo) fo f r an /o dose to implicit function problem by considering \>(u, which vanishes F(u) at (u0, f0) t is then sufficient to prove that the equation (v, g) 0 defines ü as a function of gr m a neighborhood of (u0, f0) large enough /, f f) / to contain To prove implicit function theorems in infinite dimensional spaces (as spaces of functions usually are), one commonly uses iterative schemes The simplest one is known as Picard's iterative scheme \/ being a right inverse of (d /du) (u0, f0), one sets Vk \/>(Mk, /) Uk+1 Uk + Vk

218 X SANT RAYMOND To prove the convergence of such a scheme, one needs estimates for the sequence vk, but if one can estimate s derivatives of vk (symbolically denoted by tffc L), one gets estimates for only s m derivatives of \>(uk + 1,f) since (f> involves the derivatives of uk+1 up to the order m, thus the convergence will hold by induction only if the right inverse satisfies an estimate l#p)l Cq>Lm which is true only for a very special type of equations, namely the elliptic equations However, it is known that other types of equations are also solvable (for example hyperbolic equations), and for these, the previous scheme would give a recurrence estimate of the form K+l s ^ 2 \Vk\s + d with a positive shift d in the number of derivatives that are controlled, so that this scheme is not convergent To overcome this difficulty, Nash [7] proposed another scheme involving smoothing operators so that vk\s could be estimated inductively for a fixed s, since this improvement came at the cost of introducing large constants, it was also required to find a scheme with much faster convergence We won't describe here Nash's scheme nor its improvements by Hormander [2, 3, 4], but only notice that such complicated schemes are needed if one is interested in optimal results with respect to the on the right regularity of the solution without their help, the function side must be very smooth in order to obtain some smoothness of the solution u \ / n the theorem stated below, we will establish a C00 existence theorem so that the number of derivatives that are used (provided that it is finite) does not matter For this reason, we are going to use the much simpler scheme proposed by Moser [5] which consists alternately in using Newton's scheme and Nash's smoothing operators \/(u) being a right inverse of f) and Sk being a sequence of smoothing operators closer and (dfy/du) (u, closer to the identity, one sets vk y\f(uk)\)(uk,f), uk+1 uk + Skvk The key to get the estimates for vk is to have at one's disposal estimates of linear growth type (see estimate (3) below), which are called "tame estimates" in Hamilton [1], such estimates are now classical for \> itself or for its

219 AN MPLCT FUNCTON THEOREM derivatives, but the main problem in the applications of this NashMoser method is to prove them also for the right inverse \/; here, we will assume that these estimates hold (cf. (1) and (3)). n the proof we will also use the simple interpolation formula of Sergeraert [9] who introduced it to prove that Moser's scheme could lead to C00 results as well. After the proof of the theorem, we propose a short description of the classical application of this type of result to the problem of isometric embedding of Riemannian manifolds, but this is given merely as an illustration of the method, and we refer to Hormander [3], Sections 2 and 5, for the details. To complete this lengthy introduction, we confess that the result stated here is probably the worst that can be found in the literature on the subject with respect to the number of derivatives that are used. One reason is that we have taken all the shifts in the number of derivatives equal to the maximum, d, to avoid the multiplicity of parameters. n specific applications however, it is obvious that this can be much improved. Throughout the paper, we consider the expression \>(u, f) for various u, but always the same e C00 so that it can be written $(u) as well; finally, we recall that the function u defined in the open subset Q of R" belongs to the Sobolev space HS(Q) if all its derivatives up to order s are square integrable over Q (see also the definition with the Fourier transform in the appendix when Q Rn). We can now state the result. / Theorem. Let \> : R"; Hco(Rn) * # (Q) where is an open subset 1 of the norm in Hs(Rn) and by s the norm \s one denotes by in HS(Q). One assumes that there exist u0 e Hco(Rn), an integer d > 0, a real number ô and constants C1,C2 and (Cs)s^d such that for \ any u,v,we (1) Hco(Rn), u Vs^d, u0 3, ô => J [ >(m)s Cs(l + \u\s + d) ty(u)v >"(u) (V, W) 2d C1 2d v 3d C2 V 3d W 3d (when one deals with (nonlinear) partial differential equations of order these estimates classically hold for jor d > m n + ). Moreover, m, one assumes that every u e fl»(r") such that u u0 3J S, there exists an operator tyu) Hm(Q) > Hœ(R") satisfying for any cp e Hm(Q), \ : (2) (p'(w)\k")p (f> in Q,, and

220 X. SANT RAYMOND (3) > d, VS XKW)P s Cs((pL + d+k + d(pll2d) is sufficiently small $>(u0) (the socalled "tame estimate"). Then, if 2d (with respect to some upper bound of /O, w0d and (CS)S^D where D 16d2 + 43d + 24 sic!), there exists a function ueh (Rh) such that \\ (j)(w) 0 \\ in Q. This theorem is stated with the Sobolev spaces Hco(Q) f]s^0hs(q) and Hœ(Rn) to be used in local solvability problems for nonlinear partial differential equations, but one can replace these spaces by gradations of Banach spaces Bs and Bs respectively with norms \s and there exist some smoothing operators (SQ)Q>1:B00» B^ satisfying s if for every ue500,g> 1 and s and t ^ 0 Remark. ^Cs/>t if s>t; \\vsev\s^ cme>l if s^t fl SBv\a (4) (the construction of such smoothing operators in the case of Sobolev spaces is given in the appendix); we will also assume that \v\s ^ \v\t whenever s ^ t. Actually, we will only use the operators SQk where the sequence of real numbers 9fc is defined in the following way: 60 ^ 2 to be chosen, 0 k /4 ; here are the properties of this sequence that we will use then dk + 1 0f+1, and J0fc5 rsv ^ 9(05/4)J^ 9à+0'/4), then j>0 9/3 + (j/4) implies 6,90~3/4 when 90 ^ 2. eo3(leo3/4)_1 Oo1 since 90~2 1 The solution u of the theorem will be obtained as the limit of the sequence uk that is constructed in the following lemma. indeed, (5/4)j Lemma 1. 1 With the same assumptions smoothing operators SQk vk (n)k (iii)k uk in the theorem and with the of the remark, the sequences y\f(uk)\)(uk), uk+1 are well defined for sufficiently large precisely, there exist constants (Ut)t^d that for k ^ 0, (i)k as u0 3d ô 90 if V and and + uk \\ l%l3d+3 vek3; Vt^d, (l + K+iL+2d) SQkvk cj>(w0) 2d ^ Qq4; (independent of k) \>(uk) \\ 2d 9fc4 ; W(l + KL+2d) more such

AN MPLCT FUNCTON THEOREM 221 Proof Since the property (i) implies that the sequences uk and vk are well defined (the operator i/(w) exists by assumption if u u0 \ 3d 8), it is sufficient to prove (i), (ii) and (iii), and this is going to be done by induction. The property (i)0 is true by assumption. Proof of (ii). The tame estimate (3) gives for every t ^ d (6) l^tct(()(mk)t + d+mkuj()(mk)2d). For t d and using (i)k one gets (7) vk \d Cd(l + \uku0\2d + \u0\2d) \>(uk) 2i V O^k 4 where V0 Cd(l + b + \u0\2d). The estimate (ii) will be obtained by inter polation between (7) and an estimate (8) \vk\t^ V^ for a large T. To prove (8), we can use the first assumption (1) to estimate (uk) in (6); this gives /9) \vk\t ct{ct+d(l + \uk\t + 2d) + \uk\t+dc2d(l + \uku0\3d + \u0\3d)) ^ Ct{Ct+d + C2d(l + h + \u0\3d))(l + \uk\t + 2d). We now fix the values N 4(2d+l) and T 3d + 3 + (2d + 3) (N + 3). The estimate (10) (i + WT+2d)(i + l«olr+2d)ejr obviously holds for j 0; moreover, if it holds for some j k, we get from (iii),. and (5) (l + K+ilr + 2d) UTQid{l + \u0\t + 2d)Q?2* +» (UTd^)(l + \u0\t + 2d)d^t+1) so that (10) holds by induction for j k if one takes 90 ^ UT. Thus one gets (8) by replacing \uk\t+2d in (9) by the estimate (10) for j k; note that V1 depends only on u0 \ T + 2d and the constants C. With Qk 9k1/(2d + 3), the interpolation formula can now be written as K3d + 3 \S~Qkvk\3d + 3 + \vk SQkvk\3d + 3 Csä+sJ?+3 vk \d + C3d + 3fTdl^T \Vk\T ^ ^3d + 3,d^oö/T + C3d+3TV1dk3 because of (7), (8) and our choice of T, and this is (ii)fc.

222 X. SANT RAYMOND Proof of (Hi). t follows essentially from the estimate (9) above, if one observes that uk + 1 \t + 2d can be estimated in terms of vk \t because of the relations (4) : indeed, since uk + 1 uk + SBk vk, \Uk+l\t + 2d ^ Uk t + 2d + ^ek Vk t + 2d ^ Uk \t + 2d + ^t + 2d,fik Vk t whence (iii) with constants Ut depending only on by using (9). u0 \ 3d and the constants C Proof of (i). Since uk u0 k ^Qj vj> (n)j f rj ^ & allows us to write W G [0, 1], Uk + tsqk Vk U0 3d ^ X SQj VJ 3d ^ C?>d, 3d X \Vj\ 3d j^k j^k j^k By (5), TV 9r3 9n 1 so that we have for 90 ^ C3d 3dV/b (H) W e [0, 1], nk + tsqkvku0\3d 8; for t 1, this gives uk + 1 u0 \ 3d ô (first part of (i)k + i). To get an estimate for \>(uk + 1), we write the following Taylor formula \)(uk + 1) \)(uk) + \)'(uk)sqkvk + /*i (ltw(uk + tsqk vk) (SQk vk, 0 SQk vk)dt ; since vk ^(uk)$(uk), (2) gives (\)(uk) '(uk) vk) in Q, whence ()(Mk + 1) cpi + 92 with Pi \uk)(s%kvkvk) and p2 1 (1 tw(uk + tsqk vk) (SQk vk, SQk vk)dt. Thanks to (11), we can use (1) to estimate (px and (p2: with (4) and (ii)k one gets Pl 2d ^ ^1 SQkVk Vk\3d ^ C1C3d53d + 39k"3 %3d + 3 ^ ^l^3d, 3d + 3^9 6 q>2 za C2 Sek p», C2CL.3«, % h C2Ci,, 3(lK28t6 whence H(^+i)ll2d^c09k6 (CoOi^e^ (cf. (5)) where C0 depends only on F and the constants C; for 90 ^ C0, we thus get (i)k + 1. The proof of the lemma is complete.

AN MPLCT FUNCTON THEOREM 223 The estimates (i) and (ii) in lemma 1 give the existence of a solution u e H3d + 3(R") of the equation (u) 0. But actually, the proof of property (ii) can be modified to prove an estimate for \vk\s for every s ^ d. Lemma 2. There exist constants (Vs)s>d such that the sequence vk of lemma 1 satisfies for every k ^ 0 and s ^ d \Vk\s^ Vßk3. Proof. Keeping the value N 4(2d+l), we get from (iii) and (5) that (l + k+ilt+2d)ek/i Ufi2kd(l + \uk\t+2d)dk+\ (L/f9k1)(l + Kf + 2d)9k^; for any fixed t, 9k ^ Ut for sufficiently large k since 9k tends to infinity, so that the sequence (1 + \uk\t + 2d)dk N is bounded; substituting this into (9), we get an estimate (12) vk\t wm where N 4(2d+l) does not depend on t. Now, for any s ^ d we can rewrite our interpolation formula with t 5 + (s d)(n + 3) and 9, _ Ql/(sd) *>fc s ^ where we have used (7) and (12). SQk Vk s + Vk Sek vk i ^cs,ßskd\vk\d + c^erm^lt Cs,dV0dk3 + Cs,tWfik3 Proof of the theorem. Let uk and vk be as above. From lemma 2 we have \SQjVj\s^ CatS\vj\8^ Cs,sVßf3 for any j ^ 0 and s ^ d, so that the sequence uk u0 + 5e ü,. isi convergent in every #S(R") Glj?09;~3 co by (5)). Moreover/The'limit u e Hco(Rn) of the sequence uk satisfies K") 2d Kttk) WMk) 2d + C, "i 2d + V(uk + t(uuk)) (UUk)dt 2d J o U Uk 3, for any /c, so that >(u) 0 by taking the limit for k co.

224 x saint raymond Application to the local isometric embedding of a rlemannian manifold (following Hormander [3], Section 2). Let M be a compact C00 manifold of dimension n and g a smooth Riemannian metric on M. n local coordinates, we are thus given a positive definite quadratic form YdjkdXjdxj,. Q J,k The celebrated theorem of Nash [7], which is at the origin of the method, states that for some (large) integer N, there is an isometric embedding u: M > R^, that is an inj ecu ve map satisfying the system of equations (13) (dju, dku) stands for d/dxj and gjk 1 ^ j, k ^ n for the Euclidean scalar product in RN ; thus, any compact Riemannian manifold can be thought as a submanifold of a Euclidean space. n the proof of this Nash theorem, one first establishes that the set of metrics g such that the problem can be solved is a dense convex cone in the set of all C metrics on M, and this leads to the following reduced problem (see Hormander [3] Section 2): show that the equation (13) can be solved for every metric in some neighborhood of a fixed metric g. To illustrate the method described above, let us show how one can use our theorem to prove this last property locally (and this will give a local isometric embedding u: M > RN). Let Q {x er";\ x\ 1} and choose, near some point x0 e M, local coordinates such that Q describes a neighborhood of x0; we take a C u0: Rn > R"(" + 3)/2 equal to where d3 \(xj)l^j*zn> > (Xj/2)l^j^, (XjXk)l^jk^n) in a neighborhood of Q; this u0 is an isometric embedding for the corres 2 1 + and gjk x ponding metric g in Q, namely the metric g J3 x}xk k. Finally, for a metric g close to g, we consider the restriction if \)(u) to Q of the function \ \ j/ «dp, (14) djtuygjj^j^n which is a function in Hœ(Q) valued in R"(" + 1)/2 for any u e H (Rn) valued in R"(" + 3)/2. Classically, estimates such as (1) hold for s > (n + 2)/2. The derivative of 4> with respect to u is defined by (15) ty(u)v ((dju, dkv} + (dku, ^»i^^«.

AN MPLCT FUNCTON THEOREM ^J f ^e^p is valued in R"(" + 1)/25 let us consider it as a function valued in R"(" + 3)/2 by adding n components (pj 0 for 1 ^ j ^ n, and define \/(w)(p as a continuous extension to R" of the function (16) v ^A(u)^ where A(u) is the n(n + 3)/2 square matrix the rows of which are du for 1 ^ j ^ n and djdku for 1 ^ j ^ k ^ n; thanks to our choice of u0, the matrix A(u0) is invertible on Q, and so is A(u) for any u close enough to u0. Since Afa)'1 is an algebraic function of derivatives of u up to order 2, estimates such as (3) are again classical. Finally, we have to prove that this operator \/ inverts (j)' (formula (2)). Applying A(u) to the function v in (16), one gets (dju, v} q>j 0 1 j ^ n (djdku, v} q>jk 1 ^ ; ^ k ^ n The xk derivative of the first equation gives (djdku,v} + (dju, dkv} 0, and one gets also (djdku, v) + (dku, djv) 0 so that the second equation and (15) give \)'(u)v cp in Q. Thus all the assumptions of the theorem are fulfilled, and it follows that we can get a solution if (u0) is sufficiently small in some HS(Q) norm; but according to (14), fy(u0) g g, and the result is that (13) can be solved for any metric g close enough to g, as required. Appendix : Construction of the Smoothing Operators in Sobolev Spaces Let us recall that v e Hs(Rn) means v e ^'(Rn) and v\2s (2k)" (l + l^lwfë)2^ oo. Let %: Rn > [0, 1] be a C function taking the value 1 of 0 and vanishing for ^ in a neighborhood ^3. For v e Hœ(R") and 9 > 1 one sets Then, if s ^ t, d+ms &12 e2s>(i + i;/ei2r i xfé/e) 12(i +1^2)' i v& ^(2Q)2^Xl + \tfy\v(q\2 l2

226 X SANT RAYMOND and xl^l estimate with since Ç/8 Similarly, for s ^ this gives the first (Ç/0) e supp %, 2s ~f Cst (4) ^/3 for t, 0 xfê/e) + a Taylor formula gives xfé/9) ^/9 \k with k e N since for and for (i + g\2y v 12 5 1 Ck cj2)s 2(1 + k (1 + W2)* v& 0(9 2 C?_s Ç/9 2(~s)(l Ck j> 0 %0)(0) 1 %(0) any 11 + cj2)s v 2, sosup that x(/c) 0, v(q /fc' for 2 c?_se2^>(i + i^i2yi%)i2 whence the second estimate (4) with Cs t Cf_s sup %(t~s) \/(t s)] REFERENCES [1] Hamilton, R The inverse function theorem of NashMoser Bulletin of AM S 7 the (1982), 65222 [2] Hormander, L The boundary problems of physical geodesy Arch Rat Mech [3] [4] [5] [6] Anal 62 (1976), 152 mplicit function theorems Lectures at Stanford University, Summer Quarter 1977 On the NashMoser implicit function theorem Annales Acad Sci Fenniae, Series A Math 10 (1985), 255259 Moser, J A new technique for the construction of solutions of nonlinear differential equations Proc Nat Acad Sci 47 (1961), 18241831 A rapidly convergent iteration method and nonlinear partial differential equations and Ann Scuola Norm Sup di Pisa 20 (1966), 265315 and 499533 [7] Nash, J The imbedding problem for Riemannian manifolds Ann of Math 63 (1956), 2063 [8] Schwartz, J T Nonlinear functional analysis, Chap A Gordon & Breach, New York 1969 [9] Sergeraert, F Une generalisation du théorème des fonctions implicites de Nash C R Acad Sa Pans, 270A (1970), 861863 Un théorème des fonctions implicites sur certains espaces de Frechet et [10] quelques applications Ann Sci Ec Norm Sup Paris 4e serie, 5 (1972), 599660 [11] Zehnder, E Generalized implicit function theorems with applications to some small divisor problems and Comm in Pure and Appi Math 28 (1975), 91140, 29 (1976), 49111 (Reçu le 14 juin 1989) Xavier Samt Raymond Purdue University and CNRS