コーシー積

初等解析学におけるコーシー積は、二つの無限級数に対する離散的な畳み込み積である。名称はフランス人数学者のオーギュスタン・ルイ・コーシーに因む。

コーシー積が適用できるのは、無限級数CanutoBlochあるいは冪級数CanutoMathonlineである。冪級数のコーシー積は冪級数を単に無限級数とみてとったコーシー積であるから、ことさら区別を強調することはないけれども収束性を考える上では分けておくことは便利である。

コーシー積は数列を添字集合上の離散的な函数と見たときの函数の畳み込みであり、また有限数列または有限級数を、台が有限な無限数列または無限級数と見てコーシー積をとるWeissteinこともできるけれども、その場合は離散畳み込みと呼ぶほうが普通であろう。

1. 定義
-----

定義  二つの無限複素級数 sum および sum に対し、それらのコーシー積とは各項が離散畳み込みで与えられる級数 を言う。 定義  二つの複素係数冪級数 sum および sum に対し、それらのコーシー積とは で与えられる冪級数を言う。 注意 各級数の添字 i, j}} を xy}}-直交座標系の第一象限内の格子点 }} と見れば、コーシー積は対角線 1=//x// + //y// = 1}} に平行な直線 1=//x// + //y// = //k//}} 上の格子点に関してとった和をすべての k}} に対して一つずつ加えたものであるから、この二重和の各項はすべての格子点に対して一度ずつ現れている。 また、上記の定義式の両辺に現れる三つの級数がそれぞれ収束して、右辺の値が左辺の二つの和の積に一致することは、無限和に対して一般化された意味の分配法則が成り立つことを示すものと考えることができる。分配法則による左辺の形式的な展開高木は、先と同様の格子点上を亙る和を軸に平行な直線族を使ってとった形になるから、これは格子点上の多重無限和の順序交換に関する主張であり、成り立つことも成り立たないことも起こり得る。

2. 収束性
------

実または複素数列 (//asub および (//bsub を考える。級数 sum}}//asub がともに絶対収束してその値がそれぞれ A, B}} であるならばそれらのコーシー積 sum}}//csub も収束して、その値 C}} は積 AB}} に等しい高木。また、三者がすべて収束する場合にも 1=//C// = //AB//}} である高木。しかし sum}}//asub がともに収束するというだけでは、それらのコーシー積 sum}}//csub が収束するためには十分でない。また、二つの級数 sum}}//asub が発散する場合でも、それらのコーシー積 sum}}//csub が絶対収束することもある

収束級数同士のコーシー積が収束することを保証する一つの十分条件を、ドイツ人数学者フランツ・メルテンスが与えた:

定理 メルテンスの定理}} sum}}//asub が A}} に収束し、sum}}//bsub が B}} に収束するとき、少なくとも一方の級数が絶対収束ならば、それらのコーシー積も収束してその和は AB}} に等しい。したがってメルテンスの定理は、定理の条件が満たされるならば一般化された形での分配法則が成り立つことを意味するものでもある。メルテンスの定理のある意味で逆となるものとして以下を挙げることができる:

定理Queffélec 級数 sum}}//asub と任意の収束級数とのコーシー積が収束するならば、sum}}//asub 自身が収束する。さて、二つの級数が収束するが絶対収束でないことを仮定した場合は、それらのコーシー積は発散しうる例えば、一般項が math。しかしこの場合でも、そのコーシー積はまだチェザロ総和可能である。具体的に:

命題 二つの実数列 (//asub が sum}}//asub および sum}}//bsub となるならば、//この命題は、二つの数列が収束しないがチェザロ総和は可能であるという場合に対しても一般化することができる:

定理 チェザロの定理}}KnoppHobson 整数 //α// > −1}} および //β// > −1}} に対し、数列 }}-総和可能、および数列 }}-総和可能であるとすれば、それらのコーシー積は AB}} に }}-総和可能である。同様にして、メルテンスの定理も対応するものに一般化できる

3. 例
----

実数 x, y}} を適当にとり、1=//asub と置けば、それらのコーシー積は二項定理を用いて と計算できる。これで形式冪級数として 1=exp = sum}}//asub および 1=exp = sum}}//bsub から 1=exp = sum}}//csub が示されたことになるが、二つの絶対収束級数のコーシー積の値は各級数の和の積に等しいのであったから、これにより任意の実数 x, y}} に対する実自然指数函数の指数法則 1=exp = expexp}} が示された。
任意の自然数 n}} に対し 1=//asub と置けば、それらの畳み込みは 1=//csub となるから、コーシー積 sum}}//csub の部分和の列は }} となって収束しない。//

4. 収束半径
-------

二つの冪級数 sum}}//asub と sum}}//bsub のコーシー積はまた冪級数で、それを sum}}//cind とする://

これら三つの冪級数の収束半径をそれぞれ //Rind とすれば、これらは不等式//

を満足する。実際、右辺の最小値よりも真に小さい絶対値を持つ複素数を考えれば、その点において二つの冪級数は絶対収束で、したがってそれらの積も絶対収束して、その値は二つの級数それぞれの和の積に等しい。よって、一つの開集合上で冪級数展開可能な二つの函数の積もまた、同じ開集合上で冪級数展開できる。

上の不等式は非常に緩い評価となり得る。例えば、二つの冪級数をひとつは収束半径 1}} の sum}}//xexp と、もうひとつは多項式の 1 – //x//}} とした場合、これらのコーシー積は定数 1}} に簡約されるから、収束半径 ∞}} である。あるいは別の例で、1 – //x//}} の冪級数展開の収束半径は 1}} だが、それ自身とのコーシー積は多項式 1 – //x//}} であって、その収束半径は ∞}} である。//

5. 一般化
------

5.1. 多重コーシー積
------------

n}} を自然数とする。

命題 sum, …, sum を複素係数の収束無限級数で、和がそれぞれ //A//sub であり、最後の n}} 番目の列を除いてすべて絶対収束であるとすれば、級数 は収束して、その収束値は各級数の和の積 ∏su に等しい。証明は n}} に関する帰納法による。

5.2. 内積空間の場合
------------

既に述べたものはガウス平面 C}} 内の列であったが、コーシー積はユークリッド空間 Rsup 内の点列に対しても定義することができる。この場合、二つの点列が絶対収束するならば、そのコーシー積は収束先のベクトルの内積に一致することが示せる。

5.3. バナッハ代数の場合
--------------

A}} をバナッハ代数とすれば、A}} に値をとる二つの級数のコーシー積を定義できる。さらに言えば、二つの絶対収束級数のコーシー積は収束して、一般化された分配法則が成り立つ。

例えば、複素変数の場合に有効であった二つの指数函数の積の計算を、この場合も恢復することができる。それを記述するために欠けている唯一の性質は、一般の二項定理を適用できることであり、そのためにたとえば a}} と b}} が可換であることなどを仮定しなければならないが、必要な仮定のもとで 1=//e//sup が成り立つ。例えば t, u}} がスカラーならば 1=//e//sup であり、特に 1=//esupが成り立つ。//

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 参考文献
-------

first= Ethan D. .
first1= Claudio .
first= Godfrey Harold .

8. 外部リンク
--------

last= Mathonline .