• 検索結果がありません。

ζ関数についての近似的な概周期性について

N/A
N/A
Protected

Academic year: 2021

シェア "ζ関数についての近似的な概周期性について"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

ζ関数についての近似的な概周期性について

著者

柊原 健明

雑誌名

鹿児島大学工学部研究報告

22

ページ

211-212

別言語のタイトル

ON AN APPROXIMATE ALMOST PERIODICITY OF ZETA

FUNCTION

(2)

ζ関数についての近似的な概周期性について

著者

柊原 健明

雑誌名

鹿児島大学工学部研究報告

22

ページ

211-212

別言語のタイトル

ON AN APPROXIMATE ALMOST PERIODICITY OF ZETA

FUNCTION

(3)

こ関数についての近似的な概周期性について

柊 原 健 明

(受理昭和55年5月31日) ONANAPPROXIMATmAⅡM⑪STPERIODICIrY OFzETAFUNCTION KenmeiKuKIHARA AnapproximatealmostperiodicityofEfunctionisproposed,whichleadsthatthenumbersof valuestakenbythefunctionareO(T)inl#│<m Howevertheproofisgivenonlyontheline〃=1. 1 . 序 論 1/2<ぴに於て〔(s),S=ぴ+〃はBesicovitchの概 周期性(B・a.p、)を持つ'>,即ち

'

f

(

)

-

f

(

'

)

'

(

,

を 任 意 の e に 対 し て 承 た す 充 分 一 様 な 集 合 側 が 存在する. 平均操作は二重で,

即(‘)}=再読会二r身(‘)……(2)

剛(認)}=唖方にT'(鯵)血……(3)

値分布の情報はかなり失われてしまう. ぴ>1ではBohrによる一様概周期性(u・a.p、)が成 立し,〈;のとる全ての値αに対してα点の個数は │#│<TでjVb(T)∼O(T)が導かれる. 1/2<ぴ≦1に於ても,やはりO(T)がゼロ以外の 全ての値についてわかっている2).これらはBa.p、と 関連はあると思われる.ところが人間には解けないか も知れないリーマンの予想によればゼロは存在しない. この予想を正しいとすると,〈;のとり得る全ての値 に対してO(T)がいえることになる. そこで,逆に,この結果を導く様な,近似的な概周 期性を構成予測して承ることにする.候補はu・a.p、 とB、a.p・の中間的なもの,

M

I

I

:

'

(

+

)

-

f

(

)

'

"

<

(

4

)

が,任意に与えられた垂に対して承たされる様な, 充分一様な集合{でf}が存在する,というものである. 鉱についての条件がforall釘ではなくて,givenany 鉱であるところが,一般化概周期性と呼ぶにふさわし くないので近似的としておく.(4)はjVb(T)∼KhTを 導くべくつくられている. 1/2<〃で証明できないのは当然であるが,グー1で は可能である.そこでは素数定理の帰結として簡単に できるが,以下の形は1/2<ぴにして概略を示す. 2.計算の概要

{

(

+

)

-

(

)

'

(

5

)

のタイプの極限値の存在は全ての範,任意のa.p・Set 側について既に知られている. 〔(#)=(1-2'-‘-")〈;(ぴ+") である.(5)の評価を適当な{でj}について行う.求 めるのは不等式であるから,要求される精度の下では, 極限値の存在から,脇の無限和は有限和で近似でき るからMと#積分の順序は余り気にしないでおく. (5)は(6)より小さい,(Z積分をしばらくはずして おく) [M;{に(#+で,)一億(#)'2}]'/2・・….(6) Minkowskiの不等式により ≦[M》にⅣ(z+で‘)−Ejv(t)'2]'/z +[必に(#+で‘)一(;jv(メ+rli)'2]'/2 +[雌に(#)一〈;N(#)門ユノ2……(7)

(4)

212 鹿 児 島 大 学 工 学 部 研 究 報 告 第 2 2 号 ( 1 9 2 0 ) こ こ で

∼〃(−')" ’……(8)

《'v=愚7両一

である. {吟}としてu・a.p・関数(;Nの概周期の内で整数と

一致するものE{e,層,v}をとると,(7)の第一項はg

よ り 小 さ い (8)はjV=・COで広義の一様収束であるから,#に応 じて充分大きなⅣをとれば(7)の第3項はeより小 さ い {吟}は上記によって,次の形の連立不等式 |砂'"''-11<6,が=2,…,Ⅳ……(9) を承たす整数である(6はMeに応じて小さな数で ある),かつ”の素因数について|で妙│<γ(mode 2元)なるものとする. (7)の第2項の評価には工夫が要る.自然数が=0,1, …,ooは素数P,=2,P2=3,……に因数分解して考 える.

=

,

)

γ

α

(

×

)

,

(

)

(

,

0

に注意する.但し被積分関数の吟をでとし,rノ"邦の 邦は素因数に分解,そして各々の副"'『を独立変数と 承なす.'露はⅣより大きくない最大の素数である. 積分⑩をMonteCarlo法で計算したのが脇である と考えればよい.1つの整数及びJ秒r,γ=1,2,…CO の組が互に一次独立であることによる. (7)の第2項の中味は,積分をハの部分の承行っ て, M)に(#+で,)−<;jv(#+で,)'2

M

i

{

(

'

-

2

"

)

F

7

=

=

;

=

)

+

(

'

'

-

,

=

"

)

p三脚

I

L

N

(

s

+

)

z

(

'

(

1

-

2

1,

)

g

r

2

{

(

1

-

2

1鼠

p≦"1−,s

)

"

"

+

'

であるから,(7)の第2項が小さくなるかどうかは,

;

(

'

-

2

-

,

-

"

)

7

;

L

寿

-

<

(

にかかっている.素数定理からは,オイラー積がぴ= 1,メ≠0で成立が導れているので,グー1の線上では, 証明は可能である.びく1については何もわからない. オイラー積が実軸以外のび>1/2で成立していること も感じさせる.ノ"との特異点について,連分数の収束 域に似た形式をとることもあり得よう. 文 献 1)A,S・Besicovitch,Almostperiodicfunctions,Cambridge, 1932.p、104 2)E、C・Titchmarsh,ThetheoryoftheRiemannzeta‐ function,Oxfbrd,1951.pp、259-261 3)文献1)pp、94-95

参照

関連したドキュメント

[r]

[r]

しかし,物質報酬群と言語報酬群に分けてみると,言語報酬群については,言語報酬を与

  に関する対応要綱について ………8 6 障害者差別解消法施行に伴う北区の相談窓口について ……… 16 7 その他 ………

賞与は、一般に夏期一時金、年末一時金と言うように毎月

(Sexual Orientation and Gender

自然言語というのは、生得 な文法 があるということです。 生まれつき に、人 に わっている 力を って乳幼児が獲得できる言語だという え です。 語の それ自 も、 から

法・条例の措置: