Quasiquadrature Solution of the Linear Integral Equations of the Second Kind in the Class of Integrable Functions

Abstract

The analog of the quadrature solution of the equation of the second kind is considered. Fundamental difference from classical quadrature formulas is as follows. On segments of the chosen grid not values of functions, but their integral average values are used. Equations of Fredholm and Volterra are considered. The graphical representation of the solution is discussed. Computing examples show expediency of such approach in appropriate cases.

Keywords

Share and Cite:

Dobrovolsky, I. (2020) Quasiquadrature Solution of the Linear Integral Equations of the Second Kind in the Class of Integrable Functions. Open Access Library Journal, 7, 1-6. doi: 10.4236/oalib.1106069. 1. Introduction

Numerical methods of the solution of the equations are universal. This is their important quality. Quadrature formulas are quite often used in the solution of the integral equations. Quadrature formulas are applied only to continuous functions. In other words, the integrable function has to have a certain value at each point. This requirement cannot be fulfilled for the class of integrable functions. In such situation the alternative version of the quadrature solution of the integral equation is possible. This work is further work  .

For convenience of readers in this work, fundamentals of the article  are repeated.

2. Fredholm’s Equation

The essence of the offered algorithm is as follows. On the main segment of the integral equation the system of segments is formed and on each such segment the integral average value of function is defined.

The equation is considered

$y\left(x\right)-\underset{a}{\overset{b}{\int }}K\left(x,t\right)y\left(t\right)\text{d}t=f\left(x\right)$ (2.1)

which has the unique solution in a class of the integrable functions.

We form on the segment [a, b] a uniform grid of N segments with a step

$h=\frac{b-a}{N}$ (2.2)

On the grid there is N + 1 of points. We build segments δi in the vicinity of each point

$\begin{array}{l}{\delta }_{0}=\left[a,a+\frac{h}{2}\right],\text{\hspace{0.17em}}{\delta }_{i}=\left[a+\frac{h}{2}\left(2i-1\right),a+\frac{h}{2}\left(2i+1\right)\right],\text{\hspace{0.17em}}i=1,\cdots ,N-1,\\ {\delta }_{N}=\left[b-\frac{h}{2},b\right]\end{array}$ (2.3)

We will enter concept of integral average values on these segments. They have the form or functions y(x) and f(x)

$\begin{array}{l}{w}_{i}=\frac{1}{{\delta }_{i}}\underset{{\delta }_{i}}{\int }y\left(x\right)\text{d}x,\\ {f}_{j}=\frac{1}{{\delta }_{j}}\underset{{\delta }_{j}}{\int }f\left(x\right)\text{d}x\end{array}$ (2.4)

Let’s provide the function y(t) under integral (2.1) in the form

$yt=\underset{i=0}{\overset{N}{\sum }}{w}_{i}{\delta }_{i}$ (2.5)

where δi is characteristic function of the corresponding segment.

$y\left(x\right)-\underset{i=0}{\overset{N}{\sum }}{K}_{i}\left(x\right){w}_{i}=f\left(x\right)$ (2.6)

where ${K}_{i}\left(x\right)=\underset{{\delta }_{i}}{\int }K\left(x,t\right)\text{d}t$ .

Let’s carry out to (2.6) integral averaging on segments δj

${w}_{j}-\underset{i=1}{\overset{N}{\sum }}{K}_{ji}{w}_{i}={f}_{j},\text{\hspace{0.17em}}\text{\hspace{0.17em}}j=0,\cdots ,N$ (2.7)

where ${K}_{ji}=\frac{1}{{\delta }_{j}}\underset{{\delta }_{j}}{\int }\underset{{\delta }_{i}}{\int }K\left(x,t\right)\text{d}t\text{d}x$ , ${f}_{j}=\frac{1}{{\delta }_{j}}\underset{{\delta }_{j}}{\int }f\left(x\right)\text{d}x$ , j is number of the equation, i is number of item in the equation.

(2.7) is system of the equations for definition of integral average values of unknown function on system of segments (2.3).

3. Volterra’s Equation

The equation is considered

$y\left(x\right)-\underset{0}{\overset{x}{\int }}K\left(x,t\right)y\left(t\right)\text{d}t=f\left(x\right)$ (3.1)

For the given h we accept the grid of segments

${\delta }_{1}=\left[0,\frac{h}{2}\right],\text{\hspace{0.17em}}{\delta }_{i}=\left[\frac{h}{2}\left(2i-3\right),\frac{h}{2}\left(2i-1\right)\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}i=2,3,\cdots$ (3.2)

Let’s consider two grids (3.2) with steps of h and h/2. Then the system of the bisecting points of the whole segments of the first grid completely contains in a system of the bisecting points of the second grid. Thanks to it, it is possible to carry out their comparison and processing.

We accept $y={w}_{1}{\delta }_{1}$ on the first step under integral in (3.1). After averaging on x of the received equation on the segment δ1 it is possible to calculate w1

${w}_{1}=\frac{{f}_{1}}{1-{K}_{1}}$ (3.3)

where ${f}_{1}=\frac{2}{h}\underset{0}{\overset{h/2}{\int }}f\left(x\right)\text{d}x$ and ${K}_{1}=\frac{2}{h}\underset{0}{\overset{h/2}{\int }}\underset{0}{\overset{x}{\int }}K\left(x,t\right)\text{d}t\text{d}x$ .

For further calculations we introduce designations

$\begin{array}{l}{f}_{n}=\frac{1}{h}\underset{h\left(2n-3\right)}{\overset{h\left(2n-1\right)/2}{\int }}f\left(x\right)\text{d}x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}n=2,3,\cdots \\ {k}_{n,1}=\frac{1}{h}\underset{h\left(2n-3\right)/2}{\overset{h\left(2n-1\right)/2}{\int }}\underset{0}{\overset{h/2}{\int }}K\left(x,t\right)\text{d}t\text{d}x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}n=2,3,\cdots \\ {K}_{n,i}=\frac{1}{h}\underset{h\left(2n-3\right)/2}{\overset{h\left(2n-1\right)/2}{\int }}\underset{h\left(2i-3\right)/2}{\overset{h\left(2i-1\right)/2}{\int }}K\left(x,t\right)\text{d}t\text{d}x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}n=3,4,\cdots ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}n>i\\ {k}_{n,n}=\frac{1}{h}\underset{h\left(2n-3\right)/2}{\overset{h\left(2n-1\right)/2}{\int }}\underset{h\left(2n-3\right)/2}{\overset{x}{\int }}K\left(x,t\right)\text{d}t\text{d}x,\text{\hspace{0.17em}}\text{\hspace{0.17em}}n=2,3,\cdots \end{array}$ (3.4)

On the second step the Equation (3.1) receives the form

${w}_{2}-{w}_{1}{k}_{2,1}-{w}_{2}{k}_{2,2}={f}_{2}$ (3.5)

from where

${w}_{2}=\frac{{f}_{2}+{w}_{1}{k}_{2,1}}{1-{k}_{2,2}}$ (3.6)

On the third and the subsequent steps we receive

${w}_{n}=\frac{{f}_{n}+{w}_{1}{k}_{n,1}+\underset{i=2}{\overset{n-1}{\sum }}{w}_{i}{K}_{n,i}}{1-{k}_{n,n}}$ (3.7)

The linear change of variables transforms integrals with variable limits into integrals with constant limits

$\underset{c}{\overset{d}{\int }}\underset{a\left(x\right)}{\overset{b\left(x\right)}{\int }}f\left(x,t\right)\text{d}t\text{d}x=\underset{c}{\overset{d}{\int }}\underset{0}{\overset{1}{\int }}\left(b-a\right)f\left(x,y\left(b-a\right)+a\right)\text{d}y\text{d}x$ (3.8)

which are calculated by means of the known algorithms.

4. Graphical Representation and Possibility of Refinement of the Solution

In the quasiquadrature solution integral average value cannot be referred to any certain point of the segment and it is possible to accept that function is constant on each segment. Therefore, the graph of the quasiquadrature solution is step function, i.e. the histogram. It is reasonable to consider that integral average value is value in the central point of each segment and to build the graph using this assumption.

On segments where function is rather smooth, it is possible to construct algorithm for increase in accuracy of solutions. Let’s consider such segment. We will enter on this segment the new coordinate $z=x-{x}_{0}$ where x0 is bisecting point of a segment. Let’s construct system of segments hi with the general center z = 0. We assume ${h}_{i+1}<{h}_{i}$ and ${h}_{i}\to 0$ at $i\to \infty$ . Obviously

$\frac{1}{{h}_{i}}\underset{-{h}_{i}/2}{\overset{{h}_{i}/2}{\int }}y\left(z\right)\text{d}z\to y\left(0\right)=w\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{at}\text{\hspace{0.17em}}\text{ }i\to \infty$ (4.1)

where w is exact value of the integral average value in the vicinity of the point of z = 0.

According to Weierstrass’s theorem continuous function can be approximated arbitrary exactly by polynom and we will present on the segment h1 the function y(z) in the form

$y\left(z\right)=y\left(0\right)+\underset{k=1}{\sum }{a}_{k}{z}^{k}$ (4.2)

where lack of the top sign at the sum means that the remainder term is included in this sum.

Then

$\frac{1}{{h}_{i}}\underset{-{h}_{i}/2}{\overset{{h}_{i}/2}{\int }}y\left(z\right)\text{d}z=y\left(0\right)+\underset{k=1}{\sum }\frac{{a}_{2k}}{{4}^{k}\left(2k+1\right)}{h}_{i}^{2k}=y\left(0\right)+\underset{k=1}{\sum }{b}_{k}{h}_{i}^{2k}={w}_{i}$ (4.3)

Now (4.3) taking into account (4.1) and (4.2) it is possible to write down in the form

$w-{w}_{i}=\underset{k=1}{\sum }{b}_{k}{h}_{i}^{2k}$ (4.4)

Expression (4.4) matches the formula (2.1) in  which is used for carrying out extrapolation of Richardson, and it is possible to use the results received in  . In  value ${w}_{i}={w}_{i}^{\left(0\right)}$ is called extrapolation of the zero order. For the most important case when

${h}_{i+1}=\frac{{h}_{i}}{2}$ (4.5)

we have the recurrence formula

${w}_{i}^{\left(j+1\right)}=\frac{{4}^{j+1}{w}_{i+1}^{\left(j\right)}-{w}_{i}^{\left(j\right)}}{{4}^{j+1}-1}$ (4.6)

Richardson’s extrapolation is effective only at sufficient smoothness of the sought function. However, there is no need to conduct special research of smoothness of function: from the extrapolation table and derivative tables  will automatically be defined to what order of extrapolation is effective.

5. Example. Fredholm’s Equation

The equation is considered

$y\left(x\right)-\underset{0}{\overset{1}{\int }}\sqrt{|t-x|}y\left(t\right)\text{d}t=\frac{1}{\sqrt{x}}-\frac{x\pi }{2}-\frac{x\mathrm{ln}x}{2}-\sqrt{1-x}+\frac{1}{2}x\mathrm{ln}\left(2-x+2\sqrt{1-x}\right)$ (5.1)

which has the exact solution $y=\frac{1}{\sqrt{x}}$ .

Results of the quasiquadrature solution of this equation are presented in Table 1.

In Table 1 y0 and yN are the integral average values calculated according to the exact solution.

Let’s make some analysis of the received solution. We see that the function y(x) grows at approach to a point x = 0. We will assume that this growth has power character. Specifically: we will assume that in the vicinity of a point x = 0 function has form $p+q{x}^{n}$ . Then

$\frac{2}{h}\underset{0}{\overset{h/2}{\int }}\left(p+q{x}^{n}\right)\text{d}x=p+\frac{q{h}^{n}}{\left(n+1\right){2}^{n}}=p+\frac{q}{{2}^{n}\left(n+1\right){N}^{n}}$ (5.2)

For definition of unknown p q and n we equate the received expression to three values from Table 1

$\begin{array}{l}p+\frac{q}{{2}^{n}\left(n+1\right){160}^{n}}={w}_{0}\left(160\right)=35.777063\\ p+\frac{q}{{2}^{n}\left(n+1\right){240}^{n}}={w}_{0}\left(240\right)=43.817803\\ p+\frac{q}{{2}^{n}\left(n+1\right){320}^{n}}={w}_{0}\left(320\right)=50.596448\end{array}$ (5.3)

The solution of system (5.3) gives (after rounding) $n=-0.5,p=0,q=1$ . This solution correctly defines behavior of function y(x).

Table 1. Quasiquadrature solution of Equation (5.1).

Table 2. Quasiquadrature solution of Equation (6.1).

6. Example. Volterra’s Equation

The equation is considered

$y\left(x\right)-\underset{0}{\overset{x}{\int }}\frac{y\left(t\right)\text{d}t}{\sqrt{x-t}}=\sqrt{x}-\frac{x\pi }{2}$ (6.1)

which has the exact solution $y=\sqrt{x}$ .

Results of the quasiquadrature solution of this equation are presented in Table 2.

In Table 2 y0 and yN are the integral average values calculated according to the exact solution. Using a formula (5.2) it is also possible to carry out the analysis at vicinity of a point of x = 0.

7. Conclusion

The presented work and work  liquidate the last gaps in the field of quadrature solutions of linear integral equations of the second kind.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

  Dobrovolsky, I.P. (2019) Quasi-Quadrature Solution of Integral Equations Fredholm of the Second Kind in the Class of Integrable Functions. Open Access Library Journal, 6, e5736. https://doi.org/10.4236/oalib.1105736  Dobrovolsky, I.P. (2015) The Esti-mation of the Error at Richardson’s Extrapolation and the Numerical Solution of Integral Equations of the Second Kind. Open Access Library Journal, 2, e2051. https://doi.org/10.4236/oalib.1102051     customer@scirp.org +86 18163351462(WhatsApp) 1655362766  Paper Publishing WeChat 