Amélioration de l’estimateur Horvitz-Thompson dans l’échantillonnage d’enquête

Section 6. Conclusion

Dans le présent document, nous avons proposé une méthode nouvelle et simple pour améliorer l’estimateur Horvitz-Thompson dans l’échantillonnage d’enquête. Comparativement à l’estimateur HT, l’estimateur HTA proposé améliore la précision de l’estimation au détriment de l’introduction d’un petit biais. Des études empiriques montrent que l’amélioration est considérable. Cette nouvelle idée a également été utilisée pour construire un estimateur de ratio amélioré. Naturellement, son application à d’autres estimateurs, comme l’estimateur de régression et l’estimateur de l’effet de traitement, est également intéressante, ce qui justifie une étude plus poussée.

Le choix du seuil K MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4saaaa@3674@ est important dans notre méthode. Bien que nous ayons suggéré un algorithme facile  pour ce choix et que nous ayons montré numériquement que notre choix est très proche du meilleur pour ce qui est de l’EQM, il n’est peut-être pas optimal en ce qui concerne l’EQM. La façon de choisir un seuil optimal est un sujet important pour les recherches futures.

Remerciements

Les auteurs sont reconnaissants envers les lecteurs critiques, le rédacteur en chef adjoint et le rédacteur en chef pour leur lecture méticulfeuse du manuscrit et leurs précieux commentaires. Les travaux de Zhu ont été soutenus par la National Natural Science Foundation of China (subventions nos 11871459, 71532013 et 71771208). Les travaux de Zou ont été partiellement soutenus par le ministère chinois de la Science et de la Technologie (subvention no 2016YFB0502301) et la National Natural Science Foundation of China (subventions nos 11529101 et 11331011).

Annexe

A.1  Démonstration du théorème 1

Pour obtenir l’EQM de l’estimateur HTA nous définissons d’abord I k = 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamysamaaBa aaleaacaWGRbaabeaakiaai2dacaaIXaaaaa@391A@ ou 0, k = 1, , N , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4Aaiaai2 dacaaIXaGaaGilaiaaysW7cqWIMaYscaaISaGaaGjbVlaad6eacaGG Saaaaa@3F41@ si l’unité k e MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AamaaCa aaleqabaGaaeyzaaaaaaa@37A9@ est tirée ou non, alors

E ( I k ) = π k , Var ( I k ) = Δ k k , Cov ( I k , I l ) = Δ k l pour k l , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamysamaaBaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaaiaa i2dacqaHapaCdaWgaaWcbaGaam4AaaqabaGccaaISaGaaGjbVlaabA facaqGHbGaaeOCamaabmaabaGaamysamaaBaaaleaacaWGRbaabeaa aOGaayjkaiaawMcaaiaai2dacqqHuoardaWgaaWcbaGaam4AaiaadU gaaeqaaOGaaiilaiaaysW7caqGdbGaae4BaiaabAhadaqadaqaaiaa dMeadaWgaaWcbaGaam4AaaqabaGccaaISaGaaGjbVlaadMeadaWgaa WcbaGaamiBaaqabaaakiaawIcacaGLPaaacaaI9aGaeuiLdq0aaSba aSqaaiaadUgacaWGSbaabeaakiaaysW7caaMe8UaaeiCaiaab+gaca qG1bGaaeOCaiaaysW7caaMe8Uaam4AaiabgcMi5kaadYgacaGGSaaa aa@698E@

Δ k k = π k ( 1 π k ) , Δ k l = π k l π k π l . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeuiLdq0aaS baaSqaaiaadUgacaWGRbaabeaakiaai2dacqaHapaCdaWgaaWcbaGa am4AaaqabaGcdaqadaqaaiaaigdacqGHsislcqaHapaCdaWgaaWcba Gaam4AaaqabaaakiaawIcacaGLPaaacaaISaGaaGjbVlabfs5aenaa BaaaleaacaWGRbGaamiBaaqabaGccaaI9aGaeqiWda3aaSbaaSqaai aadUgacaWGSbaabeaakiabgkHiTiabec8aWnaaBaaaleaacaWGRbaa beaakiabec8aWnaaBaaaleaacaWGSbaabeaakiaai6caaaa@54A5@ Donc, le biais de l’estimateur HTA est

Biais ( t ^ HTA ) = E ( U y k π k * I k ) U y k = U 2 ( π k π ( K ) 1 ) y k . ( A . 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOqaiaabM gacaqGHbGaaeyAaiaabohadaqadaqaaiqadshagaqcamaaBaaaleaa caqGibGaaeivaiaabgeaaeqaaaGccaGLOaGaayzkaaGaaGypaiaadw eadaqadaqaamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWG vbaabeaakmaalaaabaGaamyEamaaBaaaleaacaWGRbaabeaaaOqaai abec8aWnaaDaaaleaacaWGRbaabaGaaiOkaaaaaaGccaWGjbWaaSba aSqaaiaadUgaaeqaaaGccaGLOaGaayzkaaGaeyOeI0Yaaabqaeqale qabeqdcqGHris5aOWaaSbaaSqaaiaadwfaaeqaaOGaamyEamaaBaaa leaacaWGRbaabeaakiaai2dadaaeabqabSqabeqaniabggHiLdGcda WgaaWcbaGaamyvamaaBaaameaacaaIYaaabeaaaSqabaGcdaqadaqa amaalaaabaGaeqiWda3aaSbaaSqaaiaadUgaaeqaaaGcbaGaeqiWda 3aaSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaaaaOGa eyOeI0IaaGymaaGaayjkaiaawMcaaiaadMhadaWgaaWcbaGaam4Aaa qabaGccaaIUaGaaGzbVlaaywW7caaMf8UaaGzbVlaaywW7caGGOaGa ciyqaiaac6cacaGGXaGaciykaaaa@7110@

La variance de l’estimateur HTA est donnée par

Var( t ^ HTA ) =Var( s y k π k * )=Var( U y k π k * I k ) = U [ ( y k π k * ) 2 Var( I k ) ]+ U kl ( y k π k * y l π l * Cov( I k , I l ) ) = U 1 Δ kk π k 2 y k 2 + U 2 Δ kk π ( K ) 2 y k 2 + U kl Δ kl π k * π l * y k y l .(A.2) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaaiaabAfacaqGHbGaaeOCamaabmaabaGabmiDayaajaWaaSbaaSqa aiaabMeacaqGibGaaeivaaqabaaakiaawIcacaGLPaaaaeaacaaI9a GaaeOvaiaabggacaqGYbWaaeWaaeaadaaeqaqaamaalaaabaGaamyE amaaBaaaleaacaWGRbaabeaaaOqaaiabec8aWnaaDaaaleaacaWGRb aabaGaaiOkaaaaaaaabaGaam4Caaqab0GaeyyeIuoaaOGaayjkaiaa wMcaaiaai2dacaqGwbGaaeyyaiaabkhadaqadaqaamaaqaeabeWcbe qab0GaeyyeIuoakmaaBaaaleaacaWGvbaabeaakmaalaaabaGaamyE amaaBaaaleaacaWGRbaabeaaaOqaaiabec8aWnaaDaaaleaacaWGRb aabaGaaiOkaaaaaaGccaWGjbWaaSbaaSqaaiaadUgaaeqaaaGccaGL OaGaayzkaaaabaaabaGaaGypamaaqaeabeWcbeqab0GaeyyeIuoakm aaBaaaleaacaWGvbaabeaakmaadmaabaWaaeWaaeaadaWcaaqaaiaa dMhadaWgaaWcbaGaam4AaaqabaaakeaacqaHapaCdaqhaaWcbaGaam 4AaaqaaiaacQcaaaaaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacaaI YaaaaOGaaeOvaiaabggacaqGYbWaaeWaaeaacaWGjbWaaSbaaSqaai aadUgaaeqaaaGccaGLOaGaayzkaaaacaGLBbGaayzxaaGaaGjbVlaa ykW7cqGHRaWkdaWfqaqaaiaaykW7caaMc8+aaabqaeqaleqabeqdcq GHris5aOWaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqaaiaadwfa aeqaaaqaaiaadUgacqGHGjsUcaWGSbaabeaakmaabmaabaWaaSaaae aacaWG5bWaaSbaaSqaaiaadUgaaeqaaaGcbaGaeqiWda3aa0baaSqa aiaadUgaaeaacaGGQaaaaaaakmaalaaabaGaamyEamaaBaaaleaaca WGSbaabeaaaOqaaiabec8aWnaaDaaaleaacaWGSbaabaGaaiOkaaaa aaGccaqGdbGaae4BaiaabAhadaqadaqaaiaadMeadaWgaaWcbaGaam 4AaaqabaGccaaISaGaaGjbVlaadMeadaWgaaWcbaGaamiBaaqabaaa kiaawIcacaGLPaaaaiaawIcacaGLPaaaaeaaaeaacaaI9aWaaabqae qaleqabeqdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGym aaqabaaaleqaaOWaaSaaaeaacqqHuoardaWgaaWcbaGaam4AaiaadU gaaeqaaaGcbaGaeqiWda3aa0baaSqaaiaadUgaaeaacaaIYaaaaaaa kiaadMhadaqhaaWcbaGaam4AaaqaaiaaikdaaaGccaaMc8UaaGPaVl abgUcaRiaaykW7caaMc8+aaabqaeqaleqabeqdcqGHris5aOWaaSba aSqaaiaadwfadaWgaaadbaGaaGOmaaqabaaaleqaaOWaaSaaaeaacq qHuoardaWgaaWcbaGaam4AaiaadUgaaeqaaaGcbaGaeqiWda3aa0ba aSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqaaiaaikdaaaaaaO GaamyEamaaDaaaleaacaWGRbaabaGaaGOmaaaakiaaysW7caaMc8Ua ey4kaSYaaCbeaeaacaaMc8UaaGPaVpaaqaeabeWcbeqab0GaeyyeIu oakmaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWGvbaabeaa aeaacaWGRbGaeyiyIKRaamiBaaqabaGcdaWcaaqaaiabfs5aenaaBa aaleaacaWGRbGaamiBaaqabaaakeaacqaHapaCdaqhaaWcbaGaam4A aaqaaiaacQcaaaGccqaHapaCdaqhaaWcbaGaamiBaaqaaiaacQcaaa aaaOGaamyEamaaBaaaleaacaWGRbaabeaakiaadMhadaWgaaWcbaGa amiBaaqabaGccaaIUaGaaGzbVlaaywW7caaMf8UaaGzbVlaaywW7ca GGOaGaaeyqaiaab6cacaqGYaGaaiykaaaaaaa@E7F8@

En combinant (A.1) et (A.2), nous obtenons

EQM ( t ^ HTA ) = Bias 2 ( t ^ HTA ) + Var ( t ^ HTA ) = [ U 2 ( π k π ( K ) 1 ) y k ] 2 + U Δ k k π k * 2 y k 2 + U k l Δ k l π k * π l * y k y l = { U Δ k k π k * 2 y k 2 + [ U 2 ( π k π ( K ) 1 ) y k ] 2 } + U k l Δ k l π k * π l * y k y l F 1 + F 2 . ( A .3 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaGaaeytaiaabofacaqGfbWaaeWaaeaaceWG0bGbaKaadaWgaaWc baGaaeysaiaabIeacaqGubaabeaaaOGaayjkaiaawMcaaaqaaiaai2 dacaqGcbGaaeyAaiaabggacaqGZbWaaWbaaSqabeaacaaIYaaaaOWa aeWaaeaaceWG0bGbaKaadaWgaaWcbaGaaeysaiaabIeacaqGubaabe aaaOGaayjkaiaawMcaaiabgUcaRiaabAfacaqGHbGaaeOCamaabmaa baGabmiDayaajaWaaSbaaSqaaiaabMeacaqGibGaaeivaaqabaaaki aawIcacaGLPaaaaeaaaeaacaaI9aWaamWaaeaadaaeabqabSqabeqa niabggHiLdGcdaWgaaWcbaGaamyvamaaBaaabaGaaGOmaaqabaaabe aakmaabmaabaWaaSaaaeaacqaHapaCdaWgaaWcbaGaam4Aaaqabaaa keaacqaHapaCdaWgaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzkaa aabeaaaaGccqGHsislcaaIXaaacaGLOaGaayzkaaGaamyEamaaBaaa leaacaWGRbaabeaaaOGaay5waiaaw2faamaaCaaaleqabaGaaGOmaa aakiabgUcaRiaaykW7caaMc8+aaabqaeqaleqabeqdcqGHris5aOWa aSbaaSqaaiaadwfaaeqaaOWaaSaaaeaacqqHuoardaWgaaWcbaGaam 4AaiaadUgaaeqaaaGcbaGaeqiWda3aa0baaSqaaiaadUgaaeaacaGG QaGaaGOmaaaaaaGccaWG5bWaa0baaSqaaiaadUgaaeaacaaIYaaaaO GaaGjbVlaaykW7cqGHRaWkdaWfqaqaaiaaykW7caaMc8+aaabqaeqa leqabeqdcqGHris5aOWaaabqaeqaleqabeqdcqGHris5aOWaaSbaaS qaaiaadwfaaeqaaaqaaiaadUgacqGHGjsUcaWGSbaabeaakmaalaaa baGaeuiLdq0aaSbaaSqaaiaadUgacaWGSbaabeaaaOqaaiabec8aWn aaDaaaleaacaWGRbaabaGaaiOkaaaakiabec8aWnaaDaaaleaacaWG SbaabaGaaiOkaaaaaaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGaam yEamaaBaaaleaacaWGSbaabeaaaOqaaaqaaiaai2dadaGadaqaamaa qaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWGvbaabeaakmaala aabaGaeuiLdq0aaSbaaSqaaiaadUgacaWGRbaabeaaaOqaaiabec8a WnaaDaaaleaacaWGRbaabaGaaiOkaiaaikdaaaaaaOGaamyEamaaDa aaleaacaWGRbaabaGaaGOmaaaakiaaykW7caaMc8Uaey4kaSIaaGPa VlaaykW7daWadaqaamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaale aacaWGvbWaaSbaaeaacaaIYaaabeaaaeqaaOWaaeWaaeaadaWcaaqa aiabec8aWnaaBaaaleaacaWGRbaabeaaaOqaaiabec8aWnaaBaaale aadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeqaaaaakiabgkHiTiaa igdaaiaawIcacaGLPaaacaWG5bWaaSbaaSqaaiaadUgaaeqaaaGcca GLBbGaayzxaaWaaWbaaSqabeaacaaIYaaaaaGccaGL7bGaayzFaaGa aGjbVlaaykW7cqGHRaWkdaWfqaqaaiaaykW7caaMc8+aaabqaeqale qabeqdcqGHris5aOWaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqa aiaadwfaaeqaaaqaaiaadUgacqGHGjsUcaWGSbaabeaakmaalaaaba GaeuiLdq0aaSbaaSqaaiaadUgacaWGSbaabeaaaOqaaiabec8aWnaa DaaaleaacaWGRbaabaGaaiOkaaaakiabec8aWnaaDaaaleaacaWGSb aabaGaaiOkaaaaaaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGaamyE amaaBaaaleaacaWGSbaabeaaaOqaaaqaaebbfv3ySLgzGueE0jxyaG qbaiab=XLiajaadAeadaWgaaWcbaGaaGymaaqabaGccqGHRaWkcaWG gbWaaSbaaSqaaiaaikdaaeqaaOGaaGOlaiaaywW7caaMf8UaaGzbVl aaywW7caaMf8UaaGzbVlaaywW7caaMf8UaaGzbVlaaywW7caaMf8Ua aGzbVlaaywW7caaMf8UaaGzbVlaaywW7caaMf8Uaaiikaiaabgeaca qGUaGaae4maiaacMcaaaaaaa@0987@

On confirme directement que E ( EQM ^ ( t ^ HTA ) ) = EQM ( t ^ HTA ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaWaaecaaeaacaqGfbGaaeyuaiaab2eaaiaawkWaamaabmaabaGa bmiDayaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqabaaakiaawI cacaGLPaaaaiaawIcacaGLPaaacaaI9aGaaeyraiaabgfacaqGnbWa aeWaaeaaceWG0bGbaKaadaWgaaWcbaGaaeisaiaabsfacaqGbbaabe aaaOGaayjkaiaawMcaaiaac6caaaa@4966@ Par conséquent, le théorème 1 est prouvé.

A.2  Démonstration du théorème 2

En utilisant les conditions C.1 et C.2, nous voyons que λ π k π ( K ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaey izImQaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeyizImQaeqiWda3a aSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaGccqGHKj YOcaaIXaaaaa@4461@ pour chaque k U 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AaiabgI GiolaadwfadaWgaaWcbaGaaGOmaaqabaGccaGGSaaaaa@3A94@ et max k l U 2 | π k l π k π l | = O ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaubeaeqale aacaWGRbGaeyiyIKRaamiBaiabgIGiolaadwfadaWgaaadbaGaaGOm aaqabaaaleqakeaaciGGTbGaaiyyaiaacIhaaaWaaqWaaeaacaaMc8 UaeqiWda3aaSbaaSqaaiaadUgacaWGSbaabeaakiabgkHiTiabec8a WnaaBaaaleaacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGSbaabe aakiaaykW7aiaawEa7caGLiWoacaaI9aGaam4tamaabmaabaGaamOB amaaCaaaleqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaac6 caaaa@571D@ Puis, à partir de l’équation (2.1), nous avons

| E ( t ¯ ^ HT t ¯ ) 2 | = | 1 N 2 U Δ k k π k 2 y k 2 + 1 N 2 U k l Δ k l π k π l y l y k | 1 N 2 U 1 π k π k y k 2 + 1 N 2 U k l | π k l π k π l π k π l | | y l y k | = O ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaamaaemaabaGaaGPaVlaadweadaqadaqaaiqadshagaqegaqcamaa BaaaleaacaqGibGaaeivaaqabaGccqGHsislceWG0bGbaebaaiaawI cacaGLPaaadaahaaWcbeqaaiaaikdaaaGccaaMc8oacaGLhWUaayjc SdaabaGaaGypamaaemaabaGaaGPaVpaalaaabaGaaGymaaqaaiaad6 eadaahaaWcbeqaaiaaikdaaaaaaOWaaabuaeqaleaacaWGvbaabeqd cqGHris5aOWaaSaaaeaacqqHuoardaWgaaWcbaGaam4AaiaadUgaae qaaaGcbaGaeqiWda3aa0baaSqaaiaadUgaaeaacaaIYaaaaaaakiaa dMhadaqhaaWcbaGaam4AaaqaaiaaikdaaaGccqGHRaWkdaWcaaqaai aaigdaaeaacaWGobWaaWbaaSqabeaacaaIYaaaaaaakmaaxababaGa aGPaVlaaykW7daaeabqabSqabeqaniabggHiLdGcdaaeabqabSqabe qaniabggHiLdGcdaWgaaWcbaGaamyvaaqabaaabaGaam4AaiabgcMi 5kaadYgaaeqaaOWaaSaaaeaacqqHuoardaWgaaWcbaGaam4AaiaadY gaaeqaaaGcbaGaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeqiWda3a aSbaaSqaaiaadYgaaeqaaaaakiaadMhadaWgaaWcbaGaamiBaaqaba GccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGaaGPaVdGaay5bSlaawIa7 aaqaaaqaaiabgsMiJoaalaaabaGaaGymaaqaaiaad6eadaahaaWcbe qaaiaaikdaaaaaaOWaaabuaeqaleaacaWGvbaabeqdcqGHris5aOWa aSaaaeaacaaIXaGaeyOeI0IaeqiWda3aaSbaaSqaaiaadUgaaeqaaa GcbaGaeqiWda3aaSbaaSqaaiaadUgaaeqaaaaakiaadMhadaqhaaWc baGaam4AaaqaaiaaikdaaaGccqGHRaWkdaWcaaqaaiaaigdaaeaaca WGobWaaWbaaSqabeaacaaIYaaaaaaakmaaxababaGaaGPaVlaaykW7 daaeabqabSqabeqaniabggHiLdGcdaaeabqabSqabeqaniabggHiLd GcdaWgaaWcbaGaamyvaaqabaaabaGaam4AaiabgcMi5kaadYgaaeqa aOWaaqWaaeaacaaMc8+aaSaaaeaacqaHapaCdaWgaaWcbaGaam4Aai aadYgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGa eqiWda3aaSbaaSqaaiaadYgaaeqaaaGcbaGaeqiWda3aaSbaaSqaai aadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaaakiaaykW7 aiaawEa7caGLiWoacaaMc8UaaGPaVpaaemaabaGaaGPaVlaadMhada WgaaWcbaGaamiBaaqabaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGa aGPaVdGaay5bSlaawIa7aaqaaaqaaiaai2dacaWGpbWaaeWaaeaaca WGUbWaaWbaaSqabeaacqGHsislcaaIXaaaaaGccaGLOaGaayzkaaGa aGOlaaaaaaa@C44F@

De même, par l’EQM de l’estimateur HTA donné en (3.1), nous observons

| E ( t ¯ ^ HTA t ¯ ) 2 | = | [ 1 N U 2 ( π k π ( K ) 1 ) y k ] 2 + 1 N 2 U Δ k k π k * 2 y k 2 + 1 N 2 U k l Δ k l π k * π l * y k y l | [ K N 1 K U 2 ( π k π ( K ) 1 ) y k ] 2 + 1 N 2 U | π k ( 1 π k ) π k * 2 | y k 2 + 1 N 2 U k l | π k l π k π l π k * π l * | | y k y l | = O ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaWaaqWaaeaacaaMc8UaamyramaabmaabaGabmiDayaaryaajaWa aSbaaSqaaiaabMeacaqGibGaaeivaaqabaGccqGHsislceWG0bGbae baaiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaGccaaMc8oacaGL hWUaayjcSdaabaGaaGypamaaemaabaGaaGPaVpaadmaabaWaaSaaae aacaaIXaaabaGaamOtaaaadaaeabqabSqabeqaniabggHiLdGcdaWg aaWcbaGaamyvamaaBaaameaacaaIYaaabeaaaSqabaGcdaqadaqaam aalaaabaGaeqiWda3aaSbaaSqaaiaadUgaaeqaaaGcbaGaeqiWda3a aSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaaaaOGaey OeI0IaaGymaaGaayjkaiaawMcaaiaadMhadaWgaaWcbaGaam4Aaaqa baaakiaawUfacaGLDbaadaahaaWcbeqaaiaaikdaaaGccqGHRaWkda WcaaqaaiaaigdaaeaacaWGobWaaWbaaSqabeaacaaIYaaaaaaakmaa qaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWGvbaabeaakmaala aabaGaeuiLdq0aaSbaaSqaaiaadUgacaWGRbaabeaaaOqaaiabec8a WnaaDaaaleaacaWGRbaabaGaaiOkaiaaikdaaaaaaOGaamyEamaaDa aaleaacaWGRbaabaGaaGOmaaaakiabgUcaRmaalaaabaGaaGymaaqa aiaad6eadaahaaWcbeqaaiaaikdaaaaaaOWaaCbeaeaacaaMc8UaaG PaVpaaqaeabeWcbeqab0GaeyyeIuoakmaaqaeabeWcbeqab0Gaeyye IuoakmaaBaaaleaacaWGvbaabeaaaeaacaWGRbGaeyiyIKRaamiBaa qabaGcdaWcaaqaaiabfs5aenaaBaaaleaacaWGRbGaamiBaaqabaaa keaacqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQcaaaGccqaHapaCda qhaaWcbaGaamiBaaqaaiaacQcaaaaaaOGaamyEamaaBaaaleaacaWG RbaabeaakiaadMhadaWgaaWcbaGaamiBaaqabaGccaaMc8oacaGLhW UaayjcSdaabaaabaGaeyizIm6aamWaaeaadaWcaaqaaiaadUeaaeaa caWGobaaamaalaaabaGaaGymaaqaaiaadUeaaaWaaabqaeqaleqabe qdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGOmaaqabaaa leqaaOWaaeWaaeaadaWcaaqaaiabec8aWnaaBaaaleaacaWGRbaabe aaaOqaaiabec8aWnaaBaaaleaadaqadaqaaiaadUeaaiaawIcacaGL PaaaaeqaaaaakiabgkHiTiaaigdaaiaawIcacaGLPaaacaWG5bWaaS baaSqaaiaadUgaaeqaaaGccaGLBbGaayzxaaWaaWbaaSqabeaacaaI YaaaaOGaey4kaSYaaSaaaeaacaaIXaaabaGaamOtamaaCaaaleqaba GaaGOmaaaaaaGcdaaeabqabSqabeqaniabggHiLdGcdaWgaaWcbaGa amyvaaqabaGcdaabdaqaaiaaykW7daWcaaqaaiabec8aWnaaBaaale aacaWGRbaabeaakmaabmaabaGaaGymaiabgkHiTiabec8aWnaaBaaa leaacaWGRbaabeaaaOGaayjkaiaawMcaaaqaaiabec8aWnaaDaaale aacaWGRbaabaGaaiOkaiaaikdaaaaaaOGaaGPaVdGaay5bSlaawIa7 aiaadMhadaqhaaWcbaGaam4AaaqaaiaaikdaaaaakeaaaeaacqGHRa WkdaWcaaqaaiaaigdaaeaacaWGobWaaWbaaSqabeaacaaIYaaaaaaa kmaaxababaGaaGPaVlaaykW7daaeabqabSqabeqaniabggHiLdGcda aeabqabSqabeqaniabggHiLdGcdaWgaaWcbaGaamyvaaqabaaabaGa am4AaiabgcMi5kaadYgaaeqaaOWaaqWaaeaacaaMc8+aaSaaaeaacq aHapaCdaWgaaWcbaGaam4AaiaadYgaaeqaaOGaeyOeI0IaeqiWda3a aSbaaSqaaiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaa GcbaGaeqiWda3aa0baaSqaaiaadUgaaeaacaGGQaaaaOGaeqiWda3a a0baaSqaaiaadYgaaeaacaGGQaaaaaaakiaaykW7aiaawEa7caGLiW oacaaMc8UaaGPaVpaaemaabaGaaGPaVlaadMhadaWgaaWcbaGaam4A aaqabaGccaWG5bWaaSbaaSqaaiaadYgaaeqaaOGaaGPaVdGaay5bSl aawIa7aaqaaaqaaiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqa beaacqGHsislcaaIXaaaaaGccaGLOaGaayzkaaGaaiOlaaaaaaa@02C7@

D’après les conditions C.1 et C.2, il est facile de constater que

Biais ( t ¯ ^ HTA ) = | 1 N U 2 ( π k π ( K ) 1 ) y k | K N 1 K U 2 | π k π ( K ) 1 | | y k | 1 N U 2 | y k | = O ( n 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeOqaiaabM gacaqGHbGaaeyAaiaabohadaqadaqaaiqadshagaqegaqcamaaBaaa leaacaqGibGaaeivaiaabgeaaeqaaaGccaGLOaGaayzkaaGaaGypam aaemaabaGaaGPaVpaalaaabaGaaGymaaqaaiaad6eaaaWaaabqaeqa leqabeqdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGOmaa qabaaaleqaaOWaaeWaaeaadaWcaaqaaiabec8aWnaaBaaaleaacaWG RbaabeaaaOqaaiabec8aWnaaBaaaleaadaqadaqaaiaadUeaaiaawI cacaGLPaaaaeqaaaaakiabgkHiTiaaigdaaiaawIcacaGLPaaacaWG 5bWaaSbaaSqaaiaadUgaaeqaaOGaaGPaVdGaay5bSlaawIa7aiabgs MiJoaalaaabaGaam4saaqaaiaad6eaaaWaaSaaaeaacaaIXaaabaGa am4saaaadaaeabqabSqabeqaniabggHiLdGcdaWgaaWcbaGaamyvam aaBaaameaacaaIYaaabeaaaSqabaGcdaabdaqaaiaaykW7daWcaaqa aiabec8aWnaaBaaaleaacaWGRbaabeaaaOqaaiabec8aWnaaBaaale aadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeqaaaaakiabgkHiTiaa igdacaaMc8oacaGLhWUaayjcSdGaaGPaVlaaykW7daabdaqaaiaayk W7caWG5bWaaSbaaSqaaiaadUgaaeqaaOGaaGPaVdGaay5bSlaawIa7 aiabgsMiJoaalaaabaGaaGymaaqaaiaad6eaaaWaaabqaeqaleqabe qdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGOmaaqabaaa leqaaOWaaqWaaeaacaaMc8UaamyEamaaBaaaleaacaWGRbaabeaaki aaykW7aiaawEa7caGLiWoacaaI9aGaam4tamaabmaabaGaamOBamaa CaaaleqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaaiYcaaa a@92E8@

où les troisième et quatrième étapes sont valides en raison de λ π k π ( K ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaey izImQaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeyizImQaeqiWda3a aSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaGccqGHKj YOcaaIXaaaaa@4461@ pour chaque k U 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AaiabgI GiolaadwfadaWgaaWcbaGaaGOmaaqabaaaaa@39DA@ et K / N = O ( n 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGlbaabaGaamOtaaaacaaI9aGaam4tamaabmaabaGaamOBamaaCaaa leqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaacYcaaaa@3E03@ respectivement.

A.3  Démonstration du théorème 3

À partir de l’équation (2.1), puisque l’estimateur HT est sans biais, nous avons

EQM ( Y ^ HT ) = { U 1 Δ k k π k 2 y k 2 + U 2 Δ k k π k 2 y k 2 } + U k l Δ k l π k π l y k y l F 3 + F 4 . ( A .4 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyraiaabg facaqGnbWaaeWaaeaaceWGzbGbaKaadaWgaaWcbaGaaeisaiaabsfa aeqaaaGccaGLOaGaayzkaaGaaGypamaacmaabaWaaabqaeqaleqabe qdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGymaaqabaaa leqaaOWaaSaaaeaacqqHuoardaWgaaWcbaGaam4AaiaadUgaaeqaaa GcbaGaeqiWda3aa0baaSqaaiaadUgaaeaacaaIYaaaaaaakiaadMha daqhaaWcbaGaam4AaaqaaiaaikdaaaGccqGHRaWkdaaeabqabSqabe qaniabggHiLdGcdaWgaaWcbaGaamyvamaaBaaameaacaaIYaaabeaa aSqabaGcdaWcaaqaaiabfs5aenaaBaaaleaacaWGRbGaam4Aaaqaba aakeaacqaHapaCdaqhaaWcbaGaam4AaaqaaiaaikdaaaaaaOGaamyE amaaDaaaleaacaWGRbaabaGaaGOmaaaaaOGaay5Eaiaaw2haaiaays W7caaMc8Uaey4kaSYaaCbeaeaacaaMc8UaaGPaVpaaqaeabeWcbeqa b0GaeyyeIuoakmaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaaca WGvbaabeaaaeaacaWGRbGaeyiyIKRaamiBaaqabaGcdaWcaaqaaiab fs5aenaaBaaaleaacaWGRbGaamiBaaqabaaakeaacqaHapaCdaWgaa WcbaGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaaaOGa amyEamaaBaaaleaacaWGRbaabeaakiaadMhadaWgaaWcbaGaamiBaa qabaqeeuuDJXwAKbsr4rNCHbacfaGccqWFCjcqcaWGgbWaaSbaaSqa aiaaiodaaeqaaOGaey4kaSIaamOramaaBaaaleaacaaI0aaabeaaki aai6cacaaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6cacaqG0aGa aiykaaaa@8D8D@

Pour illustrer l’efficacité du nouvel estimateur, nous comparons l’équation (A.3) et l’équation (A.4). Nous prouvons d’abord F 3 F 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaIZaaabeaakiabgwMiZkaadAeadaWgaaWcbaGaaGymaaqa baaaaa@3ADA@ . Il est clair que

F 3 F 1 = U Δ k k π k 2 y k 2 { U 1 Δ k k π k 2 y k 2 + U 2 Δ k k π ( K ) 2 y k 2 + [ U 2 ( π k π ( K ) 1 ) y k ] 2 } = U 2 Δ k k π k 2 y k 2 U 2 Δ k k π ( K ) 2 y k 2 [ U 2 ( π k π ( K ) 1 ) y k ] 2 = U 2 ( π ( K ) 2 π k 2 ) ( 1 π k ) π ( K ) 2 π k y k 2 [ U 2 ( π k π ( K ) 1 ) y k ] 2 D C . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaGaamOramaaBaaaleaacaaIZaaabeaakiabgkHiTiaadAeadaWg aaWcbaGaaGymaaqabaaakeaacaaI9aWaaabqaeqaleqabeqdcqGHri s5aOWaaSbaaSqaaiaadwfaaeqaaOWaaSaaaeaacqqHuoardaWgaaWc baGaam4AaiaadUgaaeqaaaGcbaGaeqiWda3aa0baaSqaaiaadUgaae aacaaIYaaaaaaakiaadMhadaqhaaWcbaGaam4AaaqaaiaaikdaaaGc cqGHsisldaGadaqaamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaale aacaWGvbWaaSbaaWqaaiaaigdaaeqaaaWcbeaakmaalaaabaGaeuiL dq0aaSbaaSqaaiaadUgacaWGRbaabeaaaOqaaiabec8aWnaaDaaale aacaWGRbaabaGaaGOmaaaaaaGccaWG5bWaa0baaSqaaiaadUgaaeaa caaIYaaaaOGaey4kaSYaaabqaeqaleqabeqdcqGHris5aOWaaSbaaS qaaiaadwfadaWgaaadbaGaaGOmaaqabaaaleqaaOWaaSaaaeaacqqH uoardaWgaaWcbaGaam4AaiaadUgaaeqaaaGcbaGaeqiWda3aa0baaS qaamaabmaabaGaam4saaGaayjkaiaawMcaaaqaaiaaikdaaaaaaOGa amyEamaaDaaaleaacaWGRbaabaGaaGOmaaaakiabgUcaRmaadmaaba WaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaad baGaaGOmaaqabaaaleqaaOWaaeWaaeaadaWcaaqaaiabec8aWnaaBa aaleaacaWGRbaabeaaaOqaaiabec8aWnaaBaaaleaadaqadaqaaiaa dUeaaiaawIcacaGLPaaaaeqaaaaakiabgkHiTiaaigdaaiaawIcaca GLPaaacaWG5bWaaSbaaSqaaiaadUgaaeqaaaGccaGLBbGaayzxaaWa aWbaaSqabeaacaaIYaaaaaGccaGL7bGaayzFaaaabaaabaGaaGypam aaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWGvbWaaSbaaWqa aiaaikdaaeqaaaWcbeaakmaalaaabaGaeuiLdq0aaSbaaSqaaiaadU gacaWGRbaabeaaaOqaaiabec8aWnaaDaaaleaacaWGRbaabaGaaGOm aaaaaaGccaWG5bWaa0baaSqaaiaadUgaaeaacaaIYaaaaOGaeyOeI0 YaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqaaiaadwfadaWgaaad baGaaGOmaaqabaaaleqaaOWaaSaaaeaacqqHuoardaWgaaWcbaGaam 4AaiaadUgaaeqaaaGcbaGaeqiWda3aa0baaSqaamaabmaabaGaam4s aaGaayjkaiaawMcaaaqaaiaaikdaaaaaaOGaamyEamaaDaaaleaaca WGRbaabaGaaGOmaaaakiabgkHiTmaadmaabaWaaabqaeqaleqabeqd cqGHris5aOWaaSbaaSqaaiaadwfadaWgaaadbaGaaGOmaaqabaaale qaaOWaaeWaaeaadaWcaaqaaiabec8aWnaaBaaaleaacaWGRbaabeaa aOqaaiabec8aWnaaBaaaleaadaqadaqaaiaadUeaaiaawIcacaGLPa aaaeqaaaaakiabgkHiTiaaigdaaiaawIcacaGLPaaacaWG5bWaaSba aSqaaiaadUgaaeqaaaGccaGLBbGaayzxaaWaaWbaaSqabeaacaaIYa aaaaGcbaaabaGaaGypamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaa leaacaWGvbWaaSbaaWqaaiaaikdaaeqaaaWcbeaakmaalaaabaWaae WaaeaacqaHapaCdaqhaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzk aaaabaGaaGOmaaaakiabgkHiTiabec8aWnaaDaaaleaacaWGRbaaba GaaGOmaaaaaOGaayjkaiaawMcaamaabmaabaGaaGymaiabgkHiTiab ec8aWnaaBaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaaaqaaiabec 8aWnaaDaaaleaadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeaacaaI YaaaaOGaeqiWda3aaSbaaSqaaiaadUgaaeqaaaaakiaadMhadaqhaa WcbaGaam4AaaqaaiaaikdaaaGccqGHsisldaWadaqaamaaqaeabeWc beqab0GaeyyeIuoakmaaBaaaleaacaWGvbWaaSbaaWqaaiaaikdaae qaaaWcbeaakmaabmaabaWaaSaaaeaacqaHapaCdaWgaaWcbaGaam4A aaqabaaakeaacqaHapaCdaWgaaWcbaWaaeWaaeaacaWGlbaacaGLOa GaayzkaaaabeaaaaGccqGHsislcaaIXaaacaGLOaGaayzkaaGaamyE amaaBaaaleaacaWGRbaabeaaaOGaay5waiaaw2faamaaCaaaleqaba GaaGOmaaaaaOqaaaqaaebbfv3ySLgzGueE0jxyaGqbaiab=XLiajaa dseacqGHsislcaWGdbGaaiOlaaaaaaa@F0FF@

En utilisant l’inégalité de Cauchy-Schwarz, nous avons

C = ( U 2 π k π ( K ) π ( K ) y k ) 2 K U 2 ( π k π ( K ) ) 2 π ( K ) 2 y k 2 E , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4qaiaai2 dadaqadaqaamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWG vbWaaSbaaWqaaiaaikdaaeqaaaWcbeaakmaalaaabaGaeqiWda3aaS baaSqaaiaadUgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaamaabmaa baGaam4saaGaayjkaiaawMcaaaqabaaakeaacqaHapaCdaWgaaWcba WaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabeaaaaGccaWG5bWaaSba aSqaaiaadUgaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacaaIYa aaaOGaeyizImQaam4samaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaa leaacaWGvbWaaSbaaWqaaiaaikdaaeqaaaWcbeaakmaalaaabaWaae WaaeaacqaHapaCdaWgaaWcbaGaam4AaaqabaGccqGHsislcqaHapaC daWgaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabeaaaOGaay jkaiaawMcaamaaCaaaleqabaGaaGOmaaaaaOqaaiabec8aWnaaDaaa leaadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeaacaaIYaaaaaaaki aadMhadaqhaaWcbaGaam4AaaqaaiaaikdaaaqeeuuDJXwAKbsr4rNC HbacfaGccqWFCjcqcaWGfbGaaGilaaaa@6D06@

où la stricte inégalité s’applique si k l U 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4Aaiabgc Mi5kaadYgacqGHiiIZcaWGvbWaaSbaaSqaaiaaikdaaeqaaOGaaiil aaaa@3D4C@ de sorte que ( π k π ( K ) ) y k ( π l π ( K ) ) y l . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaacq aHapaCdaWgaaWcbaGaam4AaaqabaGccqGHsislcqaHapaCdaWgaaWc baWaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabeaaaOGaayjkaiaawM caaiaadMhadaWgaaWcbaGaam4AaaqabaGccqGHGjsUdaqadaqaaiab ec8aWnaaBaaaleaacaWGSbaabeaakiabgkHiTiabec8aWnaaBaaale aadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeqaaaGccaGLOaGaayzk aaGaamyEamaaBaaaleaacaWGSbaabeaakiaac6caaaa@4FB1@ De plus,

F 3 F 1 D E = U 2 ( π ( K ) 2 π k 2 ) ( 1 π k ) π ( K ) 2 π k y k 2 K U 2 ( π k π ( K ) ) 2 π ( K ) 2 y k 2 = U 2 ( π ( K ) π k ) [ ( 1 π k K π k ) π ( K ) + ( π k π k 2 + K π k 2 ) ] π ( K ) 2 π k y k 2 . ( A .5 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabiGaaa qaaiaadAeadaWgaaWcbaGaaG4maaqabaGccqGHsislcaWGgbWaaSba aSqaaiaaigdaaeqaaOGaeyyzImRaamiraiabgkHiTiaadweaaeaaca aI9aWaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqaaiaadwfadaWg aaadbaGaaGOmaaqabaaaleqaaOWaaSaaaeaadaqadaqaaiabec8aWn aaDaaaleaadaqadaqaaiaadUeaaiaawIcacaGLPaaaaeaacaaIYaaa aOGaeyOeI0IaeqiWda3aa0baaSqaaiaadUgaaeaacaaIYaaaaaGcca GLOaGaayzkaaWaaeWaaeaacaaIXaGaeyOeI0IaeqiWda3aaSbaaSqa aiaadUgaaeqaaaGccaGLOaGaayzkaaaabaGaeqiWda3aa0baaSqaam aabmaabaGaam4saaGaayjkaiaawMcaaaqaaiaaikdaaaGccqaHapaC daWgaaWcbaGaam4AaaqabaaaaOGaamyEamaaDaaaleaacaWGRbaaba GaaGOmaaaakiabgkHiTiaadUeadaaeabqabSqabeqaniabggHiLdGc daWgaaWcbaGaamyvamaaBaaameaacaaIYaaabeaaaSqabaGcdaWcaa qaamaabmaabaGaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeyOeI0Ia eqiWda3aaSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqaba aakiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaaakeaacqaHapaC daqhaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabaGaaGOmaa aaaaGccaWG5bWaa0baaSqaaiaadUgaaeaacaaIYaaaaaGcbaaabaGa aGypamaaqaeabeWcbeqab0GaeyyeIuoakmaaBaaaleaacaWGvbWaaS baaWqaaiaaikdaaeqaaaWcbeaakmaalaaabaWaaeWaaeaacqaHapaC daWgaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabeaakiabgk HiTiabec8aWnaaBaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaamaa dmaabaWaaeWaaeaacaaIXaGaeyOeI0IaeqiWda3aaSbaaSqaaiaadU gaaeqaaOGaeyOeI0Iaam4saiabec8aWnaaBaaaleaacaWGRbaabeaa aOGaayjkaiaawMcaaiabec8aWnaaBaaaleaadaqadaqaaiaadUeaai aawIcacaGLPaaaaeqaaOGaey4kaSYaaeWaaeaacqaHapaCdaWgaaWc baGaam4AaaqabaGccqGHsislcqaHapaCdaqhaaWcbaGaam4Aaaqaai aaikdaaaGccqGHRaWkcaWGlbGaeqiWda3aa0baaSqaaiaadUgaaeaa caaIYaaaaaGccaGLOaGaayzkaaaacaGLBbGaayzxaaaabaGaeqiWda 3aa0baaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqaaiaaikda aaGccqaHapaCdaWgaaWcbaGaam4AaaqabaaaaOGaamyEamaaDaaale aacaWGRbaabaGaaGOmaaaakiaai6cacaaMf8UaaGzbVlaaywW7caGG OaGaaeyqaiaab6cacaqG1aGaaiykaaaaaaa@BA3D@

À partir de la définition 1, nous avons π k π ( K ) ( K + 1 ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadUgaaeqaaOGaeyizImQaeqiWda3aaSbaaSqaamaabmaa baGaam4saaGaayjkaiaawMcaaaqabaGccqGHKjYOdaqadaqaaiaadU eacqGHRaWkcaaIXaaacaGLOaGaayzkaaWaaWbaaSqabeaacqGHsisl caaIXaaaaaaa@4608@ pour chaque k U 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AaiabgI GiolaadwfadaWgaaWcbaGaaGOmaaqabaGccaGGSaaaaa@3A94@ donc D E 0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiraiabgk HiTiaadweacqGHLjYScaaIWaGaaGOlaaaa@3B5C@ Par conséquent, F 3 F 1 = D C D E 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaIZaaabeaakiabgkHiTiaadAeadaWgaaWcbaGaaGymaaqa baGccaaI9aGaamiraiabgkHiTiaadoeacqGHLjYScaWGebGaeyOeI0 IaamyraiabgwMiZkaaicdaaaa@4416@ prévaut.

Pour les termes F 2 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaIYaaabeaaaaa@3757@ et F 4 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaI0aaabeaakiaacYcaaaa@3813@ nous observons ce qui suit

F 2 F 4 = U k l Δ k l π k * π l * y k y l U k l Δ k l π k π l y k y l = U 2 k l ( Δ k l π ( K ) 2 Δ k l π k π l ) y k y l + k U 1 l U 2 ( Δ k l π ( K ) π k Δ k l π k π l ) y k y l + k U 2 l U 1 ( Δ k l π ( K ) π l Δ k l π k π l ) y k y l Δ 1 + Δ 2 + Δ 3 . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrVfpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaGaamOramaaBaaaleaacaaIYaaabeaakiabgkHiTiaadAeadaWg aaWcbaGaaGinaaqabaaakeaacaaI9aWaaCbeaeaacaaMc8UaaGPaVp aaqaeabeWcbeqab0GaeyyeIuoakmaaqaeabeWcbeqab0GaeyyeIuoa kmaaBaaaleaacaWGvbaabeaaaeaacaWGRbGaeyiyIKRaamiBaaqaba GcdaWcaaqaaiabfs5aenaaBaaaleaacaWGRbGaamiBaaqabaaakeaa cqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQcaaaGccqaHapaCdaqhaa WcbaGaamiBaaqaaiaacQcaaaaaaOGaamyEamaaBaaaleaacaWGRbaa beaakiaadMhadaWgaaWcbaGaamiBaaqabaGccaaMe8UaaGPaVlabgk HiTmaaxababaGaaGPaVlaaykW7daaeabqabSqabeqaniabggHiLdGc daaeabqabSqabeqaniabggHiLdGcdaWgaaWcbaGaamyvaaqabaaaba Gaam4AaiabgcMi5kaadYgaaeqaaOWaaSaaaeaacqqHuoardaWgaaWc baGaam4AaiaadYgaaeqaaaGcbaGaeqiWda3aaSbaaSqaaiaadUgaae qaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaaakiaadMhadaWgaaWc baGaam4AaaqabaGccaWG5bWaaSbaaSqaaiaadYgaaeqaaaGcbaaaba GaaGypamaaxababaGaaGPaVlaaykW7caaMc8+aaabqaeqaleqabeqd cqGHris5aOWaaabqaeqaleqabeqdcqGHris5aOWaaSbaaSqaaiaadw fadaWgaaadbaGaaGOmaaqabaaaleqaaaqaaiaadUgacqGHGjsUcaWG SbaabeaakmaabmaabaWaaSaaaeaacqqHuoardaWgaaWcbaGaam4Aai aadYgaaeqaaaGcbaGaeqiWda3aa0baaSqaamaabmaabaGaam4saaGa ayjkaiaawMcaaaqaaiaaikdaaaaaaOGaeyOeI0YaaSaaaeaacqqHuo ardaWgaaWcbaGaam4AaiaadYgaaeqaaaGcbaGaeqiWda3aaSbaaSqa aiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaaaaOGaay jkaiaawMcaaiaadMhadaWgaaWcbaGaam4AaaqabaGccaWG5bWaaSba aSqaaiaadYgaaeqaaOGaey4kaSYaaabuaeqaleaacaWGRbGaeyicI4 SaamyvamaaBaaameaacaaIXaaabeaaaSqab0GaeyyeIuoakmaaqafa beWcbaGaamiBaiabgIGiolaadwfadaWgaaadbaGaaGOmaaqabaaale qaniabggHiLdGcdaqadaqaamaalaaabaGaeuiLdq0aaSbaaSqaaiaa dUgacaWGSbaabeaaaOqaaiabec8aWnaaBaaaleaadaqadaqaaiaadU eaaiaawIcacaGLPaaaaeqaaOGaeqiWda3aaSbaaSqaaiaadUgaaeqa aaaakiabgkHiTmaalaaabaGaeuiLdq0aaSbaaSqaaiaadUgacaWGSb aabeaaaOqaaiabec8aWnaaBaaaleaacaWGRbaabeaakiabec8aWnaa BaaaleaacaWGSbaabeaaaaaakiaawIcacaGLPaaacaWG5bWaaSbaaS qaaiaadUgaaeqaaOGaamyEamaaBaaaleaacaWGSbaabeaaaOqaaaqa aiabgUcaRmaaqafabeWcbaGaam4AaiabgIGiolaadwfadaWgaaadba GaaGOmaaqabaaaleqaniabggHiLdGcdaaeqbqabSqaaiaadYgacqGH iiIZcaWGvbWaaSbaaWqaaiaaigdaaeqaaaWcbeqdcqGHris5aOWaae WaaeaadaWcaaqaaiabfs5aenaaBaaaleaacaWGRbGaamiBaaqabaaa keaacqaHapaCdaWgaaWcbaWaaeWaaeaacaWGlbaacaGLOaGaayzkaa aabeaakiabec8aWnaaBaaaleaacaWGSbaabeaaaaGccqGHsisldaWc aaqaaiabfs5aenaaBaaaleaacaWGRbGaamiBaaqabaaakeaacqaHap aCdaWgaaWcbaGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqa baaaaaGccaGLOaGaayzkaaGaamyEamaaBaaaleaacaWGRbaabeaaki aadMhadaWgaaWcbaGaamiBaaqabaaakeaaaeaarqqr1ngBPrgifHhD YfgaiuaacqWFCjcqcqqHuoardaWgaaWcbaGaaGymaaqabaGccqGHRa WkcqqHuoardaWgaaWcbaGaaGOmaaqabaGccqGHRaWkcqqHuoardaWg aaWcbaGaaG4maaqabaGccaaIUaaaaaaa@FCA7@

En utilisant les conditions C.1 et C.2, on constate que

| Δ 1 | N 2 = 1 N 2 | U 2 k l π k l π k π l π k π l ( π k π l π ( K ) 2 1 ) y k y l | 1 N 2 U 2 k l | π k l π k π l π k π l | | π k π l π ( K ) 2 1 | | y k y l | K 2 N 2 1 K 2 U 2 k l | π k l π k π l π k π l | | y k y l | = O ( n 3 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaamaalaaabaWaaqWaaeaacaaMc8UaeuiLdq0aaSbaaSqaaiaaigda aeqaaOGaaGPaVdGaay5bSlaawIa7aaqaaiaad6eadaahaaWcbeqaai aaikdaaaaaaaGcbaGaeyypa0ZaaSaaaeaacaaIXaaabaGaamOtamaa CaaaleqabaGaaGOmaaaaaaGcdaabdaqaamaaxababaGaaGPaVlaayk W7daaeabqabSqabeqaniabggHiLdGcdaaeabqabSqabeqaniabggHi LdGcdaWgaaWcbaGaamyvamaaBaaameaacaaIYaaabeaaaSqabaaaba Gaam4AaiabgcMi5kaadYgaaeqaaOWaaSaaaeaacqaHapaCdaWgaaWc baGaam4AaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaaiaadU gaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaGcbaGaeqiWda3a aSbaaSqaaiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaa aakmaabmaabaWaaSaaaeaacqaHapaCdaWgaaWcbaGaam4AaaqabaGc cqaHapaCdaWgaaWcbaGaamiBaaqabaaakeaacqaHapaCdaqhaaWcba WaaeWaaeaacaWGlbaacaGLOaGaayzkaaaabaGaaGOmaaaaaaGccqGH sislcaaIXaaacaGLOaGaayzkaaGaamyEamaaBaaaleaacaWGRbaabe aakiaadMhadaWgaaWcbaGaamiBaaqabaGccaaMc8oacaGLhWUaayjc SdaabaaabaGaeyizIm6aaSaaaeaacaaIXaaabaGaamOtamaaCaaale qabaGaaGOmaaaaaaGcdaWfqaqaaiaaykW7caaMc8UaaGPaVpaaqaea beWcbeqab0GaeyyeIuoakmaaqaeabeWcbeqab0GaeyyeIuoakmaaBa aaleaacaWGvbWaaSbaaWqaaiaaikdaaeqaaaWcbeaaaeaacaWGRbGa eyiyIKRaamiBaaqabaGcdaabdaqaaiaaykW7daWcaaqaaiabec8aWn aaBaaaleaacaWGRbGaamiBaaqabaGccqGHsislcqaHapaCdaWgaaWc baGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaakeaacq aHapaCdaWgaaWcbaGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiB aaqabaaaaOGaaGPaVdGaay5bSlaawIa7aiaaykW7caaMc8+aaqWaae aacaaMc8+aaSaaaeaacqaHapaCdaWgaaWcbaGaam4AaaqabaGccqaH apaCdaWgaaWcbaGaamiBaaqabaaakeaacqaHapaCdaqhaaWcbaWaae WaaeaacaWGlbaacaGLOaGaayzkaaaabaGaaGOmaaaaaaGccqGHsisl caaIXaGaaGPaVdGaay5bSlaawIa7aiaaykW7caaMc8+aaqWaaeaaca aMc8UaamyEamaaBaaaleaacaWGRbaabeaakiaadMhadaWgaaWcbaGa amiBaaqabaGccaaMc8oacaGLhWUaayjcSdaabaaabaGaeyizIm6aaS aaaeaacaWGlbWaaWbaaSqabeaacaaIYaaaaaGcbaGaamOtamaaCaaa leqabaGaaGOmaaaaaaGcdaWcaaqaaiaaigdaaeaacaWGlbWaaWbaaS qabeaacaaIYaaaaaaakmaaxababaGaaGPaVlaaykW7caaMc8+aaabq aeqaleqabeqdcqGHris5aOWaaabqaeqaleqabeqdcqGHris5aOWaaS baaSqaaiaadwfadaWgaaadbaGaaGOmaaqabaaaleqaaaqaaiaadUga cqGHGjsUcaWGSbaabeaakmaaemaabaGaaGPaVpaalaaabaGaeqiWda 3aaSbaaSqaaiaadUgacaWGSbaabeaakiabgkHiTiabec8aWnaaBaaa leaacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGSbaabeaaaOqaai abec8aWnaaBaaaleaacaWGRbaabeaakiabec8aWnaaBaaaleaacaWG SbaabeaaaaGccaaMc8oacaGLhWUaayjcSdGaaGPaVlaaykW7daabda qaaiaadMhadaWgaaWcbaGaam4AaaqabaGccaWG5bWaaSbaaSqaaiaa dYgaaeqaaaGccaGLhWUaayjcSdGaaGypaiaad+eadaqadaqaaiaad6 gadaahaaWcbeqaaiabgkHiTiaaiodaaaaakiaawIcacaGLPaaacaaI Saaaaaaa@03A4@

où les troisième et quatrième étapes sont valides parce que λ π k π ( K ) 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaey izImQaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeyizImQaeqiWda3a aSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaGccqGHKj YOcaaIXaaaaa@4461@ pour chaque k U 2 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AaiabgI GiolaadwfadaWgaaWcbaGaaGOmaaqabaGccaGGSaaaaa@3A94@ K / N = O ( n 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSGbaeaaca WGlbaabaGaamOtaaaacaaI9aGaam4tamaabmaabaGaamOBamaaCaaa leqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaacYcaaaa@3E03@ et max k l U 2 | π k l π k π l | = O ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaubeaeqale aacaWGRbGaeyiyIKRaamiBaiabgIGiolaadwfadaWgaaadbaGaaGOm aaqabaaaleqakeaaciGGTbGaaiyyaiaacIhaaaWaaqWaaeaacaaMc8 UaeqiWda3aaSbaaSqaaiaadUgacaWGSbaabeaakiabgkHiTiabec8a WnaaBaaaleaacaWGRbaabeaakiabec8aWnaaBaaaleaacaWGSbaabe aakiaaykW7aiaawEa7caGLiWoacaaI9aGaam4tamaabmaabaGaamOB amaaCaaaleqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaac6 caaaa@571D@ De même, nous obtenons

| Δ 2 | N 2 = 1 N 2 | k U 1 l U 2 π k l π k π l π k π l ( π l π ( K ) 1 ) y k y l | 1 N 2 k U 1 l U 2 | π k l π k π l π k π l | | π l π ( K ) 1 | | y k y l | 1 N 2 k U 1 l U 2 | π k l π k π l π k π l | | y k y l | = O ( n 2 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaamaalaaabaWaaqWaaeaacaaMc8UaeuiLdq0aaSbaaSqaaiaaikda aeqaaOGaaGPaVdGaay5bSlaawIa7aaqaaiaad6eadaahaaWcbeqaai aaikdaaaaaaaGcbaGaaGypamaalaaabaGaaGymaaqaaiaad6eadaah aaWcbeqaaiaaikdaaaaaaOWaaqWaaeaacaaMc8+aaabuaeqaleaaca WGRbGaeyicI4SaamyvamaaBaaameaacaaIXaaabeaaaSqab0Gaeyye IuoakmaaqafabeWcbaGaamiBaiabgIGiolaadwfadaWgaaadbaGaaG OmaaqabaaaleqaniabggHiLdGcdaWcaaqaaiabec8aWnaaBaaaleaa caWGRbGaamiBaaqabaGccqGHsislcqaHapaCdaWgaaWcbaGaam4Aaa qabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaakeaacqaHapaCdaWg aaWcbaGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaaaO WaaeWaaeaadaWcaaqaaiabec8aWnaaBaaaleaacaWGSbaabeaaaOqa aiabec8aWnaaBaaaleaadaqadaqaaiaadUeaaiaawIcacaGLPaaaae qaaaaakiabgkHiTiaaigdaaiaawIcacaGLPaaacaWG5bWaaSbaaSqa aiaadUgaaeqaaOGaamyEamaaBaaaleaacaWGSbaabeaakiaaykW7ai aawEa7caGLiWoaaeaaaeaacqGHKjYOdaWcaaqaaiaaigdaaeaacaWG obWaaWbaaSqabeaacaaIYaaaaaaakmaaqafabeWcbaGaam4AaiabgI GiolaadwfadaWgaaadbaGaaGymaaqabaaaleqaniabggHiLdGcdaae qbqabSqaaiaadYgacqGHiiIZcaWGvbWaaSbaaWqaaiaaikdaaeqaaa WcbeqdcqGHris5aOWaaqWaaeaacaaMc8+aaSaaaeaacqaHapaCdaWg aaWcbaGaam4AaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaai aadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaGcbaGaeqiW da3aaSbaaSqaaiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaae qaaaaakiaaykW7aiaawEa7caGLiWoacaaMc8UaaGPaVpaaemaabaGa aGPaVpaalaaabaGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaGcbaGaeq iWda3aaSbaaSqaamaabmaabaGaam4saaGaayjkaiaawMcaaaqabaaa aOGaeyOeI0IaaGymaiaaykW7aiaawEa7caGLiWoacaaMc8UaaGPaVp aaemaabaGaaGPaVlaadMhadaWgaaWcbaGaam4AaaqabaGccaWG5bWa aSbaaSqaaiaadYgaaeqaaOGaaGPaVdGaay5bSlaawIa7aaqaaaqaai abgsMiJoaalaaabaGaaGymaaqaaiaad6eadaahaaWcbeqaaiaaikda aaaaaOWaaabuaeqaleaacaWGRbGaeyicI4SaamyvamaaBaaameaaca aIXaaabeaaaSqab0GaeyyeIuoakmaaqafabeWcbaGaamiBaiabgIGi olaadwfadaWgaaadbaGaaGOmaaqabaaaleqaniabggHiLdGcdaabda qaaiaaykW7daWcaaqaaiabec8aWnaaBaaaleaacaWGRbGaamiBaaqa baGccqGHsislcqaHapaCdaWgaaWcbaGaam4AaaqabaGccqaHapaCda WgaaWcbaGaamiBaaqabaaakeaacqaHapaCdaWgaaWcbaGaam4Aaaqa baGccqaHapaCdaWgaaWcbaGaamiBaaqabaaaaOGaaGPaVdGaay5bSl aawIa7aiaaykW7caaMc8+aaqWaaeaacaaMc8UaamyEamaaBaaaleaa caWGRbaabeaakiaadMhadaWgaaWcbaGaamiBaaqabaGccaaMc8oaca GLhWUaayjcSdGaaGypaiaad+eadaqadaqaaiaad6gadaahaaWcbeqa aiabgkHiTiaaikdaaaaakiaawIcacaGLPaaacaaISaaaaaaa@F930@

et | Δ 3 | N 2 = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSqaaSqaam aaemaabaGaaGPaVlabfs5aenaaBaaameaacaaIZaaabeaaliaaykW7 aiaawEa7caGLiWoaaeaacaWGobWaaWbaaWqabeaacaaIYaaaaaaaki aai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaacqGHsislcaaI YaaaaaGccaGLOaGaayzkaaGaaiOlaaaa@46C3@

Ainsi, avec F 3 F 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaIZaaabeaakiabgwMiZkaadAeadaWgaaWcbaGaaGymaaqa baGccaGGSaaaaa@3B94@ nous avons

EQM ( N 1 t ^ HTA ) EQM ( N 1 t ^ HT ) + o ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyraiaabg facaqGnbWaaeWaaeaacaWGobWaaWbaaSqabeaacqGHsislcaaIXaaa aOGabmiDayaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqabaaaki aawIcacaGLPaaacqGHKjYOcaqGfbGaaeyuaiaab2eadaqadaqaaiaa d6eadaahaaWcbeqaaiabgkHiTiaaigdaaaGcceWG0bGbaKaadaWgaa WcbaGaaeisaiaabsfaaeqaaaGccaGLOaGaayzkaaGaey4kaSIaam4B amaabmaabaGaamOBamaaCaaaleqabaGaeyOeI0IaaGymaaaaaOGaay jkaiaawMcaaiaai6caaaa@5215@

Pour le cas d’échantillonnage de Poisson, nous avons F 4 = F 2 = 0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOramaaBa aaleaacaaI0aaabeaakiaai2dacaWGgbWaaSbaaSqaaiaaikdaaeqa aOGaaGypaiaaicdacaGGUaaaaa@3C1A@ Par conséquent, pour l’échantillonnage de Poisson, nous obtenons

EQM ( N 1 t ^ HTA ) EQM ( N 1 t ^ HT ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyraiaabg facaqGnbWaaeWaaeaacaWGobWaaWbaaSqabeaacqGHsislcaaIXaaa aOGabmiDayaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqabaaaki aawIcacaGLPaaacqGHKjYOcaqGfbGaaeyuaiaab2eadaqadaqaaiaa d6eadaahaaWcbeqaaiabgkHiTiaaigdaaaGcceWG0bGbaKaadaWgaa WcbaGaaeisaiaabsfaaeqaaaGccaGLOaGaayzkaaGaaGOlaaaa@4BE4@

A.4  Démonstration du théorème 4

Soulignons d’abord que

( R ^ R ) 2 = ( t ^ y π R t ^ z π t ^ z π ) 2 = ( t ^ y π R t ^ z π ) 2 t z 2 ( t ^ z π 2 t z 2 ) ( t ^ y π R t ^ z π ) 2 t z 2 t ^ z π 2 I + III , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaace WGsbGbaKaacqGHsislcaWGsbaacaGLOaGaayzkaaWaaWbaaSqabeaa caaIYaaaaOGaaGypamaabmaabaWaaSaaaeaaceWG0bGbaKaadaWgaa WcbaGaamyEaiabec8aWbqabaGccqGHsislcaWGsbGabmiDayaajaWa aSbaaSqaaiaadQhacqaHapaCaeqaaaGcbaGabmiDayaajaWaaSbaaS qaaiaadQhacqaHapaCaeqaaaaaaOGaayjkaiaawMcaamaaCaaaleqa baGaaGOmaaaakiaai2dadaWcaaqaamaabmaabaGabmiDayaajaWaaS baaSqaaiaadMhacqaHapaCaeqaaOGaeyOeI0IaamOuaiqadshagaqc amaaBaaaleaacaWG6bGaeqiWdahabeaaaOGaayjkaiaawMcaamaaCa aaleqabaGaaGOmaaaaaOqaaiaadshadaqhaaWcbaGaamOEaaqaaiaa ikdaaaaaaOGaeyOeI0YaaSaaaeaadaqadaqaaiqadshagaqcamaaDa aaleaacaWG6bGaeqiWdahabaGaaGOmaaaakiabgkHiTiaadshadaqh aaWcbaGaamOEaaqaaiaaikdaaaaakiaawIcacaGLPaaadaqadaqaai qadshagaqcamaaBaaaleaacaWG5bGaeqiWdahabeaakiabgkHiTiaa dkfaceWG0bGbaKaadaWgaaWcbaGaamOEaiabec8aWbqabaaakiaawI cacaGLPaaadaahaaWcbeqaaiaaikdaaaaakeaacaWG0bWaa0baaSqa aiaadQhaaeaacaaIYaaaaOGaaGPaVlqadshagaqcamaaDaaaleaaca WG6bGaeqiWdahabaGaaGOmaaaaaaqeeuuDJXwAKbsr4rNCHbacfaGc cqWFCjcqcaqGjbGaey4kaSIaaeysaiaabMeacaqGjbGaaiilaaaa@86E2@

et

( R ^ * R ) 2 = ( t ^ y π * R t ^ z π t ^ z π * ) 2 = ( t ^ y π * R t ^ z π * ) 2 t z 2 ( t ^ z π * 2 t z 2 ) ( t ^ y π * R t ^ z π * ) 2 t z 2 t ^ z π * 2 II + IV . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaeWaaeaace WGsbGbaKaadaahaaWcbeqaaiaacQcaaaGccqGHsislcaWGsbaacaGL OaGaayzkaaWaaWbaaSqabeaacaaIYaaaaOGaaGypamaabmaabaWaaS aaaeaaceWG0bGbaKaadaqhaaWcbaGaamyEaiabec8aWbqaaiaacQca aaGccqGHsislcaWGsbGabmiDayaajaWaaSbaaSqaaiaadQhacqaHap aCaeqaaaGcbaGabmiDayaajaWaa0baaSqaaiaadQhacqaHapaCaeaa caGGQaaaaaaaaOGaayjkaiaawMcaamaaCaaaleqabaGaaGOmaaaaki aai2dadaWcaaqaamaabmaabaGabmiDayaajaWaa0baaSqaaiaadMha cqaHapaCaeaacaGGQaaaaOGaeyOeI0IaamOuaiqadshagaqcamaaDa aaleaacaWG6bGaeqiWdahabaGaaiOkaaaaaOGaayjkaiaawMcaamaa CaaaleqabaGaaGOmaaaaaOqaaiaadshadaqhaaWcbaGaamOEaaqaai aaikdaaaaaaOGaeyOeI0YaaSaaaeaadaqadaqaaiqadshagaqcamaa DaaaleaacaWG6bGaeqiWdahabaGaaiOkaiaaikdaaaGccqGHsislca WG0bWaa0baaSqaaiaadQhaaeaacaaIYaaaaaGccaGLOaGaayzkaaWa aeWaaeaaceWG0bGbaKaadaqhaaWcbaGaamyEaiabec8aWbqaaiaacQ caaaGccqGHsislcaWGsbGabmiDayaajaWaa0baaSqaaiaadQhacqaH apaCaeaacaGGQaaaaaGccaGLOaGaayzkaaWaaWbaaSqabeaacaaIYa aaaaGcbaGaamiDamaaDaaaleaacaWG6baabaGaaGOmaaaakiaaykW7 ceWG0bGbaKaadaqhaaWcbaGaamOEaiabec8aWbqaaiaacQcacaaIYa aaaaaarqqr1ngBPrgifHhDYfgaiuaakiab=XLiajaabMeacaqGjbGa ey4kaSIaaeysaiaabAfacaqGUaaaaa@8D4B@

Supposons que u k = y k R z k . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyDamaaBa aaleaacaWGRbaabeaakiaai2dacaWG5bWaaSbaaSqaaiaadUgaaeqa aOGaeyOeI0IaamOuaiaadQhadaWgaaWcbaGaam4AaaqabaGccaaIUa aaaa@3F50@ D’après le théorème 3, nous avons

N 2 E ( t ^ u * t u ) 2 N 2 E ( t ^ u t u ) 2 + o ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOtamaaCa aaleqabaGaeyOeI0IaaGOmaaaakiaadweadaqadaqaaiqadshagaqc amaaDaaaleaacaWG1baabaGaaiOkaaaakiabgkHiTiaadshadaWgaa WcbaGaamyDaaqabaaakiaawIcacaGLPaaadaahaaWcbeqaaiaaikda aaGccqGHKjYOcaWGobWaaWbaaSqabeaacqGHsislcaaIYaaaaOGaam yramaabmaabaGabmiDayaajaWaaSbaaSqaaiaadwhaaeqaaOGaeyOe I0IaamiDamaaBaaaleaacaWG1baabeaaaOGaayjkaiaawMcaamaaCa aaleqabaGaaGOmaaaakiabgUcaRiaad+gadaqadaqaaiaad6gadaah aaWcbeqaaiabgkHiTiaaigdaaaaakiaawIcacaGLPaaacaaIUaaaaa@5580@

Ainsi, pour les termes I et II, nous obtenons

E ( I ) E ( II ) + o ( n 1 ) . ( A .6 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaaeysaaGaayjkaiaawMcaaiabgsMiJkaadweadaqadaqaaiaa bMeacaqGjbaacaGLOaGaayzkaaGaey4kaSIaam4BamaabmaabaGaam OBamaaCaaaleqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaaiaa i6cacaaMf8UaaGzbVlaaywW7caaMf8UaaGzbVlaacIcacaqGbbGaae OlaiaabAdacaGGPaaaaa@5098@

Maintenant, nous devons prouver que les attentes de III et IV sont négligeables. Observez que,

| E ( III ) | = | E ( t ^ z π + t z ) ( t ^ z π t z ) ( t ^ y π R t ^ z π ) 2 t z 2 t ^ z π 2 | E | t ^ z π + t z | | t ^ z π t z | ( t ^ y π R t ^ z π ) 2 t z 2 t ^ z π 2 Z * + | t z | t z 2 Z * 2 E ( | t ^ z π t z | ( t ^ y π R t ^ z π ) 2 ) Z * + | t z | t z 2 Z * 2 E ( t ^ z π t z ) 2 E ( t ^ y π R t ^ z π ) 4 , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaWaaqWaaeaacaaMc8UaamyramaabmaabaGaaeysaiaabMeacaqG jbaacaGLOaGaayzkaaGaaGPaVdGaay5bSlaawIa7aaqaaiaai2dada abdaqaaiaaykW7caWGfbWaaSaaaeaadaqadaqaaiqadshagaqcamaa BaaaleaacaWG6bGaeqiWdahabeaakiabgUcaRiaadshadaWgaaWcba GaamOEaaqabaaakiaawIcacaGLPaaadaqadaqaaiqadshagaqcamaa BaaaleaacaWG6bGaeqiWdahabeaakiabgkHiTiaadshadaWgaaWcba GaamOEaaqabaaakiaawIcacaGLPaaadaqadaqaaiqadshagaqcamaa BaaaleaacaWG5bGaeqiWdahabeaakiabgkHiTiaadkfaceWG0bGbaK aadaWgaaWcbaGaamOEaiabec8aWbqabaaakiaawIcacaGLPaaadaah aaWcbeqaaiaaikdaaaaakeaacaWG0bWaa0baaSqaaiaadQhaaeaaca aIYaaaaOGaaGPaVlqadshagaqcamaaDaaaleaacaWG6bGaeqiWdaha baGaaGOmaaaaaaGccaaMc8oacaGLhWUaayjcSdaabaaabaGaeyizIm QaamyramaalaaabaWaaqWaaeaacaaMc8UabmiDayaajaWaaSbaaSqa aiaadQhacqaHapaCaeqaaOGaey4kaSIaamiDamaaBaaaleaacaWG6b aabeaakiaaykW7aiaawEa7caGLiWoacaaMc8UaaGPaVpaaemaabaGa aGPaVlqadshagaqcamaaBaaaleaacaWG6bGaeqiWdahabeaakiabgk HiTiaadshadaWgaaWcbaGaamOEaaqabaGccaaMc8oacaGLhWUaayjc SdGaaGPaVlaaykW7daqadaqaaiqadshagaqcamaaBaaaleaacaWG5b GaeqiWdahabeaakiabgkHiTiaadkfaceWG0bGbaKaadaWgaaWcbaGa amOEaiabec8aWbqabaaakiaawIcacaGLPaaadaahaaWcbeqaaiaaik daaaaakeaacaWG0bWaa0baaSqaaiaadQhaaeaacaaIYaaaaOGaaGPa VlqadshagaqcamaaDaaaleaacaWG6bGaeqiWdahabaGaaGOmaaaaaa aakeaaaeaacqGHKjYOdaWcaaqaaiaadQfadaahaaWcbeqaaiaacQca aaGccqGHRaWkdaabdaqaaiaaykW7caWG0bWaaSbaaSqaaiaadQhaae qaaOGaaGPaVdGaay5bSlaawIa7aaqaaiaadshadaqhaaWcbaGaamOE aaqaaiaaikdaaaGccaaMc8UaamOwamaaDaaaleaacaGGQaaabaGaaG OmaaaaaaGccaWGfbWaaeWaaeaadaabdaqaaiaaykW7ceWG0bGbaKaa daWgaaWcbaGaamOEaiabec8aWbqabaGccqGHsislcaWG0bWaaSbaaS qaaiaadQhaaeqaaOGaaGPaVdGaay5bSlaawIa7amaabmaabaGabmiD ayaajaWaaSbaaSqaaiaadMhacqaHapaCaeqaaOGaeyOeI0IaamOuai qadshagaqcamaaBaaaleaacaWG6bGaeqiWdahabeaaaOGaayjkaiaa wMcaamaaCaaaleqabaGaaGOmaaaaaOGaayjkaiaawMcaaaqaaaqaai abgsMiJoaalaaabaGaamOwamaaCaaaleqabaGaaiOkaaaakiabgUca RmaaemaabaGaaGPaVlaadshadaWgaaWcbaGaamOEaaqabaGccaaMc8 oacaGLhWUaayjcSdaabaGaamiDamaaDaaaleaacaWG6baabaGaaGOm aaaakiaaykW7caWGAbWaa0baaSqaaiaacQcaaeaacaaIYaaaaaaakm aakaaabaGaamyramaabmaabaGabmiDayaajaWaaSbaaSqaaiaadQha cqaHapaCaeqaaOGaeyOeI0IaamiDamaaBaaaleaacaWG6baabeaaaO GaayjkaiaawMcaamaaCaaaleqabaGaaGOmaaaakiaadweadaqadaqa aiqadshagaqcamaaBaaaleaacaWG5bGaeqiWdahabeaakiabgkHiTi aadkfaceWG0bGbaKaadaWgaaWcbaGaamOEaiabec8aWbqabaaakiaa wIcacaGLPaaadaahaaWcbeqaaiaaisdaaaaabeaakiaaiYcaaaaaaa@034D@

Z * = n N max k U ( z k π k ) , Z * = n N min k U ( z k π k ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOwamaaCa aaleqabaGaaiOkaaaakiaai2dadaWcbaWcbaGaamOBaaqaaiaad6ea aaGcdaqfqaqabSqaaiaadUgacqGHiiIZcaWGvbaabeGcbaGaciyBai aacggacaGG4baaamaabmaabaWaaSqaaSqaaiaadQhadaWgaaadbaGa am4AaaqabaaaleaacqaHapaCdaWgaaadbaGaam4AaaqabaaaaaGcca GLOaGaayzkaaGaaGilaiaaysW7caWGAbWaaSbaaSqaaiaacQcaaeqa aOGaaGypamaaleaaleaacaWGUbaabaGaamOtaaaakmaavababeWcba Gaam4AaiabgIGiolaadwfaaeqakeaaciGGTbGaaiyAaiaac6gaaaWa aeWaaeaadaWcbaWcbaGaamOEamaaBaaameaacaWGRbaabeaaaSqaai abec8aWnaaBaaameaacaWGRbaabeaaaaaakiaawIcacaGLPaaacaGG Uaaaaa@5BAE@ De même,

| E ( IV ) | Z ˜ * + | t z | t z 2 Z ˜ * 2 E ( t ^ z π * t z ) 2 E ( t ^ y π * R t ^ z π * ) 4 , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyramaabmaabaGaaeysaiaabAfaaiaawIcacaGLPaaacaaM c8oacaGLhWUaayjcSdGaeyizIm6aaSaaaeaaceWGAbGbaGaadaahaa WcbeqaaiaacQcaaaGccqGHRaWkdaabdaqaaiaaykW7caWG0bWaaSba aSqaaiaadQhaaeqaaOGaaGPaVdGaay5bSlaawIa7aaqaaiaadshada qhaaWcbaGaamOEaaqaaiaaikdaaaGccaaMc8UabmOwayaaiaWaa0ba aSqaaiaacQcaaeaacaaIYaaaaaaakmaakaaabaGaamyramaabmaaba GabmiDayaajaWaa0baaSqaaiaadQhacqaHapaCaeaacaGGQaaaaOGa eyOeI0IaamiDamaaBaaaleaacaWG6baabeaaaOGaayjkaiaawMcaam aaCaaaleqabaGaaGOmaaaakiaadweadaqadaqaaiqadshagaqcamaa DaaaleaacaWG5bGaeqiWdahabaGaaiOkaaaakiabgkHiTiaadkface WG0bGbaKaadaqhaaWcbaGaamOEaiabec8aWbqaaiaacQcaaaaakiaa wIcacaGLPaaadaahaaWcbeqaaiaaisdaaaaabeaakiaaiYcaaaa@6DE8@

Z ˜ * = n N max k U ( z k π k * ) , Z ˜ * = n N min k U ( z k π k * ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOwayaaia WaaWbaaSqabeaacaGGQaaaaOGaaGypamaaleaaleaacaWGUbaabaGa amOtaaaakmaavababeWcbaGaam4AaiabgIGiolaadwfaaeqakeaaci GGTbGaaiyyaiaacIhaaaWaaeWaaeaadaWcbaWcbaGaamOEamaaBaaa meaacaWGRbaabeaaaSqaaiabec8aWnaaDaaameaacaWGRbaabaGaai OkaaaaaaaakiaawIcacaGLPaaacaaISaGaaGjbVlqadQfagaacamaa BaaaleaacaaIQaaabeaakiaai2dadaWcbaWcbaGaamOBaaqaaiaad6 eaaaGcdaqfqaqabSqaaiaadUgacqGHiiIZcaWGvbaabeGcbaGaciyB aiaacMgacaGGUbaaamaabmaabaWaaSqaaSqaaiaadQhadaWgaaadba Gaam4AaaqabaaaleaacqaHapaCdaqhaaadbaGaam4AaaqaaiaacQca aaaaaaGccaGLOaGaayzkaaGaaiOlaaaa@5D30@

En utilisant le théorème 2 et le lemme 1, nous voyons que | E ( III ) | = O ( n 3 / 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyraiaaiIcacaqGjbGaaeysaiaabMeacaaIPaGaaGPaVdGa ay5bSlaawIa7aiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabe aadaWcgaqaaiabgkHiTiaaiodaaeaacaaIYaaaaaaaaOGaayjkaiaa wMcaaaaa@4739@ et | E ( IV ) | = O ( n 3 / 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyramaabmaabaGaaeysaiaabAfaaiaawIcacaGLPaaacaaM c8oacaGLhWUaayjcSdGaaGypaiaad+eadaqadaqaaiaad6gadaahaa WcbeqaamaalyaabaGaeyOeI0IaaG4maaqaaiaaikdaaaaaaaGccaGL OaGaayzkaaGaaGOlaaaa@4756@ en combinant ces deux instruments à l’équation (A.6), nous obtenons

EQM ( R ^ * ) EQM ( R ^ ) + o ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyraiaabg facaqGnbWaaeWaaeaaceWGsbGbaKaadaahaaWcbeqaaiaacQcaaaaa kiaawIcacaGLPaaacqGHKjYOcaqGfbGaaeyuaiaab2eadaqadaqaai qadkfagaqcaaGaayjkaiaawMcaaiabgUcaRiaad+gadaqadaqaaiaa d6gadaahaaWcbeqaaiabgkHiTiaaigdaaaaakiaawIcacaGLPaaaca aIUaaaaa@48DE@

Cela suppose que EQM ( N 1 Y ^ R * ) EQM ( N 1 Y ^ R ) + o ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaeyraiaabg facaqGnbWaaeWaaeaacaWGobWaaWbaaSqabeaacqGHsislcaaIXaaa aOGabmywayaajaWaa0baaSqaaiaadkfaaeaacaGGQaaaaaGccaGLOa GaayzkaaGaeyizImQaaeyraiaabgfacaqGnbWaaeWaaeaacaWGobWa aWbaaSqabeaacqGHsislcaaIXaaaaOGabmywayaajaWaaSbaaSqaai aadkfaaeqaaaGccaGLOaGaayzkaaGaey4kaSIaam4BamaabmaabaGa amOBamaaCaaaleqabaGaeyOeI0IaaGymaaaaaOGaayjkaiaawMcaai aac6caaaa@502F@

A.5  Discussion sur la condition C.4

Cas 1 : Échantillon aléatoire simple sans remise

Dans le cas de l’échantillonnage aléatoire simple sans remise, nous avons π i = n N MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgaaeqaaOGaaGypamaaleaaleaacaWGUbaabaGaamOt aaaaaaa@3B2E@ pour i U , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgI GiolaadwfacaGGSaaaaa@39A0@ π i j = n ( n 1 ) N ( N 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbaabeaakiaai2dadaWcbaWcbaGaamOBamaa bmaabaGaamOBaiabgkHiTiaaigdaaiaawIcacaGLPaaaaeaacaWGob WaaeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawMcaaaaaaaa@4445@ pour i j U , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHiiIZcaWGvbGaaiilaaaa@3C56@ π i j k = n ( n 1 ) ( n 2 ) N ( N 1 ) ( N 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaaqabaGccaaI9aWaaSqaaSqaaiaa d6gadaqadaqaaiaad6gacqGHsislcaaIXaaacaGLOaGaayzkaaWaae WaaeaacaWGUbGaeyOeI0IaaGOmaaGaayjkaiaawMcaaaqaaiaad6ea daqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaWaaeWaae aacaWGobGaeyOeI0IaaGOmaaGaayjkaiaawMcaaaaaaaa@4D5F@ pour i j k U , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHGjsUcaWGRbGaeyicI4SaamyvaiaacYcaaaa@3F0D@ et π i j k l = n ( n 1 ) ( n 2 ) ( n 3 ) N ( N 1 ) ( N 2 ) ( N 3 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaiaadYgaaeqaaOGaaGypamaaleaa leaacaWGUbWaaeWaaeaacaWGUbGaeyOeI0IaaGymaaGaayjkaiaawM caamaabmaabaGaamOBaiabgkHiTiaaikdaaiaawIcacaGLPaaadaqa daqaaiaad6gacqGHsislcaaIZaaacaGLOaGaayzkaaaabaGaamOtam aabmaabaGaamOtaiabgkHiTiaaigdaaiaawIcacaGLPaaadaqadaqa aiaad6eacqGHsislcaaIYaaacaGLOaGaayzkaaWaaeWaaeaacaWGob GaeyOeI0IaaG4maaGaayjkaiaawMcaaaaaaaa@567C@ pour i j k l U . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHGjsUcaWGRbGaeyiyIKRaamiBaiabgIGiolaadwfa caGGUaaaaa@41C7@ Il s’ensuit que

π i j k π i j π k = 2 n ( n 1 ) ( N n ) N 2 ( N 1 ) ( N 2 ) = O ( n 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaaqabaGccqGHsislcqaHapaCdaWg aaWcbaGaamyAaiaadQgaaeqaaOGaeqiWda3aaSbaaSqaaiaadUgaae qaaOGaaGypaiabgkHiTmaalaaabaGaaGOmaiaad6gadaqadaqaaiaa d6gacqGHsislcaaIXaaacaGLOaGaayzkaaWaaeWaaeaacaWGobGaey OeI0IaamOBaaGaayjkaiaawMcaaaqaaiaad6eadaahaaWcbeqaaiaa ikdaaaGcdaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaa WaaeWaaeaacaWGobGaeyOeI0IaaGOmaaGaayjkaiaawMcaaaaacaaI 9aGaam4tamaabmaabaGaamOBamaaCaaaleqabaGaeyOeI0IaaGymaa aaaOGaayjkaiaawMcaaiaaiYcaaaa@5E51@

où la dernière égalité provient de la condition C.3. Nous obtenons aussi

π i j k l 4 π i j k π l + 6 π i j π k π l 3 π i π j π k π l = ( π i j k l π i j k π l ) 3 ( π i j k π l π i j π k π l ) + 3 ( π i j π k π l π i π j π k π l ) = 3 n ( n 1 ) ( n 2 ) ( n N ) N 2 ( N 1 ) ( N 2 ) ( N 3 ) 6 n 2 ( n 1 ) ( n N ) N 3 ( N 1 ) ( N 2 ) + 3 n 3 ( n N ) N 4 ( N 1 ) = O ( n 2 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaacqaHap aCdaWgaaWcbaGaamyAaiaadQgacaWGRbGaamiBaaqabaGccqGHsisl caaI0aGaeqiWda3aaSbaaSqaaiaadMgacaWGQbGaam4AaaqabaGccq aHapaCdaWgaaWcbaGaamiBaaqabaGccqGHRaWkcaaI2aGaeqiWda3a aSbaaSqaaiaadMgacaWGQbaabeaakiabec8aWnaaBaaaleaacaWGRb aabeaakiabec8aWnaaBaaaleaacaWGSbaabeaakiabgkHiTiaaioda cqaHapaCdaWgaaWcbaGaamyAaaqabaGccqaHapaCdaWgaaWcbaGaam OAaaqabaGccqaHapaCdaWgaaWcbaGaam4AaaqabaGccqaHapaCdaWg aaWcbaGaamiBaaqabaaakeaafaqaaeWacaaabaGaaGzbVlaaywW7ca aMf8oabaGaaGypamaabmaabaGaeqiWda3aaSbaaSqaaiaadMgacaWG QbGaam4AaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaaiaadM gacaWGQbGaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaa kiaawIcacaGLPaaacqGHsislcaaIZaWaaeWaaeaacqaHapaCdaWgaa WcbaGaamyAaiaadQgacaWGRbaabeaakiabec8aWnaaBaaaleaacaWG SbaabeaakiabgkHiTiabec8aWnaaBaaaleaacaWGPbGaamOAaaqaba GccqaHapaCdaWgaaWcbaGaam4AaaqabaGccqaHapaCdaWgaaWcbaGa amiBaaqabaaakiaawIcacaGLPaaacqGHRaWkcaaIZaWaaeWaaeaacq aHapaCdaWgaaWcbaGaamyAaiaadQgaaeqaaOGaeqiWda3aaSbaaSqa aiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaOGaeyOeI0 IaeqiWda3aaSbaaSqaaiaadMgaaeqaaOGaeqiWda3aaSbaaSqaaiaa dQgaaeqaaOGaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeqiWda3aaS baaSqaaiaadYgaaeqaaaGccaGLOaGaayzkaaaabaGaaGzbVlaaywW7 caaMf8oabaGaaGypaiaaiodadaWcaaqaaiaad6gadaqadaqaaiaad6 gacqGHsislcaaIXaaacaGLOaGaayzkaaWaaeWaaeaacaWGUbGaeyOe I0IaaGOmaaGaayjkaiaawMcaamaabmaabaGaamOBaiabgkHiTiaad6 eaaiaawIcacaGLPaaaaeaacaWGobWaaWbaaSqabeaacaaIYaaaaOWa aeWaaeaacaWGobGaeyOeI0IaaGymaaGaayjkaiaawMcaamaabmaaba GaamOtaiabgkHiTiaaikdaaiaawIcacaGLPaaadaqadaqaaiaad6ea cqGHsislcaaIZaaacaGLOaGaayzkaaaaaiabgkHiTiaaiAdadaWcaa qaaiaad6gadaahaaWcbeqaaiaaikdaaaGcdaqadaqaaiaad6gacqGH sislcaaIXaaacaGLOaGaayzkaaWaaeWaaeaacaWGUbGaeyOeI0Iaam OtaaGaayjkaiaawMcaaaqaaiaad6eadaahaaWcbeqaaiaaiodaaaGc daqadaqaaiaad6eacqGHsislcaaIXaaacaGLOaGaayzkaaWaaeWaae aacaWGobGaeyOeI0IaaGOmaaGaayjkaiaawMcaaaaacqGHRaWkcaaI ZaWaaSaaaeaacaWGUbWaaWbaaSqabeaacaaIZaaaaOWaaeWaaeaaca WGUbGaeyOeI0IaamOtaaGaayjkaiaawMcaaaqaaiaad6eadaahaaWc beqaaiaaisdaaaGcdaqadaqaaiaad6eacqGHsislcaaIXaaacaGLOa GaayzkaaaaaaqaaiaaywW7caaMf8UaaGzbVdqaaiaai2dacaWGpbWa aeWaaeaacaWGUbWaaWbaaSqabeaacqGHsislcaaIYaaaaaGccaGLOa GaayzkaaGaaGilaaaaaaaa@F14A@

où la dernière égalité provient de la condition C.3. Ainsi, la condition C.4 s’applique à l’échantillonnage aléatoire simple sans remise.

Cas 2 : Échantillonnage de Poisson

À partir de l’indépendance de l’échantillonnage de Poisson, π i j = π i π j MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbaabeaakiaai2dacqaHapaCdaWgaaWcbaGa amyAaaqabaGccqaHapaCdaWgaaWcbaGaamOAaaqabaaaaa@3FF4@ pour i j U , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHiiIZcaWGvbGaaiilaaaa@3C56@ π i j k = π i π j π k MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaaqabaGccaaI9aGaeqiWda3aaSba aSqaaiaadMgaaeqaaOGaeqiWda3aaSbaaSqaaiaadQgaaeqaaOGaeq iWda3aaSbaaSqaaiaadUgaaeqaaaaa@43C7@ pour i j k U , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHGjsUcaWGRbGaeyicI4SaamyvaiaacYcaaaa@3F0C@ et π i j k l = π i π j π k π l MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaiaadYgaaeqaaOGaaGypaiabec8a WnaaBaaaleaacaWGPbaabeaakiabec8aWnaaBaaaleaacaWGQbaabe aakiabec8aWnaaBaaaleaacaWGRbaabeaakiabec8aWnaaBaaaleaa caWGSbaabeaaaaa@479C@ pour i j k l U . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyAaiabgc Mi5kaadQgacqGHGjsUcaWGRbGaeyiyIKRaamiBaiabgIGiolaadwfa caGGUaaaaa@41C7@ Par conséquent, π i j k π i j π k = 0, MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaaqabaGccqGHsislcqaHapaCdaWg aaWcbaGaamyAaiaadQgaaeqaaOGaeqiWda3aaSbaaSqaaiaadUgaae qaaOGaaGypaiaaicdacaaISaaaaa@443B@ et π i j k l 4 π i j k π l + 6 π i j π k π l 3 π i π j π k π l = 0. MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqiWda3aaS baaSqaaiaadMgacaWGQbGaam4AaiaadYgaaeqaaOGaeyOeI0IaaGin aiabec8aWnaaBaaaleaacaWGPbGaamOAaiaadUgaaeqaaOGaeqiWda 3aaSbaaSqaaiaadYgaaeqaaOGaey4kaSIaaGOnaiabec8aWnaaBaaa leaacaWGPbGaamOAaaqabaGccqaHapaCdaWgaaWcbaGaam4Aaaqaba GccqaHapaCdaWgaaWcbaGaamiBaaqabaGccqGHsislcaaIZaGaeqiW da3aaSbaaSqaaiaadMgaaeqaaOGaeqiWda3aaSbaaSqaaiaadQgaae qaaOGaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeqiWda3aaSbaaSqa aiaadYgaaeqaaOGaaGypaiaaicdacaGGUaaaaa@5F44@ Il s’ensuit que l’échantillonnage de Poisson satisfait à la condition C.4.

A.6  Un lemme pour prouver le théorème 4

Lemme 1. Pour l’estimateur HT t ¯ ^ H T MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaary aajaWaaSbaaSqaaiaadIeacaWGubaabeaaaaa@3896@  et l’estimateur HTA t ¯ ^ H T A , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaary aajaWaaSbaaSqaaiaadIeacaWGubGaamyqaaqabaGccaGGSaaaaa@3A16@  dans les conditions C.1 à C.4, nous avons

E ( t ¯ ^ H T t ¯ ) 4 = O ( n 2 ) , e t E ( t ¯ ^ H T A t ¯ ) 4 = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaadIeacaWGubaabeaakiab gkHiTiqadshagaqeaaGaayjkaiaawMcaamaaCaaaleqabaGaaGinaa aakiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaacqGHsisl caaIYaaaaaGccaGLOaGaayzkaaGaaGilaiaaysW7caaMe8UaaGjbVl aadwgacaWG0bGaaGjbVlaaysW7caaMe8UaamyramaabmaabaGabmiD ayaaryaajaWaaSbaaSqaaiaadIeacaWGubGaamyqaaqabaGccqGHsi slceWG0bGbaebaaiaawIcacaGLPaaadaahaaWcbeqaaiaaisdaaaGc caaI9aGaam4tamaabmaabaGaamOBamaaCaaaleqabaGaeyOeI0IaaG OmaaaaaOGaayjkaiaawMcaaiaai6caaaa@5F7B@

Preuve. Soulignons que

t ¯ ^ HT t ¯ = 1 N U I k π k π k y k 1 N U J k y k , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaary aajaWaaSbaaSqaaiaabIeacaqGubaabeaakiabgkHiTiqadshagaqe aiaai2dadaWcaaqaaiaaigdaaeaacaWGobaaamaaqaeabeWcbeqab0 GaeyyeIuoakmaaBaaaleaacaWGvbaabeaakmaalaaabaGaamysamaa BaaaleaacaWGRbaabeaakiabgkHiTiabec8aWnaaBaaaleaacaWGRb aabeaaaOqaaiabec8aWnaaBaaaleaacaWGRbaabeaaaaGccaWG5bWa aSbaaSqaaiaadUgaaeqaaebbfv3ySLgzGueE0jxyaGqbaOGae8hxIa 0aaSaaaeaacaaIXaaabaGaamOtaaaadaaeabqabSqabeqaniabggHi LdGcdaWgaaWcbaGaamyvaaqabaGccaWGkbWaaSbaaSqaaiaadUgaae qaaOGaamyEamaaBaaaleaacaWGRbaabeaakiaaiYcaaaa@5A83@

nous avons

( t ¯ ^ HT t ¯ ) 4 = 1 N 4 k l i j ( J k y k ) ( J l y l ) ( J i y i ) ( J j y j ) = 1 N 4 U ( J k y k ) 4 + 4 N 4 k l ( J k y k ) 3 ( J l y l ) + 3 N 4 k l ( J k y k ) 2 ( J l y l ) 2 + 6 N 4 i k l ( J i y i ) 2 ( J k y k ) ( J l y l ) + 1 N 4 i j k l ( J i y i ) ( J j y j ) ( J k y k ) ( J l y l ) I + II + III + IV + V . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpu0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaa aabaWaaeWaaeaaceWG0bGbaeHbaKaadaWgaaWcbaGaaeisaiaabsfa aeqaaOGaeyOeI0IabmiDayaaraaacaGLOaGaayzkaaWaaWbaaSqabe aacaaI0aaaaaGcbaGaaGypamaalaaabaGaaGymaaqaaiaad6eadaah aaWcbeqaaiaaisdaaaaaaOWaaabuaeqaleaacaWGRbaabeqdcqGHri s5aOWaaabuaeqaleaacaWGSbaabeqdcqGHris5aOWaaabuaeqaleaa caWGPbaabeqdcqGHris5aOWaaabuaeqaleaacaWGQbaabeqdcqGHri s5aOWaaeWaaeaacaWGkbWaaSbaaSqaaiaadUgaaeqaaOGaamyEamaa BaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaamaabmaabaGaamOsam aaBaaaleaacaWGSbaabeaakiaadMhadaWgaaWcbaGaamiBaaqabaaa kiaawIcacaGLPaaadaqadaqaaiaadQeadaWgaaWcbaGaamyAaaqaba GccaWG5bWaaSbaaSqaaiaadMgaaeqaaaGccaGLOaGaayzkaaWaaeWa aeaacaWGkbWaaSbaaSqaaiaadQgaaeqaaOGaamyEamaaBaaaleaaca WGQbaabeaaaOGaayjkaiaawMcaaaqaaaqaaiaai2dadaWcaaqaaiaa igdaaeaacaWGobWaaWbaaSqabeaacaaI0aaaaaaakmaaqafabeWcba Gaamyvaaqab0GaeyyeIuoakmaabmaabaGaamOsamaaBaaaleaacaWG RbaabeaakiaadMhadaWgaaWcbaGaam4AaaqabaaakiaawIcacaGLPa aadaahaaWcbeqaaiaaisdaaaGccqGHRaWkdaWcaaqaaiaaisdaaeaa caWGobWaaWbaaSqabeaacaaI0aaaaaaakmaaqafabeWcbaGaam4Aai abgcMi5kaadYgaaeqaniabggHiLdGcdaqadaqaaiaadQeadaWgaaWc baGaam4AaaqabaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaaGccaGLOa GaayzkaaWaaWbaaSqabeaacaaIZaaaaOWaaeWaaeaacaWGkbWaaSba aSqaaiaadYgaaeqaaOGaamyEamaaBaaaleaacaWGSbaabeaaaOGaay jkaiaawMcaaiabgUcaRmaalaaabaGaaG4maaqaaiaad6eadaahaaWc beqaaiaaisdaaaaaaOWaaabuaeqaleaacaWGRbGaeyiyIKRaamiBaa qab0GaeyyeIuoakmaabmaabaGaamOsamaaBaaaleaacaWGRbaabeaa kiaadMhadaWgaaWcbaGaam4AaaqabaaakiaawIcacaGLPaaadaahaa WcbeqaaiaaikdaaaGcdaqadaqaaiaadQeadaWgaaWcbaGaamiBaaqa baGccaWG5bWaaSbaaSqaaiaadYgaaeqaaaGccaGLOaGaayzkaaWaaW baaSqabeaacaaIYaaaaaGcbaaabaGaey4kaSYaaSaaaeaacaaI2aaa baGaamOtamaaCaaaleqabaGaaGinaaaaaaGcdaaeqbqabSqaaiaadM gacqGHGjsUcaWGRbGaeyiyIKRaamiBaaqab0GaeyyeIuoakmaabmaa baGaamOsamaaBaaaleaacaWGPbaabeaakiaadMhadaWgaaWcbaGaam yAaaqabaaakiaawIcacaGLPaaadaahaaWcbeqaaiaaikdaaaGcdaqa daqaaiaadQeadaWgaaWcbaGaam4AaaqabaGccaWG5bWaaSbaaSqaai aadUgaaeqaaaGccaGLOaGaayzkaaWaaeWaaeaacaWGkbWaaSbaaSqa aiaadYgaaeqaaOGaamyEamaaBaaaleaacaWGSbaabeaaaOGaayjkai aawMcaaiabgUcaRmaalaaabaGaaGymaaqaaiaad6eadaahaaWcbeqa aiaaisdaaaaaaOWaaabuaeqaleaacaWGPbGaeyiyIKRaamOAaiabgc Mi5kaadUgacqGHGjsUcaWGSbaabeqdcqGHris5aOWaaeWaaeaacaWG kbWaaSbaaSqaaiaadMgaaeqaaOGaamyEamaaBaaaleaacaWGPbaabe aaaOGaayjkaiaawMcaamaabmaabaGaamOsamaaBaaaleaacaWGQbaa beaakiaadMhadaWgaaWcbaGaamOAaaqabaaakiaawIcacaGLPaaada qadaqaaiaadQeadaWgaaWcbaGaam4AaaqabaGccaWG5bWaaSbaaSqa aiaadUgaaeqaaaGccaGLOaGaayzkaaWaaeWaaeaacaWGkbWaaSbaaS qaaiaadYgaaeqaaOGaamyEamaaBaaaleaacaWGSbaabeaaaOGaayjk aiaawMcaaaqaaaqaaebbfv3ySLgzGueE0jxyaGqbaiab=XLiajaabM eacqGHRaWkcaqGjbGaaeysaiabgUcaRiaabMeacaqGjbGaaeysaiab gUcaRiaabMeacaqGwbGaey4kaSIaaeOvaiaac6caaaaaaa@F0F0@

Pour le premier terme I, en utilisant λ π k 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaey izImQaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeyizImQaaGymaaaa @3E60@ et | I k π k | 1 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamysamaaBaaaleaacaWGRbaabeaakiabgkHiTiabec8aWnaa BaaaleaacaWGRbaabeaakiaaykW7aiaawEa7caGLiWoacqGHKjYOca aIXaaaaa@4410@ pour k U , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4AaiabgI GiolaadwfacaGGSaaaaa@39A2@ nous obtenons

| E ( I ) | = E ( 1 N 4 U ( J k y k ) 4 ) = 1 N 4 U ( y k π k ) 4 E ( I k π k ) 4 1 N 4 U ( y k π k ) 4 = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyramaabmaabaGaamysaaGaayjkaiaawMcaaiaaykW7aiaa wEa7caGLiWoacaaI9aGaamyramaabmaabaWaaSaaaeaacaaIXaaaba GaamOtamaaCaaaleqabaGaaGinaaaaaaGcdaaeqbqabSqaaiaadwfa aeqaniabggHiLdGcdaqadaqaaiaadQeadaWgaaWcbaGaam4Aaaqaba GccaWG5bWaaSbaaSqaaiaadUgaaeqaaaGccaGLOaGaayzkaaWaaWba aSqabeaacaaI0aaaaaGccaGLOaGaayzkaaGaaGypamaalaaabaGaaG ymaaqaaiaad6eadaahaaWcbeqaaiaaisdaaaaaaOWaaabuaeqaleaa caWGvbaabeqdcqGHris5aOWaaeWaaeaadaWcaaqaaiaadMhadaWgaa WcbaGaam4AaaqabaaakeaacqaHapaCdaWgaaWcbaGaam4Aaaqabaaa aaGccaGLOaGaayzkaaWaaWbaaSqabeaacaaI0aaaaOGaamyramaabm aabaGaamysamaaBaaaleaacaWGRbaabeaakiabgkHiTiabec8aWnaa BaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaamaaCaaaleqabaGaaG inaaaakiabgsMiJoaalaaabaGaaGymaaqaaiaad6eadaahaaWcbeqa aiaaisdaaaaaaOWaaabuaeqaleaacaWGvbaabeqdcqGHris5aOWaae WaaeaadaWcaaqaaiaadMhadaWgaaWcbaGaam4AaaqabaaakeaacqaH apaCdaWgaaWcbaGaam4AaaqabaaaaaGccaGLOaGaayzkaaWaaWbaaS qabeaacaaI0aaaaOGaaGypaiaad+eacaaIOaGaamOBamaaCaaaleqa baGaeyOeI0IaaGOmaaaakiaaiMcacaaIUaaaaa@7ABB@

Pour les termes II et III, nous avons

| E ( J k 3 J l ) | = | 1 π k 3 π l E [ ( I k π k ) 3 ( I l π l ) ] | 1 π k 3 π l E [ | I k π k | 3 | I l π l | ] 1 π k 3 π l 1 λ 4 , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyraiaaiIcacaWGkbWaa0baaSqaaiaadUgaaeaacaaIZaaa aOGaamOsamaaBaaaleaacaWGSbaabeaakiaaiMcacaaMc8oacaGLhW UaayjcSdGaaGypamaaemaabaGaaGPaVpaalaaabaGaaGymaaqaaiab ec8aWnaaDaaaleaacaWGRbaabaGaaG4maaaakiabec8aWnaaBaaale aacaWGSbaabeaaaaGccaWGfbWaamWaaeaadaqadaqaaiaadMeadaWg aaWcbaGaam4AaaqabaGccqGHsislcqaHapaCdaWgaaWcbaGaam4Aaa qabaaakiaawIcacaGLPaaadaahaaWcbeqaaiaaiodaaaGcdaqadaqa aiaadMeadaWgaaWcbaGaamiBaaqabaGccqGHsislcqaHapaCdaWgaa WcbaGaamiBaaqabaaakiaawIcacaGLPaaaaiaawUfacaGLDbaacaaM c8oacaGLhWUaayjcSdGaeyizIm6aaSaaaeaacaaIXaaabaGaeqiWda 3aa0baaSqaaiaadUgaaeaacaaIZaaaaOGaeqiWda3aaSbaaSqaaiaa dYgaaeqaaaaakiaadweadaWadaqaaiaaykW7daabdaqaaiaaykW7ca WGjbWaaSbaaSqaaiaadUgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqa aiaadUgaaeqaaOGaaGPaVdGaay5bSlaawIa7amaaCaaaleqabaGaaG 4maaaakmaaemaabaGaaGPaVlaadMeadaWgaaWcbaGaamiBaaqabaGc cqGHsislcqaHapaCdaWgaaWcbaGaamiBaaqabaGccaaMc8oacaGLhW UaayjcSdGaaGPaVdGaay5waiaaw2faaiabgsMiJoaalaaabaGaaGym aaqaaiabec8aWnaaDaaaleaacaWGRbaabaGaaG4maaaakiabec8aWn aaBaaaleaacaWGSbaabeaaaaGccqGHKjYOdaWcaaqaaiaaigdaaeaa cqaH7oaBdaahaaWcbeqaaiaaisdaaaaaaOGaaGilaaaa@99F7@

et

E ( J k 2 J l 2 ) = 1 π k 2 π l 2 E [ ( I k π k ) 2 ( I l π l ) 2 ] 1 π k 2 π l 2 1 λ 4 . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamOsamaaDaaaleaacaWGRbaabaGaaGOmaaaakiaadQeadaqh aaWcbaGaamiBaaqaaiaaikdaaaaakiaawIcacaGLPaaacaaI9aWaaS aaaeaacaaIXaaabaGaeqiWda3aa0baaSqaaiaadUgaaeaacaaIYaaa aOGaeqiWda3aa0baaSqaaiaadYgaaeaacaaIYaaaaaaakiaadweada WadaqaamaabmaabaGaamysamaaBaaaleaacaWGRbaabeaakiabgkHi Tiabec8aWnaaBaaaleaacaWGRbaabeaaaOGaayjkaiaawMcaamaaCa aaleqabaGaaGOmaaaakmaabmaabaGaamysamaaBaaaleaacaWGSbaa beaakiabgkHiTiabec8aWnaaBaaaleaacaWGSbaabeaaaOGaayjkai aawMcaamaaCaaaleqabaGaaGOmaaaaaOGaay5waiaaw2faaiabgsMi JoaalaaabaGaaGymaaqaaiabec8aWnaaDaaaleaacaWGRbaabaGaaG Omaaaakiabec8aWnaaDaaaleaacaWGSbaabaGaaGOmaaaaaaGccqGH KjYOdaWcaaqaaiaaigdaaeaacqaH7oaBdaahaaWcbeqaaiaaisdaaa aaaOGaaGOlaaaa@690E@

Par conséquent, | E ( II ) | = O ( n 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyramaabmaabaGaaeysaiaabMeaaiaawIcacaGLPaaacaaM c8oacaGLhWUaayjcSdGaaGypaiaad+eadaqadaqaaiaad6gadaahaa WcbeqaaiabgkHiTiaaikdaaaaakiaawIcacaGLPaaaaaa@45BE@ et | E ( III ) | = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyraiaaiIcacaqGjbGaaeysaiaabMeacaaIPaGaaGPaVdGa ay5bSlaawIa7aiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabe aacqGHsislcaaIYaaaaaGccaGLOaGaayzkaaGaaiOlaaaa@4718@ Pour le quatrième terme IV, nous avons

| E ( J i 2 J k J l ) | = 1 π i 2 π k π l | E [ ( I i π i ) 2 ( I k π k ) ( I l π l ) ] | = 1 π i 2 π k π l | ( 1 2 π i ) [ ( π i k l π i k π l ) π k ( π i l π i π l ) ] + π i 2 ( π k l π k π l ) | = O ( n 1 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabmGaaa qaamaaemaabaGaaGPaVlaadweadaqadaqaaiaadQeadaqhaaWcbaGa amyAaaqaaiaaikdaaaGccaWGkbWaaSbaaSqaaiaadUgaaeqaaOGaam OsamaaBaaaleaacaWGSbaabeaaaOGaayjkaiaawMcaaiaaykW7aiaa wEa7caGLiWoaaeaacaaI9aWaaSaaaeaacaaIXaaabaGaeqiWda3aa0 baaSqaaiaadMgaaeaacaaIYaaaaOGaeqiWda3aaSbaaSqaaiaadUga aeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaaakmaaemaabaGaaG PaVlaadweadaWadaqaamaabmaabaGaamysamaaBaaaleaacaWGPbaa beaakiabgkHiTiabec8aWnaaBaaaleaacaWGPbaabeaaaOGaayjkai aawMcaamaaCaaaleqabaGaaGOmaaaakmaabmaabaGaamysamaaBaaa leaacaWGRbaabeaakiabgkHiTiabec8aWnaaBaaaleaacaWGRbaabe aaaOGaayjkaiaawMcaamaabmaabaGaamysamaaBaaaleaacaWGSbaa beaakiabgkHiTiabec8aWnaaBaaaleaacaWGSbaabeaaaOGaayjkai aawMcaaaGaay5waiaaw2faaiaaykW7aiaawEa7caGLiWoaaeaaaeaa caaI9aWaaSaaaeaacaaIXaaabaGaeqiWda3aa0baaSqaaiaadMgaae aacaaIYaaaaOGaeqiWda3aaSbaaSqaaiaadUgaaeqaaOGaeqiWda3a aSbaaSqaaiaadYgaaeqaaaaakmaaemaabaGaaGPaVpaabmaabaGaaG ymaiabgkHiTiaaikdacqaHapaCdaWgaaWcbaGaamyAaaqabaaakiaa wIcacaGLPaaadaWadaqaamaabmaabaGaeqiWda3aaSbaaSqaaiaadM gacaWGRbGaamiBaaqabaGccqGHsislcqaHapaCdaWgaaWcbaGaamyA aiaadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaGccaGLOa GaayzkaaGaeyOeI0IaeqiWda3aaSbaaSqaaiaadUgaaeqaaOWaaeWa aeaacqaHapaCdaWgaaWcbaGaamyAaiaadYgaaeqaaOGaeyOeI0Iaeq iWda3aaSbaaSqaaiaadMgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYga aeqaaaGccaGLOaGaayzkaaaacaGLBbGaayzxaaGaey4kaSIaeqiWda 3aa0baaSqaaiaadMgaaeaacaaIYaaaaOWaaeWaaeaacqaHapaCdaWg aaWcbaGaam4AaiaadYgaaeqaaOGaeyOeI0IaeqiWda3aaSbaaSqaai aadUgaaeqaaOGaeqiWda3aaSbaaSqaaiaadYgaaeqaaaGccaGLOaGa ayzkaaGaaGPaVdGaay5bSlaawIa7aaqaaaqaaiaai2dacaWGpbWaae WaaeaacaWGUbWaaWbaaSqabeaacqGHsislcaaIXaaaaaGccaGLOaGa ayzkaaGaaGilaaaaaaa@BE94@

où la dernière étape provient des conditions C.1 et C.4. Cela implique que | E ( IV ) | = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaqWaaeaaca aMc8UaamyramaabmaabaGaaeysaiaabAfaaiaawIcacaGLPaaacaaM c8oacaGLhWUaayjcSdGaaGypaiaad+eadaqadaqaaiaad6gadaahaa WcbeqaaiabgkHiTiaaikdaaaaakiaawIcacaGLPaaacaGGUaaaaa@467D@ Pour le dernier semestre V, nous avons

1 N 4 E ( i j k l ( J i y i ) ( J j y j ) ( J k y k ) ( J l y l ) ) = 1 N 4 i j k l π i j k l 4 π i j k π l + 6 π i j π k π l 3 π i π j π k π l π i π j π k π l y i y j y k y l = O ( n 2 ) , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGceaqabeaadaWcaa qaaiaaigdaaeaacaWGobWaaWbaaSqabeaacaaI0aaaaaaakiaadwea daqadaqaamaaqafabeWcbaGaamyAaiabgcMi5kaadQgacqGHGjsUca WGRbGaeyiyIKRaamiBaaqab0GaeyyeIuoakmaabmaabaGaamOsamaa BaaaleaacaWGPbaabeaakiaadMhadaWgaaWcbaGaamyAaaqabaaaki aawIcacaGLPaaadaqadaqaaiaadQeadaWgaaWcbaGaamOAaaqabaGc caWG5bWaaSbaaSqaaiaadQgaaeqaaaGccaGLOaGaayzkaaWaaeWaae aacaWGkbWaaSbaaSqaaiaadUgaaeqaaOGaamyEamaaBaaaleaacaWG RbaabeaaaOGaayjkaiaawMcaamaabmaabaGaamOsamaaBaaaleaaca WGSbaabeaakiaadMhadaWgaaWcbaGaamiBaaqabaaakiaawIcacaGL PaaaaiaawIcacaGLPaaaaeaafaqaaeGacaaabaGaaGzbVlaaywW7ca aMf8oabaGaaGypamaalaaabaGaaGymaaqaaiaad6eadaahaaWcbeqa aiaaisdaaaaaaOWaaabuaeqaleaacaWGPbGaeyiyIKRaamOAaiabgc Mi5kaadUgacqGHGjsUcaWGSbaabeqdcqGHris5aOWaaSaaaeaacqaH apaCdaWgaaWcbaGaamyAaiaadQgacaWGRbGaamiBaaqabaGccqGHsi slcaaI0aGaeqiWda3aaSbaaSqaaiaadMgacaWGQbGaam4AaaqabaGc cqaHapaCdaWgaaWcbaGaamiBaaqabaGccqGHRaWkcaaI2aGaeqiWda 3aaSbaaSqaaiaadMgacaWGQbaabeaakiabec8aWnaaBaaaleaacaWG Rbaabeaakiabec8aWnaaBaaaleaacaWGSbaabeaakiabgkHiTiaaio dacqaHapaCdaWgaaWcbaGaamyAaaqabaGccqaHapaCdaWgaaWcbaGa amOAaaqabaGccqaHapaCdaWgaaWcbaGaam4AaaqabaGccqaHapaCda WgaaWcbaGaamiBaaqabaaakeaacqaHapaCdaWgaaWcbaGaamyAaaqa baGccqaHapaCdaWgaaWcbaGaamOAaaqabaGccqaHapaCdaWgaaWcba Gaam4AaaqabaGccqaHapaCdaWgaaWcbaGaamiBaaqabaaaaOGaamyE amaaBaaaleaacaWGPbaabeaakiaadMhadaWgaaWcbaGaamOAaaqaba GccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGaamyEamaaBaaaleaacaWG SbaabeaaaOqaaiaaywW7caaMf8UaaGzbVdqaaiaai2dacaWGpbWaae WaaeaacaWGUbWaaWbaaSqabeaacqGHsislcaaIYaaaaaGccaGLOaGa ayzkaaGaaGilaaaaaaaa@B695@

où la dernière étape provient des conditions C.1 et C.4. Donc, E ( t ¯ ^ HT t ¯ ) 4 = O ( n 2 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaabIeacaqGubaabeaakiab gkHiTiqadshagaqeaaGaayjkaiaawMcaamaaCaaaleqabaGaaGinaa aakiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaacqGHsisl caaIYaaaaaGccaGLOaGaayzkaaaaaa@43D9@ prévaut.

Ensuite, nous prouverons que E ( t ¯ ^ HTA t ¯ ) 4 = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqa baGccqGHsislceWG0bGbaebaaiaawIcacaGLPaaadaahaaWcbeqaai aaisdaaaGccaaI9aGaam4tamaabmaabaGaamOBamaaCaaaleqabaGa eyOeI0IaaGOmaaaaaOGaayjkaiaawMcaaiaac6caaaa@454F@ En observant que

t ¯ ^ HTA t ¯ = 1 N U I k π k * π k * y k = 1 N U I k π k π k * y k + 1 N U π k π k * π k * y k A + Δ , MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiDayaary aajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqabaGccqGHsislceWG 0bGbaebacaaI9aWaaSaaaeaacaaIXaaabaGaamOtaaaadaaeqbqabS qaaiaadwfaaeqaniabggHiLdGcdaWcaaqaaiaadMeadaWgaaWcbaGa am4AaaqabaGccqGHsislcqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQ caaaaakeaacqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQcaaaaaaOGa amyEamaaBaaaleaacaWGRbaabeaakiaai2dadaWcaaqaaiaaigdaae aacaWGobaaamaaqafabeWcbaGaamyvaaqab0GaeyyeIuoakmaalaaa baGaamysamaaBaaaleaacaWGRbaabeaakiabgkHiTiabec8aWnaaBa aaleaacaWGRbaabeaaaOqaaiabec8aWnaaDaaaleaacaWGRbaabaGa aiOkaaaaaaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaOGaey4kaSYaaS aaaeaacaaIXaaabaGaamOtaaaadaaeqbqabSqaaiaadwfaaeqaniab ggHiLdGcdaWcaaqaaiabec8aWnaaBaaaleaacaWGRbaabeaakiabgk HiTiabec8aWnaaDaaaleaacaWGRbaabaGaaiOkaaaaaOqaaiabec8a WnaaDaaaleaacaWGRbaabaGaaiOkaaaaaaGccaWG5bWaaSbaaSqaai aadUgaaeqaaebbfv3ySLgzGueE0jxyaGqbaOGae8hxIaKaamyqaiab gUcaRiabfs5aejaaiYcaaaa@7A4D@

nous avons

E ( t ¯ ^ HTA t ¯ ) 4 = E ( A + Δ ) 4 = E ( A 4 ) + 4 Δ E ( A 3 ) + 6 Δ 2 E ( A 2 ) + 4 Δ 3 E ( A ) + Δ 4 . ( A .7 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqa baGccqGHsislceWG0bGbaebaaiaawIcacaGLPaaadaahaaWcbeqaai aaisdaaaGccaaI9aGaamyramaabmaabaGaamyqaiabgUcaRiabfs5a ebGaayjkaiaawMcaamaaCaaaleqabaGaaGinaaaakiaai2dacaWGfb WaaeWaaeaacaWGbbWaaWbaaSqabeaacaaI0aaaaaGccaGLOaGaayzk aaGaey4kaSIaaGinaiabfs5aejaadweadaqadaqaaiaadgeadaahaa WcbeqaaiaaiodaaaaakiaawIcacaGLPaaacqGHRaWkcaaI2aGaeuiL dq0aaWbaaSqabeaacaaIYaaaaOGaamyramaabmaabaGaamyqamaaCa aaleqabaGaaGOmaaaaaOGaayjkaiaawMcaaiabgUcaRiaaisdacqqH uoardaahaaWcbeqaaiaaiodaaaGccaWGfbWaaeWaaeaacaWGbbaaca GLOaGaayzkaaGaey4kaSIaeuiLdq0aaWbaaSqabeaacaaI0aaaaOGa aGOlaiaaywW7caaMf8UaaGzbVlaacIcacaqGbbGaaeOlaiaabEdaca GGPaaaaa@6CEB@

À l’instar des preuves du résultat E ( t ¯ ^ HT t ¯ ) 4 = O ( n 2 ) , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaabIeacaqGubaabeaakiab gkHiTiqadshagaqeaaGaayjkaiaawMcaamaaCaaaleqabaGaaGinaa aakiaai2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaacqGHsisl caaIYaaaaaGccaGLOaGaayzkaaGaaiilaaaa@4489@ en utilisant λ π k * 1 , MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeq4UdWMaey izImQaeqiWda3aa0baaSqaaiaadUgaaeaacaGGQaaaaOGaeyizImQa aGymaiaacYcaaaa@3FBF@ il est facile d’obtenir

E ( A 4 ) = E ( 1 N U I k π k π k * y k ) 4 = O ( n 2 ) . ( A .8 ) MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamyqamaaCaaaleqabaGaaGinaaaaaOGaayjkaiaawMcaaiaa i2dacaWGfbWaaeWaaeaadaWcaaqaaiaaigdaaeaacaWGobaaamaaqa fabeWcbaGaamyvaaqab0GaeyyeIuoakmaalaaabaGaamysamaaBaaa leaacaWGRbaabeaakiabgkHiTiabec8aWnaaBaaaleaacaWGRbaabe aaaOqaaiabec8aWnaaDaaaleaacaWGRbaabaGaaiOkaaaaaaGccaWG 5bWaaSbaaSqaaiaadUgaaeqaaaGccaGLOaGaayzkaaWaaWbaaSqabe aacaaI0aaaaOGaaGypaiaad+eadaqadaqaaiaad6gadaahaaWcbeqa aiabgkHiTiaaikdaaaaakiaawIcacaGLPaaacaaIUaGaaGzbVlaayw W7caaMf8UaaGzbVlaaywW7caGGOaGaaeyqaiaab6cacaqG4aGaaiyk aaaa@5FEE@

À partir de l’équation (A.8), nous constatons que E ( A 2 ) = O ( n 1 ) MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamyqamaaCaaaleqabaGaaGOmaaaaaOGaayjkaiaawMcaaiaa i2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaacqGHsislcaaIXa aaaaGccaGLOaGaayzkaaaaaa@3FA6@ et E ( A 3 ) = O ( n 3 / 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamyqamaaCaaaleqabaGaaG4maaaaaOGaayjkaiaawMcaaiaa i2dacaWGpbWaaeWaaeaacaWGUbWaaWbaaSqabeaadaWcgaqaaiabgk HiTiaaiodaaeaacaaIYaaaaaaaaOGaayjkaiaawMcaaiaac6caaaa@412D@ Par ailleurs, E ( A ) = 0 MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGaamyqaaGaayjkaiaawMcaaiaai2dacaaIWaaaaa@3A3E@ et

Δ = 1 N U π k π k * π k * y k = K N ( 1 K U 2 π k π k * π k * y k ) = O ( n 1 ) . MathType@MTEF@5@5@+= feaagKart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeuiLdqKaaG ypamaalaaabaGaaGymaaqaaiaad6eaaaWaaabuaeqaleaacaWGvbaa beqdcqGHris5aOWaaSaaaeaacqaHapaCdaWgaaWcbaGaam4Aaaqaba GccqGHsislcqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQcaaaaakeaa cqaHapaCdaqhaaWcbaGaam4AaaqaaiaacQcaaaaaaOGaamyEamaaBa aaleaacaWGRbaabeaakiaai2dadaWcaaqaaiaadUeaaeaacaWGobaa amaabmaabaWaaSaaaeaacaaIXaaabaGaam4saaaadaaeqbqabSqaai aadwfadaWgaaadbaGaaGOmaaqabaaaleqaniabggHiLdGcdaWcaaqa aiabec8aWnaaBaaaleaacaWGRbaabeaakiabgkHiTiabec8aWnaaDa aaleaacaWGRbaabaGaaiOkaaaaaOqaaiabec8aWnaaDaaaleaacaWG RbaabaGaaiOkaaaaaaGccaWG5bWaaSbaaSqaaiaadUgaaeqaaaGcca GLOaGaayzkaaGaaGypaiaad+eadaqadaqaaiaad6gadaahaaWcbeqa aiabgkHiTiaaigdaaaaakiaawIcacaGLPaaacaaIUaaaaa@670E@

Par conséquent, à partir de l’équation (A.7), nous prouvons que E ( t ¯ ^ HTA t ¯ ) 4 = O ( n 2 ) . MathType@MTEF@5@5@+= feaagKart1ev2aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr 4rNCHbGeaGqiFu0Je9sqqrpepC0xbbL8F4rqqrpgpq0dc9LqFf0xc9 qqpeuf0xe9q8qiYRWFGCk9vi=dbbf9v8Gq0db9qqpm0dXdHqpq0=vr 0=vr0=edbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyramaabm aabaGabmiDayaaryaajaWaaSbaaSqaaiaabIeacaqGubGaaeyqaaqa baGccqGHsislceWG0bGbaebaaiaawIcacaGLPaaadaahaaWcbeqaai aaisdaaaGccaaI9aGaam4tamaabmaabaGaamOBamaaCaaaleqabaGa eyOeI0IaaGOmaaaaaOGaayjkaiaawMcaaiaac6caaaa@454F@

Bibliographie

Breidt, F.J., et Opsomer, J.D. (2000). Local polynomial regression estimators in survey sampling. Annals of Statistics, 28, 1026-1053.

Cardot, H., et Josserand, E. (2011). Horvitz-thompson estimators for functional data: Asymptotic confidence bands and optimal allocation for stratified sampling. Biometrika, 98, 107-118.

Gutierrez, H.A. (2009). Estrategias de muestreo: Diseno de encuestas y estimacion de parametros. Editorial Universidad Santo Tomas.

Hansen, M., et Hurwitz, W. (1943). On the theorey of sampling from finite populations. Annals of Mathematical Statistics, 14, 333-362.

Hoerl, A., et Kennard, R. (1970). Ridge regression: Biased estimation for nonorthogonal problems. Technometrics, 12, 55-67.

Horvitz, D., et Thompson, D. (1952). A generalization of sampling without replacement from a finite universe. Journal of the American Statistical Association, 47, 663-685.

Rosenbaum, P. (2002). Observational Studies. New York: Springer.

Tibshirani, R. (1996). Regression shrikage and selection via the lasso. Journal of the Royal Statistical Society, Series B, 58, 267-288.


Date de modification :