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

麟 懸警 蕪

N/A
N/A
Protected

Academic year: 2021

シェア "麟 懸警 蕪"

Copied!
58
0
0

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

全文

(1)

一ム31、尉 濁

一,懸 摂r論

畢嚢

轍譲黙漿 ボ「 諏帳 環

陀鰻

 鑓

轟幾 塁

一憧.講 」修;

診覧 羅

"一

隷 τ

琳'誌 ..

一7渓 こ 、=恐 争f

y杢

.・ 卓

鱒こ"

.,こ.

静̲マ,

ぷ,噂

慕 罫

Aヤ

v》

‑驚擦 隷 難 慧謎.

愁姦轟 謹 糖憲璽齢 趣 ご諏

冒Fr

戸㌦̲シ 客,r.・

フジ ミ

hみ ・ 一 ・!凱}讃

ご 任 二㌔ ギ 鉾.絢澱 轟, ■"陣

..巧5瞥 剛.ゲ7

「rヤA・,守

〜 β 鮎 さw

‑覧^

"三

麟 懸警 蕪

コ ら

π 購 魔 塾.

諮 講 嚢嚢 懇

ー 講灘

̀ゴ

舞 轟欝 懇

乱 漁

?6

,

i、 く 一』 ・・←x

〔 細

難 。.̲瀞

  

警 懇

・・離 }∴

  

.}熱

'3

戸一

俗凱3b i'

Fσ

φ

ρ.

,

P

7﹁認:;..・﹂塔'♪

︑Ψ'冨・γ

・ご

r︑翌. 

.〆、1も,.晒

げ}

虻'ギA旨

レ・ 『亨

..、

r̲.

‑←

程}

ψ

ポ,し

難 謙

簿卜・

駈妻 鱒滋.

難響 幾

)  賢

㌧欝︑.

}溝町..㌦.㌶

,f

ヤ3

ラ〆鍵L

..

r.・

̀

^

rφ

r

.

3&

ρ '

'「▼「'̀

'

5 8

ρ

t /

r

㍉喉一氏L∵篇 懸

wゼr訪F噛

〜}辛P

ら'

恥.ぜ

」・ 『,管

母'

叛 唱,舳.ワ ' 演‑津ごタ

'嚇

㍗ ∵

き シ庚穿葦

} 催 一 瓦 冠

}.阜 く髪,雲 丁匙

i,

、」,・ 一噸曙 童

,㍗

,o尊

←・り,・ 鯛一

L̲評 ●μ

3鳩

吟f .阻.詠L悌 象 逸 蔓 ン、

;鏑 メ 許撫ゴ鴬

く.,r̲,亀 ノ・o胸'・

㍊1漆 ミ朴咲 ….

♪ ゾr画

.,》

鞠'〆,乱

'〜貿 し;闘 唖戸'

・ 点 ズ』 蹴 ・鼻 ぎ璽 姦

㍉ 饗

F 窪,"'‑:1

剰 ξ:ト噂 畿

1'町・ むη

㍉ご'LI

、 瞭

欝\, モ,{

'

F

, '

,

3,

Ψ

O

o

̀夢 一7'ρ.,

■亭

R

41.飾

孫1」 組 藍

rロ ●・

φ Ψ・

.涯:,一,艦'一

二・ 一 乙無 き=馬,

ご 畷 ∫.へ

ヂ躯一・乱 ̲1一 ル' 7 耀,

噸・

'

1ト

雫 直 ρ ハ  

喉 幽 響1.㌧ ・,

冠 ・1..∵

魎 謝 藷 野

鷺 塁寛ぎパ

・ 量1・ 曙1押 \'

灘1爺

黛 纏ぐ

̀1J

k'∵ 響'劇 認 ノ 壁 孟 ヅ 賦"誠 ら 蝋

妥ll∵噛1黛 き、

爾 ㌦ 鑑糟 評 駐 ・%脇"

〜津f‑

,魁

̲̲,一

一,Q

●,砂

6

1

亀"

:

ゆ の

ユ.ご 隔 転,一 サ̀丁 で 、

つ"

o,一

・● 「、

・:'∵

1ヒ ◆̀

,臥

撃 一

σ

,

'蓄

・a>義

.,∵

ガ 弓 紘.

"だ

.譜 し 畦 喉 贈 帆 ∫,̲鞘Y・

"臥1 ン¥プ ・」 ㌣

̀φ 聖、,"

獣 ぜ 、.∫瓦 、ざ.ア

圏 ぐ 鵡 塑う.

浪^、 誌 き勲 魁'』

〆蒙 溝 〔

灘 播 絶ゴ

縮轄避 戴 籍

、.犀 写:搾:警

'

Jf

t'

㍗岬

・"冨

、1,・ 一̲ボ 『1.酒̀

、靖,労

̀

,,.♂ る1/1'

.r,,

・‑Lr"?最

♂.〜 ・ 轟 ∴L

\∵ 遊 鎌 藁

.㌧ ズ 籍 毒 蔦

》を

㌣ 鷹

.ド

舜、く 津

壁 桟 掃 ・

亘勢 噸㌦轟

一 ・璽鎌 轟l

l:戴 .

・凸

r

"

・ノ' }

,

.

W

'雪

酬︑

. "

︑瓦

.''

.

,

" 嘱凧

.

.v/

.﹃﹁.・︑y,,

"",

..二.詞

.・・︑じ

,""

U"

P

}論

f2

L1

.(

4 :÷ηp

p等.・"μ" 調

..

.麟w.﹁'覧﹂'.

^;・甑

631..華,難

f"改甑

.

.叩肱.Fr

"〜噛,'}.・﹂へ脅,,,

1圏

』‑.1、<.一,.

膿醜 ジ

蟻 ㌧

"ぜ

.ず

馬 瀞 偽 摂,』;し 岬

1:慰濾熱 デ

応 、1総1∵ 擁 碁 圃=み い ゼ.1ジ蔦躯・ 、 灘:ぐ 塗読碕

窺織 甑 と

㌧∴ ∴避 ∴ ご謬 翫 ね誌 ・

i4

独民 ソ 秘 轡 きぞ∵ ド ・紅ざ1 .陶 ほ 厭 魯 凝 ∵ 婆 ・1

塁葱 繕1

孫 騰:獣:姦 蕉 墾 鷲

・曜 ゴ

、・ゴ喚サ ㌦,

闘 無 こ

ミ.き

(2)

東 京 都 立 大 学 博 士(理 学)学 位 論 文(論 文 博 士)

名(和 文)

テ)イワ ク レ 纏 のSノ 難1イづ 勺 てつ・ ・ ノ(

薄 丈

審査 担 当者(自 署)

琵 酒 り 髪1、

委 員 ぢr7を

委 員 1」/一

審 査 報 告 年 月 日 'Fk

G年2月 ク 日

(3)

Onq‑AnaloguesoftheDiricletSeries

(デ ィ リ ク レ級 数 のq一 類 似 に つ い て)

HirofumiTSUMURA

津 村 博 文

(4)

0.Introduction

Let/β,、}betheB・rl・ ・ullillumbers・.1・fill・dilldl1・tivelyl)y

B・‑1・ 愈C)13・+{1}i:; 

W・ ・anse・tha† β1=‑1/2.β2=1/6.β ・=〔 〕.….Th・selllll1・lbersllave・1・t・f

fa、SCillatingari重11111etiCP1て)P(・rtieS.FO1』eXanlple・illthel9tll(・entUry.1{11r11111ergaVelhe

lbll・Wil19Crit・ ・ri・11Wlli(・h…aSr(・latledt・tll・6rStCa・e・fF(・rmaゼSL・.・IT}le・relll:

(1{1.11‑‑‑‑1(コ1D●s(.11じitle1いi()1]L)

SuPpose1,isaprilllelll11111x・rwidl1♪/132んf(,1・ ん=1.2.….(ノ)‑3)/2.

Thelltllee(lua.ti・ll

,1'f+〆=ノ.Q・ 〃 。.ノ))=1

11asll・illtegers・)lllti・11s.

Thisresulthll・11edtheBerlloullinumbersiutosll(・11aspla5・edalli111portalltroleirlImlllber

the・ry.A1・t・fauth・r・tllellillVe・tigat・ddl・pr(・1・ ・rtle・ ・fthe…nUlllb・rs.

111・11e・fll1・al)Pr・a、clleSt・sl.UdytlleBerll・1.111hlUIlll・e1・s.Ca、rlit.Zde伽e(lthc,g‑

Berl1・ullinmllb・r・{、 プ"(ω}f・1・ac・ml・1exmlml…r9([3]).Nall1・ly{3。(の}wer・(1・ 盒lled

illdll(・tivelyl.)ぎ

3・(ワ)‑1・ ≦⊇

、 ¢)9・+1ブ ・(の一 抽)一{1  :;1)1)・

Notlethatlime̲13,、(C()=β,、 ・If、vellsetl1(・Ilotatioll

lc"

l

f・rallyillt・9er'〜.lh(・11weca,lls・ ・thal

一 一[い ・(ω 一[213]・3・(の 一 ワ(師1)・ ・(・ ・2)

13y‑(0.!),wehave

liI11[η]=η.

9‑1

11ellceweca」lregard{げ,、(q)}asg(円11eralizatiolls()f{β η}.Thesemllllbers{β 、(q)}ocα1py

theI)11ndpall)ositiollIIItheaut.hor'sworks.

1

(5)

ForaprimeI川mbe1・ ノ).letQ∫,betheρ 一adiqmmberfieldalldcρbethecoml)litinn

ofalgebralcclostlreofQρ.sillceea1・ly!970s・allalyticfmlct.iolltheory(川cρhasbe(・ll

i・v(・ ・tig・t・dl・ 》・Tat,・,K・a・11er.M・ ・ita・ 一 ・・e・t…Th・yC・11・trll・ted・ ・11alyti・fUI1・ti・lls・

C、,wllidlwe・ea・11al・9u…f・rdilla・ ・ya・illllll・ti(bfm1・t.i・11s・ 「1「h・Ill・still1P・11tallt・11・i・the

ノ・‑adiぐZet・fUnCti・n(,(・)・ ・nstruct.・ ・it・yKUb・t・1alKILe・P・ldt・ ら,(・)i・a1)‑a・liCanal・ ・9U・

o負heR,iema,lmzetafunctliollぐCs).Illfaぐ1,theibllowillgr(・la.tliolls

(1、(1,,)(1〆‑1)13,・(〃>1.η0(〃 、θ、/ρl

Il))(・ ・3)

11・ld.W}1i・llar…11al・9・USt・th…rdilla・5▼r・1・ ・11S

((1‑1、)一 β ・("≧1).

!l

A・ ・g・11e・ali・ ・t.i・11f'・ ・aP・imiti…1)i・i・hl・t・h…ad・ \ ・th・ ノ・一・di・ 五 一fm1・ti・l/五,(・ ・\)

Wa,C。nSt1・UCtle・1andWa・illV・ ・tigat・dbyal・t・i5allth・rs・IWa・sa・Vaf・11nd・.lliml・ ・rl.allt

relatiollbetweel1五 ρ(5.\)alldwhatis('all(・daZ1・‑extel1寸iollofa.lgebra・icIlllmberfie】d・

SillcetheIl.五 ρ(.s.\)hasbeelldleIllostre111arkableノ,‑adi(‑fl111cti(川illIlmllbert}1eory・

In1982.K・blilzc()llstrl1・t・d・ ノ,‑cli・fl111・1i・ll(,.q(・ ・)wlli・hil11・ ・rP・latledth・g‑

Bemoullimmll)e1・sahlol1‑posiliveiuteg(・rs.whereq∈c,,([15]).Notetllatlimg.̲1(1、,?(,5)=

(,(・ 〉.S・(1,,,(・ ・)…a…ll・da9‑anal・9‑1』tl1・ ノ,‑adi・zd・fnncti・ ・11・NI・ …ve・hed・ 盒lled

th・  luldi・ 五1、、,し・へ)wlli・ ・ll…a…lled・ ・1‑allal・gu・ ・fth・ ρ 一a・li・ 五 一flm・ti・11,alldh・

SU99・ ・t・dtl1・ibll・Wil191W・P1'(・bl・1ns・

(Kol)litz"sProbl̀・ms)

(1)A・ethe・ …ml・lexarlalyti・(f↓s…i・ ・swhi・h五 ρ.,(・ へ)・allb・vi・ …d・

illtl・ ・P・1・tlin9.iiit.lle・am・Wa》7dlat乙,(・ ・へ)illt・1'P・1・t・ ゐ(・ へ)?

(2)1)oCarlitz?s,プA.(ワ)(xで11ril1寸hec()(・flicielltsofs()llleS1.irlil19tyl)eseriesfbr

P‑・(llc・1…111pl・Xallalyli・q‑1()9‑F‑fllll・ti・lls?

In[16いatl・h・()・ ・t・11・ 童・・1・(,↓se・ie・ 乙,(・ へ)whi・h・ati・fi・ ・lth・a・1・ ・ve・ ・11diti・ns

K・blit,Z・ ・qlli1・ ・d.S・}1・9・v・al1・mswe・t・th・ ・P・ ・bl・m(1)・

Thema、inresllltoftllispal)erisgi\ ▼illgallallswertolheproblell/(2)inbo重htlle

complexca.se([2・4])alldtlle1,‑a(licぐase([20])・II1§1・wetreaU.h(・ ぐomplexcase・Nalllely

we(・olls†rllcta、(・omplexfllllctionθ(1'̀1)inwlli('ll1.heq‑Bemoll】liIlumbersoc('111'asthe

coeffi(・ielltsoflheStirlil19exl)allsiol1.Byllsil19(ノ(・ 〜'・9)・wedesぐribetllevaluesofSa・toh's

2

(6)

q一 五 一se・i・ ・ 五,(・.\)・tP・ ・itiv・illt・g・lb・ ・This1』 ・slllti・a・1‑arlal・9u・ ・fth・ ・1・dina・yr・1・ti・ll

be寸weelltlleDirichle寸1ブseriesalldtllelo9‑Fイ1111ctiolLHellce、vecanregardθC〜 ・.9)asthe

・/‑1・9‑F‑fllll・ti・ 川whi・ht.11eal)・vePr・bl・ln(2)illtll・ ・ ・・mpl・ ・xca・ereqllir….Ill§2.w・

trea.tllleρ 一adiccase.Namelywecol!stl●lldaノ,‑adid●lulctioǹ1ρ(・ ・.(1)irlwhi(・hllleq‑Elller

Illlml)ers()(Cl11・astllecoeffiぐi('lltoftlleρ 一a(.licStirhllgexpa、llsioll.Byllsingθ ρ(.〜・.g).we

describethevalllesofKoblitlz●sftinct.IOII五 ρ,9C㌦ \)a.tPositiveil1寸.(・9ers.Sowegivearl

indirectans、vertotlleI)roblel11(2)illtlleノ,‑adicca・se.Ill§3.w・e(lefilletllerllodified(1‑

Berllol111illuml)crsandc(川1plexq‑!ブseries.Alldwegi、 ・esolnerelatiollsbetweel/t}1evalues

oftheseで1‑」r.‑seriesa.11d寸11eclassnulnl)el・sofalgebraicIll1111b(、rfields.「1「11ese1・elatiollscall

ber・gard・da.・g‑1・ePr・Selltat,i・lllbrth・ ・lassl1Uml・erf・rlmlla、s.II!§4。WegiVeS・lne

・ecUr・i・lllbrlnUl・ ・{brth・valll…f(C・)・ticl()f乙(・ へ)・.tl)・ ・ili…illt・gel・Sj・y・ ・11Sid・ ・il19

((‑aIlal・9u…ftlleDiri・h1・1・ ・1・i…whi・'hi・t・191・ ・1・t・qlle・1‑E111・ ・lmlllbe・s.P「r・IIlth…

{brmlllas.we・1・t・ills・Ill・fam・11・f・rmlll・ ・((2)=π2/6.(C1)=π4/90.…,alld・bt・,ill

Ilewseriesrepreselltationfor((3).((5)・ ・…Tllese1'esllh.ssllggeslt.lla重q‑allaloguesぐ)f

theDirichletseriesal・eusefllltoolsloill、 で・stigalethePr()Perliesofor(lil!aryal・ithll1(・tic

・bject・.ln§5and§6.w・giv…m・ ・'1'・cult・ab・11t1,‑adica1・idlm・ti・flln・ ・ti・n・.Nall・ely

wecollstrllctノ,‑adicallalylicl'1111cliollswhi(髄11illlerPolaletllegellerahzedElderm‑Illlbers

([19]).alldtll・B・ ・IIIIIIIllb・rs([21])・B5▼illv…1ig・1i・11・fth…fu11・ti・IIS.w・gives・ll1・

・・ngrl1・IICe・1幽 ・1・th・ ・ellUIlll・ ・r・ ・

Acknowledgement.

IW・111dliket・eXpl・e・slllygratit11d・ ・1・dl…p・ ・1>>F・Wh・ll・IPednl・inpreparir19

tllisdoctorial(lisserla,1iol1.Mytlllanksfil'slgotoProl'essorKellNa.ka川111a.forgivillgme

severalpie(・(・sofhelpfllla(lviceaticlpropel'itコstrllctiollollthispape1・ 。Ian・1t.ha.11kflllto

ProfessorIlir()oNlikiwho911id(<1meilltotllet.heorき ▼ofq'Cy(・lo寸.omlcFieldべa.11drelale(1

飼d・.a.smy・elllillarillsh・11d・1・i旧h・masler・'・urs・ ・fgr・dllates・h・ ・1・fnlatll・maticsi・

TokyolletroPolitaIIUlliversitぎ 。Tllelast・bll寸Il()tleastofIllytllarlkssllouldbe寸eIIdere(.1

tothela.t.eprol●essorMakol(.)Isllida.wlloillsh・11ct(・dmeillt.llebalsicsof亀 徹AlgebraicNllrrlber

The・ ・ジdm・ingtheP・ri・d・)fnlystlldellt・11ipillllislmde1Ugra.dllate・ ・millarcla・ ・.

(7)

Notations.

Q:thefieldofratiollahluml)ers.R:thefieldofreallltlmbers.c:d‑1Pfieldof

complexnllmbers・1):aprillleiiulnher・Q些 ・:thefieldofρ 一adicIlllmbel・s.zρ:thering

ofノ)‑adicintegers・Z葦:thegrouPofE)‑a(li('unit.shlZρ ・C,,:the1)‑adic・conlplct,ionof

algebraiccloser('ofQ,・ ・ ω:1heTeidmll}1k'rcharader・ 〈 ・〉:tlleProledion()fz芦onto

theloca.1111111SIIIZρ:〈 の=(1/w'(θ)fbrσ ∈Z弄 ・io91,:t.lleρ 一a.diぐloKarit}rrnl、1nd .1011.

exPρ:t}leノ)一(li(り 〈1}〉<>iifntialfllllctio1L」:tlletil1111witllt'heindexolllitsvallleswhiぐh

alrelnllhipl(・S()f/,.

Contents.

0.

§1.

§2.

§3.

§4.

§5。

§6.

IIltrodllction.

KOblitZOsPr・1)1(・milldlec・111pleXcase.

K・blitZ亀sPr・bl・ ・millllle1,‑adi・'caSe.

q‑rePreSelltati(川fb1・tll…lassl1Uml・el』lbmlllla・.

Evalllatiollof((.・)〜md五C・.\)atPositiveillt〔 ・9ers.

/,‑adicillt(・rl)Olatiollsoftlle9(・11eraliZedElllernUIIlbers.

1,‑adicillterP()1atiollsoftheB(・llIllllll})E'1'S.

Referellces.

・1

・.・,● 。')

…12

...㌧)㌧)

一一

・ ・・ ・ ・ ・ …27

...a6

・ ・ ・・ ・ … 、18

・ … ・ ・5・1

1

(8)

§1.Koblitz'sProblemIllthecomplexcase.

1・dlisse・ti・1Lld・/b…c・mpl・ ・xllulllbe・wlll・M〈1・a・dlll・

Wit}司 ・1i>LR)…c・lnpl・ ・Xmllllb・ ・ ∴W・ll・ ・tl1(・ll・1・1i(川 一[…1]

Notetllat

1 ,!虫["]=1‑、1・

C・ ・lit・ ・1・fille・lthe・1‑Elll・ ・llll111be・ ・{〃"('1.・1)}}

〃 ・(・1・・1)‑L毒 ¢)・1・ 〃/('1・ の 一 ・1〃・('1・・1)一 ・

一1「1

1(、11、 一(、(一()11Si(1(ユ1‑t1塾(、 「11t(、1‑1)()1と1ti()11f顎lll1(‑ti()11()1』{1/ノ,('1̲で1)}(1(、fil1(、(1

ノ 

〆 ・(・ ・の 一

,Σ111小 ・

f(.)r.、 ∈C.IIIfactlohgavelllef(.)ll(.)whlglalmna・

LENINL\Ll.(Satoh)乙 〜(・、.'1)isぞ111alyt1(']lllhe、 ▼holecoll11)lex

ん1(一 入'・の=

11

11

1 1' 〃A.(11.の

fOl・ ん ∈Zwi↑hん>0.

Proof.See[16].

Noww(・delille寸lleflllldloll

〃(■'.巳'1。̀/)一 Σ グ"(・ ・+

n=U

Bvthe・ ・lltllil()nu>Lw・calls・ ・t111∫ ノC"・ ・1・

:j

(ん=〔 〕)

(ん ≧1)

rl('0111}>1('X1111111})(']'

=(1一 の/(1一 .

(1.1)

(べ ・ ≧1).

bき ・

(L2)

pldll・.Alld

1.M

.KC

11

11f

)η

r(σbOl)

11 C.11V.lalIaV11a)(1

a

SO)9

(L3)

(9)

PROPOSITIONi.2.For,〜 ・∈Cwid1レ ・>1/(1‑1̀1})2.

1

ti

卿1・ の=一{・ 〜'b9・ 〜●㌔ 一 、1(lo9・ 〜'+1)}

㌔ ∴ 書1譜 ∵)〃舶(11・̀/).、1・

Proof.Bき ▼(L3).

ワ(….ti.の Σ ゼ"(・ ・+['・])1・9…

ri=O

+£,1‑"(.一 、9(…"]).

〃=〔 〕 .1'

ByLellmla1.1.wellave

\u

,11

≧ ⊇、'1一'回=、1̲1111("・ ワ)="̲1,1̲9・

Hellcedlelirsltf'1'lll・f(L1)c〜 ・11becalclllal…1〜m・leqllals

u1

(.'・lo9.〜 ・ 十lo9,〜 ・).

11‑lf'一 で/

011tliP・tllerllall・Lbyllsillgtlles(・riesexPallsi・Illbmmla

l・9(1+・)一 書(『1)∴A・

tllese(・ ・11・lte1・TTT・f(1.‑1)eqllと 、ls

書 、11‑〃{t(‑1)矧 妙1+k←1/+1["1∵1}

一 芝1召1旱 ∵

){\Lfl‑r[1!i,‑U]舶}∴ ㌔ ∴,1主

No↑edlati[ノr.]1〈1/(1<11)lb1・ 〃=L2.:;.一 ・.sotheeqll〜lt1()n

・>1/(1‑・1D2.ByL・ ・lmllal.Lw・11・1・ ・theasse・ti・11・

(1.4)

.(1.5)

9

(1.5)},・ldsfbr.1'whh

(10)

COROLLARYL;3.FOr・ ・∈Cwid1.〜 ・>1/(1‑ì/)2.

▽'(・ 一)一 ∴(k・9・ 〜 ・+1)+∴ 書(‑1/+1〃 畑)  ・

w}1er・ ・.11。q)=(̀//で/9〜 ・)

.(1(.〜・廟 〜1̲で1).

Ill[16].tll・q‑Ri・ ・m・lmdll11・ti・ ・Wa・d・lille・lbぎ

ぐ1(・)‑1二1(1の 書[

"ll.1+ n=1[1(1べ

LENIMAl・1・(Satoll)(7(・ ・)isallal5▼11c'lntllewiholecomPlexI)1alle.A .lld

(7(1一 ん)=

で1・メ】(で1)(孟 ・=1)

ん1

.の(ん ≧2)

for入 ・∈Zwitll人 ・>1.

Proof.See「16].

ByLe111111al.1.1/ellllllaLユaiicl(1.(1).weobtailldlerelatio11

一 聖)一 一 ㌦1〃 ・(・/‑1・で1)+∴ 〃 ・‑1(・1‑1・ ・1)・

ro1・ ん ∈Zwit}1ん>2.

Nowwedefill(・thefuncliOI1ピ ず(.〜・.̀1)bき

θ(.、 ・.ω 一(ワ.、 ・一.〜 ・‑1)4(.〜 ・.、1‑1.の+2(1‑、1M.、 ・.でズ1.の+1.

1十y

PR()P()SITION1.5.For.〜 ・∈Cwldl.〜">1/(1‑̀1})2.

θ(・・の 一(…‑

1‡ 、1)1・9・ …+書1乙1羊 ∵)ゴ舶(q)∴

(1.6)

(1.i)

(1.8)

(11)

P…f.B5・P…P・ ・iti・111.2alld(1・r・lla・y1.3‑ll・1・ft‑ha・d・i・le・f(1.8)・qll・1・

{(q‑1)・ ・‑1}1⊥

、1(1・9・・+1)+2{…1・9・ ・+1∴ ・(1・9・ 〜川+11+9

+{(・/‑1)‑1}1土

、1+書(‑llA+1〃 ・(・1‑1・の, 

+2書1訓 〃・+1(・1‑1・・1) 

一(・ ・‑

1‡")1・9… 一 ・

+書 ∵1{!‡1〃 ・+1(・1‑1・・1)一 ∴

1〃 ・(・/‑1・・1)}∴ ・

BN(1.7).wellavetlleasserli・11.

REMARK.Tll・fO・nmd・illPr・)P・siti・111.5c・11ber・9・rded・ ・saq‑・11・1・911・ ・1'the・1・ssic・1

・ ・yll1Pl・tlCsel・i・s(・e・[27D・

1・ 一(…‑1)1・9・ ・+書 縞1)13人+1

.〜}・

Forノ ・ ∈Zwitll'・ ≧lalldaflulctioll∫C〜').wed(・1101edle'・‑d1(lerlva↑ive(rノ/̀1.〜 ・)"1'(.〜 ・)

byノ('う ω

LENINIA1.6。F()rノ ・ ∈Zwilh'・>2.

昌!μ(')(・ …1・ ・1)一,書 、(1/‑r.1'+[/),),.ド

PrOof.Wecanseetha寸

k

∬(')(.〜 ・.〜'.の Σ"一"{1・9(…+['・])+1}・

n=U

(12)

and

ズ ダ  ノ

μ(')(・‑/)一

,Σ 、(.∴ 回)・

Illdudivelv、 〜・ecallseetllat

x  ノノ

撚 〜 ・ 劃)一 の'(一)!

,Σ、(.、.∴)'一 ド

forノ ・>2.So、vellavetll(・assel・tl(.)n.

Theq‑L‑s(・ri(・swasdefine(ll)き ・Satohasfollows(see[16]):

L掴 ∴1面)Σ̀1

,1既 寒 僻')・(1・9)

Wh・r・ \i・al・1・ilnitiV・Diri・111・ ・t・h・r・d・ ・▼ithC(川dlld・1' ./'.ム1(・ ・へ)illte1・P・la1・ ・Ul・

gelleralizedq̲}3erl1(.)1111inlllllbers.ブ 々へ(で1)atIlonI)otiitivehltegers(s(一 ・e§2(2.8)).Sowecall

regardLIC・ へ)〜 竜slheflllldiollwhicllKobhtz'si)1●oblem(1)1'eqllires(see「15].[16]).Now

Wede・C・iV・tllevalll・S・fム1(・ ・へ)・tP・sillV・1111・9erS・

LEMNIA1.7.Fo1・ λ・ ∈Zwhhλ ・>2.

姻)一(2ん ん一1)'(1で1)蹴 ・1・(・ ㌔)∫ ノ ㈲(ザ ・1西 ∫)

+" .1.1う!(拐1+'書4・(1一 へ(の ∬(一(9一 姑11・1一効 ・

Pr・ ・f.Bき'(1.9).

埴)一 一・1)聾̀伽 譜)

ザ鵬 祀(1・1・)

BNIIsillgtllerelati・1.1

[・+〃]‑1丁 ∵‑llこ1〜+・1・11こ 写llこ1プ/一[・']+9・[∫][朔

(13)

d1・firsUelm()f(LiO)eqllalS

l二1(1q)レ 可1‑1。≦⊇・1・(・一・)\(の言(一 ∵ 凶)・一一

alldthesec・ll(1telm・f(1.lo)・ ・qllals

L/l]・n=11)\(θ)≦ ・=o(二1・1∫

・/‑'耀劉+レ ・・1ノ])…

B玉 ・Lemmal.6.WehaVetlleaSSerli・1L

TIIEORENII.8.FO1・ ん ∈ZWithん>2.

姻)一(llll![1]、

書4・(・ 一・)\(・1)6・(・)(・1‑・lll・1∫)・

Pl・oof.BN(L8).wecallill(111ctivelき ▼seedl〜i1

6・ ㈲C・ ・.̀/)一(・/.・ ・一.卜i)"(舶)(.・ ・.・/‑1.の+(1一 の(2一 ん)μ(A')(.〜 ・.・1‑1.・/).(1.ll)

forみ ・ ∈Zwidlん>2.Sow(・obてain

θ ㈲(で1‑qlチ 」・̀1ノ){(9/1)・1一 二:コ ー1}μ(A+1)(・ だ ・昌 ・・1一ノ・・1ノ)

+(1‑・/)(2一 ん)μ㈲(((一 曙llザ 左 の

一 一 ・/‑・押(・1‑・ ・ll・ で/一ノ・・〆)+[ ・/](1‑・1)(2一 ・‑1  ・/一ノ・̀〆)・

13vI/elll111al.7.

姻)一((1)人 幽111・1)![

./']、名 ・/‑)\(の

×{[∫](1‑・1)(2鞠(入)(・ ・/‑1・・1ノ)一 ・ 〃(A+1)(・1‑'枡 σ一ノ・・1ノ)}・

Sowellaveth(・asse1・ 寸1011.

(14)

RENIARK.ByL・ ・111111aL6alld(Lll)。Wecallse・tliat

昌1!θ ㈲(.1'.(()‑1ゴ'(1‑・1),書,(、.+̀lll])ん.1

ズ  /!

+(1+・ ・1・・)

,Σ 、(9..〜・+レ ・])ダ(Ll2)

fo1'人'∈Zwith入 ・ ≡≧2・"1'hirelatiollcallb(・regardedasa(1‑analo911eoft}1eordmarNolle:

B〜 ▼c・11sid・ ・illgtll・.…slllt.・il1Pr・P・siti・ 川1・5・Pr・P・siti・ 川1・8・11(1(1.12).w(.…nr・ga・d

6ずC・0・ ・1)・sd・ ・9‑1・9‑1「‑fllll・ti・itwhi・11K・1>liti●sp・ ・bl・m(2)il・th・c・1川 ・1・x…1s….・qlli… .

(15)

§2.Koblitz/sProblemlilthep‑adiccase.

Illtlllsse(.'1iぐ)11・letl・1・1)etlle/)‑adicvalllalioll()nC1‑10rlnalizedl)}ワ1・ 〆、(ノ,)=1.a11(1・,,

b・dl・ ρ 一adi・ ・al・s・111tevallled・filledl・y/〜 ・,‑1・‑1闘 ・(1')・Ld・1・nd・1be・ielllellls(){℃,widl

!',(1‑(()>1/(1・‑1)・.11d・ ・1、(1一 〕・Tl1・ ・1‑Ellle・1)・lyn・mi・1・{〃A.(・1..・ ・.の}c・.・b・

delilledilld11(・tiVelvbV

〃 ・(・1・…/)‑L(1‑≠)〃 ・(・1・…9)一 嵩(1)[…]ん 一・・1・・〃 ・(〃・…一 ・≧1)・

F・r・1)i・i・lll・ ・t・ll・ ・ade・ \"▼itll・'・11dlld・1'/'・tlコ・9eller・li・edElll・r1・1・nbe1・ ・{〃 .\(11.・/)}

(噸alll)(、(.1(」fi1翫e(ll)、

ノ'

〃 ・へ(11・ ・/)一 レ']候 Σ ・1/一へ(の 〃 ・(・〆 ・(1・ ・1∫)

f(一)r入 ・>0.

Leto、 、1.)etllemeasu1'eOIIZρdefilledl)き

∩',(・1+ノ,Nz/・)一 ∴ll\(2・1)

f(二)rθ=0.1.….ノ)・Y‑1、vitl.1∫ \「 〉(1(see[13].[18]).13き ・llsh19寸hlsIlleasllre.、ve(lefillethe

fUll・ti(川 .̀ノρQ㌔ θ ・・1)by

ワ・(一)一

./z{,,(・〜・+同)1・91・ 卜[・])一(…+[・])}・/∩ ・'(の(2・2)

ρ ・Y‑1

.蝕 Σ{(・'+[〃])1・91,(・ ・'+回)一(…+[1・])}嫌 ・+ノ ・Yz・)・

r+=(1

Tll・{blbWi・glemmaC・ ・b・1)1・ ・V・dbき ▼1he・ ・m・mdh・(‑1・1Stl1・ti・[8].

LENIMA2.1.∫ ノ1、(・〜■.で'・で/)islocall5'analき ▼ticollC,,一[Z14wllere[Z1、]={[司1こ ∈Zρ}.

NI・re・V・rW・ …lls・ ・lh・ 田1e…c・lldde・iv涌 ・℃ ・fμ1、(….・1.・1)i・ ・.llana.lytid』1111di・n

asfOllOWS.

(16)

LEMNIA22.1')rノ 〜〜 ∈Z≪‑itli/1〜>0.

(で ノで/.r)2∬ ・C‑)一[ノ 〃・]‑11'書1(・1・1)一 ・(、1.)Jノ ・(、1∴ ・1〆 ・')・

Pr・ ・f・F・ ・iilt}1edel{ttit.1・n()fy,(.〜 ・.・1.の.w(・c・itti・dh・1

〃・(・ ・/)一(1‑・/・ 〃・・り 一 ・1)+[〆'][≒1(u‑・9帆 1  ・・ズ'・ ・〆 …)・

Sowehavetheassertioll.

ByLelmllal」 ・ 、、・ecanProved1(・lbllowin9ρ 一〜KlicSth・h119exPallslon .

PROPOSITION2.3.Fo1㌦ ・ ∈Cρwhl1・ ・,,>L

u

劃)=(l

l1)(uで1){(1‑̀/・ 申1.1')1・9パ ・'一 〔1‑・/)・ ・'}

+∴ い1・9⊥

1)1騨()()f齢̲r、1,()111t}1(、(1(、̀il}iti()li()f● ▽1}(・ 〜一̲̀1̲̀/)̲

∬ ・(・・…1・ の/

,(…+同

・i/Jf/)1・9'・ ・}・!∩ 洞

+ゑ{卜[・Dl・9,(1+㌧])一[・]}・/∩ ・'(・)・

f・ ・ … ∈c/、withl…1、,>LTh・fi・stt・ ・rmc・ ・be…ilき ・c・lclll・t・d.rrhe・ec・lldt・ ・m1・qll・1・

。{書 縞 ∵+1ノ)ノ+1∵}・ 鳩

!

一書1訓 泌[酒/痢

BvLelmllal.1.w(・11avetlleassertiOll.

(17)

COROLLARY2..1.F(.)rノ ・∈Zwidlノ ・>2.

Cl,一)'∬ ・(・一)一 書(‑1)・+'〃 ・(ti・9)(・1+1)…(・1+'‑2)1,.∴1‑・

tbL〜 ・∈Cρwidl・ ・し,>L

PR・P・SITI・N2・5・(沿 ㌦ ・C・川)i・Kras・eレ ー1}・ti‑C,一[Z,]・

Proof,Forθ.ノ η ∈Zwitlロ η>1.wel(・t

ρ([(!].〃 〜)={.〜 ・ ∈Cρ:〜 ・(・〜・一[で1])≧ 〃 〜 十1}

alld

/IIII

A",‑c、 ∪1)([θ].ノ 〃).

・7={〕

tlle11{a,:〃 〜 ≧1}islles寸edalldU.1,,、=C1,一[Z1、].Bき ・Pr(♪P()till10TI2.3.wecallProvedla寸

tlleflllldi(.)llilltllerigh1‑ll・11・lsi・lc・ftheeqllatl・11in1,t'111111212.2i・al1・lyti…)1L4",正br

,1〜>1.rFlmsWehav(・theasserti(.)!1.

FI・ ・lml・w・ll.w・fixaprillliliv・1)iridlld・ ・llara・tel・ ≪‑itll・ ・11dlld・rノ.alldassume

tllef・ll・wil19:

1‑・ ∫ノ1し、 ≧1.

Ld偏(!)b・tll(・9・lle1』 ・ti・gflllldi・11・f11武 ・(u・ ・1)・slbll・ws・

\!A‑

1ジ'1・ノ(!)Σ 〃 ・・(・1.・1 人=o)ん!・

Tll・ ・1田.li・i・tll(・1111iqUe・ ・1>>ti(川 ・fth・lbll・ 、、・il19・1イlilfer・ll・eeqll・tl・11:

だ,,.1(!)‑1鵡1.1(、1!)+1‑1.

11ri

Tllef・11・willglellllllaisill1P・)rtant.

(18)

LENINIA2.6.(1)iallloll(1)Sl1PI)ose

̲≪J

/̲0

1・(7')一 ・'弓1・

alld

P(‑1・9,!)一 Σ ろ"(1‑!)".

n=U

「Fl lf'11

Fω 一

,雲,ゐ〃[ll]・

fbrl.〜 ・し,>1.wllere

[11.1'.,、(.、.+1)〔'1.(.〜.+")・

Proof.See[8].

ItfolloWsfrolllCorollarv2.1111al

Cl,一)'怖(・ 一)‑ri,1言(‑1)/+1〃1(・!・ で/)(ノ+1)…(ノ+'・‑2)、.ノ1、.1・

∫XPI)lyillgLell!111a2.6、vitl11"(・ ・)=(で//̀/・ 〜')'∫ノ/、(・●.〃.で/)fbrグ ≧2.a11(1、vith

u7'ノ+卜2 P(T)=1=

"(‑1)ノ+111・(・1・ ・1)(ノ+1)●H(・ ノ+・'‑2)( ノ+1.‑2)!

∴(‑71)吻'・(一 γ1)・

tllell、VehaVe

u

1'(‑lo9〆 ,!)=1 ̲,1(㎜lo9ρ!)ト ー1∴'・'1(lo91・!)・(2・3)

Tlmswe・b↑aillthcf・11・whigresllhfr・IIIL・ ・mma2.6.

PROPOSITI(一)N2.7.'01'ノ ・ ∈Zwidロ ・>2」eで

1∴1(1・)91ノ)'‑21ら ・(lo9・!)一,≧ ヨ 、1・'・"(u,y)(1‑!)"・

(19)

Thel1

(r/cl.i.》1・(・‑1)一,書 、/・'・〃(u・ の[/).1'・

for.r,,>1.

].「hefollo、villg1・es/lltsllggeststlleesselltialr(コlaliollbe重 、ve(・ll∫ ノρ(.〜・.'1.で/)al1(l

willbede価e(llatel・.

LEMNL\2.8.F()r〃 〜 ∈Z≪'itl1〃 〜>1.

か1・ \‑1,1∫ ・・\+L.プ'・ 〃「 ・

[∫ρ]'冥 虫 Σ 巌 Σ \(川 ノ+か 〃「1'ト"/、

rt=1) ノ=0

一 揖 仙1・1〃'塩1⊥ 臓!・ 一'1∫ 》 ・)瞬[

//、]]・

1)1・()()f'.1<「1・()111t11(ユ(1(、fiIliti()1i()i幽 ∫/1,(・ 〜・̲'1̲̀1)̲、 〜7(、11〜1\ ▼(、

GDヂ ワ・・‑1)一(1「2(・ ・ 瓢(.,+1]一 ノ 嘘)・

for'・ ≧2.(.)lldle()dl(・rl1〜mdj寸fc・ll・wsfl・ ・lllPl・ ・P・siti・112.7dlat

(‑1)〃'‑1(〃‑1)!ゑ( .、.+1レ])"〆/∩ ・1(・)一 ,書 、1‑〃(f/・ の[1]

Replace/(byq∫ ρa.11(1〜1bぎ'1∫ ρ.alldlet.〜 ・=[ノ]/̀/・ ノ[∫/,].Thellwellav(・

回 客 、1([ノ]̀1ノ[ノ'ノ,]+['…/ノ ・])一 ∵ ∵1

‑(‑i)〃

("、 ⊥1)!,書 、1・'〃+・"(・1//…1//・)[レ]/、ll[∫ρ]]・

L・t .1=O.1.….∫ ノ,≪ ・ith(.々,)=1.・1・dlllultipl5▼ll1・1)・tllside・ ・f(2.・1)bき

f・r….Cllca….Bき ・Slllmllillgl1P.W・haV・d…ss・rit・1・

Nowwelet

X‑1111Z/ ./'ノブY+1Z・

/whic11

ρ・9

(2.1)

\(.川 呵1り 「 ノ

(20)

alld

θ ∫ ノ)・Y+IZ,={,〜 ・ ∈X:・ ・ ≡("1〜 θで/∫ ノ,・Nr+1}

fOrO≦ θ 〈 ∫ ノメ 〜+1.alld

xx‑U〔 ・1+ .1'ノ・Z,)・

、vllerethelllliollistakel.10、 ▼erallで1、vith{.)〈11<か 〜md(で'.ノ,)=1.「F}.1e11、ve(1(・ 」fille1}le

111eaSllr(・r㌦ プ・OllXl)き

"ノ'/・\+L・

・㌦ ノ(・+∫1・Y+1Z1,)‑1

‑"ノ1伸

1晶、()rSilllplt('ltly.、V(、llSetlleSallle11()tatiOllU,、hlPlaCe()fで}u ,∫.13)、 ・11Sing寸ILiSllleaSUr(上 恥the

fl111・ti・ll偏1(・ ・へ.の ・allbed・ ・f.illed・ ・f・ll・ 、VS・

偏(・ ・ \ ・の

.!y、 〈・・〉一 〜\(…)・/∩

Wh・r・ 〈.・・〉=[.・ ・]/由 ・(.〜・)(・e・[16D./, .,(・・.\.・1)illt…P・1・1・ ・1h・ ・9・ ・ne・ ・iiZe・1・/‑Elll・rllmlll・e・

asf(.)110Ws:

偏(一 ・へ 辺 〃.の 一11 ‑uノ 〃"へ(11・ ・卜[1]堅ll)〃"へ(1'…/1,)。

fo1・'ノ ≧0.BNI」e111111a2.8.、vehavethef()llowillgdleOl・F'111.

TIIEORENI2.9.Forノ η ∈Zwith〃 ノ>1.

ヘ ー1)一[か か]‑11Σ へ(.川'1・1'"

ノ=〔〕)‑/1∴1!か+1・ 〃(・1〃・州[ノ]/、1[か1]・

N・ww・c・lclll・11・tllev・111・ …f/1, .,(o・ \ ・〃)・B》'↑h(・d・finiti・11・ ・f▽,(・ 〜●・・1・q)・"▼ec・.ns・

tllat

ワlc…11・ ・1)一 ん1()91・(・ ・+同)婦)・(2・5)

REMARK・Let̀1→1alld'1=(whicllisrlPri!11illverootoflmhき ▼・The!.1ρ1、(・ 〜8・"・1)is

・.lm・st・ ・IT1・ ・.・K・blitz●s●'twi・ted"/,‑a(li・1・9‑9almn・flln・ti・11(・e・[B])・N・ ・t・tha.嘱,i・

diff・re1曲 ・1116ず ρ.,.(wlli・1・wasd・filledil・[B]・

(21)

Nlllhipl5・

aSSelb↑1011

Tlle

入'ん

(…[‑1]).Th・9・ ・11・・ali・ ・(1

3人.、(・1)=

Ill[!6].SatohProvedthat

f(.)rん>1.IlealS()COIIShwtedllle

乙ノc・

fOr仏 〜1∈C.Ifi引 く1〈}'1‑hen

plane.M・re()Ver1.11(.・rela.li・11S

乙1(一 ん.

PR()P()SITI()N2.10.

(F、,,、(o・\・〃)一 一 ≒

、・\(・ノ){1・9・(・/・[・17・])∴,仙1・(、1、llノ,「'1∫1・ ・9∫・

Proof.In(2.5).let.〜 ・=[ノ]/qノ[

.1'!']wh(・reプ=0.L…./ρwid1(.ノ.ノ,)=1.Tl.1E'11

煽1ノ ♂ 学,)一 ゼ ≒II・91眠/・ ノ 小 ・1・ 紬 ・ ぎZ1・)

‑1・9 1川 ノ ゆ ∠/ノ ∩訴)・

tll・b・ll1・ide・f̀(2.6)b》 ・ \(.1)11一lb・e・ ・hc・s・.B5・tilllllllll・glll・.w・

9‑Bem・llllilx・IN11・Illial・ ・メ入、(・〜㌔ で/)canbe・1・lilledilldUdiV(・ き・

で1‑Bem・Milli

し ノ(l

C・mpl・X

we

人'・1η.メ 、(.・.の 〔)(ん

nlllllberS・ へ(のC〜mbed・fille・lby

f

[∫]ん Σ \(の ・/α・弓

孟・へ)一 ㌦(で/)

(1111('11(川

へ ・〃)一

/i=∴ 、il")・

('21.11Se・tl1・ 冒,(・ ・へ.のi・ ・m小 ・ti…11

1

い1)=1 ‑〆/・ へ(f/・ ・1)・

1

1).

whole

}) (1.rll

(7 ..)(( (1}.all

(2.7)

)8

( )9( X1)1111)K( )0(

参照

関連したドキュメント

チ   モ   一   ル 三並 三六・七% 一〇丹ゑヅ蹄合殉一︑=一九一︑三二四入五・二%三五 パ ラ ジ ト 一  〃

臨脈講義︐

Here, instead of considering an instance I and trying to directly develop a feasible solution for the P, G ∗ |prec; c ij dπ k , π l 1; p i 1|C max problem, we consider a

[r]

[r]

[r]

[r]

[r]