In this paper, we study the existence of fixed points for mappings defined on complete metric space (X, d) satisfying a general contractive inequality of integral type depended on another function. This conditions is analogous of Banach conditions and Branciari Theorem.
(Banach’s Contraction Principle) Let (X,d) be a complete metric space and f:X \longrightarrow X be a contraction (there exists k \in (0,1) such that for each x,y \in X; d(fx,fy) \leq kd(x,y)). Then f has a unique fixed point in X, and for each x_{0} \in X the sequence of iterates \{f^{n}x_{0}\} converges to this fixed point.
Let (X,d) be a compact metric space and f:X \longrightarrow X be a contractive (for every x,y \in X such that x \neq y; d(fx,fy) < d(x,y)). Then f has a unique fixed point in X, and for any x_{0} \in X the sequence of iterates \{f^{n}x_{0}\} converges to this fixed point.
Let (X,d) be a complete metric space, \alpha \in (0,1) and f:X \longrightarrow X be a mapping such that for each x,y \in X, \int_0^{d(fx,fy)} \phi(t) dt \leq \alpha{\int _0^{d(x,y)} \phi(t) dt}, where \phi: [0,+\infty)\longrightarrow [0,+\infty) is a Lebesgue-integrable mapping which is summable (i.e., with finite integral) on each compact subset of [0,+\infty), nonnegative, and such that for each \epsilon > 0 ,\int _0^\epsilon \phi(t) dt > 0; then f has a unique fixed point a\in X such that for each x\in X, \underset {n\rightarrow\infty} \lim f^{n} x=a.
Let (X,d) be a metric space and f,T:X \longrightarrow X be two functions and \phi: [0,+\infty) \longrightarrow
[0,+\infty) be a Lebesgue-integrable mapping. A mapping f is said to be a T_{\int \phi}-contraction if there exists \alpha
\in (0,1) such that for all x,y \in X
By taking Tx=x and \phi=1, T_{\int \phi}-contraction and contraction are equivalent. Also by taking Tx=x we can define \int \phi-contraction.
Let X=[1,+\infty) with metric induced by \Bbb{R}: d(x,y)=|x-y|. We consider two mappings T,f:X \longrightarrow X by Tx=\frac{1}{x}+1 and fx=2x. Obviously f is not contraction but f is T_{\int{1}} -contraction.
[2] Let (X,d) be a metric space. A mapping T:X \longrightarrow X is said sequentially convergent if we have, for every sequence \{y_{n}\}, if \{Ty_{n}\} is convergence then \{y_{n}\} also is convergence. T is said subsequentially convergent if we have, for every sequence \{y_{n}\}, if \{Ty_{n}\} is convergence then \{y_{n}\} has a convergent subsequence.
[Main theorem ] Let (X,d) be a complete metric space, \alpha \in (0,1), T,f:X \longrightarrow X be mapping such that T is continuous, one-to-one and subsequentially convergent and f is T_{\int \phi} -contraction where \phi: [0,+\infty) \longrightarrow [0,+\infty) is a Lebesgue-integrable mapping which is summable on each compact subset of [0,+\infty), nonnegative and such that for each \epsilon > 0, \int _0^\epsilon \phi(t) dt >0; then f has a unique fixed point a\in X. Also if T is sequentially convergent, then for each x_0\in X, the sequence of iterates \{f^nx_{0} \} converges to this fixed point.
STEP 1. Let \alpha \in (0,1) such that for all x,y\in
X
So if for a,b> 0, \int_0^a \phi(t) dt \leq \alpha{\int _0^b\phi(t)
dt} then a<b.
STEP 2. We show that f is a continuouse mapping.
If \underset {n\rightarrow \infty} \lim x_n=x then by \int_0^{d(Tfx_n , Tfx)} \phi(t) dt \leq \alpha{\int _0^{d(Tx_n ,
Tx)}\phi(t) dt} and \underset {n\rightarrow \infty} \lim
d(Tx_n , Tx)=0, we conclude that:
Since T is subsequentially convergent, \{fx_n\} has a subsequence such \{{fx_n}_k\}_{k=1}^\infty converge to a y\in X. So d(Ty,Tfx)=0. Since T is one-to-one, y=fx. Hence, \{fx_n\} has a subsequence converge to fx.
Therefore for every sequence \{x_n\} converge to x, the sequence \{fx_n\} has a subsequence converge to fx. This shows that f is continuouse at x.
STEP 3. Since (2.1) is holds, for all n \in \Bbb N:
As a consequence, since \alpha \in (0,1), we further have
Since
is holds we conclude that
Step 4. \{Tf^nx\} is a bounded sequence.
If \{Tf^nx\} _{n=1}^\inftyis not a bounded sequence then, we choose the sequence \{n_k\}_{k=1}^\infty such that n_1=1 and for each k\in \Bbb {N }, n_{k+1} is "minimal" in the sense that
So,
Hence, by (2.4) and (2.5) we conclude that
Also by step 1,
Therefore,
Hence, by (2.4),
Therefore,
By (2.7) and (2.8) we conclude that
So \int_0^1\phi(t) dt=0 and this is contradiction.
STEP 5. By (2.1) for every m,n\in
\Bbb{N} (m > n),
By step 4, (2.9) and \alpha\in (0,1),
Since (2.3) is hold \underset
{m,n\rightarrow \infty}\lim d(Tf^{m}x ,Tf^{n}x)=0, and this shows that \{Tf^{n}x\}_{n=1}^\infty is a Cauchy sequence. Hence there exists a\in X such that
STEP 6. Since T is a subsequentially convergent, \{f^{n}x\} has a convergent subsequence.
So there exists b\in X and \{n_k\} _{k=1}^\infty such that \underset {k \rightarrow \infty}\lim f^{n_k}x=b. Since T is continuouse \underset {k\rightarrow \infty}\lim Tf^{n_k}x=Tb, and by (2.11) we conclude that
Since f is continuouse (step 2) and \underset {k \rightarrow
\infty}\lim f^{n_k}x=b , \underset {k \rightarrow \infty}\lim
f^{n_{k}+1}x=fb and so \underset {k \rightarrow \infty} \lim Tf^{n_k+1}x=Tfb.
Again by (2.11) we have
and therefore, Tfb=a. So by (2.12), Tfb=Tb. Since T is one-to one, fb=b. Therefore f has a fixed point.
STEP 7. Since T is one-to-one and f is T_{\int
\phi}-contraction, f has a unique fixed point.
Theorem 2.5 is a generalization of the Banach’s contraction principle (Theorem 1.1), letting \phi(t)=1 for each t \geq 0 and Tx=x for each x\in X in Theorem 2.5, we have
Theorem 2.5 is a generalization of the A. Branciari theorem (Theorem 1.3), letting Tx=x for each x\in X in Theorem 2.5, so
Let (X,d) be a complete metric space and T:X\longrightarrow X be a one-to-one, continuouse and subsequentially convergent mapping. Then for every T-contraction function f:X\longrightarrow X, f has a unique fixed point. Also if T is sequentially convergent, then for each x_{0}\in X, the sequence of iterates \{f^{n}x\} converges to this fixed point. (f:X\longrightarrow X is T-contraction if there exist \alpha
\in (0,1) such that for all x,y\in X
By taking \phi(t)=1 for each t\in [0,+\infty) in Theorem 2.5 we can conclude this theorem.
Let X=[1,+\infty) with metric induced by \Bbb R :d(x,y)=|x-y|, thus, since X is a closed subset of \Bbb R, it is a complete metric space. we define T,f:X\longrightarrow X by Tx=\ln{x}+1 and fx=k\sqrt{x} such that k \geq 1 be a fixed element of \Bbb R. Obviousely f is not contraction, but f is T_{\int1}-contraction and T is one-to-one, continuouse and sequentially convergent. So f has a unique fixed point by Theorem 2.5.
Let X:={\{\frac{1}{n} \ \ | \ \ n\in \Bbb N \}} \bigcup {\{0}\} with metric induced by \Bbb R :d(x,y):=|x-y|, thus, since X is a closed subset of \Bbb R, it is a complete metric space. We consider a mapping f:X\longrightarrow X defined by
and defined \phi:[0,+\infty)\longrightarrow [0,+\infty) by
we have \int_0^\tau \phi(t) dt=\tau ^{\frac{1}{\tau}}.
By taking n=2 and m=4, |f(1/m)-f(1/n)| > |1/m-1/n|, so f is not contraction and contractive. Hence, we can not conclude that, f has a fixed point by Theorem 1.1 and Theorem 1.2.
Now we show that we can not use Branciari Theorem for this example. For x=1/m, y=1/n where m and n are even if
then
For m=4 and n=2 we conclude that 1 < \alpha. So we can not use Branciari Theorem.
Now we defined T:X \longrightarrow X by
Obviously T is one-to-one and sequentially convergent and continuouse.
we have
Since \sup{\frac {|Tfx-Tfy|}{|Tx-Ty}|}=1, f is not T-contraction, and so we can not use Theorem 3.3 for this example. Now we show that the condition of Theorem 2.5 are holds. We show that f is T_{\int\phi}-contraction and
Case 1. Let x=\frac{1}{m}, y=\frac{1}{n} and m and n are even. Then
Obviously the last inequality is holds, because
and so
and
Therefore for this case (2.13) is holds.
Case 2. Let x=\frac{1}{m} , y=\frac{1}{n} and m and n are odd.
Case 3. Let x=\frac{1}{m} , y=\frac{1}{n}, m is even and n is odd.
By the same argument in case 1 we conclude that (2.13) for case 2 and case 3 is holds.
Case 4. Let x=0, y=\frac{1}{n} such that n is even. Then
The last inequality is holds, because,
Therefore (2.13) is true for this case.
Case 5. Let x=0\ \and \ \ y=\frac{1}{n} such that n is odd. By the same argument in case 4 we conclude that, (2.13) is holds for this case.
Hence, (2.13) is holds for all x,y\in X. Therefore the condition of Theorem 2.5 are hold and so f has a unique fixed point.
The text on this page is from arXiv:0903.1569v1 by S. Moradi and A. Beiranvand, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0903/0903.1569.jsonl.