Reconstruction of Piecewise Smooth Multivariate Functions from Fourier Data

Abstract

In some applications, one is interested in reconstructing a function f from its Fourier series coefficients. The problem is that the Fourier series is slowly convergent if the function is non-periodic, or is non-smooth. In this paper, we suggest a method for deriving high order approximation to f using a Padé-like method. Namely, we do this by fitting some Fourier coefficients of the approximant to the given Fourier coefficients of f. Given the Fourier series coefficients of a function on a rectangular domain in ${\mathbb{R}}^d$, assuming the function is piecewise smooth, we approximate the function by piecewise high order spline functions. First, the singularity structure of the function is identified. For example in the 2D case, we find high accuracy approximation to the curves separating between smooth segments of f. Secondly, simultaneously we find the approximations of all the different segments of f. We start by developing and demonstrating a high accuracy algorithm for the 1D case, and we use this algorithm to step up to the multidimensional case.

1. Introduction

Fourier series expansion is a useful tool for representing and approximating functions, with applications in many areas of applied mathematics. The quality of the approximation depends on the smoothness of the approximated function and on whether or not it is periodic. For functions that are not periodic, the convergence rate is slow near the boundaries and the approximation by partial sums exhibits the Gibbs phenomenon. Several approaches have been used to improve the convergence rate, mostly for the one-dimensional case. One approach is to filter out the oscillations, as discussed in several papers [1,2]. Another useful approach is to transform the Fourier series into an expansion in a different basis. For the univariate case this approach is shown to be very efficient, as shown in [1] using Gegenbauer polynomials with suitably chosen parameters. Further improvement of this approach is presented in [3] using Freud polynomials, achieving very good results for univariate functions with singularities.

An algebraic approach for reconstructing a piecewise smooth univariate function from its first N Fourier coefficients has been realized by Eckhoff in a series of papers [4,5,6]. There, the “jumps” are determined by a corresponding system of linear equations. A full analysis of this approach is presented by Betankov [7]. Nersessian and Poghosyan [8] have used a rational Padé type approximation strategy for approximating univariate non-periodic smooth functions. For multiple Fourier series of smooth non-periodic functions, a convergence acceleration approach was suggested by Levin and Sidi [9]. More challenging is the case of multivariate functions with discontinuities, i.e., functions that are piecewise smooth. Here again, the convergence rate is slow, and near the discontinuities, the approximation exhibits the Gibbs phenomenon. In this paper, we present a Padé-like approach consisting of finding a piecewise-defined spline whose Fourier coefficients match the given Fourier coefficients.

The main contribution of this paper is demonstrating that this approach can be successfully applied to the multivariate case. Namely, we present a strategy for approximating both non-periodic and non-smooth multivariate functions. We derive the numerical procedures involved and provide some interesting numerical results. We start by developing and demonstrating a high accuracy algorithm for the 1D case, and use this algorithm to step up to the multidimensional case.

2. The 1D Case

In this section, we present the main tools for function approximation using its Fourier series coefficients. We define the basis functions and describe the fitting strategy and develop the computation algorithm. After dealing with the smooth case we move on to approximate a piecewise smooth function with a jump singularity.

2.1. Reconstructing Smooth Non-Periodic Functions

Let $f\in C^m[0,1]$, and assume we know the Fourier series expansion of f

$$f(x)=\sum _{n\in \mathbb{Z}}{\widehat{f}}_n{e}^{2\pi inx}.$$

(1)

The series converge pointwise for any $x\in [0,1]$, however, if f is not periodic, the convergence may be slow, and if $f(1)\ne f(0)$ the convergence is not uniform and the Gibbs phenomenon occurs near 0 and near 1. As discussed in [9,10], one can apply convergence acceleration techniques for improving the convergence rate of the series. Another convergence acceleration approach was suggested by Gottlieb and Shu [1] using Gegenbauer polynomials. Yet, in both approaches, the convergence rate is not much improved near 0 and near 1. We suggest an approach in the spirit of Padé approximation. A Padé approximant is a rational function whose power series agrees as much as possible with the given power series of f. Here we look for approximations to f whose Fourier coefficients agree with a subset of the given Fourier coefficients of f. The approximation space can be any favorable linear approximation space, such as polynomials or trigonometric functions.

We choose to build the approximation using kth order spline functions, represented in the B-spline basis:

$$S_d^{[k]}(x)=\sum _{j=1}^{N_d}{a}_j{B}_d^{[k]}(x-jd).$$

(2)

$B_d^{[k]}(x)$ is the B-spline of order k with equidistant knots $\{-kd,\dots ,-2d,-d,0\}$, and $N_d=1/d+k-1$ is the number of B-splines whose shifts do not vanish in $[0,1]$. The advantage of using spline functions is threefold:

• The locality of the B-spline basis functions.
• A closed form formula for their Fourier coefficients.
• Their approximation power, i.e., if $f\in C^k[0,1]$, there exists a spline $S_d^{[k]}$ such that $\parallel f-S_d^{[k]}{\parallel }_{\infty ,[0,1]}\le C{d}^k$.

The B-splines basis functions used in the 1D case are shown in Figure 1. We denote by $S\equiv S_d^{[k]}{|}_{[0,1]}$ the restriction of $S_d^{[k]}$ to the interval $[0,1]$. We find the coefficients ${\left\{a_i\right\}}_{i=1}^{N_d}$ by least-squares fitting, matching the first $M+1$ Fourier coefficients of S to the corresponding $M+1$ Fourier coefficients of f. That is,

$${\left\{a_i\right\}}_{i=1}^{N_d}=arg\; min\sum _{n=0}^M{|{\widehat{f}}_n-{\widehat{S}}_n|}^2.$$

(3)

Figure 1. The B-splines used in Example 1.

Notice that it is enough to consider the Fourier coefficients with non-negative indices.

We denote by $B_i\equiv B_d^{[k]}{(·-id)|}_{[0,1]}$ the restriction of $B_d^{[k]}(·-id)$ to the interval $[0,1]$, and by $\left\{{\widehat{B}}_{i,n}\right\}$ its Fourier coefficients. The normal equations for the least squares problem (3) induce the linear system $Aa=b$ for $a={\left\{a_i\right\}}_{i=1}^{N_d}$, where

$$A_{i,j}=\sum _{n=0}^M[Re({\widehat{B}}_{i,n})Re({\widehat{B}}_{j,n})+Im({\widehat{B}}_{i,n})Im({\widehat{B}}_{j,n})],1\le i,j\le N_d,$$

(4)

and

$$b_i=\sum _{n=0}^M[Re({\widehat{B}}_{i,n})Re({\widehat{f}}_n)+Im({\widehat{B}}_{i,n})Im({\widehat{f}}_n)],1\le i\le N_d.$$

(5)

Numerical Example—The Smooth 1D Case

We consider the test function $f(x)=xexp(x)+sin(8x)$, assuming only its Fourier coefficients are given. We have used only the 20 Fourier coefficients ${\left\{{\widehat{f}}_n\right\}}_{n=0}^{19}$, and computed an approximation using 12th degree splines with equidistant knots’ distance $d=0.1$. For this case, the matrix A is of size $19\times 19$, and $cond(A)=5.75\times {10}^{20}$. We have employed an iterative refinement algorithm described below to obtain a high precision solution. The results are shown in the following two figures. In Figure 2 we see the test function on the left and the approximation error on the right. Figure 3 presents the graph of ${log}_{10}({\widehat{f}}_n)$ in blue and the graph of ${log}_{10}({\widehat{f}}_n-{\widehat{S}}_n)$, showing eight orders of magnitude reduction in the Fourier coefficients. Notice the matching in the first Fourier coefficients reflected in the beginning of the red graph.

Remark 1.

The powerful iterative refinement method described in [11,12] is as follows:

For solving a system $Ax=b$, we use some solver, e.g., the Matlab pinv function. We obtain the solution $x^{(0)}=pinv(A)b$. Next we compute the residual $r^{(0)}=b-A{x}^{(0)}$. In case $cond(A)$ is very large, the residual will be large. Now we solve again the system with $r^{(0)}$ at the right hand side, and use the solution to correct $x^{(0)}$, to obtain

$$x^{(1)}=x^{(0)}+pinv(A)r^{(0)}.$$

We repeat this correction steps a few times, i.e., $r^{(k)}=b-A{x}^{(k)}$, and

$$x^{(k+1)}=x^{(k)}+pinv(A)r^{(k)},$$

until the resulting residual $r^{(k)}$ is small enough.

Figure 2. The test function (left) and the spline approximation error (right).

Figure 3. ${log}_{10}$ of the given Fourier coefficients (blue), and of the Fourier coefficients of the approximation error (red).

2.2. Reconstructing Non-Smooth Univariate Functions

Let f be a piecewise smooth function on $[0,1]$, defined by combined two pieces $f_1\in C^m[0,s^{*}]$ and $f_2\in C^m(s^{*},1]$, and assume that $f_2$ can be continuously extended to $[s^{*},1]$.

$$f(x)=\left\{\begin{array}{cc}{f}_1(x)\hfill & x\ge s^{*},\hfill \\ f_2(x)\hfill & x<s^{*}.\hfill \end{array}\right.$$

(6)

Here again, we assume that all we know about f is its Fourier series expansion. In particular, we do not know the position $s^{*}\in [0,1]$ of the singularity of f. As in the case of a non-periodic function, the existence of a singularity in $[0,1]$ significantly influences the Fourier series coefficients and implies their slow decay. As we demonstrate below, good matching of the Fourier coefficients requires a good approximation of the singularity location. The approach we suggest here involves finding approximations to $f_1$ and $f_2$ simultaneously with a high precision identification of $s^{*}$.

Let s be an approximation of the singularity location $s^{*}$, and let us follow the algorithm suggested above for the smooth case. The difference here is that now we look for two separate spline approximations:

$$S_1\equiv S_d^{[k]}{|}_{[0,s]}(x)=\sum _{i=1}^{N_d}{a}_{1i}{B}_d^{[k]}(x-id){|}_{[0,s]}\sim f_1,$$

(7)

and

$$S_2\equiv S_d^{[k]}{|}_{(s,1]}(x)=\sum _{i=1}^{N_d}{a}_{2i}{B}_d^{[k]}(x-id){|}_{(s,1]}\sim f_2.$$

(8)

The combination S of $S_1$ and $S_2$ constitutes the approximation to f. Here again we aim at matching the first $M+1$ Fourier coefficients of f and of S. Here S depends on the $N_d$ coefficients $\left\{a_{1i}\right\}$ of $S_1$, the $N_d$ coefficients $\left\{a_{2i}\right\}$ of $S_2$ and on s. Therefore, the minimization process solves for all these unknowns:

$$\left[{\left\{a_{1i}\right\}}_{i=1}^{N_d},{\left\{a_{2i}\right\}}_{i=1}^{N_d},s\right]=arg\; min\sum _{n=0}^M{|{\widehat{f}}_n-{\widehat{S}}_n|}^2.$$

(9)

The minimization is non-linear with respect to s, and linear with respect to the other unknowns. Therefore, the minimization problem is actually a one parameter non-linear minimization problem, the parameter s. Using the approximation power of kth order splines ($k\le m$), and considering the value of the objective cost function for $s=s^{*}$, we can deduce that the minimal value of ${\sum }_{n=0}^M{|{\widehat{f}}_n-{\widehat{S}}_n|}^2$ is $O(d^{2k})$. We also observe that an $ϵ$ deviation from $s^{*}$ implies a bounded deviation of the minimizing Fourier coefficients

$$\underset{n\in \mathbb{Z}}{max}|{\widehat{f}}_n-{\widehat{S}}_n|\le c_1ϵ+c_2{d}^k.$$

(10)

As shown below, these observations can be used for finding a good approximation to $s^{*}$.

We denote by $B_{1i}\equiv B_d^{[k]}{(·-id)|}_{[0,s]}$ the restriction of $B_d^{[k]}(·-id)$ to the interval $[0,s]$, and by $B_{2i}\equiv B_d^{[k]}{(·-id)|}_{(s,1]}$ the restriction of $B_d^{[k]}(·-id)$ to the interval $(s,1]$. We concatenate these two sequences of basis functions, $\left\{B_{1i}\right\}$ and $\left\{B_{2i}\right\}$ into one sequence ${\left\{B_i\right\}}_{i=1}^{2N_d}$, and denote their Fourier coefficients by ${\left\{{\widehat{B}}_{i,n}\right\}}_{n\in \mathbb{Z}}.$ For a given s, the normal equations for the least squares problem (9) induce the linear system $Aa=b$ for the splines’ coefficients $a=({\left\{a_{1i}\right\}}_{i=1}^{N_d},{\left\{a_{2i}\right\}}_{i=1}^{N_d})$, where:

$$A_{i,j}=\sum _{n=0}^M[Re({\widehat{B}}_{i,n})Re({\widehat{B}}_{j,n})+Im({\widehat{B}}_{i,n})Im({\widehat{B}}_{j,n})],1\le i,j\le 2N_d,$$

(11)

and

$$b_i=\sum _{n=0}^M[Re({\widehat{B}}_{i,n})Re({\widehat{f}}_n)+Im({\widehat{B}}_{i,n})Im({\widehat{f}}_n)],1\le i\le 2N_d.$$

(12)

Remark 2.

Due to the locality of the B-splines, some of the basis functions $\left\{B_{1i}\right\}$ and $\left\{B_{2i}\right\}$ may be identical 0. It thus seems better to use only the non-zero basis functions. From our experience, since we use the generalized inverse approach for solving the system of equations, using all the basis functions gives the same solution.

The generalized inverse approach computes the least-squares solution to a system of linear equations that lacks a unique solution. It is also called the Moore–Penrose inverse, and is computed by Matlab pinv function.

The above construction can be carried out to the case of several singular points.

2.2.1. Finding $s^{*}$

We present the strategy for finding $s^{*}$ together with a specific numerical example. We consider a test function on $[0,1]$ with a jump discontinuity at $s^{*}=0.5$:

$$f(x)=\left\{\begin{array}{cc}{f}_1(x)=sin(5x)\hfill & x\ge s^{*},\hfill \\ f_2(x)=\frac{1}{{(x-0.5)}^2+0.5}\hfill & x<s^{*}.\hfill \end{array}\right.$$

(13)

As expected, the Fourier series of f is slowly convergent, and it exhibits the Gibbs phenomenon near the ends of $[0,1]$ and near $s^{*}$. In Figure 4, on the left, we present the sum of the first 200 terms of the Fourier series, computed at 20,000 points in $[0,1]$. This sum is not acceptable as an approximation to f, and yet we can use it to obtain a good initial approximation to $s_0\sim s^{*}$. On the right graph, we plot the first differences of the values in the left graph. The maximal difference is achieved at a distance of order ${10}^{-4}$ from $s^{*}$.

Figure 4. A partial Fourier sum (left) and its first differences (right).

Having a good approximation $s_0\sim s^{*}$ is not enough for achieving a good approximation to f. However, $s_0$ can be used as a starting point for an iterative method leading to a high precision approximation to $s^{*}$. To support this assertion we present the graph in Figure 5, depicting the maximum norm of the difference between 1000 of the given Fourier coefficients and the corresponding Fourier coefficients of the approximation S, as a function of s, near $s^{*}=0.5$. This function is almost linear on each side of $s^{*}$, and simple quasi-Newton iterations converge very fast to $s^{*}$. After obtaining a high accuracy approximation to $s^{*}$, we use it for deriving the piecewise spline approximation to f.

Figure 5. The graph of the error $\parallel \widehat{f}-\widehat{S}\parallel$ as a function of s near $s^{*}=0.5$.

In the following, we present the numerical results obtained for the test function defined in (13). We have used only 20 Fourier coefficients of f, and the two approximating functions $S_1$ and $S_2$ are splines of order eight, with knots’ distance $d=0.1$. Figure 6 depicts the approximation error, showing that ${\parallel f-S\parallel }_{\infty }=5.3\times {10}^{-8}$, and that the Gibbs phenomenon is completely removed. Figure 7 shows ${log}_{10}$ of the absolute values of the given Fourier coefficients of f (in blue), and the corresponding values for the Fourier coefficients of $f-S$ (in red). The graph shows a reduction of ∼7 orders of magnitude. These results clearly demonstrate the high effectiveness of the proposed approach.

Figure 6. The approximation error for the 1D non-smooth case.

Figure 7. ${log}_{10}$ of the given Fourier coefficients (blue), and of the Fourier coefficients of the approximation error (red).

2.2.2. The 1D Approximation Procedure

Let us sum up the suggested approximation procedure:

(1)

Choose the approximation space $\Pi$ for approximating $f_1$ and $f_2$.

(2)

Define the number of Fourier coefficients to be used for building the approximation such that

$$M+1\ge 2dim(\Pi ).$$

(14)

(3)

Find first approximation to $s^{*}$: Compute a partial Fourier sum and locate maximal first order difference.

(4)

Calculate the first $M+1$ Fourier coefficients of the basis functions of $\Pi$, truncated at $s^{*}$.

(5)

Use the above Fourier coefficients to compute the approximation to $f_1$ and $f_2$ by solving the system of linear equation defined by (11), (12).

(6)

Update the approximation to $s^{*}$, by performing quasi-Newton iterations to reduce the objective function in (9).

(7)

Go back to (4) to update the approximation.

3. The 2D Case—Non-Periodic and Non-Smooth

3.1. The Smooth 2D Case

Let $f\in C^m{[0,1]}^2$, and assume we know its Fourier series expansion

$$f(x,y)=\sum _{m\in \mathbb{Z}}\sum _{n\in \mathbb{Z}}{\widehat{f}}_{mn}{e}^{2\pi imx}{e}^{2\pi iny}.$$

(15)

Such series are obtained when solving PDE using spectral methods. However, if the function is not periodic, or, as in the case of hyperbolic equations, the function has a jump discontinuity along some curve in ${[0,1]}^2$, the convergence of the Fourier series is slow. Furthermore, the approximation of f by its partial sums suffers from the Gibbs phenomenon near the boundaries and near the singularity curve.

We deal with the case of smooth non-periodic 2D functions in the same manner as we did for the univariate case. We look for a bivariate spline function S whose Fourier coefficients match the Fourier coefficients of f. As in the univariate case, it is enough to match the coefficients of low frequency terms in the Fourier series. The technical difference in the 2D case is that we look for a tensor product spline approximation, using tensor product kth order B-spline basis functions.

$$S_d^{[k]}(x,y)=\sum _{i=1}^{N_d}\sum _{j=1}^{N_d}{a}_{ij}{B}_d^{[k]}(x-id)B_d^{[k]}(y-jd).$$

(16)

The system of equations for the B-spline coefficients is the same as the system defined by (4) and (5) in the univariate case, only here we reshape the unknowns as a vector of $N_d^2$ unknowns.

Numerical Example—The Smooth 2D Case

We consider the test function

$$f(x,y)=\frac{10}{1+10(x^2+{(y-1)}^2)}+sin(10(x-y)),$$

assuming only its Fourier coefficients are given. We have used only 160 Fourier coefficients, and constructed an approximation using 10th degree tensor product splines with equidistant knots’ distance $d=0.1$ in each direction. For this case, the matrix A is of size $361\times 361$, and $cond(A)=6.2\times {10}^{30}$. Again, we have employed the iterative refinement algorithm to obtain a high precision solution (relative error ${10}^{-15}$). Computation time ∼18 s.

In Figure 8 we plot the test function on ${[0,1]}^2$. Note that it has high derivatives near $(0,1)$.

Figure 8. The test function for the smooth 2D case.

The approximation error $f-S_{0.1}^{[10]}$ is shown in Figure 9. To demonstrate the convergence acceleration of the Fourier series achieved by subtracting the approximation from f, we present in Figure 10 ${log}_{10}$ of the absolute values of the Fourier coefficients of f (in green) and of the Fourier coefficients of $f-S_{0.1}^{[10]}$ (in blue), for frequencies $0\le m,n\le 200$. The magnitude of the Fourier coefficients is reduced by a factor of ${10}^5$, and even more so for the low frequencies due to the matching strategy used to derive the spline approximation.

Figure 9. The approximation error $f-S_{0.1}^{[10]}$.

Figure 10. ${log}_{10}$ of the Fourier coefficients before (green), and after (blue).

3.2. The Non-Smooth 2D Case

Let ${\Omega }_1,{\Omega }_2\subset {[0,1]}^2$ be open, simply connected domains with the properties

$${\Omega }_1\cap {\Omega }_2=\varnothing ,{\overline{\Omega }}_1\cup {\overline{\Omega }}_2={[0,1]}^2.$$

Let ${\Gamma }^{*}$ be the curve separating the two domains,

$${\Gamma }^{*}={\overline{\Omega }}_1\cap \overline{\Omega },$$

and assume ${\Gamma }^{*}$ is a $C^m$-smooth curve.

Let f be a piecewise smooth function on ${[0,1]}^2$, defined by combined two pieces $f_1\in C^m[{\Omega }_1]$ and $f_2\in C^m[{\Omega }_2]$, and assume that each $f_j$ can be continuously extended to a function in $C^m({\overline{\Omega }}_j)$, $j=1,2$. Here again, we assume that all we know about f is its Fourier expansion. In particular, we do not know the position of the dividing curve separating ${\Omega }_1$ and ${\Omega }_2$. We denote this curve by ${\Gamma }^{*}$, and we assume that it is a $C^m$-smooth curve. As in the case of a non-periodic function, the existence of a singularity curve in ${[0,1]}^2$ significantly influences the Fourier series coefficients and implies their slow decay. In case of discontinuity of f across ${\Gamma }^{*}$, partial sums of the Fourier series exhibit the Gibbs phenomenon near ${\Gamma }^{*}$. As demonstrated below, a good matching of the Fourier coefficients requires a good approximation of the singularity location. As in the univariate non-smooth case, the computation algorithm involves finding approximations to $f_1$ and $f_2$ simultaneously with a high precision identification of ${\Gamma }^{*}$.

Evidently, finding a high precision approximation of the singularity curve ${\Gamma }^{*}$ is more involved than finding a high precision approximation to the singularity point $s^{*}$ in the univariate case. Let $D_{{\Gamma }^{*}}(x,y)$ be the signed-distance function corresponding to the curve ${\Gamma }^{*}$:

$$D_{{\Gamma }^{*}}(x,y)=\left\{\begin{array}{cc}dist((x,y),{\Gamma }^{*})\hfill & (x,y)\in {\Omega }_1,\hfill \\ -dist((x,y),{\Gamma }^{*})\hfill & (x,y)\in {\Omega }_2.\hfill \end{array}\right.$$

(17)

In looking for an approximation to ${\Gamma }^{*}$, we look for an approximation to $D_{{\Gamma }^{*}}$. Here again we are using a tensor product spline approximants, the same set of spline functions described in the previous section. Since the curve is $C^m$, it can be shown that one can construct a spline function $\tilde{D}$ of order $k\le m$, with knots’ distance h, which approximates $D_{{\Gamma }^{*}}$ near ${\Gamma }^{*}$ so that the Hausdorff distance between the zero level set of $\tilde{D}$ and ${\Gamma }^{*}$ is $O(h^k)$.

Let $D_{\overline{b}}$ be a spline approximation to $D_{{\Gamma }^{*}}$, with spline coefficients $\overline{b}={\left\{b_{ij}\right\}}_{i,j=1}^{N_h}$:

$$D_{\overline{b}}(x,y)=\sum _{i=1}^{N_h}\sum _{j=1}^{N_h}{b}_{ij}{B}_h^{[k]}(x-ih)B_h^{[k]}(y-jh).$$

(18)

For a given $D_{\overline{b}}$ we define the approximation to f similar to the construction in the univariate case by Equations (7)–(9). We look here for an approximation S to f which is a combination of two bivariate splines components:

$$S(x,y)=\sum _{i=1}^{N_d}\sum _{j=1}^{N_d}{a}_{1ij}{B}_d^{[k]}(x-id)B_d^{[k]}(y-jd),D_{\overline{b}}(x,y)\ge 0,$$

(19)

$$S(x,y)=\sum _{i=1}^{N_d}\sum _{j=1}^{N_d}{a}_{2ij}{B}_d^{[k]}(x-id)B_d^{[k]}(y-jd),D_{\overline{b}}(x,y)<0,$$

(20)

such that ${(2M+1)}^2$ Fourier coefficients of f and S are matched in the least-squares sense:

$$\left[{\left\{a_{1ij}\right\}}_{i,j=1}^{N_d},{\left\{a_{2ij}\right\}}_{i,j=1}^{N_d},{\left\{b_{ij}\right\}}_{i,j=1}^{N_d}\right]=arg\; min\left(\sum _{m,n=-M}^M{|{\widehat{f}}_{mn}-{\widehat{S}}_{mn}|}^2\right).$$

(21)

We denote by $B_{1ij}(x,y)$ the restriction of $B_d^{[k]}(x-id)B^{[k]}(y-jd)$ to the domain defined by $D_{\overline{b}}(x,y)\ge 0$, and by $B_{2ij}(x,y)$ the restriction of $B_d^{[k]}(x-id)B^{[k]}(y-jd)$ to the domain defined by $D_{\overline{b}}(x,y)<0$. We concatenate these two sequences of basis functions, $\left\{B_{1ij}\right\}$ and $\left\{B_{2ij}\right\}$ into one sequence ${\left\{B_{ij}\right\}}_{i=1,j=1}^{N_d,2N_d}$, denoting their Fourier coefficients by ${\left\{{\widehat{B}}_{ij,n}\right\}}_{n\in \mathbb{Z}}$, and rearranging them (for each n) in vectors of length $2N_d^2$, ${\left\{{\widehat{B}}_{i,n}\right\}}_{i=1,n\in \mathbb{Z}}^{2N_d^2}$. For a given $D_{\overline{\widehat{}}b}$, the normal equations for the least squares problem (21) induce the linear system $Aa=b$ for the splines’ coefficients $a=({\left\{a_{1ij}\right\}}_{i,j=1}^{N_d},{\left\{a_{2ij}\right\}}_{i,j=1}^{N_d})$, where:

$$A_{i,j}=\sum _{m,n=-M}^M[Re({\widehat{B}}_{i,n})Re({\widehat{B}}_{j,n})+Im({\widehat{B}}_{i,n})Im({\widehat{B}}_{j,n})],1\le i\le 2N_d^2,$$

(22)

and

$$b_i=\sum _{m,n=-M}^M[Re({\widehat{B}}_{i,n})Re({\widehat{f}}_n)+Im({\widehat{B}}_{i,n})Im({\widehat{f}}_n)],1\le i\le 2N_d^2.$$

(23)

For a given choice of $\overline{b}=\left\{b_{ij}\right\}$, the coefficients ${\left\{a_{1ij}\right\}}_{i,j=1}^{N_d},{\left\{a_{2ij}\right\}}_{i,j=1}^{N_d}$ are obtained by solving a linear system of equations, and properly rearranging the solution. However, finding the optimal $\overline{b}$ is a non-linear problem that requires an iterative process and is much more expensive.

Remark 3.

Representing the singularity curve of the approximation S as the zero level set of the bivariate spline function $D_{\overline{b}}$ is the way to achieve a smooth control over the approximation. As a result, the objective function in (21) varies smoothly with respect to the spline coefficients $\left\{b_{ij}\right\}$.

Remark 4.

In principle, the above framework is applicable to cases where f is combined of k functions defined on k disjoint subdomains of ${[0,1]}^2$. The implementation, however, is more involved. The main challenge is to find a good first approximation to the curves separating the subdomains. In this context, for our case of two subdomains, we further assume for simplicity that the separating curve ${\Gamma }^{*}$ is bijective.

Here again we choose to demonstrate the whole approximation procedure alongside a specific numerical example.

3.2.1. The Approximation Procedure—A Numerical Example

Consider a piecewise smooth function on ${[0,1]}^2$ with a jump singularity across the curve ${\Gamma }^{*}$ which is the quarter circle defined by $x^2+y^2=0.5$. The test function is shown in Figure 11 and is defined as

$$f(x,y)=\left\{\begin{array}{cc}(x^2+y^2-0.5)sin(10(x+y))\hfill & x^2+y^2\ge 0.5,\hfill \\ (x^2+y^2-0.5)sin(10(x+y))+2x\hfill & x^2+y^2<0.5.\hfill \end{array}\right.$$

(24)

Figure 11. The test function for the 2D non-smooth case.

In the univariate case, in Section 2.2.1, we use the Gibbs phenomenon in order to find an initial approximation $s_0$ to the singularity location $s^{*}$. The same idea, with some modifications to the 2D case, is applied here. The truncated Fourier sum

$$f_{50}(x,y)=\sum _{m,n=-50}^{50}{\widehat{f}}_{mn}{e}^{2\pi imx}{e}^{2\pi iny}.$$

(25)

gives an approximation to f, but the approximation suffers from a Gibbs phenomenon near the boundaries of the domain and near the singularity curve ${\Gamma }^{*}$. We evaluated $f_{50}$ on a $400\times 400$ mesh on ${[0,1]}^2$, and enhanced the Gibbs effect by applying first order differences along the x-direction. The results are depicted in Figure 12. The locations of large x-direction differences and of large y-direction differences within ${[0,1]}^2$ indicate the location of ${\Gamma }^{*}$.

Figure 12. First order x-direction differences of a truncated Fourier sum—notice the relatively high values at the boundary and near the singularity curve.

Building the initial approximation $D_{{\overline{b}}_0}$

Searching along 50 horizontal lines (x-direction) for maximal x-direction differences, and along 50 vertical lines (y-direction) for maximal y direction differences, we have found 72 such maximum points, which we denote by $P_0$. We display these points (in red) in Figure 13, on top of the curve ${\Gamma }^{*}$ (in blue). Now we use these points to construct the spline $D_{{\overline{b}}_0}$, whose zero level curve is taken as the initial approximation to ${\Gamma }^{*}$. To construct $D_{{\overline{b}}_0}$ we first overlay on ${[0,1]}^2$ a net of $11\times 11$ points, $Q_0$. These are the green points displayed in Figure 14.

Figure 13. The singularity curve ${\Gamma }^{*}$ (blue) and points of maximal first differences of $f_{50}$.

Figure 14. The singularity curve ${\Gamma }^{*}$ (blue) and points of maximal first differences of $f_{50}$.

To each point in $Q_0$ we assign the value of its distance from the set $P_0$, with a plus sign for points which are on the right or above $P_0$, and a minus sign for the other points. To each point in $P_0$ we assign the value zero. The spline function $D_{{\overline{b}}_0}$ is now defined by the least-squares approximation to the values at all the points $P_0\cup Q_0$. We have used here tensor product splines of order 10, on a uniform mesh with knots’ distance $=0.1$. We denote the level curve zero of the resulting $D_{{\overline{b}}_0}$ as ${\Gamma }_0$, and this curve is depicted in yellow in Figure 14. It seems that ${\Gamma }_0$ is already a good approximation to ${\Gamma }^{*}$ (in blue), and thus it is a good starting point for achieving the minimization target (21).

Improving the approximation to ${\Gamma }^{*}$, and building the two approximants

Starting from $D_{{\overline{b}}_0}$ we use a quasi-Newton method for iterative improvement of the approximation to ${\Gamma }^{*}$. The expensive ingredient in the computation procedure is the need to recompute the Fourier coefficients of the B-splines for any new set of coefficients $\overline{b}$ of $D_{\overline{b}}$. We recall that we need ${(2M+1)}^2$ of these coefficients for each B-spline, and we have $2N_d^2$B-splines. In the numerical example we have used $M=40$ and $N_d=19$. To illustrate the issue we present in Figure 15 one of those B-spline whose support intersects the singularity curve. When the singularity curve is updated, the Fourier coefficients of this B-spline are recalculated.

Remark 5.

Calculating Fourier coefficients of the B-splinesCalculating the Fourier coefficients of the B-splines is the most costly step in the approximation procedure. For the univariate case the Fourier coefficients of the B-splines can be computed analytically. For a smooth d-variate function $f:{[0,1]}^d\to \mathbb{R}$, with no singularity within the unit cube ${[0,1]}^d$, piecewise Gauss quadrature may be used to compute the Fourier coefficients with high precision. The non-smooth multivariate case is more difficult, and more expensive. However, we noticed that using low precision approximations for the Fourier coefficients of the B-splines is fine. For example, in the above example, we have employed a simple numerical quadrature combined with fast Fourier transform, and we obtained the Fourier coefficients with a relative error ∼${10}^{-5}$. Yet the resulting approximation error is small ${\parallel f-S\parallel }_{\infty }<5\times {10}^{-6}$, as seen in Figure 18.

Figure 15. One of the tensor product B-splines used for the approximation of f, chopped off by the singularity curve.

Using one quasi-Newton step we obtained new spline coefficients ${\overline{b}}_1$ and an improved approximation ${\Gamma }_1$ to ${\Gamma }^{*}$ as the zero level set of $D_{{\overline{b}}_1}$. Stopping the procedure at this point yields approximation results as shown in the figures below. Figure 16 shows the approximation error $f-S$ on ${[0,1]}^2\backslash U$, where U is a small neighborhood of ${\Gamma }^{*}$. Figure 17 shows, in green, ${log}_{10}$ of the magnitude of the giver Fourier coefficients ${\widehat{f}}_{mn}$ and, in blue, ${log}_{10}$ of the Fourier coefficients of the difference $f-S$. We observe a reduction of three orders of magnitude between the two.

Figure 16. The approximation error with $D_{{\overline{b}}_1}$.

Figure 17. The magnitude reduction of the Fourier coefficients with $D_{{\overline{b}}_1}$.

Applying four quasi-Newton iterations took ∼24 min execution time. The approximation of ${\Gamma }^{*}$ by the zero level set of $D_{{\overline{b}}_4}$ is now with an error of ${10}^{-9}$. The consequent approximation error to f is reduced as shown in Figure 18, and the Fourier coefficients of the error are reduced by 5 orders of magnitude, as shown in Figure 19.

Figure 18. The approximation error with $D_{{\overline{b}}_4}$.

Figure 19. The magnitude reduction of the Fourier coefficients with $D_{{\overline{b}}_4}$.

3.2.2. The 2D Approximation Procedure

Let us sum up the suggested approximation procedure:

(1)

Choose the approximation space ${\Pi }_1$ for approximating $f_1$ and $f_2$ and the approximation space ${\Pi }_2$ for approximating ${\Gamma }^{*}$.

(2)

Define the number of Fourier coefficients to be used for building the approximation such that

$${(2M+1)}^2\ge 2dim({\Pi }_1)+dim({\Pi }_2).$$

(26)

(3)

Find first approximation to ${\Gamma }^{*}$:

(a)

Compute a partial Fourier sum and locate maximal first order differences along horizontal and vertical lines to find points $P_0$ near ${\Gamma }^{*}$, with assigned values 0.

(b)

Overlay a net of points $Q_0$ as in Figure 14, with assigned signed-distance values.

(c)

Compute the least-squares approximation from ${\Pi }_2$ to the values at $P_0\cup Q_0$, denote it $D_{{\overline{b}}_0}$.

(4)

Calculate the first ${(2M+1)}^2$ Fourier coefficients of the basis functions of ${\Pi }_1$, truncated with respect to the zero level curve of $D_{{\overline{b}}_0}$.

(5)

Use the above Fourier coefficients to compute the approximation to $f_1$ and $f_2$ by solving the system of linear equation defined by (22), (23).

(6)

Update $D_b$ to improve the approximation to ${\Gamma }^{*}$, by performing quasi-Newton iterations to reduce the objective function in (21).

(7)

Go back to (4) to update the approximation.

3.2.3. Lower Order Singularities

Let us assume that $f(x,y)$ is a continuous function, and that $f_x(x,y)$ is discontinuous across the singularity curve ${\Gamma }^{*}$. In this case we cannot use the Gibbs phenomenon effect to approximate the singularity curve. However, the Fourier coefficients

$${\widehat{g}}_{mn}=im{\widehat{f}}_{mn},$$

represent a function g that has discontinuity across ${\Gamma }^{*}$, and the above procedure for approximating ${\Gamma }^{*}$ can be applied.

3.3. Error Analysis

We consider the non-smooth bivariate case, where f is a combination of two smooth parts, $f_1$ on ${\Omega }_1$ and $f_2$ on ${\Omega }_2$, separated by a smooth curve ${\Gamma }^{*}$. Throughout the paper we approximate f using spline functions. In this section we consider approximations by general approximation spaces. Let ${\Pi }_1$ be the approximation space for approximating the smooth pieces constituting f, and let ${\Pi }_2$ be the approximation space used for approximating the singularity curve. The following assumption characterize and quantify the assumptions about the function f and its singularity curve ${\Gamma }^{*}$ in terms the ability to approximate them using the approximation spaces ${\Pi }_1,{\Pi }_2$.

Assumption 1.

We assume that ${\Pi }_1$ and ${\Pi }_2$ are finite dimensional spaces of dimensions $N_1$ and $N_2$ respectively.

Assumption 2.

We assume that $f_1$ and $f_2$ are smoothly extendable to ${[0,1]}^2$ and $dis{t}_{{[0,1]}^2}(f_1,{\Pi }_1)\le ϵ,dis{t}_{{[0,1]}^2}(f_2,{\Pi }_1)\le ϵ.$

Assumption 3.

For $p\in {\Pi }_2$, let us denote by ${\Gamma }_0(p)$ the zero level curve of p within ${[0,1]}^2$. we assume there exists $p\in {\Pi }_2$ such that

$$d_H({\Gamma }^{*},{\Gamma }_0(p))\le \delta ,$$

where $d_H$ denotes the Hausdorff distance.

We look for an approximation S to f which is a combination of two components, $p_1\in {\Pi }_1$ in ${\tilde{\Omega }}_1$ and $p_2\in {\Pi }_1$ in ${\tilde{\Omega }}_2$, separated by ${\Gamma }_0(p)$, $p\in {\Pi }_2$, such that ${(2M+1)}^2$ Fourier coefficients of f and S are matched in the least-squares sense:

$$F(p_1,p_2,p)=\sum _{m,n=-M}^M{|{\widehat{f}}_{mn}-{\widehat{S}}_{mn}|}^2\to minimum.$$

(27)

Assumption 4.

Consider the above function S constructed by a triple $(p_1,p_2,{\Gamma }_0(p))$, $p_1,p_2\in {\Pi }_1$, $p\in {\Pi }_2$. We assume that there is a Lipschitz continuous inverse mapping from the ${(2M+1)}^2$ Fourier coefficients of S to the triple $(p_1,p_2,{\Gamma }_0(p))$:

$${\left\{{\widehat{S}}_{mn}\right\}}_{m,n=-M}^M\to (p_1,p_2,{\Gamma }_0(p)).$$

(28)

Remark 6.

To enable the above property we choose M so that

$${(2M+1)}^2>2N_1+N_2.$$

(29)

The topology in the space of triples $(p_1,p_2,{\Gamma }_0(p))$ is in terms of the maximum norm for the first two components and the Hausdorff distance for the third component.

Proposition 1.

Let $f_1$, $f_2$, ${\Gamma }^{*}$, ${\Pi }_1$ and ${\Pi }_2$ satisfy Assumptions 1, 2, 3 and 4. Then the triple $(p_1^{*},p_2^{*},p^{*})$ minimizing (27) provides the following approximation bounds:

$$\parallel f_1-p_1^{*}{\parallel }_{\infty ,{\Omega }_1^{*}}\le C_{1}Mϵ+C_{2}M\delta ,$$

(30)

$$\parallel f_2-p_2^{*}{\parallel }_{\infty ,{\Omega }_2^{*}}\le C_{1}Mϵ+C_{2}M\delta ,$$

(31)

and

$$d_H({\Gamma }^{*},{\Gamma }_0(p^{*}))\le C_{3}Mϵ+C_{4}M\delta ,$$

(32)

where ${\Omega }_1^{*}$ and ${\Omega }_2^{*}$ are separated by ${\Gamma }_0(p^{*})$.

Proof. 

By Assumptions 2, 3 it follows that there exists an approximation S defined as above by a triple $({\overline{p}}_1,{\overline{p}}_2,\overline{p})$, such that

$$\parallel f_1-{\overline{p}}_1{\parallel }_{\infty ,{[0,1]}^2}\le ϵ,$$

(33)

$$\parallel f_2-{\overline{p}}_2{\parallel }_{\infty ,{[0,1]}^2}\le ϵ,$$

(34)

and

$$d_H({\Gamma }^{*},{\Gamma }_0(\overline{p}))\le \delta .$$

(35)

Building an approximation $\overline{S}$ to f as above by a triple $({\overline{p}}_1,{\overline{p}}_2,\overline{p})$, we can estimate its Fourier coefficients using the above bounds, and it follows that

$$|{\widehat{f}}_{mn}-{\widehat{\overline{S}}}_{mn}|\le ϵ+L\delta ,-M\le m,n\le M.$$

(36)

Therefore,

$$min\left\{F(p_1,p_2,p)\right\}\le {(2M+1)}^2{(ϵ+L\delta )}^2.$$

(37)

Let

$$\left[p_1^{*},p_2^{*},p^{*}\right]=arg\; min\left\{\sum _{m,n=-M}^M{|{\widehat{f}}_{mn}-{\widehat{S}}_{mn}|}^2\right\}.$$

(38)

The approximation $S^{*}$ to f is the combination of the two components, $p_1^{*}$ in ${\Omega }_1^{*}$ and $p_2^{*}$ in ${\Omega }_2^{*}$, where ${\Omega }_1^{*}$ and ${\Omega }_2^{*}$ are separated by ${\Gamma }_0(p^{*})$.

Using the bound in (37) it follows that

$$|{\widehat{f}}_{mn}-{\widehat{S}}_{mn}^{*}|\le (2M+1)(ϵ+L\delta ),-M\le m,n\le M.$$

(39)

In view of (36) and (39) if follows that

$$|{\widehat{\overline{S}}}_{mn}-{\widehat{S}}_{mn}^{*}|\le (2M+2)(ϵ+L\delta ),-M\le m,n\le M.$$

(40)

Using Assumption 4, the bound (40) implies

$$\parallel p_1^{*}-{\overline{p}}_1{\parallel }_{\infty ,{\Omega }_1^{*}}\le C(2M+2)(ϵ+L\delta ),$$

(41)

$$\parallel p_2^{*}-{\overline{p}}_2{\parallel }_{\infty ,{\Omega }_2^{*}}\le C(2M+2)(ϵ+L\delta ),$$

(42)

and

$$d_H({\Gamma }_0(p^{*}),{\Gamma }_0(\overline{p}))\le C(2M+2)(ϵ+L\delta ).$$

(43)

The approximation result now follows by considering the inequalities (41)–(43), together with the inequalities (33)–(35), and applying the triangle inequality. □

Validity of the Approximation Assumptions

Let us check the validity of Assumptions 1, 2, 3 and 4 for the approximation tools suggested in Section 3.2 and used in the above numerical tests.

We assume that $f_1,f_2\in C^m{[0,1]}^2$, and that ${\Gamma }^{*}$ is a $C^m$ curve. To construct the approximation to $f_1$ and $f_2$ we use the space ${\Pi }_1$ of kth degree tensor-product splines with equidistant knots’ distance d in each direction, $k\le m$. The approximation to ${\Gamma }^{*}$ is obtained using the approximation space ${\Pi }_2$ of ℓth degree tensor product splines with equidistant knots’ distance h in each direction, $\ell \le m$. $dim({\Pi }_1)={(1/d+k-1)}^2\equiv N_d^2$, $dim({\Pi }_2)={(1/h+\ell -1)}^2\equiv N_h^2$, and for both spaces we use the B-spline basis functions. Assumptions 2 and 3 are fulfilled with $ϵ=C_1{d}^k$ and $\delta =C_2{h}^{\ell }$.

Assumption 4 is more challenging. To define the mapping

$${\left\{{\widehat{S}}_{mn}\right\}}_{m,n=-M}^M\to (p_1,p_2,{\Gamma }_0(p)),$$

(44)

we use the same procedure Section 3.2.2 for defining the approximation to f:

We represent p and $p_1,p_2$ using the B-spline basis function as in (18), (19) and (20), respectively. Each triple $(p_1,p_2,p)$ defines a piecewise spline approximation $T(x,y)$, and we look for the approximation T(x,y) such that ${(2M+1)}^2$ Fourier coefficients of T match the Fourier coefficients ${\left\{{\widehat{S}}_{mn}\right\}}_{m,n=-M}^M$ in the least-squares sense:

$$\left[{\left\{a_{1ij}\right\}}_{i,j=1}^{N_d},{\left\{a_{2ij}\right\}}_{i,j=1}^{N_d},{\left\{b_{ij}\right\}}_{i,j=1}^{N_h}\right]=arg\; min\left(\sum _{m,n=-M}^M{|{\widehat{S}}_{mn}-{\widehat{T}}_{mn}|}^2\right).$$

(45)

Out of all the possible solutions of the above problem we look for the one with minimal coefficients’ norm, i.e., minimizing

$$\sum _{i,j=1}^{N_d}{a}_{1ij}^2+\sum _{i,j=1}^{N_d}{a}_{2ij}^2.$$

(46)

Following the procedure of Section 3.2.2, we observe that every step in the procedure is smooth with respect to its input. Possible non-uniqueness in solving the linear system of equations on step (5) is resolved by using the generalized inverse. Therefore, the composition of all the steps is also a smooth function of the input, which implies the validity of Assumption 4.

4. The 3D Case

Numerical Example—The Smooth 3D Case

We consider the test function

$$f(x,y,z)=(x^2+y^2+z^2-0.5)sin(4(x+y-z)),$$

assuming only its Fourier coefficients are given. We have used only ${10}^3$ Fourier coefficients and constructed an approximation using 5th-degree tensor product splines with equidistant knots’ distance $d=0.1$ in each direction. For this case, the matrix A is of size ${15}^3\times {15}^3$, and $cond(A)=1.2\times {10}^{22}$. Again, we have employed the iterative refinement algorithm to obtain a high precision solution. The test function is shown in Figure 20. The error in the resulting approximation is displayed in Figure 21.

Figure 20. The 3D test function reshaped into 2D.

Figure 21. The approximation error graph, reshaped into 2D.

5. Concluding Remarks

The basic crucial assumption behind the presented Fourier acceleration strategy is that the underlying function is piecewise ‘nice’. That is, piecewisely, the function can be well approximated by a suitable finite set of basis functions. The Fourier series of the function may be given to us as a result of the computational method dictated by the structure of the mathematical problem at hand. In itself, the Fourier series may not be the best tool for approximating the desired solution, and yet it contains all the information about the requested function. Utilizing this information we can derive high accuracy piecewise approximations to that function. The simple idea is to make the approximation match the coefficients of the given Fourier series. The suggested method is simple to implement for the approximation of smooth non-periodic functions in any dimension. The case of non-smooth functions is more challenging, and a special strategy is suggested and demonstrated for the univariate and bivariate cases. The paper contains a descriptive graphical presentation of the approximation procedure, together with a fundamental error analysis.