Convex 1
Convex 1
1. Basics
Notation 1.1. Throughout this presentation:
(a, b) = I R where a, b R {}
: I R is a function
p (1, ) and its conjugate exponent p0 (1, ) is defined by
Definition 1.2. : I R is convex
x, y I , t (0, 1)
1
p
1
p0
= 1.
(1.1)
Picture.
|
|
|
| |
tx + (1 t) y
2. Holders Inequality
Lemma 2.1. Let : I R be convex. Then:
xi I ,
ti (0, 1) ,
n
X
ti = 1
n
X
i=1
xi I ,
ti (0, 1)
ti xi
i=1
n
X
ti (xi )
i=1
Pn
Pn
t (xi )
ti xi
i=1
i=1
Pn i
.
Pn
i=1 ti
i=1 ti
(2.1)
P
Proof. (2.1): Use (1.1) and induction. (2.2): Let ti = [ nj=1 tj ]1 ti and apply (2.1).
(2.2)
n
i=1
i=1
Using convex functions, we can generalize the GM-AM inequality.
Proposition 2.2. Generalized GM-AM inequality:
xi 0 ,
ti (0, 1) ,
n
X
ti = 1
n
Y
i=1
xtii
n
X
ti xi .
(2.3)
i=1
i=1
n
X
ln
!
t i xi
i=1
n
X
ln
xtii
i=1
ln
n
X
i=1
n
X
ti ( ln xi )
!
ti xi
(2.4)
i=1
xi 0
1<p<
=
2
xp1
xp2
x1 x2
+ 0 .
p
p
(2.5)
xp2
1/p0
.
Theorem 2.4. Holders Inequality in `p : For sequences {xi }ni=1 and {yi }ni=1 from R:
k{xi yi }ni=1 k`1 k{xi }ni=1 k`p k{yi }ni=1 k`p0
that is
n
X
"
|xi yi |
i=1
n
X
#1/p
|xi |p
"
i=1
n
X
#1/p0
p0
|yi |
(2.6)
i=1
xi
= k{e
xi }i k`p = 1
k{xj }j k`p
yei :=
yi
k{yj }j k`
= k{e
yi }i k`p0 = 1 .
p0
By Youngs Inequality
n
X
i=1
#
"
0
n
X
0
|yi |p
1
1
|xi |p
+
=
k{xi }i kp`p + 0 k{yi }i kp`p0 = 1 .
|xi yi |
0
p
p
p
p
i=1
Exercise. For sequences {xi }ni=1 and {yi }ni=1 from R and
k{xi }ni=1 k`p
Hint:
1
p1 /p3
1
p2 /p3
1
p1
1
p2
1
p3
=1.
1/p
|f (x)| dx
1/p
|f (x)|
|f (x)g(x)| dx
Z
1/p0
|g(x)|
p0
Proof. WLOG: Neither kf kLp nor kgkLp0 is 0 or . WLOG: kf kLp = 1 = kgkLp0 for if
not so:
fe :=
f
=
fe
= 1
kf kLp
Lp
ge :=
g
= ke
g kLp0 = 1 .
kgkLp0
By Youngs Inequality
#
0
Z
Z "
0
|g(x)|p
1
1
|f (x)|p
|f (x)g(x)| dx
+
=
kf kpLp + 0 kgkpLp0 = 1 .
0
p
p
p
p
I
I
Here are two exercises of Generalized Holders Inequalities in Lp .
P
Exercise. For nice functions fj : I R and kj=1 p1j = 1
k
k
Y
Y
kfj kLp .
fj
j
j=1
j=1
L1
1
p1
kf kLp
1
p2
1
p3
kgkLp .
2
3. Jensens Inequality
Lemma 3.1. Let : I R be convex. Let x, y, z I with x < y < z. Then
(z) (x)
(z) (y)
(y) (x)
.
yx
zx
zy
(3.1)
Picture.
| |||
|
a
zy
yx
x+
z
zx
zx
Think of what this says in the picture; the needed algebra then follows easily.
5
(x0 )(xl )
x0 xl
exists
(xr )(x0 )
xr x0
exists
|
|
[ |
| |
] |
|
a1
a2
x0
b2
b1
by (3.1)
A :=
(a2 ) (a1 )
(b1 ) (b2 )
(x0 ) (x)
:= B
a2 a1
x0 x
b1 b2
and so
(x0 ) (x)
max (|A| , |B|) .
x0 x
(2)(4): Consider
|
|
|
|
|
| |
xl
x
el
x0
x
er
xr
By (3.1)
(x0 ) (xl )
(x0 ) (e
xl )
(e
xr ) (x0 )
(xr ) (x0 )
x0 xl
x0 x
el
x
er x0
x r x0
and so
lim
xl %x0
(x0 ) (xl )
% 0 (x0 ) 0+ (x0 ) .
x 0 xl
lim
xr &x0
(xr ) (x0 )
.
xr x0
(3.2)
x I .
(3.3)
A line y = l(x) through the point (x0 , (x0 )) that satisfies (3.3) is called a supporting line
of y = (x) at x0 . Draw yourself a picture to see the choice of terminolgy here. Thus
Observation 3.3 says that convex functions always have supporting lines.
Picture.
|
|
|
| |
xl
x0
xr
Proof. By (3.2)
(x0 ) (xl )
(xr ) (x0 )
m
.
x0 x l
xr x0
Thus
m(x x0 ) (x) (x0 )
x I \ {x0 } .
Z
f (x) dx
(f (x)) dx
(3.4)
(3.5)
R
I
x R .
Thus
m(f (x) x0 ) + (x0 ) (f (x))
x I .
(3.6)