Abstract
We consider a generic type of nonlinear Hammerstein-type integral equations with the particularity of having non-differentiable kernel of Nemystkii type. So, in order to solve it we consider a uniparametric family of iterative processes derivative free, with the main advantage that for a special value of the involved parameter the iterative method obtained coincides with Newton’s method, that is due to the fact of evaluating the divided difference operator when the two values are the same. We perform a qualitative convergence study by choosing an auxiliary point, that allow us to obtain the existence and separation of solutions of the given equation, that is, local and semilocal convergence balls can be obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we focus on the study of the existence of a solution for nonlinear Hammerstein-type integral equations, as well as the uniqueness of this solution and its approximation. So, we consider nonlinear Hammerstein-type integral equations of the form [5, 28, 31]
where \(h \in \mathcal{C}[a,b]\), the kernel K(s,t) is a known function in [a,b] × [a,b], \(\mathcal{N}\) is the Nemytskii operator \(\mathcal{N}:\mathcal{C}[a,b]\to \mathcal{C}[a,b]\) such that \(\mathcal{N}(\phi )(x)={N}(\phi (x))\), where \({N}:\mathbb{R}\to \mathbb{R}\), and z is the unknown function to be determined. In our case, we will require that the Nemystkii operator \(\mathcal{N}\) be a simply continuous operator.
A commonly used procedure to prove the existence and uniqueness of a solution of the (1) consists in transforming said equation into an equivalent fixed point problem (see [30, 31]). Thus, considering the operator \(\mathcal{T}:{\Omega }\subseteq \mathcal{C}[a,b]\to \mathcal{C}[a,b]\) with
by using a fixed point theorem, it is proved that the method of Successive Approximations converges to a fixed point of (2) and therefore a solution of (1). Other iterative methods are also used for this purpose. Thus, for example, the Picard method has been used (see [10]), testing its convergence to a solution of the equation \(\mathcal {G}(z) = 0\), equivalent to (1), where we consider the operator \(\mathcal{G}:{\Omega }\subseteq \mathcal{C}[a,b]\to \mathcal{C}[a,b]\) with
Other methods such as Newton’s method [12] and Newton-type methods [7, 25, 29] have been used to prove the existence and uniqueness of a solution for the (1). These studies are based on the qualitative results, of existence and uniqueness of solution, provided by the study of the convergence of iterative processes considered.
In our case, since the kernel of Nemystkii \(\mathcal {N}\) is a continuous operator, there may be a possibility that it is not differentiable. In [16], the non-differentiable case has been studied. Also in this work, we will consider an iterative process that does not use derivatives in its algorithm, that is, a derivative-free iterative process. So, one of the aims of this paper is the qualitative study that we can obtain from the uniparametric family of iterative processes
Note that this uniparametric family of iterative processes can be considered as a combination of the Kurchatov method [4, 22](λ = 1) and, for differentiable case, Newton’s method [8] (λ = 0). But, the main advantage for considering this scheme is that we have a family of derivative-free iterative methods that can be used in the non differential case. We use a first-order divided difference [1, 6, 14]. It is well known that, if we denote by \({\mathscr{L}}(X,Y)\) the space of bounded linear operators from X to Y, an operator \({\left [x, y; D \right ]}\in {\mathscr{L}}(X,Y)\) is called a first-order divided difference for the operator \(D: {\Omega }\subseteq X \rightarrow Y\) on the points x and y (x≠y) if
To realize the qualitative study for the uniparametric family of iterative processes (4), we do an analysis of the convergence for (4), so that we can obtain the existence of a solution of (1) in a certain domain. Moreover, we obtain a result on the uniqueness of solution that allows separating solutions of (1). We analyze the convergence of the method by a technique based on recurrence relations that use an auxiliary function [9, 11]. So, we use the theoretical results obtained from the convergence of the method (4) to draw conclusions about the existence and separation of solutions of (1).
Other of the aims of this paper is to approximate a solution of (1). To obtain this objective in an appropriate way, we have considered the family of iterative processes given in (4), which is formed by iterative processes with quadratic convergence and low operational cost, therefore efficient iterative processes that also have good accessibility [19]
Our main result in the paper is to perform a complete convergence study of the scheme that we state and prove in Section 2.1 along with some necessary lemmas. In Section 2.2 we introduce the assumptions to make the semilocal convergence analysis and give some preliminary results before to set the main theorem. Then, in Section 2.3 by choosing an adequate auxiliary point we get the local convergence results.
In Section 3, we apply the theoretical results obtained in previous sections for obtaining domains of existence and uniqueness of solutions for the nonlinear Hammerstein-type integral equation, giving in the last subsection a numerical experiment.
Finally, in Section 4 we drawn some conclusions.
2 Convergence of Kurchatov-type methods
In this section, to make our study of convergence as general as possible, we consider a nonlinear equation
where \(G: {\Omega \subseteq X\rightarrow Y}\) is a continuous operator defined on a nonempty convex subset Ω of a Banach space X to a Banach space Y.
In previous works [2, 3, 8, 13], the convergence analysis for these kind of iterative methods, (4), have been analyzed from two different points of view. On the one hand, the semilocal convergence study, where we assume conditions on the initial guess z0 and on the operator G, in order to obtain the existence ball, that is, this process assures the existence of solution z∗ of the equation G(z) = 0 remaining all the iterates and the solution in the cited ball. On the other hand, the local convergence study, where we must assume the existence of a solution z∗ of G(z) = 0 and then, with additional assumptions on the involved operators, we obtain the convergence domain, that is the ball centered at the z∗ where we can take a possible starting guess for the iterative process. Moreover, we also have in the literature the technique based on auxiliary points [9, 10]. We use it in this paper. So, we assume some conditions on the operator G and on an auxiliary point \(\tilde {z}\) in Ω for getting the existence of a solution z∗ of G(z) = 0 and to prove the convergence of (4) to z∗. So, this technique is much general driving us to obtain results of semilocal and local convergence for iterative process (4) by choosing adequately two particular auxiliary point \(\tilde {z}\).
2.1 Convergence from an auxiliary point
Throughout our study, we will assume that there is a first-order divided difference in the Banach space X. Now, we perform a convergence result for the iterative process defined in (4), for a fixed value λ ∈ (0,1], by assuming that G is a continuous operator in Ω and such that the following conditions are satisfied.
-
(C1)
Let \(z_{0}, \tilde {z}\in {\Omega },\) with \(z_{0} \in B(\tilde {z},\mu )\), \(z_{0} \neq \tilde {z}\), and there exists \([\tilde {z}, z_{0}; G]^{-1}\) verifying \(\| [\tilde {z}, z_{0};G]^{-1} G(z_{0})\| \leq \alpha .\)
-
(C2)
Let z− 1 ∈Ω, with z− 1 ∈ B(z0,α) and z− 1≠z0,
-
(C3)
For all x,y,u,v ∈Ω, with x≠y and u≠v, holds: \(\|[\tilde {z}, z_{0};G]^{-1} ([x, y ; G] - [u, v; G] )\| \leq \psi \left (\|x- u \|, \| y-v\| \right )\), where \(\psi : \mathbb{R}^{+}\times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous nondecreasing function in its two arguments.
We notice that from (C3), we deduce the following condition:
-
(C3’)
For all x,y ∈Ω, with x≠y holds: \(\|[\tilde {z}, z_{0};G]^{-1} ([x, y ; G] - [\tilde {z}, z_{0};G])\| \leq \psi _{0} \left (\|x- \tilde {z} \|, \| y-z_{0}\| \right )\), with \(\psi_{0}: \mathbb{R}^{+}\times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous nondecreasing function in two arguments.
Therefore, (C3′) is not an extra condition.
In addition, we assume that the following items are verified:
-
(C4)
The auxiliary real equation
$$(g_{0}(t)+1-g(t))\eta-(1-g(t))t=0,$$(7)where
$$\eta = \frac{\alpha}{1 - \psi_{0}(\mu + \lambda \alpha, \lambda \alpha)},$$$$g_{0}(t)=\frac{\psi(\eta+\lambda\alpha,\lambda\alpha)}{1-\psi_{0}(\mu+\lambda\eta+t,\lambda\eta+t)}$$and
$$g(t)=\frac{\psi(\eta+\lambda\eta,\lambda\eta)}{1-\psi_{0}(\mu+\lambda\eta+t,\lambda\eta+t)},$$has at least one positive real root and we denote by r the smallest positive real root.
-
(C5)
\(B(\tilde {z},\mu + r +\lambda \eta )\subseteq {\Omega }\), ψ0(μ + r + λη,r + λη) < 1 and \(\max \{{ g_{0}(r), g(r)}\}< 1.\)
Firstly, notice that parameter η is well defined since that ψ0(μ + λα,λα) < ψ0(μ + r + λη,r + λη) < 1.
Secondly, we will consider that zk+ 1≠zk for all \(k \geqslant 0\), because, in other case, zk+ 1 = zk for some \(k \geqslant 0\), and then the sequence {zn} converges to z∗ with z∗ = zn = zk+ 1 = zk for all \(n \geqslant k+2.\) Moreover, if zk+ 1≠zk we obtain that xk+ 1≠yk+ 1. Therefore, the operators [xk+ 1,yk+ 1;G] are always well defined.
Finally, with respect to the first-order divided differences, [1], we include the boundedness process by means of ω-functions, that is used in the non-differentiable case, (see [17]), and it is a generalization of the case in which [x,y;G] is Lipschitz-continuous or Hölder-continuous condition [20]. In the above cases, the Fréchet derivative of G exists in Ω and satisfies \([x,x;G]=G^{\prime }(x)\), see[1]. Moreover, it is already well known, see [18], that if ψ(0,0) = 0 then G is differentiable, so in non-differentiable situations we have that ψ(0,0) > 0.
We will begin our convergence study by considering n = 0. Firstly, notice that
and
So, it follows that \(x_{0}, y_{0} \in B(\tilde {z}, \mu + r + \lambda \eta ),\) and as x0≠y0 then [xn,yn;G] is well defined.
Secondly, by using (C3′), we have that
Therefore, by applying Banach Lemma, one gets the existence of [x0,y0;G]− 1 and
Next, we consider two technical lemmas that we use later.
Lemma 1
If zn,zn+ 1 ∈Ω, then
Proof
As zn+ 1≠zn and xn≠yn, then [zn+ 1,zn;G] and [xn,yn;G] are well defined.
Then, by taking into account the algorithm (4), we have
Next, as [zn+ 1,zn;G](zn+ 1 − zn) = G(zn+ 1) − G(zn), the result is proved.
Lemma 2
Let G be a continuous operator in Ω such that the conditions (C1)–(C5) are satisfied, zn,zn− 1 ∈ B(z0,r) and ∥zn − zn− 1∥≤∥z1 − z0∥, for \(n \geqslant 1\), then \(x_{n}, y_{n} \in B(\tilde {z}, \mu + r + \lambda \eta ),\) and there exists [xn,yn;G]− 1 with
Proof
Firstly, notice that
and
It follows that \(x_{n}, y_{n} \in B(\tilde {z}, \mu + r + \lambda \eta ),\) and as xn≠yn then [xn,yn;G] is well defined.
Secondly, by using (C3′) and (10), we have that
Therefore, by applying Banach Lemma, one gets the existence of [xn,yn;G]− 1 and the result is obtained.
To continue, we set n = 1. From (9) and (10), we obtain that \(x_{1}, y_{1} \in B(\tilde {z}, \mu + r + \lambda \eta ) \subset {\Omega }\). Next, as z0≠z1 then x1≠y1, and it follows that [x1,y1;G] is well defined.
In addition, from (7), it follows that ∥z1 − z0∥≤ η < r, then z1 ∈ B(z0,r). So, by applying Lemma 2, there exists [x1,y1;G]− 1.
On the other hand, we have
and
Then, from Lemma 1, (9) and (10),
Thus, as g0(r) < 1 by (C5), from (7) and (11), we get
Therefore, iterate z2 ∈ B(z0,r) and ∥z2 − z1∥ < ∥z1 − z0∥≤ η.
Next, we establish the recurrence relations that verify the elements of the sequence {xn} generated by the method (4) for a fixed λ ∈ (0,1].
Lemma 3
Let G be a continuous operator in Ω, \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,α) such that the conditions (C1)–(C5) are satisfied, then the following items hold, for j ≥ 3, by the sequence {zn}:
-
(ij) xj− 1,yj− 1 ∈ B(z0,r + λη) and \(x_{j-1}, y_{j-1} \in B(\tilde {z},\mu + r+\lambda \eta ).\)
-
(iij) ∥zj− 1 − xj− 2∥≤ η + λη and ∥zj− 2 − yj− 2∥≤ λη.
-
(iiij) ∥zj−zj− 1∥≤ g(r)∥zj− 1−zj− 2∥≤ g(r)j− 2g0(r)∥z1−z0∥≤ g(r)j− 2g0(r)η < η.
-
(ivj) \(\|z_{j}-z_{0}\|\leq \left (\frac{g_{0}(r)}{1-g(r)}+1\right )\eta =r\), then zj ∈ B(z0,r).
Proof
Note that previously we have proved (ij)–(iiij) for j = 1,2.
We consider j = 3. From (9) and (10), we obtain that x2,y2 ∈ B(z0,r + λη) and \(x_{2}, y_{2} \in B(\tilde {z},\mu + r+\lambda \eta ),\) which proves item (i3).
On the one hand, we have
and
Then (ii3) is satisfied.
On the other hand,
So, as g(r) < 1, we obtain that ∥z3 − z2∥ < ∥z2 − z1∥ < η. Therefore, (iii3) is proved.
To continue, we prove (iv3), this is that iterate z3 remains in the ball B(z0,r). For this, noting that the fact of being g(r) < 1 allow us to sum a geometric progression of reason g(r), we have
In order to complete the proof we apply an inductive procedure. So, we suppose that the items are satisfied, for k ≥ j ≥ 3 and similarly to the case j = 3, we prove that these items hold for j = k + 1.
Theorem 4
Let G be a continuous operator in Ω, for each \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,α) such that the conditions (C1)–(C5) are satisfied, then the sequence {zn}, given by (4), converges to z∗ a solution of equation G(z) = 0. Moreover, \(z_{n}, z^{*} \in \overline {B(z_{0},r)}\) for all \(n \geqslant 1\).
Proof
From the recurrence relations given in Lemma 3 we only have to prove the convergence of the sequence {zn}, given by (4). As X is a Banach space, we will see that {zn} is a Cauchy sequence. For this, we consider
By taking limits when \(n\rightarrow \infty\), then \(\|z_{n+k}-z_{n}\|\rightarrow 0 .\) Hence, {zn} is a Cauchy sequence which converges to \(z^{*}\in \overline {B(z_{0},r)}.\)
Moreover, from the following
by the continuity of the operator G and as g(r)k− 1 tends to zero when k tends to infinity, we have that G(z∗) = 0.
Notice that \(\overline {B(z_{0},r)}\) is a domain of existence of solution for G(z) = 0.
To prove the uniqueness we give the following result,
Theorem 5
Let G be a continuous operator in Ω, \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,α) such that the conditions (C1)–(C5) are satisfied. We assume that there exists r1 ≥ r such that
then, the limit point z∗ is the only solution of equation G(z) = 0 in \(\overline {B(z_{0},r_{1}+\lambda \eta )}\cap {\Omega }\).
Proof
Let \(y^{*}\in \overline {B(z_{0},r_{1}+\lambda \eta )}\cap {\Omega }\) be such that G(y∗) = 0. By defining Q = [z∗,y∗;G] we get
Hence, by Banach lemma the operator Q− 1 exists and as
then z∗ = y∗.
Note that it may happen that the hypotheses necessary to ensure convergence are not verified for all values of λ ∈ (0,1].
2.2 Semilocal convergence
To establish another result for semilocal convergence, we consider \(\tilde {z}=z_{-1}\) under the following conditions:
-
(S1)
Let z− 1 ∈ B(z0,μ), with μ > 0, \(\overline {B(z_{0},\mu )} \subset {\Omega }\) and there exists [z− 1,z0;G]− 1 with ∥[z− 1,z0;G]− 1G(z0)∥≤ α.
-
(S2)
∥[z− 1,z0;G]− 1([x,y;G] − [u,v;G])∥≤ ψ(∥x − u∥,∥y − v∥) holds for all x,y,u,v ∈Ω with x≠y and u≠v, where \(\psi :\mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous non decreasing function in its both arguments.
-
(S3)
The scalar equation
$$\begin{array}{@{}rcl@{}} t(1-g(t))-\eta =0, \end{array}$$(14)where we have η > 0, for
$$\begin{array}{@{}rcl@{}} \frac{\alpha}{1-\psi_{0}(\mu+\lambda \mu, \lambda \mu)}=\eta, \end{array}$$$$\begin{array}{@{}rcl@{}} g(t)=\frac{\tilde{g}}{1-\psi_{0}(\mu+t+\lambda \eta,t+\lambda \eta)}, \end{array}$$and
$$\begin{array}{@{}rcl@{}} \tilde{g}={\max}\{\psi(\eta+\lambda \mu, \lambda \mu),\psi (\eta+\lambda \eta,\lambda \eta)\}, \end{array}$$has at least one positive real root and we denote by r the smallest positive root.
-
(S4)
\(B(z_{0},r+\lambda \eta )\subseteq {\Omega }\) and 0 < g(r) < 1.
As the previous study, we notice that from (S2), we deduce the following condition:
-
(S2’)
∥[z− 1,z0;G]− 1([x,y;G] − [z− 1,z0;G])∥≤ ψ0(∥x − z− 1∥,∥y − z0∥) holds for all x,y ∈Ω with x≠y, where \(\psi _{0}:\mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous non decreasing function in both arguments.
We assume that zn≠zn− 1, for all n ≥ 1, otherwise the sequence {zn} is convergent. If zn≠zn− 1, then we obtain xn≠yn. By using the definition of the method (4), we get
and
It shows that \(x_{0},y_{0}\in \overline {B(z_{0},\mu )} \subset {\Omega }\) and as x0≠y0, then [x0,y0;G] is well defined. So, by using (S2′) as η > 0, we obtain
Therefore, by the Banach Lemma on invertible operators, [x0,y0;G]− 1 exists and
Moreover,
Lemma 6
Assume that the conditions (S1)–(S4) hold. If zn,zn− 1 ∈ B(z0,r) and ∥zn − zn− 1∥ < ∥z1 − z0∥ for n ≥ 1, then xn,yn ∈ B(z0,r + λη) and there exists [xn,yn;G]− 1 such that
Proof
Consider
and
Thus, xn,yn ∈ B(z0,r + λη) ⊂Ω and as xn≠yn, then [xn,yn;G] is well defined. Using (S1), (S2′), (18) and (19), and g(t) > 0, we get
Therefore, by Banach Lemma, [xn,yn;G]− 1 exists and
Using (18) and (19), we obtain x1,y1 ∈ B(z0,r + λη) ⊂Ω. As, z0≠z1 then x1≠y1, so [x1,y1;G] is well defined. Also from (14), we obtain ∥z1 − z0∥≤ η < r, then z1 ∈ B(z0,r). So, by using Lemma 6, there exists [x1,y1;G]− 1 and we have
since g(r) < 1. Further,
So, \(z_{2}\in B(z_{0},r)\subseteq B(z_{0},r+\lambda \eta )\subset {\Omega }\) and ∥z2 − z1∥ < ∥z1 − z0∥≤ η. In the next Lemma, we establish the recurrence relations to prove the convergence of the sequence {zn}.
Lemma 7
Assume that the conditions (S1)–(S4) hold. Then for j ≥ 3, the following items are satisfied by the sequence {zn} :
-
(i) xj− 1,yj− 1 ∈ B(z0,r + λη).
-
(ii) ∥zj − zj− 1∥≤ g(r)∥zj− 1 − zj− 2∥≤ g(r)j− 1∥z1 − z0∥≤ g(r)j− 1η < η.
-
(iii) \(\|z_{j}-z_{0}\|<\frac{\eta }{1-g(r)}=r,\) then zj ∈ B(z0,r).
Proof
We have just shown that (i)–(iii) holds true for j = 1,2. From (18) and (19), we obtain x2,y2 ∈ B(z0,r + λη) which proves (i) for j = 3. Then,
As g(r) < 1, therefore, ∥z3 − z2∥ < ∥z2 − z1∥ < η. Hence, (ii) is proved for j = 3. Further,
Therefore, z3 ∈ B(z0,r) and hence (iii) is proved for j = 3. We suppose that the items are satisfied, for k ≥ j ≥ 3 and similarly to the case j = 3, we prove that these items hold for j = k + 1.
Theorem 8
Suppose that the conditions (S1)–(S4) hold, then the sequence {zn} given by (4) converges to z∗ a solution of equation G(z) = 0 for each z0 ∈Ω and z− 1 ∈ B(z0,μ). Furthermore, zn ∈ B(z0,r) for all n ≥ 1. Moreover, if we suppose that there exists r1 ≥ r such that ψ0(μ + r + λη,r1 + λη) < 1, then z∗ is the unique solution of equation G(z) = 0 in \(\overline {B(z_{0},r_{1}+\lambda \eta )}\cap {\Omega }\).
Proof
To prove the convergence of the sequence, it is sufficient to prove that the sequence {zn} is a Cauchy sequence. For this, we consider
As \(n\rightarrow \infty\), then \(\|z_{n+k}-z_{n}\|\rightarrow 0,\) hence, {zn} is a Cauchy sequence which converges to \(z^{*}\in \overline {B(z_{0},r)}.\) Now,
As \(n \rightarrow \infty\), we obtain G(z∗) = 0 by using the continuity of G.
To prove the uniqueness, let y∗ be another solution of G(z) = 0 in \(\overline {B(z_{0},r_{1}+\lambda \eta )}\cap {\Omega }.\) Define Q = [z∗,y∗;G], then
Thus, by the Banach Lemma, Q− 1 exists and hence, z∗ = y∗.
2.3 Local convergence
In this section, a local convergence result is obtained by considering \(\tilde {z}=z^{*}\) under the following conditions:
-
(LC1)
Let z∗∈Ω be a solution of G(z) = 0 and z0 ∈ B(z∗,μ), with μ > 0, such that [z∗,z0;G]− 1 exists.
-
(LC2)
Let z− 1 ∈Ω, with z− 1 ∈ B(z0,α), α ≤ 2μ and z− 1≠z0.
-
(LC3)
∥[z∗,z0;G]− 1([x,y;G] − [u,v;G])∥≤ ψ(∥x − u∥,∥y − v∥) holds for all x,y,u,v ∈Ω with x≠y and u≠v, where \(\psi :\mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous non decreasing function in its both arguments.
-
(LC4)
\(B(z^{*},(1 + 2 \lambda ) \mu ))\subseteq {\Omega }\) with ψ(2λμ,(1 + 2λ)μ) + ψ0((1 + 2λ)μ,2(1 + λ)μ) < 1.
As previously, we notice that from (LC3), we deduce the following condition:
-
(LC3’)
∥[z∗,z0;G]− 1([x,y;G] − [z∗,z0;G])∥≤ ψ0(∥x − z∗∥,∥y − z0∥) holds for all x,y ∈Ω with x≠y, where \(\psi _{0}:\mathbb{R}^{+} \times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous non decreasing function in both arguments.
Firstly, we present a result on the inverse of the divided difference of the operator G.
Lemma 9
Under conditions (LC1) and (LC3′), then there exists [x,y;G]− 1 and
for each pair of distinct points (x,y) ∈ B(z∗,(1 + 2λ)μ) × B(z∗,(1 + 2λ)μ).
Proof
Using (LC3′), we get
Thus, by Banach Lemma, [x,y;G]− 1 exists and the result is obtained.
Now, by the definition of the method (4), it follows
and
It follows that x0,y0 ∈ B(z∗,(1 + 2λ)μ), and as x0≠y0 then [x0,y0;G] is well defined.
Therefore, by using Lemma 9, [x0,y0;G]− 1 exists. Again, by using (LC3) and (LC3′), we get
where \(g(\mu )=\frac{\psi (2\lambda \mu ,(1+2\lambda )\mu )}{1-\psi _{0}((1+2\lambda )\mu ,2(1+\lambda )\mu )}\). As g(μ) < 1, therefore
In addition, we consider z1≠z0, then x1≠y1 and [x1,y1;G] is well defined. Thus,
and
Hence, iterates x1,y1 ∈ B(z∗,(1 + 2λ)μ) and, by using Lemma 9, there exists [x1,y1;G]− 1. Further, it follows that
To continue this and by applying the mathematical induction, we get the following recurrence relations for the sequence {zn} given by (4).
Lemma 10
Assume that the conditions (LC1)–(LC4) hold, then, for n ≥ 1, it follows:
-
(i) \(x_{n},y_{n}\in B(z^{*},(1 + 2 \lambda ) \mu )\subseteq {\Omega }\) with xn≠yn,
-
(ii) ∥zn − z∗∥ < g(μ)∥zn− 1 − z∗∥ < g(μ)n∥z0 − z∗∥ < ∥z0 − z∗∥ < μ.
Next, by using Lemma 10, we obtain a local convergence result for the sequence {zn} given by (4).
Theorem 11
Assume that the conditions (LC1)–(LC4) hold. For each z0 ∈ B(z∗,μ), with z− 1 ∈ B(z0,α), the sequence {zn} given by (4) remains in B(z∗,μ) and converges to z∗, a solution of equation G(z) = 0. Furthermore, if we assume that there exists r1 ≥ μ such that ψ0(0,μ + r1) < 1. Then, z∗ is the unique solution of the equation G(z) = 0 in B(z∗,r1) ∩Ω.
Proof
From the previous Lemma, the sequence {zn} is well defined remains in B(z∗,μ) and converges to z∗. To prove the uniqueness of solution, suppose that y∗∈ B(z∗,r1) ∩Ω be such that G(y∗) = 0. Then by using (LC2′), we get
Therefore, [z∗,y∗;G]− 1 exists and hence z∗ = y∗.
3 Non-differentiable Hammerstein-type integral equations
One of the most important mathematical tool to describe applied problems is related with nonlinear integral equations. We can mention among others science applied problems, fracture mechanics problems, aerodynamics, the theory of porous filtering, antenna problems in electromagnetic theory and others. These complex and practical situations can be formulated as integral equations of the first, second and third kind. It is well known that, the obtainment of a solution of these equations are used to be very difficult and sometimes impossible, so numerical procedures to approximate the solutions are the angular stone in Numerical Methods. In the literature, we find different Fredholm-type integral equations [27, 31], Volterra-Fredholm integral equations [15, 26], nonlinear Fredholm integro-differential equations [23], systems of Fredholm-Volterra integral equations [24], etc.
Next, we deal with the following case of nonlinear Hammerstein-type integral equation [7, 25, 27]:
where \(\theta \in \mathbb{R}\), \(-\infty < a < b< +\infty\), the function h(s) is a given continuous function on [a,b], the kernel \(\mathcal {K}(s,t)\) is a known continuous function in [a,b] × [a,b], the Nemytskii operator \(\mathcal {N}:{\Omega } \subseteq {\mathscr{C}}([a,b])\to {\mathscr{C}}([a,b])\), where Ω is a nonempty open convex domain in \({\mathscr{C}}([a,b])\), given by \(\mathcal {N}(z)(t)=N(z(t))\), where N is a known continuous but non-differentiable function in \(\mathbb{R}\) and z is a solution to be determined in \({\mathscr{C}}([a,b])\), where \({\mathscr{C}}([a,b])\) denotes the space of continuous real functions in [a,b].
In this section, our first objective is to carry out a qualitative study of (22), obtaining domains of existence and uniqueness of solutions. The second objective is to use an iterative process of (4) for a fixed value λ ∈ (0,1], and by direct application to approximate a solution of (22). For this, we observe that the (22) can be defined as \(\mathcal {G}(z)=0\) for \(\mathcal {G}: {\Omega } \subseteq {{\mathscr{C}}}([a,b])\to {\mathscr{C}}([a,b])\), where Ω is a nonempty open convex domain in \({\mathscr{C}}([a,b])\) and
Obviously, a solution of \(\mathcal {G}(z)=0\) is a solution of (22).
It is clear that, in order to apply an iterative process of (4) for a fixed value λ ∈ (0,1], we will first need to define a first-order divided difference for the \(\mathcal {G}\) operator. Taking into account that \(\mathcal {N}\) is a non-derivable real function, we can define the first-order divided difference in \([a,b] \subset \mathbb{R}\) given by
Then, from this definition, we can define \([x,y;\mathcal {G}]: {\Omega } \subseteq {\mathscr{C}}([a,b])\to {\mathscr{C}}([a,b]\) with
where we consider
Therefore, for the continuous real functions x and y(x≠y), obviously \({\left [ x, y; \mathcal {G} \right ]}\in {{\mathscr{L}}}({\Omega },{\mathscr{C}}([a,b]))\) and
Then, \(\left [ x, y; \mathcal {G}\right ]\) is a first-order divided difference for the operator \(\mathcal {G}: {\Omega } \subseteq {{\mathscr{C}}}([a,b])\rightarrow {\mathscr{C}}([a,b])\).
In our study, the max-norm has been considered in \({\mathscr{C}}([a,b])\).
3.1 Domain of existence of solution
As a consequence of Theorem 4 we saw that for each \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,α) such that the conditions (C1)-(C5) are satisfied, from the iterative processes given in (4), we obtain a domain of existence of solution, \(\overline {B(z_{0},r)}\), for the equation G(z) = 0. Therefore, we study what conditions must be verified on the operator \(\mathcal {G}\), given in (23) from the integral (22), so that the corresponding conditions (C1)-(C5) are satisfied and then, we apply the Theorem 4.
Firstly, we suppose that \(z_{0}, \tilde {z} \in {\Omega }, \text {with} z_{0} \neq \tilde {z}, \text {such that} [\tilde {z},z_{0};\mathcal {G}]^{-1} \text {exists}\).
Notice that as \(z_{0} \neq \tilde {z}\) then, \([\tilde {z},z_{0};\mathcal {N}]\) is well defined and if \(\mathcal {I}\) is the identity on \({{\mathscr{C}}}([a,a])\), we have
Then, \(\| \mathcal {I} - [\tilde {z},z_{0};\mathcal {G}] \| < |\theta | M \|[\tilde {z},z_{0};\mathcal {N}]\|,\) where \(M= \left \| {{{\int}_{a}^{b}} \mathcal {K}(s,t) dt}\right \|.\)
Thus, if \(\|[\tilde {z},z_{0};\mathcal {N}]\| <1/ (|\theta | M),\) by the Banach Lemma for inverse operators [21], we obtain that there exists \([\tilde {z},z_{0};\mathcal {G}]^{-1}\) with
so, we denote \(\beta = \frac{1}{1 - | \theta | M \|[\tilde {z},z_{0};\mathcal {N}]\|}.\)
Secondly, in order to analyze the domain of existence of iterative processes that do not use derivatives in their algorithms, the conditions are usually required on the operator divided difference. For this, we have that for each pair of distinct points x,y ∈Ω, there exists a first-order divided difference of \(\mathcal {G}\) at these points given in (24). Then, if we suppose that the following condition hold:
where \(\omega : \mathbb{R}^{+}\times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous nondecreasing function in its two arguments, then we deduce that
and therefore
Notice that, from (26), we deduce the following condition: For all x,y ∈Ω, with x≠y holds:
where \(\omega _{0}: \mathbb{R}^{+}\times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous nondecreasing function in its two arguments.
Next, we establish the following convergence result for the sequence {zn}, given in (4). This sequence converges to a solution of equation \(\mathcal {G}(z)=0\) with \(\mathcal {G}\) given in (23).
Theorem 12
Let \(\mathcal {G}\) be the continuous operator in \({\Omega } \subseteq {{\mathscr{C}}}([a,b])\) given in (23). Fixed λ ∈ (0,1], we suppose that the following conditions are satisfied:
-
(I) Let \(z_{0}, \tilde {z} \in {\Omega },\) with \(z_{0} \in B(\tilde {z},\mu )\) and \(z_{0} \neq \tilde {z},\) such that \([\tilde {z},z_{0};\mathcal {G}]^{-1}\) exists and \(\|[\tilde {z},z_{0};\mathcal {G}] \|^{-1} < \beta .\)
-
(II) Let z− 1 ∈Ω, with z− 1 ∈ B(z0,βδ) and z− 1≠z0, where \(\|\mathcal {G}(z_{0})\| \leq \delta\).
-
(III) \(\| [x,y;\mathcal {N}] - [u,v;\mathcal {N}] \| \leq \omega (\|x- u \|,\| y-v\| ), x,y, u, v \in {\Omega },\) where \(\omega : \mathbb{R}^{+}\times \mathbb{R}^{+} \rightarrow \mathbb{R}^{+}\) is a continuous nondecreasing function in its two arguments.
-
(IV) The auxiliary real equation
$$(f_{0}(t)+1-f(t))\xi-(1-f(t))t=0,$$(29)where
$$\xi = \frac{\beta \delta}{1 - | \theta | M \beta \omega_{0}(\mu + \lambda \beta \delta, \lambda \beta \delta)},$$$$f_{0}(t)=\frac{| \theta | M \beta \omega(\xi+\lambda\beta \delta,\lambda\beta \delta)}{1- | \theta | M \beta \omega_{0}(\mu+\lambda\xi+t,\lambda\xi+t)}$$and
$$f(t)=\frac{| \theta | M \beta \omega(\xi+\lambda\xi,\lambda\xi)}{1-| \theta | M \beta \omega_{0}(\mu+\lambda\xi+t,\lambda\xi+t)},$$has at least one positive real root and we denote by R the smallest positive real root.
-
(V) \(B(\tilde {z},\mu + R +\lambda \xi )\subseteq {\Omega }\), |𝜃|Mβω0(μ + R + λξ,R + λξ) < 1 and \(\max \{{ f_{0}(R), f(R)}\}<1.\)
Then, for each \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,βδ) satisfying the previous conditions, the sequence {zn}, given by (4), converges to z∗ a solution of equation \(\mathcal {G}(z)=0\). Moreover, \(z_{n},z^{*} \in \overline {B(z_{0},R)}\) for all \(n \geqslant 1\).
Proof
The idea of the proof is to apply Theorem 5 to the operator \(\mathcal {G}\) given in (23).
From condition (I), we have that there exists \([\tilde {z},z_{0};\mathcal {G}]^{-1}\) with \(\| [\tilde {z},z_{0};\mathcal {G}]^{-1} | \leq \beta .\) Then, if \(\|\mathcal {G}(z_{0})\| \leq \delta\), so that (C1) is satisfied with α = βδ. Obviously, from (II), with this notation (C2) is verified.
Moreover, from condition (III), taking into account (27), if we consider ψ(−,−) = |𝜃|Mβω(−,−), the condition (C3) is satisfied. Moreover, from (28), taking ψ0(−,−) = |𝜃|Mβω0(−,−), the condition (C3′) is satisfied.
To finish, note that, for α = βδ, the real functions ψ(−,−) and ψ0(−,−) indicated previously and r = R, from conditions (IV) and (V), it follows that the conditions (C4) and (C5) are also satisfied. Therefore we can apply the Theorem 5 and the result is proved.
Note that, the ball \(\overline {B(z_{0},R)}\) is the domain of existence of solution for the equation \(\mathcal {G}(z)=0\).
3.2 Domain of uniqueness of solution
To obtain the domain of uniqueness of solution for the (23), it is enough to apply the Theorem 5 taking into account the Theorem 12 that we have just proved.
Theorem 13
Let \(\mathcal {G}\) be the continuous operator in Ω given in (23), \(z_{0} \in B(\tilde {z},\mu )\) and z− 1 ∈ B(z0,βδ) such that the conditions (I)-(V) are satisfied. We assume that there exists R1 ≥ R such that
then, the limit point z∗ is the only solution of equation \(\mathcal {G}(z)=0\) in \(\overline {B(z_{0},R_{1}+\lambda \xi )}\cap {\Omega }\).
Therefore, \(\overline {B(z_{0},R_{1}+\lambda \xi )}\cap {\Omega }\) is the domain of uniqueness of solution for the equation \(\mathcal {G}(z)=0\).
3.3 Numerical experiment
Next, we present a numerical experiment where we illustrate all the above results. We consider the following nonlinear and non-differentiable integral equation of Fredholm-type of the form given in (22):
this is, for a fixed value \(\theta \in \mathbb{R}\), we consider \(\mathcal {K}(s,t) = s t\) and \(\mathcal {N}(z)(t) = z(t)^{2} - \frac{| z(t)|}{5}\). The function h(s) is chosen in order to \(z^{*}(s) = s - \frac{1}{2}\) be a solution. In this case
Then, to solve this (30), we apply the iterative scheme (4) to the operator (23), with
being \(\mathcal {G}: {\Omega } \subseteq {{\mathscr{C}}}([a,b])\to {\mathscr{C}}([a,b])\), where Ω is a nonempty open convex domain in \({\mathscr{C}}([a,b])\)
On the one hand, note that, if we consider \(z_{0} \neq \tilde {z}\) with \(z_{0}, \tilde {z} \in {\Omega }\) and \(\mathcal {I}\) is the identity on \({{\mathscr{C}}}([\alpha ,\beta ])\), it follows that
then, we have
So, if \(\frac{|\theta |}{2} \left (\frac{1}{5} +\|\tilde {z} \| + \|z_{0}\| \right )<1\), by the Banach Lemma for inverse operators [21], we obtain that there exists \([\tilde {z},z_{0};\mathcal {G}]^{-1}\) with
Then, we have \(\beta = \frac{1}{1 - \frac{|\theta |}{2} \left (\frac{1}{5} + \|\tilde {z}\| + \|z_{0}\| \right )}.\)
On the other hand, in this case, \(N(\tau ) = \tau ^{2} - \frac{|\tau |}{5}\) and from (25), it is easy to check that
therefore, for condition (III) we have \(\omega (\tau ,\zeta ) = \frac{2}{5} + \tau + \zeta\), a non decreasing real function in its two variables.
To analyze the existence and uniqueness of solution for (23), we consider \({\Omega }={\mathscr{C}}([0,1])\), 𝜃 = 1/10, and also ω0 = ω.
Firstly, fixed μ = 1, and taking different values for z− 1 and z0, by applying the theoretical results obtained in Theorems 6 and 7 we get the results given in Tables 1 and 2 . In this case, we observe that taking smaller values for the output points, better domains of existence and uniqueness are obtained. Besides, as one can check, when λ decreases the values slightly improve. The ball of existence (see R) is smaller, that is, we locate the solution better. While the ball of uniqueness (see R1) grows, so we better separate the solutions.
Secondly, for μ = 1, μ = 1/3 and μ = 1/5 with \(\tilde {z}=0, z_{0}=1/2\mu\) and z− 1 = 1/3μ, by applying the theoretical results obtained in Theorems 6 and 7 we get the results given in Tables 2, 3 and 4. This study allows us to affirm that, reducing the value of μ better domains of existence and uniqueness are obtained. Furthermore, in each case, we can observe that when λ decreases the radii of existence and uniqueness balls slightly improve.
In general, since this situation is not differentiable, we observe that by approaching Newton’s method (λ = 0) with the iterative processes given in (4), we obtain better qualitative results.
Next, our interest is focused on approximating a solution of the (22), for this we will apply the iterative processes (4) to the operator \(\mathcal {G}\), given in (23), and thus obtain a solution of \(\mathcal {G}(z)=0\). In first place, we will need to calculate \([x_{n},y_{n};\mathcal {G}]^{-1}\). For this, taking into account (24), for \(u, v, x, y \in {\Omega }={\mathscr{C}}([0,1])\), with x≠y, we consider
then we have \(u(s) = v(s) + \theta \mathbb{I} s,\) where \(\mathbb{I}={{\int}_{0}^{1}} t [x,y;\mathcal {N}](u)(t) dt\), with \(\mathbb{I} \in \mathbb{R}\). Therefore,
where w(s) = s2. So, we obtain
and then
as long as \(\theta {{\int}_{0}^{1}} [x,y;\mathcal {N}](w)(s) ds \neq 1\).
Now, taking into account (25), as \(\mathcal {N}(z)(t) = z(t)^{2} - \frac{| z(t)|}{5}\) is easy to check that
and
where \(\frac{|x(s)| - |y(s)|}{x(s) - y(s)}\) is zero if there exists s ∈ [0,1] such that x(s) = y(s).
To approximate a solution of the (22) by means the iterative process (4), with λ ∈ (0,1], we take z− 1,z0 ∈Ω and as xn(t) + yn(t) = 2zn(t), fixed \(\theta \in \mathbb{R}\) we apply the following algorithm for \(n \geqslant 0\):
-
First step: Calculate:
$$[\mathcal{G}(z_{n})](s) = z_{n}(s) - (1 - \frac{\theta}{60}) s + \frac{1}{2} - \theta s {{\int}_{0}^{1}} t \left(z_{n}(t)^{2} - \frac{| z_{n}(t)|}{5} \right) dt.$$ -
Second step: Calculate:
$$A_{n}= {{\int}_{0}^{1}} 2 t z_{n}(t) [\mathcal{G}(z_{n})](t) dt, B_{n}= {{\int}_{0}^{1}} t \left[\frac{|x_{n}(t)| - |y_{n}(t)|}{x_{n}(t) - y_{n}(t)} \right] [\mathcal{G}(z_{n})](t) ) dt.$$$$C_{n}= {{\int}_{0}^{1}} \left(2 z_{n}(t) - \frac{1}{5} \left[\frac{|x_{n}(t)| - |y_{n}(t)|}{x_{n}(t) - y_{n}(t)} \right] \right) t^{2} dt.$$ -
Third step: Calculate:
$$W_{n}= \frac{ A_{n} - \frac{1}{5} B_{n}}{1 - \theta C_{n}},$$and finally set new iterate:
$$z_{n+1}(s)= z_{n}(s) - [\mathcal{G}(z_{n})](s) - \theta W_{n} s.$$
We implement this algorithm working with Matlab R2019a setting variable precision arithmetic with 60 digits, by choosing 𝜃 = 1/10, z0 = 1/2 and z− 1 = 1/3. So, by imposing as a stopping criteria ∥zn+ 1(s) − zn(s)∥≤ 10− 30 we obtain the exact solution z∗. With the results of Table 5, it can be checked that for smaller values of λ the results show a slight improvement in accuracy although in all cases computational order of convergence p = 2 is reached with the same number of iterations, iter. Also, we can compare the distance between the last 2 iterates, ||zn+ 1(s) − zn(s)||, the value of the function at the approximation solution, ||G(zn+ 1)(s)|| and the distance between the approximated solution an the exact solution ||zn+ 1(s) − z∗(s)||.
Now, by following the theoretical study performed in section 2.3 we obtain the convergence ball centered at the exact solution z∗(s) = s − 1/2. We take the values z0(s) = 1/2 and z− 1(s) = 1/3 so, α = ||z− 1(s) − z0(s)|| = 1/6 and then by imposing condition (LC4) we solve the equation:
which smallest positive root gives us the value of μ = 1.7548, then we verify that 2α ≤ μ, that is we obtain the local convergence ball B(z∗,1.7) in case λ = 0.8. In Table 6 we can check the radius for other values of parameter λ. We notice that the domain of convergence is better for smaller values ofλ.
4 Conclusions
In this work, we consider a uniparametric family of iterative processes that are derivative free, so we can apply them to solve non-differentiable problems, as is the case of nonlinear Hammerstein-type integral equations with the Nemystkii operator continuous but maybe non-differentiable. We perform a qualitative convergence study with the particularity of using the technique based on auxiliary points, that allow us to obtain local and semilocal convergence balls. Finally, we apply the theoretical results for proving the existence of solution of an apply problem, obtaining the domain of existence and uniqueness. Moreover, the accessibility region is also provided.
Data availability
Not applicable
Change history
12 November 2022
Missing Open Access funding information has been added in the Funding Note.
References
Argyros, I.K.: On the Secant method. Publ. Math. Debrecen 43, 223–238 (1993)
Argyros, I.K.: On a theorem of L.V. Kantorovich concerning Newton’s method. J. Comput. Appl. Math. 155, 223–230 (2003)
Argyros, I.K.: On the Newton-Kantorovich hypothesis for solving equations. J. Comput. Appl. Math. 169(2), 315–332 (2004)
Argyros, I.K., George, S.: Improved convergence analysis for the Kurchatov method. Nonlinear Functional Anal. Appl. 22(1), 41–58 (2017)
Argyros, I.K., Regmi, S.: Undergraduate Research at Cameron University on Iterative Procedures in Banach and Other Spaces. Nova Science Publisher, New York (2019)
Balazs, M., Goldner, G.: On existence of divided differences in linear spaces. Rev. Anal. Numer. Theor. Approx. 2, 3–6 (1973)
Ezquerro, J.A., González, D., Hernández, M.A.: A variant of the Newton-Kantorovich theorem for nonlinear integral equations of mixed Hammerstein type. Appl. Math. Comput. 218, 9536–9546 (2012)
Ezquerro, J.A., Hernández-Verón, M.A.: Newton’s Method: An Updated Approach of Kantorovich’s Theory. Frontiers Mathematics. Birkhäuser/Springer, Cham (2017)
Ezquerro, J.A., Hernández-Verón, M.A.: Domains of global convergence for Newton’s method from auxiliary points. Appl. Math. Lett. 85, 48–56 (2018)
Ezquerro, J.A., Hernández-Verón, M.A.: Domains of global convergence for a type of nonlinear Fredholm-Nemytskii integral equations. Appl. Numer. Math. 146, 452–468 (2019)
Ezquerro, J.A., Hernández-Verón, M.A.: How to obtain global convergence domains via Newton’s method for nonlinear integral equations. Mathematics 7, 553 (2019)
Ezquerro, J.A., Hernández-Verón, M.A.: Nonlinear Fredholm integral equations and majorant functions. Numer. Algorithms 82, 1303–1323 (2019)
Ezquerro, J.A., Hernández-Verón, M.A.: Mild Differentiability Conditions for Newton’S Method in Banach Spaces. Frontiers in Mathematics. Birkhäuser/Springer, Cham (2020)
Grau-Sánchez, M., Noguera, M., Amat, S.: On the approximation of derivatives using divided difference operators preserving the local convergence order of iterative methods. J. Comput. Appl. Math. 237, 363–372 (2013)
Ghasemi, M., Tavassoli Kajani, M., Babolian, E.: Numerical solutions of the nonlinear Volterra-Fredholm integral equations by using homotopy perturbation method. Appl. Math. Comput. 188(1), 446–449 (2007)
Hernández, M.A., Martínez, E.: On nonlinear Fredholm integral equations with non-differentiable Nemystkii operator. Math. Methods Appl. Sci. 43(14), 7961–7976 (2020)
Hernández, M.A., Rubio, M.J.: The secant method for nondifferentiable operators. Appl. Math. Lett. 4, 395–399 (2002)
Hernández, M.A., Rubio, M.J.: An uniparametric family of iterative processes for solving nondifferentiable equations. J. Math. Anal Appl. 275, 821–834 (2002)
Hernández, M.A., Yadav, N., Magreñán, Á.A., Martínez, E., Singh, S.: An improvement of the Kurchatov method by means of a parametric modification. Appear Math. Meth. Appl. Sci. https://doi.org/10.1002/mma.8209 (2022)
Hongmin, R., Qingiao, W.: The convergence ball of the secant method under hölder continuous divided differences. J. Comput. Appl. Math. 194, 284–293 (2006)
Kantorovich, L.V., Akilov, G.P.: Functional Analysis. Pergamon Press, Oxford (1982)
Kurchatov, V.A.: On a method of linear interpolation for the solution of funcional equations. (Russian) Dolk. Akad. Nauk SSSR 198(3), 524–526 (1971). Translation in Soviet Math. Dolk, vol. 12 (1971), pp. 835–838
Mirzaee, F., Bimesl, S.: Application of euler matrix method for solving linear and a class of nonlinear fredholm Integro-Differential equations. Mediterr. J. Math. 11(3), 999–1018 (2014)
Mirzaee, F., Samadyar, N.: Application of operational matrices for solving system of linear Stratonovich Volterra integral equation. J. Comput. Appl. Math. 320, 164–175 (2017)
Nadir, M., Khirani, A.: Adapted Newton-Kantorovich method for nonlinear integral equations. J. Math. Stat. 12(3), 176–181 (2016)
Ordokhani, Y., Razzaghi, M.: Solution of nonlinear Volterra-Fredholm-Hammerstein integral equations via a collocation method and rationalized Haar functions. Appl. Math. Lett. 21, 4–9 (2008)
Rashidinia, J., Zarebnia, M.: New approach for numerical solution of Hammerstein integral equations. Appl. Math. Comput. 185, 147–154 (2007)
Regmi, S.: Optimized Iterative Methods with Applications in Diverse Disciplines. Nova Science Publisher, New York (2021)
Saberi-Nadja, J., Heidari, M.: Solving nonlinear integral equations in the Urysohn form by Newton-Kantorovich-quadrature method. Comput. Math. Appl. 60, 2018–2065 (2010)
Samadi, O.R.N., Tohidi, E.: The spectral method for solving systems of Volterra integral equations. J. Appl. Math. Comput. 40(1-2), 477–497 (2012)
Wazwaz, A.M.: Applications of integral equations; linear and nonlinear integral equations. Springer: Berlin/heidelberg germany (2011)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. This research was partially supported by Ministerio de Economía y Competitividad under grant PGC2018-095896-B-C21-C22 and by the project EEQ/2018/000720 under Science and Engineering Research Board.
Author information
Authors and Affiliations
Contributions
These authors contributed equally.
Corresponding author
Ethics declarations
Human and animal ethics
Not applicable
Ethics approval and consent to participate
Not applicable
Consent for publication
All authors give their consent for publication.
Competing interests
The author declares no competing interests.
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hernández-Verón, M., Yadav, N., Martínez, E. et al. Kurchatov-type methods for non-differentiable Hammerstein-type integral equations. Numer Algor 93, 131–155 (2023). https://doi.org/10.1007/s11075-022-01406-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-022-01406-8