素数定理の証明について

素数定理の証明については、ザギエ(Zagier)による4ページの解説論文「Newman's Short Proof of the Prime Number Theorem」に示されている証明があるけど、説明が簡潔すぎることもあって証明を読み進んでいくのがかなり大変という印象がある。

むしろ、アダマールとド・ラ・ヴァレ・プーサンによる素数定理の最初の証明の方が、きちんと正しく証明するのは非常に難しいにしても、やりたい事は分かりやすい気がする。

またザギエが参照しているコレヴァ(Korevaar)の解説論文を見てみると、ザギエの提示している証明の背後には、ウィーナー・池原の定理による証明が存在していることが分かる。*1

なので、その辺りのことをまとめておく。

1. チェビシェフ関数の性質

1.1. 第1チェビシェフ関数θ(x)、第2チェビシェフ関数ψ(x)

アダマールやド・ラ・ヴァレ・プーサンによる証明も、ウィーナー・池原の定理を用いる証明も、ザギエの証明も、いずれもチェビシェフ関数を利用しているので、その説明からおこなう。(ちなみにニューマンの論文では素数定理の証明を2つ示しているけれど、どちらもチェビシェフ関数を使うのとは別の経路で素数定理を証明している。)

第1チェビシェフ関数θ(x)は、

θ(x) = 「x以下の全ての素数pに対する自然対数log p の和」

と定義される。これは、

$\theta(x) = \sum\limits_{\substack{p\\p \le x }} \log p$

のように書くこともできる。(和の添字にpを使ったときは、pは素数だけを渡るとする)。
例えばθ(10)を考える。10より小さい素数は、2、3、5、7、なので、

θ(10) = log2 + log3 + log5 + log7

となる。

一方、第2チェビシェフ関数ψ(x)は、x以下の素数だけでなく、x以下の数で「素数のべき乗になる数 p^m」に対しても、log p を足す。これは、

$\psi(x) = \sum\limits_{\substack{p ,m\\p^m \le x }} \log p$

と書くこともできる。(ここでpは素数、mは正整数を動く。)
例えば ψ(10)を考えると、10より小さい数で、素数、または、素数のべき乗になっている数は、

2、3、4(=2^2)、5、7、8(=2^3)、9(=3^2)

なので、

ψ(10) = log2 + log3 + log2 + log5 + log7 + log 2 + log3

となり、θ(10)と比べると、4、８、9に対するlog2、 log2、log3のぶんだけだけ大きくなっている。

1.2. チェビシェフ関数と素数定理

さて、素数定理の証明の観点から重要なのは、

θ(x) ～ x

あるいは、

ψ(x) ～ x

が成り立てば、そこから素数定理

$\pi(x) \sim \frac{x}{\log x}$

が導かれる、ということ。(ここで f(x)～g(x) は、 $\lim\limits_{x\to\infty}\frac{f(x)}{g(x)}=1$ を表す。)
実際、アダマールとド・ラ・ヴァレ・プーサンは、第2チェビシェフ関数ψ(x)について ψ(x)～x を示すことで素数定理を証明した。

1.3. チェビシェフ関数とゼータ関数の関係

素数定理の証明では、ゼータ関数の性質が重要な役割を果たす。
まず第2チェビシェフ関数ψ(x)とゼータ関数ζ(s)の間には、

$\displaystyle{-\frac{\zeta'(s)}{\zeta(s)} = s\int_{1}^{\infty}\frac{\psi(x)}{x^{s+1}}dx}$

の関係がある。アダマールとド・ラ・ヴァレ・プーサンによる素数定理証明はフォン・マンゴルトの明示公式にもとづいたものだけど、その明示公式はこの関係式から出発して導かれる。またウィーナー・池原の定理を用いる証明では、この関係式にウィーナー・池原の定理を適用する。
一方、第1チェビシェフ関数θ(x)とゼータ関数の関係はもう少しだけ複雑で、同様の形の変換をほどこすと、-ζ'(s)/ζ(s)の代わりに $\Psi(s) = \sum\limits_{p} \frac{\log p}{n^p}$ というディリクレ級数(ここで和の添字pは全ての素数を渡る)で定義される関数に変換され、

$\Psi(s) =\quad \displaystyle{-\frac{\zeta'(s)}{\zeta(s)} - \sum\limits_{p}\frac{\log p}{p^s(p^s-1)} \quad= s\int_{1}^{\infty}\frac{\theta(x)}{x^{s+1}}dx}$

という関係になっている。ザギエの証明は、第2チェビシェフ関数ではなく、第1チェビシェフ関数を使っているので、そのぶん素数定理とゼータ関数との関係は少し分かりにくくなっているような感じがする。

2. フォン・マンゴルトの明示公式と、アダマールとド・ラ・ヴァレ・プーサンによる証明

アダマールとド・ラ・ヴァレ・プーサンによる素数定理の証明では、チェビシェフ関数に対するフォン・マンゴルトの明示公式が重要な役割を果たしている。(フォン・マンゴルトが明示公式を証明したのが1895年。アダマールとド・ラ・ヴァレ・プーサンがそれぞれ独立に素数定理を証明したのが1896年)
導出過程などは略して明示公式を示すと、第2チェビシェフ関数ψ(x)(を不連続点で少し修正した関数)が、フォン・マンゴルトの明示公式では

$\psi(x) = x - \sum\limits_{\rho}\frac{x^{\rho}}{\rho} - \log(2\pi) -\frac{1}{2}\log\left(1-\frac{1}{x^2}\right)$

のように表される。ここで和の「ρ」はゼータ関数ζ(s)の0≦Re(s)≦1の範囲にある全ての零点を渡る。
素数定理を示すには「ψ(x)～x」すなわち $\lim\limits_{x\to\infty}\frac{\psi(x)}{x} =1$ を示せば良かったけど、明示公式のうちゼータ関数の零点についての和以外の部分を見ると、

$\displaystyle{\lim\limits_{x\to\infty}\frac{x - \log(2\pi) -\frac{1}{2}\log\left(1-\frac{1}{x^2}\right)}{x} = 1}$

となっている。なので、あとは

$\displaystyle{\lim\limits_{x\to\infty}\frac{\sum\limits_{\rho}\frac{x^{\rho}}{\rho} }{x}=0}$

が言えれば、素数定理が証明できたことになる。
ここで、ゼータ関数の零点ρ=a+ibを適当に一つ取って、

$\displaystyle{\lim\limits_{x\to\infty}\frac{\frac{x^{\rho}}{\rho}}{x} = \lim\limits_{x\to\infty}\frac{x^{\rho-1}}{\rho} = \lim\limits_{x\to\infty}\frac{x^{(a-1)+ib}}{\rho}}$

の値を考える。xは実数で、実数の虚数乗は絶対値が1だから、x^ibの部分は絶対値が1。なので、もしもρの実部Re(ρ)=a<1 ならば、 $\lim\limits_{x\to\infty}\frac{x^{\rho}/\rho}{x} =0$ となる。
ということは、あとは 0≦Re(s)≦1の範囲にある全ての零点ρがRe(ρ)<1であることが言えれば(そのためにはRe(s)=1でζ(s)≠0となることが言えればいい)素数定理が証明される?

残念ながらこれは成り立たない。0≦Re(s)≦1の範囲にあるゼータ関数の零点は無限個あり、しかも $\sum\limits_{\rho}\frac{x^{\rho}}{\rho}$ は条件収束しかしていないので、各項をxで割ったものが0に収束することが言えても、和全体をxで割ったものが0に収束することは言えない。
とはいえ、アダマールもド・ラ・ヴァレ・プーサンも、和の極限に関するこの問題をうまく回避し、なおかつRe(s)=1でζ(s)≠0 となることも証明して、素数定理を証明することに成功した。

3. ウィーナー・池原の定理による証明

3.1. メリン変換

アダマールもド・ラ・ヴァレ・プーサンも、フォン・マンゴルトの明示公式(を和の極限の困難をさけるために修正したもの)を使って素数定理を証明している。しかし、導出過程をきちんと正当化しつつ明示公式を導くのは非常にたいへん。
なので明示公式を使わない証明があるとうれしい。
そこでまず、明示公式に至る前の $-\frac{\zeta'(s)}{\zeta(s)} = s\int_{1}^{\infty}\frac{\psi(x)}{x^{s+1}}dx$ 、あるいは $\Psi(s) = s\int_{1}^{\infty}\frac{\theta(x)}{x^{s+1}}dx$ の形の積分

$\displaystyle{ g(s) = s\int_{1}^{\infty}\frac{f(x)}{x^{s+1}}dx}$

について調べてみる。これはメリン変換と呼ばれる形の積分。(1/xを新しい変数にして変数変換して積分範囲も変えると、「メリン変換」で通常提示される形になる。)
まず f(x) = cx として、メリン変換 g(s) を計算してみると、

$\displaystyle{ g(s) = \frac{c}{s-1} + c} \quad(\mbox{Re}(s)>1)$

となる。またここで積分の下端1を別の値にしてみると、

$\displaystyle{ s\int_{A}^{\infty}\frac{cx}{x^{s+1}}dx} = \frac{c}{s-1}+\mbox{定数}\quad(\mbox{Re}(s)>1)$

となっている。積分の下端Aをどれだけ大きな数にしてもこうなるのて、xが大きい部分での積分結果が $\frac{c}{s-1}$ の部分に集約されているように見える。
次にf(x)として、f(x)～cxであるような任意の関数f(x)を取ってみる。するとこの場合もRe(s)>1で積分できて、右側からs=1に近づいていくと、 $g(s)=\frac{c}{s-1}+O(1)$ となる。(つまりs→1のとき g(s)≒ $\frac{c}{s-1}$ のように振舞う。)
例えば、f(x) = ⌊x⌋ (= x以下の最大整数)とすると、f(x)～x で、 $s\int_{1}^{\infty}\frac{\lfloor x \rfloor}{x^{s+1}}dx=\zeta(s)$ で、ζ(s)はs=1に留数1の1位の極を持つのでs→1でζ(s)≒ $\frac{1}{s-1}$ が成り立っている。

では逆に「s→1のときに g(s)≒ $\frac{c}{s-1}$ のように振舞うなら f(x)～cx」が言えるか?
というとこれは成り立たない。例えば、

$f(x) = 2^k \quad \left(2^{k-1}\le x \lt 2^{k}\right)$

という関数を考える。これはy=xのグラフとy=2xのグラフの間を階段状に増加していく関数なので、特定のcxには漸近しない。しかし、このf(x)からg(s)を計算すると、

$\displaystyle{g(s) = 2\frac{1-2^{-s}}{1-2^{1-s}}} \quad(\mbox{Re}(s)>1)$

となり、s→1のとき、 $g(s) = \frac{1}{\log 2}\frac{1}{s-1} + O(1)$ のように振舞う(はず。計算ミスがなければ。)

とはいえ、 $g(s) = s\int_{1}^{\infty}\frac{f(x)}{x^{s+1}}dx$ が、s→1で g(s)≒ $\frac{c}{s-1}$ のように振舞うことと、なんらかの補助的な条件から、f(x)～cx を導けないだろうか。

それを助けてくれるのが、ウィーナー・池原の定理。

3.2. ウィーナー・池原の定理

ウィーナー・池原の定理を、ここでの話に合わせた形で提示すると、次のようになる。

ウィーナー・池原の定理
f(x)は、x≧1で非負かつ非減少な関数であり、そのメリン変換
$\displaystyle{ g(s) = s\int_{1}^{\infty}\frac{f(x)}{x^{s+1}}dx}$

は、Re(s)>1で存在するとする。このとき、関数 $g(s) - \frac{c}{s-1}$ を Re(s)≧1 の範囲に連続関数として拡張できるなら、
$\lim\limits_{x\to \infty}\frac{f(x)}{x} = c$

が成り立つ。(つまり f(x)～cx が成り立つ。)

例えば、f(x)として先に例として出したy=xとy=2xの間を階段状に増加する関数(cxに漸近しない関数)を取ると、 $g(s) = 2\frac{1-2^{-s}}{1-2^{1-s}}$ だったので、境界線Re(s)=1に右から近づいたとき、s→1だけでなく、 $s\to 1+\frac{2\pi n}{\log 2} i$ の時にも発散するため、ウィーナー・池原の定理の条件「 $g(s) - \frac{c}{s-1}$ を Re(s)≧1 の範囲に連続関数として拡張できる」を満たすことができない。

3.3. ウィーナー・池原の定理を用いた素数定理の証明

ウィーナー・池原の定理を素数定理の証明に適用するためには、g(s)を

$g(s) = s\int_{1}^{\infty}\frac{\psi(x)}{x^{s+1}}dx = \displaystyle{-\frac{\zeta'(s)}{\zeta(s)}}$

として、必要な性質を満たしていることを見る必要がある。

まずRe(s)>1の範囲で $g(s) = s\int_{1}^{\infty}\frac{\psi(x)}{x^{s+1}}dx$ が値を持つ必要がある。(例えばf(x)=x²だと、Re(s)>2でないと積分が発散する。)
これを言うには「ψ(x) = O(x)」(ψ(x)の増加が、xの定数倍より遅い)を証明すればいい。

あとは、 $-\frac{\zeta'(s)}{\zeta(s)} - \frac{1}{s-1}$ の、Re(s)=1上での様子(連続かどうか)が問題となる。
ζ(s)が零点か極になるsでは、-ζ'(s)/ζ(s)は極を持ち、それ以外の点では-ζ'(s)/ζ(s)は正則になることに注意して考える。(ここで、素数定理の最初の証明で示された「Re(s)=1でζ(s)≠0」が使われる。)
まずゼータ関数ζ(s)の極を見る。ζ(s)はs=1に1位の極を持っていて、 $\zeta(s) = \frac{1}{s-1} + \cdots$ とローラン展開される。このことから、 $-\frac{\zeta'(s)}{\zeta(s)} = \frac{1}{s-1} + \cdots$ となって -ζ'(s)/ζ(s)もs=1で留数1の1位の極を持つことが分かる。
これでs=1のことが分かったので、Re(s)=1の直線上のs=1以外の点での -ζ'(s)/ζ(s) の様子が問題となる。素数定理の最初の証明で示されたように、Re(s)=1ではζ(s)≠0だった(そしてζ(s)はs=1以外には極を持たない)。なので、-ζ'(s)/ζ(s)はRe(s)=1の直線上でs=1を除いて正則になる。よって $-\frac{\zeta'(s)}{\zeta(s)} - \frac{1}{s-1}$ は、Re(s)=1の直線上全体で正則となるので、Re(s)=1上で連続。
こうして、ζ(s)がRe(s)=1でζ(s)≠0であること(とs=1で極を持つこと)から、ψ(x)と -ζ'(s)/ζ(s) がウィーナー・池原の定理の適用条件を満たしていることが導かれる。
したがってウィーナー・池原の定理を適用することで、ψ(x)～xが言え、素数定理が証明される。

4. ニューマン・コレヴァ・ザギエの証明

4.1. コレヴァの証明

ニューマンは、コーシーの積分定理をうまく用いて補助的な定理を証明し、それを使って素数定理の証明を大幅に簡略化した。
しかしニューマン自身の証明は、チェビシェフ関数を使うのとは異なる仕方の証明なので、ここではニューマンの証明を分析したコレヴァによる証明を見る。
まずコレヴァは、ニューマンが用いた手法によって次の補助定理が証明できることから始める。(この補助定理はザギエの証明でも使われる。コレヴァの論文では「Auxiliary Tauberian theorem」と呼ばれ、ザギエの論文では「Analytic Theorem」と呼ばれている。)

補助定理: 関数F(t) (t≧0) は有界で、任意の有界閉区間で積分できるとする。このとき
$G(z) = \int_{0}^{\infty}F(t)e^{-zt}dt$

は、Re(z)>0で正則。
(註: Re(z)>0のときは、tが大きくなるとき $|e^{-zt}|$ が小さくなっていき、 $\int_{0}^{\infty}F(t)e^{-zt}dt$ はうまく収束してくれる。しかし $\int_{0}^{\infty}F(t)dt$ は収束するとは限らない。そしてz→0のときに $\int_{0}^{\infty}F(t)e^{-zt}dt$ が収束したとしても、その時 $\int_{0}^{\infty}F(t)dt$ が収束するとは限らない。)
このG(z)が、Re(s)≧0まで解析接続できるとする。
このとき、 $\int_{0}^{\infty}F(t)dt$ は収束し、
$\int\limits_{0}^{\infty}F(t)dt = G(0) = \lim_{z\to 0}G(z)$

が成り立つ。

コレヴァは次に、この定理から、弱い形のウィーナー・池原の定理を導く。「弱い」というのは、定理の適用条件が元の定理より厳しくなっているからで、元の定理で「 $g(s) - \frac{c}{s-1}$ を、Re(s)≧1まで連続関数として拡張できる」という条件だったところが、「 $g(s) - \frac{c}{s-1}$ を、Re(s)≧1まで解析接続できる」というもっと強い条件に置き換わる。
弱い形のウィーナー・池原の定理は、おおよそ次のように導かれる。 $g(s) - \frac{c}{s-1}$ は、

$g(s) - \frac{c}{s-1} = s\int_{1}^{\infty}\frac{f(x)}{x^{s+1}}dx - \frac{c}{s-1} = s\int_{1}^{\infty}(\frac{f(x)}{x}-c )\frac{dx}{x^{s}} +c$

と書き換えることができる。*2
$x=e^{t}$ で変数を変換すると、

$g(s) - \frac{c}{s-1} = s\int_{0}^{\infty}(\frac{f(e^t)}{e^t}-c )e^{-(s-1)t}dt +c$

となる。さらに $s-1=z$ とすると、

$g(z+1) - \frac{c}{z} = (z+1)\int_{0}^{\infty}(\frac{f(e^t)}{e^t}-c )e^{-zt}dt +c$

となる。この式の積分のところに補助定理を適用することができる。(「 $g(s) - \frac{c}{s-1}$ をRe(s)≧1まで解析接続できる」ことから、「 $G(z)=\int_{0}^{\infty}(\frac{f(e^t)}{e^t}-c )e^{-zt}dt$ をRe(z)≧0まで解析接続できる」ことが言え、補助定理の適用条件が満たされる。)
よって補助定理により $\int_{0}^{\infty}(\frac{f(e^t)}{e^t}-c )dt$ は収束する。 $e^{t}=x$ で変数をxにすると、
$\int_{1}^{\infty}(\frac{f(x)}{x}-c )\frac{1}{x}dx$ となり、この積分が収束することから、 $\frac{f(x)}{x}\to c$ を導くことができる。このように補助定理から弱い形のウィーナー・池原の定理が証明される。

そして $-\frac{\zeta'(s)}{\zeta(s)} - \frac{1}{s-1}$ は「Re(s)≧1まで解析接続できる」の条件を満たしているので、弱いウィーナー・池原の定理を適用できて、それにより素数定理が証明される。
これがコレヴァによる証明の道筋。

4.2. ザギエの証明での変更点

ザギエが解説論文で示している証明は、コレヴァの証明をいくらか修正したものになっている。
まず一点目として、ザギエは第2チェビシェフ関数ψ(x)ではなく第1チェビシェフ関数θ(x)を使って証明をおこなっている。
これは、第1チェビシェフ関数のメリン変換

$\displaystyle{ \Psi(s) = s\int_{1}^{\infty}\frac{\theta(x)}{x^{s+1}}dx}$

にもウィーナー・池原の定理が適用できるため。 $\Psi(s) = -\frac{\zeta'(s)}{\zeta(s)} - \sum_{p}\frac{\log p}{p^s(p^s-1)}$ で、 $\sum_{p}\frac{\log p}{p^s(p^s-1)}$ の部分は、Re(s)=1を含む適当な範囲で正則なため、定理の適用条件には影響を与えないので。

二点目として、コレヴァのように補助定理から弱いウィーナー・池原の定理を一般的に導くのではなく、第1チェビシェフ関数θ(x)を含んだ式に直接補助定理を適用して、θ(x)～x を示している。

コレヴァは一般的な $F(t) = e^{-t}f(e^t)-c$ と $G(z)=\frac{g(z+1)}{z+1}-\frac{c}{z}$ に補助定理を適用して、そこから f(x)～cx が成り立つことを示し、 $g(s) = s\int_{1}^{\infty}\frac{f(x)}{x^{s+1}}dx$ に対する弱いウィーナー・池原の定理を証明する。

ザギエは、一般的なf(x)ではなく、 $F(t) = e^{-t}\theta(e^t)-1$ と $G(z)=\frac{\Psi(z+1)}{z+1}-\frac{1}{z}$ に補助定理を直接適用し、その結果を使ってθ(x)～xを証明する。

4.3. ザギエの証明でやらないといけないこと

最終的に、ザギエによる証明では、何を行う必要があるのか?

[1] 補助定理の証明

ニューマンの手法によってコーシーの積分定理を使って補助定理を証明する、というのがコレヴァ・ザギエの証明のキーポイントになる。

次に、 $F(t) = e^{-t}\theta(e^t)-1$ と $G(z)=\frac{\Psi(z+1)}{z+1}-\frac{1}{z}$ が補助定理の条件を満たしている事を示さないといけない。(以下の[2]～[5])。
まず、 $F(t) = e^{-t}\theta(e^t)-1$ が有界でないといけない。(この条件はウィーナー・池原の定理での「メリン変換がRe(s)>1で存在する」に対応する。) それを示すために「θ(x) = O(x)」の証明がいる。

[2] θ(x) = O(x)　(ザギエ定理III)

そして、 $G(z)=\frac{\Psi(z+1)}{z+1}-\frac{1}{z}$ がRe(z)≧0で正則であることを示さないといけない。 $G(z) = \frac{1}{z+1}\left(\Psi(z+1)-\frac{1}{z}\right)+\frac{1}{z+1}$ となるので、 $\Psi(s)-\frac{1}{s-1}$ がRe(s)≧1で正則であること(これは弱いウィーナー・池原の定理の適用条件にほかならない)を証明すればよい。 $\Psi(s) -\frac{1}{s-1}=\left(-\frac{\zeta'(s)}{\zeta(s)} -\frac{1}{s-1}\right) - \sum\limits_{p}\frac{\log p}{p^s(p^s-1)}$ なので、本質的にはゼータ関数ζ(s)の性質を証明することになる。
まずζ(s)がs=1で留数1の1位の極を持ち、その点を除けば、Re(s)≧1を含む適当な領域で、ζ(s)が正則になる、という性質の証明をする。

[3] Re(s)>1で、ζ(s)が定義できる。　(ザギエ定理I)
[4] $\zeta(s)-\frac{1}{s-1}$ を、Re(s)>0まで、正則関数として拡張できる。　(ザギエ定理II)

あとは、Re(s)≧1でζ(s)≠0となることが言えれば、 $-\frac{\zeta'(s)}{\zeta(s)}-\frac{1}{s-1}$ がRe(s)≧1で正則であることが言え、そこから $\Psi(s)-\frac{1}{s-1}$ もRe(s)≧1で正則であることが言える。

[5] Re(s)≧1で、ζ(s)≠0かつ $\Psi(s)-\frac{1}{s-1}$ は正則である。　(ザギエ定理IV)

これでG(z)がRe(s)≧0で正則になることが言え、補助定理が適用でき、
$\displaystyle{\int\limits_{0}^{\infty}F(t)dt=\int\limits_{0}^{\infty}\left(e^{-t}\theta(e^t)-1\right)dt=\int\limits_{1}^{\infty} \frac{\theta(x)-x}{x^2}dx}$
が有限値に収束することが証明される。

[6] $\int_1^{\infty}\frac{\theta(x)-x}{x^2}dx$ は収束する。　(ザギエ定理V)

θ(x)～x というのは $\lim\limits_{x\to \infty}\frac{\theta(x)-x}{x}=0$ と等しいけど、これが $\int_1^{\infty}\frac{\theta(x)-x}{x^2}dx$ が収束することから導かれる。

[7] θ(x)～x　(ザギエ定理VI)

そしてθ(x)～xから素数定理が導かれる。
ザギエは、以上の補助定理と定理I～VIの証明、素数定理の解説を4ページにまとめて提示している。

5. 参考文献

D. J. Newman, Simple Analytic Proof of the Prime Number Theorem(1980)
J. Korevaar, On Newman's Quick Way to the Prime Number Theorem(1982)
D. Zagier, Newman's Short Proof of the Prime Number Theorem(1997)
河田敬義『数論―古典数論から類体論へ』岩波書店(1992)
INTEGERS「素数定理の証明」

*1:ザギエの論文のタイトルは「Newman's Short Proof of the Prime Number Theorem」だけど、ニューマン自身の証明とはかなり違っていて、むしろコレヴァの解説論文「On Newman's Quick Way to the Prime Number Theorem」の証明を元にしている。

*2:ここで「sに1を代入すると「g(s)-c/(s-1)」が(Re(s)≧0まで解析接続できるから)有限値になるので、∫₀^∞(f(x)/x-c)/x dx も有限値になる」と進んでいくことはできない。もとの積分が発散せず定義されていたのはRe(s)＞0のときで、この積分がs→1の時に有限値になることが分かっても、直接s=1を代入した時にも発散せず有限値になるかどうかは分からない。