-
A Locking-free modified conforming FEM for planar elasticity
Authors:
K. Mustapha,
W. McLean,
J. Dick,
Q. T. Le Gia
Abstract:
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by…
▽ More
Due to the divergence-instability, low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations suffer from the so-called locking phenomenon as the Lamé parameter $λ\to\infty$ and consequently the material becomes more and more incompressible. For the piecewise linear case, the error in the $L^2$-norm of the standard Galerkin conforming FEM is bounded by $C_λh^2$. However, $C_λ\to \infty$ as $λ\to \infty$, resulting in poor accuracy for practical values of $h$ if $λ$ is sufficiently large. In this short paper, we show that for 2D problems the locking phenomenon can be controlled by replacing $λ$ with $λ^α$ in the stiffness matrix, for a certain choice of $α=α_*(h,λ)$ in the range $0<α\le 1$. We prove that for this optimal choice of $α$, the error in the $L^2$-norm is bounded by $Ch$ where $C$ does not depend on $λ$. Numerical experiments confirm the expected convergence behaviour and show that, for practical meshes, our locking-free method is more accurate than the standard method if the material is nearly incompressible. Our analysis also shows that the error in the $H^1$-norm is bounded by $Ch^{1/2}$, but our numerical experiments suggest that this bound is not sharp.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Quasi-Monte Carlo sparse grid Galerkin finite element methods for linear elasticity equations with uncertainties
Authors:
J. Dick,
Q. T. Le Gia,
K. Mustapha,
T. Tran
Abstract:
We explore a linear inhomogeneous elasticity equation with random Lamé parameters. The latter are parameterized by a countably infinite number of terms in separated expansions. The main aim of this work is to estimate expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of the…
▽ More
We explore a linear inhomogeneous elasticity equation with random Lamé parameters. The latter are parameterized by a countably infinite number of terms in separated expansions. The main aim of this work is to estimate expected values (considered as an infinite dimensional integral on the parametric space corresponding to the random coefficients) of linear functionals acting on the solution of the elasticity equation. To achieve this, the expansions of the random parameters are truncated, a high-order quasi-Monte Carlo (QMC) is combined with a sparse grid approach to approximate the high dimensional integral, and a Galerkin finite element method (FEM) is introduced to approximate the solution of the elasticity equation over the physical domain. The error estimates from (1) truncating the infinite expansion, (2) the Galerkin FEM, and (3) the QMC sparse grid quadrature rule are all studied. For this purpose, we show certain required regularity properties of the continuous solution with respect to both the parametric and physical variables. To achieve our theoretical regularity and convergence results, some reasonable assumptions on the expansions of the random coefficients are imposed. Finally, some numerical results are delivered.
△ Less
Submitted 4 February, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Removing the mask -- reconstructing a scalar field on the sphere from a masked field
Authors:
Jan Hamann,
Quoc Thong Le Gia,
Ian H. Sloan,
Robert S. Womersley
Abstract:
The paper analyses a spectral approach to reconstructing %the image of a scalar field on the sphere, given only information about a masked version of the field together with precise information about the (smooth) mask. The theory is developed for a general mask, and later specialized to the case of an axially symmetric mask. Numerical experiments are given for the case of an axial mask motivated b…
▽ More
The paper analyses a spectral approach to reconstructing %the image of a scalar field on the sphere, given only information about a masked version of the field together with precise information about the (smooth) mask. The theory is developed for a general mask, and later specialized to the case of an axially symmetric mask. Numerical experiments are given for the case of an axial mask motivated by the cosmic microwave background, assuming that the underlying field is a realization of a Gaussian random field with an artificial angular power spectrum of moderate degree ($\ell \le 100$). The recovery is highly satisfactory in the absence of noise and even in the presence of moderate noise.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Numerical solutions to an inverse problem for a non-linear Helmholtz equation
Authors:
Q. T. Le Gia,
H. N. Mhaskar
Abstract:
In this work, we construct numerical solutions to an inverse problem of a nonlinear Helmholtz equation defined in a spherical shell between two concentric spheres centered at the origin.Assuming that the values of the forward problem are known at sufficiently many points, we would like to determine the form of the non-linear term on the right-hand side of the equation via its Chebyshev coefficient…
▽ More
In this work, we construct numerical solutions to an inverse problem of a nonlinear Helmholtz equation defined in a spherical shell between two concentric spheres centered at the origin.Assuming that the values of the forward problem are known at sufficiently many points, we would like to determine the form of the non-linear term on the right-hand side of the equation via its Chebyshev coefficients.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
On approximation for time-fractional stochastic diffusion equations on the unit sphere
Authors:
T. Alodat,
Q. T. Le Gia,
I. H. Sloan
Abstract:
This paper develops a two-stage stochastic model to investigate evolution of random fields on the unit sphere $\bS^2$ in $\R^3$. The model is defined by a time-fractional stochastic diffusion equation on $\bS^2$ governed by a diffusion operator with the time-fractional derivative defined in the Riemann-Liouville sense. In the first stage, the model is characterized by a homogeneous problem with an…
▽ More
This paper develops a two-stage stochastic model to investigate evolution of random fields on the unit sphere $\bS^2$ in $\R^3$. The model is defined by a time-fractional stochastic diffusion equation on $\bS^2$ governed by a diffusion operator with the time-fractional derivative defined in the Riemann-Liouville sense. In the first stage, the model is characterized by a homogeneous problem with an isotropic Gaussian random field on $\bS^2$ as an initial condition. In the second stage, the model becomes an inhomogeneous problem driven by a time-delayed Brownian motion on $\bS^2$. The solution to the model is given in the form of an expansion in terms of complex spherical harmonics. An approximation to the solution is given by truncating the expansion of the solution at degree $L\geq1$. The rate of convergence of the truncation errors as a function of $L$ and the mean square errors as a function of time are also derived. It is shown that the convergence rates depend not only on the decay of the angular power spectrum of the driving noise and the initial condition, but also on the order of the fractional derivative. We study sample properties of the stochastic solution and show that the solution is an isotropic Hölder continuous random field. Numerical examples and simulations inspired by the cosmic microwave background (CMB) are given to illustrate the theoretical findings.
△ Less
Submitted 4 March, 2024; v1 submitted 11 December, 2022;
originally announced December 2022.
-
Stochastic Navier--Stokes equations on a 3D thin domain
Authors:
Zdzisław Brzeźniak,
Gaurav Dhariwal,
Quoc Thong Le Gia
Abstract:
Stochastic Navier--Stokes equations in a thin three-dimensional domain are considered, driven by additive noise. The convergence of martingale solution of the stochastic Navier--Stokes equations in a thin three-dimensional domain to the unique martingale solution of the 2D stochastic Navier--Stokes equations, as the thickness of the film vanishes, is established. Hence, we justify the approximatio…
▽ More
Stochastic Navier--Stokes equations in a thin three-dimensional domain are considered, driven by additive noise. The convergence of martingale solution of the stochastic Navier--Stokes equations in a thin three-dimensional domain to the unique martingale solution of the 2D stochastic Navier--Stokes equations, as the thickness of the film vanishes, is established. Hence, we justify the approximation of 3D Navier--Stokes equations driven by random forcing by its corresponding two-dimensional setting in applications.
△ Less
Submitted 17 August, 2020;
originally announced August 2020.
-
Approximation of noisy data using multivariate splines and finite element methods
Authors:
Elizabeth Harris,
Bishnu Lamichhane,
Quoc Thong Le Gia
Abstract:
We compare a recently proposed multivariate spline based on mixed partial derivatives with two other standard splines for the scattered data smoothing problem. The splines are defined as the minimiser of a penalised least squares functional. The penalties are based on partial differentiation operators, and are integrated using the finite element method. We compare three methods to two problems: to…
▽ More
We compare a recently proposed multivariate spline based on mixed partial derivatives with two other standard splines for the scattered data smoothing problem. The splines are defined as the minimiser of a penalised least squares functional. The penalties are based on partial differentiation operators, and are integrated using the finite element method. We compare three methods to two problems: to remove the mixture of Gaussian and impulsive noise from an image, and to recover a continuous function from a set of noisy observations.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
Stochastic Navier-Stokes equations on a thin spherical domain
Authors:
Zdzisław Brzeźniak,
Gaurav Dhariwal,
Quoc Thong Le Gia
Abstract:
Incompressible Navier-Stokes equations on a thin spherical domain $Q_\varepsilon$ along with free boundary conditions under a random forcing are considered. The convergence of the martingale solution of these equations to the martingale solution of the stochastic Navier-Stokes equations on a sphere $\mathbb{S}^2$ as the thickness converges to zero is established.
Incompressible Navier-Stokes equations on a thin spherical domain $Q_\varepsilon$ along with free boundary conditions under a random forcing are considered. The convergence of the martingale solution of these equations to the martingale solution of the stochastic Navier-Stokes equations on a sphere $\mathbb{S}^2$ as the thickness converges to zero is established.
△ Less
Submitted 14 July, 2020; v1 submitted 20 February, 2020;
originally announced February 2020.
-
A New Probe of Gaussianity and Isotropy applied to the CMB Maps
Authors:
J. Hamann,
Q. T. Le Gia,
I. H. Sloan,
Y. G. Wang,
R. S. Womersley
Abstract:
We introduce a new mathematical tool (a direction-dependent probe) to analyse the randomness of purported isotropic Gaussian random fields on the sphere. We apply the probe to assess the full-sky cosmic microwave background (CMB) temperature maps produced by the {\it Planck} collaboration (PR2 2015 and PR3 2018), with special attention to the inpainted maps. To study the randomness of the fields r…
▽ More
We introduce a new mathematical tool (a direction-dependent probe) to analyse the randomness of purported isotropic Gaussian random fields on the sphere. We apply the probe to assess the full-sky cosmic microwave background (CMB) temperature maps produced by the {\it Planck} collaboration (PR2 2015 and PR3 2018), with special attention to the inpainted maps. To study the randomness of the fields represented by each map we use the autocorrelation of the sequence of probe coefficients (which are just the full-sky Fourier coefficients $a_{\ell,0}$ if the $z$ axis is taken in the probe direction). If the field is {isotropic and Gaussian} then the probe coefficients for a given direction should be realisations of uncorrelated scalar Gaussian random variables. We introduce a particular function on the sphere (called the \emph{AC discrepancy}) that accentuates the departure from Gaussianity and isotropy. We find that for some of the maps, there are many directions for which the departures are significant, especially near the galactic plane. We also study the effect of varying the highest multipole used to calculate the AC discrepancy from the initial value of $1500$ to $2500$. In the case of Commander 2015, the AC discrepancy now exhibits antipodal "blobs" well away from the galactic plane. Finally, we look briefly at the non-inpainted Planck maps, for which the computed AC discrepancy maps have a very different character, with features that are global rather than local. For the particular case of the non-inpainted 2018 \texttt{SEVEM} map (which has visible equatorial pollution), we model with partial success the observed behaviour by an isotropic Gaussian random field added to a non-random needlet-like structure located near the galactic centre.
△ Less
Submitted 26 June, 2020; v1 submitted 26 November, 2019;
originally announced November 2019.
-
FaVeST: Fast Vector Spherical Harmonic Transforms
Authors:
Quoc T. Le Gia,
Ming Li,
Yu Guang Wang
Abstract:
Vector spherical harmonics on the unit sphere of $\mathbb{R}^3$ have broad applications in geophysics, quantum mechanics and astrophysics. In the representation of a tangent vector field, one needs to evaluate the expansion and the Fourier coefficients of vector spherical harmonics. In this paper, we develop fast algorithms (FaVeST) for vector spherical harmonic transforms on these evaluations. Th…
▽ More
Vector spherical harmonics on the unit sphere of $\mathbb{R}^3$ have broad applications in geophysics, quantum mechanics and astrophysics. In the representation of a tangent vector field, one needs to evaluate the expansion and the Fourier coefficients of vector spherical harmonics. In this paper, we develop fast algorithms (FaVeST) for vector spherical harmonic transforms on these evaluations. The forward FaVeST evaluates the Fourier coefficients and has a computational cost proportional to $N\log \sqrt{N}$ for $N$ number of evaluation points. The adjoint FaVeST which evaluates a linear combination of vector spherical harmonics with a degree up to $\sqrt{M}$ for $M$ evaluation points has cost proportional to $M\log\sqrt{M}$. Numerical examples of simulated tangent fields illustrate the accuracy, efficiency and stability of FaVeST.
△ Less
Submitted 24 March, 2021; v1 submitted 31 July, 2019;
originally announced August 2019.
-
Sparse Isotropic Regularization for Spherical Harmonic Representations of Random Fields on the Sphere
Authors:
Quoc T. Le Gia,
Ian H. Sloan,
Robert S. Womersley,
Yu Guang Wang
Abstract:
This paper discusses sparse isotropic regularization for a random field on the unit sphere $\mathbb{S}^2$ in $\mathbb{R}^{3}$, where the field is expanded in terms of a spherical harmonic basis. A key feature is that the norm used in the regularization term, a hybrid of the $\ell_{1}$ and $\ell_2$-norms, is chosen so that the regularization preserves isotropy, in the sense that if the observed ran…
▽ More
This paper discusses sparse isotropic regularization for a random field on the unit sphere $\mathbb{S}^2$ in $\mathbb{R}^{3}$, where the field is expanded in terms of a spherical harmonic basis. A key feature is that the norm used in the regularization term, a hybrid of the $\ell_{1}$ and $\ell_2$-norms, is chosen so that the regularization preserves isotropy, in the sense that if the observed random field is strongly isotropic then so too is the regularized field. The Pareto efficient frontier is used to display the trade-off between the sparsity-inducing norm and the data discrepancy term, in order to help in the choice of a suitable regularization parameter. A numerical example using Cosmic Microwave Background (CMB) data is considered in detail. In particular, the numerical results explore the trade-off between regularization and discrepancy, and show that substantial sparsity can be achieved along with small $L_{2}$ error.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
A non-uniform discretization of stochastic heat equations with multiplicative noise on the unit sphere
Authors:
Yoshihito Kazashi,
Quoc T. Le Gia
Abstract:
We investigate a discretization of a class of stochastic heat equations on the unit sphere with multiplicative noises. A spectral method is used for the spatial discretization and the truncation of the Wiener process, while an implicit Euler scheme with non-uniform steps is used for the temporal discretization. Some numerical experiments inspired by Earth's surface temperature data analysis GISTEM…
▽ More
We investigate a discretization of a class of stochastic heat equations on the unit sphere with multiplicative noises. A spectral method is used for the spatial discretization and the truncation of the Wiener process, while an implicit Euler scheme with non-uniform steps is used for the temporal discretization. Some numerical experiments inspired by Earth's surface temperature data analysis GISTEMP provided by NASA are given.
△ Less
Submitted 7 December, 2017; v1 submitted 9 June, 2017;
originally announced June 2017.
-
Multilevel higher order Quasi-Monte Carlo Bayesian Estimation
Authors:
Josef Dick,
Robert N. Gantner,
Quoc T. Le Gia,
Christoph Schwab
Abstract:
We propose and analyze deterministic multilevel approximations for Bayesian inversion of operator equations with uncertain distributed parameters, subject to additive Gaussian measurement data. The algorithms use a multilevel (ML) approach based on deterministic, higher order quasi-Monte Carlo (HoQMC) quadrature for approximating the high-dimensional expectations, which arise in the Bayesian estim…
▽ More
We propose and analyze deterministic multilevel approximations for Bayesian inversion of operator equations with uncertain distributed parameters, subject to additive Gaussian measurement data. The algorithms use a multilevel (ML) approach based on deterministic, higher order quasi-Monte Carlo (HoQMC) quadrature for approximating the high-dimensional expectations, which arise in the Bayesian estimators, and a Petrov-Galerkin (PG) method for approximating the solution to the underlying partial differential equation (PDE). This extends the previous single-level approach from [J. Dick, R. N. Gantner, Q. T. Le Gia and Ch. Schwab, Higher order Quasi-Monte Carlo integration for Bayesian Estimation. Report 2016-13, Seminar for Applied Mathematics, ETH Zürich (in review)].
We obtain sufficient conditions which allow us to achieve arbitrarily high, algebraic convergence rates in terms of work, which are independent of the dimension of the parameter space. The convergence rates are limited only by the spatial regularity of the forward problem,the discretization order achieved by the Petrov Galerkin discretization, and by the sparsity of the uncertainty parametrization. We provide detailed numerical experiments for linear elliptic problems in two space dimensions, with $s=1024$ parameters characterizing the uncertain input, confirming the theory and showing that the ML HoQMC algorithms outperform, in terms of error vs.~computational work, both multilevel Monte Carlo (MLMC) methods and single-level (SL) HoQMC methods.
△ Less
Submitted 24 November, 2016;
originally announced November 2016.
-
Higher order Quasi-Monte Carlo integration for Bayesian Estimation
Authors:
Josef Dick,
Robert N. Gantner,
Quoc T. Le Gia,
Christoph Schwab
Abstract:
We analyze combined Quasi-Monte Carlo quadrature and Finite Element approximations in Bayesian estimation of solutions to countably-parametric operator equations with holomorphic dependence on the parameters as considered in [Cl.~Schillings and Ch.~Schwab: Sparsity in Bayesian Inversion of Parametric Operator Equations. Inverse Problems, {\bf 30}, (2014)]. Such problems arise in numerical uncertai…
▽ More
We analyze combined Quasi-Monte Carlo quadrature and Finite Element approximations in Bayesian estimation of solutions to countably-parametric operator equations with holomorphic dependence on the parameters as considered in [Cl.~Schillings and Ch.~Schwab: Sparsity in Bayesian Inversion of Parametric Operator Equations. Inverse Problems, {\bf 30}, (2014)]. Such problems arise in numerical uncertainty quantification and in Bayesian inversion of operator equations with distributed uncertain inputs, such as uncertain coefficients, uncertain domains or uncertain source terms and boundary data. We show that the parametric Bayesian posterior densities belong to a class of weighted Bochner spaces of functions of countably many variables, with a particular structure of the QMC quadrature weights: up to a (problem-dependent, and possibly large) finite dimension $S$ product weights can be used, and beyond this dimension, weighted spaces with so-called SPOD weights are used to describe the solution regularity. We establish error bounds for higher order Quasi-Monte Carlo quadrature for the Bayesian estimation based on [J.~Dick, Q.T.~LeGia and Ch.~Schwab, Higher order Quasi-Monte Carlo integration for holomorphic, parametric operator equations, Report 2014-23, SAM, ETH Zürich]. It implies, in particular, regularity of the parametric solution and of the countably-parametric Bayesian posterior density in SPOD weighted spaces. This, in turn, implies that the Quasi-Monte Carlo quadrature methods in [J. Dick, F.Y.~Kuo, Q.T.~Le Gia, D.~Nuyens, Ch.~Schwab, Higher order QMC Galerkin discretization for parametric operator equations, SINUM (2014)] are applicable to these problem classes, with dimension-independent convergence rates $\calO(N^{-1/p})$ of $N$-point HoQMC approximated Bayesian estimates, where $0<p<1$ depends only on the sparsity class of the uncertain input in the Bayesian estimation.
△ Less
Submitted 23 February, 2016;
originally announced February 2016.
-
Needlet approximation for isotropic random fields on the sphere
Authors:
Quoc T. Le Gia,
Ian H. Sloan,
Yu Guang Wang,
Robert S. Womerlsey
Abstract:
In this paper we establish a multiscale approximation for random fields on the sphere using spherical needlets --- a class of spherical wavelets. We prove that the semidiscrete needlet decomposition converges in mean and pointwise senses for weakly isotropic random fields on $\mathbb{S}^{d}$, $d\ge2$. For numerical implementation, we construct a fully discrete needlet approximation of a smooth…
▽ More
In this paper we establish a multiscale approximation for random fields on the sphere using spherical needlets --- a class of spherical wavelets. We prove that the semidiscrete needlet decomposition converges in mean and pointwise senses for weakly isotropic random fields on $\mathbb{S}^{d}$, $d\ge2$. For numerical implementation, we construct a fully discrete needlet approximation of a smooth $2$-weakly isotropic random field on $\mathbb{S}^{d}$ and prove that the approximation error for fully discrete needlets has the same convergence order as that for semidiscrete needlets. Numerical examples are carried out for fully discrete needlet approximations of Gaussian random fields and compared to a discrete version of the truncated Fourier expansion.
△ Less
Submitted 10 December, 2016; v1 submitted 24 December, 2015;
originally announced December 2015.
-
Fully discrete needlet approximation on the sphere
Authors:
Yu Guang Wang,
Quoc T. Le Gia,
Ian H. Sloan,
Robert S. Womersley
Abstract:
Spherical needlets are highly localized radial polynomials on the sphere $\mathbb{S}^{d}\subset \mathbb{R}^{d+1}$, $d\ge 2$, with centers at the nodes of a suitable cubature rule. The original semidiscrete spherical needlet approximation of Narcowich, Petrushev and Ward is not computable, in that the needlet coefficients depend on inner product integrals. In this work we approximate these integral…
▽ More
Spherical needlets are highly localized radial polynomials on the sphere $\mathbb{S}^{d}\subset \mathbb{R}^{d+1}$, $d\ge 2$, with centers at the nodes of a suitable cubature rule. The original semidiscrete spherical needlet approximation of Narcowich, Petrushev and Ward is not computable, in that the needlet coefficients depend on inner product integrals. In this work we approximate these integrals by a second quadrature rule with an appropriate degree of precision, to construct a fully discrete needlet approximation. We prove that the resulting approximation is equivalent to filtered hyperinterpolation, that is to a filtered Fourier-Laplace series partial sum with inner products replaced by appropriate cubature sums. It follows that the $\mathbb{L}_{p}$-error of discrete needlet approximation of order $J$ for $1 \le p \le \infty$ and $s > d/p$ has for a function $f$ in the Sobolev space $\mathbb{W}_{p}^{s}(\mathbb{S}^{d})$ the optimal rate of convergence in the sense of optimal recovery, namely $\mathcal{O}\bigl(2^{-J s}\bigr)$. Moreover, this is achieved with a filter function that is of smoothness class $C^{\lfloor \frac{d+3}{2}\rfloor}$, in contrast to the usually assumed $C^{\infty}$. A numerical experiment for a class of functions in known Sobolev smoothness classes gives $\mathbb{L}_2$ errors for the fully discrete needlet approximation that are almost identical to those for the original semidiscrete needlet approximation. Another experiment uses needlets over the whole sphere for the lower levels together with high-level needlets with centers restricted to a local region. The resulting errors are reduced in the local region away from the boundary, indicating that local refinement in special regions is a promising strategy.
△ Less
Submitted 6 July, 2016; v1 submitted 20 February, 2015;
originally announced February 2015.
-
Fast QMC matrix-vector multiplication
Authors:
Josef Dick,
Frances Y. Kuo,
Quoc T. Le Gia,
Christoph Schwab
Abstract:
Quasi-Monte Carlo (QMC) rules $1/N \sum_{n=0}^{N-1} f(\boldsymbol{y}_n A)$ can be used to approximate integrals of the form $\int_{[0,1]^s} f(\boldsymbol{y} A) \,\mathrm{d} \boldsymbol{y}$, where $A$ is a matrix and $\boldsymbol{y}$ is row vector. This type of integral arises for example from the simulation of a normal distribution with a general covariance matrix, from the approximation of the ex…
▽ More
Quasi-Monte Carlo (QMC) rules $1/N \sum_{n=0}^{N-1} f(\boldsymbol{y}_n A)$ can be used to approximate integrals of the form $\int_{[0,1]^s} f(\boldsymbol{y} A) \,\mathrm{d} \boldsymbol{y}$, where $A$ is a matrix and $\boldsymbol{y}$ is row vector. This type of integral arises for example from the simulation of a normal distribution with a general covariance matrix, from the approximation of the expectation value of solutions of PDEs with random coefficients, or from applications from statistics. In this paper we design QMC quadrature points $\boldsymbol{y}_0, ..., \boldsymbol{y}_{N-1} \in [0,1]^s$ such that for the matrix $Y = (\boldsymbol{y}_{0}^\top, ..., \boldsymbol{y}_{N-1}^\top)^\top$ whose rows are the quadrature points, one can use the fast Fourier transform to compute the matrix-vector product $Y \boldsymbol{a}^\top$, $\boldsymbol{a} \in \mathbb{R}^s$, in $\mathcal{O}(N \log N)$ operations and at most $s-1$ extra additions. The proposed method can be applied to lattice rules, polynomial lattice rules and a certain type of Korobov $p$-set.
The approach is illustrated computationally by three numerical experiments. The first test considers the generation of points with normal distribution and general covariance matrix, the second test applies QMC to high-dimensional, affine-parametric, elliptic partial differential equations with uniformly distributed random coefficients, and the third test addresses Finite-Element discretizations of elliptic partial differential equations with high-dimensional, log-normal random input data. All numerical tests show a significant speed-up of the computation times of the fast QMC matrix method compared to a conventional implementation as the dimension becomes large.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Higher Order Quasi Monte-Carlo Integration in Uncertainty Quantification
Authors:
Josef Dick,
Quoc Thong Le Gia,
Christoph Schwab
Abstract:
We review recent results on dimension-robust higher order convergence rates of Quasi-Monte Carlo Petrov-Galerkin approximations for response functionals of infinite-dimensional, parametric operator equations which arise in computational uncertainty quantification.
We review recent results on dimension-robust higher order convergence rates of Quasi-Monte Carlo Petrov-Galerkin approximations for response functionals of infinite-dimensional, parametric operator equations which arise in computational uncertainty quantification.
△ Less
Submitted 28 September, 2014;
originally announced September 2014.
-
Higher order Quasi-Monte Carlo integration for holomorphic, parametric operator equations
Authors:
Josef Dick,
Quoc T. Le Gia,
Christoph Schwab
Abstract:
We analyze the convergence of higher order Quasi-Monte Carlo (QMC) quadratures of solution-functionals to countably-parametric, nonlinear operator equations with distributed uncertain parameters taking values in a separable Banach space $X$ admitting an unconditional Schauder basis.
Such equations arise in numerical uncertainty quantification with random field inputs. Unconditional bases of $X$…
▽ More
We analyze the convergence of higher order Quasi-Monte Carlo (QMC) quadratures of solution-functionals to countably-parametric, nonlinear operator equations with distributed uncertain parameters taking values in a separable Banach space $X$ admitting an unconditional Schauder basis.
Such equations arise in numerical uncertainty quantification with random field inputs. Unconditional bases of $X$ render the random inputs and the solutions of the forward problem countably parametric, deterministic. We show that these parametric solutions belong to a class of weighted Bochner spaces of functions of countably many variables, with a particular structure of the QMC quadrature weights: up to a (problem-dependent, and possibly large) finite dimension, product weights can be used, and beyond this dimension, weighted spaces with so-called SPOD weights recently introduced in [F.Y.~Kuo, Ch.~Schwab, I.H.~Sloan, Quasi-Monte Carlo finite element methods for a class of elliptic partial differential equations with random coefficients. SIAM J. Numer. Anal., 50, 3351--3374, 2012.] can be used to describe the solution regularity. The regularity results in the present paper extend those in [J. Dick, F.Y.~Kuo, Q.T.~Le Gia, D.~Nuyens, Ch.~Schwab, Higher order QMC (Petrov-)Galerkin discretization for parametric operator equations. SIAM J. Numer. Anal., 52, 2676 -- 2702, 2014.] established for affine parametric, linear operator families; they imply, in particular, efficient constructions of (sequences of) QMC quadrature methods there, which are applicable to these problem classes. We present a hybridized version of the fast component-by-component (CBC for short) construction of a certain type of higher order digital net.
△ Less
Submitted 23 June, 2015; v1 submitted 7 September, 2014;
originally announced September 2014.
-
Multi-level higher order QMC Galerkin discretization for affine parametric operator equations
Authors:
Josef Dick,
Frances Kuo,
Quoc Thong Le Gia,
Christoph Schwab
Abstract:
We develop a convergence analysis of a multi-level algorithm combining higher order quasi-Monte Carlo (QMC) quadratures with general Petrov-Galerkin discretizations of countably affine parametric operator equations of elliptic and parabolic type, extending both the multi-level first order analysis in [\emph{F.Y.~Kuo, Ch.~Schwab, and I.H.~Sloan, Multi-level quasi-Monte Carlo finite element methods…
▽ More
We develop a convergence analysis of a multi-level algorithm combining higher order quasi-Monte Carlo (QMC) quadratures with general Petrov-Galerkin discretizations of countably affine parametric operator equations of elliptic and parabolic type, extending both the multi-level first order analysis in [\emph{F.Y.~Kuo, Ch.~Schwab, and I.H.~Sloan, Multi-level quasi-Monte Carlo finite element methods for a class of elliptic partial differential equations with random coefficient} (in review)] and the single level higher order analysis in [\emph{J.~Dick, F.Y.~Kuo, Q.T.~Le~Gia, D.~Nuyens, and Ch.~Schwab, Higher order QMC Galerkin discretization for parametric operator equations} (in review)]. We cover, in particular, both definite as well as indefinite, strongly elliptic systems of partial differential equations (PDEs) in non-smooth domains, and discuss in detail the impact of higher order derivatives of {\KL} eigenfunctions in the parametrization of random PDE inputs on the convergence results. Based on our \emph{a-priori} error bounds, concrete choices of algorithm parameters are proposed in order to achieve a prescribed accuracy under minimal computational work. Problem classes and sufficient conditions on data are identified where multi-level higher order QMC Petrov-Galerkin algorithms outperform the corresponding single level versions of these algorithms. Numerical experiments confirm the theoretical results.
△ Less
Submitted 9 August, 2015; v1 submitted 17 June, 2014;
originally announced June 2014.
-
Zooming from Global to Local: A Multiscale RBF Approach
Authors:
Quoc Thong Le Gia,
Ian H Sloan,
Holger Wendland
Abstract:
Because physical phenomena on Earth's surface occur on many different length scales, it makes sense when seeking an efficient approximation to start with a crude global approximation, and then make a sequence of corrections on finer and finer scales. It also makes sense eventually to seek fine scale features locally, rather than globally. In the present work, we start with a global multiscale radi…
▽ More
Because physical phenomena on Earth's surface occur on many different length scales, it makes sense when seeking an efficient approximation to start with a crude global approximation, and then make a sequence of corrections on finer and finer scales. It also makes sense eventually to seek fine scale features locally, rather than globally. In the present work, we start with a global multiscale radial basis function (RBF) approximation, based on a sequence of point sets with decreasing mesh norm, and a sequence of (spherical) radial basis functions with proportionally decreasing scale centered at the points. We then prove that we can "zoom in" on a region of particular interest, by carrying out further stages of multiscale refinement on a local region. The proof combines multiscale techniques for the sphere from Le Gia, Sloan and Wendland, SIAM J. Numer. Anal. 48 (2010) and Applied Comp. Harm. Anal. 32 (2012), with those for a bounded region in $\mathbb{R}^d$ from Wendland, Numer. Math. 116 (2012). The zooming in process can be continued indefinitely, since the condition numbers of matrices at the different scales remain bounded. A numerical example illustrates the process.
△ Less
Submitted 5 June, 2014;
originally announced June 2014.
-
Random dynamical systems generated by stochastic Navier--Stokes equation on the rotating sphere
Authors:
Zdzislaw Brzeźniak,
Beniamin Goldys,
Quoc Thong Le Gia
Abstract:
In this paper we first prove the existence and uniqueness of the solution to the stochastic Navier--Stokes equations on the rotating 2-dimensional sphere. Then we show the existence of an asymptotically compact random dynamical system associated with the equations.
In this paper we first prove the existence and uniqueness of the solution to the stochastic Navier--Stokes equations on the rotating 2-dimensional sphere. Then we show the existence of an asymptotically compact random dynamical system associated with the equations.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
Numerical solutions of a boundary value problem on the sphere using radial basis functions
Authors:
Quoc Thong Le Gia
Abstract:
Boundary value problems on the unit sphere arise naturally in geophysics and oceanography when scientists model a physical quantity on large scales. Robust numerical methods play an important role in solving these problems. In this article, we construct numerical solutions to a boundary value problem defined on a spherical sub-domain (with a sufficiently smooth boundary) using radial basis functio…
▽ More
Boundary value problems on the unit sphere arise naturally in geophysics and oceanography when scientists model a physical quantity on large scales. Robust numerical methods play an important role in solving these problems. In this article, we construct numerical solutions to a boundary value problem defined on a spherical sub-domain (with a sufficiently smooth boundary) using radial basis functions (RBF). The error analysis between the exact solution and the approximation is provided. Numerical experiments are presented to confirm theoretical estimates.
△ Less
Submitted 20 October, 2016; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Random attractors for the stochastic Navier--Stokes equations on the 2D unit sphere
Authors:
Zdzislaw Brzeźniak,
Beniamin Goldys,
Quoc Thong Le Gia
Abstract:
In this paper we prove the existence of random attractors for the Navier--Stokes equations on 2 dimensional sphere under random forcing irregular in space and time. We also deduce the existence of an invariant measure.
In this paper we prove the existence of random attractors for the Navier--Stokes equations on 2 dimensional sphere under random forcing irregular in space and time. We also deduce the existence of an invariant measure.
△ Less
Submitted 2 June, 2015; v1 submitted 13 February, 2014;
originally announced February 2014.
-
Higher order QMC Galerkin discretization for parametric operator equations
Authors:
Josef Dick,
Frances Y. Kuo,
Quoc T. Le Gia,
Dirk Nuyens,
Christoph Schwab
Abstract:
We construct quasi-Monte Carlo methods to approximate the expected values of linear functionals of Galerkin discretizations of parametric operator equations which depend on a possibly infinite sequence of parameters. Such problems arise in the numerical solution of differential and integral equations with random field inputs. We analyze the regularity of the solutions with respect to the parameter…
▽ More
We construct quasi-Monte Carlo methods to approximate the expected values of linear functionals of Galerkin discretizations of parametric operator equations which depend on a possibly infinite sequence of parameters. Such problems arise in the numerical solution of differential and integral equations with random field inputs. We analyze the regularity of the solutions with respect to the parameters in terms of the rate of decay of the fluctuations of the input field. If $p\in (0,1]$ denotes the "summability exponent" corresponding to the fluctuations in affine-parametric families of operators, then we prove that deterministic "interlaced polynomial lattice rules" of order $α= \lfloor 1/p \rfloor+1$ in $s$ dimensions with $N$ points can be constructed using a fast component-by-component algorithm, in $\mathcal{O}(α\,s\, N\log N + α^2\,s^2 N)$ operations, to achieve a convergence rate of $\mathcal{O}(N^{-1/p})$, with the implied constant independent of $s$. This dimension-independent convergence rate is superior to the rate $\mathcal{O}(N^{-1/p+1/2})$, for $2/3\leq p\leq 1$ recently established for randomly shifted lattice rules under comparable assumptions. In our analysis we use a non-standard Banach space setting and introduce "smoothness-driven product and order dependent (SPOD)" weights for which we show fast CBC construction.
△ Less
Submitted 9 March, 2015; v1 submitted 18 September, 2013;
originally announced September 2013.
-
Multiscale methods with compactly supported radial basis functions for the Stokes problem on bounded domains
Authors:
Andrew Chernih,
Quoc Thong Le Gia
Abstract:
In this paper, we investigate the application of radial basis functions (RBFs) for the approximation with collocation of the Stokes problem. The approximate solution is constructed in a multi-level fashion, each level using compactly supported radial basis functions with decreasing scaling factors. We use symmetric collocation and give sufficient conditions for convergence and stability analysis i…
▽ More
In this paper, we investigate the application of radial basis functions (RBFs) for the approximation with collocation of the Stokes problem. The approximate solution is constructed in a multi-level fashion, each level using compactly supported radial basis functions with decreasing scaling factors. We use symmetric collocation and give sufficient conditions for convergence and stability analysis is also presented. Numerical experiments support the theoretical results.
△ Less
Submitted 25 September, 2014; v1 submitted 6 November, 2012;
originally announced November 2012.
-
Multiscale methods with compactly supported radial basis functions for Galerkin approximation of elliptic PDEs
Authors:
Andrew Chernih,
Quoc Thong Le Gia
Abstract:
The aim of this work is to consider multiscale algorithms for solving PDEs with Galerkin methods on bounded domains. We provide results on convergence and condition numbers. We show how to handle PDEs with Dirichlet boundary conditions. We also investigate convergence in terms of the mesh norms and the angles between subspaces to better understand the differences between the algorithms and the obs…
▽ More
The aim of this work is to consider multiscale algorithms for solving PDEs with Galerkin methods on bounded domains. We provide results on convergence and condition numbers. We show how to handle PDEs with Dirichlet boundary conditions. We also investigate convergence in terms of the mesh norms and the angles between subspaces to better understand the differences between the algorithms and the observed results. We also consider the issue of the supports of the RBFs overlap** the boundary in our stability analysis, which has not been considered in the literature, to the best of our knowledge.
△ Less
Submitted 6 November, 2012;
originally announced November 2012.
-
Solving parabolic equations on the unit sphere via Laplace transforms and radial basis functions
Authors:
Q. T. Le Gia,
William McLean
Abstract:
We propose a method to construct numerical solutions of parabolic equations on the unit sphere. The time discretization uses Laplace transforms and quadrature. The spatial approximation of the solution employs radial basis functions restricted to the sphere. The method allows us to construct high accuracy numerical solutions in parallel. We establish $L_2$ error estimates for smooth and nonsmooth…
▽ More
We propose a method to construct numerical solutions of parabolic equations on the unit sphere. The time discretization uses Laplace transforms and quadrature. The spatial approximation of the solution employs radial basis functions restricted to the sphere. The method allows us to construct high accuracy numerical solutions in parallel. We establish $L_2$ error estimates for smooth and nonsmooth initial data, and describe some numerical experiments.
△ Less
Submitted 19 July, 2012;
originally announced July 2012.
-
Stability and preconditioning for a hybrid approximation on the sphere
Authors:
Q. T. Le Gia,
Ian H. Sloan,
Andrew J. Wathen
Abstract:
This paper proposes a new preconditioning scheme for a linear system with a saddle-point structure arising from a hybrid approximation scheme on the sphere, an approximation scheme that combines (local) spherical radial basis functions and (global) spherical polynomials. Making use of a recently derived inf-sup condition [13] and the Brezzi stability and convergence theorem for this approximation…
▽ More
This paper proposes a new preconditioning scheme for a linear system with a saddle-point structure arising from a hybrid approximation scheme on the sphere, an approximation scheme that combines (local) spherical radial basis functions and (global) spherical polynomials. Making use of a recently derived inf-sup condition [13] and the Brezzi stability and convergence theorem for this approximation scheme, we show that the linear system can be optimally preconditioned with a suitable block-diagonal preconditioner. Numerical experiments with a non-uniform distribution of data points support the theoretical conclusions.
△ Less
Submitted 22 September, 2010;
originally announced September 2010.
-
A pseudospectral quadrature method for Navier-Stokes equations on rotating spheres
Authors:
M. Ganesh,
Q. T. Le Gia,
I. H. Sloan
Abstract:
In this work, we describe, analyze, and implement a pseudospectral quadrature method for a global computer modeling of the incompressible surface Navier-Stokes equations on the rotating unit sphere. Our spectrally accurate numerical error analysis is based on the Gevrey regularity of the solutions of the Navier-Stokes equations on the sphere. The scheme is designed for convenient application of fa…
▽ More
In this work, we describe, analyze, and implement a pseudospectral quadrature method for a global computer modeling of the incompressible surface Navier-Stokes equations on the rotating unit sphere. Our spectrally accurate numerical error analysis is based on the Gevrey regularity of the solutions of the Navier-Stokes equations on the sphere. The scheme is designed for convenient application of fast evaluation techniques such as the fast Fourier transform (FFT), and the implementation is based on a stable adaptive time discretization.
△ Less
Submitted 16 September, 2010;
originally announced September 2010.
-
Localized linear polynomial operators and quadrature formulas on the sphere
Authors:
Q. T. Le Gia,
H. N. Mhaskar
Abstract:
The purpose of this paper is to construct universal, auto--adaptive, localized, linear, polynomial (-valued) operators based on scattered data on the (hyper--)sphere $\SS^q$ ($q\ge 2$). The approximation and localization properties of our operators are studied theoretically in deterministic as well as probabilistic settings. Numerical experiments are presented to demonstrate their superiority ov…
▽ More
The purpose of this paper is to construct universal, auto--adaptive, localized, linear, polynomial (-valued) operators based on scattered data on the (hyper--)sphere $\SS^q$ ($q\ge 2$). The approximation and localization properties of our operators are studied theoretically in deterministic as well as probabilistic settings. Numerical experiments are presented to demonstrate their superiority over traditional least squares and discrete Fourier projection polynomial approximations. An essential ingredient in our construction is the construction of quadrature formulas based on scattered data, exact for integrating spherical polynomials of (moderately) high degree. Our formulas are based on scattered sites; i.e., in contrast to such well known formulas as Driscoll--Healy formulas, we need not choose the location of the sites in any particular manner. While the previous attempts to construct such formulas have yielded formulas exact for spherical polynomials of degree at most 18, we are able to construct formulas exact for spherical polynomials of degree 178.
△ Less
Submitted 9 November, 2008;
originally announced November 2008.