HAL Id: tel-01747945
https://hal.univ-lorraine.fr/tel-01747945
Submitted on 29 Mar 2018HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Singularités des séries de Dirichlet associées à des
polynômes de plusieurs variables et applications à la
théorie analytique des nombres
Driss Essouabri
To cite this version:
Driss Essouabri. Singularités des séries de Dirichlet associées à des polynômes de plusieurs variables et applications à la théorie analytique des nombres. Mathématiques générales [math.GM]. Université Henri Poincaré - Nancy 1, 1995. Français. �NNT : 1995NAN10354�. �tel-01747945�
AVERTISSEMENT
Ce document est le fruit d'un long travail approuvé par le jury de
soutenance et mis à disposition de l'ensemble de la
communauté universitaire élargie.
Il est soumis à la propriété intellectuelle de l'auteur. Ceci
implique une obligation de citation et de référencement lors de
l’utilisation de ce document.
D'autre part, toute contrefaçon, plagiat, reproduction illicite
encourt une poursuite pénale.
Contact : ddoc-theses-contact@univ-lorraine.fr
LIENS
Code de la Propriété Intellectuelle. articles L 122. 4
Code de la Propriété Intellectuelle. articles L 335.2- L 335.10
http://www.cfcopies.com/V2/leg/leg_droi.php
E ,
..
. S):= (SE ... "'''Jl ...est estJ1.JI.'-'JI.'-'JI..Jl.JI."-"JI."'JLJI._. Ela
<
1 - t t est fl~t Tl d n n~t # E ~ E*
SI E est sur ,+ 00 SI SOUS ,...
, E *n # est 1 - t -2-!Z tt IlSt , ... ,mn)EN*l1 , mn)=n , ... , mn)EN*11 , ... , mn)St # E *n1 si E , o• • , à ,+ - # ,
...
, E ~ le à contenus ,...
, E ~ et sera cas s est +00 ;s) = si s~ •s)est > c»
ioo s vers-3-avons vAIUV'::)\..t.:) assez ,
...
, Efal=q+···+~,
1/=/211+···+
f,
a!= ! ...=
eSlogw t[\W:=
WE-«
E sens xvanta autresuu.,&."AA.ILV"-'&'
XE et ÂEA. aà
«
g g«
n et p a E " ' ' L J ' ' ' ' ' f t l l < l ' L Jconvexe conv p_ll)
-4-est a aE a ,+ aE SUppP E =
+
XE E note ;S) = (SEce
a-5-x
,...
, E s>+ ... +
à si R j=l>
XE X)
,...
, on+
...
+
+
>
j== Ut siç
s>+
+
on a: ;s) == mEN*na
-~----_-.:...-X U·1 \-6-INTRODUCTION GÉNÉRALE
En outre, dans la demi-bande Bk
=
{s=
<Tt-i
r 1n-;/
<
al~
a
~
a
2 etr~
1}, on a;Z(P;s)
«
eprpour un certainp< ;.
Si en plus P estàcoefficients positifs, alors:
Z(P;s)
«
r
kll dansBk'Les propriétés analytiques de s t---7 Z(P;s), dans le cas elliptique, ont suscité plusieurs travaux. Par exemple, Pierrette Cassou-Noguès calcule les valeurs aux entiers négatifs et les résidus aux pôles de Z(P;s) [4] et en donne des applications arithmétiques [4] et [5].
82 ans après l'article de Mellin, Pierrette Cassou-Noguès [6] a précisé son résultat dans le cas
d'un polynôme à deux variables (n
=
2) et àcoefficients de parties réelles strictement positives. Elledonne une description plus complète de l'ensemble des pôles, ainsi que de leurs ordres et de leurs rési-dus.
Quelques années plus tard, Patrick Sargos [19] a généralisé ce travail au cas des polynômes Pde plusieurs variables (n ~2) non dégénérés par rapport à leur polyèdre de Newton à l'infini, c'est-à-dire ceux qui vérifient ReP(x)::::: P*(x) sur [l, + 00 ['.' Cette classe de polynômes contient évidemment
celle des polynômes à coefficients de parties réelles strictement positives.
Patrick Sargos a démontré que, si PE
qx
l , ... , XII ] est un polynôme non dégénéré par rapport à son polyèdre de Newton à l'infini, alors s t---7 Z(P;s) existe et est holomorphe dans un demi-plan {sEiC1Res > (J'o}, possède un prolongement méromorphe à iC avec des pôles d'ordres au plus n et contenus dans une progression arithmétique de la forme ((J'o -~)kE
N
où (J'oEiQl:
et NEN*
ne dé-pendent que du polynôme P, et il a donné dans [19] une description de l'ensemble des candidats-pôles et de leurs orpres, ainsi que de (J'o etN,en fonction de la géométrie du polyèdre de Newton.Peu après, Ben Lichtin obtient le même résultat (à l'exceptio'n de la description en termes de po-lyèdre de Newton à l'infini) dans le cadre des polynômes de plusieurs variables dits hypoelliptiques, c'est-à- dire vérifiant qu'il existe une constante BE ]0,1 [telle que,
(i) ReP(x)~+oo quandllxll~+oo, XE [B,+oo("
et
(ii) quel que soit le multi-indice aENil,
Re aap(x)
P( ~ 0 quand jlxll ~ 00,XE [B,+00[".
Re x)
Ils ont tous deux obtenu l'application arithmétique concernant Np(t), chacun dans le cadre de son hypothèse. Aucune de ces deux hypothèses n'implique l'autre et le lien entre les deux est un peu obscur.
Le but de notre travail est d'obtenir les mêmes résultats pour une classe de polynômes plus géné-rale et qui contient comme cas particulier toutes les classes précédentes.
-7-E E 11~+oo, XE
+
nousUIJIIJ"-'JLA."-'J.V.lJl,,:) ou e>+
et Ec
+
;tOa
a1I"'4"Jl1l"'ll1l'.\... 1I"'t- à son
E
à
où S== on trouve récurrence { ,
...
,1) a aE
+
j=l-
~.+J a fi p «B,fi,p -8INTRODUCTION GÉNÉRALE
donc est bornée sur [B,
+
00["êi
Pet, par suite, P l'est aussi, d'où P vérifie (ii)".
De plus, il est évident que, pourBE ]0, 1[,
P(X)>> P*(x)>> XI
+ ... +
XII»
(XI ... XII)1/11 sur[B,+
00["donc (i) a bien lieu.
En conclusion, un polynôme P non dégénéré par rapport à son polyèdre de Newton à l'infini vérifieHoS.
Ainsi, la classe des polynômes vérifiantHoS contient celle des polynômes hypoelliptiques et celle des polynômes non dégénérés par rapportà leurs polyèdres de Newton à l'infini. Mais elle en contient aussi d'autres. Pour s'en convaincre, il suffit de se placer dans le casn
=
2 et de considérerOn fixe BE ]0, 1[. On fait varierXI etx2 dans [B,
+
00[.Si x2 ~2x" alors
donc
P(X,,x2)
~
(XI_~)2XI ~
iX/XI»
~
P(X 1'X2)>>
~
sur[B,+ooece qui implique que P vérifie (i).
De plus, un calcul facile montre que, sur [B,+
ooe:
;i
P 2x1«
P(x"x2 ) ax2 = 2 a3P 6« P(x"x2 ) ax 3 = 1-9-2
«
) ,
- - 3o.
vu+
ce vers+
00, Newton à ) =+
3+
)
et est ae~!enere notre 1,"1L:l>'!'Il"l'lrr"'-rl à n>2. à ànous avons ./L./L_JLJL ...A~./L./L nous """"""'JlJlJl'-J'JlJl ...l"'-"Jl,...
'l..LJl_"'-"J1. _LAA""'" 1) sous
-10-CO)ltr(llr(~mlentà ce sens est de c== >0
>
toutx+
2 c l>
;s) ce == on s t---t a le Et[1 s>
Cl)} ;c'estC t[fl
a à
à
JL...I.U.':'U.l'-\.t .. nous nous ...,JL_'''''' ... JL'"-'JLllU'
c eta>Osont constantes. et
si
+
cIXE
+
si+
---1-E[B,+oo[" lIxll=r --7+00. XE+
c>O une ....,..., ... / L l L J ' - ' a>O --7+00 etIfx
f3
= Etl] -_ ...,""'" ----1-+
00 11~+oo.Il
~ +oo,XE + 00 ,ce à-12-nous cas 2
=
Et[1 Dre~clsement et nous ê >0 assez S> J{on ;S)=
cas+
=n,
vers s)=de
à contours à 13 -cenous
son
-,
...
,)
Il et+
+
)
cou-est
-16-E , 0 0 , 2, s~ ; s) s E ~ ; s)
)
vantes: etS
= {aE son nous sous Dans sente si E ... ch ... r,01l"'lo"'l,....,. 5 ,...Y"t..."..,• ....,. et si 17-on a ) ( j = E on
)
si on a E> a ~ ,+00('1 1) +
-B+ nous montrerons 18-PTP,nf11t"p SOUS
19
Il E E Il ~ +00, XE + +
ff<
ce sera'-''-'AAL)U'lo.Ill-22-JL_JLJULII.. ...l l . _ U ' I nous
-cas cas. E 1/ ~ +00, XE
+
~+oo ---1' +00. ~+oo >20
est 1 sisp E et r O==X1 0 ... 0 et E a ce >+
lE 24-=1=O.E iE! a eVJ.aelmnlenl<t r> sans avec > > m T. } j=l > :1:. et +()O > -
{
+
S ro}
a > si c := XE+
2
c avec c> E ----t + ()O >0+
:1:.0+
11<
et < < /1:= E avec XE "+
E ) Z=
Œ+ E avec =0.cas sontftJ"IJ>..:Pù'A.U'A. ... ù'
{l, ... , n} < a
-=11 -
+ ( -
II~II
-
~
1 1~
' -~
car<
<
~ ? /l. ~~~: GE+
00 vVAJ.llJ.J.v Z== 0"+ r ==- ç
11==fi
0" -+
i
?
Il
ç
==X+ E ).x
:== ,...
,y
:== et 26- - - =
+
n(
Il)
=
nIl)
E'+
),=
n(
If) )
If)
à constantes c>0a
>0, XE ~ c 1-. a· SEl[avec = S > E
1=
e>;S)
=
EN*!l
unltorme'me:nt en S le (1~IIUI-IHnU +G une
s, ; s) et estJlAVA'VA.I..l'JJlIJAA'-" = S
>
-(5= \ El[ .,
...
., }., .,...
,)
).
E est E Il ----.,. +00 , E + +<
'E XE ',+ E ), XE ',+ ), +I~
28--
)
k=l Z= et 7'CZ ZE \ est ces'J1I.1I."""\"1I.'J1I.1I. .Il.ll.ll""".Il 'V'.Il.ll.ll"J.Il iI-',.Il.ll ... au VO]lSlIla~~e avec """'JAlI.AJ..lI.JL_
k=2
ZE ',+00
)
)
a,Logp(z), = 1 ir) (LogP(z)+iArgP(z» 1
=
+rlmP(z)si
=
Res>0./-Œ
e1ri 1ArgP(z)1 :::;*
G> ->a a, 00 k=l et E k=l +00 elXE elxE ,+ ",+ /YE - ,- e
ces Gu , ... , n}.-29-x=
GE Gn'n XE (JE E
f
est E (JE -E+
l ' ,...
, "+ ., 1..
,
...
,
x
j=lx
j=l-30-E est est ....JL ... JLJLJLJL ...' ... JL ... Preuve que :::::>
+
sont ealLllvraH~ntes. -31-Il
E .,
...
., E c> si1I~+00., XE
+
laI
:s; toutXE ., 1I:s;
). a x +00 YE c
+
=
la ~J.1 et+
I~
-1 1 a:t:O I:s;e, 1«
+
A=
XE E+
=
+
Z - 1+
Z (l- e) si<
A+l . - >0, a:+
:t- E+
E est Preuve==>
on va est E >+
:t- XE+
11~+00., E+
E E est sont et en E ).-32-+
+
= E 1 1 1~
(
=l, ... ,N' a+
= = ,...
, E ) sans_'V'Jl.Jl~JlIi\.·Jl'V'JLIl a E { ,...
, XE+
si M := 15.j,I5:NE E+
=)
à ce E+
sur t----7 estet comme {
Il
s
js
Eliai
s
= on 'V'lLJ'L-JL'lo.I.Il.ll'L- est-savons
34-1
2 .
,
...
,-36-\.A..l\..-VJ.1l",;A.J.Jlv
5,
nous nous rarneller à('r('\1~':3tTIPnt~normaux ~.
j=l sorte l.] e· .) Pour ) E *n,on x1(Xi' ... ,
X n 37-E 1s,jS,1l
=
Œ+ i El[>
a j=l h=O-38-.
)
III
g
est E avec r, En
est ~ 1 1 """11.11.11. ... """' ... 1Jj 1etIl
j 1~
l'N.
E , E 1 1~
XE+
a g,lJI g,VI car, 1~e
E -n.ç+fi -/V,fl-a +CO[flet est Jl.l'\J.l.V.l..I..I.~U'.I.IJ'.lL.I.,""sur s1
1rit: s > o
+ - )
1<5j <5n=
M= = E - k 1 E j=l > ~ 8. E = s- + = 1 s- +(
-39-'l!'"'\~C'C'.cl.rilaun pr()10~ng:enlerlt ",'\i:U"'~r'!r"'llAl'--n"'la à1[ avec au - Cf
+
e'. ,... ,
si l'on , +00[11 -N(at+··· s-r-40-b s-r
=
+00[11)
s-r=
]1,+00[11 b s-r-l=
g -ep+j s-r +oo[fl b s-r si "" __ ""l"''''..lUL''''''''' ce cas, et cette'l'Otr"C'"1,r..ntoutXE] ,+ 00 [': U V . U..lAvvJ~ on où a== g== a==
COOf->
>0, <0, -42-<0, =0, ... , =0.t=r+s,
non
sur t. =0 =n- 2 = -k+ =0 S =0, r,s 2E]
,+ ar< 1fr+1 1 } =E
,+ ar> 1ar+l , 1 NE]
,+ ar= 'lar+1 1 } n nN= N=0
,+oo[:z N est ,+ E ,+ 'ar+11 1 ,+[
]
y.aj ar Yn J[
- ,
...
,
"-y"
J
y.aj J '#r+1-43-=
Il
=
j = J'C. 1 (1) nous nous ce sous - _...U ' _ J l ... .II.lU'.ll_ X\N. a f3 J'C estf3=
et),
o = r J'Cest y==1
ou (SE-44-v
+
= 1 2 ' BE E - X,+
> 0 et Eà = s
>
lX}.1 S = 0"+ irE a nI,fl2 (-)
avec E 1) si E ,...
, v·J E ,...
, en estsi ae~i1n~~ulartSatlon avec
+
31!""r'>.'lY'II, ...1l'"1I,,...,....CO=)j et à d'uneI!J 'L" ... = (J=
S>
a'-46-112 ) , , E
>
w )x
-1 ~VI-I'VJI.J.\"'a.U.l..l" ana-== E et E savons-J= (-J(
+
=
== ne~VIJVJ.J.~(
~+oo aE 1== 115
x
== cas S > a' Ill,112 ( -47-)avec ) '-'./I..'/JI../I..{oo",_./I..Jl./l.._A.Jl'-' rr"'k4::::l>1f",(",\11f"'Il"'1f"""ha à 1[ } où tout et E E aE c'estai-+ar:oi-1l""L:.:),1l1r"IIi,Clo.1ni" ce fA(ŒO-Œ)+e') 1ri ,M
-48-toute E
,
...
, E f1~+OO,XE E E+
E c Il avons ..._lU.B..'V'B..B..\..B.._ mE s>>
... .A..IL"J' ...~.... ..., .... " SOUS et se est avec E 1 2 > BE E ; s) == -50-2n:E! !
!EG n IlI+fl2=n E:l n 2 lX ,+00
1 ) ,
)
... ,x
+00),
... , 1)' ..• , +ix
E E E E si E
<
j=l E E qJest +1)
1 Il ~ +00 , E + 00 E+
00 , ,...
, XE52-EE E SEl[ ( j =
>
[-1 , EYl' ... ,) x - - - - .
j=l)
}
>
> E' 1ri>
,...
, , si >0 le{1, ... ,1l2} n}+n2=n le{L ....1l2} Ill+n2=n + } c { ,. .. , l ' avec+
tout EE E'o et touthE 53-e, > s~ e, >0 1ri (j= r=
e,
est une .LVAAv'-JlVAJ.
au e'> c',S,c'o (
+1
lA
(0"0-0")+ E 1ri+/
1A(<10-0")+ E hE SE (j= S>-N
?-8 r= savons e; hEM(I) 1hl e;eo
,
S 1---1' E ([1>
}, à avec s~ tout>
eE
e' 0>
( ) E',O,E'O,N "ClA(0"0-0")+c') 1ri+1
1A(<10-(1)+ E ' 1hl hEs>
-N
est ; s),>
E [li+ et k 1 E-54-à
sur ce ...JUI. ... ...,J1.'... J1.J1.1l_
cas
E est Jl.J.VJlV..LJLJ.V..L
mEN*ll k a, E mEN*fl k
fs-;s)
=
00k!
k 00 mEN*fl k<
<
+
<
E<
E 00 mEN*ll k E E ~o cette ... 11-' .... _ est mEN*/l mEN*fl 00 k=O mEN*fl mEN*fl est-56-o
N> €',o,€/O,N hE sous(
+ ')
+fr
est e'+
;s) E== -ŒE ? 8, ; s)+/r
; s) == et . s)«
E«
57-Ô,f',fO.N
+\
o
>
?8,
+
+no E avec<
Œ+B ? 8,+\
(JE Nous ce est-58-E ~
+a,
;s) 1=
1 s=+
avec
a>
e> (JE ; s)«+
"'''''''-'''''''''''-'1on > Eavec
etun]lto]rm(~mlent s== Irl~.
s=:(J+ r (JE 1 1~ ; s)<
S== (J+r
~ 8. rInlC~r'l!.r,OrYIla 3,sous+
ce E 1 1=e>
>
( +
1 \ ) E'J?L j E 1j 1 T'Cccomme cas
e>O
>
1)1
-60-E mE P(m)st SE s):= assez J-\JL ...JLll ..._ ' l ;s) := mEN*ll vers
+
00, vers+
00. àce>
+ 0 0 .croissance estIl11n11'"A-r'rnlO
*n
vons en JLll'-JJlJl.J1.l\JJi.._Uet .... --....L,. •• _
-62-son
c'est
==
a+
-N /rf28.avons cas IJf..4.JL ""JL""YJLA'b.t.ll
s>
+00 est un +e s== est-63-"'..."".... "... est DraltlQUeInellt
;s)
, ,
Is- 1
< ;s) == +00['1 k +00('1 k'<
<
'+r, < E-
<
< '<
E +00 E E *n k à +00 +00 est cer1la,~r~nT1I1"'a-rcetteInt~gallltte~
sur ,+ : si
f
,+ E estf
et 65-aE
>
E , , a ,+00 à OH.lSlleUlrs "I1n1l"''' ....h l " ' .... sommes
S , mEN*nlaI
s
lne~gajllteest>
SI+
) == la -::;11 -66-+(-ce
>0
E et ,on a car>
>
<
i=1 *n et i=1 E mEN*fl=
<+00 car (J>
i=1ce
sont 67-2, on var-:::ar'\-na,Bar
E
si "# si = 0
outre aE tout€
>
a sous cesvVJUUJ.\.J.'V'J.J.0q
I~
-68-2.
>
1,
vers
+
00.est crcnss,anlte sens
est s ; s) +00 ), ce ; s)
69-0"0- l =
) +
est s f---1-N E = E S E,
... , = 2)
=
= s ==
=
=J
=
-70-= m k=O
+
, 1 0"0 - B E 'X E+
'X est s= 1-)
>
> 8>0, lE \)( +
)
+
savons -71-=~;s)
on
cas b=
+00 -bs est=
a s> , , 00 00 00 00 -bs est a ;s) ==
ce ce>0
(Jo(
(Jo' ) S e-(Jo'x s si a72-s>
a' ;s) ==
-b--a cp, cp, E S 1P(m)l'5tIl
I::;t} nS et mesure 8> EJ
+00. Sest+
00 [': c»
t)=
2
TC c+ioo cp; 100 73 -s+
cp est est cas mE Pl(m)$.fI, ... ,Pk(m)$. fk
...
,
E E,
..
, c»
c+ioo ;00+
s= ,...
, E iE { , .. , S·1»
a ,...
, E E Il b.1s·1 E t) = e sit
,...
, 00, . . . ,+
i' E \-74-, ... ,
sous -en:sernOJleSt~ml-algt~OrlQtle
-76-estattt~lnteo
et
à
-sous -en~SernOjle S(~ml-aU!t~Orlalle E est A= r, E x ES a= n+lX est S est ....r - I 1 1 1 - / 1 l 1 rlr'1.:l>lnIrll.nl1l111.:l> est x x TC: E avec ::; l ' ... , E
>
Revenons à>
est c est E E n:*: ---t t---7 a + con
où
u iEJ + c S. 1 iEJ-79-~ -79-~ l) sont on a, r> E ==
al
E ES a==al
E a*
*
, [. C to toutr> E [. } == toairE
a> 1 > ,+ cS.)6 ==+
00. a1Ul._A;lAVAJl\..II.. > ==+
00. si :t0 kl =1
==0 - 0 0 si u #0 == 0, ==0,>
: on >kl ,-80-= *E - }. > aE =0. Nous E
*
>
>
>
> x =0 ' - ' _...."'-JJLIl. ....,. cas : E =0. E a $ 0 - 81-sansE ~
.
=(a-j=l
>
=>
j+
à +00. E = sous-ens.emlDle a sont=
l~i~p iESest sous-ens:ernlble est
>
::; ----1- +00 - - t+00. +i=
::;=
~ m ::; ~ m ~ --t+00 --t +00. --t +00. ~ --t +00, ::;a:
fI~+oo, comme r~+oo, --t +00. c{z=+
E h= >0 = ~O.=
E E+
=
a est EIl
-84-cas:
II·
a E*
+. XE>
z=
+ E aIl)
s
Ostfis
+s
fis
E + ce cas. ",."".s=
= est et 1C:x
x
s=
E1/=
+
=O} est a: E =1=0 est comme = 11\ E ="
\ XElI=r
+
=
85-Il)
==
:::; 2 - - t +00. t'?ro a, ~ EQ=
+ rI ~ra r ~rI' 2 :::; Z= + E a:Il:::;
(jE=
ce'1An1mUn]lCalLIOll~ on
a
-ortt~Serltee à
3C-F9
24-30, rue Llonnols B.P.3069 54013 Nancy cedex
res:U1tatspnlnC11palJlXde ce
cas,""'-'JLAIl.JI..""'AAII,.oJfl,.Jl.JI.'Ill...'II,.1\,...AJ!.A~~.!I.AII,.
Sous
sont IndlèUmlneJltri,à1Ml'll,'olh~1oC'!à co]mplle"~eavec
Ce avons donné
caractérisent
The main results work
set
notùlJI.AA'IJ''IJ'1.1l.A
selm-·au!et~rmlcset at
,. V'.J'II,.AA..."oJ.Il.ùO.,andinany way
InH~2"r;aIwith
Intle2I'als is notC'!'f"lIl1ri'iD,ri
Inn~jU~a1exists and has the.o.""ir'V"'Y:ltil"'It.o.r1\'It"'l'fi"r...'It"'lortllL»C'!
severa! aplDlt<;atllOns. We ano1Ml1rh"l!"ll'1Io1r1Ii1"ol
geIler~a112~eddivisors' ~1t'r,.hli,01l'1r1l describe
~n~ll'Tt'r C()nt1lnrnatlc~nof
~n~~nJT1("continuation Under