BZPEER

preprint2013arXiv

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

We call a function "constructible" if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. Our main theorem gives uniform bounds on the decay of parameterized families of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function, assuming that the amplitude function is integrable and that the phase function satisfies a certain natural condition called the hyperplane condition. As a simple application of this theorem, we also show that any continuous, integrable, constructible function of a single variable has an integrable Fourier transform.

preprint2012arXiv

Lebesgue classes and preparation of real constructible functions

We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q > 0$ and constructible functions $f$ and $μ$ on $E\times\RR^n$, we prove a theorem describing the structure of the set of all $(x,p)$ in $E \times (0,\infty]$ for which $y \mapsto f(x,y)$ is in $L^p(|μ|_{x}^{q})$ , where $|μ|_{x}^{q}$ is the positive measure on $\RR^n$ whose Radon-Nikodym derivative with respect to the Lebesgue measure is $y\mapsto |μ(x,y)|^q$ . We also prove a closely related preparation theorem for $f$ and $μ$ . These results relate analysis (the study of $L^p$ -spaces) with geometry (the study of zero loci).

preprint2010arXiv

Characterizing decidability in a quasianalytic setting

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$ , where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of function composition, division by variables, and implicitly defined functions. It is shown that the first order theory of $\RR_S$ is decidable if and only if two oracles, called the approximation and precision oracles for $S$ , are decidable. Loosely stated, the approximation oracle for $S$ allows one to approximate any partial derivative of any function in $S$ to within any given error, and the precision oracle for $S$ allows one to decide when a manifold $M\subseteq\RR^n$ is contained in a coordinate hyperplane $\{x\in\RR^n : x_i = 0\}$ when one is given $i\in\{1,\ldots,n\}$ and a system of equations which defines $M$ nonsingularly, where the functions occurring in the equations are rational polynomials of the coordinate variables $x = (x_1,\ldots,x_n)$ and the partial derivatives of the functions in $S$ . A key component of the proof is the development of a local resolution of singularities procedure which is effective in the approximation and precision oracles for $§$ , and in the course of proving our main theorem, numerous theorems about the model theory of such structures $\RR_S$ are also proven.

preprint2010arXiv

Constructing o-minimal structures with decidable theories using generic families of functions from quasianalytic classes

Let $\RR_S$ denote the expansion of the real ordered field by a family of real-valued functions $S$ , where each function in $S$ is defined on a compact box and is a member of some quasianalytic class which is closed under the operations of function composition, division by variables, and extraction of implicitly defined functions. It is shown that if the family $S$ is generic (which is a certain technically defined transcendence condition), then the theory of $\RR_S$ is decidable if and only if $S$ is computably $C^\infty$ (which means that all the partial derivatives of the functions in $S$ may be effectively approximated). It is also shown that, in a certain topological sense, many generic, computably $C^\infty$ families $S$ exist.

Daniel J. Miller

Research overview

Is this your work?

4 publications

Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function

Lebesgue classes and preparation of real constructible functions

Characterizing decidability in a quasianalytic setting

Constructing o-minimal structures with decidable theories using generic families of functions from quasianalytic classes

See the researcher in context

Building this map preview