Abstract:A radial function Φ(x) can be expressed by its generator ϕ(·) through Φ(x)=ϕ(‖x‖). The positive de finite of the function Φ plays an important role in the radial basis interpolation. We can naturally use Bochner’s Theorem to check if Φ is positive de finite. This requires however a n-dimensional Fourier transformation and it is not very easy to calculate. Furthermore in a lot of cases we will use ϕ for spaces of various dimensions too, then for every fixed n we need do the Fourier transformation once to check if the function is positive definite in the n-dimensional space. The completely monotone function, which is discussed in [4], is positive definite for arbitrary space dimensions. With this technique we can very easily characterize the positive definite of a radial function through its generator. Unfortunately there is only a very small subset of radial function which is completely monotone. Thus this criterion excluded a lot of interesting functions such as compactly supported radial function, which are very use ful in application. Can we find some conditions (as the completely monotone function) only for the 1-dimensional Fourier transform of the generator ϕ to characterize a radial function Φ, which is positive definite in n-dimensional (fixed n) space? In this paper we defined a kind of incompletely monotone function of order α, for α=0, 1/2, 1, 3/2, 2, … (we denote the function class by ICM), in this sence a normal positvie function is in ICM0; a positive monotone decreasing function is in ICM1 and a positive monotone decreasing and convex function is in ICM2. Based on this definition we get a generalized Bochner’s Theorem for radial function: If1-dimensional Fourier transform of the generator of a radial function can be written as\(F{}_1\varphi (t) = \tilde F(\frac{{t^2 }}{2})\), then corresponding radial function Φ(x) is positive definite as a n-variate function iff\(\tilde F\) is an incompletely monotone function of order α=(n-1)/2 (or simply\(\tilde F \in ICM_{\frac{{n - 1}}{2}} \).

The Beurling and Malliavin Theorem in Several Dimensions

Bernstein Type Theorems for Minimal Surfaces in $(\Alpha,\beta)$-Space

The Bilinear Bochner-Riesz Problem

Beurling's Theorem for Valuation Hilbert Modules and Several Complex Variables

A Liouville Theorem and Radial Symmetry for dual fractional parabolic equations

A total variation version of Breuer--Major Central Limit Theorem under $\mathbb{D}^{1,2}$ assumption

Slicing of Radial Functions: a Dimension Walk in the Fourier Space

Generalized Bochner’s Theorem for Radial Function

Fourier Uncertainty Principles on Riemannian Manifolds

A dichotomy for Hörmander-type oscillatory integral operators

The Beurling-Wintner problem for characteristic functions

An Alternative Proof for Small Energy Implies Regularity for Radially Symmetric (1+2) -Dimensional Wave Maps

Malliavin calculus and decoupling inequalities in Banach spaces

New bounds for normal approximation on product spaces with applications to monochromatic edges, random sums and an infinite de Jong CLT

Bernstein's inequalities and Jackson's inverse theorems in the Laguerre hypergroup

Generalization and development of the Malliavin-Rubel theorem on small entire functions of exponential type with given zeros

From Lomonosov Lemma to Radical Approach in Joint Spectral Radius Theory

Around the Van Daele--Schmüdgen theorem

Liouville-type Theorems, Radial Symmetry and Integral Representation of Solutions to Hardy-H\'enon Equations Involving Higher Order Fractional Laplacians

Asymptotics of Generalized Bessel Functions and Weight Multiplicities via Large Deviations of Radial Dunkl Processes

The Extremals of Minkowski's Quadratic Inequality