• No results found

AN APPLICATION OF FIXED POINT THEOREM FOR S-CONVEX FUNCTION

N/A
N/A
Protected

Academic year: 2020

Share "AN APPLICATION OF FIXED POINT THEOREM FOR S-CONVEX FUNCTION"

Copied!
5
0
0

Loading.... (view fulltext now)

Full text

(1)

AN APPLICATION OF FIXED POINT

THEOREM FOR S-CONVEX FUNCTION

D.B.OJHA

Department of Mathematics, R.K.G.I.T.U.P.T.U., Delhi-Meerut Road,

Ghaziabad, U.P./201003, INDIA

MANISH KUMAR MISHRA

Research Scholar Singhania University)

Department of mathematics R.K.G.I.T. U.P.T.U Delhi-Meerut road Ghaziabad, U.P./201003, INDIA

Abstract :

In this paper, we showed an application of fixed point theorem in game theory with s-convex function.

.

Keywords: s-convex functions, fixed point.

1. Introduction

Kakutani 1941[4] proved an extension of Brouwer’s fixed point theorem to upper semi-continuous set-valued mappings defined on compact convex subsets of

n, which was extended to Banach spaces by H. F. Bohnenblust and S. Karlin 1950[1], and to locally convex spaces by Glicksberg 1952[3]. Nikaido 1968[6] gave a new proof of Kakutani’s theorem (in the case

n) based on the method of Schauder’s mappings. This proof is extended to Banach spaces in L. V. Kantorovich and G. P. Akilov 1964[5].

A locally convex space is a topological vector space

X

,

admitting a neighbourhood basis at 0 formed by convex sets. It follows that every point in X admits a neighbourhood basis formed of convex sets and there is a

neighbourhood basis at 0 formed by open convex symmetric sets. Let P be a family of semi norms on a vector space X and let

F P

  

:

f

P f nonempty and finite

:

. For

f

f P and r

 

0,

let

 

'

,

'

:

,

'

f

w

x r

x

X

 

p

f p x

x

r

 

,

'

:

,

'

f

w

x r

x

X

 

p

f p x

x

r

1.1

If

f

 

p

,

then we use the notation

w

p

 

x r

,

and

w

p

 

x r

,

to designate the open, respectively closed, p-ball. The family of sets

 

 

 

' '

, :

0

f

W

x

w

x r

f

F P and r

1.2 forms a neighborhood basis of a locally convex topology

p

on X.

The family of sets

 

f

 

, :

 

0

W x

w

x r

f

F P and r

1.3 is also a neighbourhood basis at x for

p

. If B is a convex symmetric absorbing subset of a vector space X, then the

Minkowski functional

p

w

:

X

0,

defined by

 

inf

0 :

,

w

p

x

x

w

x

X

1.4

is a semi norm on X and

(2)

If X is a topological vector space and ‘w’ is an open convex symmetric neighbourhood of 0, then the semi norm

p

w is continuous,

 

:

w

1 ,

:

w

 

1 .

w

x

X p

x

cl w

x

X p

x

1.6

If is a neighbourhood basis at 0 of a locally convex space

X

,

, formed by open convex symmetric neighbourhoods of 0, then

P

p

w

:

w W

is a directed family of semi norms generating the topology

in the way described above. Therefore, there are two equivalent ways of defining a locally convex space—as a topological vector space

X

,

such that 0 admits a neighbourhood basis formed by convex sets, or as a pair

X P

,

where P is a family of semi norms on X generating a locally convex topology on X. We consider only real

vector spaces.

A directed set is a partially ordered set

 

I

,

such that for every

i i

1

,

2

I

there exists

i

I

with

i

i

1, and

2

i

i

. A net in a set Z is a mapping

:

I

Z

.

. If

J

,

is another directed set and there exists a non-decreasing mapping

:

I

Z

.

such that for every

i

I

there exists

j

J

with

 

j

i

, then we say that

 

:

J

Z

is a subnet of the net  . One uses also the notation

z i

i

:

I

, where

z

i

 

i

,

to designate the net  and

 

z

j

:

j

J

for a subnet. It is known that a subset K of a topological space T is compact if and only if every net

in K admits a subnet converging to an element of K (see R. Engelking 1989)[2].

If

W x

 

is a neighbourhood basis of a point x of a topological space

X

,

then it becomes a directed set with respect to the order

w

1

w

2

w

2

w

1

.

. If

x

B

X B W

,

,

then

x

w

:

w W x

 

,

is a net in X. We denote

by

V x

 

the family of all neighbourhoods of a point

x

X

, and

cl Z

 

by the closure of a subset Z of X .

It is a well known fact that convexity and its generalization plays important role in different part of mathematics, mainly in optimization theory. In our paper we deal with a common generalization of s-convexity, approximate convexity, and results of Bernstein and Doetsch 1915[7]. The concept of s-convexity and rational s-convexity was introduced by Breckner 1978[8]. In 1978 Breckner[8] and H. Hudzik and L. Maligranda 1994[9] it was proved that s-convex functions are nonnegative, when

0

 

s

1

, moreover the set of s-convex functions increases as s decreases.

In the paper 1994 H. Hudzik and L. Maligranda[9] discussed a few results connecting with s-convex functions in

second sense and some new results about Hadamard’s inequality for s-convex functions are discussed in (M.

Alomari and M. Darus 1977-1989[10], 2008[11], U. S. Kirmaci 2007[13]), In 1999, S. S. Dragomir[12] et al. proved a variant of Hermite-Hadamard’s inequality for s-convex functions in second sense

2.Preliminaries:

A game is a triple

U V W

, ,

where U,V are nonempty sets, whose elements are called strategies, and

:

(3)

the player

when he chooses the strategy

x U

and the player

D

chooses the strategy

y V

. The quantity

 

,

W x y

represents the gain of the player

D

in the same situation. The target of the player

C

is to maximize his gain when the player

D

chooses a strategy that is the worst for α, that is, to choose

x

0

U

such that

inf

0

,

max inf

 

,

y V

W x y

x Uy V

W x y

2.1 Similarly, the player

D

chooses

y

0

V

such that

sup

,

0

min sup

 

,

y V

x U x U

W x y

W x y

2.2 it follows

 

0

0 0

0

 

sup inf

,

inf

,

,

sup

,

inf sup

,

.

y V y V y V

x U x U x U

W x y

W x y

W x y

W x y

W x y

  

 2.3

note that in general

sup inf

 

,

inf sup

 

,

y V y V

x U x U

W x y

W x y

 

2.4

If the equality holds in 2.4 , then, by 2.2

 

0 0

 

supinf

,

,

inf sup

,

.

y V y V

x U x U

W x y

W x y

W x y

 

 2.5

The common value in 2.5 is called the value of the game,

x y

0

,

0

 

U V

a solution of the game and

x

0 and

0

y

winning strategies. It follows that to prove the existence of a solution of a game we have to prove equality 2.4, that is, to prove a minimax theorem.

2.1 Lemma:

If U, V are compact Hausdorff topological spaces and

W U V

:

 

is continuous, then the functions

 

: min

 

,

min

,

,

,

y V

x

W x y

W x V

x U

 

: max

 

,

max

,

,

,

x U

y

W x y

W U y

y

V

are continuous too. 2.6

The minimax result for s- convex function we will prove it the following.

2.2 Proposition:

Let X, Y be topological spaces and

F X

:

Y

a set-valued mapping.

(a) If Y is regular, F is usc and for every

x

X

the set F(x) is nonempty and closed, then F has closed graph. (b) Conversely, if the space Y is compact Hausdorff and F is with closed graph, then F is usc.

S.Cobzas 2006 [14] states and prove the Kakutani theorem in the locally convex case. An element

x

X

is called a fixed point of a set-valued mapping

F X

:

Y

if

x

F x

 

. If F is single valued then the usual notion of fixed point.

3.Main Result:

3.1 Theorem:

let

X P

,

and

Y Q

,

be Housdoroff locally convex spaces and

U

X V

,

Y

nonempty compact convex sets.

Suppose that

W U V

:

 

is continuous and

I. For every

x U

the function

W x

 

,.

is s-convex and

II. For every

y V

the function

W

 

.,

y

is s-convex. Then

min max

 

,

max min

 

,

(4)

and the game

U V W

, ,

has a solution.

Proof :

Let functions

 

x

min

W x V and

 

y

min

W U

y

be as in lemma and let

 

 

:

,

,

:

 

,

 

,

x y

M

y

V W x y

x

N

x U W x y

y

3.2

for

x U

and

y V

. Since U,V are Housdorff compact spaces and the functions

W

, ,

 

are continuous, the sets

M

x and

N

y are nonempty and closed, for every

 

x y

,

 

U V

.

We will show that they are s-convex too. Let

y y

1

,

2

M t

x

,

 

0,1

and y

 

1

t y

1

ty

2

.

Then, by (i)

 

  

,

1

 

,

1

,

2

 

1

  

 

 

s s s s

x

W x y

t W x y

t W x y

t

x

t

x

x

 

 

3.3

showing that

W x y

 

,

 

x

, that is,

y

M

x. Similarly,

x x

1

,

2

N and t

y

,

 

0,1 ,

we have by (ii),

 

  

,

1

 

1

,

2

,

 

1

  

 

 

s s s s

y

W x y

t W x y

t W x y

t

y

t

y

y

 

 

3.4

showing that

W x y

 

,

 

x

, that is,

x

N

y

Let

C

 

U V

and define

F C

:

C by F x y

 

,

N

y

M

x

, ,

 

x y

C

.

it follows that

F x y

 

,

is a nonempty closed convex subset of C for every

 

x y

,

C

. If we show that F has closed graph, then by Section 2.2 it is usc, so that, by Section 2.3 (S. COBZAS 2006) F has a fixed point

x y

0

,

0

. We have

0 0

0

,

0 0

,

0 0 y

,

0 x

x y

F x y

x

N

y

M

3.5

But

0

0 y 0

,

0

x

N

W x y

max

,

0

inf max

 

,

.

y V

x U

W x y

x U

W x y

0

0 x 0

,

0

y

M

W x y

max

0

,

sup min

 

,

.

y V

y U

W x y

x U

W x y

3.6 Taking into account these last two inequalities and 11,we get

0

,

0

W x y

sup min

 

,

x U y V

W x y

inf max

x Uy V

W x y

 

,

W x y

0

,

0

3.7 implying

 

max min

,

y V

x U 

W x y

W x y

0

,

0

min max

y Vx U

W x y

 

,

3.8 It remained to show that the graph

G

F of F, given by

 

 

, , ,

2

: ,

,

,

F

G

x y u v

C

u v

F x y

3.9

is closed in

C

2 . Suppose that

x y

i

,

i

:

i

I

is a net in C converging to

 

x y

,

C

, and

u v

i

,

i

F x y

i

,

i

:

i

I

, are such that the net

u v

i

,

i

:

i

I

converges to

 

u v

,

C

. We have to show that

 

u v

,

F x y

 

,

.We have

u v

i

,

i

F x y

i

,

i

K u y

i

,

i

  

y

i

,

K x v

i

,

i

 

x

i 3.10

(5)

and , we get

W u y

 

,

 

y

,

and W x v

 

,

 

x

, that is,

F u v

 

,

N

y

M

x

F x y

 

,

.

The proof is complete.

4.Conclusion:

If the gain function with two strategies for a game is non empty compact s-convex set on Hausdorff locally convex spaces with minmax equal to maxmin condition , then game has a solution. Which showed as an application of the Kakutani fixed point theorem is to game theory for s-convex function.

5. References

[1] H. F. Bohnenblust and S. Karlin 1950, On a theorem of Ville, Contributions to the Theory of Games,Annals of Mathematics Studies, no. 24, Princeton University Press, New Jersey, 1950, pp. 155–160

[2] R. Engelking 1989, General Topology, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann, Berlin, 1989.

[3] L. Glicksberg 1952, A further generalization of the Kakutani fixed point theorem, with application to Nash equilibrium points, Proceedings of the American Mathematical Society 3 (1952), no. 1,170–174.

[4] S. Kakutani 1941, A generalization of Brouwer’s fixed point theorem, Duke Mathematical Journal 8 (1941), 457–459.

[5] L. V. Kantorovich and G. P. Akilov 1964, Functional Analysis, 3rd ed., Nauka, Moscow, 1984, Englishtranslation of the 1959 edition: Macmillan, New York 1964.

[6] H. Nikaid ˆo 1968, Convex Structures and Economic Theory, Mathematics in Science and Engineering,vol. 51, Academic Press, New York, 1968

[7] Bernstein F. and G. Doetsch 1915, Zur Theorie der konvexen Funktionen, Math. Annalen 76 , 514–526.

[8] Breckner W. W. and G. Orb´an 1978, Continuity properties of rationally s-convex mappings with values in ordered topological liner space, ”Babes-Bolyai” University, Kolozsv´ar,

[9] Hudzik H. and L. Maligranda 1994, Some remarks on si-convex functions, Aequationes Math. 48 ,100–111 [10] Alomari M. and M. Darus 2008, On Co-ordinated s¡convex functions, Inter. Math. Forum, 3(40) (2008) 1977-1989. [11] Alomari M. and M. Darus 2008, Hadamard-type inequalities for s¡convex functions, Inter. Math. Forum, 3(40) 1965-1970.

[12] Dragomir S. S. 1999, S. Fitzpatrick, The Hadamard’s inequality for convex functions in the second sense,Demonstratio Math. 32 (4)

(1999) 687-696.

[13] Kirmaci U. S. 2007 et al., Hadamard-type inequalities for s-convex functions, Appl. Math. Comp., 193,26-35.

References

Related documents

Thi spaperexami nestheNi geri a' seconomyi nrecessi on,anddi versi fi cati onofthe economythroughagri cul tureandothermeansasal ternati ve.Thepaperarguesthat di spl acementofagri

In this paper we describe, illustrate through cases, and critically examine key ethical challenges that are more likely to arise because a research study focuses on

First, we show that α 2b β 3integrin signaling in D723H cells is sufficient to induce β 1tubulin expression and recapitulate the specific microtubule behaviors observed

This should be repeated as it is a revolutionary point for the humanities. The “rule-based order of the human level” is a “symbol-type programmatic order of the human level” on

An Amyloid Imaging Task Force developed Appropriate Use Criteria that reserve pre- scribing and disclosing amyloid PET results for dementia specialists, defined as clinicians who

Conclusions: Patients with MCI who were treated with galantamine demonstrated a lower rate of whole brain atrophy, but not of hippocampal atrophy, over a 24-month treatment

After 1 month of the pre-intervention phase, we con- ducted a training program for all the cleaning staff and re- lated personnel regarding the implementation of separation