SearcharxivSearch

arXiv subjects

Xiang-Sheng Wang

Publications and source records attributed to Xiang-Sheng Wang.

At least 19 recordsLinked to original sources

Error bounds for the asymptotic expansions of the Jacobi polynomials

This paper aims to derive explicit and computable error bounds for the asymptotic expansion of the Jacobi polynomials as their degree approaches infinity, using an integral method. The analysis focuses on the outer or oscillatory region of these polynomials. A novel technique is introduced to address the challenges posed by the logarithmic singularity in the phase function of the integral representation of Jacobi polynomials. A recurrence formula is also developed to compute the coefficients in the asymptotic expansions.

math.CA

Orthogonal polynomials with periodic recurrence coefficients

In this paper, we study a class of orthogonal polynomials defined by a three-term recurrence relation with periodic coefficients. We derive explicit formulas for the generating function, the associated continued fraction, the orthogonality measure of these polynomials, as well as the spectral measure for the associated doubly infinite tridiagonal Jacobi matrix. Notably, while the orthogonality measure may include discrete mass points, the spectral measure(s) of the doubly infinite Jacobi matrix are absolutely continuous. Additionally, we uncover an intrinsic connection between these new orthogonal polynomials and Chebyshev polynomials through a nonlinear transformation of the polynomial variables.

math.CA

Asymptotics, orthogonality relations and duality for the $q$ and $q^{-1}$-symmetric polynomials in the $q$-Askey scheme

In this survey we summarize the current state of known orthogonality relations for the $q$ and $q^{-1}$-symmetric and dual subfamilies of the Askey--Wilson polynomials in the $q$-Askey scheme. These polynomials are the continuous dual $q$ and $q^{-1}$-Hahn polynomials, the $q$ and $q^{-1}$-Al-Salam--Chihara polynomials, the continuous big $q$ and $q^{-1}$-Hermite polynomials and the continuous $q$ and $q^{-1}$-Hermite polynomials and their dual counterparts which are connected with the big $q$-Jacobi polynomials, the little $q$-Jacobi polynomials and the $q$ and $q^{-1}$-Bessel polynomials. The $q^{-1}$-symmetric polynomials in the $q$-Askey scheme satisfy an indeterminate moment problem, satisfying an infinite number of orthogonality relations for these polynomials. Among the infinite number of orthogonality relations for the $q^{-1}$-symmetric families, we attempt to summarize those currently known. These fall into several classes, including continuous orthogonality relations and infinite discrete (including bilateral) orthogonality relations. Using symmetric limits, we derive a new infinite discrete orthogonality relation for the continuous big $q^{-1}$-Hermite polynomials. Using duality relations, we explore orthogonality relations for and from the dual families associated with the $q$ and $q^{-1}$-symmetric subfamilies of the Askey--Wilson polynomials. In order to give a complete description of the convergence properties for these polynomials, we provide the large degree asymptotics using the Darboux method for these polynomials. In order to apply the Darboux method, we derive a generating function with two free parameters for the $q^{-1}$-Al-Salam--Chihara polynomials which has natural limits to the lower $q^{-1}$-symmetric families.

math.CA

A PDE-ODE Coupled Spatio-Temporal Mathematical Model for Fire Blight During Bloom

Fire blight is a bacterial plant disease that affects apple and pear trees. We present a mathematical model for its spread in an orchard during bloom. This is a PDE-ODE coupled system, consisting of two semilinear PDEs for the pathogen, coupled to a system of three ODEs for the stationary hosts. Exploratory numerical simulations suggest the existence of travelling waves, which we subsequently prove, under some conditions on parameters, using the method of upper and lower bounds and Schauder's fixed point theorem. Our results are likely not optimal in the sense that our constraints on parameters, which can be interpreted biologically, are sufficient for the existence of travelling waves, but probably not necessary. Possible implications for fire blight biology and management are discussed.

math.AP

Optimized sparse approximate inverse smoothers for solving Laplacian linear systems

In this paper we propose and analyze new efficient sparse approximate inverse (SPAI) smoothers for solving the two-dimensional (2D) and three-dimensional (3D) Laplacian linear system with geometric multigrid methods. Local Fourier analysis shows that our proposed SPAI smoother for 2D achieves a much smaller smoothing factor than the state-of-the-art SPAI smoother studied in [Bolten, M., Huckle, T.K. and Kravvaritis, C.D., 2016. Sparse matrix approximations for multigrid methods. Linear Algebra and its Applications, 502, pp.58-76.]. The proposed SPAI smoother for 3D cases provides smaller optimal smoothing factor than that of weighted Jacobi smoother. Numerical results validate our theoretical conclusions and illustrate the high-efficiency and high-effectiveness of our proposed SPAI smoothers. Such SPAI smoothers have the advantage of inherent parallelism. The MATLAB codes for implementing our proposed algorithms are publicly available online at http://github.com/junliu2050/SPAI-MG-Laplacian .

math.NA

A well-conditioned direct PinT algorithm for first-and second-order evolutionary equations

In this paper, we propose a direct parallel-in-time (PinT) algorithm for time-dependent problems with first- or second-order derivative. We use a second-order boundary value method as the time integrator that leads to a tridiagonal time discretization matrix. Instead of solving the corresponding all-at-once system iteratively, we diagonalize the time discretization matrix, which yields a direct parallel implementation across all time levels. A crucial issue on this methodology is how the condition number of the eigenvector matrix $V$ grows as $n$ is increased, where $n$ is the number of time levels. A large condition number leads to large roundoff error in the diagonalization procedure, which could seriously pollute the numerical accuracy. Based on a novel connection between the characteristic equation and the Chebyshev polynomials, we present explicit formulas for computing $V$ and $V^{-1}$, by which we prove that $\mathrm{Cond}_2(V)=\mathcal{O}(n^{2})$. This implies that the diagonalization process is well-conditioned and the roundoff error only increases moderately as $n$ grows and thus, compared to other direct PinT algorithms, a much larger $n$ can be used to yield satisfactory parallelism. Numerical results on parallel machine are given to support our findings, where over 60 times speedup is achieved with 256 cores.

math.NA

A Direct Parallel-in-Time Quasi-Boundary Value Method for Inverse Space-Dependent Source Problems

Inverse source problems arise often in real-world applications, such as localizing unknown groundwater contaminant sources. Being different from Tikhonov regularization, the quasi-boundary value method has been proposed and analyzed as an effective way for regularizing such inverse source problems, which was shown to achieve an optimal order convergence rate under suitable assumptions. However, fast direct or iterative solvers for the resulting all-at-once large-scale linear systems have been rarely studied in the literature. In this work, we first proposed and analyzed a modified quasi-boundary value method, and then developed a diagonalization-based parallel-in-time (PinT) direct solver, which can achieve a dramatic speedup in CPU times when compared with MATLAB's sparse direct solver. In particular, the time-discretization matrix $B$ is shown to be diagonalizable, and the condition number of its eigenvector matrix $V$ is proven to exhibit quadratic growth, which guarantees the roundoff errors due to diagonalization is well controlled. Several 1D and 2D examples are presented to demonstrate the very promising computational efficiency of our proposed method, where the CPU times in 2D cases can be speedup by three orders of magnitude.

math.NA

Error bounds for the asymptotic expansions of the Hermite polynomials

In this paper, we present explicit and computable error bounds for the asymptotic expansions of the Hermite polynomials with Plancherel--Rotach scale. Three cases, depending on whether the scaled variable lies in the outer or oscillatory interval, or it is the turning point, are considered separately. We introduce the "branch cut" technique to express the error terms as integrals on the contour taken as the one-sided limit of curves approaching the branch cut. This new technique enables us to derive simple error bounds in terms of elementary functions. We also provide recursive procedures for the computation of the coefficients appearing in the asymptotic expansions.

math.CA

Supercritical Hopf Bifurcation of Cooperative Predation

In this work, we conduct a rigorous analysis on the dynamics of a predator-prey model with cooperative predation. From the root classification of an algebraic equation, we derive existence criteria of the positive equilibria. By Jacobian matrix and central manifold theory, we find critical conditions under which the positive equilibria are locally asymptotically stable or unstable. We also use a careful computation to obtain a concise and explicit formula for the first Lyapunov coefficient. Especially, we prove that the Hopf bifurcation induced by the cooperative predation is always supercritical, which means that the sustained oscillations near the Hopf bifurcation points are locally asymptotically stable.

math.CA

Bivariate Lagrange interpolation at the checkerboard nodes

In this paper, we derive an explicit formula for the bivariate Lagrange basis polynomials of a general set of checkerboard nodes. This formula generalizes existing results of bivariate Lagrange basis polynomials at the Padua nodes, Chebyshev nodes, Morrow-Patterson nodes, and Geronimus nodes. We also construct a subspace spanned by linearly independent bivariate vanishing polynomials that vanish at the checkerboard nodes and prove the uniqueness of the set of bivariate Lagrange basis polynomials in the quotient space defined as the space of bivariate polynomials with a certain degree by the subspace of bivariate vanishing polynomials.

math.CA

Optimal allocation of face masks during the COVID-19 pandemic: a case study of the first epidemic wave in the United States

In this paper, we propose a two-group SIR epidemic model to simulate the outcome of stay-at-home policy and wearing face masks during the first COVID-19 epidemic wave in the United States. Based on our proposed model, we further use the optimal control approach (with the objective of minimizing total deaths) to find the optimal dynamical distribution of face masks between the healthcare workers and the general public. It is not surprising that all the face masks should be solely reserved for the healthcare workers if the supply is short. However, when the supply is indeed sufficient, our numerical study indicates that the general public should share a large portion of face masks at the beginning of an epidemic wave to dramatically reduce the death toll. This interesting result partially contradicts with the guideline advised by the US Surgeon General and the Centers for Disease Control and Prevention (CDC) in March 2020. The optimality of this sounding CDC guideline highly depends on the supply level of face masks that changes frequently, and hence it should be adjusted according to the supply of face masks.

q-bio.PE

Asymptotics of partition functions in a fermionic matrix model and of related $q$-polynomials

In this paper, we study asymptotics of the thermal partition function of a model of quantum mechanical fermions with matrix-like index structure and quartic interactions. This partition function is given explicitly by a Wronskian of the Stieltjes-Wigert polynomials. Our asymptotic results involve the theta function and its derivatives. We also develop a new asymptotic method for general $q$-polynomials.

math-ph

Convergence rate for a Gauss collocation method applied to constrained optimal control

A local convergence rate is established for a Gauss orthogonal collocation method applied to optimal control problems with control constraints. If the Hamiltonian possesses a strong convexity property, then the theory yields convergence for problems whose optimal state and costate possess two square integrable derivatives. The convergence theory is based on a stability result for the sup-norm change in the solution of a variational inequality relative to a 2-norm perturbation, and on a Sobolev space bound for the error in interpolation at the Gauss quadrature points and the additional point -1. The tightness of the convergence theory is examined using a numerical example.

math.NA

Uniform Asymptotics of Orthogonal Polynomials Arising from Coherent States

In this paper, we study a family of orthogonal polynomials $\{ϕ_n(z)\}$ arising from nonlinear coherent states in quantum optics. Based on the three-term recurrence relation only, we obtain a uniform asymptotic expansion of $ϕ_n(z)$ as the polynomial degree $n$ tends to infinity. Our asymptotic results suggest that the weight function associated with the polynomials has an unusual singularity, which has never appeared for orthogonal polynomials in the Askey scheme. Our main technique is the Wang and Wong's difference equation method. In addition, the limiting zero distribution of the polynomials $ϕ_n(z)$ is provided.

math.CA

Ebola outbreak in West Africa: real-time estimation and multiple-wave prediction

Based on the reported data until 18 March 2015 and numerical fitting via a simple formula of cumulative case number, we provide real-time estimation on basic reproduction number, inflection point, peak time and final outbreak size of ongoing Ebola outbreak in West Africa. From our simulation, we conclude that the first wave has passed its inflection point and predict that a second epidemic wave may appear in the near future.

q-bio.PE

Plancherel-Rotach Asymptotics of Second-Order Difference Equations with Linear Coefficients

In this paper, we provide a complete Plancherel-Rotach asymptotic analysis of polynomials that satisfy a second-order difference equation with linear coefficients. According to the signs of the parameters, we classify the difference equations into six cases and derive explicit asymptotic formulas of the polynomials in the outer and oscillatory regions, respectively. It is remarkable that the zero distributions of the polynomials may locate on the imaginary line or even on a sideways Y-shape curve in some cases.

math.CA

Calculating the day of the week: null-days algorithm

In this paper, we propose a new algorithm of calculating the day of the week for any given century, year, month and day in Gregorian calendar. We provide two simple formulas to convert the century and the year into two integers. Then we introduce a list of null-days to transform the month and the day into another integer. Adding these three integers together and calculating the sum's residue modulo $7$ gives a number between $0$ and $6$, which corresponds to Sunday until Saturday. Slight modification is needed if we have a leap year and the given month is either January or February. Our null-days algorithm is simple enough to be done by mental calculation, and the list of null-days has memorable patterns.

math.HO

Traveling Wave Phenomena in a Kermack-McKendrick SIR model

We study the existence and nonexistence of traveling waves of general diffusive Kermack-McKendrick SIR models with standard incidence where the total population is not constant. The three classes, susceptible $S$, infected $I$ and removed $R$, are all involved in the traveling wave solutions. We show that the minimum speed for the existence of traveling waves for this three-dimensional non-monotonic system can be derived from its linearizaion at the initial disease-free equilibrium. The proof in this paper is based on Schauder fixed point theorem and Laplace transform and provides a promising method to deal with high dimensional epidemic models.

math.AP