-
Temporal and Spacial Studies of Infectious Diseases: Mathematical Models and Numerical Solvers
Authors:
Md Abu Talha,
Yongjia Xu,
Shan Zhao,
Weihua Geng
Abstract:
The SIR model is a classical model characterizing the spreading of infectious diseases. This model describes the time-dependent quantity changes among Susceptible, Infectious, and Recovered groups. By introducing space-depend effects such as diffusion and creation in addition to the SIR model, the Fisher's model is in fact a more advanced and comprehensive model. However, the Fisher's model is muc…
▽ More
The SIR model is a classical model characterizing the spreading of infectious diseases. This model describes the time-dependent quantity changes among Susceptible, Infectious, and Recovered groups. By introducing space-depend effects such as diffusion and creation in addition to the SIR model, the Fisher's model is in fact a more advanced and comprehensive model. However, the Fisher's model is much less popular than the SIR model in simulating infectious disease numerically due to the difficulties from the parameter selection, the involvement of 2-d/3-d spacial effects, the configuration of the boundary conditions, etc.
This paper aim to address these issues by providing numerical algorithms involving space and time finite difference schemes and iterative methods, and its open-source Python code for solving the Fisher's model. This 2-D Fisher's solver is second order in space and up to the second order in time, which is rigorously verified using test cases with analytical solutions. Numerical algorithms such as SOR, implicit Euler, Staggered Crank-Nicolson, and ADI are combined to improve the efficiency and accuracy of the solver. It can handle various boundary conditions subject to different physical descriptions. In addition, real-world data of Covid-19 are used by the model to demonstrate its practical usage in providing prediction and inferences.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Integral equation method for the 1D steady-state Poisson-Nernst-Planck equations
Authors:
Zhen Chao,
Weihua Geng,
Robert Krasny
Abstract:
An integral equation method is presented for the 1D steady-state Poisson-Nernst-Planck equations modeling ion transport through membrane channels. The differential equations are recast as integral equations using Green's 3rd identity yielding a fixed-point problem for the electric potential gradient and ion concentrations. The integrals are discretized by a combination of midpoint and trapezoid ru…
▽ More
An integral equation method is presented for the 1D steady-state Poisson-Nernst-Planck equations modeling ion transport through membrane channels. The differential equations are recast as integral equations using Green's 3rd identity yielding a fixed-point problem for the electric potential gradient and ion concentrations. The integrals are discretized by a combination of midpoint and trapezoid rules and the resulting algebraic equations are solved by Gummel iteration. Numerical tests for electroneutral and non-electroneutral systems demonstrate the method's 2nd order accuracy and ability to resolve sharp boundary layers. The method is applied to a 1D model of the K$^+$ ion channel with a fixed charge density that ensures cation selectivity. In these tests, the proposed integral equation method yields potential and concentration profiles in good agreement with published results.
△ Less
Submitted 9 April, 2023;
originally announced April 2023.
-
Error Analysis of an Approximate Optimal Policy for a Non-stationary Inventory System with Setup Costs
Authors:
Jianyong Liu,
Wei Geng,
Xiaobo Zhao
Abstract:
In this paper, we consider a finite horizon non-stationary inventory system with setup costs. We detail an algorithm to find an approximate optimal policy and the basic idea is to use numerical procedure for computing integrals involved in the standard method. We provide analytical error bounds, which converge to zero, between the costs of an approximate optimal policy found in this paper and the…
▽ More
In this paper, we consider a finite horizon non-stationary inventory system with setup costs. We detail an algorithm to find an approximate optimal policy and the basic idea is to use numerical procedure for computing integrals involved in the standard method. We provide analytical error bounds, which converge to zero, between the costs of an approximate optimal policy found in this paper and the optimal policy, which are the main contributions of this paper. To the best of our knowledge, the error bound results are not found in the literature on finite horizon inventory systems with setup costs. A convergence result for the approximate optimal policy is also provided. In this paper, algorithms to find the above error bounds are also provided. Several numerical examples show that the performance of Algorithms in this paper is satisfactory.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Large Deviation theorems for Dirichlet determinants of analytic quasi-periodic Jacobi operators with Brjuno-Rüssmann frequency
Authors:
Wenmeng Geng,
Kai Tao
Abstract:
In this paper, we first study the strong Birkhoff Ergodic Theorem for subharmonic functions with the Brjuno-Rüssmann shift on the Torus. Then, we apply it to prove the large deviation theorems for the finite scale Dirichlet determinants of quasi-periodic analytic Jacobi operators with this frequency. It shows that the Brjuno-Rüssmann function, which reflects the irrationality of the frequency, pla…
▽ More
In this paper, we first study the strong Birkhoff Ergodic Theorem for subharmonic functions with the Brjuno-Rüssmann shift on the Torus. Then, we apply it to prove the large deviation theorems for the finite scale Dirichlet determinants of quasi-periodic analytic Jacobi operators with this frequency. It shows that the Brjuno-Rüssmann function, which reflects the irrationality of the frequency, plays the key role in these theorems via the smallest deviation. At last, as an application, we obtain a distribution of the eigenvalues of the Jacobi operators with Dirichlet boundary conditions, which also depends on the smallest deviation, essentially on the irrationality of the frequency.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
Parallel Higher-order Boundary Integral Electrostatics Computation on Molecular Surfaces with Curved Triangulation
Authors:
Weihua Geng
Abstract:
In this paper, we present a parallel higher-order boundary integral method to solve the linear Poisson-Boltzmann (PB) equation. In our method, a well-posed boundary integral formulation is used to ensure the fast convergence of Krylov subspace linear solver such as GMRES. The molecular surfaces are first discretized with flat triangles and then converted to curved triangles with the assistance of…
▽ More
In this paper, we present a parallel higher-order boundary integral method to solve the linear Poisson-Boltzmann (PB) equation. In our method, a well-posed boundary integral formulation is used to ensure the fast convergence of Krylov subspace linear solver such as GMRES. The molecular surfaces are first discretized with flat triangles and then converted to curved triangles with the assistance of normal information at vertices. To maintain the desired accuracy, four-point Gauss-Radau quadratures are used on regular triangles and sixteen-point Gauss-Legendre quadratures together with regularization transformations are applied on singular triangles. To speed up our method, we take advantage of the embarrassingly parallel feature of boundary integral formulation, and parallelize the schemes with the message passing interface (MPI) implementation. Numerical tests show significantly improved accuracy and convergence of the proposed higher-order boundary integral Poisson-Boltzmann (HOBI-PB) solver compared with boundary integral PB solver using often-seen centroid collocation on flat triangles. The higher-order accuracy results achieved by present method are important to sensitive solvation analysis of biomolecules, particularly when accurate electrostatic surface potentials are critical in the molecular simulation. In addition, the higher-order boundary integral schemes presented here and their associated parallelization potentially can be applied to solving boundary integral equations in a general sense.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
-
A GPU-accelerated Direct-sum Boundary Integral Poisson-Boltzmann Solver
Authors:
Weihua Geng,
Ferosh Jacob
Abstract:
In this paper, we present a GPU-accelerated direct-sum boundary integral method to solve the linear Poisson-Boltzmann (PB) equation. In our method, a well-posed boundary integral formulation is used to ensure the fast convergence of Krylov subspace based linear algebraic solver such as the GMRES. The molecular surfaces are discretized with flat triangles and centroid collocation. To speed up our m…
▽ More
In this paper, we present a GPU-accelerated direct-sum boundary integral method to solve the linear Poisson-Boltzmann (PB) equation. In our method, a well-posed boundary integral formulation is used to ensure the fast convergence of Krylov subspace based linear algebraic solver such as the GMRES. The molecular surfaces are discretized with flat triangles and centroid collocation. To speed up our method, we take advantage of the parallel nature of the boundary integral formulation and parallelize the schemes within CUDA shared memory architecture on GPU. The schemes use only $11N+6N_c$ size-of-double device memory for a biomolecule with $N$ triangular surface elements and $N_c$ partial charges. Numerical tests of these schemes show well-maintained accuracy and fast convergence. The GPU implementation using one GPU card (Nvidia Tesla M2070) achieves 120-150X speed-up to the implementation using one CPU (Intel L5640 2.27GHz). With our approach, solving PB equations on well-discretized molecular surfaces with up to 300,000 boundary elements will take less than about 10 minutes, hence our approach is particularly suitable for fast electrostatics computations on small to medium biomolecules.
△ Less
Submitted 24 January, 2013;
originally announced January 2013.
