Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps

Abstract

Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a nonempty closed convex subset of a real Banach space <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper T"> <mml:semantics> <mml:mi>T</mml:mi> <mml:annotation encoding="application/x-tex">T</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a Lipschitz pseudocontractive self-map of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F left-parenthesis upper T right-parenthesis colon equals StartSet x element-of upper K colon upper T x equals x EndSet not-equals normal empty-set"> <mml:semantics> <mml:mrow> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>T</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>:=</mml:mo> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:mi>x</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>K</mml:mi> <mml:mo>:</mml:mo> <mml:mi>T</mml:mi> <mml:mi>x</mml:mi> <mml:mo>=</mml:mo> <mml:mi>x</mml:mi> <mml:mo fence="false" stretchy="false">}</mml:mo> <mml:mo>≠</mml:mo> <mml:mi mathvariant="normal">∅</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">F(T):=\{x\in K:Tx=x\}\neq \emptyset</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. An iterative sequence <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-brace x Subscript n Baseline right-brace"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo fence="false" stretchy="false">}</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\{x_n\}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is constructed for which <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="StartAbsoluteValue EndAbsoluteValue x Subscript n Baseline minus upper T x Subscript n Baseline StartAbsoluteValue EndAbsoluteValue right-arrow 0"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:msub> <mml:mi>x</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>−</mml:mo> <mml:mi>T</mml:mi> <mml:msub> <mml:mi>x</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo stretchy="false">|</mml:mo> </mml:mrow> <mml:mo stretchy="false">→</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">||x_n-Tx_n||\rightarrow 0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> as <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="n right-arrow normal infinity"> <mml:semantics> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo stretchy="false">→</mml:mo> <mml:mi mathvariant="normal">∞</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">n\rightarrow \infty</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. If, in addition, <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is assumed to be bounded, this conclusion still holds without the requirement that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper F left-parenthesis upper T right-parenthesis not-equals normal empty-set period"> <mml:semantics> <mml:mrow> <mml:mi>F</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>T</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>≠</mml:mo> <mml:mi mathvariant="normal">∅</mml:mi> <mml:mo>.</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">F(T)\neq \emptyset .</mml:annotation> </mml:semantics> </mml:math> </inline-formula> Moreover, if, in addition, <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has a uniformly Gâteaux differentiable norm and is such that every closed bounded convex subset of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has the fixed point property for nonexpansive self-mappings, then the sequence <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-brace x Subscript n Baseline right-brace"> <mml:semantics> <mml:mrow> <mml:mo fence="false" stretchy="false">{</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo fence="false" stretchy="false">}</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\{x_n\}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> converges strongly to a fixed point of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper T"> <mml:semantics> <mml:mi>T</mml:mi> <mml:annotation encoding="application/x-tex">T</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. Our iteration method is of independent interest.