2011 Fiscal Year Final Research Report
Computable analysis on the nonnegative real line-Walsh-Fourier transform and computability of distributions-
| Project/Area Number |
21540152
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kyoto Sangyo University |
|---|
Principal Investigator |
MORI Takakazu 京都産業大学, 理学部, 教授 (00065880)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
TSUJII Yoshiki 京都産業大学, 理学部, 教授 (90065871)
YASUGI Mariko 京都産業大学, 名誉教授 (90022277)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 計算可能解析 / 計算可能関数 / 実効的連続性 / 実効的収束関数列 / 計算可能確率分布 / 実効的収束確率分布列 / 実効的ウォルシュ・フーリエ解析 |
|---|
| Research Abstract |
We formulated the Fine computability and prove the effectivization of Fubini's Theorem on the unit square. We defined computability and effective convergence of probability distributions, and investigated the relations to Fine computability and effective Fine convergence of the corresponding probability distribution functions. We also investigated the relation to computability and effective convergence of the corresponding characteristic functions. We proved an effectivization of Bochner's Theorem.
|
Research Products
(13 results)
