Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Riesz Kernels.
i
f ()
||
(4.1)
i
Since the functions ki () = || are bounded functions it is clear that Ri
are bounded operators from L2 (Rd ) into L2 (Rd ). On the other hand ki
are not continuous at = 0, and therefore the formal kernel Ki with the
representation
Ri f (x) =
Rd
Ki (x y)f (y)dy
(4.2)
xi
|x|d+1
(4.3)
e
Rd
If we let
Rd
ei<x,>t
Rd 0
||2
4(t+ )
d
1
2
d
1
2
(t + ) 2 dt
d
(4.4)
0 in equation (??)
ei<x,>
lim
0
1
1
2
e |x| dx = d
d
|x|
( 2 )
cd
= d
( 2 )
1
cd
2
e |x| dx = d
d
|x|
( 2 )
||2
4t
t 2 1 dt =
cd ( 2 )
||
( d )
2
(d)x
( )
j
2
If we let f , (x) = |x|d+2 e |x| , lim 0 f , (x) = icd ( d ) j || . Finally we
2
let > 1 1.
It is not dicult to see that for any smooth function f (x) with compact
support
(Rj f )(x) =
|y|
yj
[f (x + y) f (x)]dy +
|y|d+1
|y|
yj
f (x + y)dy
|y|d+1
j
is independent of because S |y|d+1 dy = 0 for any shell S = { 1 |y| 2 }.
It is a smooth function of x. For large x, the rst term is 0, and the second
integral can be estimated by,
Rd
C
xj yj
xj
d+1 f (y) dy
d+1
|y x|
|x|
|x|d+1
Rd
f (y)dy = 0. It is now
1 j
f ()
cd ||
The next step is to show that the kernels Ki satisfy condition of equation (??).
y
Let us take x, y Rd and write y = r where r = |y| and = |y| S d1 .
|xy|C|y|
(x y) (x)
|dx
d
|x|d
|xy|C|y| |x y|
(x r) (x r)
|dx
d
|x|d
|xr|Cr| |x r|
|(x r) (x)|
+
dx
|x|d
|xr|Cr
1
1
C1
|
d |dx
d
|x|
|xr|Cr |x r|
|(x r) (x)|
+
dx
|x|d
|xr|Cr
xi yi
xi
d+1 |dx =
d+1
|x y|
|x|
where (x) =
|xy|C|y|
xi
.
|x|
xi yi
xi
d+1 |dx C1
d+1
|x y|
|x|
1
1
|dx
d
|x |d
|x |C |x |
|(x ) (x )|
+
dx
|x |d
|x |C
|
K(x) =
|x|d
(4.5)
Sobolev Spaces.
u xi xi = f
(5.1)
and
uxixj () =
i j
f()
||2
In other words
uxi xj = Ri Rj f
It says that for 1 < p < , if f Lp we can expect u to have two derivatives
in Lp , but if f is bounded and continuous one should not expect u to have
two continuous derivatives. In fact on d = 2, one can construct a counter
example, i.e. a function f which is continuous such that the soulution u of
Poissons equation exhibits a singularity of the individual second derivatives
at 0, that of course cancel to produce a continuous f .
p
The Sobolev spaces Wk (Rd ) are dened as the space of functions u on
n1
nd
Rd such that u and all its partial derivatives Dx1 Dxd u of order n =
k,p
n1
nd
Dx 1 D x d u
(5.2)
n1 ,...nd
n=n1 ++nd k
1
1
(1 + ||2) 2
u()
(Au)(x) =
Rd
where
ei<x,>
Rd
= kd
1
2
ei<x,>et(1+|| ) dt
t
Rd 0
kd
et |x|2
1
dt
2
4t dt =
et |x| e 4t d+1
d+1 e
d1
|y|
t 2
t 2
0
cd
1 dx =
(1 + ||2) 2
a(x) = cd
2
2
= u
2
2
=
R2
2
1
|f()|2 d f
1 + ||2
2
2
= f
2
2
1
By Youngs inequality any K Lq maps Lp Lp provided 1 p = 1 1 .
p
q
1
1
Therefore f W1,p implies f Lp so long as 1 p < d . By induction
p
1
f Wk,p implies that f W1,p implies f Lp so long as 1 p < k ).
p
d
Therefore on Rd , f Wk,p implies the continuity of f if k > d .
p
1
1
Actually one can prove a stronger result to the eect that if 1 p = d .
p
then W1,p Lp as long as 1 < p < . This requires the following theorem.
|y|ad f (x + y)dy
(5.3)
Rd
d
a
and
1
p
1
p
a.
d
Proof. First, we note that for a > 0, Ta is well dened on bounded functions
with compact support. We start by proving a weak type inequlity of the
form
[x : |(Ta f )(x)| ] C
q
p
f
q
For any choice of 1 < p < d let f Lp . We can assume without loss of
a
generality that f 0. We write
(Ta f )(x) =
|y|
|y|adf (x + y)dy +
u1 + u2
5
|y|
|y|adf (x + y)dy
and estimate u1 , u2 by
u1
u2
C1 a f
|y|
|y|
p (ad)
1
p
dy
= C2 ad+ p f
= C3
= C3
pd
dap
or
1
q
1
p
p
p
p
[x : u1 (x) ] 2p C1 a p
2
where q =
ap2
+p
dap
a.
d
f (x + y) f (x)
dy
|y|d+a
(5.4)
Rd
ei< , y> 1
dy = cd,a ||a
|y|d+a
Therefore |D|a and Ta are essentially (upto a constant) inverses of each other.
If r > 0 is written as k + a, where k is a nonnegative integer and 0 a < 1,
then one denes the norm corresponding to r th derivative by
u
r,p
n k
i
n
n
D1 1 D d d u
n =k
i
n
n
D1 1 D d d u
a,p
(5.5)
This way the Sobolev spaces Wr,p are dened for fractional derivatives as
well.
6
Theorem 5.2. The inclusion map is well dened and bounded from Wr,p
1
into Ws,q provided s < r, 1 < p < q < , and 1 p rs . The extreme
q
d
1
value of q = is allowed if 1 > p rs .
q
d
Proof. We can assume without loss of generality that 0 < r s < 1. We can
go from Wr,p to Ws,q in a nite number of steps, with 0 < r s < 1 at each
step. We write I = cd,a Ta |D|a where a = r s. By denition |D|a maps
Wr,p boundedly into Ws,p . By the earlier theorem Ta maps Ws,p boundedly
into Ws,q . Although we proved it for s = 0, it is true for every s because Ta
commutes with |D|a . The cae q = is covered as well by this argument.
Generalized Functions.
Let us begin with the space W1,2 . This is a Hilbert Space with the inner
product
d
< f, g >1 =
[f g +
Rd
f hdx
Rd
is in Lp . We can write
(y)f (y) (x)f (x) = (x)[f (y) f (x)] + [(y) (x)]f (y).
The contribution of rst term is easy to control. To control the second term
it is sucient to show that
sup
x
Rd
|(y) (x)|
dy <
|y x|d+r
which is not hard. We split the integral into two regions |x y| 1 and
|xy| > 1, use the Hlder property of to obtain an estimate on the integral
o
over |x y| 1 and the boundedness of to get an estimate over |x y| > 1,
both of which are uniform in x.