Table of Contents
Fetching ...

Error estimates of the cubic interpolated pseudo-particle scheme for one-dimensional advection equations

Takahito Kashiwabara, Haruki Takemura

TL;DR

The paper delivers a rigorous $L^2$-norm error bound for the cubic interpolated pseudo-particle (CIP) scheme solving the 1D advection equation with periodic boundaries, proving $||\varphi^n-\varphi_h^n||_{L^2} = O(\Delta t^3 + \frac{h^4}{\Delta t})$ under suitable regularity and mesh assumptions. A weighted $H^2$ norm is introduced to overcome the unboundedness of cubic Hermite interpolation in $L^2$, enabling stability and convergence proofs; the analysis shows the interpolation acts like an $L^2$ projection on second derivatives. The results extend to a semi-Lagrangian method using cubic spline interpolation, yielding comparable convergence bounds and substantiating the CIP approach on nonuniform meshes. Numerical experiments corroborate the theoretical rates, reveal near-3rd-order accuracy in practice, and highlight CIP’s superior phase accuracy for high-frequency modes compared to spline-based or upwind schemes. Overall, the work justifies the third-order space-time accuracy of CIP and provides a robust framework for error control in semi-Lagrangian advection solvers.

Abstract

Error estimates of cubic interpolated pseudo-particle scheme (CIP scheme) for the one-dimensional advection equation with periodic boundary conditions are presented. The CIP scheme is a semi-Lagrangian method involving the piecewise cubic Hermite interpolation. Although it is numerically known that the space-time accuracy of the scheme is third order, its rigorous proof remains an open problem. In this paper, denoting the spatial and temporal mesh sizes by $ h $ and $ Δt $ respectively, we prove an error estimate $ O(Δt^3 + \frac{h^4}{Δt}) $ in $ L^2 $ norm theoretically, which justifies the above-mentioned prediction if $ h = O(Δt) $. The proof is based on properties of the interpolation operator; the most important one is that it behaves as the $ L^2 $ projection for the second-order derivatives. We remark that the same strategy perfectly works as well to address an error estimate for the semi-Lagrangian method with the cubic spline interpolation.

Error estimates of the cubic interpolated pseudo-particle scheme for one-dimensional advection equations

TL;DR

The paper delivers a rigorous -norm error bound for the cubic interpolated pseudo-particle (CIP) scheme solving the 1D advection equation with periodic boundaries, proving under suitable regularity and mesh assumptions. A weighted norm is introduced to overcome the unboundedness of cubic Hermite interpolation in , enabling stability and convergence proofs; the analysis shows the interpolation acts like an projection on second derivatives. The results extend to a semi-Lagrangian method using cubic spline interpolation, yielding comparable convergence bounds and substantiating the CIP approach on nonuniform meshes. Numerical experiments corroborate the theoretical rates, reveal near-3rd-order accuracy in practice, and highlight CIP’s superior phase accuracy for high-frequency modes compared to spline-based or upwind schemes. Overall, the work justifies the third-order space-time accuracy of CIP and provides a robust framework for error control in semi-Lagrangian advection solvers.

Abstract

Error estimates of cubic interpolated pseudo-particle scheme (CIP scheme) for the one-dimensional advection equation with periodic boundary conditions are presented. The CIP scheme is a semi-Lagrangian method involving the piecewise cubic Hermite interpolation. Although it is numerically known that the space-time accuracy of the scheme is third order, its rigorous proof remains an open problem. In this paper, denoting the spatial and temporal mesh sizes by and respectively, we prove an error estimate in norm theoretically, which justifies the above-mentioned prediction if . The proof is based on properties of the interpolation operator; the most important one is that it behaves as the projection for the second-order derivatives. We remark that the same strategy perfectly works as well to address an error estimate for the semi-Lagrangian method with the cubic spline interpolation.
Paper Structure (15 sections, 22 theorems, 108 equations, 1 figure, 8 tables)

This paper contains 15 sections, 22 theorems, 108 equations, 1 figure, 8 tables.

Key Result

Lemma 3.1

The numerical solutions $\{\varphi_h^n\}_{n=0}^N$ defined in Subsection subsec:CIP-scheme satisfy for $n = 0,1,\ldots,N-1$.

Figures (1)

  • Figure 1: Phase shifts of the CIP scheme, the semi-Lagrangian (SL) scheme with spline interpolation, the SL scheme with symmetric Lagrange interpolation, and first-order upwind scheme with the CFL number $\mu = 0.4$ and the spatial division number $M = 40$.

Theorems & Definitions (36)

  • Lemma 3.1
  • proof
  • Proposition 3.2
  • proof
  • Lemma 3.3
  • Lemma 3.4: Theorem 2 of GBMSRV68, Corollary 3.1 of JGTHJL06
  • Lemma 3.5: Lemma 3.2 of JGTHJL06
  • Lemma 3.6
  • proof
  • Lemma 3.7
  • ...and 26 more