65,800 research outputs found
Integration and Cell Decomposition in -minimal Structures
We show that the class of -constructible functions is closed
under integration for any -minimal expansion of a -adic field
. This generalizes results previously known for semi-algebraic
and sub-analytic structures. As part of the proof, we obtain a weak version of
cell decomposition and function preparation for -minimal structures, a
result which is independent of the existence of Skolem functions. %The result
is obtained from weak versions of cell decomposition and function preparation
which we prove for general -minimal structures. A direct corollary is that
Denef's results on the rationality of Poincar\'e series hold in any -minimal
expansion of a -adic field .Comment: 22 page
Analytic cell decomposition and analytic motivic integration
The main results of this paper are a Cell Decomposition Theorem for Henselian
valued fields with analytic structure in an analytic Denef-Pas language, and
its application to analytic motivic integrals and analytic integrals over
\FF_q((t)) of big enough characteristic. To accomplish this, we introduce a
general framework for Henselian valued fields with analytic structure, and
we investigate the structure of analytic functions in one variable, defined on
annuli over . We also prove that, after parameterization, definable analytic
functions are given by terms. The results in this paper pave the way for a
theory of \emph{analytic} motivic integration and \emph{analytic} motivic
constructible functions in the line of R. Cluckers and F. Loeser
[\emph{Fonctions constructible et int\'egration motivic I}, Comptes rendus de
l'Acad\'emie des Sciences, {\bf 339} (2004) 411 - 416]
An example of a -minimal structure without definable Skolem functions
We show there are intermediate -minimal structures between the
semi-algebraic and sub-analytic languages which do not have definable Skolem
functions. As a consequence, by a result of Mourgues, this shows there are
-minimal structures which do not admit classical cell decomposition.Comment: 9 pages, (added missing grant acknowledgement
Stability under integration of sums of products of real globally subanalytic functions and their logarithms
We study Lebesgue integration of sums of products of globally subanalytic
functions and their logarithms, called constructible functions. Our first
theorem states that the class of constructible functions is stable under
integration. The second theorem treats integrability conditions in Fubini-type
settings, and the third result gives decay rates at infinity for constructible
functions. Further, we give preparation results for constructible functions
related to integrability conditions
- …