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

Decision Support for Intermodal Transport

N/A
N/A
Protected

Academic year: 2022

シェア "Decision Support for Intermodal Transport"

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

Decision Support for Intermodal Transport

Call for Papers

Intermodal transport refers to the movement of goods in a single loading unit which uses successive various modes of transport (road, rail, water) without handling the goods during mode transfers. Intermodal transport has become an important policy issue, mainly because it is considered to be one of the means to lower the congestion caused by single-mode road transport and to be more environmentally friendly than the single-mode road transport. Both consider- ations have been followed by an increase in attention toward intermodal freight transportation research.

Various intermodal freight transport decision problems are in demand of mathematical models of supporting them.

As the intermodal transport system is more complex than a single-mode system, this fact offers interesting and challeng- ing opportunities to modelers in applied mathematics. This special issue aims to fill in some gaps in the research agenda of decision-making in intermodal transport.

The mathematical models may be of the optimization type or of the evaluation type to gain an insight in intermodal operations. The mathematical models aim to support deci- sions on the strategic, tactical, and operational levels. The decision-makers belong to the various players in the inter- modal transport world, namely, drayage operators, terminal operators, network operators, or intermodal operators.

Topics of relevance to this type of decision-making both in time horizon as in terms of operators are:

• Intermodal terminal design

• Infrastructure network configuration

• Location of terminals

• Cooperation between drayage companies

• Allocation of shippers/receivers to a terminal

• Pricing strategies

• Capacity levels of equipment and labour

• Operational routines and lay-out structure

• Redistribution of load units, railcars, barges, and so forth

• Scheduling of trips or jobs

• Allocation of capacity to jobs

• Loading orders

• Selection of routing and service

Before submission authors should carefully read over the journal’s Author Guidelines, which are located athttp://www .hindawi.com/journals/jamds/guidelines.html. Prospective authors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking Sys- tem athttp://mts.hindawi.com/, according to the following timetable:

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

Lead Guest Editor

Gerrit K. Janssens,Transportation Research Institute (IMOB), Hasselt University, Agoralaan, Building D, 3590 Diepenbeek (Hasselt), Belgium;[email protected]

Guest Editor

Cathy Macharis,Department of Mathematics, Operational Research, Statistics and Information for Systems (MOSI), Transport and Logistics Research Group, Management School, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussel, Belgium;[email protected]

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

参照

関連したドキュメント

In rough set theory, the classification of objects according to approximation operators can be fitted into the Bayesian decision-theoretic model, with respect to three

This is the well-known Hahn-Banach theorem, that is, the extension theorem for bounded lin- ear functionals on normed linear spaces.. The following theorem is Hahn’s result

Namely, in this case we should require that the indices at 0 are those of L n 0 , where L 0 is a rational homogeneous operator of order ` with integer indices, and we conjecture

In the following theorem, we establish an upper bound of the modified negative decision number for a bipartite graph in terms of its order and we characterize the graphs attaining

It is suggested by our method that most of the quadratic algebras for all St¨ ackel equivalence classes of 3D second order quantum superintegrable systems on conformally flat

[3] Xuan Peicai, Rate of convergence for Baskakov operators with Jacobi-Weights, Acta Mathematicae Application Sinica, 18 (1995), 129-139.. School of Applied Sciences, Netaji

The decision-makers belong to the various players in the inter- modal transport world, namely, drayage operators, terminal operators, network operators, or intermodal operators..

We study the asymptotic behavior of solutions, in particular the scattering theory, for the nonlinear Schr¨ odinger equations with cubic and qua- dratic nonlinearities in one or