Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
85 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Une autre méthode pour calculer zêta

Envoyé par L2M 
L2M
Une autre méthode pour calculer zêta
l’an passé
Proposition : Pour tout $z=\sigma+it \in \mathbb{C}$ tel que $\quad \sigma>\sigma_0>0, t>0$ et $\theta=arg(1-z)$, on a
$$
\begin{align*}
&\Re (\zeta(z)) = \lim_{n\to \infty} \sum_{k\leq \exp \big(\! \tfrac{n\pi-\theta+\pi/2}{ t} \!\big)} \frac{\cos(t\ln k)}{k^{\sigma}}\\
&\Im (\zeta(z)) = -\lim_{n\to \infty} \sum_{k\leq \exp \big(\! \tfrac{n\pi-\theta}{ t} \!\big)} \frac{\sin(t\ln k)}{k^{\sigma}}\\
\end{align*}
$$

Démonstration :

Lemme à utiliser : Pour $\Re(z)>\sigma_0>0,\quad \displaystyle \zeta(z) = \lim_{x\to \infty} \sum_{k\leq x} \frac{1}{ k^z } - \frac {x^{1-z}}{1-z}$

On a
$\displaystyle k^z=k^{\sigma+it}=k^{\sigma} k^{it}=k^{\sigma} e^{itlnk}$
$\displaystyle \frac{x^{1-z}}{1-z}=\frac{x^{1-\sigma-it}}{1-z}=\frac{x^{1-\sigma}e^{-itlnx}}{|1-z|e^{i\theta}}=\frac{x^{1-\sigma}}{|1-z|e^{i(tlnx+\theta)}}$ ( d'après $arg(1-z) \equiv \theta [ 2\pi ]$ ).

d'après le lemme on peut écrire : $$\zeta(z) = \lim_{x\to \infty} \sum_{k\leq x} \frac{e^{-itlnk}}{k^{\sigma}} - \frac{x^{1-\sigma}}{|1-z|e^{i(tlnx+\theta)}}$$

Notons $x_{z,n}=e^{\frac{\Large n\pi-\theta}{\Large t}}$

Puisque $t>0$ alors $n \longrightarrow \infty \Longleftrightarrow x_{z,n} \longrightarrow \infty$
donc
$$\zeta(z) = \lim_{n\to \infty} \sum_{k\leq x_{z,n}} \frac{e^{-itlnk}}{k^{\sigma}} - \frac{x_{z,n}^{1-\sigma}}{|1-z|e^{i(tln x_{z,n}+\theta)}} $$
mais
$\displaystyle x_{z,n}^{1-\sigma} = e^{ \frac{\Large n\pi-\theta}{\Large t} (1-\sigma)}$
$\displaystyle e^{i(tln x_{z,n}+\theta)} = e^{i(t \frac{\Large n\pi-\theta}{\Large t}+\theta)} = (-1)^n$
d'où
$$ \zeta(z) = \lim_{n\to \infty} \sum_{k\leq x_{z,n}} \frac{cos(tlnk)}{k^{\sigma}} - i \sum_{k\leq x_{z,n}} \frac{sin(tlnk)}{k^{\sigma}} - \frac{e^{ \frac{\Large n\pi-\theta}{\Large t} (1-\sigma)}}{|1-z|(-1)^n} $$
c'est à dire $$\Im (\zeta(z)) = -\lim_{n\to \infty} \sum_{k\leq x_{z,n}} \frac{sin(tlnk)}{k^{\sigma}} $$
De la même manière, on calcule $\Re (\zeta(z))$.



Edité 3 fois. La dernière correction date de l’an passé et a été effectuée par L2M.
Utilisateur anonyme
Re: Condition nécessaire pour les racines de zêta
l’an passé
On a aussi plus trivialement : \begin{align*}
\sum_{n \geq 1} (-1)^n \frac {\cos(t \ln(n))}{n^{\sigma}}&=0 \\
\sum_{n \geq 1} (-1)^n \frac {\sin(t \ln(n))}{n^{\sigma}}&=0
\end{align*}



Edité 2 fois. La dernière correction date de l’an passé et a été effectuée par Satan.
L2M
Re: Condition nécessaire pour les racines de zêta
l’an passé
En fait, la proposition que je viens de démontrer prouve que toutes les sommes $\displaystyle \sum_{k\leq \exp \big(\! \tfrac{ n\pi-\theta}{ t} \!\big)} \frac{\sin(t\ln k)}{k^{\sigma}}$ convergent vers $-\Im (\zeta(z))$ quand $n$ tend vers $\infty$, avec $\sigma=\Re(z)\geq\sigma_0>0 \quad ; \quad t=\Im(z)>0 \quad ; \quad \theta=\arg(1-z)$



Edité 5 fois. La dernière correction date de l’an passé et a été effectuée par L2M.
L2M
Re: Condition nécessaire pour les racines de zêta
l’an passé
Je viens de changer le message initial.



Edité 9 fois. La dernière correction date de il y a sept mois et a été effectuée par L2M.
L2M
Re: Une autre méthode pour calculer zêta
l’an passé
Le code Pari Gp pour tester les deux limites :
default(realprecision,5)

x(z,n)=exp( ( n*Pi-arg(1-z) ) / imag(z) );

ReZeta(z,n)=sum(k=1,floor(x(z,n+1/2)),cos( imag(z)*log(k) )/k^real(z));
ImZeta(z,n)=-sum(k=1,floor(x(z,n)),sin( imag(z)*log(k) )/k^(real(z)));

n=55; z=0.5+15*I;

print( x(z,n) );
print( x(z,n+1/2) );
print( zeta(z) );
print( ReZeta(z,n)+ImZeta(z,n)*I );

Pour $n=55$ et $z=0.5+15*I$ les nombres des termes dans les deux sommes sont :
$\Big \lfloor x(z,n) \Big \rfloor =1.1149\ E5$ et $\Big \lfloor x(z,n+1/2) \Big \rfloor =1.2380\ E5$



Edité 1 fois. La dernière correction date de l’an passé et a été effectuée par L2M.


L2M
Re: Une autre méthode pour calculer zêta
l’an passé
Remarque : Dans la bande critique, $\zeta$ se cache dans des sous-suites convergentes de suites divergentes.



Edité 1 fois. La dernière correction date de l’an passé et a été effectuée par L2M.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 133 628, Messages: 1 285 788, Utilisateurs: 23 076.
Notre dernier utilisateur inscrit saloua.


Ce forum
Discussions: 367, Messages: 9 367.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page