関数解析の超凖解析的研究

Research Project

Project/Area Number	01540137
Research Category	Grant-in-Aid for General Scientific Research (C)
Allocation Type	Single-year Grants
Research Field	解析学
Research Institution	Tottori University
Principal Investigator	栗林幸男鳥取大学, 教育学部, 教授 (30031909)
Co-Investigator(Kenkyū-buntansha)	下村克巳鳥取大学, 教育学部, 講師 (30206247) 小島政利鳥取大学, 教養部, 教授 (90032317) 熊原啓作鳥取大学, 教養部, 教授 (60029486) 和泉澤正隆鳥取大学, 教育学部, 助教授 (50108445) 赤井逸鳥取大学, 教養部, 教授 (70032274)
Project Period (FY)	1989
Project Status	Completed (Fiscal Year 1989)
Budget Amount *help	¥1,000,000 (Direct Cost: ¥1,000,000) Fiscal Year 1989: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywords	超凖解析 / 超積 / 超フィルタ- / 超実数 / 一般関数 / 超関数 / 分布 / 無限小
Research Abstract	n個の実変数の複素数値関数の集合をMap(R^n,C)と表す。R^+={y【element】R;y>0}、F={(0,y);y【element】R^+}としてFを含む超フィルタ-(ultrafilter)の一つをFとする。KをRまたはCまたはMap(R^n,C)としΠ__<(y_1,…,y_n)【element】R^+×…×R^+>K/F^n=^<(n)>Kと定義する。^<(n)>Rの元[x(y_1,…,y_n)]を超実数(hyper real number)という。このとき RC^<(n)>Rが成立する。x(y_1,…,y_n)はR^+×…×R^+で定義される実数値関数である。超関数論(theory of hyperfunctins)の研究者が楔と呼んでいる領域R+iR^+×…×R^+は超凖解析(nonstandard a nalysis)の観点で見ると超実数の集合である。楔R^n+iR^+×…×R^+で定義される正則関数によって超関数が定まる。このことは超関数と一般関数(generalized function,^<(n)>Map(R^n,Cの元)関連を示している。すでに述べたように超実数はR^+×…×R^+で定義される実数値関数x(y_1,…y_n)の同値類である。したがって超実数は曲面的構造をもつものと考えられる。すなわち実数は点と考えられるのに対して超実数は構造をもちその構造は曲面的であるということができる。これは重要な成果といえよう。次に超関数と一般関数の関連を示す例をあげる。超関数1/((X_1+i0))×…(x1)/((x_n+i0))は領域R^n+iR^+×…×R^+で定義される正則関数1/(Z_1)×…×1/(Z_N)の境界値と考えられる。これを一般関数の観点で見ると次のようになる。[1/((x_1+iy_1))×…×1/((x_n+iy_n))]=[((x_1-iy_1))/((x^2_1+y^2_1])×…×[((x_n-iy_n))/((x^2_n+y^2_n]) Diracのデルタ関数δ(x)は超関数論では δ(x)=δ(x_1)…δ(x_n)=Π^^n__<j-1>1/((-2πi))(1/((xj+io))-1/((xj-io)))=1/((-2πi)^n)×(Σ__α(sgma))/((x_1+iα_10)…(x_n+iα_n)) これを超凖解析の立場で見ると次のようになる。 [δ(x_1,…x_n,y_1,…,y_n)]=Π^^n__<j=1>1/((-2πi))(1/((Xj+iyj))-1/((xj-iyj)))=1/(π^n)Π^^n__<j=1>(yj)/((x^2_j+y^2_j)) これらの例は超関数論と一般関数論を関連させた研究の有効性を示唆しているものといえよう。今後この方向で研究を進めたいと考える。