0.1
Sobolev Space H s (Rn )
Last lecture have talked about the solvability of the Cauchy problem for the system ut = P (Dx )u, or
m1
m
k
the single equation t u = k=0 Pk (Dx )t u. In this lecture we w
Lecture1 10
Some preliminaries
Dene translate operator and the reection of a function v respectively:
(x v )(y ) = v (y x)
v (y ) = v (y ).
We previously dened for v L1 and D :
c
< v u, >=< u, v >,
Lecture1 9
Theorem 1. Let u E m () be of order m, C m () satisfying
= 0
on
 m = u() = 0.
supp u,
Proof. Denote D () cut o function such
1
0
on nbhd
outside
We will use a known property that,   C

Lecture1 11
Denition 1. Let u D (). We dene its singular support by
sing supp u = \cfw_ open s.t u
C ( )
and analytic singular support by
sing suppa u = \
cfw_ open s.t u
C (
The sets dened above a
Lecture1 12
Schwartz Class S (Rn )
Denition 1. We dene the Schwartz class functions S = S (Rn ) by the set
cfw_ C (Rn ) : P, () < , ,
(1)
P, = sup x (x)
(2)
where
xRn
denes a family of separating sem
0.1
Continuation of Proof
We have derived
( )
d,
P ( )
E , = (2 )n
(1)
1 +2
and proved that E D and P ( )E = . The contribution from 1 is C . In order to show that the
contribution from 2 is also smoo
Lecture1 13
Applications of Distributions to Constant Coecient Operators
Consider the polynomial P ( ) =
established that
a whose coecients a are all constant. We have previously
P ( )u( ) = P (i )u(
Lecture1 8
Let u D (). The support of u,
supp u = \ cfw_ open : u
= 0.
supp u is relatively closes.
supp u = cfw_x :
N (x) s.t u
= 0.
agrees with the usual denition when u C () or u L1 ().
loc
su
Lecture1 7
Restriction and Support
Denition 1. Let u D () and consider open. The restriction u D ( ) of u to is
dened by:
D ( ).
< u , >=< u, >,
Theorem 1. Let u D (). The following hold:
a) u
= u.
Lecture1 2
Topological Space X : Basic Notions
Lemma 1. A collections of subsets of X , 2X , is a base if and only if:
i) is cover of X .
ii) A, B , A B is the union of elements from .
Proof. Dene = c
Math 581: Partial Dierential Equations 2 Notes
Ibrahim Al Balushi
January 15, 2012
Lecture 1
Distributions (Generalized Functions)
The existence of nondierentiable functions posses diculty when subje
Lecture1 3
Contd Seminorm
Denition 1. A family of seminorms P on X is called separating if
x X \cfw_0, p P s.t p(x) = 0.
Lemma 1. p seminorm.
a) p(0) = 0.
b) p(x) p(y ) p(x y ).
c) p(x) 0.
d) cfw_p(
Lecture1 4
Fact: X locally convex TVS. Then there exists a separating family of seminorms that denes the
topology of X .
Theorem 1. (X, P ), (Y, Q) LCTVSs, where P and Q are separating families of sem
Lecture1 6
Last time
Tu () =
u,
j : u Tu : C () RM ().
0
For K compact supporting , Cc (), the following estimate is used to prove continuity:
Tu () u
L1 (K )
C 0 (K )
K  u
C 0 (K )
C 0 (K )
0
T
Lecture1 5
X Lfspace: X1 X2 X with each Xi Frechet.
Dene the local base by A X is convex A if and only if n, A Xn N (0) in Xn .
Fact: X is complete Hausgor LCTVS such that n, the topology of Xn coinc