Abstract:In this paper, we reconsider two new iterative methods for solving absolute value equations (AVE), which is proposed by Ali and Pan (Jpn. J. Ind. Appl. Math. 40: 303--314, 2023). Convergence results of the two iterative schemes and new sufficient conditions for the unique solvability of AVE are presented. In addition, for a special case, the optimal iteration parameters of the two algorithms are analyzed, respectively. Numerical results demonstrate our claims.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the solution methods of absolute value equations (AVE) and their convergence analysis. Specifically, the paper re - considers two new iterative methods proposed by Ali and Pan in 2023 and conducts further research on them. The main focuses include:
1. **Convergence Results**: The paper provides the convergence results of these two iterative schemes.
2. **Uniquely Solvable Conditions**: New sufficient conditions for the unique solvability of AVE are proposed.
3. **Optimal Iterative Parameters**: For special cases, the optimal iterative parameters of these two algorithms are analyzed respectively.
### Mathematical Model
The general form of the absolute value equation (AVE) is:
\[ Ax - |x| = b, \]
where \( A \in \mathbb{R}^{n \times n} \) and \( b \in \mathbb{R}^n \) are known, and \( x \in \mathbb{R}^n \) is unknown. Here \( |x|=(|x_1|, |x_2|,\ldots, |x_n|)^T \).
### Research Background
The absolute value equation (AVE) is equivalent to the linear complementarity problem (LCP), so it has received extensive attention in the fields of numerical optimization and numerical algebra. In addition, AVE also appears in the characterization of solutions of interval linear equations and the characterization of the regularity of interval matrices.
### Main Contributions
1. **Convergence Analysis**: The paper analyzes in detail the convergence of two iterative methods (Algorithm 1 and Algorithm 2) and gives the corresponding theorems (Theorem 1.1 and Theorem 1.2).
- For Algorithm 1, if the condition:
\[
\rho(R^{-1}S)<1
\]
is satisfied, where \( R = I-\lambda E|M_A| \), \( S=\lambda E + |I-\lambda E N_A| \), then for any initial point \( x^{(0)}\in\mathbb{R}^n \), the sequence \( \{x^{(k)}\}_{k = 0}^{\infty} \) generated by Algorithm 1 converges to the unique solution of AVE (1).
- For Algorithm 2, if the condition:
\[
\rho(G^{-1}J)<1
\]
is satisfied, where \( G = I - D_A^{-1}|M_A| \), \( J=I+\lambda E-|\lambda E A+D_A^{-1}M_A| \), then for any initial point \( x^{(0)}\in\mathbb{R}^n \), the sequence \( \{x^{(k)}\}_{k = 0}^{\infty} \) generated by Algorithm 2 converges to the unique solution of AVE (1).
2. **Optimal Iterative Parameters**: The paper discusses the optimal iterative parameters of two improved algorithms (Algorithm 3 and Algorithm 4) and verifies these conclusions through numerical experiments.
### Conclusion
Through the analysis of the convergence and optimal iterative parameters of two iterative methods, the paper provides an effective theoretical framework and practical tool for solving absolute value equations. Future research can further explore how to determine the optimal iterative parameters in more general cases.