Numerical Approximation of Real Functions and One Minkowski's Conjecture on Diophintine Approximations
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2000
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909853262282752 |
|---|---|
| author | Glazunov, Nikolaj M. |
| author_facet | Glazunov, Nikolaj M. |
| contents | In this paper I consider the applications of several kinds of approximations of real functions to the problem of verified computation (reliable computing) of the range of implicitly defined real function $x_{n+1} = G(x_{1}, ..., x_{n}),$ where dependency $F(x_{1}, ..., x_{n+1}) = 0$ is defined on some compact domain by a sufficiently smooth real function $F(x_{1}, ..., x_{n+1}) >.$ Constructive version of Kolmogorov-Arnold and implicit function theorems, results about floating-point approximation, floating-point approximations which give lower-bound and upper-bound estimates of some real functions, and approximate algebraic computation are used for the purpose. The rigorous theory can be build on the base of analysis on manifolds over floating points domains. In the text we demonstrate our approach on examples from investigation of Minkowski's conjecture on critical determinant of the region $\mid x \mid^p + \mid y \mid^p \leq 1, p > 1.$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_math_0009057 |
| institution | arXiv |
| publishDate | 2000 |
| record_format | arxiv |
| spellingShingle | Numerical Approximation of Real Functions and One Minkowski's Conjecture on Diophintine Approximations Glazunov, Nikolaj M. Numerical Analysis Number Theory 41XX; 65XX; 11JXX; 11HXX In this paper I consider the applications of several kinds of approximations of real functions to the problem of verified computation (reliable computing) of the range of implicitly defined real function $x_{n+1} = G(x_{1}, ..., x_{n}),$ where dependency $F(x_{1}, ..., x_{n+1}) = 0$ is defined on some compact domain by a sufficiently smooth real function $F(x_{1}, ..., x_{n+1}) >.$ Constructive version of Kolmogorov-Arnold and implicit function theorems, results about floating-point approximation, floating-point approximations which give lower-bound and upper-bound estimates of some real functions, and approximate algebraic computation are used for the purpose. The rigorous theory can be build on the base of analysis on manifolds over floating points domains. In the text we demonstrate our approach on examples from investigation of Minkowski's conjecture on critical determinant of the region $\mid x \mid^p + \mid y \mid^p \leq 1, p > 1.$. |
| title | Numerical Approximation of Real Functions and One Minkowski's Conjecture on Diophintine Approximations |
| topic | Numerical Analysis Number Theory 41XX; 65XX; 11JXX; 11HXX |
| url | https://arxiv.org/abs/math/0009057 |