Division and composition theorems in the ring of analytic Dirichlet series

Frédéric Bayart[1]; Augustin Mouze[2]

  • [1] Université Bordeaux I, Laboratoire Bordelais d'Analyse et Géométrie, 351 cours de la Libération, 33405 Talence Cedex (France)
  • [2] Université des Sciences et Technologies de Lille I, UFR de Mathématiques, 59655 Villeneuve d'Ascq Cedex (France)

Annales de l'Institut Fourier (2003)

  • Volume: 53, Issue: 7, page 2039-2060
  • ISSN: 0373-0956

Abstract

top
We study the local ring of analytic Dirichlet series. First we prove Weierstrass division type theorems and we deduce from them arithmetical properties of this ring. In particular we obtain that it is a unique factorization domain. Then we are interested in composition problems. Let f ( s ) and ϕ ( s ) be analytic Dirichlet series. It is well-known that f ( c 0 s + ϕ ( s ) ) , with c 0 ∈ ℕ * , is an analytic Dirichlet series too. We obtain a converse. Suppose that f ( s ) is a formal Dirichlet series and that f ( c 0 s + ϕ ( s ) ) is analytic, we prove that f ( s ) is itself analytic. We get similar results you studying the composition of power series by analytic Dirichlet series.

How to cite

top

Bayart, Frédéric, and Mouze, Augustin. "Division et composition dans l'anneau des séries de Dirichlet analytiques." Annales de l'Institut Fourier 53.7 (2003): 2039-2060. <http://eudml.org/doc/116093>.

@article{Bayart2003,
abstract = {Ce travail est une étude analytique locale de l’anneau des séries de Dirichlet convergentes. Dans un premier temps, on établit des propriétés arithmétiques de cet anneau ; on prouve en particulier sa factorialité, que l’on déduit de théorèmes de division du type Weierstrass. Ensuite, on s’intéresse à des problèmes de composition. Soient $f(s)$ et $\varphi (s)$ des séries de Dirichlet convergentes. On sait que $f(c_0s+\varphi (s)),$ avec $c_0\in \{\mathbb \{N\}\}^*,$ est encore une série de Dirichlet convergente. On étudie la réciproque : sous les hypothèses que $f(s)$ est une série de Dirichlet formelle et que $f(c_0s+\varphi (s))$ est analytique, on montre que $f(s)$ est elle-même analytique. On donne aussi des résultats analogues dans le cas mixte, c’est-à- dire lorsque l’on compose une fonction holomorphe par une série de Dirichlet convergente.},
affiliation = {Université Bordeaux I, Laboratoire Bordelais d'Analyse et Géométrie, 351 cours de la Libération, 33405 Talence Cedex (France); Université des Sciences et Technologies de Lille I, UFR de Mathématiques, 59655 Villeneuve d'Ascq Cedex (France)},
author = {Bayart, Frédéric, Mouze, Augustin},
journal = {Annales de l'Institut Fourier},
keywords = {Dirichlet series; local analytic geometry; arithmetic rings},
language = {fre},
number = {7},
pages = {2039-2060},
publisher = {Association des Annales de l'Institut Fourier},
title = {Division et composition dans l'anneau des séries de Dirichlet analytiques},
url = {http://eudml.org/doc/116093},
volume = {53},
year = {2003},
}

TY - JOUR
AU - Bayart, Frédéric
AU - Mouze, Augustin
TI - Division et composition dans l'anneau des séries de Dirichlet analytiques
JO - Annales de l'Institut Fourier
PY - 2003
PB - Association des Annales de l'Institut Fourier
VL - 53
IS - 7
SP - 2039
EP - 2060
AB - Ce travail est une étude analytique locale de l’anneau des séries de Dirichlet convergentes. Dans un premier temps, on établit des propriétés arithmétiques de cet anneau ; on prouve en particulier sa factorialité, que l’on déduit de théorèmes de division du type Weierstrass. Ensuite, on s’intéresse à des problèmes de composition. Soient $f(s)$ et $\varphi (s)$ des séries de Dirichlet convergentes. On sait que $f(c_0s+\varphi (s)),$ avec $c_0\in {\mathbb {N}}^*,$ est encore une série de Dirichlet convergente. On étudie la réciproque : sous les hypothèses que $f(s)$ est une série de Dirichlet formelle et que $f(c_0s+\varphi (s))$ est analytique, on montre que $f(s)$ est elle-même analytique. On donne aussi des résultats analogues dans le cas mixte, c’est-à- dire lorsque l’on compose une fonction holomorphe par une série de Dirichlet convergente.
LA - fre
KW - Dirichlet series; local analytic geometry; arithmetic rings
UR - http://eudml.org/doc/116093
ER -

References

top
  1. S. Abhyankar, Local analytic geometry, (1964), Academic Press, New York-London Zbl0205.50401MR175897
  2. F. Bayart, Hardy spaces of Dirichlet series and their composition operators, Monat. Math 136 (2002), 203-236 Zbl1076.46017MR1919645
  3. F. Bayart, A. Mouze, Factorialité de l'anneau des séries de Dirichlet analytiques, C.R. Acad. Sci. Paris, Sér. I Math. 336 (2003), 213-218 Zbl1068.11056MR1968261
  4. N. Bourbaki, Algèbre commutative, chap. 5 et 6 (1964), Hermann Zbl0205.34302MR194450
  5. J. Briançon, Weierstrass préparé à la Hironaka, Astérisque 7-8 (1973) Zbl0297.32004MR361138
  6. E.D. Cashwell, C.J. Everett, The ring of number-theoretic functions, Pacific J. Math 9 (1959), 975-985 Zbl0092.04602MR108510
  7. J. Chaumat, A.M. Chollet, On composite formal power series, Trans. Amer. Math. Soc 353 (2001), 1691-1703 Zbl0965.13015MR1806723
  8. P.M. Eakin, G.A. Harris, When φ ( f ) convergent implies f is convergent, Math. Ann 229 (1977), 201-210 Zbl0355.13010MR444651
  9. W.J. Ellison, M. Mendès-France, Les nombres premiers, (1975), Hermann Zbl0313.10001MR417077
  10. J. Gordon, H. Hedenmalm, The Composition Operators on the space of Dirichlet Series with Square Summable Coefficients, Michigan Math. J 46 (1999), 313-329 Zbl0963.47021MR1704209
  11. H. Grauert, R. Remmert, Analytische Stellenalgebren, (1971), Springer Verlag, Berlin Zbl0231.32001MR316742
  12. J.P. Kahane, H. Queffélec, Ordre, convergence et sommabilité des produits de séries de Dirichlet, Ann. Inst. Fourier 47 (1997), 485-529 Zbl0977.11037MR1450423
  13. E. Landau, Über den Wertervorrat von ζ ( s ) in der Halbebene σ 1 , Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen 36 (1933), 81-91 Zbl0006.29303
  14. R. Moussu, J.C. Tougeron, Fonctions composées analytiques et différentiables, C.R. Acad. Sci. Paris, Sér. I Math. 282 (1976), 1237-1240 Zbl0334.32012MR409876
  15. A. Mouze, Division dans l'anneau des séries formelles à croissance contrôlée. Applications, Studia Math 144 (2001), 63-93 Zbl0972.13016MR1815067
  16. A. Mouze, Sur la composition des séries formelles à croissance contrôlée, Ann. Scuola Norm. Sup. Pisa Cl. Sci., 5 Vol. I (2002), 73-92 Zbl1170.13305MR1994802
  17. A. P#x142;oski, Remarque sur le lemme de Hensel, Bull. Acad. Polonaise Sci., Sér. Math. 28 (1980), 115-116 Zbl0483.13012MR620345
  18. J.-P. Ramis, Factorialité des anneaux de séries formelles et de séries convergentes sur les espaces vectoriels normés, C.R. Acad. Sci. Paris, Sér. I Math. 262 (1966), 902-904 Zbl0142.28501MR199217
  19. J.C. Tougeron, Idéaux de fonctions différentiables, (1972), Springer Verlag, Berlin Zbl0251.58001MR440598

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.