-
The Matérn Model: A Journey through Statistics, Numerical Analysis and Machine Learning
Authors:
Emilio Porcu,
Moreno Bevilacqua,
Robert Schaback,
Chris J. Oates
Abstract:
The Matérn model has been a cornerstone of spatial statistics for more than half a century. More recently, the Matérn model has been central to disciplines as diverse as numerical analysis, approximation theory, computational statistics, machine learning, and probability theory. In this article we take a Matérn-based journey across these disciplines. First, we reflect on the importance of the Maté…
▽ More
The Matérn model has been a cornerstone of spatial statistics for more than half a century. More recently, the Matérn model has been central to disciplines as diverse as numerical analysis, approximation theory, computational statistics, machine learning, and probability theory. In this article we take a Matérn-based journey across these disciplines. First, we reflect on the importance of the Matérn model for estimation and prediction in spatial statistics, establishing also connections to other disciplines in which the Matérn model has been influential. Then, we position the Matérn model within the literature on big data and scalable computation: the SPDE approach, the Vecchia likelihood approximation, and recent applications in Bayesian computation are all discussed. Finally, we review recent devlopments, including flexible alternatives to the Matérn model, whose performance we compare in terms of estimation, prediction, screening effect, computation, and Sobolev regularity properties.
△ Less
Submitted 5 March, 2023;
originally announced March 2023.
-
Scaling of Radial Basis Functions
Authors:
Elisabeth Larsson,
Robert Schaback
Abstract:
This paper studies the influence of scaling on the behavior of Radial Basis Function interpolation. It focuses on certain central aspects, but does not try to be exhaustive. The most important questions are: How does the error of a kernel-based interpolant vary with the scale of the kernel chosen? How does the standard error bound vary? And since fixed functions may be in spaces that allow scaling…
▽ More
This paper studies the influence of scaling on the behavior of Radial Basis Function interpolation. It focuses on certain central aspects, but does not try to be exhaustive. The most important questions are: How does the error of a kernel-based interpolant vary with the scale of the kernel chosen? How does the standard error bound vary? And since fixed functions may be in spaces that allow scalings, like global Sobolev spaces, is there a scale of the space that matches the function best? The last question is answered in the affirmative for Sobolev spaces, but the required scale may be hard to estimate. Scalability of functions turns out to be restricted for spaces generated by analytic kernels, unless the functions are band-limited. In contrast to other papers, polynomials and polyharmonics are included as flat limits when checking scales experimentally, with an independent computation. The numerical results show that the hunt for near-flat scales is questionable, if users include the flat limit cases right from the start. When there are not enough data to evaluate errors directly, the scale of the standard error bound can be varied, up to replacing the norm of the unknown function by the norm of the interpolant. This follows the behavior of the actual error qualitatively well, but is only of limited value for estimating error-optimal scales. For kernels and functions with unlimited smoothness, the given interpolation data are proven to be insufficient for determining useful scales.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Small Errors Imply Large Instabilities
Authors:
Robert Schaback
Abstract:
Numerical Analysts and scientists working in applications often observe that once they improve their techniques to get a better accuracy, some instability creeps in through the back door. This paper shows for a large class of numerical methods that such a Trade-off Principle between error and stability is unavoidable. The setting is confined to recovery of functions from data, but it includes solv…
▽ More
Numerical Analysts and scientists working in applications often observe that once they improve their techniques to get a better accuracy, some instability creeps in through the back door. This paper shows for a large class of numerical methods that such a Trade-off Principle between error and stability is unavoidable. The setting is confined to recovery of functions from data, but it includes solving differential equations by writing such methods as a recovery of functions under constraints imposed by differential operators and boundary values. It is shown in particular that Kansa's Unsymmetric Collocation Method sacrifices accuracy for stability, when compared to symmetric collocation.
△ Less
Submitted 17 March, 2022; v1 submitted 9 March, 2022;
originally announced March 2022.
-
$H$-Sets for Kernel-Based Spaces
Authors:
Robert Schaback
Abstract:
The concept of $H$-sets as introduced by Collatz in 1956 was very useful in univariate Chebyshev approximation by polynomials or Chebyshev spaces. In the multivariate setting, the situation is much worse, because there is no alternation, and $H$-sets exist, but are only rarely accessible by mathematical arguments. However, in Reproducing Kernel Hilbert spaces, $H$-sets are shown here to have a rat…
▽ More
The concept of $H$-sets as introduced by Collatz in 1956 was very useful in univariate Chebyshev approximation by polynomials or Chebyshev spaces. In the multivariate setting, the situation is much worse, because there is no alternation, and $H$-sets exist, but are only rarely accessible by mathematical arguments. However, in Reproducing Kernel Hilbert spaces, $H$-sets are shown here to have a rather simple and complete characterization. As a byproduct, the strong connection of $H$-sets to Linear Programming is studied. But on the downside, it is explained why $H$-sets have a very limited range of applicability in the times of large-scale computing.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.
-
A Greedy Method for Solving Classes of PDE Problems
Authors:
Robert Schaback
Abstract:
Motivated by the successful use of greedy algorithms for Reduced Basis Methods, a greedy method is proposed that selects N input data in an asymptotically optimal way to solve well-posed operator equations using these N data. The operator equations are defined as infinitely many equations given via a compact set of functionals in the dual of an underlying Hilbert space, and then the greedy algorit…
▽ More
Motivated by the successful use of greedy algorithms for Reduced Basis Methods, a greedy method is proposed that selects N input data in an asymptotically optimal way to solve well-posed operator equations using these N data. The operator equations are defined as infinitely many equations given via a compact set of functionals in the dual of an underlying Hilbert space, and then the greedy algorithm, defined directly in the dual Hilbert space, selects N functionals step by step. When N functionals are selected, the operator equation is numerically solved by projection onto the span of the Riesz representers of the functionals. Orthonormalizing these yields useful Reduced Basis functions. By recent results on greedy methods in Hilbert spaces, the convergence rate is asymptotically given by Kolmogoroff N-widths and therefore optimal in that sense. However, these N-widths seem to be unknown in PDE applications. Numerical experiments show that for solving elliptic second-order Dirichlet problems, the greedy method of this paper behaves like the known P-greedy method for interpolation, applied to second derivatives. Since the latter technique is known to realize Kolmogoroff N-widths for interpolation, it is hypothesized that the Kolmogoroff N-widths for solving second-order PDEs behave like the Kolmogoroff N-widths for second derivatives, but this is an open theoretical problem.
△ Less
Submitted 27 March, 2019;
originally announced March 2019.
-
An Approximation Theorist's View on Solving Operator Equations
Authors:
Robert Schaback
Abstract:
When an Approximation Theorist looks at well-posed PDE problems or operator equations, and standard solution algorithms like Finite Elements, Rayleigh-Ritz or Trefftz techniques, methods of fundamental or particular solutions and their combinations, they boil down to approximation problems and stability issues. These two can be handled by Approximation Theory, and this paper shows how, with specia…
▽ More
When an Approximation Theorist looks at well-posed PDE problems or operator equations, and standard solution algorithms like Finite Elements, Rayleigh-Ritz or Trefftz techniques, methods of fundamental or particular solutions and their combinations, they boil down to approximation problems and stability issues. These two can be handled by Approximation Theory, and this paper shows how, with special applications to the aforementioned algorithms. The intention is that the Approximation Theorists viewpoint is helpful for readers who are somewhat away from that subject.
△ Less
Submitted 19 June, 2018;
originally announced June 2018.
-
A Nonlinear Discretization Theory for Meshfree Collocation Methods applied to Quasilinear Elliptic Equations
Authors:
Klaus Böhmer,
Robert Schaback
Abstract:
We generalize our earlier results concerning meshfree collocation methods for semilinear elliptic second order problems to the quasilinear case. The stability question, however, is treated differently, namely by extending a paper on uniformly stable discretizations of well-posd linear problems to the nonlinear case. These two ingredients allow a proof that all well-posed quasilinear elliptic secon…
▽ More
We generalize our earlier results concerning meshfree collocation methods for semilinear elliptic second order problems to the quasilinear case. The stability question, however, is treated differently, namely by extending a paper on uniformly stable discretizations of well-posd linear problems to the nonlinear case. These two ingredients allow a proof that all well-posed quasilinear elliptic second-order problems can be discretized in a uniformly stable way by using sufficient oversampling, and then the error of the numerical solution behaves like the error obtainable by direct approximation of the true solution by functions from the chosen trial space, up to a factor induced by being forced to use a Hölder-type theory for the nonlinear PDE. We apply our general technique to prove convergence of meshfree methods for quasilinear elliptic equations with Dirichlet and non-Dirichlet boundary conditions. This is achieved for bifurcation and center manifolds of elliptic partial differential equations and their numerical methods as well.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
$H^2$--Convergence of least-squares kernel collocation methods
Authors:
Ka-Chun Cheung,
Leevan Ling,
Robert Schaback
Abstract:
The strong-form asymmetric kernel-based collocation method, commonly referred to as the Kansa method, is easy to implement and hence is widely used for solving engineering problems and partial differential equations despite the lack of theoretical support. The simple least-squares (LS) formulation, on the other hand, makes the study of its solvability and convergence rather nontrivial. In this pap…
▽ More
The strong-form asymmetric kernel-based collocation method, commonly referred to as the Kansa method, is easy to implement and hence is widely used for solving engineering problems and partial differential equations despite the lack of theoretical support. The simple least-squares (LS) formulation, on the other hand, makes the study of its solvability and convergence rather nontrivial. In this paper, we focus on general second order linear elliptic differential equations in $Ω\subset R^d$ under Dirichlet boundary conditions. With kernels that reproduce $H^m(Ω)$ and some smoothness assumptions on the solution, we provide denseness conditions for a constrained least-squares method and a class of weighted least-squares algorithms to be convergent. Theoretically, we identify some $H^2(Ω)$ convergent LS formulations that have an optimal error behavior like $h^{m-2}$. We also demonstrate the effects of various collocation settings on the respective convergence rates, as well as how these formulations perform with high order kernels and when coupled with the stable evaluation technique for the Gaussian kernel.
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
A Meshfree Method for Solving the Monge-Ampère Equation
Authors:
Klaus Böhmer,
Robert Schaback
Abstract:
This paper solves the two-dimensional Dirichlet problem for the Monge-Ampère equation by a strong meshless collocation technique that uses a polynomial trial space and collocation in the domain and on the boundary. Convergence rates may be up to exponential, depending on the smoothness of the true solution, and this is demonstrated numerically and proven theoretically, applying a sufficiently fine…
▽ More
This paper solves the two-dimensional Dirichlet problem for the Monge-Ampère equation by a strong meshless collocation technique that uses a polynomial trial space and collocation in the domain and on the boundary. Convergence rates may be up to exponential, depending on the smoothness of the true solution, and this is demonstrated numerically and proven theoretically, applying a sufficiently fine collocation discretization. A much more thorough investigation of meshless methods for fully nonlinear problems is in preparation.
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
A Simple Solution for Maximum Range Flight
Authors:
Robert Schaback
Abstract:
Within the standard framework of quasi-steady flight, this paper derives a speed that realizes the maximal obtainable range per unit of fuel. If this speed is chosen at each instant of a flight plan $h(x)$ giving altitude $h$ as a function of distance $x$, a variational problem for finding an optimal $h(x)$ can be formulated and solved. It yields flight plans with maximal range, and these turn out…
▽ More
Within the standard framework of quasi-steady flight, this paper derives a speed that realizes the maximal obtainable range per unit of fuel. If this speed is chosen at each instant of a flight plan $h(x)$ giving altitude $h$ as a function of distance $x$, a variational problem for finding an optimal $h(x)$ can be formulated and solved. It yields flight plans with maximal range, and these turn out to consist of mainly three phases using the optimal speed: starting with a climb at maximal continuous admissible thrust, ending with a continuous descent at idle thrust, and in between with a transition based on a solution of the Euler-Lagrange equation for the variational problem. A similar variational problem is derived and solved for speed-restricted flights, e.g. at 250 KIAS below 10000 ft. In contrast to the literature, the approach of this paper does not need more than standard ordinary differential equations solving variational problems to derive range-optimal trajectories. Various numerical examplesbased on a Standard Business Jet are added for illustration.
△ Less
Submitted 13 September, 2017; v1 submitted 15 April, 2017;
originally announced May 2017.
-
On the Fractional Derivatives of Radial Basis Functions
Authors:
Maryam Mohammadi,
Robert Schaback
Abstract:
The paper provides the fractional integrals and derivatives of the Rie\-mann-Liouville and Caputo type for the five kinds of radial basis functions (RBFs), including the powers, Gaussian, multiquadric, Matern and thin-plate splines, in one dimension. It allows to use high order numerical methods for solving fractional differential equations. The results are tested by solving two fractional differe…
▽ More
The paper provides the fractional integrals and derivatives of the Rie\-mann-Liouville and Caputo type for the five kinds of radial basis functions (RBFs), including the powers, Gaussian, multiquadric, Matern and thin-plate splines, in one dimension. It allows to use high order numerical methods for solving fractional differential equations. The results are tested by solving two fractional differential equations. The first one is a fractional ODE which is solved by the RBF collocation method and the second one is a fractional PDE which is solved by the method of lines based on the spatial trial spaces spanned by the Lagrange basis associated to the RBFs.
△ Less
Submitted 22 December, 2016;
originally announced December 2016.
-
Adaptive Approximation of Functions with Discontinuities
Authors:
Licia Lenarduzzi,
Robert Schaback
Abstract:
One of the basic principles of Approximation Theory is that the quality of approximations increase with the smoothness of the function to be approximated. Functions that are smooth in certain subdomains will have good approximations in those subdomains, and these {\em sub-approximations} can possibly be calculated efficiently in parallel, as long as the subdomains do not overlap. This paper propos…
▽ More
One of the basic principles of Approximation Theory is that the quality of approximations increase with the smoothness of the function to be approximated. Functions that are smooth in certain subdomains will have good approximations in those subdomains, and these {\em sub-approximations} can possibly be calculated efficiently in parallel, as long as the subdomains do not overlap. This paper proposes a class of algorithms that first calculate sub-approximations on non-overlap** subdomains, then extend the subdomains as much as possible and finally produce a global solution on the given domain by letting the subdomains fill the whole domain. Consequently, there will be no Gibbs phenomenon along the boundaries of the subdomains. Throughout, the algorithm works for fixed scattered input data of the function itself, not on spectral data, and it does not resample.
△ Less
Submitted 22 December, 2016;
originally announced December 2016.
-
Error Analysis of Nodal Meshless Methods
Authors:
Robert Schaback
Abstract:
There are many application papers that solve elliptic boundary value problems by meshless methods, and they use various forms of generalized stiffness matrices that approximate derivatives of functions from values at scattered nodes $x_1,\ldots,x_M\in Ω\subset\R^d$. If $u^*$ is the true solution in some Sobolev space $S$ allowing enough smoothness for the problem in question, and if the calculated…
▽ More
There are many application papers that solve elliptic boundary value problems by meshless methods, and they use various forms of generalized stiffness matrices that approximate derivatives of functions from values at scattered nodes $x_1,\ldots,x_M\in Ω\subset\R^d$. If $u^*$ is the true solution in some Sobolev space $S$ allowing enough smoothness for the problem in question, and if the calculated approximate values at the nodes are denoted by $\tilde u_1,\ldots,\tilde u_M$, the canonical form of error bounds is $$ \max_{1\leq j\leq M}|u^*(x_j)-\tilde u_j|\leq ε\|u^*\|_S $$ where $ε$ depends crucially on the problem and the discretization, but not on the solution. This contribution shows how to calculate such $ε$ {\em numerically and explicitly}, for any sort of discretization of strong problems via nodal values, may the discretization use Moving Least Squares, unsymmetric or symmetric RBF collocation, or localized RBF or polynomial stencils. This allows users to compare different discretizations with respect to error bounds of the above form, without knowing exact solutions, and admitting all possible ways to set up generalized stiffness matrices. The error analysis is proven to be sharp under mild additional assumptions. As a byproduct, it allows to construct worst cases that push discretizations to their limits. All of this is illustrated by numerical examples.
△ Less
Submitted 22 December, 2016;
originally announced December 2016.
-
Minimal Numerical Differentiation Formulas
Authors:
Oleg Davydov,
Robert Schaback
Abstract:
We investigate numerical differentiation formulas on irregular centers in two or more variables that are exact for polynomials of a given order and minimize an absolute seminorm of the weight vector. Error bounds are given in terms of a growth function that carries the information about the geometry of the centers. Specific forms of weighted $\ell_1$ and weighted least squares minimization are pro…
▽ More
We investigate numerical differentiation formulas on irregular centers in two or more variables that are exact for polynomials of a given order and minimize an absolute seminorm of the weight vector. Error bounds are given in terms of a growth function that carries the information about the geometry of the centers. Specific forms of weighted $\ell_1$ and weighted least squares minimization are proposed that produce numerical differentiation formulas with particularly good performance in numerical experiments.
△ Less
Submitted 22 May, 2018; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Optimal Stencils in Sobolev Spaces
Authors:
Oleg Davydov,
Robert Schaback
Abstract:
This paper proves that the approximation of pointwise derivatives of order $s$ of functions in Sobolev space $W_2^m(\R^d)$ by linear combinations of function values cannot have a convergence rate better than $m-s-d/2$, no matter how many nodes are used for approximation and where they are placed. These convergence rates are attained by {\em scalable} approximations that are exact on polynomials of…
▽ More
This paper proves that the approximation of pointwise derivatives of order $s$ of functions in Sobolev space $W_2^m(\R^d)$ by linear combinations of function values cannot have a convergence rate better than $m-s-d/2$, no matter how many nodes are used for approximation and where they are placed. These convergence rates are attained by {\em scalable} approximations that are exact on polynomials of order at least $\lfloor m-d/2\rfloor +1$, proving that the rates are optimal for given $m,\,s,$ and $d$. And, for a fixed node set $X\subset\R^d$, the convergence rate in any Sobolev space $W_2^m(Ω)$ cannot be better than $q-s$ where $q$ is the maximal possible order of polynomial exactness of approximations based on $X$, no matter how large $m$ is. In particular,scalable stencil constructions via polyharmonic kernels are shown to realize the optimal convergence rates, and good approximations of their error in Sobolev space can be calculated via their error in Beppo-Levi spaces. This allows to construct near-optimal stencils in Sobolev spaces stably and efficiently, for use in meshless methods to solve partial differential equations via generalized finite differences (RBF-FD). Numerical examples are included for illustration.
△ Less
Submitted 15 November, 2016;
originally announced November 2016.
-
Superconvergence of Kernel-Based Interpolation
Authors:
Robert Schaback
Abstract:
It is well-known that univariate cubic spline interpolation, if carried out on point sets with fill distance $h$, converges only like ${\cal O}(h^2)$ in $L_2[a,b]$ for functions in $W_2^2[a,b]$ if no additional assumptions are made. But superconvergence up to order $h^4$ occurs if more smoothness is assumed and if certain additional boundary conditions are satisfied. This phenomenon was generalize…
▽ More
It is well-known that univariate cubic spline interpolation, if carried out on point sets with fill distance $h$, converges only like ${\cal O}(h^2)$ in $L_2[a,b]$ for functions in $W_2^2[a,b]$ if no additional assumptions are made. But superconvergence up to order $h^4$ occurs if more smoothness is assumed and if certain additional boundary conditions are satisfied. This phenomenon was generalized in 1999 to multivariate interpolation in Reproducing Kernel Hilbert Spaces on domains $Ω\subset R^d$ for continuous positive definite Fourier-transformable shift-invariant kernels on $R^d$. But the sufficient condition for superconvergence given in 1999 still needs further analysis, because the interplay between smoothness and boundary conditions is not clear at all. Furthermore, if only additional smoothness is assumed, superconvergence is numerically observed in the interior of the domain, but without explanation, so far. This paper first generalizes the "improved error bounds" of 1999 by an abstract theory that includes the Aubin-Nitsche trick and the known superconvergence results for univariate polynomial splines. Then the paper analyzes what is behind the sufficient conditions for superconvergence. They split into conditions on smoothness and localization, and these are investigated independently. If sufficient smoothness is present, but no additional localization conditions are assumed, it is proven that superconvergence always occurs in the interior of the domain. If smoothness and localization interact in the kernel-based case on $R^d$, weak and strong boundary conditions in terms of pseudodifferential operators occur. A special section on Mercer expansions is added, because Mercer eigenfunctions always satisfy the sufficient conditions for superconvergence. Numerical examples illustrate the theoretical findings.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
Approximation of Eigenfunctions in Kernel-based Spaces
Authors:
Gabriele Santin,
Robert Schaback
Abstract:
Kernel-based methods in Numerical Analysis have the advantage of yielding optimal recovery processes in the "native" Hilbert space $\calh$ in which they are reproducing. Continuous kernels on compact domains have an expansion into eigenfunctions that are both $L_2$-orthonormal and orthogonal in $\calh$ (Mercer expansion). This paper examines the corresponding eigenspaces and proves that they have…
▽ More
Kernel-based methods in Numerical Analysis have the advantage of yielding optimal recovery processes in the "native" Hilbert space $\calh$ in which they are reproducing. Continuous kernels on compact domains have an expansion into eigenfunctions that are both $L_2$-orthonormal and orthogonal in $\calh$ (Mercer expansion). This paper examines the corresponding eigenspaces and proves that they have optimality properties among all other subspaces of $\calh$. These results have strong connections to $n$-widths in Approximation Theory, and they establish that errors of optimal approximations are closely related to the decay of the eigenvalues.
Though the eigenspaces and eigenvalues are not readily available, they can be well approximated using the standard $n$-dimensional subspaces spanned by translates of the kernel with respect to $n$ nodes or centers. We give error bounds for the numerical approximation of the eigensystem via such subspaces. A series of examples shows that our numerical technique via a greedy point selection strategy allows to calculate the eigensystems with good accuracy.
△ Less
Submitted 28 February, 2015; v1 submitted 27 November, 2014;
originally announced November 2014.
-
All Well--Posed Problems have Uniformly Stable and Convergent Discretizations
Authors:
Robert Schaback
Abstract:
This paper considers a large class of linear operator equations, including linear boundary value problems for partial differential equations, and treats them as linear recovery problems for objects from their data. Well-posedness of the problem means that this recovery is continuous. Discretization recovers restricted trial objects from restricted test data, and it is well-posed or stable, if this…
▽ More
This paper considers a large class of linear operator equations, including linear boundary value problems for partial differential equations, and treats them as linear recovery problems for objects from their data. Well-posedness of the problem means that this recovery is continuous. Discretization recovers restricted trial objects from restricted test data, and it is well-posed or stable, if this restricted recovery is continuous. After defining a general framework for these notions, this paper proves that all well-posed linear problems have stable and refinable computational discretizations with a stability that is determined by the well-posedness of the problem and independent of the computational discretization. The solutions of discretized problems converge when enlarging the trial spaces, and the convergence rate is determined by how well the full data of the object solving the full problem can be approximated by the full data of the trial objects. %of the discretization. This allows very simple proofs of convergence rates for generalized finite elements, symmetric and unsymmetric Kansa-type collocation, and other meshfree methods like Meshless Local Petrov-Galerkin techniques. It is also shown that for a fixed trial space, weak formulations have a slightly better convergence rate than strong formulations, but at the expense of numerical integration. Since convergence rates are reduced to those coming from Approximation Theory, and since trial spaces are arbitrary, this also covers various spectral and pseudospectral methods. All of this is illustrated by examples.
△ Less
Submitted 14 March, 2014;
originally announced March 2014.
-
Solving Heat Conduction Problems by the Direct Meshless Local Petrov-Galerkin (DMLPG) method
Authors:
Davoud Mirzaei,
Robert Schaback
Abstract:
As an improvement of the Meshless Local Petrov-Galerkin (MLPG), the Direct Meshless Local Petrov-Galerkin (DMLPG) method is applied here to the numerical solution of transient heat conduction problem. The new technique is based on direct recoveries of test functionals (local weak forms) from values at nodes without any detour via classical moving least squares (MLS) shape functions. This leads to…
▽ More
As an improvement of the Meshless Local Petrov-Galerkin (MLPG), the Direct Meshless Local Petrov-Galerkin (DMLPG) method is applied here to the numerical solution of transient heat conduction problem. The new technique is based on direct recoveries of test functionals (local weak forms) from values at nodes without any detour via classical moving least squares (MLS) shape functions. This leads to an absolutely cheaper scheme where the numerical integrations will be done over low-degree polynomials rather than complicated MLS shape functions. This eliminates the main disadvantage of MLS based methods in comparison with finite element methods (FEM), namely the costs of numerical integration.
△ Less
Submitted 6 April, 2013;
originally announced April 2013.
-
Direct meshless local Petrov-Galerkin (DMLPG) method: A generalized MLS approximation
Authors:
Davoud Mirzaei,
Robert Schaback
Abstract:
The Meshless Local Petrov{Galerkin (MLPG) method is one of the popular meshless methods that has been used very successfully to solve several types of boundary value problems since the late nineties. In this paper, using a generalized moving least squares (GMLS) approximation, a new direct MLPG technique, called DMLPG, is presented. Following the principle of meshless methods to express everything…
▽ More
The Meshless Local Petrov{Galerkin (MLPG) method is one of the popular meshless methods that has been used very successfully to solve several types of boundary value problems since the late nineties. In this paper, using a generalized moving least squares (GMLS) approximation, a new direct MLPG technique, called DMLPG, is presented. Following the principle of meshless methods to express everything "entirely in terms of nodes", the generalized MLS recovers test functionals directly from values at nodes, without any detour via shape functions. This leads to a cheaper and even more accurate scheme. In particular, the complete absence of shape functions allows numerical integrations in the weak forms of the problem to be done over low{degree polynomials instead of complicated shape functions. Hence, the standard MLS shape function subroutines are not called at all. Numerical examples illustrate the superiority of the new technique over the classical MLPG. On the theoretical side, this paper discusses stability and convergence for the new discretizations that replace those of the standard MLPG. However, it does not treat stability, convergence, or error estimation for the MLPG as a whole. This should be taken from the literature on MLPG.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.
-
A computational tool for comparing all linear PDE solvers -- Optimal methods are meshless
Authors:
Robert Schaback
Abstract:
The paper starts out with a computational technique that allows to compare all linear methods for PDE solving that use the same input data. This is done by writing them as linear recovery formulas for solution values as linear combinations of the input data. Calculating the norm of these reproduction formulas on a fixed Sobolev space will then serve as a quality criterion that allows a fair compar…
▽ More
The paper starts out with a computational technique that allows to compare all linear methods for PDE solving that use the same input data. This is done by writing them as linear recovery formulas for solution values as linear combinations of the input data. Calculating the norm of these reproduction formulas on a fixed Sobolev space will then serve as a quality criterion that allows a fair comparison of all linear methods with the same inputs, including finite-element, finite-difference and meshless local Petrov-Galerkin techniques. A number of illustrative examples will be provided. As a byproduct, it turns out that a unique error--optimal method exists. It necessarily outperforms any other competing technique using the same data, e.g. those just mentioned, and it is necessarily meshless, if solutions are written "entirely in terms of nodes" (Belytschko et. al. 1996). On closer inspection, it turns out that it coincides with {\em symmetric meshless collocation} carried out with the kernel of the Hilbert space used for error evaluation, e.g. with the kernel of the Sobolev space used. This technique is around since at least 1998, but its optimality properties went unnoticed, so far.
△ Less
Submitted 12 February, 2013;
originally announced February 2013.