اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدInteger Valued Definable Functions in $mathbb{R}_{an,exp}$
94
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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 con
jecture 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 f
ind 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{h
hm} 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
