• 検索結果がありません。

Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios

N/A
N/A
Protected

Academic year: 2022

シェア "Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios"

Copied!
11
0
0

読み込み中.... (全文を見る)

全文

(1)

NONEXPANSIVE AND m-ACCRETIVE OPERATORS

RUDONG CHEN AND ZHICHUAN ZHU Received 10 June 2006; Accepted 22 July 2006

LetX be a real reflexive Banach space, letCbe a closed convex subset ofX, and letA be anm-accretive operator with a zero. Consider the iterative method that generates the sequence{xn}by the algorithmxn+1=αnf(xn) + (1αn)Jrnxn, whereαnandγnare two sequences satisfying certain conditions,Jrdenotes the resolvent (I+rA)1forr >0, and let f :CCbe a fixed contractive mapping. The strong convergence of the algorithm {xn}is proved assuming thatXhas a weakly continuous duality map.

Copyright © 2006 R. Chen and Z. Zhu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

1. Introduction

LetX be a real Banach space, letCbe a nonempty closed convex subset ofX, and let T:CCbe a nonexpansive mapping if for allx,yC, such that

TxT yxy. (1.1)

We useF(T) to denote the set of fixed points ofT, that is,F(T)= {xC:x=Tx}. And denotes weak convergence,denotes strong convergence. Recall that a self-mapping

f :CCis a contraction onCif there exists a constantβ(0, 1) such that

f(x)f(y)βxy, x,yC. (1.2) Browder [2] considered an iteration in a Hilbert space as follows. FixuCand define a contractionTt:CCby

Ttx=tu+ (1t)Tx, xC, (1.3) wheret(0, 1). Banach’s contraction mapping principle guarantees thatTthas a unique fixed pointxtinC.

Xu [7] defined the following one viscosity iteration for nonexpansive mappings in uniformly smooth Banach space.

Hindawi Publishing Corporation Fixed Point Theory and Applications Volume 2006, Article ID 81325, Pages1–10 DOI 10.1155/FPTA/2006/81325

(2)

Theorem 1.1 [2, Theorem 4.1, page 287]. LetX be a uniformly smooth Banach space, letCbe a closed convex subset ofX,T:CCis a nonexpansive mapping withF(T)=φ, and f ΠC, whereΠC denotes the set of all contractions onC. Then{xt}defined by the following:

xt=t fxt

+ (1t)Txt, xC, (1.4)

converges strongly to a point in F (T). DefineQCF(T) by Q(f) :=lim

t0xt, f

C

, (1.5)

then Q(f) solves the variational inequality

(If)Q(f),JQ(f)p0, f

C

, pF(T). (1.6)

Xu [8] proved the strong convergence of{xt}defined by (1.3) in a reflexive Banach space with a weakly continuous duality mapJϕwith gaugeϕ.

Recall that an operatorAwithD(A) and rangeR(A) inXis said to be accretive, if for eachxiD(A) andyiAxi, (i=1, 2) such that

y2y1,Jx2x1

0, (1.7)

whereJis the duality map fromXto the dual spaceXgiven by J(x)=

f X:x,f= x2= f2 , xX. (1.8) An accretive operatorAism-accretive ifR(I+λA)=Xfor allλ >0.

Denote byJrthe resolvent ofAforr >0,

Jr=(I+rA)1. (1.9)

It is known thatJris a nonexpansive mapping fromXtoC:=D(A) which will be assumed convex.

Also in [8], Xu considered the following algorithm:

xn+1=αnu+1αn

Jrnxn, n0, (1.10)

whereuCis arbitrarily fixed, {αn} is a sequence in (0, 1), and{rn}is a sequence of positive numbers. Xu proved that ifXis a reflexive Banach space with weakly continuous duality mapping, then the sequence{xn}given by (1.10) converges strongly to a point in Fprovided the sequences{αn}and{rn}satisfy certain conditions.

The main purpose of this paper is to consider the following two iterations both in a reflexive Banach spaceXwhich has a weakly continuous duality mapping:

xt=t fxt+ (1t)Txt, t(0, 1), (1.11) xn+1=αnfxn+1αnJrnxn, n0. (1.12)

(3)

2. Preliminaries

In order to prove our main results, we need the following lemmas. The proof ofLemma 2.1can be found in [5,6].Lemma 2.2is an immediate consequence of the subdifferential inequality of the function (1/2) · 2.

Lemma 2.1. Let{an}nbe a sequence of nonnegative real numbers such that an+1

1αnan+αnβn, n0, (2.1) where{αn}n(0, 1), andβnsatisfy the conditions:

(i) limn→∞αn=0, (ii)n=1αn= ∞, (iii) lim supn→∞βn0.

Then limn→∞an=0.

Lemma 2.2. LetXbe an arbitrary real Banach space. Then

x+y2x2+ 2y,J(x+y), x,yX. (2.2) Recall that a gauge is a continuous strictly increasing functionϕ: [0, +)[0, +) such thatϕ(0)=0 andϕ(t)→ ∞. Associated to a gaugeϕis the duality mapJϕ:XX defined by

Jϕ(x)=

f X:x,f= xϕx

,f =ϕx , xX. (2.3) Following Browder [3], we say that a Banach spaceX has a weakly continuous duality map if there exists a gaugeϕfor which the duality mapJϕis single valued and weak-to- weaksequentially continuous, that is, if{xn}is a sequence inXweakly convergent to a pointx, then the sequence{Jϕ(xn)}converges weaklytoJϕ(x). It is known thatphas a weakly continuous duality map for all 1< p <. Set

Φ(t)= t

0ϕ(τ)dτ, τ0. (2.4)

Then

Jϕ(x)=Φx

, xX, (2.5)

wheredenotes the subdifferential in the sense of convex analysis.

We also need the next lemma, and the first part ofLemma 2.3is an immediate conse- quence of the subdifferential inequality and the proof of the second part can be found in [4].

Lemma 2.3. Assume thatXhas a weakly continuous duality mapJϕwith gaugeϕ.

(i) For allx,yX, there holds the inequality Φx+y

Φx

+y,Jϕ(x+y). (2.6)

(4)

(ii) Assume a sequence{xn}inXis weakly convergent to a pointx. Then there holds the identity

lim sup

n→∞ Φxny=lim sup

n→∞ Φxnxyx

, x,yX. (2.7) Lemma 2.4is the resolvent identity which can be found in [1].

Lemma 2.4. Forλ,μ >0, there holds the identity Jλx=Jμ

μ λx+

1μ

λ

Jλx

, xX. (2.8)

3. Main results

Theorem 3.1. LetXbe a real reflexive Banach space and have a weakly continuous duality mappingJϕwithϕ. SupposeCis a closed convex subset ofX, andT:CCis a nonexpansive mapping, let f :CC be a fixed contractive mapping. Fort(0, 1), {xt} is defined by (1.11). ThenT has a fixed point if and only if{xt}remains bounded ast0+, and in this case,{xt}converges strongly to a fixed point ofTast0+.

Proof. Assume first thatF(T)=φ. TakeuF(T), it follows that xtu=t fxt

+ (1t)Txtu

tfxt

u+ (1t)Txtu

xtu+tf(u)u+ (1t)xtu

=

1(1β)txtu+tf(u)u.

(3.1)

Hence

xtu 1

1βf(u)u. (3.2)

Therefore,{xt}is bounded, so are{Txt}and{f(xt)}.

Next assume that{xt}is bounded ast0+. Assumetn0+and{xtn}is bounded.

SinceXis reflexive, we may assume thatxtnpfor some pC. SinceJϕis weakly con- tinuous, we have byLemma 2.3,

lim sup

n→∞ Φxtnx=lim sup

n→∞ Φxtnpxp, xX. (3.3) Put

g(x)=lim sup

n→∞ Φxtnx, xX. (3.4)

It follows that

g(x)=g(p) +Φxp

, xX. (3.5)

(5)

Since

xtnTxtn= tn 1tn

f(xtn)xtn−→0, (3.6)

we obtain

g(T p)=lim sup

n→∞ ΦxtnT plim sup

n→∞ ΦTxtnT p

lim sup

n→∞ Φxtnp=g(p). (3.7)

On the other hand, however,

g(T p)=g(p) +ΦT pp

. (3.8)

From (3.7) and (3.8), we get

ΦT pp

0. (3.9)

HenceT p=pandpF(T).

Now we prove that{xt}converges strongly to a fixed point ofTprovided it remains bounded whent0.

Let{tn}be a sequence in (0, 1) such thattn0 andxtnpasn→ ∞. Then the argu- ment above shows thatpF(T). We next show thatxtnp. As a matter of fact, we have byLemma 2.3,

Φxtnp=ΦtnTxtnp+1tnf(xtnp

ΦtnTxtnp+1tnfxtnp,Jϕxtnp

tnΦxtnp+1tn fxtn

f(p),Jϕ

xtnp +1tn

f(p)p,Jϕ

xtnp.

(3.10)

This implies that Φxtnp

fxtn

f(p),Jϕ

xtnp+f(p)p,Jϕ

xtnp

βxtnpJϕ

xtnp+f(p)p,Jϕ

xtnp

=βΦxtnp+f(p)p,Jϕ

xtnp,

(3.11)

that is,

Φxtnp 1 1β

f(p)p,Jϕxtnp. (3.12)

Now noting thatxtnpimpliesJϕ(xtnp)0, we get

Φxtnp−→0. (3.13)

Hencextnp.

(6)

We have proved for any sequence{xtn} in {xt:t(0, 1)} that there exists a subse- quence which is still denoted by {xtn} that converges to some fixed point p of T. To prove that the entire net{xt}converges strongly to p, we assume there exists another sequence{sn} ∈(0, 1) such thatxsnq, thenqF(T). We have to showp=q. Indeed, foruF(T), it is easy to see that

xtTxt,Jϕ

xtu=Φxtu+uTxt,Jϕ

xtu

ΦxtuuTxt·Jϕ

xtu

ΦxtuΦxtu=0.

(3.14)

On the other hand, since

xtTxt= t 1t

fxtxt, (3.15)

we get fort(0, 1) anduF(T), xtfxt

,Jϕ

xtu0. (3.16)

Since the sets{xtu}and{xt}are bounded and a Banach spaceXhas a weakly contin- uous duality mapJϕ, thenJϕis single valued and weak-to-weaksequentially continuous, for anyuF(T), byxsnq(sn0), we have

xsnfxsn

qf(q)−→0 sn−→0, xsnfxsn,Jϕxsnu

qf(q),Jϕ(qu)

=xsnfxsn

qf(q),Jϕxsnu +qf(q),JϕxsnuJϕ(qu)

xsnfxsn

qf(q)Jϕ

xsnu +qf(q),Jϕ

xsnuJϕ(qu) assn−→0.

(3.17)

Therefore, we get

qf(q),Jϕ(qu)=lim

sn0

xsnfxsn,Jϕxsnu0. (3.18)

Interchangepanduto obtain

qf(q),Jϕ(qp)0. (3.19)

Interchangeqanduto obtain

pf(p),Jϕ(pq)0. (3.20)

This implies that

(pq)

f(p)f(q),Jϕ(pq)0. (3.21)

(7)

That is,

pqϕpq

βpqϕpq

. (3.22)

This is a contradiction, so we havep=q.

The proof is complete.

Remark 3.2. Theorem 3.1is proved in a weaker condition than [7, Theorem 4.1], and the method of proof is different from [7], we introduce a continuous strict increasing function.

Next two main results are about accretive operators, we consider the problem of find- ing a zero of anm-accretive operatorAin a reflexive Banach spaceX, 0Ax. Denote by F(A) the zero set ofA, that is,

F(A) :=

xD(A) : 0Ax =A1(0). (3.23) Theorem 3.3. Suppose thatXis reflexive and has a weakly continuous duality mapJϕwith gaugeϕ. Suppose thatAis anm-accretive operator inXsuch thatC=D(A) is convex with F(A)=φ, and f :CCis a fixed contractive map. Assume

(i)αn0 andn=0αn= ∞, (ii)γn→ ∞.

Then the sequence{xn}defined by (1.12) converges strongly to a point inF(A).

Proof. First we prove{xt}is bounded. Indeed, takeuF(A), then xn+1uαnfxnu+1αnJrnxnu

αnβxnu+αnf(u)u+1αnxnu

1(1β)αnxnu+αnf(u)u.

(3.24)

By induction, we get

xnumaxx0u, 1

1βf(u)u

n0. (3.25) This implies that{xn}is bounded, so are{f(xn)}and{Jrnxn}, and hence

xn+1Jrnxn=αnfxnJrnxn−→0. (3.26) We next prove

lim sup

n→∞

f(p)p,Jϕxnp0, pF(A). (3.27)

ByTheorem 3.1, putp=limt0xt, we take a subsequence{xnk}of{xn}such that lim sup

n→∞

f(p)p,Jϕxnp=lim sup

n→∞

f(p)p,Jϕxnkp. (3.28)

(8)

SinceXis reflexive, we may further assume thatxnkx. Moreover, since

xn+1Jrnxn−→0, (3.29)

we obtain

Jrnk1xrnk1 x. (3.30)

Taking the limit ask→ ∞in the relation

Jrnk1xrnk1,Arnk1xrnk1

A, (3.31)

we get [x, 0]A, that is,xF(A). Hence by (3.28) and (3.18), we have lim sup

n→∞

f(p)p,Jϕ

xnp=

f(p)p,Jϕ(xp)0. (3.32) That is, (3.27) holds.

Finally, we prove thatxnp.

We applyLemma 2.3to get

Φxn+1p=Φ1αnJrnxnp+αnfxnp

=Φ1αn

Jrnxnp+αn fxn

f(p)+αn

f(p)p)

Φ1αn

Jrnxnp+αn fxn

f(p) +αn

f(p)p,Jϕ

xn+1p

1(1β)αn

Φxnp) +αn

f(p)p,Jϕ

xn+1p.

(3.33) ApplyingLemma 2.1, we get

Φxnp−→0. (3.34)

That is,xnp0, that is,xnp.

The proof is complete.

Theorem 3.4. Suppose thatXis reflexive and has a weakly continuous duality mapJϕwith gaugeϕ. Suppose thatAis anm-accretive operator inXsuch thatC=D(A) is convex with F(A)=φ, and f :CCis a fixed contractive map. Assume

(i)αn−→0, n=0

αn= ∞, n=1

αn+1αn<,

(ii)γnε n, n=1

γn+1γn<.

(3.35)

Then{xn}defined by (1.12) converges strongly to a point inF(A).

(9)

Proof. We only include the differences. We have xn+1=αnfxn

+1αn

Jγnxn, xn=αn1fxn1

+1αn1

Jγn1xn1. (3.36) Thus,

xn+1xn=αnfxn

+1αn

Jγnxn

αn1fxn1

+1αn1

Jγn1xn1

=αn

fxn

fxn1

+αnαn1

fxn1

Jγn1xn1

+1αn

JγnxnJγn1xn1

.

(3.37)

Ifγrn1γn, byLemma 2.4, we get Jγnxn=Jγn1

γn1

γn xn+

1γn1

γn

Jγnxn

, (3.38)

we have

JγnxnJγn1xn1γn1

γn

xnxn1+

1γn1

γn

Jγnxnxn1

xnxn1+

γnγn1

γn

Jγnxnxn1

xnxn1+1

εγn1γnJγnxnxn1.

(3.39)

It follows from the above results that xn+1xnαnαn1fxn1

Jγn1xn1+1αnxnxn1 +1

ε

1αnγn1γnJγnxnxn1+αnβxnxn1

Mαnαn1+γn1γn+1(1β)αnxnxn1,

(3.40)

whereM >0 is some appropriate constant. Similarly, we can prove the last inequality if γn1γn. By assumptions (i) and (ii) andLemma 2.1, we have

xn+1xn−→0. (3.41)

This implies that

xnJγnxnxn+1xn+xn+1Jγnxn. (3.42) Sincexn+1Jγnxn =αnf(xn)Jγnxn0. It follows from (3.42) that

Aγnxn= 1 γn

xnJγnxn1

εxnJγnxn−→0. (3.43) Now if{xnk}is a subsequence of{xn}converging weakly to a pointx, then taking the limit ask→ ∞in the relation

Jγnkxnk,AγnkxnkA, (3.44)

(10)

we get [x, 0]A, that is,xF(A). We therefore conclude that all weak limit points of {xn}are zeros ofA.

The rest of the proof follows fromTheorem 3.3.

The proof is complete.

Acknowledgment

This work is supported by the National Science Foundation of China, Grants 10471033 and 10271011.

References

[1] V. Barbu, Nonlinear Semigroups and Differential Equations in Banach Spaces, Editura Academiei Republicii Socialiste Romˆania, Bucharest; Noordhoff, Leiden, 1976.

[2] F. E. Browder, Convergence of approximants to fixed points of nonexpansive non-linear mappings in Banach spaces, Archive for Rational Mechanics and Analysis 24 (1967), no. 1, 82–90.

[3] , Convergence theorems for sequences of nonlinear operators in Banach spaces, Mathema- tische Zeitschrift 100 (1967), no. 3, 201–225.

[4] T.-C. Lim and H.-K. Xu, Fixed point theorems for asymptotically nonexpansive mappings, Non- linear Analysis 22 (1994), no. 11, 1345–1355.

[5] H.-K. Xu, Iterative algorithms for nonlinear operators, Journal of the London Mathematical Soci- ety. Second Series 66 (2002), no. 1, 240–256.

[6] , An iterative approach to quadratic optimization, Journal of Optimization Theory and Applications 116 (2003), no. 3, 659–678.

[7] , Viscosity approximation methods for nonexpansive mappings, Journal of Mathematical Analysis and Applications 298 (2004), no. 1, 279–291.

[8] , Strong convergence of an iterative method for nonexpansive and accretive operators, Jour- nal of Mathematical Analysis and Applications 314 (2006), no. 2, 631–643.

Rudong Chen: Department of Mathematics, Tianjin Polytechnic University, Tianjin 300160, China E-mail address:[email protected]

Zhichuan Zhu: Department of Mathematics, Tianjin Polytechnic University, Tianjin 300160, China E-mail address:[email protected]

(11)

Special Issue on

Modeling Experimental Nonlinear Dynamics and Chaotic Scenarios

Call for Papers

Thinking about nonlinearity in engineering areas, up to the 70s, was focused on intentionally built nonlinear parts in order to improve the operational characteristics of a device or system. Keying, saturation, hysteretic phenomena, and dead zones were added to existing devices increasing their behavior diversity and precision. In this context, an intrinsic nonlinearity was treated just as a linear approximation, around equilibrium points.

Inspired on the rediscovering of the richness of nonlinear and chaotic phenomena, engineers started using analytical tools from “Qualitative Theory of Differential Equations,”

allowing more precise analysis and synthesis, in order to produce new vital products and services. Bifurcation theory, dynamical systems and chaos started to be part of the mandatory set of tools for design engineers.

This proposed special edition of the Mathematical Prob- lems in Engineering aims to provide a picture of the impor- tance of the bifurcation theory, relating it with nonlinear and chaotic dynamics for natural and engineered systems.

Ideas of how this dynamics can be captured through precisely tailored real and numerical experiments and understanding by the combination of specific tools that associate dynamical system theory and geometric tools in a very clever, sophis- ticated, and at the same time simple and unique analytical environment are the subject of this issue, allowing new methods to design high-precision devices and equipment.

Authors should follow the Mathematical Problems in Engineering manuscript format described at http://www .hindawi.com/journals/mpe/. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking System athttp://

mts.hindawi.com/according to the following timetable:

Manuscript Due December 1, 2008 First Round of Reviews March 1, 2009 Publication Date June 1, 2009

Guest Editors

José Roberto Castilho Piqueira,Telecommunication and Control Engineering Department, Polytechnic School, The University of São Paulo, 05508-970 São Paulo, Brazil;

[email protected]

Elbert E. Neher Macau,Laboratório Associado de Matemática Aplicada e Computação (LAC), Instituto Nacional de Pesquisas Espaciais (INPE), São Josè dos Campos, 12227-010 São Paulo, Brazil ; [email protected] Celso Grebogi,Center for Applied Dynamics Research, King’s College, University of Aberdeen, Aberdeen AB24 3UE, UK; [email protected]

Hindawi Publishing Corporation http://www.hindawi.com

参照

関連したドキュメント

Takahashi, “Strong convergence theorems for nonexpansive mappings and non- expansive semigroups,” Journal of Mathematical Analysis and Applications, vol. Chen, “Strong

Kubota, “Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert spaces,” Journal of Mathematical Analysis and Applications, vol. Ishikawa,

Xu, Strong convergence of modified Mann iterations for asymptotically non- expansive mappings and semigroups, Nonlinear Analysis 64 (2006), no.. Xu, Demiclosedness principle

Inspired by the above facts, in this paper, a new multistep iteration scheme with errors for finite family of asymptotically nonexpansive mappings is introduced and strong and

Suzuki, “Fixed point theorems and convergence theorems for some generalized nonexpansive mappings,” Journal of Mathematical Analysis and Applications, vol.. Suzuki, “A new type of

This proposed special edition of the Mathematical Prob- lems in Engineering aims to provide a picture of the impor- tance of the bifurcation theory, relating it with nonlinear

Shahzad, “Strong convergence theorems for a common zero for a finite family of m- accretive mappings,” Nonlinear Analysis: Theory, Methods &amp; Applications, vol.. Kang, “Zeros

Reich, “Strong convergence of contraction semigroups and of iterative methods for accretive operators in Banach spaces,” Israel Journal of Mathematics, vol.. Passty,