Unified analysis on Petrov-Galerkin method into Symm's integral of the first kind

Yidong Luo

DOI: https://doi.org/10.48550/arXiv.1911.07638

2020-04-18

Abstract:On bounded and simply connected planar analytic domain $ \Omega $, by $ 2\pi $ periodic parametric representation of boundary curve $ \partial \Omega $, Symm's integral equation of the first kind takes form $ K \Psi = g $, where $ K $ is seen as an operator mapping from $ L^2(0,2\pi) $ to itself. The classical result show complete convergence and error analysis in $ L^2 $ setting for least squares, dual least squares, Bubnov-Galerkin methods with Fourier basis when $ g \in H^r(0,2\pi), \ r \geq 1 $. In this paper, weakening the boundary $ \partial \Omega $ from analytic to $ C^3 $ class, we maintain the convergence and error analysis from analytic case. Besides, it is proven that, when $ g \in H^r(0,2\pi), \ 0 \leq r < 1 $, the least squares, dual least squares, Bubnov-Galerkin methods with Fourier basis will uniformly diverge to infinity at first order. The divergence effect and optimality of first order rate are confirmed in an example.

Numerical Analysis

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the convergence and divergence of Symm's first - kind integral equations in numerical analysis, especially when the boundary conditions are weakened from analytic boundaries to boundaries of class \(C^3\). Specifically:

1. **Convergence and error analysis under weakened boundary conditions**: The paper weakens the boundary conditions from analytic boundaries to boundaries of class \(C^3\), and on this basis, maintains the convergence and error analysis of the least - squares method, the dual least - squares method, and the Bubnov - Galerkin method.

2. **Divergence analysis**: For \(g\in H^r(0, 2\pi)\) with \(0\leq r < 1\), the paper proves that the least - squares method, the dual least - squares method, and the Bubnov - Galerkin method will uniformly diverge to infinity at a first - order rate in the \(L^2\) norm. This indicates that in some cases, these methods may not be applicable or require special treatment.

3. **Verification and optimization**: Through a specific example, the paper verifies that the first - order divergence rate is optimal, that is, this divergence rate cannot be further improved by other methods.

In summary, the main contributions of this paper are:
- Maintaining the classical convergence and error analysis results under weaker boundary conditions.
- Proposing the divergence of the least - squares method, the dual least - squares method, and the Bubnov - Galerkin method under specific conditions and proving the optimality of this divergence.
- Providing a theoretical basis for subsequent research, especially being of great significance when dealing with numerical solutions of integral equations under non - smooth boundary conditions.

Hope this information can help you understand the research objectives and main achievements of this paper. If you have more questions, feel free to continue asking!