-
Evolution of time-fractional stochastic hyperbolic diffusion equations on the unit sphere
Authors:
Tareq Alodat,
Quoc T. Le Gia
Abstract:
This paper examines the temporal evolution of a two-stage stochastic model for spherical random fields. The model uses a time-fractional stochastic hyperbolic diffusion equation, which describes the evolution of spherical random fields on $\bS^2$ in time. The diffusion operator incorporates a time-fractional derivative in the Caputo sense. In the first stage of the model, a homogeneous problem is…
▽ More
This paper examines the temporal evolution of a two-stage stochastic model for spherical random fields. The model uses a time-fractional stochastic hyperbolic diffusion equation, which describes the evolution of spherical random fields on $\bS^2$ in time. The diffusion operator incorporates a time-fractional derivative in the Caputo sense. In the first stage of the model, a homogeneous problem is considered, with an isotropic Gaussian random field on $\bS^2$ serving as the initial condition. In the second stage, the model transitions to an inhomogeneous problem driven by a time-delayed Brownian motion on $\bS^2$. The solution to the model is expressed through a series of real spherical harmonics. To obtain an approximation, the expansion of the solution is truncated at a certain degree $L\geq1$. The analysis of truncation errors reveals their convergence behavior, showing that convergence rates are affected by the decay of the angular power spectra of the driving noise and the initial condition. In addition, we investigate the sample properties of the stochastic solution, demonstrating that, under some conditions, there exists a local Hölder continuous modification of the solution. To illustrate the theoretical findings, numerical examples and simulations inspired by the cosmic microwave background (CMB) are presented.
△ Less
Submitted 8 December, 2024;
originally announced December 2024.
-
A simple modification to mitigate locking in conforming FEM for nearly incompressible elasticity
Authors:
K. Mustapha,
W. McLean,
J. Dick,
Q. T. Le Gia
Abstract:
Due to the divergence-instability, the accuracy of low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations deteriorates as the Lamé parameter $λ\to\infty$, or equivalently as the Poisson ratio $ν\to1/2$. This effect is known as {\itshape locking} or {\itshape non-robustness}. For the piecewise linear case, the error in the ${\bf L}^2$-norm of the standard…
▽ More
Due to the divergence-instability, the accuracy of low-order conforming finite element methods (FEMs) for nearly incompressible elasticity equations deteriorates as the Lamé parameter $λ\to\infty$, or equivalently as the Poisson ratio $ν\to1/2$. This effect is known as {\itshape locking} or {\itshape non-robustness}. For the piecewise linear case, the error in the ${\bf L}^2$-norm of the standard Galerkin conforming FEM is bounded by~$Cλh^2$, resulting in poor accuracy for practical values of~$h$ if $λ$ is sufficiently large. In this short paper, we show that the locking phenomenon can be reduced by replacing $λ$ with~$λ_h=λμ/(μ+λh/L)<λ$ in the stiffness matrix, where $μ$ is the second Lamé parameter and $L$ is the diameter of the body $Ω$. We prove that with this modification, the error in the ${\bf L}^2$-norm is bounded by $Ch$ for a constant $C$ that does not depend on $λ$. Numerical experiments confirm this convergence behaviour and show that, for practical meshes, our method is more accurate than the standard method if $λ$ is larger than about $μL/h$. Our analysis also shows that the error in the ${\bf H}^1$-norm is bounded by $Cλ_h^{1/2}\,h$, which improves the $Cλ^{1/2}\,h$ estimate for the case of conforming FEM.
△ Less
Submitted 27 February, 2025; v1 submitted 9 July, 2024;
originally announced July 2024.
-
High-order QMC nonconforming FEMs for nearly incompressible planar stochastic elasticity equations
Authors:
J. Dick,
T. Le Gia,
W. McLean,
K. Mustapha,
T. Tran
Abstract:
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equati…
▽ More
In a recent work (Dick et al, arXiv:2310.06187), we considered a linear stochastic elasticity equation with random Lamé parameters which are parameterized by a countably infinite number of terms in separate expansions. We estimated the expected values over the infinite dimensional parametric space of linear functionals ${\mathcal L}$ acting on the continuous solution $\vu$ of the elasticity equation. This was achieved by truncating the expansions of the random parameters, then using a high-order quasi-Monte Carlo (QMC) method to approximate the high dimensional integral combined with the conforming Galerkin finite element method (FEM) to approximate the displacement over the physical domain $Ω.$ In this work, as a further development of aforementioned article, we focus on the case of a nearly incompressible linear stochastic elasticity equation. To serve this purpose, in the presence of stochastic inhomogeneous (variable Lamé parameters) nearly compressible material, we develop a new locking-free symmetric nonconforming Galerkin FEM that handles the inhomogeneity. In the case of nearly incompressible material, one known important advantage of nonconforming approximations is that they yield optimal order convergence rates that are uniform in the Poisson coefficient. Proving the convergence of the nonconforming FEM leads to another challenge that is summed up in showing the needed regularity properties of $\vu$. For the error estimates from the high-order QMC method, which is needed to estimate the expected value over the infinite dimensional parametric space of ${\mathcal L}\vu,$ we %rely on (Dick et al. 2022). We are required here to show certain regularity properties of $\vu$ with respect to the random coefficients. Some numerical results are delivered at the end.
△ Less
Submitted 18 February, 2024;
originally announced February 2024.
-
Quasi-Monte Carlo sparse grid Galerkin finite element methods for linear elasticity equations with uncertainties
Authors:
M. Clarke,
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 2 October, 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 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 specialised to the case of an axially symmetric mask. Numerical experiments are given for the case of an axial mask motivated by the cosmic m…
▽ More
The paper analyses a spectral approach to reconstructing 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 specialised 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 realisation 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 17 September, 2024; v1 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.
-
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 overlapping 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.
