Source author record

Daniel J. Miller

Daniel J. Miller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.LO math.CA math.FA

Catalog footprint

What is connected

4works

4topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

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.