Constructing and Working with stform Splines
Introduction to the stform
A multivariate function form quite different from the tensor-product construct is the scattered translates form, or stform for short. As the name suggests, it uses arbitrary or scattered translates ψ(· –cj) of one fixed function ψ, in addition to some polynomial terms. Explicitly, such a form describes a function
in terms of the basis function ψ, a sequence (cj) of sites called centers and a corresponding sequence (aj) of n coefficients, with the final k coefficients, an-k+1,...,an, involved in the polynomial part, p.
When the basis function is radially symmetric, meaning that ψ(x) depends only on the Euclidean length |x| of its argument, x, then ψ is called a radial basis function, and, correspondingly, f is then often called an RBF.
At present, the toolbox works with just one kind of stform, namely a bivariate thin-plate spline and its first partial derivatives. For the thin-plate spline, the basis function is ψ(x) = φ(|x|2), with φ(t) = tlogt, i.e., a radial basis function. Its polynomial part is a linear polynomial, i.e., p(x)=x(1)an – 2+x(2)an – 1+an. The first partial derivative with respect to its first argument uses, correspondingly, the basis function ψ(x)=φ(|x|2), with φ(t) = (D1t)·(logt+1) and D1t = D1t(x) = 2x(1), and p(x) = an.
Construction and Properties of the stform
A function in stform can be put together from its center sequence
its coefficient sequence
coefs by the command
f = stmak(centers, coefs, type);
type can be specified as one of
'tp01', to indicate, respectively, a
thin-plate spline, a first partial of a thin-plate spline with respect to the first
argument, and a first partial of a thin-plate spline with respect to the second
argument. There is one other choice,
'tp'; it denotes a thin-plate
spline without any polynomial part and is likely to be used only during the construction
of a thin-plate spline, as in
A function f in stform depends linearly on its coefficients, meaning that
with ψj either a translate of the
basis function Ψ or else some polynomial. Suppose you wanted
to determine these coefficients aj so
that the function f matches prescribed values at
prescribed sites xi.
Then you would need the collocation matrix (ψj(xi)).
You can obtain this matrix by the command
In fact, because the stform has aj as
the jth column,
of its coefficient array, it is worth noting that
stcol can also supply the transpose of
the collocation matrix. Thus, the command
values = coefs*stcol(centers,x,type,'tr');
would provide the values at the entries of
the st function specified by
The stform is attractive because, in contrast to piecewise polynomial forms, its complexity is the same in any number of variables. It is quite simple, yet, because of the complete freedom in the choice of centers, very flexible and adaptable.
On the negative side, the most attractive choices for a radial
basis function share with the thin-plate spline that the evaluation
at any site involves all coefficients. For example, plotting a scalar-valued
thin-plate spline via
evaluation at a 51-by-51 grid of sites, a nontrivial task when there
are 1000 coefficients or more. The situation is worse when you want
to determine these 1000 coefficients so as to obtain the stform of
a function that matches function values at 1000 data sites, as this
calls for solving a full linear system of order 1000, a task requiring
O(10^9) flops if done by a direct method. Just the construction of
the collocation matrix for this linear system (by
takes O(10^6) flops.
constructs thin-plate spline interpolants and approximants, uses iterative
methods when there are more than 728 data points, but convergence
of such iteration may be slow.
Working with the stform
fnbrkto obtain its parts or change its basic interval,
fnvalto evaluate it
fnpltto plot it
fnderto construct its two first partial derivatives, but no higher order derivatives as they become infinite at the centers.
This is just one indication that the stform is quite different in nature from the other forms in this toolbox, hence other
fn...commands by and large don't work with stforms. For example, it makes no sense to use
fnzerosonly work for univariate functions. It also makes no sense to use
fninton a function in stform because such functions cannot be integrated in closed form.
(st,A)can be used on
Ais something that can be applied to the values of the function described by
st. For example,
'sin', in which case
Astis the stform of the function whose coefficients are the sine of the coefficients of
st. In effect,
Astdescribes the function obtained by composing
st. But, because of the singularities in the higher-order derivatives of a thin-plate spline, there seems little point to make
fntlrapplicable to such a