p進解析関数
p進解析を勉強した。↓メモ↓
問題 p進数の世界でも、指数関数exp(x)や対数関数log(x), 三角関数sin(x)などを考えられるだろうか?
この問題をどのように考えるか。1つのアプローチとして、冪級数を考えて(例えばexp(x)ならを考えて)、これがある範囲でp進収束するなら、それを冪級数が表す関数のp進版とする、という方法が考えられる。他にも、積分を用いたりなど色々方法はあるだろうが、今回はこの冪級数の方法で考えてみよう。(補足:p進→p進の関数の積分は定義が困難で、素朴に定義することができない。いい方法とは言えないかもしれない。)
そうするとつまり、の収束(xがどんな値のとき収束するのか)を考えねばならないことになる。もっと一般に、p進無限級数の収束判定を考えてみよう。コーシー列の考え方(コーシーの判定法)より、が収束することは、m,n→∞のときとなることと同値である。実はこの条件、かなり単純化できる。
強三角不等式を使ってみよう。
m,n→∞のときとは、m,n→∞のとき が実数列として0に収束するということ。ここで強三角不等式より、
だから、(つまり)(n→∞) であればは成り立ち、は収束する。
一方で逆、つまり「が収束するならば(n→∞)」は成り立つ。
よって結局が収束することと(n→∞)とは同値!
定理 が収束する(n→∞)
では、これを使って、早速の収束・発散を調べよう。これが収束すれば、その範囲での値はexp(x)のp進版と呼べるはずだ。先ほどの収束判定法より、これの収束を調べるということは、つまり次の問題を考えることになる。
問題 数列 がp進的に0に収束するようなxの範囲を求めよ。
のときには0に収束しないことはすぐにわかる。なぜなら分子のx^nはpで割れず(p進絶対値が1より小でなく)、分母はp進絶対値を小さくしない(むしろ大きくする)からだ。
だから、のときには ,つまりn!に含まれる素因数pの個数を調べる必要がある。
階乗の素因数の公式 (ただしは床関数(ガウス記号)) を使おう。これによって、
がわかる。
これが∞に発散するのがが0に収束するとき。
床関数だから、
ここまで来ればもう分かる。 が正なら、(n→∞)より(n→∞).
それはどんなときかと言うと、pが2の場合はのとき、それ以外はのとき。
つまりのときには、は0に収束しないのだから、pが奇素数のときには、はが0に収束する必要十分条件を与えている。p=2のときには、まだ のときどうなるか?が試されていない。
p=2,のとき、の部分列をとろう。.
よって部分列が0に収束しないから、は0に収束しない。
よってp=2のときは、 が必要十分条件であることが分かった。
となるp進体の部分集合は だから、結局次が分かった:
定理 がp進収束する 「p=2かつ」または「p≠2かつ」
今回はここまでにしておく。logやsin, arcsin ではどうなるだろうか。