-
Theoretical analysis of the extended cyclic reduction algorithm
Authors:
Xuhao Diao,
Jun Hu,
Suna Ma
Abstract:
The extended cyclic reduction algorithm developed by Swarztrauber in 1974 was used to solve the block-tridiagonal linear system. The paper fills in the gap of theoretical results concerning the zeros of matrix polynomial $B_{i}^{(r)}$ with respect to a tridiagonal matrix which are computed by Newton's method in the extended cyclic reduction algorithm. Meanwhile, the forward error analysis of the e…
▽ More
The extended cyclic reduction algorithm developed by Swarztrauber in 1974 was used to solve the block-tridiagonal linear system. The paper fills in the gap of theoretical results concerning the zeros of matrix polynomial $B_{i}^{(r)}$ with respect to a tridiagonal matrix which are computed by Newton's method in the extended cyclic reduction algorithm. Meanwhile, the forward error analysis of the extended cyclic reduction algorithm for solving the block-tridiagonal system is studied. To achieve the two aims, the critical point is to find out that the zeros of matrix polynomial $B_{i}^{(r)}$ are eigenvalues of a principal submatrix of the coefficient matrix.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Preconditioned Legendre spectral Galerkin methods for the non-separable elliptic equation
Authors:
Xuhao Diao,
Jun Hu,
Suna Ma
Abstract:
The Legendre spectral Galerkin method of self-adjoint second order elliptic equations usually results in a linear system with a dense and ill-conditioned coefficient matrix. In this paper, the linear system is solved by a preconditioned conjugate gradient (PCG) method where the preconditioner $M$ is constructed by approximating the variable coefficients with a ($T$+1)-term Legendre series in each…
▽ More
The Legendre spectral Galerkin method of self-adjoint second order elliptic equations usually results in a linear system with a dense and ill-conditioned coefficient matrix. In this paper, the linear system is solved by a preconditioned conjugate gradient (PCG) method where the preconditioner $M$ is constructed by approximating the variable coefficients with a ($T$+1)-term Legendre series in each direction to a desired accuracy. A feature of the proposed PCG method is that the iteration step increases slightly with the size of the resulting matrix when reaching a certain approximation accuracy. The efficiency of the method lies in that the system with the preconditioner $M$ is approximately solved by a one-step iterative method based on the ILU(0) factorization. The ILU(0) factorization of $M\in \mathbb{R}^{(N-1)^d\times(N-1)^d}$ can be computed using $\mathcal{O}(T^{2d} N^d)$ operations, and the number of nonzeros in the factorization factors is of $\mathcal{O}(T^{d} N^d)$, $d=1,2,3$. To further speed up the PCG method, an algorithm is developed for fast matrix-vector multiplications by the resulting matrix of Legendre-Galerkin spectral discretization, without the need to explicitly form it. The complexity of the fast matrix-vector multiplications is of $\mathcal{O}(N^d (\log N)^2)$. As a result, the PCG method has a $\mathcal{O}(N^d (\log N)^2)$ total complexity for a $d$ dimensional domain with $(N-1)^d$ unknows, $d=1,2,3$. Numerical examples are given to demonstrate the efficiency of proposed preconditioners and the algorithm for fast matrix-vector multiplications.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Coordinated Complexity-Aware 4D Trajectory Planning
Authors:
Xiongwen Qian,
Jianfeng Mao,
Xudong Diao,
Changpeng Yang
Abstract:
We consider a coordinated complexity-aware 4D trajectory planning problem in this paper. A case study of multiple aircraft traversing through a sector that contains a network of airways and waypoints is utilized to illustrate the model and solution method. En-route aircraft fly into a sector via certain entering waypoints, visit intermediate waypoints in sequence along airways and finally exit the…
▽ More
We consider a coordinated complexity-aware 4D trajectory planning problem in this paper. A case study of multiple aircraft traversing through a sector that contains a network of airways and waypoints is utilized to illustrate the model and solution method. En-route aircraft fly into a sector via certain entering waypoints, visit intermediate waypoints in sequence along airways and finally exit the sector via some exiting waypoints. An integer programming model is proposed as to solve the problem, minimizing the total cost of fuel, delay and air traffic complexity. Different from most existing literature, this optimization model explicitly takes air traffic complexity into account in the 4D trajectory planning and can ensure conflict-free at any given time (not only at discrete time instances). The first-come-first-served (FCFS) heuristics, commonly adopted in current practice, is also investigated and compared. Numerical results are included to demonstrate the effectiveness of the model.
△ Less
Submitted 2 March, 2016; v1 submitted 25 January, 2015;
originally announced January 2015.
