1

正弦関数はいつも周期的なのか?

469
1

はじめに

どうもこんにちは、🐟🍊みかん🍊🐟です。今回は、正弦関数はいつでも周期的なのか?ということについて語っていきたいと思います。ここでは三角関数を冪級数

sinx:=n=0(1)n(2n+1)!x2n+1

で定義される級数関数とします。これは実数の範囲において周期的であることがよく知られていますが、この冪級数は実数の範囲外においても、例えば複素数の範囲においても定義することができます。また実数の拡大体以外においてもこの冪級数が収束する範囲においてもは定義することができ、今回はその一つの例としてp進解析におけるこの冪級数の挙動を調べていこうと思います。なおこの記事では、試験的に数学的な部分を普段の数学をする口調で書いていこうと思います。

僕はp進解析に関しては全くの初心者です。

複素解析

複素解析における三角関数の周期性は周知であろうが,念のため示しておくのである.まずは次の積分を考察する.

logz=1z1tdt

ここに,zは任意の複素数値としてみる.被積分関数はt=0以外において正則であり,t=0において留数1の一位の極を持つのはほとんど明らかである.従って積分路が原点を何周するかに応じて

logz=1u1tdt+2niπ|argu|<π2,u=z

記法に多少の問題はあろうが,意味するところは明白であろう.要するに「対数の切断線」を負の実軸にとったのである.Cauchyの積分定理より被積分関数が正則なる領域において任意に積分路を変更してもよいから,

logz=1|u|1tdt+|u|u1tdt+2niπ

のようになる.第一項は通常の実数の範囲における自然対数に一致し,第二項についてもt=esのように変数置換することによって

|u|u1tdt=iArgu

となるから,偏角の多価性を表示に織り込めば

logz=ln|z|+iargz

のようになる.(積分の表示から明らかであるように)対数関数と指数関数が逆関数にあることに注意すれば,次の表記を得る.

ez+iargz=ezeiargz=1

zは任意の複素数値を動くから,結局指数関数eizzに関して2πの周期をもつ.逆に他に周期をもたない.また級数変形によって容易に得られるEulerの公式

eix=cosx+isinx

を変形することによって

sinx=eixeix2i

を得るから,即ち正弦関数は2πを周期にもつ.この論理を逆にたどることによって正弦関数は他の基本周期は持たないこともわかる.

p進解析において

複素数値に関する収束に関しては収束半径が無限大であることがよく知られていたために収束半径の計算を省略したが,p進解析における結果を既知とするのは無理があろう.さして収束半径を求めていく必要がある.

収束域を求める

様々な方法があるが,ここではCauchy-Hadamardの収束判定法を用いる.収束半径をRとすれば,p進ノルムの定義により

1R=lim supn|(1)n(2n+1)!|pn=lim supn1|(2n+1)!|pn=lim supnpordp((2n+1)!)n

となる.ここにspp進法展開した時の各桁の和とすれば, 有名な結果(リンク先の補題) を用いることで

ordp((2n+1)!)2n+1p1

となる.またn=a0+a1p++arprとすれば

ordp((2n+1)!)n(r+1)(p1)p1=np1(r+1)

となり,またrのとり方からrlogpnr+1であるから

np1(logpn+1)ordp((2n+1)!)2n+1p1

ここで両辺nで割ってnとすることにより,挟み撃ちの原理によって初めの極限を求めることができて,

R=p1p1

と求められる.以後は二つの場合に帰する.

p=2の場合

このとき,R=12であって,境界上の点x2Z2においては

|x2n+1(2n+1)!|2=2s2(2n+1)

なるが,これは2k=2n+1とせばこれは12に等しくなるから,これは収束しない.よって収束域は4Z2となる.

p>2のとき

このときはp1<R<1となるから,pZpで収束する.

以上によって収束域Cp

Cp={4Z2p=2pZpp>2

となる.

周期性

結論から述べると,正弦関数はp進関数として解釈すると周期性を持たない.実はp新解析においては次の主張が成立することが知られている.

冪級数がもつ零点は高々有限個である.

この主張を承認すれば,我々は簡単な議論によって正弦関数が周期をもたないことが言える.実際にある周期λを持つとせば,sin0=0であるからsinxxλZpを零点に持つはずであるが,これは先の命題に反する.従って三角関数は周期関数ではありえないのである.では先の命題を証明することとする.

収束域がZpであるとして一般性を失わないから,Zpを収束域とする冪級数

f(x)=n=0anxn

を考察すればよい.pZpであるから

anpn0(n)

であって,即ちある自然数Nがあって

{|aNpN|p=supn|anpn|pn>N s.t. |anpn|p<supn|aNpN|p

とすることができる.ここでf(x)n+1個の零点が存在するものとし,その一つをαとすれば,級数変形によって

f(x)=f(x)f(α)=(uα)n=1m=0n1anpnxmαn1m=(uα)m=0(k=0am+1+kpm+1+kαk)xm

となるので,最右辺の級数部分をf1(x)とすればこれは仮定よりN個の零点を持つ.またNのとり方からm0に対して

|k=0am+1+kpm+1+kαk|psupk0|am+1+kpm+1+k|p|aNpN|p

となるので,等号成立条件m=N1に注意すればf1のTaylor展開の級数はfと同様の性質をもつ.よって同様の操作をN回繰り返すことにより,次の性質をもつ関数fNを作ることができる.

{fN(x)=k=0knxnは零点を一つは持つ.n>0 s.t. |kn|p<|k0|p

ここでfNの零点の一つをβとすれば
|k0|p=|k=1knβn|psupn1|knβn|p<|k0|p

となって,矛盾.以上により初望の命題を得るのである.

おわりに

いかがだったでしょうか。僕はp進解析に関しては全くの素人なので証明に関してつまらないミスをしている可能性もあるので、そのようなものがあれば教えていただけると助かります。

本稿で紹介した命題自体はとある方と数学について語っているときに知ったもので、その事実をうまく使ってこの記事を書こうと思った次第です。証明の方法の大まかな部分も彼の人の手法に依っていて、個人的には「正しそう」だと感じたので、この事実を使って記事を書いてみました。少しでも楽しめたのであれば幸いです。最後まで読んでいただきありがとうございました。

投稿日:202382
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

級数

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 複素解析
  3. $p$進解析において
  4. 収束域を求める
  5. 周期性
  6. おわりに