High order regularization of Dirac-delta sources in two space dimensions.

Transcription

1 INTERNSHIP REPORT High order regularization of Dirac-delta sources in two space dimensions. Author: Wouter DE VRIES s Supervisors: Prof. Guustaaf JACOBS Jean-Piero SUAREZ HOST INSTITUTION: San Diego State University, San Diego (CA), USA Department of Aerospace Engineering and Engineering Mechanics Computational Fluid Dynamics laboratory Prof. G.B. JACOBS HOME INSTITUTION University of Twente, Enschede, Netherlands Faculty of Engineering Technology Group of Engineering Fluid Dynamics Prof. H.W.M. HOEIJMAKERS March 4, 2015

2

3 Abstract In this report the regularization of singular sources appearing in hyperbolic conservation laws is studied. Dirac-delta sources represent small particles which appear as source-terms in for example Particle-laden flow. The Dirac-delta sources are regularized with a high order accurate polynomial based regularization technique. Instead of regularizing a single isolated particle, the aim is to employ the regularization technique for a cloud of particles distributed on a nonuniform grid. By assuming that the resulting force exerted by a cloud of particles can be represented by a continuous function, the influence of the source term can be approximated by the convolution of the continuous function and the regularized Dirac-delta function. It is shown that in one dimension the distribution of the singular sources, represented by the convolution of the continuous function and Dirac-delta function, can be approximated with high accuracy using the regularization technique. The method is extended to two dimensions and high order approximations of the source-term are obtained as well. The resulting approximation of the singular sources are interpolated using a polynomial interpolation in order to regain a continuous distribution representing the force exerted by the cloud of particles. Finally the high-order approximation of the singular sources are used to solve the two-dimensional singular advection equation. A Chebyshev spectral collocation method and a third order Total Variation Diminishing Runge-Kutta method are employed to approximate the spatial and temporal derivative. For a single isolated moving source and a stationary cloud of particles high-order accuracy is obtained outside the regularized zones. Inside the regularization zones the results are less satisfying and deserve more attention. The validation of these results and additional experiments to study the accuracy of the results, remain as future work. Keywords: Hyperbolic conservation laws, two-dimensional advection equation, regularization, Dirac-delta, singular sources, Chebyshev spectral collocation. 1

4

5 Contents 1 Introduction Background Objective Regularization, discretization and interpolation methods Properties of Dirac-delta and Heaviside function Regularization of the Dirac-delta function Quadrature methods Polynomial Interpolation A Chebyshev spectral collocation method Time Integration Accuracy Regularization of singular sources in 1D One-dimensional advection equation with singular sources Approximation of the singular sources in one dimension Conclusion on the one-dimensional results Regularization of singular sources in 2D Two-dimensional advection equation with singular sources Approximation of the singular sources in two dimensions Interpolation of the singular sources Conclusions on the two-dimensional results Numerical results for the two-dimensional singular advection equation The two-dimensional advection equation with one single isolated moving particle The 2D advection equation with a cloud of moving particles Conclusions Conclusions and future work 41 A Convergence order of quadrature rules 43 B Accuracy of the Chebyshev spectral collocation method 46 2

6

7 List of Figures 2.1 Two examples of a regularized Dirac-dela function The tensor-product of the regularized Dirac-delta functions Numerical approximation (top) and pointwise error (bottom) for case Numerical approximation (top) and pointwise error (bottom) for case Numerical approximation (top) and pointwise error (bottom) for case Numerical approximation (top) and pointwise error (bottom) for case Square grid with uniform nodes (left) and square grid with CGL-nodes (right) Numerical approximation (left) and pointwise error on the square domain (right) for case Numerical approximation (left) and pointwise error on the interior domain (right) for case Numerical approximation (left) and pointwise error on the square domain (right) for case Numerical approximation (left) and pointwise error on the interior domain (right) for case Numerical approximation (left) and pointwise error on the square domain (right) for case Numerical approximation (left) and pointwise error on the interior domain (right) for case Numerical approximation (left) and pointwise error on the square domain (right) for case Numerical approximation (left) and pointwise error on the interior domain (right) for case Cross sections of the numerical approximation for case One-dimensional polynomial interpolation of the cross sections One-dimensional polynomial interpolation of the diagonal Numerical approximation (left) and full 2D polynomial interpolation (right) for case Numerical approximation (top-left), regularized analytical solution (top-right), pointwise error (bottomleft), heatmap of the error (bottom-right) for case Numerical solution course grid (top left), numerical solution on fine grid (top right), pointwise error (bottom left), heatmap of the error (bottom right) for case B.1 Two-dimensional homogeneous advection equation B.2 Two-dimensional weigthed L 2 -norm as function of N

8

9 List of Tables 3.1 parameters for cases Parameters for cases L 2 -norm on the interior domain for cases parameters for case L 2 -norms for case parameters for case L 2 -norms for case A.1 Order of convergence for the one-dimensional Simpson s rule A.2 Order of convergence for the two-dimensional Simpson s rule A.3 Order of convergence for the two-dimensional Newton-Cotes 7-point rule

10

11 Chapter 1 Introduction In this report the regularization of singular sources in hyperbolic conservation laws in two spatial dimensions is considered. A high order regularization technique based on compactly-supported piecewise polynomials (presented in [1]) is used to regularize singular Dirac-delta sources. The present study is in continuation of the research discussed in [1], where the regularization of a single isolated particle is discussed. Instead of a single isolated particle, the aim is to regularize a dense, non-uniformly distributed cloud of particles for the simulation of particle-laden flow. The main objective is to improve the accuracy of a high-order and high-resolution particle-source-in-cell method in the simulation of particle-laden flows with shocks [3]. The aim of this chapter is to give an introduction to the problem at hand and discuss the need of a regularization method in order to approximate singular sources in particle-laden flow. Before diving into detail, a brief overview of the background of the research and a motivation for the present research is discussed. 1.1 Background In Engineering problems involving high-speed (compressible) gas flows, such as the flow over a supersonic aircraft and flows encountered in combustion problems, the flow is desribed by the non-linear hyperbolic conservation law: t Q( x, t) + F ( Q) = S( Q, x, t) (1.1) Where Q are the conserved quantities and F is the flux function and S respresents the source terms. The hyperbolic nature of these equations allow for discontinuous solutions in the form of shock waves. Since hyperbolic conservation laws govern so many evolution problems in various type of scientific fields, the numerical evaluation of these problems has gained a lot of attention past few decades. The focus has been on the accurate capturing of shock waves. Several methods have been developed in order to capture non-linear shock solutions in numerical approximations accurately [16]. The non-homogenous case with (singular) sources-terms however, have been much less investigated. Particle-laden flow The source terms in equation 1.1 play an important role in engineering problems involving high-speed gas flow interacting with liquid or solid particles such as combustion. The flow model describing such a flow is Particle-laden flow. Particle-laden flow is a class of two-phase fluid flow where one of the phases represents the carier gas and the other phase typically represents one or more dilute particles. The carier gas flow is governed by Navier-Stokes equations, which reduce to the Euler equations in case viscosity and heat conduction are neglected (neglecting viscosity and heat-conduction is generally a reasonable assumption in compressible gas dynamics problems). The two-dimensional Euler equations (in Cartesian coordinates) are given by: ( ) Q(x, ( ) y, t) + F ( ( ) Q) + G( Q) = S( Q, x, y, t) (1.2) t x y 5

12 where: Q = [ρ, ρu, ρv, ρe] F ( Q) = [ρu, ρu 2 + P, ρuv, (E + P )u] G( Q) = [ρv, ρuv, ρv 2 + P, (E + P )u] S = [0, ρf x, ρf y, ρf u + Q v ] And: P = (γ 1) ( E 1 2 ρu2) (1.3) Clearly equation 1.2 is a hyperbolic conservation law of the same form as equation 1.1. The particle phase is usually desribed in the Lagrangian frame where the solid particles move through space. The equations governing the particle dynamics follow from Newton s second law and are described by the following system of ordinary differential equations (ODE s): d x p = v p dt d v p dt = u( x (1.4) p, t) v p τ p Here the variables with subscript p denote the the variables related to the particles. The presence of the particles affect the momentum and energy contained by the carier gas. The coupling between the two frame-works can either be one-way; the carier phase affect the dynamics of the particle phase only, or two way; the particle phase affects the dynamics of the carier phase as well. Usually a one-way coupling is sufficient in case particles with low weight are considered. In that case the effect of the particles on the carier gas is neglegible. If particles with significant weight are considered one rather uses a two-way coupling. singular sources In [3] a Particle-Source-In-Cell method for the simulation of 40 k bronze particles in a shocked flow is presented for the small scale interaction between shocks and solid particles for high-speed engineering applications. Here Particleladen flow is considered using a two-way coupling. As each particle generates momentum and energy that affects the carier phase, the influence of each particle is distributed on the carier phase using some weighing function. To model the influence of the carier phase on the particle phase, the carier phase variables are interpolated to the particle position by means of polynomial interpolation. Modelling of the flow around each single particle introduces difficulties and becomes impractical for a large number of particles due to a lack of computational resources. Therefore the particles are rather modelled as point source with a singular distribution. Although the representation of a particle as a point source is not entirely accurate, it simplifies the method since each particle can be considered as a singular source so that the necessity of modelling the flow around the particle vanishes. Instead, in order to model the influence from the particles on the carier phase, the singular distribution travels over the grid and is interpolated on surrounding grid points. One issue that arises by introducing particles as singular sources, is the nummerical treatment of these singularities. In [1] a regularization technique is presented for the modelling of the particles as singular sources. Instead of an entire cloud of particles, only one single particle is considered. The singular source is represented by the Dirac-delta distribution: δ(x + γ(t)) (1.5) Where γ(t) is some time-dependent function. In section 2 in [1] the regularization technique is presented for the Dirac-delta distribution. In section 3, the effectiveness of the regularization technique is illustrated by three examples for a single, isolated particle. The advection equation, Burger s equation and the one-dimensional Euler equations are solved with the regularization of a single isolated particle as source term. In the continuation of this research the regularization technique is employed in order to model a non-uniformly distributed (dense) cloud of particles rather 6

13 than just one single isolated particle. Let s first consider the one-dimensional case. The source-term S m should be thought of as a force exerted by a (dense) cloud of particles on the fluid. It is assumed that the contribution of all the individual particles is desribed by the continuous function f(x). The function f(x) typically involves the particle-variables. Hence the source can be represented as: S m = f(x)dx (1.6) This integral can be expressed as a Riemann sum in order to discretize the expression: N p S m f(x i ) x i (1.7) i=1 Now, if the resulting force exerted by the cloud of particles is thought of as a summation of the contribution of each single particle in the cloud, and the contribution of each single particle is given by the Dirac-delta function, the sourceterm can be approximated as: N p S m = F (x p (i)) δ(x x p (i)) x i (1.8) i=1 Here x(p(i) denotes the particle position and F (x p (i)) the antiderivative of f(x p (i)). By inspecting above formulation it seems that the source-term can be expressed as the convolution of F (x) and δ(x): F (x) δ(x) = b a N p F (u) δ(x u)du F (x p (i)) δ(x x p (i)) x i (1.9) In two space dimensions the derivation is analogous to the one in one dimension and results in the following expressions for the source term: N p M p i=1 S m F (x p (i), y p (j)) δ(x x p (i), y y p (j)) x i y j (1.10) i=1 j=1 Where the convolution of F (x, y) and δ(x, y) can be approximated as: F (x, y) δ(x, y) = d b c a F (u, v) δ(x u, y v)dudv N p M p (1.11) F (x p (i), y p (j)) δ(x x p (i), y y p (j)) x i y i i=1 j=1 This means that if a cloud of particles is modelled as a summation of the singular distribution of each single particle, the source-term can be approximated by the convolution of a continuous function F with a (regularized) Dirac-delta distribution. 1.2 Objective In this present study we are looking to model a non-uniformly (dense) distributed cloud of particles as a summation of singular distributions in two space dimensions employing the high-order regularization technique presented in [1]. Since the cloud of particles are to be interpolated to the stationary grid in order to couple the carier and particles phase in particle-laden flow, the interpolation of the particles to other grids is of great interest as well. It is assumed that the cloud of particles is spaced densely such that the source-term can be approximated as a continuous distribution 7

14 of singular distributions rather than single isolated distributions. This approximation holds for the general case that particles are distributed non-uniformly. Finally we are interested in how the approximation of the source-term behaves in a model equation such as the 2D advection equation and in the end in a more realistic flow model as the 2D Euler equations. The overall objective of the study is to improve the accuracy of the particle-in-source-method used to simulate particle-laden flow with shocks [3]. In this research we will restrict ourselves to the approximation of the source-term and the numerical approximation of the 2D advection equation with the regularized source-term: u t + u x + u y = S m (1.12) In chapter 2 an overview is given of the tools needed to approximate the source-term and the singular advection equation. In chapters 3 and 4 the source-term is approximated in 1D and 2D respectively. In chapter 5 the 2D singular advection equation is approximated with the techniques presented. 8

15 Chapter 2 Regularization, discretization and interpolation methods In this section the regularization technique presented in [1] is discussed briefly. The theory presented in one dimension is extended to two dimensions. Two examples are given to illustrate the method. In addition some key properties of the Dirac-delta distribution and Heaviside function are given. For the numerical evaluation of the integrals in equations 1.9 and 1.11 two quadrature methods are presented and extended to two dimensions. In order to interpolate the resulting data in one and two dimensions, a polynomial interpolation method is discussed briefly. For the discretization of the singular advection equation a spectral method is introduced to discretize the spatial derivatives. A 3rd order Runge-Kutta time integration scheme is introduced for the time integration. At last a few tools to study accuracy and convergence are discussed. 2.1 Properties of Dirac-delta and Heaviside function The Dirac delta function (formally a distribution) is a so called generalized function and is used in many physical applications to model, for example, a force concentrated in ξ or an impulsive force that acts instantaneously. In the idealized concept of a particle exerting a force on a fluid, the force can be regarded as such an concentrated force in a certain point and can therefore be described by the Dirac delta function. Three key properties of the Dirac delta function are [2]: δ(x ξ) = 0, x ξ (2.1) { b 0 a, b < ξ or ξ < a, b δ(x ξ)dξ = (2.2) 1 a ξ b and the convolution property: or: a a+ɛ a ɛ f(ξ)δ(x ξ)dξ = f(x) (2.3) f(ξ)δ(x ξ)dξ = f(x) (2.4) where f(x) is a (sufficiently) smooth function. Another well known generalized function is the Heaviside function, which is defined as: 0, x < ξ 1 H(x ξ) = 2, x = ξ (2.5) 1, x > ξ 9

16 The Dirac Delta function can be viewed as the derivative of the heaviside function: d [H(x ξ)] = δ(x ξ) (2.6) dx These properties of the Dirac delta and Heaviside function will be employed in the remainder of the report. 2.2 Regularization of the Dirac-delta function In order to overcome the difficulties with evaluating the Dirac-delta function numerically the function is usually regularized. Section 2 in [1] provides a theoretical criterion for obtaining a high-order accurate approximation to the Dirac-Delta function. For the present study the most important result of the criterion is that the Dirac-delta function can be expressed as: δ m,k ɛ (x) = { 1 ɛ P m,k( ) x ɛ, x ɛ, 0, x > ɛ Where P m,k is a mixed polynomial of degree 2( m 2 + k + 1). The polynomial is mixed in the sense that it is a product of two single polynomials controlling the number of continous derivatives k and number of vanishing moments m independently. ɛ is the optimal scaling parameter, which determines the width of the support of the polynomial, and is a function of m and k, the number of quadrature points N and the quadrature method. The delta function is (m + 1) th order accurate with compact support [ ɛ, ɛ]. According to Theorem 2.4 in [1], given the integers m 0 and k 1, there exist a polynomial P m,k : [ 1, 1] R which is uniquely determined by the following conditions: (2.7) (i) 1 1 P m,k (ξ)dξ = 1 (ii) (iii) (P m,k ) (j) (±1) = 0 for j = 0,..., k 1 1 ξ j P m,k (ξ)dξ = 0 for j = 1,..., m This polynomial from equation 2.7 is controlled by the parameters m, k and ɛ and will be used to regularize the Dirac-delta function. This approximation to the Dirac-delta function, ensures that the error made in regularizing the Dirac-delta function is of the same order as the error made in the quadrature method. Dirac Delta regularization in 1D To illustrate the regularization of the Dirac-delta function equation 2.7 is plotted in figure

17 Figure 2.1: Two examples of a regularized Dirac-dela function In these plots the number of grid point used is N = Two cases are distinguished, m = 1, k = 5 and m = 3, k = 8. The optimal scaling parameter is ɛ = The cases with these parameters will be studied more extensively in chapter 3. In the left-side plot it looks like function is indeed singular. In the right-side plot we can see however, that the function is actually a smooth polynomial. Dirac Delta regularization in 2D For the extension to the two-dimensional case it follows from the tensor product of the 1D regularization that: δ m,k ɛ (x, y) = δɛ m,k (x) δɛ m,k (y) (2.8) Here the theoretical criterion outlined in the beginning of this section is employed to regularize Dirac-delta functions. In figure 2.2 two surface plots of the tensor δɛ m,k on a cartesian grid with [M N] = [ ] grid points are displayed. The plot on the left show the results for m = 1, k = 5 and ɛ = 0.25 and the plot on the right-side show the results for m = 3, k = 8 and ɛ = Figure 2.2 provides a visual interpertation to illustrate how the Dirac-delta function is approximated and provide an visual interpretation. 11

18 Figure 2.2: The tensor-product of the regularized Dirac-delta functions 2.3 Quadrature methods In order to approximate the singular sources the convolution of an arbitray function with the regularized Dirac-delta function is investigated. For an arbitray continuous function f(x) the convolution with the regularized Dirac-delta yields: f(x) δɛ m,k (x) = f(u)δɛ m,k (x u)du (2.9) And in two dimensions: f(x, y) δɛ m,k (x, y) = f(u, v)δɛ m,k (x u, y v)dudv (2.10) A number of cases are given in chapter 3 and 4 for the approximation of the convolution of an arbitrary continuous function with the 1D and 2D Dirac-delta function respectively. In order to obtain a high order approximation to an integral, one could use one of the Newton-Cotes formulas [6]. In order to integrate a function f(x) on the interval [a, b] for example, the domain in divided in n equal sub-intervals such that f n = f(x n ) and h a b n. The function f n is than approximated by Lagrange interpolating polynomials (section 2.4) which are equal to the function in the defined points. The Extension to two dimensions (multivariate) is straightforward but tedious. In the multivariate case The function f(x, y) is now to be integrated on the cartesian grid [a, b] [c, d], where the domain is divided in n, m equal sub-intervals such that f n,m = f(x n, y m ) and h a b n and k c d m. f n,m is the function approximated by (multivariate) Lagrangian polynomials (section 2.4), which equals the original function in the defined points. The Quadrature methods used in the remainder of the report are described briefly, without detailed deriviation, in the remainder of this section. The convergence rate of the quadrature methods presented here are discussed in appendix A. 12

19 Simpson s rule in 1D Simpson s quadrature rule approximates an integral by replacing the integral by quadratic polynomials using the two end-points and a mid-point. The quadratic polynomials equal the original function at the end- and midpoints and can be expressed as follows: b f(x)dx = h ] [f 1 + 4f 2 + f 3 + (h) 5 f 4 (ξ) (2.11) 6 a The subscript of f denotes the point where the function is evaluated (left-, right- or midpoint). Simpson s quadrature reaches fourth order accuracy as is shown by the last term in the equation which represents the error. Simpson s rule in 2D In two dimensions Simpson s rule approximates a double integral uses a 3 3 point stencil and can be expressed as follows: d b c a f(x, y)dxdy = hk ] [f 1,1 + 4f 1,2 + f 1,3 + 4f 2,1 + 16f 2,2 + 4f 2,3 + f 3,1 + 4f 3,2 + f 3, ( h 5 + k 5) f 4 (ξ) 90 (2.12) The double index of f denotes the point where the function is evaluated on sub-interval. For the particular case that the interval [a, b] is equal to the interval [c, d], it can be proven that the approximation is, just as the one-dimensional case, fifth order accurate. Newton Cotes 7-point rule in 1D The Newton Cotes 7-point rule approximates an integral by using higher order polynomials using 7-points so that the integral can be approximated as: b a f(x)dx = h ] [41f f f f f f f h9 f 8 (ξ) The last term one the right hand-side shows that the Newton Cotes 7-point rule is eighth order accurate. (2.13) 13

20 Newton Cotes 7-point rule in 2D The extension of the Newton Cotes 7-point quadrature rule to two dimensions, using 7 7 points, is tedious but can be expressed as follows: d b c a f(x, y)dxdy = hk [ 1681f 1, f 1, f 1, f 1, f 1, f 1, f 1, f 2, f 2, f 2, f 2, f 2, f 2, f 2, f 3, f 3, f 3, f 3, f 3, f 3, f 3, f 4, f 4, f 4, f 4, f 4, f 4, f 4,7 1681f 5, f 5, f 5, f 5, f 5, f 5, f 5, f 6, f 6, f 6, f 6, f 6, f 6, f 6,7 1681f 7, f 7, f 7, f 7, f 7, f 7, f 7,7 ] + 9 ( h 9 + k 9) f 8 (ξ) 1400 Again, for the particular case that the interval [a, b] is equal to the interval [c, d], it can be proven that this approximation is, just as the one-dimensional case, eighth order accurate. 2.4 Polynomial Interpolation When approximating the singular sources with the convolution, as is done in section 2.3, it is assumed that the distribution of the Force exerted by the particles is known. Usually that is not the case and only the summation of the contribution of all single particles can be determined. Using polynomial interpolation to interpolate between the particle points, a distribution of the force exerted by the particles can be obtained however. In this section the concept of polynomial interpolation is discussed briefly. The method presented here will be employed in chapter 4 in order to interpolate the contribution of the particles to the spatial grid. 1D polynomial interpolation Given a set of data points (x i, y i ) where both x i and y i are real, distinct numbers, [7] presents a theory that there must exist a polynomial p n of degree at most n such that: p n (x i ) = y i (0 i n)) (2.14) Which is the interpolating polynomial of the data set (x i, y i ). This interpolating polynomial expressed in Newton form is: k i 1 p k (x) = c i (x x j ) (2.15) Where the constants c i can be determined from the data set as follows: c k = i=0 j=0 y k p k 1 (x k ) (x k x 0 )(x k x 1 ) (x k x k 1 ) Another way of describing the interpolating polynomial is the Lagrange form: (2.16) j=0 p N (x) = f j l j (x) (2.17) N 14

21 Where l j (x) are the Lagrange interpolating polynomials: l j (x) = p i=0 i j x x i x j x i (2.18) The Lagrange form of the interpolating polynomial is employed for the interpolation of the results of the approximation in 4, for the nummerical quadrature in section 2.3 and for the spectral collocation method presented in the next section D polynomial interpolation Just as in the univariate case, in case of an dataset of two variables, an interpolating polynomial of degree at most p + q 2 can be found: p q P p,q (x, y) = f(x i, y j )v j (y)u i (x) (2.19) i=1 j=1 Here f(x i, y i ) is the function value evaluated on the Cartesian grid (x 1, x 2,..., x p ) (y 1, y 2,..., y q ) and u i and v j are given by the Lagrange interpolating polynomials: u i (x) = v j (x) = p j=1 j i p i=1 i j The polynomial P p,q (x, y) interpolates the values f at all the grid points (x i, y j ). 2.5 A Chebyshev spectral collocation method x x j x i x j (q i p) (2.20) x x i x j x i (q j p) (2.21) For the approximation of spatial derivates a Chebyshev spectral collocation method will be used. Spectral method are widely used for discretizing PDE s because of their outstanding error properties, i.e. exponential rate convergence of the error [8]. Many literature has been written about the theory of spectral (collocation) methods and the implementation of these methods (e.g. [9], [12] and [13]). This section serves rather as an explanation how the Chebyshev spectral collocation method is implemented than as an extensive study about the theoretical background. The Chebyshev spectral collocation method Instead of approximating the solution by a local interpolant, as is for example done in finite difference methods, spectral methods take on a global approach, using all neighboring points to approximate the function value. In spectral methods some different approaches can be distinguished, for example; Galerkin, tau and Collocation methods [12]. Collocation methods are probably the most widely used because they offer the simplest treatment of nonlinear terms [13]. Typically, for non-periodic boundary value problems, expansions in orthogonal polymials are used [7]. The problems encountered in the chapter 5 are non-periodic boundary value problems. For this reason a Chebyshev collocation method is employed in order to discretize the spatial derivatives. The Chebyshev spectral collocation method is defined as: u N (x, t) = N u(x j, t)l j (x) (2.22) j=0 15

22 Where x j are the Chebyshev Gauss-Lobatto nodes (CGL-nodes, equation 2.24). l j are the lagrange interpolation polynomials as presented in equation It is required that equation 2.22 has to be satisfied at each node which leads to a system of N ordinary differential equations. This system of ODE s can be solved and in order to approximate u ɛ. Chebyshev and Chebyshev Gauss Lobatto nodes Instead of uniform grid points, Chebyshev or Chebyshev Gauss Lobatto (CGL) points are used for the collocation method. The CGL-points minimize the Runge s phenomenon, that is, the oscillatory behavior near the edges of an interval [10]. This because of the fact that the CGL-points are more densely spaced towards the edges of an interval. The Chebyshev points are given by the formula: ( k ) x k = cos N π k = 0, 1,..., N (2.23) It should be noted that this set of points includes the bounding points of the interval. The Chebyshev Gauss Lobatto points are distributed similarly as the Chebyshev points only in increasing order: ( k ) x k = cos N π k = 0, 1,..., N (2.24) Again, this set of points includes the bounding points of the interval. Barycentric form of the Lagrange polynomials As presented in section 2.4 the interpolating polynomial of a set of points can be expressed in either Newton or Lagrange form. In [9] two different forms to write the Lagrange interpolation are presented. The first alternative is the so-called modified Lagrange interpolation : p n (x) = ψ(x) N j=0 with ψ(x) = N i=0 (x x i) and where the weights are defined as: Because of the following equality: w j = ψ(x) Ni=1 N j=0 i j 1 f j w j (x j x i ) w x j (2.25) (2.26) w j x x j = 1 (2.27) This allows us to divide equation 2.25 by this expression and hence we obtain the Barycentric formula: N j=0 p n (x) = f w j j x x j N w j (2.28) j=0 x x j Where w j are referred to as the barycentric weights : w j = Ni=1 i j 1 (x j x i ) (2.29) For computational purposes it is often advantageous to express the Lagrange polynomial in this barycentric form [10]. By expressing the interpolating polynomial in this way, not all Lagrange polynomials have to be re-calculated for every single node. Instead, for a certain set of points, the weights can be calculated and pre-stored and the interpolating polynomial can be evaluated on every node which is computationally cheaper [11]. 16

23 Derivative of a interpolating polynomial The derivative of an interpolating polynomial at a set of nodes can be derived by [9]: N N f (x) Df i (I N f(x)) = f j l j(x i ) = D i,j f j, i = 0,..., N (2.30) j=0 Here D i,j = l j (x i) is the derivative matrix and I N the global interpolant. If the derivative is to be evaluated at the nodes, the barycentric form of the interpolating polynomial can be used and the derivative matrix can be expressed as: [ ] Dij = w j 1 (2.31) w i x i x j Here w j and w i are the barycentric weights defined by equation j=0 2.6 Time Integration For the treatment of the temporal derivatives in chapter 5 the following third order accurate Total Variation Diminishing Runge-Kutta scheme [14] is used: u (1) = u n + tl(u n ) u (2) = 3 4 un u(1) tl(u(1) ) u n+1 = 1 3 un u(2) tl(u(2) ) Furthermore, in order to obtain stable results a CFL-like coefficient for spectral approximations [15] is employed: t < C N 2 (2.32) That means that it can be proven that for spectral approximations the timestep is restricted by a constant value divided by the number of grid points squared. 2.7 Accuracy In order to study the accuracy of an approximation several tools are employed. In case the analytical solution is known the numerical approximation can be compared with the analytical solution. For one space dimensions one typically determines the pointwise error to study the error made in each grid point. The pointwise error is defined as: E h i = u h i ũ h i (2.33) Here i is the grid index, h denotes the grid spacing, u h i and ũh i denote the analytical solution and numerical approximation respectively on a certain grid. The convergence rate can now be estimated by refining the grid. If p is the order of the numerical method then the error can be approximated as: E h = C h p + O(h p ) C h p (2.34) Provided that h is sufficiently small. If the grid is refined by a factor 2 for example the error ratio R is defined as: R h = C hp C ( h 2 )p = 2p (2.35) 17

24 Hence the rate of convergence can be estimated by: p = log 2 (R h ) (2.36) In order to study the rate of convergence one typically uses error-norm instead of the pointwise error. For the present study the L 2 -norm and a weighted version of the L 2 -norm are employed: L 2 = N u k 2 (2.37) k=1 L 2 w = N w k u k 2 (2.38) k=1 Here k is the grid index, N is the number of grid points and w k are the weights. The L 2 -norm is used in case of uniform grid points. In case of non-uniform grid points the weigthed L 2 norm is used. In case of CGL-points the weight-vector contains the CGL-weights (section 2.5). In order to approximate the rate of convergence of an approximation on a certain grid, one can replace the error for the L 2 -norm. 18

25 Chapter 3 Regularization of singular sources in 1D In this chapter the regularization of singular sources in one dimension is considered. Before moving to the twodimensional case of actual interest, this chapter provides some key understanding of the regularization technique and its key features.first the 1D advection equation will be presented as a model problem, with a singular source as right hand-side. At this point we are not looking for a nummerical approximation to the solution of the model problem but we will strictly focus on the regularization of the singular source on the right hand-side of the equation using the regularization technique from [1]. 3.1 One-dimensional advection equation with singular sources The model problem considered here is the one-dimensional singular advection equation: [ ] u t + u x = (µx + σ) H(x a) H(x b) u(x, 0) = sin(πx) u( 1, t) = sin(π( 1 t)) Where (x, t) [ 1, 1] [0, 2]. It can be derived by using integration by parts that the right handside of the equation can be written as: [ ] b (µx + σ) H(x a) H(x b) = (µs + σ)δ(x s)ds (3.1) To solve this equation numerically the Dirac-delta function is regularized using the regularization technique presented in section 2.2. The integral can be evaluated using the 1D Simpson s rule presented in section 2.3. This yields the following numerical approximation S Np to the right hand-side of equation 3.1: S Np = b a a (µx p + σ)δ m,k ɛ (x x p )dx p (3.2) Here a and b are given by a = 0.3 and b = 0.3 and the quadrature points are given by; x p (i) = 0.3 sin ( π α(i) ) with α(i) [ 1 2, 1 2] for i = 1,...Np. The spatial grid points are given by x(i) [ 1, 1] for i = 1, 2,..., N 1, N. To determine the accuracy of the approximation the numerical approximation is compared with the analytical solution to the left hand-side of equation 3.1. In the next section four different cases are considered, each with different parameters. 3.2 Approximation of the singular sources in one dimension To illustrate the influence of the different parameters ɛ, m and k in the regularization, four cases are presented here. In case 3.1 and 3.2 the influence of ɛ is demonstrated. Case 3.3 and 3.4 demonstrate the influence of the parameters m 19

26 and k. Every case is repeated for five sets of grid points. The parameters for each case are tabulated in table 3.1. m k µ σ N p ɛ case ɛ as in equation 3.3 case ɛ [0.30, 0.24, 0.20, 0.17, 0.14] case ɛ as in equation 3.3 case ɛ [0.29, 0.24, 0.19, 0.16, 0.13] Table 3.1: parameters for cases Here the optimal scaling parameter ɛ is defined as: ɛ = x p(n p ) x p (1) 4 (3.3) Results case 3.1 In figure 3.1 the results for the first case are shown. The results are plotted for 5 sets of grid points N [30, 60, 120, 240, 480]. The optimal scaling parameter ɛ is according to equation 3.3 and is equal to ɛ = The first plot in the figure shows the resulting approximation S Np, the second plot shows the pointwise error. Figure 3.1 shows that function is approximated with high accuracy away from the discontinuity (up to 12th order accurate). Near the discontinuity the function is smoothened and for that reason a large error is induced. This region with high error, where the function is smoothened is referred to as the regularization zone. It is observed that the number of spatial grid points, only affects the resolution but not the accuracy of the approximation. Results case 3.2 In figure 3.2 the results for the second case are shown. Again the plots a displayed for five sets of grid points N [30, 60, 120, 240, 480]. For this case,ɛ is not defined by equation 3.3 but instead ɛ is chosen as ɛ [0.30, 0.24, 0.20, 0.17, 0.14], where ɛ = 0.30 corresponds to N = 30, ɛ = 0.24 to N = 60, etc. Again the resulting approximation S Np and the pointwise error are displayed. Comparing figure 3.1 and 3.2 shows that the difference in the optimal scaling parameter ɛ influences the width of the regularization zone. However, the accuracy of the approximation outside the regularization remains unaffected. Results case 3.3 In figure 3.2 the results for the third case are plotted for 5 sets of grid points N [30, 60, 120, 240, 480]. Just as in case 3.1 ɛ is defined according to equation 3.3 and is equal to ɛ = Comparing figure 3.1 and 3.3 shows that the increased m and k results in a more accurate representation of the discontinuity. Inspecting the pointwise error in figure 3.1 and 3.3 shows that the accuracy inside the regularization zone is somewhat better. Again, the accuracy outside the regularization zone remians unaffected. Results case 3.4 In figure 3.2 the results for the fourth case are plotted for several number of grid points N [30, 60, 120, 240, 480]. For this case, ɛ is not defined by equation 3.3 but instead ɛ is chosen as ɛ [0.29, 0.24, 0.19, 0.16, 0.13], where ɛ = 0.29 corresponds to N = 30, ɛ = 0.24 to N = 60, etc. Comparing figure 3.3 and 3.4 shows once again that varying the optimal scaling parameter affects the width of the regularization. 20

27 Figure 3.1: Numerical approximation (top) and pointwise error (bottom) for case

28 Figure 3.2: Numerical approximation (top) and pointwise error (bottom) for case

29 Figure 3.3: Numerical approximation (top) and pointwise error (bottom) for case

30 Figure 3.4: Numerical approximation (top) and pointwise error (bottom) for case Conclusion on the one-dimensional results The results from cases show that the right hand-side in equation 3.1 can be approximated by equation 3.2. Outside the regularization zone the original function is approximated with high accuracy (up to 12th order for N p = 500). The width of the regularization zone is controlled by the optimal scaling parameter ɛ. By increasing m and k, the discontinuity can be captured more accurately. The number of spatial grid pionts only affect the resolution of the approximation but does not affect the accuracy of the approximation. 24

31 Chapter 4 Regularization of singular sources in 2D In This chapter the regularization of singular sources in two dimensions is discussed. The main point of interest is to investigate if the regularization method provides the same high order accuracy outside the regularized zone as it does in the 1D case. The conclusions drawn in the one dimensional case should hold for the two-dimensional case to. In order to verify this several test cases are presented and discussed. Similar to the one-dimensional case first the 2D singular advection equation with a singular source in the right handside is presented as a model problem. At this point we are only interested in the regularization of the two dimensional singular sources in the right hand-side Two-dimensional advection equation with singular sources Consider the two-dimensional singular advection equation: [ ] u t + u x + u y = f(x, y) H(x a, y c) H(x b, y d) u(x, y, 0) = sin(πxy) u( 1, y, t) = sin(π( 1 t)(y t)) u(x, 1, t) = sin(π(x t)(y t)) Here the function f(x, y) is an arbitray continuous function which is projected on the heaviside function. Just as in the one-dimensional case, The right-hand side of the equation can also be expressed in terms of the Dirac-delta function: [ ] f(x, y) H(x a, y c) H(x b, y d) = d b c a f(u, v)δ(x u, y v)dudv (4.1) It should be noted that the integral is equal to the convolution f(x, y) δ(x, y). Just as in the one-dimensional case, we are looking to approximate this expression with high order accuracy using the regularization technique presented in section 2.2. Using equation 2.7 to regularize the Dirac-delta function yields the following approximation to the RHS: S Np,Mp = d b c a f(x p, y p )δ m,k ɛ (x x p, y y p )dx p dy p (4.2) For the evaluation of the double integral either the Simpson s rule or the Newton Cotes 7-point rule (discussed in section 2.3) are used. The choice for f(x, y) is arbitrary, in this present study f 1 and f 2 are considered: f 1 (x, y) = 1 (4.3) f 2 (x, y) = cos(5πxy) (4.4) 25

32 According to the convolution property of the Dirac-delta function from equation 2.4, the RHS in equation 4.1 is equal to the function f(x, y) itself inside the domain [a, b] [c, d], outside this domain the RHS is equal to zero. Using this property the error in the approximation can be determined by comparing the analytical solution of f(x, y) to the nummerical approximation in equation D grid In the two-dimensional case the function is projected on the a Cartesian grid. The grid points are either distributed uniformly (x(i), y(j)) [x 1, x N ] [y 1, y N ], i = 1, 2,..., N 1, N, j = 1, 2,..., M 1 or non-uniformly (x c (i), y c (j) [x 1, x N ] [y 1, y N ], i = 1, 2,..., N, j = 1, 2,..., M 1, M, where the coordinates with subscript x are the Chebyshev Gauss Lobatto points from equation In the figure 4.1 the square grid is displayed for both the uniform points and CGL-points for N = M = 20 on the square domain [ 1, 1] [ 1, 1]. Figure 4.1: Square grid with uniform nodes (left) and square grid with CGL-nodes (right). The quadature nodes (x p (i), y p (j)) are distributed non-uniformly x p (i) = 0.3 sin ( π α(i) ) and y p (j) = 0.3 sin ( π α(i) ) where α(i), α(j) [ 0.5, 0.5]. Optimal scaling parameter For the cases the optimal scaling parameter is a function of m, k the number of grid points and the quadrature method: 1 ɛ = ζ m+k+2 (4.5) In this expression ζ represents the dependence of the quadrature rule. For the Simpson s rule ζ is defined as: ζ S = 1 90 For the Newton Cotes 7-point rule ζ is defined as: Np 1 i=1 x p (i + 1) x p (i) 5 (4.6) ζ N = 9 Np 1 x p (i + 1) x p (i) 9 (4.7) 1400 i=1 26

33 4.2 Approximation of the singular sources in two dimensions In order to present the results for the regularization method in two dimensions, four cases are presented in this section. The parameters used for these cases are listed in table 4.2 below. The results presented here are for fixed values of m, k but the conclusions drawn can be extended to different values of m and k. As concluded in the one-dimensional case in chapter 3 the number of grid points only affects the resolution of the approximation and not the error in the approximation. In case 4.1 and 4.1 the influence of the number of quadrature points on the error is illustrated. In cases 4.3 and 4.4 a high-order accurate approximation on a uniform spaced grid and on a non-uniform spaced is compared. For case 4.1 and 4.2 the 2D version of the Simpson s rule (section 2.3) is employed for approximating the integral in equation 4.2. For case 4.3 and 4.4 the 2D version of the Newton Cotes 7-point rule (section 2.3) is used. f(x, y) m k ɛ x, ɛ y N p M p N M case 4.1 f 1 (x, y) (uniform points) case 4.2 f 1 (x, y) (uniform points) case 4.3 f 2 (x, y) (uniform points) case 4.3 f 2 (x, y) (Chebyshev points) Table 4.1: Parameters for cases In principle we are looking to approximate equation 4.1 on the domain [ 1, 1] [ 1, 1]. However, in order to increase the resolution of the approximation and reduce the computation time, the square domain considered here is [ 0.6, 0.6] [ 0.6, 0.6]. In case the CGL-points are used to discretize the domain, the points are multiplied by a factor 0.6. Results case 4.1 In figures 4.2 and 4.3, the results for case 4.1 are shown. Just as in the one-dimensional case, ɛ determines the size of the regularization zone. Inside the regularization zone the solution is smoothened, while outside the regularization zone the original function is approximated with certain accuracy. In figure 4.2 the nummerical approximation is displayed in the left plot. In the right plot the pointwise error on the square domain is displayed. From the left plot it can be observed that near the integration boundaries, where the discontinuity in the orginal function appears, the function is reguralized. The error plot shows that the error in the regularization zone is quite significant. Outside the regularization zone the error is much lower and reaches about fifth order in the center of the domain. In figure 4.3 a grid refinement study is carried out for the interior domain [a + ɛ, b ɛ] [c + ɛ, d ɛ] to illustrate the error outside the regularization zone. In the left plot the numerical approximation is shown once more, in the right plot the error on this interior square domain is displayed. It can be observed that in the interior domain the error is 3rd to 5th order accurate. In table 4.2 the L 2 -norm (defined in section 2.7, equation 2.37) is given for the interior domain as a measure for the error. Results case 4.2 In figures 4.4 and 4.5 the results for case 4.2 are displayed. It appears that if the number of quadrature points are doubled, the error outside the regularization zone decreases. Again, a grid refinement study is carried out for the domain [a + ɛ, b ɛ] [c + ɛ, d ɛ]. As can be seen from figure 4.5 the error in the center of the domain reaches about eighth order accuracy. Just as for case 4.1, the L 2 -norm (equation 2.37) is given for the interior domain in table 4.2. Results case 4.3 In figures 4.6 and 4.7 the results for case 4.3 are shown. In the left plot in figure 4.6 the numerical approximation to equation 4.2 is displayed. The numerical approximation is compared with the analytic solution from equation 4.4, which yields the pointwise error. The pointwise error on the square domain is displayed in the plot at the right. It 27

34 can be concluded that the error in the regularization zone once again is large. Since the optimal scaling parameter is smaller for this case, the regularization zone is smaller than for cases 4.1 and 4.2 and the interior domain is larger. In figure 4.7 a grid refinement is carried out for the interior domain [a + ɛ, b ɛ] [c + ɛ, d ɛ]. It appears that the approximation outside the regularized zone is at least fifth order accurate. In table 4.2 the L 2 -norm (equation 2.37) is given for the interior domain. Results case 4.4 In figure 4.8 and 4.9 the results for case 4.4 are displayed. Instead of uniform grid points (case 4.3), CGL-points are used for the spatial grid (see figure 4.1). From the figures it is concluded that the results for case 4.4 are very similar to the results for case 4.3. The only notably difference is that the resolution in the centre of the domain is lower for the CGL-points than for the uniform grid points. Figure 4.9 shows the grid refined for the interior domain. In table 4.2 the L 2 -norm (equation 2.37) is given for the interior domain. Once more the L 2 -norm is given in table 4.2. Case number L 2 -norm Table 4.2: L 2 -norm on the interior domain for cases Figure 4.2: Numerical approximation (left) and pointwise error on the square domain (right) for case

35 Figure 4.3: Numerical approximation (left) and pointwise error on the interior domain (right) for case 4.1. Figure 4.4: Numerical approximation (left) and pointwise error on the square domain (right) for case

36 Figure 4.5: Numerical approximation (left) and pointwise error on the interior domain (right) for case 4.2. Figure 4.6: Numerical approximation (left) and pointwise error on the square domain (right) for case

37 Figure 4.7: Numerical approximation (left) and pointwise error on the interior domain (right) for case 4.3. Figure 4.8: Numerical approximation (left) and pointwise error on the square domain (right) for case

38 Figure 4.9: Numerical approximation (left) and pointwise error on the interior domain (right) for case

39 4.3 Interpolation of the singular sources In case 4.4 an high order accurate approximation of the RHS of equation 4.1 is obtained on a non-uniform grid. In case the distribution is not known, but only the contribution of all single particles, the data could be interpolated to determine the distribution. In this section it is verified that this result can be interpolated using polynomial interpolation. In section 2.4 a polynomial interpolation method is described for both one- and two-dimensional sets of data points. The objective is to interpolate the results from case 4.4 to a different grid. Before showing the full two-dimensional interpolant the one-dimensional interpolations of some arbitrary cross-sections are investigated. In figure 4.10 four cross sections from the results from case 4.4 are plotted. In Figure 4.11 the results are interpolated using the interpolating polynomial from section 2.4. The interpolant is evaluated and plotted for x s (i) [ 0.6, 0.6] where i = 1, 2,..., N s 1, N s for N s = 100. Although near the regularized zone some Gibbs oscillations are observed, the interpolation appears to be quite smooth. The dense spacing of the grid points near the edges of the domain prevents the occurence of Runge s phenomenon. In addition the diagonal points and its polynomial interpolant are plotted in figure The plot of the numerical approximation shows sharp edges at the end of the integration domain. It seems like the discontinuity is not regularized over the diagonal. The polynomial interpolant seems surprisingly s- mooth however. At last the full 2D polynomial interpolation of the results from case 4.4 are plotted in figure In the left plot the numerical approximation from case 4.4 is displayed and in the right plot the interpolating polynomial. The polynomial interpolant is evaluated on a new grid ((x c (i), y c (j)) [ 0.6, 0.6] [ 0.6, 0.6], i = 1, 2,..., N, j = 1, 2,..., M 1, M. Once more, the subscript c refers to the CGL-points. Figure 4.10: Cross sections of the numerical approximation for case

40 Figure 4.11: One-dimensional polynomial interpolation of the cross sections Figure 4.12: One-dimensional polynomial interpolation of the diagonal 34

41 Figure 4.13: Numerical approximation (left) and full 2D polynomial interpolation (right) for case Conclusions on the two-dimensional results In this chapter the convolution of a two-dimensional continuous function (equations 4.3, 4.4) and the two-dimensional regularized Dirac-delta function is evaluated for four cases with different parameters according to table 4.2. The results from case 4.1 and 4.2 show that the convolution of a continuous constant function with the regularized Dirac-delta function can be approximated using the regularization technique presented in 2.2 and the two-dimensional Simpson quadrature on a uniform grid. The discontinuity in the original function is regularized, inntroducing an error inside the regularization zone, whereas outside the regularization zone the original function is approximated with high accuracy. The results from case 4.3 and 4.4 show that the convolution of a continuous function with the regularized Dirac-delta can be approximated using the regularization technique presented in 2.2 and the Newton Cotes 7-point quadrature rule on both a uniform and non-uniform grid. Again, the discontinuity in the original function is regularized, whereas outside the regularized zone the function is approximated with high accuracy. The obtained results on a the uniform and non-uniform grid are very similar. At last it is concluded that the high order accurate results on the non-uniform grid can be interpolated to a different grid. 35

42 Chapter 5 Numerical results for the two-dimensional singular advection equation In this chapter an nummerical approximation to the two-dimensional advection equation with singular sources is presented. The results from chapter 4 can be used as a high-order approximation to the source-term in the right hand-side. First the 2D advection equation with a single moving particle as right hand-side will be solved. Next the the 2D advection equation is solved for a cloud of particles. 5.1 The two-dimensional advection equation with one single isolated moving particle Consider the following 2D advection equation: u t + u x + u y = δ(x, y, t) u(x, y, 0) = sin(π(xy) δ(x, y) u( 1, y, t) = sin(π( 1 t)(y t) + H(t) δ( 1 t, y t) u(x, 1, t) = sin(π(x t)( 1 t) + H(t) δ(x t, 1 t) (5.1) with (x, y, t) [ 1, 1] [ 1, 1] (0, 2]. On the right hand-side of the equation the Dirac-delta function represents the non-stationary singular source. The solution to the homogeneous equation PDE is given by: The fundamental solution to this PDE is given by: u(x, y, t) = sin(π(x t)(y t)) (5.2) u(x, y, t) = H(t) δ(x t, y t) (5.3) Since the PDE is linear the solutions can be superposed, this gives the full solution: Discretization u(x, y, t) = sin(π(x t)(y t)) + H(t) δ(x t, y t) (5.4) The Dirac-delta function and Heaviside function can be regularized by employing the regularization method discussed in 2.2. The spatial derivatives are discretized using the Chebyshev collocation method (section 2.5). The 3rd order 36

43 TVD Runge-Kutta scheme (section 2.6) is employed for the time integration. This yields the following approximation to the PDE in equation 5.1: ũ + N k=0 D (1),x ik ũ k,j + M k=0 D (1),y jk ũ i,k = δ m,k ɛ (x i, y j, t) (5.5) Here ũ is the numerical approximation to u and D (1),x ik and D (1),x ik denote the first order spectral derivative matrices to the coordinates x and y respectively. The second and third term on the left hand-side are simply matrix-product of the spectral derivative matrix and the solution-matrix. In appendix B the accuracy of the spectral scheme is discussed. The problem is approximated on a square grid (x i, y j ) [ 1, 1] [ 1, 1] where x i and y j are the Chebyshev Gauss- Lobatto points as in equation N and M denote the number of grid points in x- and y-direction respectively and are taken equal for convenience. In the table below 5.1 all fixed parameters all listed. m k ɛ x, ɛ y N M case (non-uniform grid) Table 5.1: parameters for case 5.1 Here the optimal scaling parameter ɛ depends on m, k and the number of grid points N and is given by: Results k ɛ = N ( m+k+2 ) (5.6) In figure 5.1 the results for t=0.5 are given. In the upper left and upper right plot the numerical approximation and (regularized) analytical solution are displayed. In the bottom left plot the pointwise error is displayed and in the bottom right a heatmap of the error on the square is displayed.from the pointwise error and the error-on-the-square plots, it can be observed that the source is approximated with a significant error at the location of the source. Away from the source the solution is approximated with certain accuracy. Especially in the region [ 1, 0] [ 1, 0] the solution appears to be approximated well, i.e. the approximation reaches fifth order accuracy and higher. The approximation in the regions [ 1, 0] [0, 1] and [1, 0] [0, 1] seems to be influenced by the presence of the source however and the approximation appears to be third order accurate at best. In the region [0, 1] [0, 1] the error is large due to regularization of the source-term. In order to demonstrate the error in these regions, the L 2 -norm is listed in table

44 Figure 5.1: Numerical approximation (top-left), regularized analytical solution (top-right), pointwise error (bottomleft), heatmap of the error (bottom-right) for case 5.1. L 2 -norm domain [ 1, 0] [ 1, 0] [ 1, 0] [0, 1] [0, 1] [ 1, 0] Table 5.2: L 2 -norms for case The 2D advection equation with a cloud of moving particles Consider the following 2D singular advection equation: u t + u x + u y = d b f(u, v) δ(x u, y v)dudv c a u(x, y, 0) = sin(π(xy) u( 1, y, t) = sin(π( 1 t)(y t) u(x, 1, t) = sin(π(x t)( 1 t) (5.7) with (x, y, t) [ 0.6, 0.6] [ 0.6, 0.6] (0, 2]. The RHS represents a cloud of particles. The continuous function f(u, v) evaluated here is: f(u, v) = cos(5π uv) (5.8) The homogeneous solution fo this equation is given by equation 5.2. The full equation does not yield an analytic solution. 38

45 Discretization The right-hand side in equation 5.7 is approximated by: RHS = d b c a cos(5πuv) δ m,k ɛ (x u, y v)dudv (5.9) Once again the Dirac-delta functionis regularized by the regularization technique presented in section 2.2. The spatial derivatives are discretized by the Chebyshev collocation method from section 2.5. The 3rd order TVD Runge-Kutta (section 2.6) time integration scheme is used to update the solution in time. In chapter 4 (case 4.4) an high-order approximation to this expression for certain parameters was presented. For clearity the parameters are listed one more time in 5.2. Equation 5.7 is approximated on the squared grid (x c (i), y c (i)) [ 0.6, 0.6] [ 0.6, 0.6] where (x c (i), y c (i)) are the CGL-points as defined in equation In table 5.2 N and M denote the number of grid points, N px and N py denote the quadrature points. m k ɛ x, ɛ y N p x N p y N M case (non-uniform grid) Table 5.3: parameters for case 5.2 Results In absence of the analytical solution, the solution to equation 5.7 on the course grid ([N M] = [40 40]) is compared with the solution on a finer grid (N M = 80 80). Let u h (i, j) denote the solution on the course grid and u h 2 (i, j) the fine grid solution, h denotes the step size. The pointwise error is now defined as: E h i,j = u h i,j u h 2 2i 1,2j 1 (5.10) In figure 5.2 the numerical approximations to equation 5.7 are shown on the course grid (top left) and the fine grid (top right)for t = 0.5. The pointwise error is displayed using a surface plot (bottom left) and a heatmap (bottom right). From the error plot it can be concluded that the error between the course grid and fine grid solution is of order 10 2 or lower. The error can be split into different regions, inside the regularization zone we expect a high error and outside the regularization zone the error should be small. The source-term is stationary, so at the domain [ 0.3 ± ɛ, 0.3 ± ɛ] [ 0.3 ± ɛ, 0.3 ± ɛ] the error is expected to be high. However, the source seems to be non-stationary and seems to move over the diagonal instead. In addition to the error plots the L 2 -norm for the domain [ 0.6, 0.2] [ 0.6, 0.2] and the domain [0.2, 0.6] [0.2, 0.6] are presented in table 5.2. From the error plots and the L 2 -norms it can be seen that the error in the region [0, 0.6] [0, 0.6] is significantly higher than the error in region [ 0.6, 0.2] [ 0.6, 0.2]. 39

46 Figure 5.2: Numerical solution course grid (top left), numerical solution on fine grid (top right), pointwise error (bottom left), heatmap of the error (bottom right) for case 5.2. L 2 -norm domain [ 0.6, 0.2] [ 0.6, 0.2] [0.2, 0.6] [0.2, 0.6] Table 5.4: L 2 -norms for case Conclusions Figure 5.1 shows that a isolated singular source can be approximated using the regularization technique. Away from the source-term the approximation is high-order accurate with errors up to order 5. The regularization of the source seems to affect the approximation of the grid points at the same height as the source though, resulting in a less accurate approximation. This may be the result of the large value for ɛ, since a large ɛ results in a large regularization zone. At the location of the source, the the error in the approximation is significant as expected. The results from figure 5.2 are not well understood. The source should be stationary but appears to move out of the domain over the diagonal with increasing time. This results in a high error in the region [0, 0.6] [0, 0.6] and a low errorin the region [ 0.6, 0.2] [ 0.6, 0.2]. The approximation on the fine grid shows that the approximation is at least consistent with the approximaton on the course grid. Resulting in a small error away from the source-term, in region [ 0.6, 0.2] [ 0.6, 0.2]. 40