Integration of semialgebraic functions and integrated Nash functions

DOI10.1007/S00209-012-1138-1MaRDI QIDQ379192zbMATH OpenOpenAlexFDO

Authors Tobias Kaiser

Publication date 11 November 2013

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00209-012-1138-1

zbMATH Keywords

algebraic power serieso-minimalityparameterized integralsringssemialgebraic functions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Nash functions and manifolds (14P20) Integration of real functions of several variables: length, area, volume (26B15) Analytic algebras and generalizations, preparation theorems (32B05)

Review text

The paper is motivated by the following important question: What does one get when one integrates parameterized families of semialgebraic functions defined over \(\mathbb R\)? For this, the author considers rings of algebraic power series and shows that the Weierstrass division theorem and the Weierstrass preparation theorem hold in the corresponding ring. The last allows to apply model theoretic results on o-minimality to obtain an explicit description of parameterized integrals of semialgebraic functions.

Recommendations

• scientific article; zbMATH DE number 797342
• An algorithm for the integration of elementary functions
• scientific article; zbMATH DE number 3853252
• On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
• On algebraic functions integrable in finite terms

Cites work

• A preparation theorem for Weierstrass systems
• Extending Tamm's theorem
• First order tameness of measures
• scientific article; zbMATH DE number 1687034 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 3227305 (Why is no real title available?)
• scientific article; zbMATH DE number 3338725 (Why is no real title available?)
• Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques. (Integration of subanalytic functions and volumes of subanalytic subspaces)
• Log-analytic nature of the volume of subanalytic sets
• Measure and integration theory. Transl. from the German by Robert B. Burckel
• On the elementary theory of restricted elementary functions
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)
• Ultraproducts and approximation in local rings. II

Cited in

(11)

• Integration of oscillatory and subanalytic functions
• On tameness of zonoids
• Differentiability properties of log-analytic functions
• Counting imaginary quadratic points via universal torsors
• Global complexification of real analytic globally subanalytic functions
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Multivariate Puiseux rings induced by a Weierstrass system and twisted group rings
• Integration on the surreals
• Periods, power series, and integrated algebraic numbers
• Parametric Fourier and Mellin transforms of power-constructible functions
• On the existence of global minima and convergence analyses for gradient descent methods in the training of deep neural networks

This page was built for publication: Integration of semialgebraic functions and integrated Nash functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q379192)