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
219 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
il y a deux années
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 il y a deux années et a été effectuée par L2M.
Utilisateur anonyme
Re: Condition nécessaire pour les racines de zêta
il y a deux années
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 il y a deux années et a été effectuée par Satan.
L2M
Re: Condition nécessaire pour les racines de zêta
il y a deux années
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
il y a deux années
Je viens de changer le message initial.



Edité 9 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
il y a deux années
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 il y a deux années et a été effectuée par L2M.


L2M
Re: Une autre méthode pour calculer zêta
il y a deux années
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 il y a deux années 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: 137 226, Messages: 1 327 938, Utilisateurs: 24 356.
Notre dernier utilisateur inscrit Mohamedyacine32004.


Ce forum
Discussions: 413, Messages: 10 818.

 

 
©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