Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userInteger Valued Definable Functions in $mathbb{R}_{an,exp}$
94
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give two variations on a result of Wilkies on unary functions defianble in $mathbb{R}_{an,exp}$ that take integer values at positive integers. Provided that the functions grows slower than the function $2^x$, Wilkie showed that is must be eventually equal to a polynomial. We show the same conclusion under a stronger growth condition but only assuming that the function takes values sufficiently close to a integers at positive integers. In a different variation we show that it suffices to assume that the function takes integer values on a sufficiently dense subset of the positive integers(for instance primes), again under a stronger growth bound than that in Wilkies result.
rate research
Read More
Using the following $_4F_3$ transformation formula $$ sum_{k=0}^{n}{-x-1choose k}^2{xchoose n-k}^2=sum_{k=0}^{n}{n+kchoose 2k}{2kchoose k}^2{x+kchoose 2k}, $$ which can be proved by Zeilbergers algorithm, we confirm some special cases of a recent conjecture of Z.-W. Sun on integer-valued polynomials.
The Riemann zeta function $zeta(s)$ is defined as the infinite sum $sum_{n=1}^infty n^{-s}$, which converges when ${rm Re},s>1$. The Riemann hypothesis asserts that the nontrivial zeros of $zeta(s)$ lie on the line ${rm Re},s= frac{1}{2}$. Thus, to find these zeros it is necessary to perform an analytic continuation to a region of complex $s$ for which the defining sum does not converge. This analytic continuation is ordinarily performed by using a functional equation. In this paper it is argued that one can investigate some properties of the Riemann zeta function in the region ${rm Re},s<1$ by allowing operator-valued zeta functions to act on test functions. As an illustration, it is shown that the locations of the trivial zeros can be determined purely from a Fourier series, without relying on an explicit analytic continuation of the functional equation satisfied by $zeta(s)$.
We prove an estimate for spherical functions $phi_lambda(a)$ on $mathrm{SL}(3,mathbb{R})$, establishing uniform decay in the spectral parameter $lambda$ when the group parameter $a$ is restricted to a compact subset of the abelian subgroup $mathrm{A}$. In the case of $mathrm{SL}(3,mathbb{R})$, it improves a result by J.J. Duistermaat, J.A.C. Kolk and V.S. Varadarajan by removing the limitation that $a$ should remain regular. As in their work, we estimate the oscillatory integral that appears in the integral formula for spherical functions by the method of stationary phase. However, the major difference is that we investigate the stability of the singularities arising from the linearized phase function by classifying their local normal forms when the parameters $lambda$ and $a$ vary.
The like-Lebesgue integral of real-valued measurable functions (abbreviated as textit{RVM-MI})is the most complete and appropriate integration Theory. Integrals are also defined in abstract spaces since Pettis (1938). In particular, Bochner integrals received much interest with very recent researches. It is very commode to use the textit{RVM-MI} in constructing Bochner integral in Banach or in locally convex spaces. In this simple not, we prove that the Bochner integral and the textit{RVM-MI} with respect to a finite measure $m$ are the same on $mathbb{R}$. Applications of that equality may be useful in weak limits on Banach space.
The text is based on notes from a class entitled {em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from cite{hhmcrelle}, cite{hhm} and cite{HL}, regarding definable types in the model completion of the theory of valued fields, and the classification of imaginary sorts. The latter is given a new proof, based on definable types rather than invariant types, and on the notion of {em generic reparametrization}. I also try to bring out the relation to the geometry of cite{HL} - stably dominated definable types as the model theoretic incarnation of a Berkovich point.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
