• No results found

A proximal point algorithm for zeros of monotone operators

N/A
N/A
Protected

Academic year: 2020

Share "A proximal point algorithm for zeros of monotone operators"

Copied!
7
0
0

Loading.... (view fulltext now)

Full text

(1)

Available online at http://scik.org

Mathematical Finance Letters, 2013, 2013:7

ISSN: 2051-2929

A PROXIMAL POINT ALGORITHM FOR ZEROS OF MONOTONE OPERATORS

S. YANG

School of Mathematics and Information Science, Henan Polytechnic University, China

Copyright c2013 S. Yang. 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.

Abstract. In this article, a proximal point algorithm is investigated for treating zeros of maximal monotone map-pings. Strong convergence theorems are established in the framework of Hilbert spaces.

Keywords: monotone operator; nonexpansive mapping; fixed point; iterative process.

2000 AMS Subject Classification:47H05, 47H09, 47H10

1. Introduction-Preliminaries

Recently, algorithms have been studied as an effective and powerful tool for studying a wide

class of real world problems which arise in economics, finance, and network; see [1-9] and the

references therein.

Throughout this paper, we assume that

H

is a real Hilbert space, whose inner product and

norm are denoted by

h·,

·i

and

k · k

, respectively. Let

T

be a set-valued mapping.

(a) The set

D

(

T

)

defined by

D

(

T

) =

{

u

H

:

T

(

u

)

6=

/0

}

E-mail address: [email protected] Received August 19, 2013

(2)

is called the effective domain of

T

;

(b) The set

R

(

T

)

defined by

R

(

T

) =

[

u∈H

T

(

u

)

is called the range of

T

;

(c) The set

G

(

T

)

defined by

G

(

T

) =

{(

u

,

v

)

H

×

H

:

u

D

(

T

),

v

R

(

T

)}

is said to be the graph of

T

.

Recall the following definitions.

(c)

T

is said to be monotone if

h

u

v

,

x

y

i ≥

0

,

∀(

u

,

x

),

(

v

,

y

)

G

(

T

)

;

(d)

T

is said to be maximal monotone if it is not properly contained in any other monotone

operator.

For a maximal monotone

T

:

D

(

T

)

2

H

, we can defined the resolvent of

T

by

J

t

= (

I

+

tT

)

−1

,

t

>

0

.

It is well known that

J

t

:

H

D

(

T

)

is nonexpansive and

F

(

J

t

) =

T

−1

(

0

),

where

F

(

J

t

)

denotes the set of fixed points of

J

t

. The Yosida approximation

T

t

is defined by

T

t

=

1t

(

I

J

t

),

t

>

0

.

It is well known that

T

t

x

T J

t

x

,

x

H

and

k

T

t

x

k ≤ |

T x

|

, where

|

T x

|

=

inf

{k

y

k

:

y

T x

},

for all

x

D

(

T

).

(3)

equation 0

T x

,

is the proximal point algorithm. To be more precise, start with any point

x

0

H

,

and update

x

n+1

iteratively conforming to the following recursion

x

n

x

n+1

+

β

n

T x

n+1

,

n

0

,

where

{

βn

} ⊂

[

β

,

)

, (

β

>

0) is a sequence of real numbers.

In 1976, Rockafellar [19] gave an inexact variant of the method

x

0

H

,

x

n

+

e

n+1

x

n+1

+

λn

T x

n+1

,

n

0

,

where

{

e

n

}

is regarded as an error sequence. This an inexact proximal point algorithm. It was

shown that, if

∞n=0

k

e

n

k

<

,

then the sequence

{

x

n

}

converges weakly to a zero of

T

provided

that

T

−1

(

0

)

6=

/0. In [16], G¨uler obtained an example to show that Rockafellar’s proximal point

algorithm does not converge strongly, in general.

Recently, many authors studied the problems of modifying Rockafellar’s proximal point

algo-rithm so that strong convergence is guaranteed. Cho, Kang and Zhou [10] proved the following

result.

Theorem CKZ.

Let H be a real Hilbert space,

a nonempty closed convex subset of H

,

and

T

:

2

H

a maximal monotone operator with T

−1

(

0

)

6=

/0

. Let P

be the metric projection of

H onto

Ω. Suppose that, for any given x

n

H

,

β

n

>

0

and e

n

H, there exists

x

¯

n

conforming

to the SVME (1.5), where

{

β

n

} ⊂

(

0

,

+

)

with

β

n

as n

and

∞n=1

k

e

n

k

2

<

.

Let

{

α

n

}

be a real sequence in

[

0

,

1

]

such that

(i)

α

n

0

as n

,

(ii)

∞n=0

α

n

=

.

For any fixed u

,

define the sequence

{

x

n

}

iteratively as follows:

x

n+1

=

α

n

u

+ (

1

α

n

)

P

(

x

¯

n

e

n

),

n

0

.

Then

{

x

n

}

converges strongly to a fixed point z of T , where z

=

lim

t→∞

J

t

u

.

Lemma 1.1.

[20]

Let H be a Hilbert space and C a nonempty, closed and convex subset H

.

For

all u

C,

lim

t→∞

J

t

u exists and it is the point of T

−1

(

0

)

nearest u

.

Lemma 1.2

[12]

For any given x

n

C

,

λ

n

>

0

, and e

n

H

,

there exists

x

¯

n

C conforming to

the following set-valued mapping equation (in short, SVME):

(4)

Furthermore, for any p

T

−1

(

0

)

, we have

h

x

n

x

¯

n

,

x

n

x

¯

n

+

e

n

i ≤ h

x

n

p

,

x

n

x

¯

n

+

e

n

i

and

k

x

¯

n

e

n

p

k

2

≤ k

x

n

p

k

2

− k

x

n

x

¯

n

k

2

+

k

e

n

k

2

.

Lemma 1.3

Assume that

{

α

n

}

is a sequence of nonnegative real numbers such that

α

n+1

(

1

γ

n

)

α

n

+

δ

n

,

where

{

γ

n

}

is a sequence in

(

0

,

1

)

and

{

δ

n

}

is a sequence such that

(i)

n=1

γ

n

=

;

(ii) lim sup

n→

δ

n

/

γ

n

0

or

∞n=1

|

δ

n

|

<

.

Then

lim

n→∞

αn

=

0

.

2. Main results

Theorem 2.1.

Let H be a real Hilbert space, C a nonempty, closed and convex subset of H

and T

:

C

2

H

a maximal monotone operator with T

−1

(

0

)

6=

/0

. Let P

C

be a metric projection

from H onto C. For any x

n

H and

λn

>

0

, find

x

¯

n

C and e

n

H conforming to the SVME,

where

{

λ

n

} ⊂

(

0

,

)

with

λ

n

as n

and

k

e

n

k ≤

η

n

k

x

n

x

¯

n

k

with

sup

n≥0

η

n

=

η

<

1

.

Let

{

αn

}

and

{

βn

}

be real sequences in

[

0

,

1

]

satisfying

αn

+

βn

<

1

and the following control

conditions:

lim

n→∞

α

n

=

n→

lim

β

n

=

0

and

n=0

α

n

=

.

Let

{

x

n

}

be a sequence generated by the following manner:

x

0

H

,

x

n+1

=

αn

f

(

x

n

) +

βn

x

n

+ (

1

αn

βn

)

P

C

(

x

¯

n

e

n

).

n

0

,

(

2

.

1

)

(5)

Proof.

First, show that the necessity. Assume that

x

n

z

as

n

,

where

z

T

−1

(

0

).

It

follows from (1.5) that

k

x

¯

n

z

k ≤ k

x

n

z

k

+

k

e

n

k

≤ k

x

n

z

k

+

η

n

k

x

n

x

¯

n

k

(

1

+

η

n

)k

x

n

z

k

+

η

n

k

x

¯

n

z

k.

This implies that

k

x

¯

n

z

k ≤

1+ηn

1−ηn

k

x

n

z

k.

It follows that ¯

x

n

z

as

n

.

Note that

k

e

n

k ≤

ηn

k

x

n

x

¯

n

k ≤

ηn

(k

x

n

z

k

+

k

z

x

¯

n

k).

This shows that

e

n

0 as

n

.

Next, we show the sufficiency. From the assumption, we see

k

e

n

k ≤ k

x

n

x

¯

n

k.

For any

p

T

−1

(

0

)

. It follows from Lemma 1.2 that

k

P

C

(

x

¯

n

e

n

)

p

k

2

≤ k

x

¯

n

e

n

p

k

2

≤ k

x

n

p

k

2

− k

x

n

x

¯

n

k

2

+

k

e

n

k

2

≤ k

x

n

p

k

2

.

That is,

k

P

C

(

x

¯

n

e

n

)

p

k ≤ k

x

n

p

k.

It follows that

k

x

n+1

p

k

=

k

α

n

(

f

(

x

n

)

p

) + (

1

α

n

)[

P

C

(

x

¯

n

e

n

)

p

]k

α

n

α

k

x

n

p

k

+

α

n

k

f

(

p

)

p

k

+ (

1

α

n

)k

P

C

(

x

¯

n

e

n

)

p

k

(

2

.

2

)

Putting

M

=

max

{k

x

0

p

k,

ku−1pk

α

},

we show that

k

x

n

k ≤

M

for all

n

0

.

It is easy to see that

the result holds for

n

=

0. Assume that the result holds for some

n

0. That is,

k

x

n

p

k ≤

M

.

Next, we prove that

k

x

n+1

p

k ≤

M

.

Indeed, from (2.2), we see that

k

x

n+1

p

k ≤

M

.

This

shows that the sequence

{

x

n

}

is bounded. Next, we show that lim sup

n→

h

u

z

,

x

n+1

z

i ≤

0,

where

z

=

lim

t→∞

J

t

f

(

z

).

From Lemma 1.1, we see that lim

t→∞

J

t

f

(

z

)

exists and is the point of

T

−1

(

0

)

nearest to

f

(

z

).

Since

T

is maximal monotone,

T

t

u

T J

t

f

(

z

)

and

T

λn

x

n

T J

λn

x

n

, we

see lim sup

n→

h

f

(

z

)

J

t

f

(

z

),

J

λn

x

n

J

t

f

(

z

)i ≤

0

.

On the other hand, by the nonexpansivity of

J

λn

, we obtain

k

J

λn

(

x

n

+

e

n

)

J

λn

x

n

k ≤ k(

x

n

+

e

n

)

x

n

k

=

k

e

n

k.

From the assumption

e

n

0

as

n

, we arrive at lim sup

n→

h

f

(

z

)

J

t

z

,

J

λn

(

x

n

+

e

n

)

J

t

f

(

z

)i ≤

0

.

It follows that

(6)

That is, lim

n→∞

k

P

C

(

x

¯

n

e

n

)

J

λn

(

x

n

+

e

n

)k

=

0

.

It follows that

lim sup

n→∞

h

f

(

z

)

J

t

f

(

z

),

P

C

(

x

¯

n

e

n

)

J

t

f

(

z

)i ≤

0

.

On the other hand, from the algorithm (2.1), we see that

x

n+1

P

C

(

x

¯

n

e

n

) =

α

n

[

f

(

x

n

)

P

C

(

x

¯

n

e

n

)] +

β

n

[

x

n

P

C

(

x

¯

n

e

n

)].

It follows from the condition lim

n→∞

α

n

=

lim

n→∞

β

n

=

0 that

x

n+1

P

C

(

x

¯

n

e

n

)

0

as

n

,

It follows that lim sup

n→

h

f

(

z

)

z

,

x

n+1

z

i ≤

0

.

Notice that

k

x

n+1

z

k

2

=

h

α

n

f

(

x

n

) +

β

n

x

n

+ (

1

α

n

β

n

)

P

C

(

x

¯

n

e

n

)

z

,

x

n+1

z

i

αn

h

f

(

x

n

)

z

,

x

n+1

z

i

+

βn

h

x

n

z

,

x

n+1

z

i

+ (

1

αn

βn

)h

P

C

(

x

¯

n

e

n

)

z

,

x

n+1

z

i

α

n

h

f

(

x

n

)

z

,

x

n+1

z

i

+

β

n

k

x

n

z

kk

x

n+1

z

k

+ (

1

α

n

β

n

)k

P

C

(

x

¯

n

e

n

)

z

kk

x

n+1

z

k

α

n

h

f

(

x

n

)

z

,

x

n+1

z

i

+

β

n

k

x

n

z

kk

x

n+1

z

k

+ (

1

α

n

β

n

)k

x

n

z

kk

x

n+1

z

k

=

αn

h

f

(

x

n

)

z

,

x

n+1

z

i

+ (

1

αn

)k

x

n

z

kk

x

n+1

z

k

αn

h

f

(

x

n

)

z

,

x

n+1

z

i

+

1

α

n

2

(k

x

n

z

k

2

+

k

x

n+1

z

k

2

).

This implies that

k

x

n+1

z

k

2

(

1

α

n

)k

x

n

z

k

2

+

α

n

h

f

(

z

)

z

,

x

n+1

z

i.

An application of Lemma 1.3, we obtain that

x

n

z

as

n

.

This completes the proof.

R

EFERENCES

[1] A.Y. Al-Bayati, R.Z. Al-Kawaz, A new hybrid WC-FR conjugate gradient-algorithm with modified secant condition for unconstrained optimization, J. Math. Comput. Sci. 2 (2012) 937-966.

[2] J. Shen, L.P. Pang, An approximate bundle method for solving variational inequalities, Commn. Optim. Theory, 1 (2012) 1-18.

(7)

[4] Y. Censor, N. Cohen, T. Kutscher, J. Shamir, Summed squared distance error reduction by simultaneous multiprojections and applications, Appl. Math. Comput. 126 (2002) 157-179.

[5] H. Iiduka, Fixed point optimization algorithm and its application to network bandwidth allocation, J. Comput. Appl. Math. 236 (2012) 1733-1742.

[6] H.S. Abdel-Salam, K. Al-Khaled, Variational iteration method for solving optimization problems, J. Math. Comput. Sci. 2 (2012) 1475-1497.

[7] H. Zegeye, N. Shahzad, Strong convergence theorem for a common point of solution of variational inequality and fixed point problem, Adv. Fixed Point Theory, 2 (2012) 374-397.

[8] B.O. Osu, O.U. Solomon, A stochastic algorithm for the valuation of financial derivatives using the hyperbolic distributional variates, Math. Fianc. Lett. 1 (2012) 43-56.

[9] J. Ye, J. Huang, Strong convergence theorems for fixed point problems and generalized equilibrium problems of three relatively quasi-nonexpansive mappings in Banach spaces, J. Math. Comput. Sci. 1 (2011), 1-18. [10] Y.J. Cho, S.M. Kang, H. Zhou, Approximate proximal point algorithms for finding zeroes of maximal

mono-tone operators in Hilbert spaces, J. Inequal. Appl. 2008 (2008) Art. ID 598191. [11] K. Deimling, Zeros of accretive operators, Manuscripta Math. 13 (1974) 365-374.

[12] J. Eckstein, Approximate iterations in Bregman-function-based proximal algorithms, Math. Programming, 83 (1998) 113-123.

[13] S. Kamimura, W. Takahashi, Approximating solutions of maximal monotone operators in Hilbert spaces, J. Approx. Theory 106 (2000) 226-240.

[14] S. Kamimura, W. Takahashi, Weak and strong convergence of solutions to accretive operator inclusions and Applications, Set-Valued Anal. 8 (2000) 361-374.

[15] W. Takahashi, Viscosity approximation methods for resolvents of acretive operators in Banach space, J. Fixed Point Theory Appl. 1 (2007) 135-147.

[16] W. Takahashi, Y. Ueda, On Reich’s strong convergence theorems for resolvents of accretive operators, J. Math. Anal. Appl. 104 (1984) 546-553.

[17] X. Qin, Y. Su, Approximation of a zero point of accretive operator in Banach spaces, J. Math. Anal. Appl. 329 (2007) 415-424.

[18] X. Qin, S.M. Kang, Y.J. Cho, Approximating zeros of monotone operators by proximal point algorithms, J. Global Optimi. 46 (2010) 75-87.

[19] R.T. Rockafellar, Monotone operators and the proximal point algorithm, SIAM J. Control Optim. 14 (1976) 877-898.

References

Related documents

This has rendered further subgroup analyses (e.g. age, gender, socioeco- nomic influences) less fruitful against our aim and the backdrop of updating the evidence base on ethnic

Integrated model of functional elements at the Ses locus The molecular characterization of Ses shows that it is com- posed of two linked and expressed genes, SesA and SesB ,

The present study also shows that MH84 reversed mitochondrial dysfunction and PGC-1 α levels, de- creased β -secretase processing of A β PP, and reduced levels of soluble A β 40

Conclusions: We show that α -synuclein aggregates induce microglial activation and demonstrate for the first time that galectin-3 plays a significant role in microglia

We included articles that met our inclusion criteria: development of a prognostic model in cancer patients; where the outcome was the time to an event; where the aim of the research

In conclusion, we successfully applied NGS to the genetic analysis of drug resistance in MTB, as well as in suscepti- ble strains. The Ion AmpliSeq Tb Panel showed satisfac-

The EQUATOR website provides an up to date centralized resource for: researchers writing up their studies (notably guidance on reporting, scientific writing, ethical conduct in

Methods: Unadjusted survival analysis of time to first event, hospitalisation for recurrent stroke or death, was undertaken using the cumulative incidence method which takes