Quasi-Quadrature Solution of Integral Equations Fredholm of the Second Kind in the Class of Integrable Functions

Abstract

The analog of the quadrature solution of the equation of Fredholm 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. Computing examples show expediency of such approach in appropriate cases.

Keywords

Share and Cite:

Dobrovolsky, I. (2019) Quasi-Quadrature Solution of Integral Equations Fredholm of the Second Kind in the Class of Integrable Functions. Open Access Library Journal, 6, 1-4. doi: 10.4236/oalib.1105736.

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 applicable 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 [1] .

2. Algorithm

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 a segment [a, b] a uniform grid of N segments with a step

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

On this 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],\\ {\delta }_{i}=\left[a+\frac{h}{2}\left(2i-1\right),a+\frac{h}{2}\left(2i+1\right)\right],\text{\hspace{0.17em}}\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 for functions y(x) and f(x)

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

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

$y\left(t\right)=\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. Example 1

The equation is considered

$y\left(x\right)-\underset{0}{\overset{1}{\int }}\frac{y\left(t\right)\text{d}t}{\sqrt{|t-x|}}=\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)$ (3.1)

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

Results of the quasi-quadrature 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. It is possible to claim that the received solution is satisfactory.

4. Example 2

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)$ (4.1)

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

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

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 the form $\stackrel{¯}{y}=p+q{x}^{n}$ with unknown p, q and n. Then

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

Table 1. Quasiquadrature solution of Equation (3.1).

Table 2. Quasiquadrature solution of Equation (4.1).

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

$\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}$ (4.3)

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

5. Conclusion

The conducted research shows that the method of the quasi-quadrature solution can take its place among other methods of approximate solution of integral equations.

Conflicts of Interest

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

 [1] Dobrovolsky, I.P. (2015) The Estimation of the Error at Richardson’s Extrapolation and the Numerical Solution of Integral Equations of the Second Kind. Open Access Library Journal, 2, e2051. http://dx.doi.org/10.4236/oalib.1102051