Professional Documents
Culture Documents
MATH 590: Meshfree Methods: Chapter 7: Conditionally Positive Definite Functions
MATH 590: Meshfree Methods: Chapter 7: Conditionally Positive Definite Functions
Greg Fasshauer
Fall 2010
Definition
A complex-valued continuous function is called conditionally positive
definite of order m on Rs if
N X
X N
cj ck (x j x k ) 0 (1)
j=1 k =1
An immediate observation is
Lemma
A function that is (strictly) conditionally positive definite of order m on
Rs is also (strictly) conditionally positive definite of any higher order. In
particular, a (strictly) positive definite function is always (strictly)
conditionally positive definite of any order.
Proof.
The first statement follows immediately from the definition.
The second statement is true since (by convention) the case
m = 0 yields the class of (strictly) positive definite functions, i.e.,
(strictly) conditionally positive definite functions of order zero are
(strictly) positive definite.
Remark
If the function is strictly conditionally positive definite of order m,
then the matrix A with entries Ajk = (x j x k ) can be interpreted as
being positive definite on the space of vectors c such that
N
X
cj p(x j ) = 0, p sm1 .
j=1
We can now generalize the theorem we had in the previous chapter for
constant precision interpolation to the case of general polynomial
reproduction:
Theorem
If the real-valued even function is strictly conditionally positive
definite of order m on Rs and the points x 1 , . . . , x N form an
(m 1)-unisolvent set, then the system of linear equations
A P c y
= (3)
PT O d 0
is uniquely solvable.
Proof
The proof is almost identical to the proof of the earlier theorem for
constant reproduction.
Assume [c, d]T is a solution of the homogeneous linear system, i.e.,
with y = 0.
We show that [c, d]T = 0 is the only possible solution.
Multiplication of the top block of (3) by c T yields
c T Ac + c T Pd = 0.
The unisolvency of the data sites, i.e., the linear independence of the
columns of P (c.f. one of our earlier remarks), and the fact that c = 0
guarantee d = 0 from the top block
Ac + Pd = 0
Remark
Various definitions of the generalized Fourier transform exist in the
literature (see, e.g., [Gelfand and Vilenkin (1964)]).
Remark
This theorem states that strictly conditionally positive definite functions
on Rs are characterized by the order of the singularity of their
generalized Fourier transform at the origin, provided that this
generalized Fourier transform is non-negative and non-zero.
References I
Buhmann, M. D. (2003).
Radial Basis Functions: Theory and Implementations.
Cambridge University Press.
Fasshauer, G. E. (2007).
Meshfree Approximation Methods with M ATLAB.
World Scientific Publishers.
Gelfand, I. M. and Vilenkin, N. Ya. (1964).
Generalized Functions Vol. 4.
Academic Press (New York).
Iske, A. (2004).
Multiresolution Methods in Scattered Data Modelling.
Lecture Notes in Computational Science and Engineering 37, Springer Verlag
(Berlin).
Wendland, H. (2005a).
Scattered Data Approximation.
Cambridge University Press (Cambridge).
References II