Formule De Perron

Formule De Perron

Formule de Perron

Page d'aide sur l'homonymie Pour les articles homonymes, voir Perron.

En mathématiques, et plus particulièrement en théorie analytique des nombres, la formule de Perron est une formule d'Oskar Perron pour calculer la somme d'une fonction arithmétique, comme rapports d'une transformation de Mellin inverse.

Sommaire

Première formule de Perron

Soit \{a(n)\}\, une fonction arithmétique, et soit

 f(s)=\sum_{n=0}^{\infty} \frac{a(n)}{n^{s}}

la série de Dirichlet correspondante. Nous supposons que la série de Dirichlet est absolument convergente pour \Re(s)>\sigma_a\,. Alors, la formule de Perron est

 A(x) = {\sum_{n\le x}} {a(n)}  
=\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty} f(u)\frac{x^{u}}{u}\; du

La formule requiert c>0\, et x>0\, réel, mais arbitraire autrement. La formule reste valable pour \Re(s)>\sigma_a - c\,

Deuxième formule de Perron

Soit f(s) = \sum_{n=0}^{\infty} \frac{a(n)}{n^{s}} pour σ > σca_n= \mathcal{O}\left(\psi(n)\right), la fonction ψ(n) étant supposée non décroissante.

On suppose de plus que \sum_{n=0}^{\infty} \frac{|a(n)|}{n^{\sigma}} =\mathcal{O}\left(\frac1{(\sigma-\sigma_a)^\alpha}\right) quand \sigma \rightarrow \sigma_a.

Alors, si c > 0, σ + c > σa, x un nombre non entier et en appelant N l'entier le plus proche de x, on a

\sum_{n < x} \frac{a(n)}{n^{s}}=\frac1{2i\pi}\int_{c-iT}^{c+iT}f(u+s)\frac{x^{u}}{u}\; du+\mathcal{O}\left(\frac{x^c}{T(\sigma+c-\sigma_a)^\alpha}\right)+ \mathcal{O}\left(\frac{\psi(2x)x^{\sigma_a-\sigma}\ln x}{T}\right)+ \mathcal{O}\left(\frac{\psi(N)x^{\sigma_a-\sigma}}{T(x-N)}\right)

Preuve

Une esquisse facile de la preuve de la première formule de Perron est donnée en utilisant la formule sommatoire d'Abel

 g(s)=\sum_{n=1}^{\infty} \frac{a(n)}{n^{s} }=s\int_{1}^{\infty} \frac{A(x)}{x^{s+1}}dx.

Ce n'est rien d'autre qu'une transformation de Laplace pour le changement de variable x=e^t\,. En inversant cela, on obtient la première formule de Perron.

Pour une preuve analytique de la deuxième formule de Perron, on part du lemme suivant établi par le calcul des résidus.

«  Soit h(x) la fonction valant 0 sur l'intervalle [0,1[, 1 sur l'intervalle x>1 (et 1/2 pour x=1).

Alors, pour x différent de 1

\frac1{2i\pi}\int_{c-iT'}^{c+iT} \frac{x^u}{u}du = h(x)+\mathcal{O}\left(\frac{x^c}{2\pi |\ln x|}\left(\frac1{T}+\frac1{T'}\right)\right),

et pour x=1

\frac1{2i\pi}\int_{c-iT}^{c+iT} \frac{x^u}{u}du = h(1)+\mathcal{O}\left(\frac{c}{T+c}\right),
 »

Il reste ensuite à multiplier par an / ns et sommer sur n.

Exemples

A cause de sa relation générale avec les séries de Dirichlet, la formule est communément appliquée à de nombreuses sommes de la théorie des nombres. Ainsi, par exemple, on a la représentation intégrale célèbre pour la fonction zeta de Riemann :

\zeta(s)=s\int_1^\infty \frac{\lfloor x\rfloor}{x^{s+1}}\,dx

et une formule similaire pour les fonctions L de Dirichlet :

L(s,\chi)=s\int_1^\infty \frac{A(x)}{x^{s+1}}\,dx

A(x)=\sum_{n\le x} \chi(n)\,

et \chi(n)\, est un caractère de Dirichlet. D'autres exemples apparaissent dans les articles sur la fonction de Mertens et la fonction de von Mangoldt.

Références

  • Gérald Tenenbaum, Introduction à la théorie analytique et probabiliste des nombres, Belin, Paris, 2008.
  • Tom Apostol, Introduction to analytic number theory, Springer-Verlag, New York, 1976.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Formule de Perron ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Formule De Perron de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Formule de perron — Pour les articles homonymes, voir Perron. En mathématiques, et plus particulièrement en théorie analytique des nombres, la formule de Perron est une formule d Oskar Perron pour calculer la somme d une fonction arithmétique, comme rapports d une… …   Wikipédia en Français

  • Formule de Perron — Pour les articles homonymes, voir Perron. En mathématiques, et plus particulièrement en théorie analytique des nombres, la formule de Perron est une formule d Oskar Perron pour calculer la somme d une fonction arithmétique, au moyen d une… …   Wikipédia en Français

  • Perron —  Pour les articles homophones, voir Péron (homonymie) et Perón. Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Un perron est un petit escalier de pierre devant l entrée principale d un bâtiment… …   Wikipédia en Français

  • Emmanuèle Perron — Perron  Pour les articles homophones, voir Péron (homonymie) et Perón. Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Un perron est un petit escalier de pierre devant l entrée principale d un… …   Wikipédia en Français

  • Oskar Perron — en 1948 Naissance 7 mai 1880 Frankenthal (Palatinat) ( …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Fonction Zeta de Riemann — Fonction zêta de Riemann En mathématiques, la fonction ζ de Riemann est une fonction analytique complexe qui est apparue essentiellement dans la théorie des nombres premiers. La position de ses zéros complexes est liée à la répartition des… …   Wikipédia en Français

  • Fonction Zêta De Riemann — En mathématiques, la fonction ζ de Riemann est une fonction analytique complexe qui est apparue essentiellement dans la théorie des nombres premiers. La position de ses zéros complexes est liée à la répartition des nombres premiers. Elle est… …   Wikipédia en Français

  • Fonction dzêta de Riemann — Fonction zêta de Riemann En mathématiques, la fonction ζ de Riemann est une fonction analytique complexe qui est apparue essentiellement dans la théorie des nombres premiers. La position de ses zéros complexes est liée à la répartition des… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”