A non-conditional divergence criteria of Petrov-Galerkin method for bounded linear operator equation

TL;DR

This paper investigates the divergence behavior of Petrov-Galerkin methods for bounded linear operator equations when the right-hand side is outside the range of the operator, providing new theoretical insights and divergence criteria.

Contribution

It introduces a non-conditional divergence criterion for Petrov-Galerkin methods applicable to general bounded linear operators, including non-dense ranges.

Findings

Proves divergence of Petrov-Galerkin solutions when $b otin ext{Range}(A)$ for dense range operators.

Establishes a general divergence result for operators with non-dense range.

Demonstrates applications illustrating the divergence behavior in various scenarios.

Abstract

Petrov-Galerkin methods are always considered in numerical solutions of differential and integral equations $ Ax=b $. It is common to consider the convergence and error analysis when $ b \in \mathcal{R}(A) $ which make the equation solvable. However, the case when $ b \notin \mathcal{R}(A) $ is always ignored. In this paper, we consider the numerical behavior of Petrov-Galerkin methods when $ b \notin \mathcal{R}(A) $. It is a natural guess that when $ b \in \mathcal{R}(A) $, the corresponding approximate solution constructed by Petrov-Galerkin methods with arbitrary basis will diverge to infinity. We prove this conjecture for bounded linear operator equation with dense range $ \mathcal{R}(A) $ and give a more general divergence result for bounded linear operator equation with not necessarily dense range $ \mathcal{R}(A) $. Several applications show its power.