Computable sequences in the Sobolev spaces
スポンサーリンク
概要
- 論文の詳細を見る
Kyushu University 21st Century COE Program Development of Dynamic Mathematics with High Functionality九州大学21世紀COEプログラム「機能数理学の構築と展開」Pour-El and Richards [5] discussed computable smooth functions with non-computable first derivatives. We show that a similar result holds in the case of Sobolev spaces by giving a non-computable $\mathcal{H}^1(0,1)$-element which, however, is computable in any of larger Sobolev spaces $\mathcal{H}^s(0,1)$ for any computable $s$, $0 \le s < 1$.
- The Japan Academy,日本学士院の論文