I.3 Introduction to the theory of convex conjugated function.
-
Upload
malcolm-fox -
Category
Documents
-
view
216 -
download
4
Transcript of I.3 Introduction to the theory of convex conjugated function.
![Page 1: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/1.jpg)
I.3
Introduction to the theory of convex conjugated function
![Page 2: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/2.jpg)
Epigraph
RE:
)()( xExD
ofepi ,
E : set
Epigraph, is the set
)(, xRExepi
![Page 3: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/3.jpg)
epi
![Page 4: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/4.jpg)
lower semicontinuous
],(: E )()( xExD
)())(inf(lim xyNyxN
Assume that E is a topological space.
Define
is called lower semicontinuous (l.s.c) at x if
)()(inflim xyxy
![Page 5: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/5.jpg)
i.e. for any
there is a neighborhood N of x such
that
0
Ν)()( yxy
f is l.s.c on E if f is l.s.c at each point of E
![Page 6: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/6.jpg)
Exercise
)(xEx
is l.s.c on E if and only if
is open
is closed
![Page 7: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/7.jpg)
epi
is l.s.c on E if and only if
is closed in E x R
![Page 8: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/8.jpg)
is l.s.c on E if and only if
is closed
![Page 9: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/9.jpg)
1
21
are l.s.c
then so is
If and 2
![Page 10: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/10.jpg)
Iii
)(sup)( xx iIi
is l.s.c
then the upper envelope of
If
is a family of l.s.c functions on E
Iii i.e. the function definded by
is l.s.c
![Page 11: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/11.jpg)
)(min)()(inf 0 xxxExEx
is attained
If E is compact and
is l.s.c on E ,then
)(inf xEx
i.e.
![Page 12: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/12.jpg)
Convex
1,0, tEyx
is convex if Def
Suppose E is a vector space (real)
)()1()())1(( ytxtyttx
],(: E
![Page 13: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/13.jpg)
epi
is convex if and only if
is convex in E x R
![Page 14: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/14.jpg)
is a convex function then
is convex.
If
for R the set
Converse statement is not truein genernal
see next page
![Page 15: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/15.jpg)
counter example
![Page 16: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/16.jpg)
1
21
are convex
then so is
If and 2
![Page 17: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/17.jpg)
Iii
is convex
then the upper envelope of
If
is a family of convex functions on E
Iii
![Page 18: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/18.jpg)
Conjugated function
*
such that Given
Assume that E is a real n.v.s
)(D
],(: E
Define the conjugated function
of by EfxxffEx
,)(,sup)(*
![Page 19: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/19.jpg)
proposition 1-9
then
is convex ,l.s.cSuppose
*
![Page 20: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/20.jpg)
00
00
00
000
,
,,
,),(:,
,
.
,
sec
)(),(
kxf
epixkxf
kxfxkf
strictlyxandepigsepaaratin
eqtheofHhyperplaneclosedaisThere
REinxandepito
BanachHahnofformgeometricondApply
xDx
![Page 21: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/21.jpg)
kxx
k
f
k
f
Dxk
xxk
f
kxx
k
f
xxk
fk
xkxf
k
xk
kxfxkxf
Dxxkxf
Dx
)(,sup)(
)()(,
)(,
)(,
)(,
0
0))((
,)(,
)()(,
)(
*
00
0000
![Page 22: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/22.jpg)
RE :*
Def
)(,sup)( *** fxfxEf
![Page 23: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/23.jpg)
Theorem I.10 (Fenchel-Moreau)
then
is convex ,l.s.cSuppose
**
![Page 24: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/24.jpg)
ExxxHence
xx
xxfxf
fxfx
xxffce
ExFor
ExxxthatshowTo
furtherSupposeStep
Ef
Ef
Ef
Ex
)()(
)()(sup
)(,,sup
)(,sup)(
,)(,sup)(sin
)()()1(
0:1
**
***
*
**
![Page 25: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/25.jpg)
0,),()12(
)(,)13(
,,)12(
..,,
9..
)(,
sec
)()()1(
)()(
)()()2(
0**
0
0**
0
00**
000**
**
kthenDxchooseIn
xkxf
Epixkxf
tsRandRkEf
Ipropofprooftheasthenexiststhere
xxBandEpiAwithThm
BanachHahnofformgeometricondtheApply
xxbythen
ExsomeforxxthatSuppose
oncontraditibyExxxthatshowTo
![Page 26: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/26.jpg)
tioncontradicixkxf
haveweLetting
xkxf
xfxk
kx
k
f
k
fx
k
fx
kk
f
kxx
k
f
xkxf
DxFor
,)(,
,0
)()(,
,)()(
,
,)(
)(,
)()(,)12(
)(,0
0**
0
0**
0
00**
0
*00
**
*
![Page 27: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/27.jpg)
)()(
)()(,sup
)(,)(,sup
)(,sup)(
)()(1
0,,..,
)(,)()(
),(
)(:2
0*
0*
0*
0
0*
0
*
***
**
0*
0
*0
fff
fxxff
fxfxxf
xxff
andCalculate
ExxxStep
andcslconvexis
Exfxfxx
bydefineDfLet
caseGeneralStep
Ex
Ex
Ex
![Page 28: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/28.jpg)
)()(
)(,)()(,)(
),()(
)(,)(
)(,)(,sup
)()(,sup
)(,sup)(
**
0*
00*
0**
**
0*
0**
0*
00*
0
0*
0*
***
xx
fxfxfxfx
xxSince
fxfx
fxfffxff
fffxf
fxfx
ExFor
Ef
Ef
Ef
![Page 29: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/29.jpg)
Example
**
xx )(
10
1)(*
fif
fiff
![Page 30: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/30.jpg)
epi )(x
![Page 31: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/31.jpg)
)()(
sup,sup)(,sup)(
10
1)(
1sup
sup
)(,sup
)(
**
1,1,
***
*
*
xx
x
xfxffxfx
fif
fiff
xf
xxf
xxf
f
fEffEfEf
Ex
Ex
Ex
![Page 32: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/32.jpg)
Lemma I.4
then
is convex , Let
IntC
EC
IntCC
then IntC is convex
If
![Page 33: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/33.jpg)
Theorem I.11
Ex 0
are convex and suppose that
and
such that
Suppose
there is
)(,)( 00 xx and
is continuous at 0x
see next page
![Page 34: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/34.jpg)
)()(max ** ffEf
)()(inf xxEx
)()(sup ** ffEf
![Page 35: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/35.jpg)
Observe
)(x usually appears for constrain(1)
)()()()( ** ffxx (2)
see next page
![Page 36: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/36.jpg)
)()()()()2()1(
)2()(,)(
)(,)(
)1()(,)(
)(,)(
,
**
*
*
*
*
ffxx
xxff
xxff
xxff
xxff
EfExFor
The proof of Thm I.11
see next page
![Page 37: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/37.jpg)
.
)(,
)(
,
)()(
11.,
)2(
)()(sup)()(inf
0
**
**
convexisBandBthen
xaRExBandIntCAto
ThmBanachHahnofformGeometricfirstApply
xatcontinuousisIntC
thenepiCLet
RanowSuppose
Efbffwith
holdIThmandbthenaIf
aorRaEither
baObserve
ffbandxxaPutEfEx
![Page 38: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/38.jpg)
.
,,),(
,
..,,
)(Re
.
,
)()(
,,
sensebroadinBandCseparates
kxfx
whereequationof
hyperplanethetsRandRkEfthen
CAmember
sensebroadinBandAseparatesHthen
sensebroadBinandAseparatewhich
HHyperplanecloseda
BAHence
Bx
xax
thenAxif
BAverifyTo
![Page 39: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/39.jpg)
0
0
,
)1,0(,,
)1,0(,
0)(),(
)(,
)(,
0
00Re0:
0,)14(
,,)15(
,,)14(
0
00
00
00
000
0
f
f
fxf
Bzzfxf
Bzzxf
smallsufficientifDxB
CDxxf
CDxxf
kassumeandioncontradictbyArgue
kfcallkClaim
kthenandxxchooseIn
Bxkxf
Cxkxf
![Page 40: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/40.jpg)
)()(
)()()#(#)(#
)#(#)(
)(,
)(,
))((,)15(
)(#)(
)(,
)(,)14(
**
**
*
*
k
f
k
fba
bak
f
k
fb
akk
f
ak
xxk
f
akxkxf
xakxfkk
f
kxx
k
f
xkxf
![Page 41: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/41.jpg)
Example
**
xx )(
10
1)(*
fif
fiff
![Page 42: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/42.jpg)
epi )(x
![Page 43: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/43.jpg)
)()(
sup,sup)(,sup)(
10
1)(
1sup
sup
)(,sup
)(
**
1,1,
***
*
*
xx
x
xfxffxfx
fif
fiff
xf
xxf
xxf
f
fEffEfEf
Ex
Ex
Ex
![Page 44: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/44.jpg)
Exercise
otherwise
pandpiff
n
iii 100
)( 1*
Epppf n ,,, 21 nRE
Exxxx n ,,, 21
nxxxx ,,,max)( 21
![Page 45: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/45.jpg)
Example
xffI
KxK ,sup)(*
EK
Kxif
KxifxIK
0)(
Let be nonempty, close
and convex. Put
![Page 46: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/46.jpg)
1
1, 0
fif
fifxf
Exxxx 00)(
0* ,sup)( xxxffEx
Let
000 ,,sup xfxxxxfEx
![Page 47: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/47.jpg)
01
0
1
*0
1
**
00
,max,max
)(,max
)()(max
)()(inf
)()(inf
)(infinf),(
xfxf
fIxf
fIf
xIx
xIx
xxxKxdis
fKf
fKf
K
fEf
KEf
KEx
KKx
KxKx
![Page 48: I.3 Introduction to the theory of convex conjugated function.](https://reader036.fdocuments.us/reader036/viewer/2022070402/56649f275503460f94c3eaf6/html5/thumbnails/48.jpg)