Open Access
This article is

- freely available
- re-usable

*Math. Comput. Appl.*
**2018**,
*23*(4),
73;
https://doi.org/10.3390/mca23040073

Article

Iterated Petrov–Galerkin Method with Regular Pairs for Solving Fredholm Integral Equations of the Second Kind

Departamento de Matemática, Facultad de Ingeniería, Universidad de Buenos Aires, C1063ACV Buenos Aires, Argentina

^{*}

Author to whom correspondence should be addressed.

Received: 22 October 2018 / Accepted: 12 November 2018 / Published: 13 November 2018

## Abstract

**:**

In this work we obtain approximate solutions for Fredholm integral equations of the second kind by means of Petrov–Galerkin method, choosing “regular pairs” of subspaces, $\{{X}_{n},{Y}_{n}\},$ which are simply characterized by the positive definitiveness of a correlation matrix. This choice guarantees the solvability and numerical stability of the approximation scheme in an easy way, and the selection of orthogonal basis for the subspaces make the calculations quite simple. Afterwards, we explore an interesting phenomenon called “superconvergence”, observed in the 1970s by Sloan: once the approximations ${u}_{n}\in {X}_{n}$ to the solution of the operator equation $u-Ku=g$ are obtained, the convergence can be notably improved by means of an iteration of the method, ${u}_{n}^{*}=g+K{u}_{n}$. We illustrate both procedures of approximation by means of two numerical examples: one for a continuous kernel, and the other for a weakly singular one.

Keywords:

Fredholm integral equations; numerical solutions; Petrov–Galerkin method; regular pairs; iterated methods## 1. Introduction

Fredholm equations of the second kind are integral equations of the form
with $u$ an unknown function in a Banach space $X$. The kernel $k:\left[a,b\right]\times \left[a,b\right]\to R$ and the right-hand side $g:\left[a,b\right]\to R$ are given functions.

$$u(t)-{{\displaystyle \int}}_{a}^{b}k(t,s)u(s)ds=g(t)\forall t\in \left[a,b\right]$$

They appear in different areas of applied mathematics, sometimes as equivalent formulation for boundary value problems with ordinary differential equations, and there are many problems of mathematical physics that are modelled with Fredholm integral equations with different kernels (see, for example, [1,2,3]).

The equation may be written
by defining the operator $K:X\to X$, $K(u)(.)={{\displaystyle \int}}_{a}^{b}k(.,s)u(s)ds$.

$$u-Ku=g$$

If for the kernel $k(t,s)$ the operator $K$ is bounded, a sufficient condition to guarantee the existence and uniqueness of a solution of Equation (2) is that $\Vert K\Vert <1$ (see [4], Theorem 2.14, p. 23).

Petrov–Galerkin is a projection method often proposed to find numerical approximate solutions to this type of integral equation. The idea is to choose appropriate sequences of finite dimensional subspaces of $X$, ${\{{X}_{n}\}}_{n\in N}$ and ${\{{Y}_{n}\}}_{n\in N}$, the trial and test subspaces respectively, where the unknown $u$ and the data $g$ are to be projected.

In the case of being $X$ a Hilbert space with inner product $\langle .,.\rangle $, the Petrov–Galerkin method looks for ${u}_{n}\in {X}_{n}$ such that
and, as ${X}_{n}$ and ${Y}_{n}$ are subspaces of dimension ${d}_{n}<\infty $, solving Equation (3) reduces to solve a linear algebraic system of equations represented by a ${d}_{n}\times {d}_{n}$ matrix.

$$\langle {u}_{n}-K{u}_{n},v\rangle =\langle g,v\rangle \forall v\in {Y}_{n}$$

In [5] it is proved that, if $K:X\to X$ is a compact linear operator not having 1 as an eigenvalue, and the pair $\{{X}_{n},{Y}_{n}\}$ is a regular pair—a concept to be defined in the next section—Equation (3) has a unique solution ${u}_{n}$ which satisfies
where the constant C does not depend on $n$.

$$\Vert u-{u}_{n}\Vert {}_{X}\le C.in{f}_{x\in {X}_{n}}{\Vert x-u\Vert}_{X}$$

Solvability and numerical stability of the approximation scheme are, in this way, assured, and the accuracy of the approximation ${u}_{n}$ to the unique solution $u$ of Equation (2) does not depend formally on ${Y}_{n}$, as can be noted in Equation (4). The goal is to choose test function subspaces ${Y}_{n}$ that are easy to handle, while the quality of convergence of the method is preserved.

In addition, the convergence can even be improved by means of an iteration of the method: once the approximations ${u}_{n}\in {X}_{n}$ are obtained, a new sequence of approximate solutions ${u}_{n}^{*}\in {X}_{n}$ can be built by means of a simple procedure (see [6,7,8]):

$${u}_{n}^{*}=g+K{u}_{n}$$

In this work we choose pairs of simple subspaces $\{{X}_{n},{Y}_{n}\}$ generated by Legendre polynomials and show the goodness of the approximations in two numerical examples with known solution, one of them having singular kernel. We then improved the convergence by means of an iteration of the method and show why the approximation is better, even for small values of $n\in N$.

## 2. Method

Let $(X,\langle .,.\rangle )$ be a Hilbert space, $\Vert .\Vert $ the associated norm, and $K:X\to X$ a compact linear operator. It is shown in [4] that, if $\Vert K\Vert <1$, there exists a solution $u\in X$ to Equation (2) for $g\in X$ a given function, and it is unique. We are interested in looking for a good approximation to $u\in X$ satisfying Equation (2).

For each $n\in {N}_{0}$ let us consider subspaces ${X}_{n}\subset X,{Y}_{n}\subset X$, with $\mathrm{dim}({X}_{n})=\mathrm{dim}({Y}_{n})={d}_{n}<\infty $. The Petrov–Galerkin method for Equation (2) is a numerical method to find ${u}_{n}\in {X}_{n}$ satisfying Equation (3).

For the method to be useful, it is necessary to establish conditions under which Equation (3) has a unique solution ${u}_{n}\in {X}_{n}$ and $\underset{n\to \infty}{\mathrm{lim}}\Vert u-{u}_{n}\Vert {}_{X}=0$ for $u$ the unique solution of Equation (2).

It is easy to show that the condition
ensures the existence of a unique solution ${u}_{n}\in {X}_{n}$ for Equation (3). From [4] (p. 243), convergence can be expected only if
so, from now on, the sequences of subspaces ${\{{X}_{n}\}}_{n\in N}$ and ${\{{Y}_{n}\}}_{n\in N}$ are both chosen verifying this condition of denseness.

$${X}_{n}{}^{\perp}{{\displaystyle \cap}}^{\text{}}{Y}_{n}=\{0\}$$

$$\forall x\in X,\exists \{{x}_{n},n\in N\}\subset {X}_{n}:\underset{n\to \infty}{\mathit{lim}}{x}_{n}=x$$

Following [5], and denoting by $\{{X}_{n},{Y}_{n}\}$ the sequences of subspaces, the pair $\{{X}_{n},{Y}_{n}\}$ is said to be ‘’regular’’ if there exists a linear surjective operator ${\mathsf{\Pi}}_{n}:{X}_{n}\to {Y}_{n}$ satisfying

- $\exists {C}_{1}\in R/\forall x\in {X}_{n}:\Vert x\Vert \le {C}_{1}\sqrt{\langle x,{\mathsf{\Pi}}_{n}x\rangle}$
- $\exists {C}_{2}\in R/\forall x\in {X}_{n}:\Vert {\mathsf{\Pi}}_{n}x\Vert \le {C}_{2}\Vert x\Vert $

It is easy to show that the surjectivity of ${\mathsf{\Pi}}_{n}$ and (i.) assure the condition of Equation (6).

From [5] (p. 411), the following theorem summarizes the conditions for the existence and uniqueness of the solutions of Equation (3) and their convergence to the solution of Equation (2):

**Theorem**

**1.**

Let$X$be a Hilbert space and$K:X\to X$a compact linear operator not having 1 as eigenvalue. Suppose${X}_{n}$and${Y}_{n}$are finite dimensional subspaces of$X$, with $\mathit{dim}({X}_{n})=\mathit{dim}({Y}_{n})$, verifying that$\{{X}_{n},{Y}_{n}\}$is a regular pair and, for each$x\in X$, there exist sequences$\{{x}_{n},n\in N\}\subset {X}_{n}$and$\{{y}_{n},n\in N\}\subset {Y}_{n}$so that$\underset{n\to \infty}{\mathit{lim}}{x}_{n}=x$and$\underset{n\to \infty}{\mathit{lim}}{y}_{n}=x$. Then, there exists${n}_{0}\in N$such that, for$n>{n}_{0}$, equation$\langle {u}_{n}-K{u}_{n},v\rangle =\langle g,v\rangle \forall v\in {Y}_{n}$has a unique solution${u}_{n}\in {X}_{n}$for any given$g\in X$, that satisfies$\Vert u-{u}_{n}\Vert \le C.in{f}_{x\in {X}_{n}}\Vert x-u\Vert $, where$u\in X$is the unique solution of$u-Ku=g$and C is constant not dependent of n.

From [9], the characterization of a regular pair is simple by means of the so called “correlation matrix”. Let $\{{\phi}_{i}^{n},i=1,\dots ,{d}_{n}\}$ and $\{{\psi}_{j}^{n},j=1,\dots ,{d}_{n}\}$ be bases of ${X}_{n}$ and ${Y}_{n}$, respectively, and define the ${d}_{n}\times {d}_{n}$ matrices ${\left[G({X}_{n})\right]}_{ij}\u2254\langle {\phi}_{i}^{n},{\phi}_{j}^{n}\rangle $, ${\left[G({Y}_{n})\right]}_{ij}\u2254\langle {\psi}_{i}^{n},{\psi}_{j}^{n}\rangle $, the correlation matrix ${\left[G({X}_{n},{Y}_{n})\right]}_{ij}\u2254\langle {\phi}_{i}^{n},{\psi}_{j}^{n}\rangle $, and ${\left[{G}_{+}({X}_{n},{Y}_{n})\right]}_{ij}=\frac{1}{2}({\left[G({X}_{n},{Y}_{n})\right]}_{ij}+{\left[G({X}_{n},{Y}_{n})\right]}_{ji})$, for $i,j=1,\dots ,{d}_{n}$.

Note that for the real case, $G({X}_{n})$ and $G({Y}_{n})$ are positive definite and ${G}_{+}({X}_{n},{Y}_{n})$ is the symmetric part of the correlation matrix. We have proven (see [10]) the following

**Proposition**

**1.**

If${G}_{+}({X}_{n},{Y}_{n})$is positive definite,$\{{X}_{n},{Y}_{n}\}$is a regular pair.

For conciseness, we assume $\left[\mathrm{a},\mathrm{b}\right]=\left[0,1\right]$ from here on.

Let us consider $X={L}^{2}(\left[0,1\right])$.

For the interval $\left[0,1\right]$, ${S}_{n}^{m}$ is the subspace of polynomials of degree less than $m$ on each subinterval ${I}_{j,n}=(\frac{j}{{2}^{n}},\frac{j+1}{{2}^{n}}),j=0,1,\dots ,{2}^{n}-1;$ $\mathrm{dim}({S}_{n}^{m})=m{2}^{n}$ and ${S}_{0}^{m}\subset {S}_{1}^{m}\dots \subset {{\displaystyle \cup}}_{n=0}^{\infty}{S}_{n}^{m}\u2254{S}^{m}$. $\overline{{S}^{m}}={L}^{2}(\left[0,1\right])$ since every continuous functions with compact support on $\left[0,1\right]$ can be approximated by steps functions on subintervals of the form $(\frac{j}{{2}^{n}},\frac{j+1}{{2}^{n}}),j=0,1,\dots ,{2}^{n}-1$, and they are dense in ${L}^{2}(\left[0,1\right])$. The condition of Equation (7) of denseness is, so, satisfied.

As the basis of ${S}_{n}^{m}$, we will choose Legendre polynomials of degree less than $m$, adapted to each of the subintervals ${I}_{j,n}$: ${S}_{n}^{m}=\mathrm{span}\{{p}_{i}^{j,n},j=0,1,\dots ,{2}^{n}-1,i=0,1,\dots ,m-1\}$ with ${p}_{i}^{j,n}(x)={Q}_{i}^{j,n}(x)/\Vert {Q}_{i}^{j,n}(x)\Vert ,{Q}_{i}^{j,n}(x)={L}_{i}({2}^{n}(2x-\text{}\frac{2j+1}{{2}^{n}})).{\text{}\mathsf{\chi}}_{{I}_{j,n}}$, ${L}_{i}(x)$ the Legendre polynomial of degree $i$ on $\left[-1,1\right]$ and ${\mathsf{\chi}}_{{I}_{j,n}}$ the characteristic function of the subinterval ${I}_{j,n}$.

We rename ${q}_{l}^{i,n}\u2254{p}_{l}^{i,n+1}$ to simplify the notation and choose the sequences of subspaces ${X}_{n}={S}_{n}^{2}=\mathrm{span}\{{p}_{0}^{0,n},{p}_{1}^{0,n},{p}_{0}^{1,n},{p}_{1}^{1,n},\dots ,{p}_{0}^{{2}^{n}-1,n},{p}_{1}^{{2}^{n}-1,n}\}$ and ${Y}_{n}={S}_{n+1}^{1}=\mathrm{span}\{{q}_{0}^{0,n},{q}_{0}^{1,n},,\dots ,{q}_{0}^{{2}^{n+1}-1,n}\}$, with $\mathrm{dim}({X}_{n})={2.2}^{n}={2}^{n+1}={1.2}^{n+1}=\mathrm{dim}({Y}_{n})={d}_{n}$.

Note that the condition of Equation (6), ${X}_{n}{}^{\perp}{{\displaystyle \cap}}^{\text{}}{Y}_{n}=\{0\},$ which assures the uniqueness of the solution of Equation (3) for each $n,$ is fulfilled.

Indeed, suppose that ${q}_{0}^{j,n}\in {Y}_{n}$, for $j$ between $0$ and ${2}^{n+1}-1,$ satisfies that ${q}_{0}^{j,n}\perp {p}_{0}^{i,n}$ and ${q}_{0}^{j,n}\perp {p}_{1}^{i,n}$ for every $i=0,\dots ,{2}^{n}-1$; then ${{\displaystyle \int}}_{\frac{j}{{2}^{n+1}}}^{\frac{j+1}{{2}^{n+1}}}{q}_{0}^{j,n}.{p}_{0}^{\frac{j}{2},n}dx=\frac{{q}_{0}^{j,n}.{p}_{0}^{\frac{j}{2},n}}{{2}^{n+1}}=0$ if $j$ is even or ${{\displaystyle \int}}_{\frac{j+1}{{2}^{n+1}}}^{\frac{j+2}{{2}^{n+1}}}{q}_{0}^{j+1,n}.{p}_{0}^{\frac{j+1}{2},n}dx=\frac{{q}_{0}^{j+1,n}.{p}_{0}^{\frac{j+1}{2},n}}{{2}^{n+1}}=0$ if $j$ is odd, which is impossible, since ${q}_{0}^{j,n}\ne 0$ and ${p}_{0}^{i,n}\ne 0$ for every $j$ and every $i$.

Renaming the elements of the basis as ${\phi}_{i}^{n}(x)\u2254{p}_{0}^{(i-1){2}^{-1},n}$ for $i$ odd, ${\phi}_{i}^{n}(x)\u2254{p}_{1}^{(i-2){2}^{-1},n}(x)$ for $i$ even and ${\psi}_{j}^{n}(x)\u2254{q}_{0}^{j,n}$, it is easy to show that $\{{X}_{n},{Y}_{n}\}$ is a regular pair, since ${G}_{+}({X}_{n},{Y}_{n})$ is a ${2}^{n+1}\times {2}^{n+1}$ matrix with definite positive $2\times 2$ blocks on its principal diagonal and 0s everywhere else (for details, see [10]).

Once the approximations ${u}_{n}$ are obtained, an almost natural iteration procedure is possible to obtain new approximations of the real solution $u$. Since the equation being solved is $u-Ku=g$, or $u=g+Ku$, we can define ${u}_{n}^{*}=g+K{u}_{n}$. This first iteration, applied to the Galerkin method, has been studied since the 1970s, because, under appropriated conditions of $K$ and $g$, it reveals an interesting phenomenon called “superconvergence” (see [6,11], for instance), as the order of convergence can be notably improved.

In [11] (p. 42), the existence of a unique solution ${u}_{n}^{*}$ for Equation (5) and the improvement of the order of convergence of the iterated approximation for any projection method are guaranteed.

In [5] (p. 419), the superconvergence in the Petrov–Galerkin scheme applied to Fredholm equations of the second kind is explained and, under the same conditions of the Theorem 1 we have just enunciated, a theorem establishes that ${u}_{n}^{*}$ satisfies
for $u$ the unique solution in ${L}^{2}(\left[0,1\right])$ of Equation (1), showing that the improvement of the order of convergence by the iteration procedure is due to the approximation of the kernel $k$ by elements $\psi $ of test subspace ${Y}_{n}$. In our work, the elements of test subspaces ${Y}_{n}={S}_{n+1}^{1}$ are piecewise constant functions on the dyadic subintervals ${I}_{j,n}=(\frac{j}{{2}^{n}},\frac{j+1}{{2}^{n}}),j=0,1,\dots ,{2}^{n}-1$.

$$\Vert u-{u}_{n}^{*}\Vert {}_{2}\le C.{\mathrm{ess}\text{}\mathrm{sup}}_{s\in \left[0,1\right]}\left[{\mathrm{inf}}_{\psi \in {Y}_{n}}\Vert k(.,s)-\psi \Vert {}_{2}\right].{\mathrm{inf}}_{x\in {X}_{n}}\Vert x-u\Vert {}_{2}$$

We will now follow an idea from [6] (p. 67). For $f$ a Lipschitz function on an interval $I$, with Lipschitz constant $L$, let ${\psi}_{\frac{1}{2}}$ be the piecewise constant function defined by ${\psi}_{\frac{1}{2}}(t)=f({t}_{i}+\frac{h}{2})$ for $t\in {I}_{i}=\left[{t}_{i},{t}_{i}+h\right]$, with $I={{\displaystyle \cup}}^{\text{}}{I}_{i}$ a regular partition of $I$ with norm $h$.

For any ${I}_{i}$, if $t\in {I}_{i}\text{}:|f(t)-{\psi}_{\frac{1}{2}}(t)|\le \frac{hL}{2}$, so $\Vert f-{\psi}_{\frac{1}{2}}\Vert {}_{\infty}\le \frac{hL}{2}$.

If the kernel $k$ satisfies that $k(.,s)={k}_{s}(.)$ is a Lipschitz function with Lipschitz constant ${L}_{s}$ for each $s\in \left[0,1\right]$, it is $\Vert {k}_{s}-{\psi}_{\frac{1}{2}}\Vert {}_{\infty}\le \frac{1}{2}\frac{1}{{2}^{n+1}}{L}_{s}$ and, then, ${\mathrm{inf}}_{\psi \in {Y}_{n}}\Vert {k}_{s}-\psi \Vert {}_{\infty}\le \frac{{L}_{s}}{{2}^{n+2}}$ for each $s\in \left[0,1\right]\text{}$ and, consequently, ${\mathrm{ess}\text{}\mathrm{sup}}_{s\in \left[0,1\right]}\left[{\mathrm{inf}}_{\psi \in {Y}_{n}}\Vert k(.,s)-\psi \Vert {}_{2}\right]\le \frac{1}{{2}^{n+2}}{\mathrm{ess}\text{}\mathrm{sup}}_{s\in \left[0,1\right]}{L}_{s}$.

Moreover, if ${\mathrm{ess}\text{}\mathrm{sup}}_{s\in \left[0,1\right]}{L}_{s}\infty $, from Equation (8), $\Vert u-{u}_{n}^{*}\Vert {}_{2}\le C.\frac{1}{{2}^{n+2}}{\mathrm{ess}\text{}\mathrm{sup}}_{s\in \left[0,1\right]}{L}_{s}.{\mathrm{inf}}_{x\in {X}_{n}}\Vert x-u\Vert {}_{2}$, and the approximation is actually improved.

## 3. Results

We will offer two numerical examples of the goodness of the Petrov–Galerkin method and iterated Petrov–Galerkin method with regular pairs, applied to Fredholm integral equations of the second kind: one with a continuous kernel, and the other with a weakly singular kernel ([4], p. 29; [12], p.7).

The kernel $k:\left[a,b\right]\times \left[a,b\right]\to R$ is said to be weakly singular if it verifies
with $0<\alpha <1$ and $M\in R.$

$$\left|k(s,t)\right|\le M{\left|s-t\right|}^{\alpha -1}\forall (s,t)\in \left[a,b\right]\times \left[a,b\right],s\ne t$$

Both for $k$ a continuous kernel or a weakly singular one, $K:{L}^{2}(\left[0,1\right])\to {L}^{2}(\left[0,1\right])$ is compact operator (see [4], p. 28, Theorem 2.28; and [13], p. 582, Theorem 1, respectively).

We have chosen “regular pairs” of subspaces, and orthogonal basis for them, reducing the difficulty of calculations.

We worked with ${X}_{n}={S}_{n}^{2}=\mathrm{span}\{{\phi}_{i}^{n},i=1,\dots ,{2}^{n+1}\}$ and ${Y}_{n}={S}_{n+1}^{1}=\mathrm{span}\{{\psi}_{j}^{n},j=1,\dots ,{2}^{n+1}\}$, with ${\phi}_{i}^{n}(x)=\sqrt{{2}^{n}}.{\text{}\mathsf{\chi}}_{{I}_{i-1,n}}$ for $i$ odd, ${\phi}_{i}^{n}(x)=\sqrt{{3.2}^{n}}({2}^{n+1}x-i+1).{\text{}\mathsf{\chi}}_{{I}_{i-1,n}}$ for $i$ even and ${\psi}_{j}^{n}(x)=\sqrt{{2}^{n+1}}.{\text{}\mathsf{\chi}}_{{I}_{j-1,n+1}}$.

Note that the trial space ${X}_{n}$ is generated by piecewise constant and piecewise linear orthogonal functions; in [14], only piecewise linear (not orthogonal) functions are used.

#### 3.1. Numerical Examples

#### 3.1.1. Example 1

The equation
with $g(t)=t{e}^{t}-\frac{1}{2}(1+t{e}^{t+1}){(1+t)}^{-2}$, has the exact solution $u(t)=t{e}^{t}$.

$$u(t)-\frac{1}{2}{{\displaystyle \int}}_{0}^{1}{e}^{st}u(s)ds=g(t)\forall t\left[0,1\right]$$

The linear operator $K:{L}^{2}(\left[0,1\right])\to {L}^{2}(\left[0,1\right]),\text{}K\left[u\right](t)=\frac{1}{2}{{\displaystyle \int}}_{0}^{1}{e}^{st}u(s)ds$ is compact because $k(t,s)={e}^{st}$ is continuous, and $\Vert K\Vert \le {({{\displaystyle \int}}_{0}^{1}({{\displaystyle \int}}_{0}^{1}{k}^{2}(t,s)ds)dt)}^{\frac{1}{2}}<1$, thus 1 is not an eigenvalue of $K$ and convergence of the Petrov–Galerkin method to the (unique) exact solution is guaranteed.

In Figure 1a we plot the exact solution together with the approximations ${u}_{0},{u}_{1},{u}_{2}$ and ${u}_{3}$. The quadratic errors with respect to the exact solution $u,\text{}{\epsilon}_{n}=\Vert u-{u}_{n}\Vert {}_{2},$ are, respectively, ${\epsilon}_{0}~0.160$157, ${\epsilon}_{1}~0.043244$, ${\epsilon}_{2}~0.011036$ and ${\epsilon}_{3}~0.002773$.

In Figure 1b, the plots of the exact solution together with ${u}_{1}^{*},{u}_{2}^{*}$ and ${u}_{3}^{*}$ are shown. The quadratic errors with respect to $t{e}^{t}$ are, in this case, ${\epsilon}_{0}^{*}~0.005657$, ${\epsilon}_{1}^{*}~0.000849$ and ${\epsilon}_{2}^{*}~0.000139$.

Note that the plots of the iterated approximations and the real solution are indistinguishable.

All the approximations were obtained by means of ad hoc designed algorithms, implemented with Wolfram Mathematica

^{®}9.#### 3.1.2. Example 2

The equation
with $g(t)={t}^{2}-{t}^{3}-\frac{4}{231\sqrt{3}}(32{t}^{\frac{11}{4}}+{(1-t)}^{\frac{3}{4}}(21+24t+32{t}^{2})+\frac{128}{5}{t}^{\frac{15}{4}}+\frac{{(1-t)}^{\frac{3}{4}}}{5}(77+84t+96{t}^{2}+128{t}^{3}))$, has the exact solution $u(t)={t}^{2}-{t}^{3}$.

$$u(t)-\frac{1}{\sqrt{3}}{{\displaystyle \int}}_{0}^{1}\frac{u(s)}{\sqrt[4]{\left|t-s\right|}}ds=g(t)\forall t\in \left[0,1\right]$$

The kernel $k(t,s)=\frac{1}{\sqrt{3}}\frac{1}{\sqrt[4]{\left|t-s\right|}}$ is weakly singular, with $\alpha =\frac{3}{4}$, according to (9).

Theorem 1 from [13] (p. 582) guarantees the compactness of the operator $K:{L}^{2}(\left[0,1\right])\to {L}^{2}(\left[0,1\right]),\text{}K\left[u\right](t)=\frac{1}{\sqrt{3}}{{\displaystyle \int}}_{0}^{1}\frac{u(s)}{\sqrt[4]{\left|t-s\right|}}ds$, because the necessary and sufficient conditions are verified: ${\mathrm{sup}}_{t\in \left[0,1\right]}{\Vert k(t,.)\Vert}_{2}={\mathrm{sup}}_{t\in \left[0,1\right]}{(\frac{1}{3}{{\displaystyle \int}}_{0}^{1}\frac{ds}{\sqrt{\left|t-s\right|}})}^{\frac{1}{2}}\le \frac{2}{\sqrt{3}}<\infty $ and $\underset{t\to \tau}{\mathrm{lim}}\Vert k(t,.)-k{(\tau ,.)\Vert}_{2}=0$ for $\tau \in \left[0,1\right]$.

It is $\Vert K\Vert \le {({{\displaystyle \int}}_{0}^{1}({{\displaystyle \int}}_{0}^{1}{k}^{2}(t,s)ds)dt)}^{\frac{1}{2}}<1$, thus 1 is not an eigenvalue of $K$ and convergence of the method to the (unique) exact solution is guaranteed.

In Figure 2a we plot the exact solution together with the approximations ${u}_{0},{u}_{1},{u}_{2},{u}_{3}$ and ${u}_{4}$ obtained with Mathematica

^{®}, and in Figure 2b, the exact solution together with ${u}_{0}^{*},{u}_{1}^{*}$ and ${u}_{2}^{*}$, the last one being practically indistinguishable from the exact solution. By comparing quadratic errors, the improvement of the approximation can be appreciated: for $n=2$, ${\epsilon}_{2}=\Vert u-{u}_{2}\Vert {}_{2}<0.0046$ and ${\epsilon}_{2}^{*}=\Vert u-{u}_{2}^{*}\Vert {}_{2}<0.00023$.## 4. Discussion

The Petrov–Galerkin method is applied by choosing appropriate subspaces for projecting. The choice of a “regular pair” of subspaces (easily characterized by the positive definitiveness of a correlation matrix), and orthogonal basis for them, reduce the difficulty of calculations. Iteration is shown to be a very simple way for improving convergence in a remarkable way, and better orders of convergence can be shown, even for a weakly singular kernel. It is necessary to say that, in this second numerical example, we have had difficulties with the fluid implementation of the computational algorithms because of the improper integrals involved. However, not so many computations were necessary since with $n=2$ we have obtained very good results. In [14,15], the authors propose discrete methods to face the numerical difficulties arising from the calculation of improper integrals involved in the case of weakly singular kernel.

It is appropriate to point out that, in recent papers, different discrete Galerkin approaches were proposed to solve integral equations. In particular, meshless discrete Galerkin methods were successfully developed for solving Fredholm and Hammerstein integral equations for various bases. See, for example, [16] for an effective and stable method to estimate the solution to Hammerstein integral equations with free shape parameter radial basis functions, constructed on scattered points; [17,18], for effective computational meshless methods for solving Fredholm integral equations of the second kind with logarithmic and weakly singular kernels, using radial basis functions, meshless product integration and collocation methods; and [19,20], for efficient meshless methods for solving non-linear weakly singular Fredholm integral equations, combining discrete collocation method with locally supported radial basis functions and thin-plate splines.

Finally, a plausible line for our future work could be to explore and take advantages of some of these discrete methods of approximation to avoid the difficulties of calculations arising from the improper integrals when solving Fredholm integral equations of the second kind with weakly singular kernels.

## Author Contributions

Conceptualization, M.I.T.; formal analysis, S.A.S. and M.I.T.; investigation, S.A.S. and M.I.T.; methodology, M.I.T.; project administration, M.I.T.; software, S.A.S. and M.I.T.; supervision, M.I.T.; validation, S.A.S. and M.I.T.; visualization, S.A.S.; writing—original draft, S.A.S.; writing—review and editing, S.A.S. and M.I.T.

## Funding

This research was partially supported by Universidad de Buenos Aires, UBACyT 2018-2021, 20020170100350BA.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Lonseth, A. Sources and Applications of Integral Equations. SIAM Rev.
**1977**, 19, 241–278. [Google Scholar] [CrossRef] - Kovalenko, E.V. Some approximate methods of solving integral equations of mixed problems. J. Appl. Math. Mech.
**1989**, 53, 85–92. [Google Scholar] [CrossRef] - Assari, P. Thin plate spline Galerkin scheme for numerically solving nonlinear weakly singular Fredholm integral equations. Appl. Anal.
**2018**, 1–21. [Google Scholar] [CrossRef] - Kress, R. Linear Integral Equations, 3rd ed.; Springer: New York, NY, USA, 2014. [Google Scholar]
- Chen, Z.; Xu, Y. The Petrov–Galerkin and iterated Petrov–Galerkin methods for second-kind integral equations. SIAM J. Numer. Anal.,
**1998**, 35, 406–434. [Google Scholar] [CrossRef] - Chandler, G. Superconvergence of Numerical Solutions to Second Kind Integral Equations. Ph.D. Thesis, Australian National University, Canberra, Australia, September 1979. [Google Scholar]
- Sloan, I.H. Improvement by Iteration for Compact Operator Equations. Math. Comput.
**1976**, 30, 756–764. [Google Scholar] [CrossRef] - Sloan, I.H. The iterated Galerkin method for integral equations of the second kind. In Miniconference on Operator Theory and Partial Differential Equations; Centre for Mathematics and its Applications, Mathematical Sciences Institute, The Australian National University: Canberra, Australia, 1984; pp. 153–161. [Google Scholar]
- Chen, Z.; Micchelli, C.A.; Xu, Y. The Petrov–Galerkin method for second kind integral equations II: Multiwavelet schemes. Adv. Comput. Math.,
**1997**, 7, 199–233. [Google Scholar] [CrossRef] - Orellana Castillo, A.; Seminara, S.; Troparevsky, M.I. Regular pairs for solving Fredholm integral equations of the second kind. Poincare J. Anal. Appl.
**2018**, accepted, in press. [Google Scholar] - Sloan, I.H. Superconvergence. In Numerical Solution of Integral Equations; Goldberg, M., Ed.; Plenum Press: New York, NY, USA, 1990; pp. 35–70. [Google Scholar]
- Vainikko, G. Weakly Singular Integral Equations. Available online: http://math.tkk.fi/opetus/funasov/2006/WSIElectures.pdf (accessed on 12 November 2018).
- Graham, I.G.; Sloan, I.H. On the Compactness of Certain Integral Operators. J. Math. Anal. Appl.
**1979**, 68, 580–594. [Google Scholar] [CrossRef] - Chen, Z.; Xu, Y.; Zhao, J. The Discrete Petrov–Galerkin Method for Weakly Singular. Integral Equ. Appl.
**1999**, 11, 1–35. [Google Scholar] [CrossRef] - Chen, Z.; Micchelli, C.A.; Xu, Y. Discrete wavelet Petrov–Galerkin methods. Adv. Comput. Math.
**2002**, 16, 1–28. [Google Scholar] [CrossRef] - Assari, P.; Dehgan, M. A Meshless Discrete Galerkin Method Based on the Free Shape Parameter Radial Basis Functions for Solving Hammerstein Integral Equations. Numer. Math. Theory Methods Appl.
**2018**, 11, 540–568. [Google Scholar] [CrossRef] - Assari, P.; Adibi, H.; Dehgan, M. A meshless discrete Galerkin (MDG) method for the numerical solution of integral equations with logarithmic kernels. J. Comput. Appl. Math.
**2014**, 267, 160–181. [Google Scholar] [CrossRef] - Assari, P.; Adibi, H.; Dehgan, M. The numerical solution of weakly singular integral equations based on the meshless product integration (MPI) method with error analysis. Appl. Numer. Math.
**2014**, 81, 76–93. [Google Scholar] [CrossRef] - Assari, P.; Dehgan, M. The numerical solution of two-dimensional logarithmic integral equations on normal domains using radial basis functions with polynomial precision. Eng. Comput.
**2017**, 33, 853–870. [Google Scholar] [CrossRef] - Assari, P.; Asadi-Mehregan, F.; Dehghan, M. On the numerical solution of Fredholm integral equations utilizing the local radial basis function method. Int. J. Comput. Math.
**2018**, 1–28. [Google Scholar] [CrossRef]

**Figure 1.**(

**a**) Approximations to exact solution of Equation (10) before iteration: Purple for $n=0$, blue for $n=1$, green for $n=2$, yellow for $n=3$, and, dashed in red, the exact solution. The quadratic errors with respect to the exact solution are, respectively, ${\epsilon}_{0}~0.160$157, ${\epsilon}_{1}~0.043244$, ${\epsilon}_{2}~0.011036$ and ${\epsilon}_{3}~0.002773$; (

**b**) the approximations for $n=1,2$ and 3 after iteration are graphically indistinguishable from the exact solution of the equation (10). The quadratic errors with respect to $t{e}^{t}$ are, in this case, ${\epsilon}_{1}^{*}~0.005657$, ${\epsilon}_{2}^{*}~0.000849$ and ${\epsilon}_{3}^{*}~0.000139$.

**Figure 2.**(

**a**) Approximations to exact solution of Equation (11) before iteration: purple for $n=0$, blue for $n=1$, green for $n=2$, yellow for $n=3$, orange for $n=4$, and, dashed in red, the exact solution; (

**b**) the same approximations after the iteration. For $n=2$, the approximation is graphically indistinguishable from the exact solution of the Equation (11), and the quadratic errors is reduced from ${\epsilon}_{2}=\Vert u-{u}_{2}\Vert {}_{2}<0.0046$ to ${\epsilon}_{2}^{*}=\Vert u-{u}_{2}^{*}\Vert {}_{2}<0.00023.$

© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).