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

Relation between Equilibrium points for a Differential Inclusion and Solutions of a Variational Inequality(Information and mathematics of non-additivity and non-extensivity : from the viewpoint of functional analysis)

N/A
N/A
Protected

Academic year: 2021

シェア "Relation between Equilibrium points for a Differential Inclusion and Solutions of a Variational Inequality(Information and mathematics of non-additivity and non-extensivity : from the viewpoint of functional analysis)"

Copied!
4
0
0

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

全文

(1)

Relation between Equilibrium points for

a

Differential Inclusion and Solutions of

a

Variational Inequality

東京工業大学情報理工学 田村(眞中)裕子 (Hiroko Manaka Tamura) Department ofMathematical and Computing Science,

Tokyo institute ofTechnology

We introduce

a

relation between equiliblium points for

some

differential inclusion and

solutions of

a

variational inequality. At first

we

show convergencetheorems ofsolutions for

some differential inclusions.

1.

Convergence

Theorem

for

Differential

Inclusiohs

Let$X$be

a

Hilbert space with

an

inner product $(, )$, let $K\subset X$be

a

non-emptyclosed

convex

subset $ofX$, let$A$ bea set-valued maPping from $K$to $2^{X}$with

convex

compact

set-value, and let$x()$

:

$[O,\infty$) $arrow X$ We consider

a

differentialinclusion$DI(A,K)$ for$A$ and $K$

as

follows:

$DI(A,K)$

:

$\{\begin{array}{l}x(t)\in Kfora\psi t\in[0,\infty\dot{x}(t)\in-A(x(t))t\in(0,\infty)\end{array}$

Next

we

give

some

definitions.

定義 (Def) (1)$x()$ is called

a

trajectoryofDI$(\Lambda,K)$ , ifamaPping$x()$ : $[0,\infty$) $arrow K$is

absolutely continuous and satisfies $DI(A,K)$

.

(2)A point$x^{*}\in K$is said to be

an

equilibrium point for$DI(A,K)$ if$0\in-A(x^{*})$

.

Let $\varphi$

:

$Xarrow(-\infty,\infty$] be

a

properlower $semi-continuous$ convexfunction. A $s$ubdifferential $\partial\varphi$

:

$Xarrow 2^{\chi}$is

deflned

by

$\partial\varphi(x)=$

{

$w\in X$

:

$\varphi(y)\geq\varphi(x)+(w,y-x)$

for

$a\varphi y\in X$

}.

Then it is well-known that$x^{*}\in K$is

an

equilibrium point ofDI$(\partial\varphi,K)$if and only if $x^{t}$ is a

minimum point of$\varphi$ , i.e., $\varphi(x^{*})=\min_{xeY}\varphi(x)$

.

It is also knownthat $\partial\varphi$ has

a

property of

demipositivity.

定韓 (Def.) A set-valued mapping$A$

:

$Xarrow 2^{X}$ is said to be demipositive if(1),(2) and (3)

hold:

(1) $(v,x-y)\geq 0$ for all$x\in X,y\in A^{-1}(0)$ and$v\in A(x)$

.

(2) There

exists

$y_{0}\in A^{-1}(0)$ such that $O\in A(x)$ whenever$(v,x-y_{0})=0$for all

$v\in A(x)$

.

数理解析研究所講究録

(2)

(3) Forthe$y_{0}$ in (2), if$x_{n}arrow x,$ $v_{n}\in A(x_{n}),$ $\{v_{n}\}$ is bounded and

$\lim_{narrow\infty}(v_{n},x_{n}-y_{0})=0$ , then $0\in A(x)$

.

(Remark) If$A$ satisfies (1) and (2), $A$ is calledfirmly positive.

Bruck showed the convergence theorems with respectto ademipositive mapping.

定理 (Theoreml) ([1] Bruck, 1974)

Suppose$A$

:

$Xarrow 2^{X}$is demipositive and that $x()$

:

$[O,\infty$) $arrow X$ is

an

absolutelycontinuousmapping satisfying

$\{\begin{array}{l}x(t)\in D(A)forallt\geq 0\dot{x}(t)\in-A(x(t))foralmostallt>0\Vert x(t)||\in L^{\infty}(0,\infty)\end{array}$

Thenthere exists $x^{*}= w-\lim_{tarrow\infty}x(t)$ and$x^{*}\in A^{-1}(0)$

.

定理 (Theorem2) $([1] B\iota uck,1974)$ Let $\varphi$

:

$Xarrow(-\infty,\infty$] be

a

proper lowersemi-continuous

convex even

function with

a

minimum. Thenthere exists $a$unique solution$x()$

:

$[O,\infty$) $arrow X$,

which is absolutely continuous

on

$[\delta,\infty$) for all$\delta>0$, satisfying

$\{\begin{array}{l}x(t)\in D(\partial\varphi)altt>0\dot{x}(t)\in-\partial\varphi(x(t))t>0\end{array}$

and there exists$x^{*}=s- \lim_{tarrow\infty}x(t)$ such that $\varphi(x^{*})=\min_{x\in}x\varphi(x)$

.

We shall introduce the sufficient conditions of$demi\mu sitivity$

.

定理 $(Theo\gamma em3)([1]Bruck,1974)$A $s$et-valued mapping$A$

:

$Xarrow 2^{X}$ is demipositive when

the following

one

of$(a)-(e)$ holds:

(a)$A$ is

a

subdifferential $\partial\varphi$ of

a

proper lower semi-continuous

convex

function

$\varphi$ : $Xarrow[-\Phi\infty$) with a minimum in$X$

.

(b)$A$ is$I-T$, where$I$is

an

identity function and $T$is anon-expansive mappingwith

a

fixed point.

(c)

A

is maximal monotone, odd and firmlypositive.

(d)$A$ is maximal monotone and $in\mathcal{U}^{-l}(0)\neq\emptyset$

.

(e)$A$ is maximal monotone, firmly positive andweakly closed.

(Remark) (1)$A$

:

$Xarrow 2^{\chi}$is called monotone if$(u-v,x-y)\geq 0$ for any$x,y\in D(\Lambda)$ and

$u\in A(x),v\in A(y)$

.

(2)$A$ is called maximal monotone ifit is not properly contained in any othermonotone

subset $ofX$

.

(3)$A$ is said to be weakly closed if$x_{n}arrow x,$ $v_{n}arrow v,$ $v_{n}\in A(x_{n})$ and then $v\in A(x)$

.

There

are

many

re

$s$ults of approximations ofequilibriumpoint$s$ for Maximal operators ([21,

[3], etc.)

2.

SoIutions

of Variational

Inequality

and

Equilibrium

Points

of

Differential

(3)

Variational

Inequality

Let $F$

:

$Karrow 2^{X}$be a uppersemi-continuous set-valued mapping such that $F(x)$ is

a

non-empty

convex

compact subset of$X$for any$x\in X$, where $F$is said to be upper

semi-continuous iffor any open $s$et $U$ containing$F(x_{0})$ there exists a neighborhood $V$of$x_{0}$

suchthat $F(V)\subset U$, where $F(V)= \bigcup_{x\in V}F(x)$

.

We give

some

definitions for solutions of

variational inequalities for$F$and $K$

.

定義 (Def) [4] (1)$x^{*}\in K$is called

a

solution ofStampacchia variational inequality$SVI(F,K)$

ifthere exist$s\xi‘\in F(x^{*})$ such that $(\xi‘,y-x^{*})\geq 0$

for

all$y\in K$

.

定義 (Def.) (2) $\in K$is called a $s$olution ofStrong Mintyvariational inequality

SMVI$(F,K)$

iffor

all$y\in K,$ $(\eta,y-x^{*})\geq 0$

for

all $\eta\in F(y)$

.

定義 (Def) (3)$x^{s}\in K$Is called a solution ofWeak Mintyvariational inequality Wクレ\sim(F-,$K$)

if for any$y\in K$there exist$s\eta_{0}\in F(\gamma)$ such that $(\eta_{0},y-x^{*})\geq 0$

.

$F$is said to bepseudomonotone if forall$x,y\in K$thereexists $u\in F(x)$ suchthat

$(u,y-x)\geq 0$then $(v,y-x)\geq 0$ forall $v\in F(y)$

.

If$F$is pseudomonotone, the set of

solutions of$SVI(F,K)$ coincides with the set ofsolutions ofSMVI$(F,K),$$\psi^{1}MV1(F,K)$

.

Results

with respectto the convergence theorems ofvariational inequalities

are

shown inmany approaches ([51, [6], [7]).

Let $T_{K}(x)=\{v\in X : x+\alpha_{n}v_{n}\in K,\alpha_{n}>0,a_{n}arrow 0,v_{n}arrow v(narrow\infty)\}$ and let

$N_{K}(x)=$

{

$\nu\in X$

:

$(y,v)\leq 0$

for

any

$v\in T_{K}(x)$

}.

$T_{K}(x)$ is called atangent

cone

and$N_{K}(x)$ is

called a normal

cone.

Thefollowing differential inclusion is saidto be

a

differential variational inequality$DVI(F,K)$

.

$DVI(F,K)$

:

$\{\begin{array}{l}x(t)\in Kfort\in[0,\infty\dot{x}(t)\in-(F+N_{K})(x(t))a.e.t\in[0,\infty\end{array}$

And

we

call the following differential inclusion

a

projected differential inclusion$PDI(F,K)$

.

$PDI(F,K)$

:

$\{\begin{array}{l}x(t)\in Kfort\in[0,\infty\dot{x}(t)\in Pr_{Ka)}(-P)(x(f))a.e.t\in[0,\infty\end{array}$

where$Pr_{K(r)}$ is aProjection onto $T_{K}(x(t))$

.

It is shown that $x(t)$ is

a

solution of$DVI(F,K)$ if and

only$ifx(t)$ is a solution ofPDI$(F,K)$

.

G.P.Crespi and M.Rocca showed the followingtheorems ([8]).

定理 (Theorem (G.P.Crespi and M.Rocca,2004)) Let $X^{*}\in K$be

an

equilibrium point of

$D\nabla I(F,K)$ and

assume

that $F$is pseudomonotone. Then every solution$x(t)$ of$DVI(F,K)$

satisfies that

$||x(t)-x^{s}||\leq||x(s)-x^{*}\Vert$

for

$t\geq s$

.

We shall introducethe relation between equilibrium point$s$ of$DVI(F,K)$ andsolutions of

$SVI(F,K)$

.

(4)

定理 (Theorem) Let$K\subset X$be a closed

convex

subset, and let $F$

:

$Xarrow 2^{X}$be

an

uPper

semi-continuous mapping withnon-empty

convex

and compact values. Assume $F$is

pseudomonotone. Then, the following (a) and (b)

are

equivalent:

(a)$x^{*}\in K$is

an

equilibriumpoint of$DVI(F,K)$

.

(b)$x^{*}\in K$is a solution of$SVI(F,K)$

.

There

are

many results ofconvergence theorems to solutions of$SVI(F,K)$ byusingiterative

schemes and also given many results ofapproximating solutions. We tryto studythe

approximation theory and the iterative methods in orderto find

an

equilibriumpoint of

$DI(F,K)$ withrespectto the fixed point theorywith good compositions ofoperator$F$ofalarge

clas$s$ of$s$et-valued mappings.([9])

[Refferences]

[1] Ronald E. BIuck,Jr. ’Asymptotic Convergence ofNonlinear$Contract\ddagger on$ SemiyouPs in

Hilbert Space,’Bull.Am$s.,1974$

[2] S.Kamimura and W. Takahashi, ’Approximation Solutions of Maximal Monotone

Operators

in

Hilbert Spaces,’

J.

APprox. Theory $106-2(2000),$ $226-240$

[3] W. $Takahashi,$ $\prime Nonlinear$ FunctionalAnalysis, Yokohama Publishers,

2002

[4] D. Kinderlehrer and G. Stampacchia,

’An

IntroductiontoVariational lnqualities and

Their Applications,’Academic Press,

1980

[5] U. $Mosco,$ $\prime Convergence$ ofConvex Sets and Solutions ofVariational Inequalities,’ Adv.

Math. 3(1969),

510-585

[6] H. ManakaTamura, ’Regularization ofNonlinearVariatIonal Inequalities with

pseudomonotone operators and $Mosco-pe\iota turbed$ DomaIns,’ Proceedings ofNACA,

2001

[7]

J.

C. Yao, $\prime Variat\ddagger onal$ lnqualities with generalized monotone operators,’ Mathematics of Operators Research 19(1994).

691-705

[8] G. Cre$spi$ and M. Rocca, ’Minty Variational Inequalities and Monotone Trajectories of

DifferentIal Inclusions,’

Journal

Inequalities in Pure and $Appl\ddagger ed$Mathmatics, vo1.5, Issue 2,

ARicle 48,

2004

[9] H. Manaka Tamura,

’A

Note

on

$Stevi\acute{c}’ s$ Iteration Method,’

J.

Math. Anal. Appl.

314(2006),

382-389

参照

関連したドキュメント

We introduce a new general iterative scheme for finding a common element of the set of solutions of variational inequality problem for an inverse-strongly monotone mapping and the

Nonlinear systems of the form 1.1 arise in many applications such as the discrete models of steady-state equations of reaction–diffusion equations see 1–6, the discrete analogue of

Trujillo; Fractional integrals and derivatives and differential equations of fractional order in weighted spaces of continuous functions,

In this paper, we focus on the existence and some properties of disease-free and endemic equilibrium points of a SVEIRS model subject to an eventual constant regular vaccination

We will later see that non-crossing and non-nesting set partitions can be seen as the type A instances of more general constructions:.. ▸ non-crossing partitions NC ( W ) , attached

In this section, we show a strong convergence theorem for finding a common element of the set of fixed points of a family of finitely nonexpansive mappings, the set of solutions

Wangkeeree, A general iterative methods for variational inequality problems and mixed equilibrium problems and fixed point problems of strictly pseudocontractive mappings in

We introduce an iterative method for finding a common element of the set of common fixed points of a countable family of nonexpansive mappings, the set of solutions of a