Numerical Treatments of Functional Fredholm Integral Equation in 2D with Discontinuous Kernels

Abeer M. Al-Bugami

Department of Mathematics and Statistics, Collage of Sciences, Taif University, Taif, Saudi Arabia.

DOI: 10.4236/jamp.2023.1111233                

Abstract

This work proposes a new definition of the functional Fredholm integral equation in 2D of the second kind with discontinuous kernels (FT-DFIE). Furthermore, the work is concerned to study this new equation numerically. The existence of a unique solution of the equation is proved. In addition, the approximate solutions are obtained by two powerful methods Toeplitz Matrix Method (TMM) and Product Nystr?m Methods (PNM). The given numerical examples showed the efficiency and accuracy of the introduced methods.

Keywords

Functional Integral Equation, TMM, PNM, Hammerstion

1. Introduction

Over the view past years there has been a substantial increase in the use of integral equations on the formulation of solution strategies for scientific and engineering problems. In large measure, this has been due to the work in the engineering and mathematics communities in using integral equation techniques to solve partial differential equations as an alternative to domain-based methods. In practice, approximate methods to solve the problems are needed. So many different methods that have been established can lead us the way to obtain the numerical solution. Those who are interested can review the excellent expositions by Popov [1] , Tricomi [2] , Hochastadt [3] , Green [4] Athkinson [5] , Linz [6] , Delves and Mohamed [7] , Kumar [8] and [9] . In [10] , the approximation of solutions for nonlinear functional integral equations was examined by the authors. In [11] , the author studied the singular kernel for the functional Volterra integral equation. Jafar and others, in [12] , studied the functional integral equations numerically. The authors in [13] , studied the Volterra-Hammerstein integral equation. In [14] , the authors applied a numerical method for obtaining numerical solutions of Fredholm two-dimensional functional linear integral equations based on the radial basis function. In [15] [16] , AL-Bugami studied the two-dimensional integral equations numerically. The authors, in [17] [18] [19] , studied the mixed integral equations. In [20] , Al-Bugami studied 2D Volterra integral equation with weakly kernels numerically.

In this work, we study the new equation for nonlinear functional integral equation in 2D with discontinuous kernels, which has not been studied before, and we employ the PNM and TMM, which plays an important role in the study of numerical solutions for FT-DFIE. Consider

$\mu w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$ (1)

The functions $g\left(s,t\right),f\left(s,t,w\left(s,t\right)\right)$ are given analytical functions defined, respectively, on $\left[a,b\right]\times \left[c,d\right]$ and $p\left(s-u,t-v\right)$ is the kernel of (1), $p\left(s-u,t-v\right)\ge 0$ , and $w\left(x,y\right)$ is the solution to be determined.

2. Existence and Uniquess of a Solution

The following conditions apply:

(i) $p\left(s-u,t-v\right)\in C\left(\left[a,b\right]\times \left[c,d\right]\right)$ , and satisfies:

${\left[{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|p\left(s-u,t-v\right)\right|}^2\text{d}u\text{d}v}}\right]}^{\frac{1}{2}}=A<\infty \left(A\text{isaconstant}\right)$

(ii) $g\left(s,t\right)$ maintains continuity with its derivatives and belongs to $\left[a,b\right]\times \left[c,d\right]$ and,

$\Vert g\left(s,t\right)\Vert =\max {\displaystyle \underset{a}{\overset{b}{\int }}{\left[{\displaystyle \underset{c}{\overset{d}{\int }}{g}^2\left(s,t\right)\text{d}s}\right]}^{\frac{1}{2}}\text{d}t}=M,$

(iii)

$\Vert w\left(s,t\right)\Vert ={\left[{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|w\left(s,t\right)\right|}^2}}\right]}^{\frac{1}{2}}\le C{\Vert w\Vert }_2$

Equation (1) is written as follows:

$\bar{W}w\left(s,t\right)=\frac{1}{\mu }g\left(s,t\right)+Ww\left(s,t\right)$ (2)

$Ww\left(s,t\right)=\frac{\lambda }{\mu }f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\right)$ (3)

Theorem 1. The solution to Equation (1) is unique if conditions (i)-(iii) are confirmed in $\left[a,b\right]\times \left[c,d\right]$ .

Lemma 1. Under the condition (i)-(iii), the operator $\bar{W}$ ), maps the space $\left[a,b\right]\times \left[c,d\right]$ into itself.

Proof:

From formula (2) and (3), we get

$\Vert \bar{W}w\left(s,t\right)\Vert \le \frac{1}{\left|\mu \right|}\Vert g\left(s,t\right)\Vert +\left|\frac{\lambda }{\mu }\right|\Vert f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}\left|p\left(s-u,t-v\right)\right|\left|w\left(u,v\right)\right|\text{d}u\text{d}v}}\right)\Vert$

$\Vert \bar{W}w\left(s,t\right)\Vert \le \frac{M}{\left|\mu \right|}+\left|\frac{\lambda }{\mu }\right|{\left\{f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|p\left(s-u,t-v\right)\right|}^2\text{d}u\text{d}v}}\right)\right\}}^{\frac{1}{2}}{\left\{f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|w\left(u,v\right)\right|}^2\text{d}u\text{d}v}}\right)\right\}}^{\frac{1}{2}}$

$\Vert \bar{W}w\left(s,t\right)\Vert \le \frac{M}{\left|\mu \right|}+f\left(s,t,\theta \Vert w\left(s,t\right)\Vert \right),\left(\theta =\left|\frac{\lambda }{\mu }\right|AC\right)$ (4)

So, the operator $\bar{W}$ maps the space $\left[a,b\right]\times \left[c,d\right]$ into itself.

Lemma 2.

The operator $\bar{W}$ is contractive in $\left[a,b\right]\times \left[c,d\right]$ .

Proof:

For $w_1\left(s,t\right)$ and $w_2\left(s,t\right)$ in the space $\left[a,b\right]\times \left[c,d\right]$ , the formulas (2), (3) lead to

$\Vert \bar{W}{w}_1-\bar{W}{w}_2\Vert \le \left|\frac{\lambda }{\mu }\right|\Vert f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}\left|p\left(s-u,t-v\right)\right|\left|w_1\left(u,v\right)-w_2\left(u,v\right)\right|\text{d}u\text{d}v}}\right)\Vert$

Then, we have

$\Vert \bar{W}{w}_1-\bar{W}{w}_2\Vert \le \left|\frac{\lambda }{\mu }\right|f\left(s,t,{\left({\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|p\left(s-u,t-v\right)\right|}^2\text{d}u\text{d}v}}\right)}^{\frac{1}{2}}{\left({\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}{\left|w_1\left(u,v\right)-w_2\left(u,v\right)\right|}^2\text{d}u\text{d}v}}\right)}^{\frac{1}{2}}\right)$

Then, we obtain

$\Vert \left(\bar{W}{w}_1-\bar{W}{w}_2\right)\left(s,t\right)\Vert \le f\left(s,t,\theta \Vert w_1\left(s,t\right)-w_2\left(s,t\right)\Vert \right)$ (5)

3. The Numerical Solutions

3.1. The (TMM)

Consider:

$\mu w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$ (6)

We can be written (6) in the form:

${\displaystyle \underset{0}{\overset{a}{\int }}{\displaystyle \underset{0}{\overset{b}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}={\displaystyle \underset{n=-N}{\overset{N-1}{\sum }}{\displaystyle \underset{m=-M}{\overset{M-1}{\sum }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}$ (7)

$h=\frac{a}{N}$ , we approximate the integral in the Equation (6), if m=n, by

$\begin{array}{l}{\displaystyle \underset{nh}{\overset{nh+h}{\int }}{\displaystyle \underset{mh}{\overset{mh+h}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\\ =A_{n,m}\left(s,t\right)w\left(nh,mh\right)+B_{n,m}\left(s,t\right)w\left(nh+h,mh+h\right)+R\end{array}$ (8)

If $w\left(u,v\right)=1.1$ , $uv$ in Equation (8), then:

$A_{n,m}\left(s,t\right)=\frac{1}{h}\left[\frac{\left(nh+h\right)\left(mh+h\right)I}{nh+mh+h}-\frac{J}{nh+mh+h}\right]$ (9)

$B_{n,m}\left(s,t\right)=\frac{1}{h}\left[\frac{J}{nh+mh+h}-\frac{\left(nh\right)\left(mh\right)I}{nh+mh+h}\right]$ (10)

where

$I\left(s,t\right)={\displaystyle \underset{nh}{\overset{nh+h}{\int }}{\displaystyle \underset{mh}{\overset{mh+h}{\int }}p\left(s-u,t-v\right)\text{d}u\text{d}v}}$

$J\left(s,t\right)={\displaystyle \underset{nh}{\overset{nh+h}{\int }}{\displaystyle \underset{mh}{\overset{mh+h}{\int }}uv\cdot p\left(s-u,t-v\right)\text{d}u\text{d}v}}$

Equation (7) thus becomes

$\begin{array}{l}{\displaystyle \underset{0}{\overset{a}{\int }}{\displaystyle \underset{0}{\overset{b}{\int }}p\left(s-u,t-v\right)\varphi \left(u,v\right)\text{d}u\text{d}v}}\\ ={\displaystyle \underset{n=-N}{\overset{N-1}{\sum }}{\displaystyle \underset{m=-M}{\overset{M-1}{\sum }}\left[A_{n,m}\left(s,t\right)w\left(nh,mh\right)+B_{n,m}\left(s,t\right)w\left(nh+h,mh+h\right)\right]}}\\ ={\displaystyle \underset{n=-N}{\overset{N-1}{\sum }}{\displaystyle \underset{m=-M}{\overset{M-1}{\sum }}{A}_{n,m}\left(s,t\right)w\left(nh,mh\right)}}+{\displaystyle \underset{n=-N}{\overset{N}{\sum }}{\displaystyle \underset{m=-M}{\overset{M}{\sum }}{B}_{\left(n-1\right)\left(m-1\right)}\left(s,t\right)w\left(nh,mh\right)}}\\ ={\displaystyle \underset{n=-N}{\overset{N}{\sum }}{\displaystyle \underset{m=-M}{\overset{M}{\sum }}{D}_{n,m}\left(s,t\right)w\left(nh,mh\right)}}\end{array}$ (11)

where

$D_{n,m}\left(s,t\right)=\{\begin{array}{l}\begin{array}{cc}{A}_{-N}\left(s,t\right)& n=m=-N\end{array}\\ \begin{array}{cc}{A}_n\left(s,t\right)+B_{n-1}\left(s,t\right)& -N<n=m<N\end{array}\\ \begin{array}{cc}{B}_{N-1}\left(s,t\right)& n=m=N\end{array}\end{array}$

Thus, the Equation (6) becomes:

$\mu w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{n=-N}{\overset{N}{\sum }}{\displaystyle \underset{m=-M}{\overset{M}{\sum }}{D}_{n,m}\left(s,t\right)w\left(nh,mh\right)}}\right)=g\left(s,t\right)$

If we put $s=kh,t=lh$ , then we get:

$\mu w_{k,l}-\lambda f\left(s,t,{\displaystyle \underset{n=-N}{\overset{N}{\sum }}{\displaystyle \underset{m=-M}{\overset{M}{\sum }}{D}_{kln,m}}}{w}_{nm}\right)=g_{kl}\text{,}-N\le k\le N,-M\le l\le M$ (12)

where

$D_{kln,m}=\{\begin{array}{l}\begin{array}{cc}{A}_{-N}\left(kh,lh\right)& n=m=-N\end{array}\\ \begin{array}{cc}{A}_n\left(kh,lh\right)+B_{n-1}\left(kh,lh\right)& -N<n=m<N\end{array}\\ \begin{array}{cc}{B}_{N-1}\left(kh,lh\right)& n=m=N\end{array}\end{array}$ (13)

The matrix $D_{kln,m}$ may be written as $D_{kln,m}=G_{kln,m}-E_{kln,m}$ , where

$G_{kln,m}=A_n\left(kh,lh\right)+B_{n-1}\left(kh,lh\right),-N\le k,l,n,\le N$ (14)

$E_{kln,m}=\{\begin{array}{l}\begin{array}{cc}{B}_{-N-1}\left(kh,lh\right)& n=m=-N\end{array}\\ \begin{array}{cc}0& -N<n=m<N\end{array}\\ \begin{array}{cc}{A}_N\left(kh,lh\right)& n=m=N\end{array}\end{array}$ (15)

3.2. The (PNM)

Consider

$\mu w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{a}{\overset{b}{\int }}{\displaystyle \underset{c}{\overset{d}{\int }}p\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$ (16)

We can often factor out the singularity in p by writing

$p\left(s-u,t-v\right)=k\left(s-u,t-v\right)\bar{p}\left(s-u,t-v\right)$ (17)

Equation (16) is expressed as:

$\mu w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{0}{\overset{s}{\int }}{\displaystyle \underset{0}{\overset{t}{\int }}k\left(s-u,t-v\right)\bar{p}\left(s-u,t-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$ (18)

The integral term in Equation (18) is estimated when $s=s_i,t=t_i$ by

$\begin{array}{l}{\displaystyle \underset{0}{\overset{s}{\int }}{\displaystyle \underset{0}{\overset{t}{\int }}k\left(s_i-u,t_i-v\right)\bar{p}\left(s_i-u,t_i-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\\ \approx {\displaystyle \underset{j=0}{\overset{N}{\sum }}{\displaystyle \underset{i=0}{\overset{M}{\sum }}{\kappa }_{ij}{\kappa }_{il}\bar{p}\left(s_i-u_j,t_i-v_j\right)w\left(u_i,v_j\right)}}\end{array}$ (19)

where ${\kappa }_{ij},{\kappa }_{il}$ are the weights. Then,

$\begin{array}{l}{\displaystyle \underset{0}{\overset{s}{\int }}{\displaystyle \underset{0}{\overset{t}{\int }}k\left(s_i-u,t_i-v\right)\bar{p}\left(s_i-u,t_i-v\right)w\left(u,v\right)\text{d}u\text{d}v}}\\ \approx {\displaystyle \underset{j=0}{\overset{N}{\sum }}{\displaystyle \underset{i=0}{\overset{M}{\sum }}{\displaystyle \underset{u_{2j}}{\overset{u_{2j+2}}{\int }}{\displaystyle \underset{v_{2j}}{\overset{v_{2j+2}}{\int }}k\left(s_i-u,t_i-v\right)\bar{p}\left(x_i-u,y_i-v\right)\text{d}u\text{d}v}}}}\end{array}$ (20)

where $s_i=u_i=t_i=v_i=a+ih,i=0,1,\cdots ,N$ with $h=\frac{b-a}{N}$ and N even. Now if we approximate the nonsingular part of the integrand over each interval $\left[u_{2j},u_{2j+2}\right],\left[v_{2l},v_{2l+2}\right]$ by the second degree Lagrange interpolation polynomial that interpolates it at the points $u_{2j},u_{2j+1},u_{2j+2},v_{2j},v_{2j+1},v_{2j+2}$ we find

$\begin{array}{l}{\displaystyle \underset{0}{\overset{s}{\int }}{\displaystyle \underset{0}{\overset{t}{\int }}k\left(u_i-u,v_i-v\right)\bar{p}\left(u_i-u,v_i-v\right)w\left(u,v\right)\text{d}u\text{d}v}}={\displaystyle \underset{j=0}{\overset{\frac{N-2}{2}}{\sum }}{\displaystyle \underset{l=0}{\overset{\frac{M-2}{2}}{\sum }}{\displaystyle \underset{u_{2j}}{\overset{u_{2j+2}}{\int }}{\displaystyle \underset{v_{2l}}{\overset{v_{2l+2}}{\int }}k\left(u_i-u,v_i-v\right)}}}}\\ \times \{\frac{\left(u_{2j+1}-u\right)\left(v_{2l+1}-v\right)\left(u_{2j+2}-u\right)\left(v_{2l+2}-v\right)}{\left(2h^2\right)\left(2h^2\right)}\bar{p}\left(u_i-u_{2j},v_i-v_{2l}\right)w\left(u_{2j},v_{2l}\right)\\ +\frac{\left(u-u_{2j}\right)\left(v-v_{2l}\right)\left(u_{2j+2}-u\right)\left(v_{2l+2}-v\right)}{\left(h^2\right)\left(h^2\right)}\bar{p}\left(u_i-u_{2j+1},v_i-v_{2l+1}\right)w\left(u_{2j+1},v_{2l+1}\right)\\ +\frac{\left(u-u_{2j}\right)\left(v-v_{2l}\right)\left(u-u_{2j+1}\right)\left(v-v_{2l+1}\right)}{\left(2h^2\right)\left(2h^2\right)}\bar{p}\left(u_i-u_{2j+2},v_i-v_{2l+2}\right)w\left(u_{2j+2},v_{2l+2}\right)\}\text{d}u\text{d}v\\ ={\displaystyle \underset{j=0}{\overset{N}{\sum }}{\displaystyle \underset{l=0}{\overset{M}{\sum }}{\kappa }_{ij}{\kappa }_{il}\bar{p}\left(u_i-u_j,v_i-v_l\right)w\left(u_i,v_l\right)}}\end{array}$

where $u_j=jh$ , $u_{j+1}=\left(j+1\right)h$ , $u_j-u_{j+1}=v_l-v_{l+1}=-h$ , and ${\kappa }_{ij},{\kappa }_{il}$ are given by

$\begin{array}{l}{\kappa }_{i,0}{\kappa }_{i,0}=\frac{1}{4h^2}{\displaystyle \underset{u_0}{\overset{u_2}{\int }}{\displaystyle \underset{v_0}{\overset{v_2}{\int }}k\left(u_i-u,v_i-v\right)\left(u_1-u\right)\left(v_1-v\right)\left(u_2-u\right)\left(v_2-v\right)\text{d}u\text{d}v}}\\ {\kappa }_{i,2j+1}{\kappa }_{i,2l+1}=\frac{1}{h^4}{\displaystyle \underset{u_{2j}}{\overset{u_{2j+2}}{\int }}{\displaystyle \underset{v_{2l}}{\overset{v_{2l+2}}{\int }}k\left(u_i-u,v_i-v\right)\left(u-u_{2j}\right)\left(v-v_{2l}\right)\left(u_{2j+2}-u\right)\left(v_{2l+2}-v\right)\text{d}u\text{d}v}}\\ {\kappa }_{i,2j}{\kappa }_{i,2l}=\frac{1}{4h^4}{\displaystyle \underset{u_{2j-2}}{\overset{u_{2j}}{\int }}{\displaystyle \underset{v_{2l-2}}{\overset{v_{2l}}{\int }}k\left(u_i-u,v_i-v\right)\left(u-u_{2j-2}\right)\left(v-v_{2j-2}\right)\left(u-u_{2j-1}\right)\left(v-v_{2j-1}\right)\text{d}u\text{d}v}}\\ +\frac{1}{4h^4}{\displaystyle \underset{u_{2j}}{\overset{u_{2j+2}}{\int }}{\displaystyle \underset{v_{2l}}{\overset{v_{2l+2}}{\int }}k\left(u_i-u,v_i-v\right)\left(u_{2j+1}-u\right)\left(v_{2j+1}-v\right)\left(u_{2j+2}-u\right)\left(v_{2j+2}-v\right)\text{d}u\text{d}v}}\\ {\kappa }_{i,N}{\kappa }_{i,M}=\frac{1}{4h^4}{\displaystyle \underset{u_{N-2}}{\overset{u_N}{\int }}{\displaystyle \underset{v_{M-2}}{\overset{v_M}{\int }}k\left(u_i-u,v_i-v\right)\left(u-u_{N-2}\right)\left(v-v_{M-2}\right)\left(u-u_{N-1}\right)\left(v-v_{M-1}\right)\text{d}u\text{d}v}}\end{array}$ (21)

If we define

$\begin{array}{l}{\alpha }_{j,i}\left(u_i,v_i\right)=\frac{1}{4h^2}{\displaystyle \underset{u_{2j-2}}{\overset{u_{2j}}{\int }}{\displaystyle \underset{v_{2j-2}}{\overset{v_{2j}}{\int }}k\left(u_i-u,v_i-v\right)\left(u-u_{2j-2}\right)\left(v-v_{2j-2}\right)\left(u-u_{2j-1}\right)\left(v-v_{2j-1}\right)\text{d}u\text{d}v}}\\ {\beta }_{j,i}\left(u_i,v_i\right)=\frac{1}{4h^2}{\displaystyle \underset{u_{2j-2}}{\overset{u_{2j}}{\int }}{\displaystyle \underset{v_{2j-2}}{\overset{v_{2j}}{\int }}k\left(u_i-u,v_i-v\right)\left(u_{2j-1}-u\right)\left(v_{2j-1}-v\right)\left(u_{2j}-u\right)\left(v_{2j}-v\right)\text{d}u\text{d}v}}\\ {\gamma }_{j,i}\left(u_i,v_i\right)=\frac{1}{4h^2}{\displaystyle \underset{u_{2j-2}}{\overset{u_{2j}}{\int }}{\displaystyle \underset{v_{2j-2}}{\overset{v_{2j}}{\int }}k\left(u_i-u,v_i-v\right)\left(u-u_{2j-2}\right)\left(v-v_{2j-2}\right)\left(u_{2j}-u\right)\left(v_{2j}-v\right)\text{d}u\text{d}v}}\end{array}$ (22)

It follows that

$\begin{array}{l}{\kappa }_{i,0}{\kappa }_{i,0}={\beta }_{1,1}\left(u_i,v_i\right),{\kappa }_{i,2j+1}{\kappa }_{i,2j+1}=4{\gamma }_{j+1,i+1}\left(u_i,v_i\right),\\ {\kappa }_{i,2j}{\kappa }_{i,2i}={\alpha }_{j,i}\left(u_i,v_i\right)+{\beta }_{j+1,i+1}\left(u_i,v_i\right),{\kappa }_{i,N}{\kappa }_{i,M}={\alpha }_{\frac{N}{2},\frac{M}{2}}\left(u_i,v_i\right)\end{array}$ (23)

In general, assume $u=u_{2j-2}+\xi h$ , $v=v_{2l-2}+\delta h$ , $0\le \xi ,\delta \le 2$ , thus (22) become

$\begin{array}{l}{\alpha }_{j,l}\left(u_i,v_i\right)=\frac{h}{4}{\displaystyle \underset{0}{\overset{2}{\int }}{\displaystyle \underset{0}{\overset{2}{\int }}\xi \delta \left(\xi -1\right)\left(\delta -1\right)p\left(u_i-\left(u_{2j-2}+\xi h\right),v_i-\left(v_{2l-2}+\delta h\right)\right)\text{d}\xi \text{d}\delta }}\\ {\beta }_{j,l}\left(u_i,v_i\right)=\frac{h}{4}{\displaystyle \underset{0}{\overset{2}{\int }}{\displaystyle \underset{0}{\overset{2}{\int }}\left(\xi -1\right)\left(\xi -2\right)\left(\delta -1\right)\left(\delta -2\right)p\left(u_i-\left(u_{2j-2}+\xi h\right),v_i-\left(v_{2l-2}+\delta h\right)\right)\text{d}\xi \text{d}\delta }}\\ {\gamma }_{j,l}\left(u_i,v_i\right)=\frac{h}{4}{\displaystyle \underset{0}{\overset{2}{\int }}{\displaystyle \underset{0}{\overset{2}{\int }}\xi \delta \left(2-\xi \right)\left(2-\delta \right)p\left(u_i-\left(u_{2j-2}+\xi h\right),v_i-\left(v_{2l-2}+\delta h\right)\right)\text{d}\xi \text{d}\delta }}\end{array}$ (24)

If we define ${\psi }_k={\displaystyle \underset{0}{\overset{2}{\int }}{\displaystyle \underset{0}{\overset{2}{\int }}{\xi }^k{\delta }^{k}p\left(u_i-\left(u_{2j-2}+\xi h\right),v_i-\left(v_{2l-2}+\delta h\right)\right)\text{d}\xi \text{d}\delta }},k=0,1,2$ , and let $u_i-u_{2j-2}=\left(i-2j+2\right)h$ , $v_i-v_{2l-2}=\left(i-2l+2\right)h$ , we have

${\psi }_k={\displaystyle \underset{0}{\overset{2}{\int }}{\displaystyle \underset{0}{\overset{2}{\int }}{\xi }^k{\delta }^{k}k\left(\left(z-\xi \right)h,\left(g-\delta \right)h\right)\text{d}\xi \text{d}\delta }},k=0,1,2,z=i-2h+2,g=i-2i+2$ (25)

Then we get:

$\begin{array}{l}\mu w\left(s_i,t_i\right)-\lambda f\left(s,t,{\displaystyle \underset{j=0}{\overset{N}{\sum }}{\displaystyle \underset{l=0}{\overset{M}{\sum }}{\kappa }_{ij}{\kappa }_{il}\bar{k}\left(s_i-u_j,t_i-v_l\right)w\left(u_j,v_l\right)}}\right)\\ =g\left(s_i,t_i\right),i=0,1,\cdots ,N\end{array}$ (26)

4. Numerical Examples

We consider two kernels: logarithmic and Carleman. In logartimc kernel we consider l = 0.001, 0.01, for values of m = 1, and N = 10, 20 units. In Carleman kernel: we consider ${\lambda }_1=0.02269139783$ , ${\upsilon }_1=0.42$ , ${\upsilon }_2=0.38$ , and ${\lambda }_2=0.03933175622$ , ${\upsilon }_1=0.37$ , ${\upsilon }_2=0.35$ , where N = 10, 20 units. In Tables 1-4: Aprro. T ® approximate solution by TMM, Error T ® error value by TMM, Aprro. N ® approximate solution by PNM, Error N ® error value by PNM.

Example 1.

$w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{-1}{\overset{1}{\int }}{\displaystyle \underset{-1}{\overset{1}{\int }}\ln \left|s-u\right|\ln \left|t-v\right|w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$

Exact solution is $w\left(s,t\right)=s\cdot t$ .

Table 1. The approximate and absolute error values as determined by TMM and PNM at λ = 0.001.

Table 2. The approximate and absolute error values as determined by TMM and PNM at λ = 0.01.

Example 2.

$w\left(s,t\right)-\lambda f\left(s,t,{\displaystyle \underset{-1}{\overset{1}{\int }}{\displaystyle \underset{-1}{\overset{1}{\int }}{\left|s-u\right|}^{-{\upsilon }_1}{\left|t-v\right|}^{-{\upsilon }_2}w\left(u,v\right)\text{d}u\text{d}v}}\right)=g\left(s,t\right)$

Exact solution is $w\left(s,t\right)=s\cdot t$

Table 3. The approximate and absolute error values as determined by TMM and PNM at ${\upsilon }_1=0.42,{\upsilon }_2=0.38,\lambda =0.02269139783$ .

Table 4. The approximate and absolute error values as determined by TMM and PNM at ${\upsilon }_1=0.37,{\upsilon }_2=0.35,\lambda =0.03933175622$ .

5. Conclusions

In order to find the solution of the FT-DHIE of the second kind with noncontinous kernels, this research provided two efficient numerical approaches. TMM and PNM have been introduced for this reason. The correctness and efficacy of the methods are demonstrated by error analysis and a few numerical examples. From previous tables, we found in every instance, the error in evaluating the approximation solution using the PNM is lower than the error in evaluating the approximation solution using the TMM. The FT-DHIE's logarithmic error numbers, Error T. and Error N., are less than error values, Error T. and Error N. of FT-DFIE.

In the future, we will study this equation in nonlinear case and in the different kinds.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1]	Popov, G.Y. (1982) Contact Problems for a Linearly Deformable Foundation. Odessa, Kiev.
[2]	Tricomi, F.G. (1985) Integral Equations. Dover, New York.
[3]	Hochastadt, H. (1973) Integral Equations. Publisher, New York.
[4]	Green, C.D. (1969) Integral Equation Methods. Nelson, New York.
[5]	Athkinson, K.E. (1976) A Survey of Numerical Methods for the Solution of Fredholm Integral Equations of the Second Kind. SIAM, Philadelphia.
[6]	Linz, P. (1985) Analytic and Numerical Methods for Volterra Equations. SIAM, Philadelphia. https://doi.org/10.1137/1.9781611970852
[7]	Delves, L.M. and Mohamed, J.L. (1985) Computational Methods for Integral Equations. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511569609
[8]	Kumar, S. and Sloan, I.H. (1987) A New Collections Type Method for Hammerstein Integral Equations. Mathematics of Computation, 48, 585-593. https://doi.org/10.1090/S0025-5718-1987-0878692-4
[9]	Kumar, S. (1988) A Discrete Collection-Type Method for Hammerstein Equations. SIAM Journal on Numerical Analysis, 25, 328-341. https://doi.org/10.1137/0725023
[10]	Mishra, L.N., Pathak, V.K. and Baleanu, D. (2022) Approximation of Solutions for Nonlinear Functional Integral Equations. AIMS Mathematics, 7, 17486-17506. https://doi.org/10.3934/math.2022964
[11]	Aldona, D. (2008) On the Functional-Integral Equation of Volterra Type with Weakly Singular Keenel. Publications de l’Institut Mathematique, 83, 57-63. https://doi.org/10.2298/PIM0897057D
[12]	Biazar, J., Porshokouhi, M.G., Ghanbari, B. and Porshokouhi, M.G. (2011) Numerical Solution of Functional Integral Equations by the Variational Iteration Method. Journal of Computational and Applied Mathematics, 235, 2581-2585. https://doi.org/10.1016/j.cam.2010.11.010
[13]	Marian, D., Ciplea, S.A. and Lungu, N. (2021) On a Functional Integral Equation. Symmetry, 13, Article 1321. https://doi.org/10.3390/sym13081321
[14]	Khaksari, N., Paripour, M. and Karamikabir, N. (2021) Numerical Solution for the 2D Linear Fredholm Functional Integral Equations. Journal of Mathematics, 2021, Article ID: 9560595. https://doi.org/10.1155/2021/9560595
[15]	Al-Bugami, A.M. (2021) Efficient Numerical Algorithm for the Solution of Nonlinear Two-Dimensional Volterra Integral Equation Arising from Torsion Problem. Advances in Mathematical Physics, 2021, Article ID: 6559694. https://doi.org/10.1155/2021/6559694
[16]	AL-Bugami, A.M. (2012) Two Dimensional Fredholm Integral Equation with Time. Journal of Modern Methods in Numerical Mathematics, 3, 66-78. https://doi.org/10.20454/jmmnm.2012.339
[17]	Abdou, M.A. and AL-Bugami, A.M. (2013) Nonlinear Fredholm-Volterra Integral Equation and Its Numerical Solutions with Quadrature Methods. Journal of Advances in Mathematics, 4, 415-422.
[18]	Khamis, A.K., Ismail, M.A.H., Abdou, M.A. and Al-Bugami, A.M. (2013) Mixed Integral Equation with Cauchy Kernel and Contact Problem. Life Science Journal, 10, 1208-1215.
[19]	Al-Bugami, A.M. (2021) Singular Hammerstein-Volterra Integral Equation and Its Numerical Processing. Journal of Applied Mathematics and Physics, 9, 379-390. https://doi.org/10.4236/jamp.2021.92026
[20]	Al-Bugami, A.M. (2021) Two Dimensional Volterra Integral Equation with Singular Kernels in Contact Problems and Its Numerical Computations. International Journal of Mathematical Analysis, 15, 303-319. https://doi.org/10.12988/ijma.2021.912364