Ijpam - Eu: RT Q Q
Ijpam - Eu: RT Q Q
Ijpam - Eu: RT Q Q
A. Kushpel
Department of Mathematics
Çankaya University
Ankara, TURKEY
1. INTRODUCTION
2. THE RESULTS
P
Let x and y be two vectors in Rn , hx, yi := nk=1 xk yk be the usual scalar product and
|x| := hx, xi1/2 . For f (x) ∈ L1 (Rn ) define its Fourier transform
Z
Ff (y) = exp (−i hx, yi) f (x)dx
Rn
See [6] for more details. For simplicity we assume absolute convergence of multiple
series under consideration which is sufficient for our applications. Let K : Rn → R be
a fixed kernel function and A be a nonsingular n × n matrix.
Definition 2. We say that K ∈ K if the series
X T
Υ−1 (y, z) := F (K) z + 2π y−1 m (2)
m∈Zn
The set K is sufficiently large for our applications. In particular, if K (z) > 0,
∀z ∈ Rn then instead of Υ (z) F (K) (z) ∈ L1 (Rn ) we may just clime that F (K) (z) ∈
L1 (R n
). A typical
example of K ∈ K is given by a Gaussian of the form K (y) =
2
exp − |By| , where B is a nonsingular matrix. In this case K (y) > 0 and the
condition (2) is easily verifiable. Fix a kernel function K ∈ K. Consider the function
Z
f det (A)
sk (y) := Υ (y, z) F (K) (z) exp (i hy, zi) dz
(2π)n Rn
which we call the fundamental sk-spline. It is possible to show that
(
f (Am) = 1, mk = 0, 1 ≤ k ≤ n,
sk .
0, otherwise.
f (y) are analogs of periodic fundamental
for any m ∈ Zn if K ∈ K [5] . The functions sk
splines introduced in [3, 4]
n−1
˜ 1 1 X Reλj (x)Reλj (y) + Imλj (x)Imλj (y)
sk(x) = + ,
n n
j=1
|λj (y)|2
P
where λj (y) = nν=1 exp 2πiνj
n K y− 2πν
n 6= 0, 1 ≤ j ≤ n − 1 and K ∈ C T1 is a
fixed kernel function. Observe that
(
˜ + 2πj/n) = 1, j = 0mod(n),
sk(y
0 otherwise.
Hence
det (A) X Q
pQ
t (·) ≈ q(·) = Φ (−Am,t) exp (i h·, Ami) .
(2π)n
m∈Zn
Let mk , k ∈ N corresponds to the nonincreasing rearrangement of ΦQ (−Am,t),
m ∈ Zn . Hence for a fixed N = N ΦQ , y, t, we get
Theorem 3. In our notations the approximant q(z) for the density function pQ t (z)
has the form
N
det (A) X Q
q(z) = Φ (−Amk , t) exp (i hz, Amk i) .
(2π)n
k=1
Example 4. Let n = 2 and p(y) = p(x1 , x2 ) = π −1 exp −x21 − x22 be Gaus-
sian density. Then Φ (y) = Fp (−y) = exp − x21 + x22 /4 . Let P and M be
fixed parameters. In the case of the square grid (2πk/P, 2πs/P ), (k, s) ∈ Z2 we get
y = diag (2π/P, 2π/P ), det(y) = (2π/P )2 . Hence the approximant q(y) takes the form
q(y) =q(x1 , x2 )
(2π/P )2 X X 2πk 2πs 2πki 2πsi
= Φ − ,− exp x1 + x2
(2π)2 |k|≤M |s|≤M P P P P
2 2 !
1 X X 2π k + s2 2πikx1 2πisx2
= 2 exp − exp + .
P P 4 P P
|k|≤M |s|≤M
Let d (P, M, a) := max {x ∈ [−a/2, a/2] × [−a/2, a/2] | |p(y) − q(y)|}. Numerical ex-
amples show that d (5, 4, 1) = 2.36 × 10−5 , d (5, 6, 1) = 1.8 × 10−8 .
REFERENCES
[1] S.M. Gomes, A.K. Kushpel, J. Levesley, D.L. Ragozin, Interpolation on the Torus
using sk-splines with Number Theoretic Knots, J. of Approximation Theory, 98
(1999), 56-71.
[2] N.M. Korobov, Exponential Sums and their Applications, Boston, Kluwer Aca-
demic Publishers, 1992.
[3] A.K. Kushpel, Extremal properties of splines and diameters of classes of periodic
functions in the space C2π , Preprint, 84.15, Kiev, Inst. Math. Acad. Nauk Ukrain.
SSR (1984), 1-44.
A METHOD OF INVERSION OF FOURIER... 29
[4] A.K. Kushpel, Sharp estimates of the widths of convolution classes, Math. USSR
Izvestiya, American Mathematical Society, 33, No. 3 (1989), 631-649.
[5] A. Kushpel, sk-Spline interpolation on Rn , ArXiv: 1809.08618v1 [math. NA] 23
Sep 2018.
[6] K. Sato, Lévy Processes and Infinitely Divisible Distributions, Cambridge Univer-
sity Press, 1999.
[7] E. Stein, G. Weiss, Fourier Analysis on Euclidean Spaces, Princeton, 1990.
30