11.07.2015 Views

Travaux sur les symétries de Lie des équations aux ... - DMA - Ens

Travaux sur les symétries de Lie des équations aux ... - DMA - Ens

Travaux sur les symétries de Lie des équations aux ... - DMA - Ens

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

116take ¯w j = Θ j (¯z, z, w) or w j = Θ j (z, ¯z, ¯w) as complex <strong>de</strong>fining equationsfor M.For arbitrary ρ > 0, we shall often consi<strong>de</strong>r the open polydisc ∆ n (ρ) :={t ∈ C n : |t| < ρ} where we <strong>de</strong>note by |t| := max 1≤i≤n |t i | the usualpolydisc norm. Without loss of generality, we may assume that the powerseries Θ j converge normally in the polydic ∆ 2m+d (2ρ 1 ), where ρ 1 > 0. Infact, we shall successively introduce some other positive constants (radii)0 < ρ 5 < ρ 4 < ρ 3 < ρ 2 < ρ 1 afterwards. Finally, we <strong>de</strong>fine M as:(4.1) M = {(z, w) ∈ ∆ n (ρ 1 ) : ¯w j = Θ j (¯z, z, w), j = 1, . . .,d}.Next, let ρ 2 arbitrary with 0 < ρ 2 < ρ 1 . For h ′ , h ∈ O(∆ n (ρ 1 ), C n ), we<strong>de</strong>fine(4.2) ||h ′ − h|| ρ2 := sup {|h ′ (t) − h(t)| : t ∈ ∆ n (ρ 2 )}.For k ∈ N, we shall also consi<strong>de</strong>r the C k norms(4.3)||J k h ′ −J k h|| ρ2 := sup {|∂ α t h′ (t)−∂ α t h(t)| : t ∈ ∆ n(ρ 2 ), α ∈ N n , |α| ≤ k}.For k ∈ N and t ∈ ∆ n (ρ 1 ), we <strong>de</strong>note by J k h(t) the collection of partial<strong>de</strong>rivatives (∂t α h i (t)) 1≤i≤n, |α|≤k of length ≤ k of the components h 1 , . . .,h n ,so J k h(t) ∈ C N n,k, where N n,k := n (n+k)! . In particular, the expressionn! k!J k h(0) = (∂t αh i(0)) 1≤i≤n, |α|≤k <strong>de</strong>notes the k-jet of h at 0. So, the spaceof k-jets at the origin of holomorphic mappings h ∈ O(∆ n (ρ 1 ), C n ) maybe i<strong>de</strong>ntified with the complex linear space C N n,k . We <strong>de</strong>note the naturalcoordinates on C N n,k by (Jαi ) 1≤i≤n, |α|≤k . Sometimes, we abbreviate thiscollection of coordinates by J k ≡ (Ji α ) 1≤i≤n, |α|≤k . Finally, we <strong>de</strong>note by JIdkthe k-jet at the origin of the i<strong>de</strong>ntity mapping. We introduce the importantset of holomorphic self-mappings of M <strong>de</strong>fined by(4.4) {Hρ 2 ,ρ 1M,k,ε := {h ∈ O(∆ n(ρ 1 ), C n ) : ||J k h − JId|| k ρ2 < ε,h(M ∩ ∆ n (ρ 2 )) ⊂ M ∩ ∆ n (ρ 1 )}.Here, k ∈ N and ε > 0 is a small positive number that we shall shrink manytimes in the sequel.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!