Distribution, Integral Transforms and Applications
Distribution, Integral Transforms and Applications
a n d Applications
A N A L Y T I C A L M E T H O D S A N D S P E C I A L F U N C T I O N S
Volume 1
Series of Faber Polynomials
RK. Suetin
Volume 2
I n v e r s e S p e c t r a l P r o b l e m s for D i f f e r e n t i a l O p e r a t o r s a n d T h e i r A p p l i c a t i o n s
V.A. Yurko
Volume 3
Orthogonal Polynomials in Two Variables
P.K. Suetin
Volume 4
Fourier Transforms and Their Approximations
A.M. Sedletskii
Volume 5
Hyper singular Integrals and Their Applications
S. G. Samko
Volume 6
M e t h o d s of the Theory of Generalized Functions
V.S. Vladimirov
Volume 7
Distributions, Integral Transforms and Applications
W. Kierat and U. Sztaba
a n d A p p l i c a t i o n s
Wladyslaw Kierat
a n d
Urszula Sztaba
T a y l o r &. F r a n c i s
L O N D O N A N D NEW YORK
Published i n 2003 b y
C R C Press
Taylor & Francis Group
6000 B r o k e n Sound Parkway N W , Suite 300
B o c a Raton, F L 33487-2742
This book contains information obtained from authentic and highly regarded sources. Reprinted material is
quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable efforts
have been made to publish reliable data and information, but the author and the publisher cannot assume
responsibility for the validity of a l l materials or for the consequences of their use.
N o part of this book may be reprinted, reproduced, transmitted, or utilized i n any form by any electronic,
mechanical, or other means, now k n o w n or hereafter invented, including photocopying, microfilming, and
recording, or in any information storage or retrieval system, without written permission from the publishers.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only
for identification and explanation without intent to infringe.
&
T a y l o r F r a n c i s G r o u p
and the C R C Press Web site at
is the Academic Division of T & F Informa plc. http://www^rcpressxom
CONTENTS
Preface vii
Bibliography 147
DEFINITIONS A N D PRELIMINARIES
|a| ai + a
= h a, 2 n
a\ = ai\a2^ • • • a l , n
(Oi\ Oil
s u p p ip = {x : <p(x) ^ 0} .
Let fl be an o p e n set in R n
. W e will denote b y V(Q) the set of all infinitely
differentiable functions w i t h c o m p a c t supports contained i n O . These functions will
be called smooth. If Ü = R n
we will write V instead of V(W ). l
(In another cases,
when functions constituting a functional space are d e f i n e d o n w h o l e lZ n
1 then we
will proceed analogously.) O b v i o u s l y , V(Q) is a v e c t o r space.
- i
for \x\ < 1, |x| = (xj -j h x 2
) 2
belongs to V.
if e V(Q) iff
and
Of course, the sequence (<¿v) c o n v e r g e s t o (p i n V(Q) iff the sequence (ipu — (p)
converges to zero i n V(Q).
the a b o v e c o n v e r g e n c e is s a i d t o b e a d i s t r i b u t i o n .
for each v G N there exists a function p v G V(fl) such that s u p p <p u C K and
|A((^ )|
/ y > v\\ipv\\v,K- Obviously, one can choose (p u such that A((p„) = 1 for each
v G N. F r o m this we obtain
1 1
V + /i V
From this it follows that H ^ v ^ H ^ / r 0 as z/ —> o o for fixed fi. Therefore (pu
t h e p r o o f is a c h i e v e d . •
A / M : = j f<P>
d i s t r i b u t i o n A / is s a i d t o b e regular.
p e V. Obviously, e"1
= S(p ) u = f Rn f<p . u Note that f Rn f<p v tends to zero as
v —» o o . T h i s c o n t r a d i c t s o u r a s s u m p t i o n . T h e r e f o r e S is n o t a r e g u l a r d i s t r i b u t i o n .
|*|>e
t m ^ m t o r l # 0 ,
\ip'(0) fora; = 0.
1.2. APPROXIMATION LEMMAS 3
/
|rr|>e e<|x|<a
/ da;
e<|x|<a
/ «
B y the Lebesgue dominated convergence theorem we have
A(y>) = l i m j ^ - d x = J r/>(x)dx.
\x\>e \x\<a
i f s u p p if C [—a, a]. T h u s , w e h a v e s h o w n t h a t A is a d i s t r i b u t i o n . T h e d i s t r i b u t i o n
Suppose that ip G L 1
and J Rn ip = 1. Let ip (x)
e = e~ i/j ( f ) , n
e > 0 and / G L,
p
LEMMA 1.2.1. If f e L , p
1 < p < oo, then f * ip -ï e f as e -> 0 in L , p
if
f G L°° and f is uniformly continuous on an open set V C W , 1
then f * tp e almost
uniformly converges to f as e —> 0 on V.
LG \n n \G
where i î c M n
, C c M m
and 1 < p < oo. It is e a s y t o c h e c k t h a t f Rn ip (x) dx — 1
e
= J (f(x-ey)-f(x))ip(y)dy.
1. DEFINITIONS AND PRELIMINARIES
4
B e c a u s e o f (1.2.1) we have
- / (/ l f { x
~ ~~ ^ ^ )
ey) f p pdx dy
= / Mv)\ I / \f(x-ey)-f(x)\»dx dy
=J Mv)\\\f(--ey)-f(-)h*dy.
Note that ||/(-- ey) - f(-)\\ „L < 2\\f\\ , L a n d ||/(- - ey) - f(-)\\ LP -> 0 as e 0
for e a c h y G W. 1
Hence, b y the Lebesgue dominated convergence theorem we infer
that / * ip e / as e - » 0 i n L P
. Thus, the proof of the first part of our theorem is
f ^ Rn w < à. T h e n we have
/ ^(y)\\\f(--e,y)-f(-)\\ pdy^0 L
my)\\\f(-~ey)-f(-)\\ dy^0 LP
1.3. REGULARISATIONS OF FUNCTIONS
5
as e - > 0. W e shall encounter similar situations again and shall apply convergence
COROLLARY 1 . 2 . 1 . If ^ e L, 1
J Rn ip = 1 and ip (x)
€ = e' tpn
(f ) ; then
¡ R n i¡j (p -» <p(0) as e
e 0 for ip eV.
Jip <p = j
e Cp{-x)i¡) (x) e dx = (tp* ip )(0) - > 0 ( 0 ) = p ( 0 )
e
in particular, B (0)
r = B ({0})
r — {x : \x\ < r}. L e t Î/J b e i n L,
1
supp^ C #i(0),
/ R n V = 1 and / G L (ft). p
P u t by definition
extend / on W 1
putting f(x) := f(x) for x G O and f(x) = 0 foi x ^ Ü. Take by
definition ip (x) = €~ ip ( f
e
n
). T h e n we have f e = ipe* f • B y the Y o u n g inequality
II/€-/||LP(R«) ->O
LEMMA 1 . 2 . 2 . If f e L (Q), P
ip G L , 1
supp^ C B^O), J ip = 1 and
fe(x) = e- j^^—l^f{y)dy
n
then f e G L (ü),
p
fe tends to f as e 0 in L (Q) P
and supp fe C Br(il) for e < r.
/ b
y
for a G N . Moreover, n
if f G IP, 1 < p < oo, f Rn ip(x)dx = 1 and i¡) (x) e =
e~ ip ( ^ ) then f^
n
e tends to f as e 0 in IP.
1. DEFINITIONS AND PRELIMINARIES
6
is continuous. O f course,
(f\ b(x
f + hei) — f^{x))h~ 1
tends to {j^r^ * f^j (x) as h 0. N o w we proceed by
DEFINITION 1 . 3 . 2 . W e say that the function <p with a compact support belongs
to C (ft)
c i f it is c o n t i n u o u s a n d s u p p <p C ft.
then there exists eo > 0 such that fy e G V(ft) for e < eo a n d f^ e tends to f
uniformly in ft.
can take f(x) = 0 for x ^ supp/. Let x £ £? (supp/), e then \x — y\ > e for each y
in supp / and tp (x — y)
e = 0- H e n c e w e h a v e * f)(x) — 0. This implies that
supp U e C £ (supp/).
e
1.4. D u Bois-Rymond's l e m m a
1 for x G fl. Because of Lusin's l e m m a (see [23]) for a r b i t r a r y S > 0 there exists
y \f(x)\dx = JXKÍ(x)sgnf(x) dx
K Q
where ¡JL(A) < Ô. Since K <& ft and / G Lj (ft) oc therefore for every e > 0 one
can choose Ô > 0 so t h a t J A Í(X)(XK sgn/(#) - ip(x))dx < e if /x(A) < 5. This
inL (ft). p
Let / be i n L (ft) a n d e
p
> 0. W e s h a l l s h o w t h a t t h e r e e x i s t s a function
p G C (ft) c such that \\f -(f\\ p(Q) <L e. S e t t i n g / = / x -f2 + i(h~h) where each/ i 5
/ is i n L (ft)
p
a n d it takes nonnegative values. Choose a monotonically increasing
0 < s {x)
u < f(x)
therefore su G L (ft)
p
and
function therefore the supp of s u must have finite volume. B y Lusin's lemma there
and
Hence we obtain
ll^o _
PWLP < \\sv 0 - (P\\L™(VOI{X : x eft, s (x)Vo ^ p(x)})p
< 2 | | S L / 0 | | ^ | ( | | S L / 0 | | ^ ) - 1
= |
Let A a , A b e i n V'{ft), a G M.
if l i m _ ^
a a o A ((p)
a = A(p) for e a c h p G V(ft).
\v*~ vXA
(Picard), (1.6.1)
v
(Stieltjes), (1.6.2)
1 V
(Cauchy), (1.6.3)
7T 1 + (vx) 2
Z = e ~ ^ 2
(Gauss) (1.6.4)
27T
distributionally c o n v e r g e t o S. S e e C o r o l l a r y 1.2.1.
We s h a l l n o w s h o w t h a t f o r e a c h (p i n V
and
where (7y ( v ) 9
= l i m ^ o I\ \>e^x^
x ^x (see Example 1.1.4). The equalities (1.6.5)
f ^ d x = [ A d x + f ^ m d x .
J X -\-16 J X + ie J X + l€
—a —a
1.7. ALGEBRAIC OPERATIONS ON DISTRIBUTIONS 9
Note that
a a a
—a —a —a
= — 7TÍ(p(0)— j
7T J t 2
+ l
Finally we have
R
Of course,
a a
lim / d i = / dx.
e-+oJ x + ie J '
—a —a
EXAMPLE 1 . 6 . 3 . L e t f, v f be in Lj (fl)
oc a n d the sequence (f ) u converges to /
a s v —y o o i n t h e s e n s e o f Lj (Q).
oc It is easily seen that f n f (pu converges to f n ftp
converges to / .
L e t S a n d T b e i n V'(Q).
(S + T)(<p):=S(<p)+T{<p), ^ e P ( f i )
is c a l l e d t h e s u m o f t h e d i s t r i b u t i o n s S a n d T.
is a l s o a r e g u l a r d i s t r i b u t i o n a n d i t c o r r e s p o n d s t o t h e f u n c t i o n / + g.
T h e r e is n o t a n y n a t u r a l w a y t o define t h e p r o d u c t of two arbitrary distribu-
tions. Nevertheless, i t is possible t o define t h e p r o d u c t o f a n y d i s t r i b u t i o n A b y a n
i n f i n i t e l y d i f f e r e n t i a b l e f u n c t i o n g. Note that the product of a n infinitely differen-
tiable function g a n d a function p from V(ft) belongs to T>(Q). Moreover, if the
sequence (<¿v), Lp G V(ü) v converges to zero i n V(ft) then the sequence (gip )
u also
converges to zero i n V{Q).
Let A b e a d i s t r i b u t i o n . T h e n t h e m a p p i n g Lp - » A(gp) defines a n e w d i s t r i b u -
tion o n V(il).
10
1. DEFINITIONS AND PRELIMINARIES
DEFINITION 1 . 7 . 2 . The distribution p A(gip) is s a i d t o be the product of
R" R"
where y = A~ x x
and |^4| i s t h e absolute value of the determinant of the matrix of
the transformation A. E q u a l i t y (1.8.1) c a n b e w r i t t e n as follows
A -,{p)
foA = \A\A {p>oA),
f (1.8.2)
A~ A{p) 1
: = \A\A(tpoA), (1.8.3)
then A~ Af
x
— A ¿ Q A - \ .
We n o w describe some examples of very useful linear transformations.
we get A (ip)
f = f Rn fp = J Rn fp. Therefore A f = A¿.
then
SxAf(p) = a n
J f(y)p(ay) dy = J f [^j (p(x) dx.
R n
R n
A~ A(p>) 1
= A(ipoA)
1.9. DIFFERENTIATION OF DISTRIBUTIONS 11
I f Af is t h e regular d i s t r i b u t i o n c o r r e s p o n d i n g t o t h e f u n c t i o n / f r o m L] oc then we
have
A~ A1
f = A f o A - i = A f o A T,
where A T
is t h e transpose m a t r i x o f A.
r_/ . w e d e f i n e b y (1.8.3)
7 putting
O n e c a n v e r i f y t h a t i f Af is t h e regular d i s t r i b u t i o n c o r r e s p o n d i n g t o / G L} , o c then
T
-h.A f = A_ .
r hf
By induction we have
0 M
(-1) H
j f(x)g^ip{x)dX
is a l i n e a r c o n t i n u o u s f o r m o n D ( O ) . F r o m ( 1 . 9 . 1 ) i t f o l l o w s t h a t t h e a b o v e mapping
is t h e r e g u l a r distribution corresponding to the function <9 /, where a
df
a
denotes
the a - p a r t i a l d e r i v a t i v e o f / . W e s h a l l n o w use e q u a t i o n (1.9.1) t o define t h e p a r t i a l
derivatives of a distribution.
(-l)WA(d p) a
F r o m n o w o n , f o r s i m p l i c i t y o f n o t a t i o n s w e w r i t e / i n s t e a d o f Af i f Af is t h e reg
ular d i s t r i b u t i o n corresponding t o t h e function / . N o t e that i f / is i n ( 7 ( ) ( 0 ) , m
then
Df a
= df a
f o r | a | < m. Moreover, for each distribution A G £>'(0), D a
A = D&A,
where the operators D a
a n d D@ h a v e o n l y t h e d i f f e r e n t o r d e r o f d i f f e r e n t i a t i o n .
12
1. DEFINITIONS AND PRELIMINARIES
EXAMPLE 1 . 9 . 1 . Let v be i n Lj (R) oc a n dput u(x, y) = v(x + y). W e shall now
s h o w t h a t t h e f u n c t i o n u fulfils t h e w a v e equation
in R . 2
W e have to show that
JJ v
( x J
r y) (^~^(x y y) - 2 / ) ^ dxdy = 0 (1.9.3)
R 2
for (p G £ > ( R ) . 2
I n order to d o it w e change the variables i n the above integral
p u t t i n g £ = x — y, rj — x + y . Therefore
a 2
id 2
d \ 2
d 2
ft + V V-t
= 2 ¡ ¡ V { V )
dridf
R \ R /
N o t e t h a t t h e f u n c t i o n <£> ( - i p , ^ p ) v a n i s h e s w i t h o u t a b o u n d e d i n t e r v a l depending
(1.9.3) holds.
DEFINITION 1 . 1 0 . 1 . L e t/ be i n L} (Q).
oc I f there exists a function v belonging
to Lj (Cl)
oc such that
f f <9H
/ v(x)cp(x) dx = (-l) a
/ f(x) — ip(x) dx
a.e.).
lemma. •
distributional derivative DH X
of H is n o t a weak derivative o f H.
(x, y) G M 2
. T h e function / has the classical derivatives outside t h e set A = {(#,y) :
x = y , x,y £ R } . Namely
d d
Similarly
d d
—f(x, y) = 0 if x > y and ^ ~ / ( ^ , y) = 1 if x < y.
dy dy
We shall n o w show that f = <9 ( 1
' 0 )
/- Indeed, note that
oo oo oo / y \
- J J f{x,y)-^-ip(x,y)dxdy = - ^ I ^ ( y - x)-j^<p(x,y) dx J
-oo \— oo
oo oo
d
= - / / rtx,v)éc\dy= f f — f(x,y)p(x,y) dx dy.
-oo \-oo
p p
•ff(t)<p'(t)dt =J f(t)<p(t)dt
PROOF. I n the first place we show that the function 6 G V(a,/3) is t h e deriva-
we have ^(x) = J^~" 0(t) dt + f*_ 6(t)dt. e This implies that f*6{t)dt = 0 for
c o n s i d e r a t i o n , t h e r e e x i s t s a f u n c t i o n ip i n (3) s u c h that
t h e a s s u m p t i o n , w e h a v e f£ ip'f = 0. T h e r e f o r e fp = c p, w h e r e c = fp .
0
PROOF. I n fact, assume that the locally integrable function v is the weak
p p
vp.
- f « - f
0 (3 ¡3
The f u n c t i o n (¿? c a n b e c h o s e n i n d e p e n d e n t l y
0 o n p. Hence we have
P
A(p) = A(p ) 0 J <p + A(0).
a
Let ip G V(a,(3) and ip' = 9. Since A(ip') = 0 therefore A(ip) = A(p )p.
0 From
p P
( a , ¡3). The above observation indicates that there exists an essential difference
d i s t r i b u t i o n a l sense o n 0.
V. T h e n we have
co 0 oo
D i n I • \(p) = — J In \x\(p'(x) dx = — J hi(—x)p'(x)dx — Jhix(p'(x)dx.
Of course,
CO oo
Inxp'(x) dx = l i m / laxp'(x) dx.
e-+0+ J
/
Note that
—e —(
J ln(—x)p'(x) dx = — p{—e) l n e + J x
oo
1. DEFINITIONS AND PRELIMINARIES
16
and
oo oo
— I hix p'(x) dx = Lp(e) l n e -f- / dx.
e e
oo
— f Yn.\x\p'(x) dx = l i m f ^ 0 * 0 ^
J e-+0+ J X
-OO \x\>€
F i n a l l y we have D In | • | = -pj.
W£f(il) := {/ : df
a
e L (Ü) p
oc for \a\ < m, dfa
is t h e w e a k d e r i v a t i v e o f / } .
O f course, W^ (ft)
p
is a v e c t o r space.
Obviously, W^ (ft)
p
= L (ft). p
oc The purpose of our considerations is t o make
a description of functions belonging to W ^ ' ( í í ) , w h e n 1 < p < c
p
o o . L e t tp b e i n V.
If / is i n L (ft),
P
oc then the following integral
j f(x-y)f(y)
(
dy
is m e a n i n g f u l f o r e a c h x G l n
. The function , defined by
U(x) : = J (p(x-y)f(y) dy
n
f(x) = 0 if x ft we obtain
d ^ u ( x ) =
J - y ) f i y ) d y
- ( L 1 L 3 )
|^/e(z) = (d fUx),
a
(1.11.5)
(d f) (x)
a
£ = JA(x-y)d f(y)dy a
= (-i) H
f~M*-y)f(y)dy
n
= J Q^Mx-y)f(y)dy-
n
f (x)
e = J ip(z)f(x - ez) dz.
Bi(0)
18 1. D E F I N I T I O N S A N D P R E L I M I N A R I E S
< J I r/>(z)\f(x-ez)\dz
\Bi(0) )
£i(0) \K )
we have
Since / G L (Çl), p
oc therefore
\\f\\LP(B (K)-K)
E < ^
for s m a l l e. N o w , o n e c a n m a k e t h e f o l l o w i n g estimation
for s m a l l e. T h u s , t h e p r o o f o f t h e l e m m a i s finished. •
verges to / in L (ft)
p
oc and that the sequence (d f ) a
u is a Cauchy sequence in
L (Q).
p
oc B y continuity of differentiation, df a
u tends to Df a
as v —>• o o i n D'(il).
Since (d f ) a
u is a Cauchy sequence i n L f o c (0), therefore there exists a function
v a G L (íl)
p
oc such that
lim [ 8 Uy a
= [ vp a - D f(<p) a
n Q
D f(<p)
a
= (-l)W J fd v a
= j v . aV
1.12. SOBOLEV SPACES 19
T h i s m e a n s t h a t Df a
= v a is t h e w e a k d e r i v a t i v e o f / . •
a n
tend to / and d a
f a s v —> o o , r e s p e c t i v e l y u n d e r t h e n o r m ||- | | L P ( Í Í ) - This statement
COROLLARY 1 . 1 1 . 2 .
The space W[£¿ (Sl), 1 < p < o o is complete in the fol- p
exists a function f in Wj^¿ (ü) such that l i m ^ o o fv = fin the sense ofp
W^ (Q). P
PROOF. C o m p a r e w i t h T h e o r e m 1 . 1 2 . 1 . •
W e shall now introduce Sobolev spaces of integer order and establish some of their
properties. Similarly as i n the previous section we denote by W m , p
( f 2 ) the set
{/ : / G L (ü),
p
1 < p < oo, df a
G L (ü)
p
for \a\ < ra, where df a
is t h e weak
derivative of / } . Obviously, W ' (Q)
m p
is a v e c t o r space.
ll/lkp = ( E W fWUn) da
] i f
1<P<™ (1.12.1)
\oc\<ra
or
PROOF. L e t (f ) b e a C a u c h y u sequence i n W m , p
( 0 ) . T h e n for each |a| < m
there exists a function f a in L (Q) P
such that \\d f a
u — f \\Lp(Q)
a tends to zero as
{d a
fv) converges to D f a
i n t h e d i s t r i b u t i o n a l sense for each a G N n
. Therefore
Df
a
= f a i n V'{0) if|a| < ra. This means that
-1) H
j fd"tp = J f <pa
p r o o f is finished. •
In the next chapter w e shall show that C°°(ü) is dense i n W ' (il)m p
i f O is a n
arbitrary open set a n d 1 < p < oo. I n this section w erestrict ourselves t o presenting
the fact t h a t V(Vt) is dense i n W ^(ü), w h e n ft = W
m 1
a n d1 < p< oo. Moreover,
we show that V{Q) is n o t d e n s e i n W ^{ü) iîtt^W m 1
i n general.
Since / is i n W , m,p
therefore the weak derivatives d a
f of / belong to L p
for
we get
L .
p
This means that C°° is dense i n W '. m p
W h a t is left t o s h o w i s t h a t t h e f o l l o w i n g l e m m a h o l d s . •
df
a
belongs to L p
for \a\ < ra. W eshall now show that d (g f)
a
l/ tends to dfa
as
v - »oo i n L p
. O f course,
d (g„f)
a
= g d°f v + E (f\&9vff*-Pf.
0</3<a
It is e a s y t o c h e c k that
-Q^p9Á ) x
= 0
for x G £i/_i(0) a n d /3 > 0 .
Therefore
d^(9,f)(x)=g^f(x) for i e B . i ( f l ) .
1.13. DIFFERENTIAL EQUATIONS OF THE SECOND ORDER. 21
It is e a s i l y seen that
Hence we have
I
f\d (9 f)-d f\*]
a
v
a
< J E (^dlg^-Pf
\R n
—B„
<
0</3<a
Since df a
G L p
for | a | < m , therefore t h e right side o f t h e above inequality is small
EXAMPLE 1 . 1 2 . 1 . W e s h a l l n o w s h o w t h a t D ( G , 1) is n o t dense i n W 1 , 2
( 0 , 1).
Indeed, let p be i n î>(0,1), then
a:r
/ V /
2
(t ^
2
L (0,1)
2
= / ^(y)^ da: < I 11 \<p'(y)\dy\ dx
J
0 y vo \o
Therefore
IMIL (O,I)2
^ ll^'IU (o,i) 2
(1.12.3)
1 1
/ k-X(o,i)| + j 2
W?<\-
0 0
||^'IU (0,1)
2
<l-\\p~ X(0,l)||l,2 < |MU (0,1)-2
as coefficients
—11" + \1\U — /i 2
(1.13.1)
u(a) = u(b) = 0,
often used to investigate P r o b l e m (1.13.1). Here we shall show that this method
may also b e a p p l i e d t o solving P r o b l e m (1.13.1) u n d e r the above assumptions. W e
are l o o k i n g for a c o n t i n u o u s f u n c t i o n u v a n i s h i n g at t h e e n d p o i n t s a, b a n d fulfilling
equation (1.13.1) i n t h e d i s t r i b u t i o n a l sense. This means that
b b b
a a a
where f^ipdfi2(x) := pqd\¡i2\(x), \^\ is t h e v a r i a t i o n o f fi 2 and \q(x)\ = 1 a.e.
14Q 7 , 2
( a , b) = {u : u is absolutely continuous, u(a) = u(b) = 0 a n d u' G L (a,6)} .
2
b b
a(p,ip) :— j pip' dx -f- j pip dfii(x),
for p , ip G W 0
1 , 2
( a , b). It is easy to check that a is a bilinear s y m m e t r i c positive
definite form on W 0
1 , 2
( a , b) a n d f3 i s a l i n e a r f o r m o n W 0
1 , 2
(a,6). If we are looking
for a s o l u t i o n u i n W^ (a, 2
6), t h e n equation (1.13.2) is equivalent t o t h e equation
6 6 6
Ju'p dx f
+ j updfii(x) — J pd¡i2(x), p G D ( a , b).
a a a
or, u s i n g t h e a b o v e n o t a t i o n , also
\\u\\ := [a(u,u)]î
a and \\u\\ := D \\u'\\ 2
L
\\<p\\v<(b-a)\\<p\\ . D (1.13.4)
It is e a s y t o see t h a t
f o r x G [ a , b] a n d p G W 0
1 , 2
( a , 6). Therefore
Finally we get
Let (•, - ) L 2
and (•, -)¿2 denote the ordinary inner product o n the space L 2
( a , b)
and L 2
lli ( a , b). W e s e t
(<p,il>) D := ( p ' ^ V , ^ € W 0
1 , 2
(a,6),
MI
(Wo A , i !
( a , 6 ) , ( • , • ) ) i s a H u b e r t s p a c e a n d /3 i s a c o n t i n u o u s l i n e a r f o r m o n WQ ,2
(a, 6),
proof. •
-x" + ÔXX = f
x(0) = x(l) = 0,
- . i n n ^ n n \ \ n ^
= 2 E E A
^ - / ^ i à
+ E E A
^ / M ^ I W -^ A
*/ ^ ^ W '
\i=2 j=2
(1.13.8)
where y = A2/2 \ fn-
n Formula (1.13.8) m a y b e rewritten i n matrix form
1
G(A) - ^ A T
( r + A ) A - A T
P ,
where
"A" 2
"(/2,/2>i ••• (f2ifn)D
A= r =
_A_ N
(fn, $2)0 (fni fn )D_
fa f2fndfl (x) 1
P =
jl fnÍ2dfJ. (x) 1 fa fnfndfl (x)_
1 Jafndn {x)_ 2
It is e a s y t o c h e c k that
G(A*) = inf G ( A ) ,
AGE-- 1
+ A)A* = p. (1.13.9)
when
(r
1.13. DIFFERENTIAL EQUATIONS OF THE SECOND ORDER.. 25
Now, we construct a sequence ( / ) i n the space
n W 0
1 , 2
(0,1) which has property
(1.13.7). F o r m = 2 w e p u t f {t) 2 := t f o r 0 < t < § , f {t) 2 = 1 -1 for f < t < 1. I n
the general case w e take
f 2 i t - f f e _ f f o r < t <
where m = 2 n
+ k, 1 < k < 2 n
, n = 0,1, 2,...
PROOF. Note that the weak derivatives of the functions fn are k n o w n Haar
functions % . F o r / n G W 0
1 , 2
( 0 , 1 ) we have
_)dt
f{x) = J g(t)<
o
for s o m e g G £ ( 0 , 1 ) , x G [0,1]. T h e f u n c t i o n g h a s t h e F o u r i e r
2
representation
\ oo
g= g(x)dx + ^ c n x n (1.13.10)
o "= 2
(WQ' (0,
2
1 ) , (•, •)D) is c o m p l e t e , therefore there exists a function / i n WQ' (0,
2
1)
such that
J^c f n n = f. (1.13.11)
71 —2
oo
$> Xn = f. n (1.13.12)
n=2
It is k n o w n t h a t series (1.13.12) converges to / ' i n the space L ( 0 , 1 ) (also
2
a.e.).
This implies that f — g a.e. o n [0,1]. From this we obtain that f(x) — f(x) for
each x G [0,1]. F i n a l l y w e have
oo
n=2
This completes the proof of the theorem. •
-x" + 5ix = 1
; N (1.13.13)
26
1. D E F I N I T I O N S A N D P R E L I M I N A R I E S
"A • 2
a 2
\2m-\-l Qj2 + m 1
where a-> = \ , a k2 +l = 2 ï 2
for I— 1, 2 , . . . , 2, k =
k
1,..., m. T h e exact solution
of (1.13.13) is
x { t ) = {- i
t
+ ¥ f o r O < i < |
LEMMA 2 . 1 . 1 .
Let ft be an open set in W and K C il be a compact set. 1
Then
there exists a function f in V(fl) such that 0 < f(x) < 1 for x E ft and f(x) — 1
for x G K.
^ e ( x ) : = e - n
^ ( | ) , € > 0 .
Xe(x) = J 1p (x - y)x-BjK)(y)
e
d
V
k
<P = '52<P». (2.1.1)
28
2. LOCAL PROPERTIES OF DISTRIBUTIONS
PROOF. S i n c e supp ip is c o m p a c t , therefore there exists a finite subcollection
O i , . . . , ft m C i9 s u c h t h a t s u p p (p C U j L i % • Let x G s u p p 99, t h e n t h e r e exists an
open neighbourhood U x of x c o n t a i n e d i n flj for s o m e j. Obviously, we choose U x
j=l j=l
Of c o u r s e , (2.1.2) is t r u e for k = 1. Suppose
j=i i=i
Therefore
3=1 3=1
The e x p r e s s i o n o n t h e r i g h t h a n d o f t h i s e q u a l i t y c a n b e w r i t t e n as follows
i i i+l
H(i - ^ ) + W i + i - = i r * -
j=i i=i i=i
we have p r o v e d (2.1.1). •
that C UaGA is c a l l e d a n o p e n c o v e r i n g o f A
^ := { ¡ 7 H interior A j + 1 D ( A _ i 2 ) c
: Í7 G i ? }
Gj,i . .. Qj,kj which are subordinated to the covering tij and ®jv( ) x
— 1 for
x G Aj. P u t
oo fc¿
j = l u=l
Of c o u r s e , o~(x) > 0 for x E A. F o r e a c h a; G i the above s u m consists o f only a
finite number of summands. Let
* = j ^ v : = j = 1,2,..., z/ = 1...
PROOF. L e t / be i n W (ft)m,p
and e > 0, w e h a v e to show that there exists
I> G
(
C°°(ft) such that ||/ — $|| m } P ) n < e. C o n s i d e r t h e c o l l e c t i o n o f t h e o p e n sets
= v fc = í i f c + i n ( n _ i ) , fc = f c
c
l,2,...}
of o p e n sets T 4 covers O . L e t ^ b e a s m o o t h p a r t i t i o n o f u n i t y f o r ft s u b o r d i n a t e to
d. B y i/jjç, w e denote the s u m o f a large finite number of functions ip, ip E^ whose
2. LOCAL PROPERTIES OF DISTRIBUTIONS
30
supports are contained i n V. k Then xjj k G T>(V ) k a n d ] C & L i ^Pkix) = 1 for x £ ft.
Since ^ / G W > (ft),
m p
by L e m m a 1.11.1 w e h a v e
0(V> f c /) (aO
e = ( 8 ° W ) ) e ( a O
if 0 < e < •^ 2 =
k+ï ~~ • F o r e > 0 i n v i e w o f L e m m a 1.11.2 w e c a n c h o o s e
||(^(^/)k-^(^/)|U y 2 ( f c ) <¿.
because
k+2 k+2
f(x) = J2tl>,ix)f(x) a n d * ( x ) = £ ( ^ / ) C i ( x ) .
i=i j=i
Thus
fc+2
11/ - * l k p , n < e. •
A| ,(y>) ~A(<p)
n if peV(tt').
THEOREM
2.3.1. If A £ V(ft) and for each x e ft there exists an open neigh-
bourhood U such that A\u — 0, then A = 0 on ft.
x x
W e say t h a t t h e d i s t r i b u t i o n s A i a n d A coincide i n a n e i g h b o u r h o o d of x 2 0
k k
A(0) = A aj (p) - tf) = Y, A ,(
Q V j ),
32 2. L O C A L P R O P E R T I E S O F D I S T R I B U T I O N S
'3
k k
3=1 3=1
w r i t t e n as follows ip — Y^j=i w n e r e
rfj £ W e proceed to show t h a t
the i m p l i c a t i o n (2.3.2) holds. A s s u m e t h a t X ^ j L i <Pj — 0- Since F = U ¿ = i supp (pj,
therefore T/^- = Lpj for j = 1 , . . . /c. Hence we have
fc fc k / k \
E (p¿) = E om) = E A
«i (E ^ )
j=i j=i j=i VÎ=I /
fe fe
= E E « i ( ^ ) - A
j=ii=i
N o t e t h a t supp ipiLpj C fi¿ f l Q j . I n accordance w i t h the a s s u m p t i o n we have
A a , - ( ^ ^ j ) = Aa^ipupj), therefore
k k k k
/ fe \
" =0.
( E
k
^
\
=
E
k
A
W w ) =
E
k
A
« i ( ^ ) - ( - - )
2 3 3
equal to A , t h e n we have
2
2.4. S u p p o r t of d i s t r i b u t i o n s
B (K)
e <s ft for some e > 0 (if K = 0 we take ip = 0). E a c h f u n c t i o n p> G C^(ft)
may be represented as follows p — p\ + <¿>2, where p\ = ipp a n d p 2 = (1 — ip)p>-
N o t e t h a t s u p p A fl supp p 2 — 0- Since y? G C ^ ° ( i î ) , therefore <pi a n d ^ 2 are i n
C ^ ° ( 0 ) , as well. Suppose now t h a t there exists a linear f o r m A : C™(ft) —> C
fulfilling (i) a n d (ii), t h e n A(p) — A(pi) + A(p ) 2 = A{ipp). P u t by definition
\(<p) := A ( ^ ) . (2.4.1)
for each a G N . 7 1
II • l U ^ m -
N o w , we give a c h a r a c t e r i z a t i o n of the linear continuous forms o n C°°(ft).
+ ~ + + +M <
< ~-
d i c t i o n since A is continuous. •
T h e following t h e o r e m is i m p o r t a n t for a p p l i c a t i o n s .
for x G K , v = 1 , 2 , . . . . T a k e / „ = ip f.
v O f course, ) G V(fl). u Note that v
COROLLARY 2.4.1. If A £ V (fl) has a compact support, then the linear form
A : C°°(fï) —> C, defined by (2.4.1) may be obtained by means of the continuous
extension A from V(fl) onto C°°(fl).
2.5. D i s t r i b u t i o n s of finite o r d e r
PROOF. T a k e b y definition
\ \<™>xeB (K)
a
e
Note that if d p a
vanishes o n K, \a\ < ra, t h e n 77(e) —» 0 as e —» 0. L e t x be the
characteristic f u n c t i o n of B¿(K). P u t Xe — X * ^ ! 5 where ip (x) — e~~ ip ( ^ ) , e > 0,
e
n
Xe{x) = 1 if x G B (K)
i and Xe(x) = 0 if x i BM(K).
36
2. LOCAL PROPERTIES OF DISTRIBUTIONS
A n easy c o m p u t a t i o n shows t h a t
M,
d e(x)\
a
X < - ~ for x GR. n
(2.5.3)
e
W e s h a l l n o w estimate \d@(p\. N o t e t h a t
(ei,x)
d <p(x) =
f>
J d <p(T,x ,...,x )dT,
l3+ei
2 n (2.5.4)
(ei,xo)
d^ (p(x)
+ei
= 0 if xe K
and
| ^ + e
V W | < 77(e) if xeB (K)-K
e when |/3 + e i | < m .
T a k i n g i n t o account (2.5.4) we get
\d (p(x)\
fi
< n(e)e if xe B (K)
e and \(3 + e | < ra.
x
\&*(p(x)\ <n(e)e 2
if xeB (K)
e
and |/3 + e i -f- e21 < ra. B y i t e r a t i n g the process a n d i n t e g r a t i n g ra — \(3\ times, we
o b t a i n the estimate
H X c P l k A < Mr7(e)
A s a c o r o l l a r y we o b t a i n
THEOREM 2.5.2. A distribution A with the point support {xo} is a finite linear
combination of Dirac's measure concentrated in XQ and its derivatives.
2.6. CARTESIAN PRODUCTS OF BANACH SPACES 37
PROOF. Suppose t h a t A is of order ra. L e t p G C°°. T h e f u n c t i o n p m a y be
w r i t t e n as follows
\a\<m
and d Rm(xo)
a
= 0 i f \a\ < ra. I n accordance w i t h the above t h e o r e m we infer t h a t
I a j <m
A= £ a £><M .
a Xo •
ja I <ra
2.6. C a r t e s i a n p r o d u c t s o f B a n a c h spaces
Ax = ( A x i , . . . , A x ) , n
to the norm \\ • \\ , 1 < p < oo, then there exist continuous linear forms Aj on Ej
p
such that
n
A(s) = $>,•(*,•), (2.6.1)
3=1
where x = ( a ? i , . . . , x ) , Xj G Ej. n
2. LOCAL PROPERTIES OF DISTRIBUTIONS
38
A(UJ (xj)).
1
Since A is a continuous linear f o r m o n E, therefore the m a p Ej 3 Xj —>
(A o UJ )(xj)
1
is a continuous linear f o r m o n Ej. W e take A j = A o UJ . 1
Finally
we o b t a i n (2.6.1). •
2.7. S o m e l o c a l r e p r e s e n t a t i o n s of d i s t r i b u t i o n s
the s u p r e m u m b e i n g t a k e n over a l l p a r t i t i o n s {E } u of E.
Jfd¡i =J fhd\n\.
E E
A ( / ) = J fdp = J fhd\»\
n n
for f G Co(íl), where is a positive finite regular Borel measure and h is a Borel
function such that \h(x)\ = 1 for x E ft.
\oc\<m ,n
if supp If C Q . F
c 0
w
(ir)= x co(fi'), JV = ]T i-
|a|<m ^
C 7 ^ ( Q ' ) w i t h the n o r m
ll(^«)llc "(fi') = ll(<A*)||oo
0
:
I M L J F = II ( ( - i ) H
9>) \\c»w
 ( ( ( - l ) H d » ) :=A(<p).
40
2. L O C A L P R O P E R T I E S O F D I S T R I B U T I O N S
\a\<m , n
\a\<m Qf
3.1. R e g u l a r i z a t i o n of d i s t r i b u t i o n s
R n
3y-^ AM-,?/)).
P u t b y definition
#1*1
p>{x,y + h) - -—p{x,y) aeN 71
as h - » 0. T h i s gives us
T h e c o n t i n u i t y of ô * ^ is obvious. B y i n d u c t i o n we have
6
T h u s , the p r o o f is finished.
•
L e t (p be i n V a n d A be i n V'. P u t b y definition
T h e o r e m 3.1.1.
Q\a\ / Q\a\
EXAMPLE 3.1.2. If A = / a n d / G L¡ (R ),
oc
n
then
A (x)
(p = J f(y)(p(x-y)dy = (f*<p)(x).
(D Aa
* tp){x) = ( A * d ip)(x) a
= d (A a
* (p)(x). (3.1.2)
d {A
a
* tp)(x) = A{d ip(x a
- •)) = ( A * d cp){x).a
(3.1.3)
Note that
(D A
a
* <p)(x) = D°A(<p(x - •)) = ( - l ) | a |
A, (f^(* - V))
PROOF. P u t
a (t)
h := ] T <p(t - hv)iP(hv)h , n
(3.1.5)
3.1. REGULARIZATION OF DISTRIBUTIONS 43
where v = ( z / . . . , i / ) , z/¿ G Z , h > 0 a n d ZJJ = {zv : hv G supp?/;}. N o t e t h a t
l 5 n
d a (t)
a
h = ] T 9 <P(t - a
hiy)ip(hu)h . n
(3.1.6)
g\ \
a
$ H
— ^-r)^(r)ar= £ — - 8»^(e»fc , (3.1.7)
n
M > 0 such t h a t X ^ e Z £ h n
< M for h > 0. F r o m this, it follows t h a t
$ H Q\C*\
< € (3.1.8)
â F ^ ( ' ) - â F ^ ^ ) C )
as h —y 0 w i t h respect to ¿ G R n
a n d fixed x . It is easily seen t h a t
A(a (x
h - •)) -> A((v? * ^)(ar - •)) = ( A * (p * ^ ) ) ( x )
as / i —» 0. O f course,
K{a {x h - •)) = E A
( M * - •- hv))^{hv)h . n
j (A * p){x — r)ip(r)dr.
l i m / ( A * ip )(x)(f(x) dx — A(tp)
J
e
j ( A * 0 )(a:)(p(x)
,
e = J (A* ip )(x)(p(0 e — x ) dx
= ((A*^ )*^)(0). E
B y T h e o r e m 3.1.4 we have
J(A * V; )(x)<¿>(x) d x = A ( ( ^ * £ ) ( 0 - • ) ) •
e e
ip * (p tends to
e as e —> 0 i n V. Therefore A(ip e *</?)--> A(<£( —•)) = A(y?) as e -> 0.
F i n a l l y we have
as e -> 0. •
3.2. A c h a r a c t e r i z a t i o n of c o n v o l u t i o n o p e r a t o r s
L e t A be i n V a n d (p be i n V. W e have p r o v e d t h a t A * (p is infinitely d i f f e r e n t i a t e
in R . P u t by definition
n
U\(jp) := A* <p.
THEOREM 3.2.1. The map U\ : V —> C°° is a continuous linear operator and
for every h G W . 1
B (0)
r + B (0)cB {0).
R r+R
3.3. TENSOR PRODUCT OF DISTRIBUTIONS 45
Since A is i n V, therefore there exist a nonnegative integer m a n d M > 0 s u c h t h a t
\d (A
a
* <p)(x)\ = | A ( 0 < V ( * - - ) ) l < M | | ô > | | m ^
ip - > (L^)(0),
3.3. T e n s o r p r o d u c t of d i s t r i b u t i o n s
L e t / a n d g be i n C(W ) n
a n d C ( R ) , respectively. P u t b y definition
n
if®g){x,y) := f{x)g(y)
we have
E q u a l i t y (3.3.1) defines a d i s t r i b u t i o n i n R m
x R . T h i s o b s e r v a t i o n suggests to us
n
the following
K(p ®p )
1 2 = S(p )T(p )
1 2 (3.3.2)
forpeV(W n
xR ). n
definition
(K * ^ ) ( x , 2/) = K (e~ fa
e
m
( — ) e""^ ^^
e / \ e
= 5 (c-^x [ )T [e-> 2 ( ^ — ) ) = 0
for x G R m
a n d y G R . I n v i e w of T h e o r e m 3.1.5
n
^ ( x ) := T(y>(a;, •))
and
My) ==%>(•>»))•
T a k i n g i n t o account the p r o o f of T h e o r e m 3.1.1 one c a n observe t h a t ipi is i n V(I ) m
d\*\
« M * ) = T [ Q ¿ ; < P ( X , . ) ) and — y ) = , ^ ^ y ) J
dx'
M S
a n d ra 2 as w e l l as C\ a n d C 2 such t h a t
|S(tfi)l<C'iM'i||,» ,/ 1 m (3-3.4)
for G P ( K ) i f supp V i C J
m
m and
| r ( V ) | < C U \\ ,i
2 2 2 m2 n (3.3.5)
\S (T (ip{x,y))\
x y < CiC ||^(-,-)llm
2 1 + m ,/ x/
2 m n (3-3.6)
and
\T {S {<p(x,y))\
y x < C C |b(T)IU
1 2 1 + m ,/ x/
2 m n (3.3.7)
for ip G V(W n
x R ) i f supp<¿>(-, •) C I
n
m x J . O f course, the m a p s
n
—> S'a; ( T „ ( ( x , y ) ) )
v and <p^T {S {ip(x,y)))
y x (3.3.8)
3.4. DIFFERENTIATION AND SUPPORT. 47
are linear forms o n V(R m
x l n
) . B y v i r t u e of (3.3.6) a n d (3.3.7) we infer t h a t the
forms (3.3.8) are continuous o n V(R m
x R ).
n
Let
K { ^ ) )x ^ S {T (ip{x,y)))
x y
and
for p G V(R m
xR ). n
Note that
K~K!= K. 2
5®T = T®SGD'(lR m + r i
).
L e t a = ( a i , . . . , a ) a n d ¡3 = ( f t , f 3 ) . P u t (a,/3) = (a
m n u a , m ft,/3 ).
n We
know that if / G C ° ° ( R ) and # G C ° ° ( R ) , then
m n
D^Dl(S ^T )(p(x,y))
x y = (D^S 0DlT )(p(x,y)).
x y (3.4.1)
3. TENSOR PRODUCTS AND CONVOLUTION PRODUCTS
48
D5DÇ(S ®T )<p(x,y)
x y = D° ((-l) (S ®T ) w
x y ( ~ ^ ^ v )
= D° ( ( - 1 ) ^ [ S x ( r y [ ^ ^ y )
= D S (D^T (^(x,y)))
a
x y
= (
" 1 ) H
^(l^ ( j D
^ ^' ( y ) ) )
H - i ) | a |
î . ( ^ ( ^ , y ) ) ^
= (D S®DPT)ip(-,-).
a
T h u s , the p r o o f is finished. •
:=TWx,.))=0
proof. •
3.5. T h e t h e o r e m of kernels
Let g be i n C ( R m
x R ). n
P u t b y definition
(Kip)(x) := Jg(x,y)ip(y)dy
defined b y
S i m u l t a n e o u s l y we c a n observe t h a t the m a p p i n g
following r e l a t i o n
{K<p,iP) = K (p®iP) g (3.5.3)
for p G V(R ) a n d ip G V(R ).
n
O n e c a n ask whether for every linear continuous
rn
for p G V(R ) a n d ^ G £ > ( R ) , where (/Cp,V>> denotes the value of JCp for the
n M
'D^R 7 7 1
) is continuous. I n order to do it we have to verify t h a t i f p v —» 0 i n D ( R ) , N
N o t e t h a t the m a p p i n g
X > ( R ) x V{R )
N m
3 (ip,iP) -> K(ip®iP)
is a b i l i n e a r continuous f o r m (see T h e o r e m 1 . 1 . 1 a n d A p p e n d i x ) .
Cg°(ííi) = W € C°°(ííi) : d p a
G Co(fii), a EN }
11
50 3. T E N S O R PRODUCTS ANDCONVOLUTION PRODUCTS
and
c%°{n ) 2 = We C°°(tt ) 2 : d <pG C o ( í í ) ,
a
2 OLGN }. 71
O f course, the sets CQ°(QI) a n d CQ°(Ü ) 2 are vector spaces. L e t us equip these
vector spaces w i t h the norms || • | | ^ m a n d || • | | Q , rn = 0 , 1 , 2 , . . . , respectively
m 2
f
Rn ip = 1. P u t b y definition
2
K (x,y)
e := (3.5.6)
\K (x,y)\<C
e Vi (3.5.7)
T7?,o .fio mi ,Qi
A = X x r x { e : 0 < e < e }.
0
K (x,y)
t = (K*i¡> )(x,y), t (3-5.8)
where
JLK.fr,) = ( A ( -^ ( ^ ) ) )e (£^j), ( 3 ,, 0 )
where y = (y ,. .. ,y )
± n a n d i / = 1,. . . , n ,
= (A: ( . - » ( « ^ ) ). £ ( « - • . ( ^ ) ) ) , (3-5.11)
\K (x,y)\
€ < Me~ s
(3.5.12)
!(«-*(!))=££('-*<(!))• (»•»•")
for T/; G C ( 1
) ( R ) , where ipj(x)
N
= ~x ijj(x).
j Note that
d ^j(x)
e
= -iP{x) - Xjd J<iP(x).
e
Hence we get
0«^i = (I) - ^ S e
^ (I) • (3.5.14)
O n the other h a n d we have
x^
= - n e " " " V (I) - e""" ¿ 1
9 "V ( | )
e
e/ e
F r o m this b y (3.5.14) we o b t a i n
I (!)) - (!)+«--1 (* (f ) + ( f ) )
i/=l
- - • ¿ ^ ( f ) - t ¿ ( ^ ( ! ) ) -
52
3. T E N S O R P R O D U C T S A N D C O N V O L U T I O N PRODUCTS
F o r s i m p l i c i t y o f notations p u t
£ ,l,(0,e„)(z,2/) :=
£ (^ (6-^2,(0,,) (^7")) > e - i
>l
d m
d n
d
) = g ^ p \ e - ô y
Ks e
K y
^ ( x , y + ^K 5 + t i e _ s ) ( X ) y)(l-tydt.
i=o 0
A s s u m e t h a t ip £ V(R ), m+n
supp <¿? C X xY, t h e n we have
j J K (x,y)(p(x,y)
€ dxdy = ^j ^ J J ^- ô(x,y)(f{x,y)
K
dx dy
X Y J
j=0
- ° ' y
X Y
x
(e - 5) s+1
1
}ff <9 S + 1
5!
0 X Y
3.5. THE THEOREM OF KERNELS 53
/ / ~ ^) S + l L
^ ( € - 5 ) , + i , ( a ^ ) ( ^ , 2 / ) ( l - t) (p(x,y)
s
s
dxdydt=: M(<p)
0 X Y
|(e - o) L _s),s+i,(a,{3)(x,
s+1
s+t{e y)(l - t) p(x, s
y)\
< C5~ (5 s
- e) s+1
< C (l - |)* (S - e) < Co
for O < e < 6 < 1 a n d 0 < t < 1. Since I/(.) +i,( ,/3) (•> *) is continuous i n A, )S a
+1 1
and £l d R2
n
such t h a t X C Í2i, 7 a n d (3.5.5) holds ( i n general 5 depends o n
X a n d Y ) . Since £ > ' ( R m + n
) is sequentially complete ( T h e o r e m A . 2 , E x a m p l e A . l ) ,
therefore there exists K G P ( ^ , m + n
) such t h a t ÜT - > i f as e - > 0 i n P ' ( R e
m + n
).
W e s h a l l now show t h a t (3.5.4) holds for ip G V(R ) n
a n d 7/; G V(R ). m
Put
^ ( x ) :=
and
Hence, b y (3.5.6)
K (x,y)(p(y)ip(x)
e dxdy = J J(/C(^ ,e(- 2 - 2 / ) ) , ^ i , ( - - x))<p(y)i/;(x) c dxdy.
lim / / K (x,y)ip(y)ip(x)dxdy
e = (£(limine * lim(^i,2 * ^ ) ) .
- J J
e—>
0 e—>
0
- e->0
R m
MP
F i n a l l y we have
P(R n
x R ) 3 rç( ) - » K(rj) =
n
v
a
$ f D vfax)dx
im
\/3\<m R n
K(<p®il>) = A
¡3 J ip(x)(D ô*i )(y)dy.
i3
P
\P\<m M n
K(ip®fa = (Kip^).
F o r ra = 0 we get K((p) = 5 * ip = ip. Therefore, the k e r n e l K of the i d e n t i t y
operator is given b y f o r m u l a
K(rj) =j 7](x, x) dx
for 7] G V(R n
x R ).n
3.6. C o n n e c t i o n b e t w e e n tensor p r o d u c t a n d c o n v o l u t i o n p r o d u c t
of d i s t r i b u t i o n s
L e t / a n d g be i n L ( R ) . 1 n
Suppose t h a t ip G P ( R ) , t h e n a n easy c o m p u t a t i o n
n
shows t h a t .
/ (/ ^ ~" ^ X y >g dy
I V( )
x dx =
jj f(x)g(y)(p(x ry)dxdy.
J
R'
& n
\R n
/ R n
R n
T h i s e q u a l i t y m a y be w r i t t e n as follows
t a k i n g the following e q u a l i t y
(S*T){p) := (S ®T )<p(x
x y + y) (3.6.2)
as a d e f i n i t i o n of the c o n v o l u t i o n p r o d u c t of S a n d T .
(5 * 5){p) = (S 0 á ) ( ^ ( x + y) = p{0) =
x y 5(p).
EXAMPLE 3.6.2. L e t S be a n a r b i t r a r y d i s t r i b u t i o n a n d T be a d i s t r i b u t i o n
w i t h a c o m p a c t s u p p o r t . W e s h a l l n o w show t h a t (S x ® T )p(x y - f y) is m e a n i n g f u l
for each p i n V(R ). n
I n order t o do it take by d e f i n i t i o n ip(x) := T (p(x y - f y)). We
have to show t h a t ip is i n V(R ). n
O n e c a n verify t h a t
V(R ) n
3p-+p(- + -)e C°°(R n
x R ) n
(S x 0 a )p(x
y + y) = (l w <g> S )(a(w
x - x)p>(w)) = / <p(w)S (a(w x - x)) dw.
R 7
the supports of S a n d T.
EXAMPLE 3.6.3.
(i) If A is a n a r b i t r a r y set i n R n
a n d B is b o u n d e d , t h e n A a n d B are regular
at infinity.
(ii) T h e sets .A = { x : x G R , x > a} a n d B = {x : x G R , x > b} are regular
at infinity.
(iii) T h e sets A = {(x,y) : (x,y) G R , x > 0} a n d B = {(x,y) : (x,y)
2
G
R , 2
x > 0, \y\ < x} are regular at infinity.
(iv) T h e sets A — B — { ( x , y) : (x, Î / ) E ! , X > 0} are not regular at infinity.
2
W e b e g i n w i t h presenting a l e m m a .
LEMMA 3.6.1. If any sets A and B are regular at infinity and K is bounded,
then the set
ft K = { ( x , y) : x e A, y G B and x + y G K}
is bounded in R n
x R . n
PROOF. Since the sets A a n d B are regular at infinity, therefore the set C =
A H (K - B) is b o u n d e d for every b o u n d e d K C R . F i x K, let x G A, z G K a n d n
(S * T)(<p) := (S x 0 T ) ( ^ ( x + y ) ^ ( x , y))
y (3.6.5)
for if G P ( R ) . n
O f course, (S * T ) ( ^ ) = 0 w h e n (3.6.4) holds. (Compare with
Section 2.4.)
^( iV) x
= ^i( ,y)x
= 1
s u p p ( S ® T ) i l supp((</¿ - + •)) = 0-
Therefore
^>i,v>2 — {( iV)
: x : x
£ supp 5, y G supp T , x + y £ supp pi U supp ip }.2
D ( R ) . T h u s , the p r o o f is
7 n
finished. •
R 1
R'
D (S
a
* T) = DS a
* T = S * DT a
(3.7.1)
for each a G N n
.
(s x o T ) (^</v(z, y)<p(x +
y y)^j = 0.
Therefore
J 0 ( 5 * T ) ( ^ ) = -S
C i
x (ry ^ ( ^ ( ^ 2 , ) ^ +
= S x 0 (£) C i
T ) ( ^ ( x , y)<p(x + y))
y
= {S*D T)((p). €i
DIFFERENTIAL EQUATIONS
aDE
a
a
= 5, (4.1.1)
\a\<m
where a a G C is called a fundamental s o l u t i o n o f t h e differential operator
Yl\a\<m a
ocD° . L
aDu
a
a
= f, (4.1.2)
|a:|<ra
T h e n b y T h e o r e m 3 . 7 . 1 a n d R e m a r k 3 . 6 . 1 we have
aDu a
a
= I aDE a
a
)*/ = «**/ = /.
|a|<ra \ |a|<m /
T h u s , t h e d i s t r i b u t i o n u = E * / is a s o l u t i o n of E q u a t i o n ( 4 . 1 . 2 ) .
f u n d a m e n t a l s o l u t i o n of • . W e have t o show t h a t
//
1 / d 2
d 2
\
ÔXQ(M) -^<p(x,t) - -—(p( ,t) x dxdt = ^ ( 0 , 0 )
2^ iy
' J
V<9* 2
' ;
dx 2
R 2
1 rr/d 2
d 2
\
2 JJ { ^ ^ x
^ ~ d x ^ ^ x
^ J dxdt = <p(0,0).
n
W e s h a l l now change variables x a n d t i n t h e above i n t e g r a l p u t t i n g
- and t = í ± l .
2
A n easy c o m p u t a t i o n shows t h a t
d 2
t-j + n t + v\ i / o 2
d 2
.
60 4. D I F F E R E N T I A L EQUATIONS
Therefore
D ^ u ~ D ^ u = h, (4.1.3)
(E*h)(x,t) = l jf h{x-Z,t-ri)dZdri,
where Q = { ( £ , 77) : |£| < 77, 0 < 77 < t}. P u t £' = x - £, rj = t - 77, t h e n
t
f
t i x + (t-rj)
0*2 ^ ^ ~ d x * ^ =
^ ( 4
' '^
2
for (x, í ) e l x [ í , 0 0 ) a n d
0
u(x, t ) = f(x)
0 and J ^ ( x , ¿0) = g(x) (4.2.2)
oo oo 2 2 oo oo
oo oo
f f d 2
32
— OO to
O f course,
a (0,l)( (0,l)
9 u y ) ) = 0(O,2) U V , + Ô (0,1) U Ô (0,1) ,.
¥
F r o m this we o b t a i n
CO oo
f f d 2
/ / ~Q^ ( ^) P( ^)
U X ( x
d x
dt
— oo ¿o
oo oo oo
— —J d^ ^u(x,
0,1
to)p(x, to) dx — J j —u(x,t)—p(x,t)dxdt
— oo — oo to
oo oo oo
A g a i n note t h a t
Hence we get
oo oo
— oo to
oo oo oo 2
= - y f{x)^p(x,t )dx 0 - J J u(x,t)^p{x,t) dx dt.
— oo — oo to
F i n a l l y we have
oo oo
/ / ~^ ( ^)^( ^)
u x x
dxdt
— oo to
oo oo oo oo ^
1 / ^2 ( )
U X
1) dx dt
— OO ¿o
-oo t 0
D^ u
2)
- D^ u 0)
= g®ô +f® to D5 tQ + h^:k. (4.2.5)
T h u s , we have s h o w n t h a t i f u satisfies (4.2.1) a n d (4.2.2) i n the classical sense,
t h e n u regarded as a d i s t r i b u t i o n fulfils (4.2.5). N o t e t h a t supp k C R x [t , oo). 0
u := E * ( / 0 Do + g 0 S + h). (4.2.6)
O f course, the d i s t r i b u t i o n u fulfils (4.2.5).
L e t / a n d g be i n C ( R ) . W e shall now show t h a t (4.2.6) gives us the d ' A l e m b e r t
formula
( / ( x - * ) + / ( * + *) + J
X+ t
g(v)dv + J
t X+(t-T))
J M£^)d£dJ
\
. (4.2.7)
X - t 0 X -(t-T]) /
E*(f®DS)= D(°> (E 2)
* (/ 0 if)), (4.2.8)
E * for 0 J) = D^ (E X)
* (<? 0 jff)). (4.2.9)
Therefore, we are left w i t h the task of d e t e r m i n i n g the c o n v o l u t i o n p r o d u c t s E *
( / 0 H) a n d E * (# 0 L e t F be a f u n c t i o n i n C ^ ( R ) such t h a t F " = / . It is
easily seen t h a t
, , „w x if M if t > 0
{f®H){x,t) =<
[0 V
i f ¿ < 0.
A ;
B y (4.1.4) we have
(E*(/0ii))(x,t) = i J y /(Ode dr¡=±(F(x + t)+F(x-t)-2F(x)).
0 \x-(i-77) /
Hence we have
rj2 -1
— ( S * ( / ® # ) ) ( * , í ) = - (/(a; + Í) + f{x - t)). (4.2.10)
4.3. F U N D A M E N T A L SOLUTIONS O FT H E LAPLACE OPERATOR... 63
Hence
(E*(g®H))(x,t) = ±(G(x f
+ t)-G'(x-t))^^ j g(rj)dq. (4.2.11)
dt
(ii) Au = D ^ u + D(°Mu i f n = 2,
(iii) Au = DV>°>- >U + £>(°'- ) + • • • + D ^ - ^ u 2
W i f n > 2.
It is easy t o verify t h a t D E 2
= 6 i f £^(x) = W e s h a l l now show t h a t t h e
f u n c t i o n E(x) = ~ In \x\ is a f u n d a m e n t a l s o l u t i o n for t h e operator A = £)( >°) + 2
L>(°' ). N o t e t h a t
2
^- j j In \J x r 2j
x\ dxi dx2 = J r In r dr < oo.
Bfl(O) 0
Therefore E is i n L /
1
O C ( R ) . W e have t o show t h a t AE = 6. I n order t o do t h i s set
2
by d e f i n i t i o n
E (x)
e := ^ - In ^x 2
+x + e. 2 2
o < ^ ) - ^ ) = ¿ m ^ i + Í J .
(E -E)(x)<(E -E)(x).
€ 1
-2
AE (x)c = -e\\x\ +e )- 2 2 2
= -e- 2
2+ 1
7T 7T
P u t ip(x) := 7 r ( | x | + 1 ) ~ . A s t a n d a r d c o m p u t a t i o n gives J ip — 1. I n v i e w of
- 1 2 2
R2
U s i n g t h e same m e t h o d we s h a l l show t h a t t h e N e w t o n i a n p o t e n t i a l
|2-n
(2 - n ) u ; n
64 4. D I F F E R E N T I A L EQUATIONS
p o l a r variables
x = r cos t\ cos ¿2 * • • cos t -2 cos t _ i
1 n n
#3 = r sin ¿ • • • c o s t _
2 n 2 cos ¿ _ i n (4.3.1)
= rsin ¿ _i, n
and
2TT 2 "2
üü = J n J ''' J cos ¿2 c o s £3 * • • c o s 2 n — 2
t — i dt — \ • • • dt\.
n n
0
- f -Î
A f t e r the above p r e l i m i n a r i e s we s h a l l c o m p u t e the i n t e g r a l J B R ^ E(x)dx. I n fact,
we have
R
— —|x| 2 _ n
dx — — — / roj dr = —— n -.
/ (2~n)uJ 1
( 2 - n K i 2(2 - n
n)
B {0) R 0
Therefore E is i n Lj (W ) oc
l
J n > 2. S i m i l a r l y as i n the previous case p u t
^ [ X )
' ( 2 - n K •
N o t e t h a t £ is i n C ° ° ( R ) . M o r e o v e r E (x) tends to E(x) as e -> 0 a n d - £ ( x ) <
n
e e
converges to E i n L \ ( R ). T h e p r o o f is c o m p l e t e d b y s h o w i n g t h a t AE tends t o
O C
n
E
ô as e —» 0. O n e c a n show t h a t
ne-(|f| 2
+ l ) " +
AE (x)
e = ^ L . (4.3.2)
Set by d e f i n i t i o n
n(\x\ 2
+ l ) - ^
ip(x) :=
fn(\x\ 2
+ l)- 2 f , 2 n ± 2 n - l j
/ dx = / n(r 2
+ 1) 2 R » 1
dr.
R n n
o
Set s = r 2
+ 1, t h e n
OO n - 2
/* ^ r / 1 \ 2
/ * M * = = / ( i - i ) '
5~ G?S. 2
4.3. FUNDAMENTAL SOLUTIONS O F T H E L A P L A C E OPERATOR... 65
shows t h a t
(47rt) ? J exp
• |2 N
d i C
= L
P u t b y definition
E{ ,t):=
X I * M ) E * » x ( 0 > O o ) ( 4 3 . 3 )
(0 i f (x, t) G R n
x ( - o o , 0] - { ( 0 , 0 ) } .
oo
=
II ^^ '^~dt^^ '^ dxdt - J J E(x, t)A p(x,
X X
x i) dx dt.
R n
e R™ e
Therefore
• oo oo
Note that
^(o,...,o,i) E = ô (o o,i) ( B ^ _ j57 (o,..,o,iy ô
F r o m this i t follows t h a t
oo oo
E q u i v a l e n t l y , we have
E(x, e)ip(x, e) dx
oo oo
e->0 J
It remains to prove t h a t
Putting x = we o b t a i n
4.4. T h e H ô r m a n d e r inequalities
a m b i g u i t y is possible. L e t
P(d) = a
- Q V
(d Gj
(Xjip), if) = (Xjd '(p, e
ip) + (tp, ip).
I n t e g r a t i n g b y parts we o b t a i n
(d (xjip),ip)
ej
= -{xj(p,d *<p). e
Hence
(ip,ip) = -( d *(p,(p) Xj
e
- (xjip.d^ip).
Therefore
M l 2
< 2AM \\d vl ei
4.4. T H E H Ô R M A N D E R INEQUALITIES 67
F i n a l l y we have
\\y\\<2A\\d ^\\-
e
F r o m this we o b t a i n
and
\(p;(d)(x ),p*(d) )\jV v < \\p;(d)(x )\\ jip \\p*(d)<p\\. (4.4.H)
F r o m (4.4.10) i t follows the following i n e q u a l i t y
||P,-(dM| 2
< ( 2 m - 1)^11^(9)^11 \\P{d) \\ + A\\P(d)<p\\ V ma)?]].
4. DIFFERENTIAL EQUATIONS
68
F i n a l l y , we have
WPjidM < 2mA\\P(d)<p\\.
T h u s , the p r o o f of (4.4.3)
is complete.
W e are n o w i n a p o s i t i o n to finish the proof. L e t P(d) be a n operator of order
1. It c a n be w r i t t e n as follows
P(d) = a i d e i
+--. + a d " n
e
+a . 0
| P | . T a k i n g i n t o account this r e m a r k a n d
m i m m e d i a t e l y we o b t a i n
by i n d u c t i o n o n ra. •
THEOREM 4.4.2
(Hôrmander). For every bounded open set Q in R n
there exists
a constant M > 0 such that for all r¡ G M and ip G V(Q)
J e^\P(d)ip(x)\ dx 2
>M j e^\ip(x)\ dx, 2
(4.4.14)
Note that
Hence
7
/i=i x
' /
2
J e* ¿P(d)ip(x)
x 2
dx>C 2
J e* ¿ip{x)
x
dx.
F i n a l l y , i f we take M = C 2
we o b t a i n (4.4.14). •
P(d)ip (x)
€ = J P(d )iP {x-y)v(y)
x e dy = J P(-Ô )ip {x y e - y)ip(y) dy.
THEOREM 4 . 5 . 1 .
If ft is an open bounded set in W , 1
then for every g G L (íl)
2
C o n s i d e r the following m a p p i n g
X3P*(d)tp^(g,<p). (4.5.1)
Note that
\(g,<p)\ < \\g\\M\ < C-'WgWWP^dM.
T h i s means t h a t the m a p p i n g ( 4 . 5 . 1 ) is continuous o n X w i t h respect to the n o r m
II • ||. It c a n be extended o n X } the closure of X i n L (ft). 2
T h e n the R i e s z t h e o r e m
gives the existence of u G X, so t h a t (g, p) = (t¿, P*(d)p). T h i s means t h a t
P(D)u = g i n V'(Q). T h u s , the p r o o f of the t h e o r e m is finished. •
PROOF. L e t
A = {a : a G L (B (0)), 2
R P(D)a = 0m V'(B {0))} R
X such t h a t
(TP,p*(d)e) BR = (p(d)<p,o) BR
zc^PidMBjp'weWB».
Therefore
\( p,p"(d)Q) \<
1 BR awpidMBjp'wewB*.
It is easily seen t h a t
if X G Af. F i n a l l y we have
I M I B H ^ I P ^ I I B * - (4-5.3)
4.5. L-SOLVABILITY 2
71
O f course,
(<P,9)B = (<P-ll>,9)B r r + (^^g)B - r
Since ip — ip is i n A, therefore
(<p,g)B = r {iP,g)B . r
H e n c e b y ( 4 . 5 . 3 ) we get
\(<P,g)B \<c\\p{d)<p\\ T BR
existence of w i n y so t h a t
and
^ ' [0 for x G R n
- P R ( 0 ) .
Hence, e q u a l i t y ( 4 . 5 . 4 ) c a n be w r i t t e n as follows
(<¿>,¿/) n M = (w,P(d)<p)mri. (4.5.5)
M o r e o v e r , i> —» v as e —>> 0 i n L ( P /
e ( 0 ) ) a n d i> G 2 > ( J 5 / ( 0 ) ) . T a k i n g i n t o
2
R + E O e R + E O
(v ,g)
e Br = (w,P(d)v ) e Br = 0. (4.5.7)
Hence we have '
]hn{v ,g) e Br = (v,g) Br = 0.
e—»0
Since g is a n a r b i t r a r y element of A -, therefore v G (A -) - = A, where A denotes1 1 1
complete. •
T h e next t h e o r e m gives us the existence of solutions of differential equations
w i t h constant coefficients i n R . n
1
ll^i - w - v\\ Bl < 2'
Put u 2 = w + t h e n P(D)u 2 = g on £ 3 ( 0 ) a n d
1
I N - ui\\ Bl < -.
on P ^ ( 0 ) , one c a n choose t ^ + i i n _ L ( J 9 „ 2 ( 0 ) )
+ 1 the following way. L e t w be i n
2
+
m
L (B + (G))
2
V 2 a n d P(D)w = g o n ^ ( 0 ) . O n £ „ + i ( 0 ) one has P(D)(u„ - w) = 0.
+ 2
B + (0)
u 2 and
IK - v|| B l / <
n 1
PROOF. Let
H(x) = H(xi) • • -H(x ), n x = (x u ... , z ) ,n
4.6. R e g u l a r i t y p r o p e r t i e s of differential o p e r a t o r s
Let A be a c o m p a c t s u p p o r t d i s t r i b u t i o n a n d © G C ° ° ( R ) . P u t n
A (x)
e :=A(S(x-.)).
for (p G V(W ). l
I n accordance w i t h the definition of A 0 0 we have
Set b y definition
o-h(y) := ^ ( ^ ) e ( A i / - y)h , (4.6.1) n
THEOREM 4.6.3.
Let A be in V'(R ). If A is a C°°-function on R n n
- {0} and
S is a compact support distribution, then sing supp A * S C supp S.
by T h e o r e m 3.7.2 it follows t h a t
(A*5)| = ((l-V)A*5)| B i ( x ) B 4 ( x ) .
4 4
O b v i o u s l y (1 - VOA € C * ° ° ( R ) . B y T h e o r e m 4.6.2 n
THEOREM 4.6.4. .Le¿ P(D) be a partial differential operator with constant co-
efficients. Then the following conditions are equivalent:
(i) P(D) is hypoelliptic,
(ii) every fundamental solution of P(D) is C°° in W — {0}, 1
P(D)(ipu) = ipP(D)u + v,
where v = 0 o n B±(x) a n d o n outside B (x). € O f course,
E * (P(D)(ipu)) = E * (ipP(D)u) + E *v.
Since ipP(D)u is i n D ( i ? ( ; r ) ) , therefore b y T h e o r e m 3.1.2 a n d T h e o r e m 3.6.1,
€
E * P(D)(ipu)
1
= P(D)E * (ipu) = 5 * (ipu) = ipu.
B y the above observation ipu is a C°°-function o n B±(x). Therefore u is s m o o t h
on BJL (X). T h i s statement finishes the proof. •
P A R T I C U L A R T Y P E S OF DISTRIBUTIONS A N D
CAUCHY TRANSFORMS
W e s h a l l present i n this chapter new subspaces T>' , 1 < p < oo of the space V, LP
w h i c h are n a t u r a l g e n e r a l i z a t i o n of Z A s p a c e s . T h e d i s t r i b u t i o n s b e l o n g i n g to V' LP
o
converges t o zero i n B i f for each nonnegative integer ra, the sequence (||<£>iy||m R ) }
n
|a|<m R n
belongs to T> a n d
0<¡3<a
Q\<*\ Q\a\
——(g p)(x) v = ——<p(x)
for x G ^ _ i ( 0 ) . Therefore
ii9 (^)iu-<
a
£ (")iidViiL~ir-<viu~
0</3<a
^ £ ( " ) ^ i r - ^ i u ~ = : M a .
0<(3<a
In accordance w i t h T h e o r e m 2 . 4 . 2 a n d T h e o r e m 2 . 4 . 3 every d i s t r i b u t i o n w i t h
a c o m p a c t s u p p o r t is integrable. L e t A be a n integrable d i s t r i b u t i o n . W e s h a l l n o w
o
show t h a t the r e s t r i c t i o n A l o of A i n t o B is continuous under the n a t u r a l convergence
o o o
of B. Indeed, let a sequence (<¿v), p v G B, converge to zero i n B. According to
o
the definition of the convergence i n B there exists constant M , a G N such n
<
a
t h a t IICP^HL
00
M , v — 1, 2 ,
a M o r e o v e r , the sequences {d p ) \cx\ < m cc
u 1
o
fulfilled. Since V C B C V^oo a n d V is dense i n V^oo, we conclude b y the Lebesgue
d o m i n a t e d convergence t h e o r e m t h a t the f o r m u l a ( 5 . 1 . 1 ) is true for Lp G T)L^ , t o o .
O u r c o n s i d e r a t i o n give us the following
5.2. REGULARIZATION OF INTEGRABLE DISTRIBUTIONS 77
THEOREM 5 . 1 . 4 . If A G V' l1 , then there exist a nonnegative integer m and
complex regular Borel measures fi , a \a\ < m such that
A
(^)= E (-1)^ J^yd^ for <peV oo. L (5.1.2)
\a\<m R n
5.2. Regularization of i n t e g r a b l e d i s t r i b u t i o n s
/i ((</? *
_1
+ /ie¿) -(<£>* ip)(x)) ~ ( 9 V * ^ ) ( x ) e
= J (d i (x ei
P + Ghe -y)-d ip(x-y))iP(y)
i
ei
dy,
MP
l i m [ (d v(x ei
+ ehe -y)-d v(x-y))^(y)dy ei
= 0
h-+oj
i
MP
LEMMA 5 . 2 . 2 . Let ip be in L 1
and J ip Rn = 1. Set ip (x) e := e~ ip(~).
n
If
ip G T>Lq, 1 < q < oo, then the ip * ip tend to (p as e —ï Q in t V^q.
•
THEOREM 5 . 2 . 1 . If A G V' L1 and <p G V oo or ip e V i, L L then
A ( a ? ) := A(y>(x - •))
v
PROOF. B y v i r t u e of T h e o r e m 5.1.4,
M * ) = £ (- ) 1 l / 3 1
/ ^ ^ - - W e -
\<m
d A^(x)=
a
Yl / d ^(x--)dfi .
a+
p
\(3\<m R n
5. PARTICULAR TYPES OF DISTRIBUTIONS AND CAUCHY TRANSFORMS
78
O f course, d A a
(p is continuous i n R . Suppose now t h a t p is i n V i. n
L I n order t o
prove t h a t d A a
(p is i n V i L we s h a l l estimate
\\d K\\»<
a
X J j \d +^{x~y)\dxd\^\{y)
a
< M M(R"),
\(3\<m
\(3\<m
5.3. T e n s o r p r o d u c t of i n t e g r a b l e d i s t r i b u t i o n s
il>(x):=T(tp(x,.))
V oo(R
L x R ) . M o r e o v e r , a c c o r d i n g to T h e o r e m 5 . 1 . 4 we have
m n
S (T (p(x,y)))
x y
( r fí\ot+¡3\ \
j Q^<P(x,y)h (x)he(y)d\^\(y)\
a d\n \(x)
a
/
(5.3.1)
(see S e c t i o n 2 . 7 ) . N o t e t h a t the m a p p i n g
d\a+P\
» m
x R n
3 (x,y) -> ^-^<p(x,y)h (x)hp(y) a
is a b o u n d e d B o r e l f u n c t i o n o n R m
x R . Therefore, b y the F u b i n i t h e o r e m ( [ 2 3 ] )
n
we o b t a i n the following e q u a l i t y
f i r <9i l a+/3
\
J I J ^( ^y)ha(x)h/3(y)
dxady(3
x
d\fii3\(y) I d\fi \(x) a
i dx<*dy^ ' x
y) ^ ) ^y)
h x h
^(1/^*1 x
5.3. TENSOR PRODUCT OF INTEGRABLE DISTRIBUTIONS 79
where | / i | x \¡±p\ denotes the p r o d u c t of the measures | / ¿ | a n d
a a It is convenient
to w r i t e the double i n t e g r a l f Rrn JRn QlQ X
+
y0 <p(x, y) dfi (x) a dfip(y) i n the place o f
/ r x r ^^ïï^^V^a^hpiy) d(\fi \ a x \¡i^\)(x,y). T h u s , we have
p p a|a+/3|
N o t e t h a t the m a p p i n g
2?¿oo(M m
x R " ) 3 <p —> S {T {<p(x,y)))
x y
O f course, i f S a n d T b e l o n g to V (R ), L1
n
t h e n the m a p p i n g
£>L~(R ) 3 ^ - > n
(S ®T )<p(x
x y + y)
(A*/)(p) = j A (x)tp(x)f dx
for tp G V.
(A y ® f )<p(x
x + y) = A y f(x)tp(x + y) dx^j = A y f(u - y)<p(u)du)^
a
h(y)'= f(hv-y)<p(hv)h . n
5. PARTICULAR TYPES OF DISTRIBUTIONS AND CAUCHY TRANSFORMS
80
i n V °v.
L T h i s i m p l i e s t h a t the A ( a / ( - ) ) t e n d to
l
Ay I[ J/ /(CJ
f{u- — y)ip(u)
y)ip(u) du | as / i -> 0.
A M - ) ) = E A(/(/H/ - -MhvW
(Ay ® f )p(x
x + y) = y A (u)<p(u))duj.
f
T h u s , the t h e o r e m is proved. •
T h e next t h e o r e m is v e r y i m p o r t a n t for a p p l i c a t i o n s .
J A^, (x)p(x)
e dx = f I f 9 /
V e ( z ~ y)df¿(3(y) j <£>(z)d£
= E i- ) ^
1 1 1
/ ( / ^ ( * - ^ M * ) ^ J d^(y).
H<P) = E (~ ) 1 l/31
/ (/ V-H^l d^ip(y)d^(y).
\P\<m R n /
5.4. T> p A N D V' SPACES
81
L LP
Therefore
A^ (x)(p(x)dx
e - A((p)
Therefore the
R R n n
5.4. £>P
L a n d £>¿ p spaces
THEOREM 5.4.1. Each element A belonging to D' , LP 1 < p < oo takes the
following form
•
5.5. C o n v o l u t i o n p r o d u c t
W e b e g i n our c o n s i d e r a t i o n w i t h presenting a n i m p o r t a n t t h e o r e m c o n c e r n i n g c o n
v o l u t i o n p r o d u c t of functions.
1
+ 1
- 1 = 1
and
p q r
< ||/||z>IMk- (5.5.1)
S is i n V' a n d T is i n V ,
Ll 1 < p < oo. W e define s i m i l a r l y to S e c t i o n 5 . 3 the
LP
c o n v o l u t i o n p r o d u c t S * T of S a n d T as follows
V 3ip-^(S*
Lq T)(v) (5.5.3)
is continuous. F o r m a l l y , b y v i r t u e of T h e o r e m s 5 . 1 . 4 a n d 5 . 4 . 1 we c a n w r i t e
(S x ®T )ip(xy + y)
= £ E / j K(x)fp(y)d«+^(x + y)dyd\^\{x),
| a | < m i |/3|<m 2 M n n R
lict\(x). (5.5.4)
Put
(S*T)(<p) = (S ®T )<p(x a y + y)
is sensible for ip G L q
and
\oi\<mi |/3|<m 2
T h i s i m p l i e s t h a t (5.5.3) is continuous.
It remains t o consider the t h i r d case, w h e n 1 < p , q a n d ^ + ^ — 1 > 0. I n this
case we c a n w r i t e formally, by v i r t u e of T h e o r e m 5.4.1
(S*T)(*0
= £ £ (-l)l a +
"l J j f (x)g (y)d P<p(x
a 0
a+
+ y)dydx, (5.5.5)
| a | < m i \(3\<m 2 M n on
where f G L (R )
a a n d g$ G L (R ).
p n
W e s h a l l n o w prove t h a t the right side of
q n
ijjp G L ( I R ) , where ^ - f ^ — 1 =
í n
It is easily seen t h a t j = 1 — K H e n c e we have
j + ^ = 1. I n v i e w of H o l d e r ' s i n e q u a l i t y we o b t a i n
/ \f (x)lp{3(x)\
a dx < | | / | | L p | t t
It is easy to see t h a t
\{s*T){ )\< v £ £ | | / 4 ^ M M | d Q + /
V l k * .
\a\<mi \(3\<m 2
5.6. C a u c h y t r a n s f o r m s of i n t e g r a b l e d i s t r i b u t i o n s
C A
^ :
= ¿ A
( ^ ) í - - )
5 6 1
DEFINITION 5 . 6 . 1 . T h e f u n c t i o n CA is s a i d to be the C a u c h y t r a n s f o r m of A.
|cA(z) = ¿ A t ( ^ 5 5 ) = C A « ( z ) , (5.6.2)
B y the L e i b n i z f o r m u l a we get
J ^ S M ( t ) = (-l) «!ft a
+ 1)(* - z)- » (t { +2)
- z - A)-^ ""). 1
P u t t i n g z = x + iy, h = £ + Í77 we o b t a i n
|J^0M(*)I
Set d = y — 5 iî y > 0 a n d d = \y - f í | i f y < 0 . Hence, for \h\ < ô < \y\ we have
((* - xf + y )-^
2
((t — x — 0 2
+ (y + V ) 2
) - ^ < d-"'3
así»...**) <C\h\d~ - , a 3
C = a ¡ 5 ] ) ( i / + 1).
i/=0
é C i
< " - s î A
( r h ) î ) -
5.6. CAUCHY TRANSFORMS OF INTEGRABLE DISTRIBUTIONS 85
Note that
F i n a l l y , we o b t a i n (5.6.2). •
THEOREM 5.6.2. If f e L ( R )1
7 then
C/(- + i e ) - C / ( . - t e ) = / i * / , e (5.6.5)
where h = M ( f ) ,
e = ^ T ^ 2 - B y L e m m a 1.2.1 we infer t h a t C7/(- + i e ) - C / ( - -
ie) tends to / as e —» 0 i n I / ( R ) . T h i s finishes the proof.
1
•
T h i s c o r o l l a r y is a n i m m e d i a t e consequence of L e m m a 5.2.2.
-R R
It is easy to check t h a t
1 f 1
lim - — / — — at — 0.
R-+00 2TTÍ J (t2
+ l)(t- z)
Note that
Cf(z) = 1
2i(i + z)
if > 0. A c c o r d i n g t o T h e o r e m 5.6.2
-1 1 1
2i(- + i ( l + e)) 2 i ( . - i ( l + e)) (0 + l 2
^(R).
A s i m i l a r t h e o r e m to T h e o r e m 5.6.2 is true i f A is a n integrable d i s t r i b u t i o n .
5. PARTICULAR TYPES OF DISTRIBUTIONS AND CAUCHY TRANSFORMS
86
A(*0 = £ ( - l ) t t
/
R a = 0
R
as e -> 0. N o t e t h a t
J(CA(x+ie)-CA(x-ie))p(x)dx = JT(--l) a
f í ^ d h ( t - x)dfi (t)
a
e a J <£>(z) d x ,
R a=0 R \ R /
where / i ( t ) = ^
e T 2 + E 2 • B y the F u b i n i t h e o r e m we have
R a = 0
R
m p
= E ( - ! ) a
{h *d ){t)d {t).
í
a
V íía
a=0 J
R
Hence, i n v i e w of L e m m a 5.2.2
m „ m „
is a harmonic function in I l +
= { ( x , y) : x G M , y > 0 } a n d
n +
3 (a;, y) —> CA(x + iy) - CA(x - iy)
^TT (t — x) + y 2 2
The formula
i y
u(x y) = A ( - J , (5.6.7)
(t - X) + y-
9 t u 2 | 2
7T
2
K
is h a r m o n i c i n I I +
and ^ (.)2+ 2 y tends to S as y -> 0 +
i n V' . Ll
5.7. C a u c h y t r a n s f o r m s of d i s t r i b u t i o n s b e l o n g i n g to VLP
j^(t-*)-* = (-!)««!(*-s)-»- . 1
A s i m p l e c o m p u t a t i o n shows t h a t
2
j \ t - x - i y \ - " ^ d t < \ y \ - ^ j {(çy-) 1 dt
R R ^
= ^(a+D+l y ( 2 >
a; + 1 ) -f(a+l)^
= C\y\- q { a + 1 ) +
\
where C = ¡ (UJ r
2
+ l)~f du. Therefore € P L g , 1 < q < 0 0 if ^ 0.
l C A
w = è A
( r ^ ) = C A
" ,
w .
^g , (t)
h z = ( - l ) a ! f c f > + 1)(* " z ) - ^
a + 2
\t - z - h)~^ + 1
- \
v
P u t t i n g z = x + iy a n d h = £ + 177 we get
J\{t - z)-^ + 2
\ t -z- dt
R
(v + 2)q (a+l-t^)g
/
((t-:r) 2
+ d ) 2 2
((t - x - £ ) + ¿ ) 2 2 2
dt=:,4„
R
where d = y — 5 ií y > 0 a n d d = \y + 5\ if y < 0. T h e n for < ô < \y\, b y the
H o l d e r i n e q u a l i t y we get
J ((t-x) 2
+ d 2
y ^ - dt\ Ij ({t-x-0 2
+ d 2
y ^ - ^ dt\ ,
R / \ R /
(ft - x) 2
+ d ) 2 2
dt = : B u
/
R
and
_ ( + - )pg
a 1 iy
((i - ^ - 0 + d ) 2 2
dt = : a
R
dz v ;
2TTÍ V(- ~ ^ ) 2
,
lim j Ag (x)ip(x)
e dx = A((p)
R n
A 9 « W = £ ( - i ) w
f~9Áx-y)fa(y)dy,
\^\<m R n
j\ .{x)ip{x)dx
g = j<p{x) I £ (- )' 1 Q |
/ ^9e(x-y)f (y)dy a \ dx
R" R» \ N < m R" /
= £ ( /^9e(x-y)f (y)dy\ a dx
\a\<m R n /
h o l d . T h e last i n t e g r a l c a n be w r i t t e n as follows
R n
\ R n
/
jal <m
90 5. P A R T I C U L A R T Y P E S O F D I S T R I B U T I O N S A N D C A U C H Y TRANSFORMS
J A (x)(p(x)
9e dx - A((p)
It is easy t o check t h a t
J A 9e (x)ip(x)dx - A(p)
^ £ ( / ( / - cy) - J dxj í |
It remains t o b e proved t h a t t h e expression
/(/ ^ x
~ e y
ï ~ f<*( )\ \d(y)\dy^
x
dx
N o w , we see t h a t t h e t h e o r e m is a n i m m e d i a t e consequence of L e m m a 5 . 7 . 1 i f we
t*keg{x)= l Mx +iy •
<P(0) + ^ ( 2 )
( 0 ) * 2
+ •••+ ( ¿ ^ ^ ^ M
( ° ) * 2 R O
- 2
) ) dx (5.8.1)
and
- (±<p'(0)x + •••+ ( 2 M
1
_ 1 ) ! ^ ( 2 M
" 1 )
(0)^ 2 M
- ))1
dx (5.8.2)
for m = 1, 2, F o r m = 0 we have
<p(x) - <p(-ar)
dx (5.8.3)
2x
R
|x|<l
|a;j>l P l ^ l
A n easy c o m p u t a t i o n shows t h a t
J - / " i f
^ > 0
(5 8 4 )
27TÍ 7 x 2
- ; ^ 1 JL i f ^ < 0 . l 5
- -
8 4 j
R ^ 2 2
1 x 2
x (™~V\
2
,
(•) 2M V 7
27T1 J \X 2
- Z 2 ax
and
L e t us notice t h a t
2
7 2
T 2(m-lV
(•) 2 m V
' 27T1Z 7 V X
- Z Z
z2(m-l) J
R
T r 2(m-l)-l^
= - - i 2-2 _ z 2 ^2 z 2(m-l)
27TÏZ J
—1
*~ (.\2m2
(-)
v y
C, J ^ (z) = I C T 4 - ( Z )
c l ( z ) = / s * i f
^ > ° (5.8.6)
(•)* 1-2^ ifS^<0, V ;
where /c — 1 , 2 , . . . .
5.8. C A U C H Y TRANSFORMS OF SOME DISTRIBUTIONS 93
C6íz) = - ± ¿ , z * 0 .
M o r e o v e r , we have
¿ C Í W = C ^ )= * ^ , (5.8.7)
where 2 ^ 0 . H e n c e we o b t a i n
F r o m this, i t follows t h a t
1 1 \ TTi(-l)
2 \(x + ie) k
(x-ie) k
J (k - 1)
In v i e w of (5.8.6) we o b t a i n
\ +
T ^ w ) = C
W ( X + k )
" C
W { X
~ i e )
- ( 5
- '
8 1 0 )
1
-^ ~ -(CS^- \x +
i 1 ) k 1
i€)-CS^ - \x-ie))
k 1
(x + ie) k
(k - 1)!
C -^(x
~^(x 7 + ie)-C-^{x-ie)),
ie)-C-^ (5.8.11)
^ ^ ( C Ô ^ H x + ie)-C5^(x-ie))
(*-l)! +
(-)fc a n d
(k-l)! d +
(-) f c
convergence is i n V . F r o m t h i s we infer t h a t
f
Ll
94 5. P A R T I C U L A R T Y P E S O F D I S T R I B U T I O N S A N D C A U C H Y TRANSFORMS
1 _ TTi(-l)* 1
~ (fe^T)ï 5 +
( ^ ' ( }
1 7TÍ( — l ) f c
r.(i* i\ 1 ,
( ^ = - ( M ¿ +
Ô P ( 5
- -
8 1 4 )
T E M P E R E D D I S T R I B U T I O N S A N D F O U R I E R
T R A N S F O R M S
\x^d Lp(x)\<c p
a
a
for x G K N
a n d a,(3 eN . n
O n e c a n i n t r o d u c e a f a m i l y of n o r m s i n S p u t t i n g
\\p\\m — :
max sup \x@ d p(x)\. a
(6.1.1)
0<\a+(3\<m x e Rn
u n i f o r m l y t o (•) d p /3
i n W for a l l a,0 G N . W e also note t h a t i f <p ,p eV a n d
a 1 n
u
THEOREM 6 . 1 . 1 . 25 dense m S.
\d g„\ a
<M a
for x G B -i(0)
u a n d z/ > UQ (see T h e o r e m 5 . 1 . 3 ) . F i n a l l y we o b t a i n
\x^d {g^-<p){x)\
a
<e
for x G R n
arid z/ > I/Q. T h i s statement finishes the proof. •
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
96
DEFINITION 6 . 1 . 3 .
W e say t h a t / G O M i f / € C ° ° ( R ) a n d for each a e n
N n
HP) = E ( - l ) H
/ ( ' ) ^ > ^ (6.1.2)
0<|a+£|<m
/ o r (p E S.
c *(R )=
0
n
x c 0 m , N= Y, L
p r o d u c t C ^ ( R ) w i t h the n o r m
n
W&a^Wc" :
= _, m a
;* S U
P 1^(^)1-
0
0<|a+/3|<ma; ]Rn G
Set, b y d e f i n i t i o n
S™ := {(p : ip G C ° ° ( R ) , (•fd ip n a
G C ( M ) for | a + /3| <
0
n
ra}.
C o n s i d e r the m a p p i n g /C : <S - » C ^ ( R ) defined i n the following f o r m
m n
Â(/C(v>)) := A f a ) .
O f course,
\I(K(<p))\ = \A(<p)\<M\\K{<p)\\ . cSr
obtain (6.1.2). •
6.2. TENSOR PRODUCT OF TEMPERED DISTRIBUTIONS 97
6.2. T e n s o r p r o d u c t of t e m p e r e d d i s t r i b u t i o n s
Put
(S ®T )<p(x,y)
x y := S (T (p(x,y))).
x y
by T h e o r e m 6.1.2 we have
0<\l+6\<l ¿ n
V
^ô(x)
i i f
:= ( - l ) J y m
A^' ' 7
—p(x,y)dfi (y).l6
i i f fd^ 9 I t I
\
ipjôix + O -ip-yâix) = (-1) 1 7 1
y y [^p{x + £,y)-—p{x,y)\ d^ (y).
ô
It is easily seen t h a t
9M Q\l\
y
dy^^ x +
^y)->y Q^v(x,y)
u n i f o r m l y w i t h respect to y G R n
as £ —y 0 for a r b i t r a r y fixed x G R m
. Since the
f u n c t i o n y^^^-p(x, y) is b o u n d e d i n R m
x R , therefore by the Lebesgue d o m i n a t e d
n
_d_
-ip ô{x)
7 = (-l) l 7 i
j y 6
®^ dx Lp{x,y)dfi {y). l6
dx
W e n o w proceed b y i n d u c t i o n on a. F i n a l l y we get
<9'i ,
a
r g|a+7|
U l x
dx° /
have
g\ \ a
r ¿jl +7l a
^ d x ^ ^ - / , ™ d\^ô\(y)
dx dy^
X x ) P a
O X
J ( y)(=.Rrn
X:
(-1)' '/ 7
y ^A',y)d^s(y)^o
s
(S x <g> T )<p(x,y)
y
= E E (-!) | a + 7 1
/ ( / ^ y s
í ^ ^ y ) d ^ ( y ) )
\<*+0\<k\-r+6\<l Rm V " /
(6.2.1)
O f course, (6.2.1) is a linear continuous f o r m o n <S(R x R ) . m n
is said t o b e t h e tensor p r o d u c t of S a n d T.
t h e n we have
(l x (8) T )<p(x, y) = (T <g> l )(p(x,
y y x y).
T h i s equality c a n be w r i t t e n as follows
J T ((p(x,y))dx
y =T y j j ip(x,y) dx
Put
Tf{a)~ J e ^f(x)dx,
i
(6.3.1)
t h e o r e m . T h e second p a r t of t h e t h e o r e m is evident. •
—R 0 R
—R — icr R — ia
_
N o w , 2: —» e 2 is a n entire f u n c t i o n of the c o m p l e x variable z = x + iy, a n d
therefore its i n t e g r a l a r o u n d the rectangle w i t h vertices —R, R, —R — ia a n d R — ia
is zero (R > 0 ) . It is easy to check t h a t the integrals o n the t w o v e r t i c a l sides t e n d
to zero as R — » 0 0 . Therefore
dx.
R
R R
j 2 > X 1 / \2 \ i 1 2
Since f R e~ï x
dx = v27r, therefore T ( e~ 2 (•) j (<j) = yj2ire~^ ' 0
. I n the same
m a n n e r we c a n see t h a t
T (c"* M 2
) (CT) = (27r)f e - 2 k l , 2
a € R . n
(6.3.3)
W e also define
T- f[o) x
= J e- ^f(x)dx. i
(6.3.4)
DEFINITION 6 . 3 . 2 . T h e f u n c t i o n T~ f x
is s a i d to be the inverse F o u r i e r trans-
f o r m of / .
j F- î{a)g{a)do
l
= jf(x)T- g{x)dx. 1
(6.3.6)
R n
R n
THEOREM 6 . 3 . 3 . / / / , Tf are in L ( M )
1 n
; then
(T- 1
o T)f = (T o T- )f X
= /. (6.3.7)
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
100
PROOF. N o t e t h a t i f / a n d Tf b e l o n g to Z ^ Q E T ) , t h e n T~ f x
belongs t o
L ( R ) , as well. P u t b y definition
1 n
g (y) ex •= J e ^ e - ^ - ^ W 2
da = J e^v-^) ~h W\ e
2 2
d(7_
R n
R™
P u t t i n g cu = ea we o b t a i n
g (y)
ex = e- J n
e ^ - ^ e - ^ l 2
^ .
R 71
B y (6.3.3) we get
g (y) = nn _i
t- (^)ïe-î y — x
ex
It is easy t o check t h a t ( 2 7 r ) _ n
fRn g (y)dy
ex = 1 for x G R . Because of (6.3.5) we n
have
P u t t i n g ô (x — y) — (27r)~ g (y)
e we o b t a i n J
n
ex Rn ô (x — y) dy = 1 for a l l x G R .
e
n
N o w , e q u a l i t y (6.3.8) c a n be w r i t t e n as follows
R n
JTf(a)G (a)da ex = J T f ( a ) e - ^ ~ ^ 2
da
R" R™
= (2^) (27r)- n n
J Tf(a)e- ^~i ^ i{x e2 2
da.
R n
.I ,2
Since J * / is i n L ( R ) a n d Tf(a)e~ < ^'~^
1 n
k l tends t o Tfi^e"^^ i( x
as e -> 0,
b y the Lebesgue d o m i n a t e d convergence t h e o r e m we deduce t h a t
for x G R . T h i s i m p l i e s t h a t [T
n
o T)f{x) — f(x) almost everywhere i n R . I n 1 n
6.4. F o r m a l p r o p e r t i e s of F o u r i e r t r a n s f o r m s
(d »f)(a)e
= (7^f(a). (6.4.1)
/// and d »f e
are in L ( R ) , then x n
/// 25 in L ( M ) 1 n
7 then we have
:
f~f{<x) = e ^f(<r) i
(6.4.3)
for each x G l " (see Example 1.8.4)-
If f is in L ( R ) then we have
1 n
;
for x e R . n
If f is in L ( R ) and K : R
1 n n
—» R n
¿5 an orthogonal transformation, then
If / is in L ( R ) and S f{y)
x n
x = X f{Xy),
n
X>0, then
If f and g are in L (W ) 1 l
J then
PROOF. A d (6.4.1). N o t e t h a t
Since
• *
o
therefore |( *(*>^) - l ) ^ " 1 < \x \ for h ¿ 0. O n the other h a n d ( ^ ^ - l ) / * "
e
1
v e
x 1
t h e o r e m we o b t a i n
J
R
n
J e ^ d -f(x)dx=
i a) e
j e * '
i( # ff/)
I j e ^^ d ^f(x)dxA
i ) e
dx'
R71
Rn-l \R /
T a k i n g cu = Ky we get y — K UJ, T
where K T
denotes the transpose m a t r i x of K.
We obtain
J7K((t) = J e ( "^f(uj)dw
i KT
= J e ^ ^f(co)duj i K
= (foK)(a).
R n
R n
d p(a)
a
= (7pï>((7) (6-5.1)
is continuous.
^dPpia) = a (i^p{a)a
- i^^d^Yp){a). (6.5.4)
Since d {{'Yp)
a
is i n <S, therefore b y T h e o r e m 6.3.1 we conclude t h a t d@p> is c o n -
t i n u o u s a n d a d <p is b o u n d e d i n W . T h i s means t h a t p> belongs t o S. It r e m a i n s
a l3 1
6.6. FOURIER TRANSFORMS OF FUNCTIONS IN L (M ) 2 N
103
to prove t h e c o n t i n u i t y of (6.5.3). I n accordance w i t h (6.5.4) for ¡3 > a we have
sup \a d^(a)\= a
sup \d¿(W<p)(*)\ < [ \d ((-)^)(x)\dx
a
aeR n
crÇR" J
R n
¿ 0<n<a k=l
^ K
E () a
f[Pk(Pk-i)---(fo-nk+i) sup((i+i^i n^-^ -^(^)i, 2 a
0<fj,<a
where is a p o l y n o m i a l . T h i s i n e q u a l i t y i m p l i e s the c o n t i n u i t y of (6.5.3) a n d t h e
p r o o f is complete. •
\rfA<r)-rf(*)\<¿
6.6. F o u r i e r t r a n s f o r m s o f functions i n L ( R ) 2 n
L e t / be i n L ( R ) . P u t }{x) : = f{-x).
1 n
W e s h a l l n o w show t h a t
? = / . (6-6.1)
N o t e t h a t ab = ab for a, 6 G C . L e t / be a simple integrable f u n c t i o n . It is easily
seen t h a t
f(<r) = J e ^')f(z)dz i
=j e- ^f(z)dzi
= J e^f(-y)dy = ](a).
||^-V||L» - (2ir)-*\\<p\\ 2.
L (6.6.3)
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
104
MÛ* j \(f(x)\ dx 2
= J (f(x)(f(x)dx = J (f(x)(f(—x) dx = (p * (f)(0)
h o l d . O n t h e other h a n d we have
( 2 7 r ) - J f^(x)
n
dx = (27r)~ j n
f^(x)e~ ^ i(x
dx
F r o m this i t follows t h a t
M i l * == (27r) ^ (fTp(x)dx.
n
By (6.4.7) a n d ( 6 . 6 . 1 ) we o b t a i n ( 6 . 6 . 2 ) . P u t t i n g T~ p x
i n t o ( 6 . 6 . 2 ) we get (6.6.3).
T h e p r o o f is complete. •
converges t o / i n L (R ). T h e n Tf 2
converges t o some f u n c t i o n g also i n L (R ).
n
v
2 n
L (R ).
2 n
T h i s fact is a consequence of ( 6 . 6 . 2 ) . S i m i l a r l y we c a n define t h e inverse
F o u r i e r t r a n s f o r m of any f u n c t i o n / b e l o n g i n g t o L (R ). 2 n
i n L (R ). 2 n
T h e n we take
= l i m T~ (f T~ f x x
v
v—ïoo
To verify t h e consistency of this d e f i n i t i o n we a p p l y ( 6 . 6 . 3 ) .
THEOREM 6 . 6 . 2 ( P l a n c h e r e l ) . / / / is in L (R ), 2 n
then
(T- oT)f
1
= (ToT~ )f 1
= f, (6.6.4)
PROOF.
L e t p be i n S. A s s u m e t h a t t h e p converge t o / i n L (R ).
v Then v
2 n
T~ )fY
i n L (R ), 2
respectively. Since ( J
n
o T)<p = (T o T~ ))(f = (f , v =
7 - 1
v
x
v v
¡ ^ 9 = / f^g. (6.6.6)
6.6. FOURIER TRANSFORMS OF FUNCTIONS IN L(E ) 2 N
105
PROOF. L e t <p , ip , v = 1, 2 , . . . be i n S. A s s u m e t h a t the sequences {ip ) a n d
u u v
W h a t is left to show is t h a t J Rn (p ip
u u and f Rn ipvijj v converge t o J Rn Tjg and
f Rn fTg respectively. I n fact, we have
W e s h a l l n o w show t h a t i f / belongs b o t h t o L ( R ) a n d L ( R ) , t h e n D e f i n i 1 N 2 N
{x : x G R , —v < Xj < v, j = 1 , . . . , n } .
N
THEOREM 6 . 6 . 4 . // / is in L (R ), 2 n
then X[-v,v]f converges to Tf in L ( R ) .
2 N
X^]f(c-) = J e^ ^ (x)f(x)dx.
X[ ]
N o t e t h a t (x\-v,v]f) is a C a u c h y sequence i n L (R ). 2 N
Put
/* = lim X[-v,v]f-
J X[-v,v]f<P = J X[-v,v]f$>
A passage t o l i m i t i m p l i e s t h a t
7T
dt.
j f{z)e iaz
dz < M(r)r j
KÍ
7T 2
dt.
r J e~ (Trsint
dt = 2r J <
^ . 2art , 7T
2r / e
7 <
~ di < - . •
EXAMPLE 6 . 6 . 1 . L e t f(x) = W e s h a l l now c o m p u t e the F o u r i e r t r a n s f o r m
of / . N o t e t h a t for a > 0 we have
27T2 . / 1+ X 2
27T2 y
*7
if r > 1. Hence, b y L e m m a 6 . 6 . 1 a n d T h e o r e m 6 . 6 . 4 we o b t a i n
Ff(a) = 7Tie~ a
Tf(a) = -Trie* 7
if a < 0 .
6.7. FOURIER TRANSFORMS OF THE HERMITE FUNCTIONS 107
EXAMPLE 6.6.2. P u t f(x) : = ¿ r ^ b y , ^ 0. F i r s t we suppose t h a t $sz > 0.
T h e n we have
r
27TZ J x —z 2m J £—z
2m J x —z 2m J í — z
g ^ ( ¿ F i ) ) W = - f f
H e
' f f
'
F i r s t we r e c a l l t h e d e f i n i t i o n of the H e r m i t e functions.
DEFINITION 6 . 7 . 1 . T h e function
H [x)
v = (-l)"e (e- )("\ x2 x2
v = 0,1... (6.7.1)
is called t h e H e r m i t e p o l y n o m i a l .
4x 2
— 2 , . . . A simple verification shows t h a t
2 k\y/ñ
k
i f /x = 1/ = fc.
R
Set
:= (2 k\y/Z)~ie-'*-H (x).
k
k
sL d _ x i d
A — e 2
—e = - 2
x
dx dx
w i l l be useful t o determine the F o u r i e r t r a n s f o r m of h . N a m e l y , we s h a l l show t h a t k
O n t h e other h a n d we have
-xh (x)
k = (-l) (2 klViï)-i
k+1 k
(xe^{e- )^) x2
.
THEOREM 6 . 7 . 1 .
Th k = 2ixi h , k
k k = 0,1,2,... (6.7.4)
accordance w i t h ( 6 . 7 . 3 )
Th k + 1 = -(2(fc + l))"niHfc.
F r o m this, b y the i n d u c t i o n a s s u m p t i o n we get
jr h k + 1 = _( (* + l))-ii
2
f c + 1
27rA^.
6.8. F o u r i e r t r a n s f o r m s of t e m p e r e d d i s t r i b u t i o n s
W e r e c a l l n o w t h a t i f / is i n L ( E ) or L ( R ) , t h e n we have
1 n 2 n
R" R n
for p G 5 . T h i s leads us to
DEFINITION 6 . 8 . 1 . T h e F o u r i e r t r a n s f o r m TT ( T ) of the d i s t r i b u t i o n T G
<S'(R ) is the image of T under the transpose of the m a p T : <S(R ) -> <S(R ); i.e.
n n n
JTfa) = T ( ^ ) (6.8.2)
for p G 5 . S i m i l a r l y , one c a n define the inverse F o u r i e r t r a n s f o r m T~ T X
of t h e
tempered distribution T taking
F-\T{v))=T{T- 1
(y,)). (6.8.3)
(T'1
o T)T = (T o T~ )T X
= T (6.8.4)
hold.
{T~ l
o F)T( )V = {T- {TT)){v)
l
= - T{ToT- ){ )
x
9 = T{ ). v
= T„(£) T ( 0 ) = T(<p)
as z/ —» oo. T h i s finishes the proof. •
6.9. FORMAL PROPERTIES OF FOURIER TRANSFORMS. 109
EXAMPLE 6.8.1. W e s h a l l n o w determine the F o u r i e r t r a n s f o r m T-^ of We
know that is i n V'L2 ( R ) . L e t C-^y be the C a u c h y t r a n s f o r m of ^ y . B y v i r t u e of
T h e o r e m 5.7.2 we infer t h a t
C^(- + i e ) - C ^ ( - - i e ) ^ - ^
as e -> 0+ i n V (R). f
L2 Therefore C ^ y (• + ie) - C ^ y ( - - ie) tends to ^y as e 0+ i n
<S (R). It remains to determine the F o u r i e r transforms of the functions C ^ y ( - + ie)
;
and
7rie~ e<T
for a > 0
i2 y/ - x - ie I0 for a < 0.
R V
1 (^ 1 , , ^ 1 , A ivri i f cr > 0
lim - — (a) + F - — cr = i
6->o+ 2 V (- + i e ) (--ie) 7 v
[-Tri
; V
i f cr < 0.
F i n a l l y we have
JF—(cr) = 7ri sgn cr.
6 . 9 . F o r m a l p r o p e r t i e s of F o u r i e r t r a n s f o r m s of t e m p e r e d d i s t r i b u t i o n s
D »fe
= ( i ^ T , (6.9.1)
TxT = e i M
f for each x GR , n
(6.9.3)
D »T(ip)
e
= -T(d "<p) e
= ~T(d^p) = -T((-i.) "£) c
= (i-) "T(¡p)
e
= ( i O ^ H ,
^ T ( ^ ) = r T{(p) x = T(r_ £) = T ( e ^ V ) =
x e^fiip)
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
110
and
Put
E (x)
x ~ (27r)-tA- n
e -ilA| 2
(compare S e c t i o n 4.3). L e t T be in V , t h e n f
Ll
T (x) =
x (T*E )(x)=T(E (x--)) x x
JT(or) = T ( e i ( ,
' < r )
). (6.10.1)
Moreover, TT is a continuous function and bounded by a polynomial.
PROOF. I t is k n o w n t h a t E is i n V i a n d f E\ = 1. I n v i e w o f T h e o -
1 L Rn
TT {a)
x = f e«*>°> I E (-l)W f ^ E x ( x - y)df, (y)\ a dx
M« \l«l<"* Rn /
= E / ( / e ^ ° X - i r ^ E x { x - y ) d x \ d» (y)
a
\a\<m R „ \ „ R /
= £ / W ( / e ^E (x-y)dx\ i
x dfi (y)
a
\a\<m p_ n \pn )
= E f{^) ^ '" a v )
( /e^E {uj)du\ x dti (y)
a
\a\<m R „ \ R „ /
= E (- )' 1 Q|
f{i*) e a i { y
' a )
e-^ 2
d» (y). a
\a\<m R n
E ("1) H
f(ie) e ^d (y)=
a i
lia E /l^^^^)
\a\<m R „ |a|<m R „
\?T (<T)<p(<T)\<M (l
X v + \<T\ )- ,
2 k
\ot\<ra
T h e n we c a n set
M ^ : = s u p \ {a)\{l
V + \a\ ) {2^ 2 k
V ) | M A |(R") ••• K l " " -
\ct\<m
holds.
REMARK 6 . 1 0 . 1 . L e t S a n d T be i n T> ^ ^ f
Ll Rm a n d î ^ i ^ n ) , respectively a n d let
TS a n d F T be their F o u r i e r transforms. T h e n a s i m p l e verification shows t h a t
T{S®T)(t,r )=TS(£)TT{ ). 1 n
T6 a = F(6 ®--'®5 )
ai an = l,
6.11. F o u r i e r t r a n s f o r m s of square i n t e g r a b l e d i s t r i b u t i o n s
( • ) 7 , where / is i n
;
L (R ). 2 n
n<p)= E / ( E Da
f<*) (*>)
\a\<m R n \|a|<m /
i n S. A c c o r d i n g t o D e f i n i t i o n 6.8.1
TT(<P) = i E Da
f«) @) = E jf*9 $= a
E / / « ( í ó ^ -
\|a|<m / H<m R n \a\<m R n
B y T h e o r e m 6.6.3 we have
f &)=
T
Y (" )' 1 a |
f(ix) Ffa{x)<p(x)àx.
a
\a\<m R n
T(<p)= Y J X f (x)<p(x)dx,
a
a
\a\<m Rn
where f a G L (R )
2 n
a n d p> £ S. Therefore
\oc\<m Rn M< Rn m
Y J i fa(x)d^p(x)dx.
la]
|a|<m , R
U s i n g a g a i n T h e o r e m 6.6.3 we get
TT{v)= E (-1) H
J(-i) Ff (x)d <p(x)dx.
lal
a
a
\ot\<m RTX
Since f a is i n L (R2 n
), therefore J F T is i n V' . L2 T h i s statement finishes the proof. •
i n e q u a l i t y we get
1 1 / < \\U - / I k 2
IMIL* + M | | ^ - ^|| 2,
L
where M = s u p ^ ^ H / ^ l ^ } . T h i s implies t h a t / * g G C ( R ) . F u r t h e r , / 0
n
R n (/„ *
g )(p tends t o J
v R n ( / * g)(p as z/ —» oo. B y (6.4.7) a n d T h e o r e m 6.6.3 we get
R n
where f a a n d gp are i n L ( R ) a n d ip e S. U s i n g t h e F u b i n i t h e o r e m we o b t a i n
2 n
da;
= J fa(x) Í Jgp(uj - x)(p(uj)duj \ dx = J I ^ ^ ( w - x)f (x)dx a j
R 7 1
\ R n
/ Rn \Rn /
= j {fa * gp){uj)ip(uj)duj.
(S * 2 > = E (-l) | a + / ? l
/ ( f a * g )(x)d ^(x)
0
a+
dx. (6.11.3)
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
114
F r o m this we get
\<*\<k\/3\<l ¿
H<k\/3\<1¿
\c\<k\0\<l¿
E E ÍD^Tai^D^siaM^da.
|a|<fc|/3|<ÍRn
Since 5 = S | a | < A ; D f a
a a n d T = !C|/3|<z D^9/3> therefore (6.11.1) generally h o l d s .
T h i s finishes the proof. •
A s i m p l e verification shows t h a t
T- (S
X
* T ) = {27r) T- ST- Tn 1 1
(6.11.4)
for 5 a n d T i n £>^ . 2
T h u s , we o b t a i n the following
S T = ^ - T - \ T S * TT). (6.11.5)
6.12. D e t e r m i n i n g F o u r i e r t r a n s f o r m s of s q u a r e i n t e g r a b l e d i s t r i b u t i o n s
CT(- + ie) - C T ( - - ie) tends to T as e —^ 0 i n V' . Therefore CT(-+ ie) - CT(- - ie) L2
1 da) *- 1 1
T
J T W { ( l ) =
- ^ ( f c V " ^ ( 6
- 1 2
- 2 )
6.12. DETERMINING FOURIER TRANSFORMS. 115
where H is the H e a v i s i d e f u n c t i o n . N o t e t h a t
\k-i)\ v J
(k-iy. J
(- + io) k
i n <S' as e —» 0. S i m i l a r l y ,
In p a r t i c u l a r , for k = 1 we have
1 1 (u + v-2)\ 1 ,
(• - ¿0)^ * 7
(• - ¿^0Ñ) "- = (/i - l)!(z/ - 1)! (• - ¿ o )—^ -r ,
V M
¿ — — 7 1 ; (6.12.7)
7 — * 7 — = 0, (6.12.8)
(•-zQ)^ (-4-zO)^ v ;
where / i , € N.
(i7rsgn(-) * ( - 2 T T Z ¿ ) ) ( 1 )
= (2TT s g n ( - ) )
2 (1)
= 4TT ¿.
2
H e n c e we have
insgn(-) * (-2TTZ(5) (1)
= 2TTF{1}.
Therefore ^ ( - ) = 1.
(jF, * * T, * 1 (a) = 4 7 r z ^ — - 2
V
(--¿0)/* (.-lO)"/ (¿HV ;
fzcr ) N /i+l/
~ 1
1
= 2TT • 2-Ki-r— 1
TT7 = 2 T T F 7 — — (cr).
F r o m t h i s , b y (6.11.5) we get
1 1 1
- i$y (• -io)» (. -ioy+v-
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
116
S i m i l a r l y one c a n show t h a t
1 1 1
(• + iQ)» (- + ¿0)^ (- + ¿ 0 ) ^ '
In p a r t i c u l a r , for \i = v — 1 we have
1
-iOJ (*-i0) ' 2
In v i e w of (5.8.14) we get
6.13. H i l b e r t transforms
into itself.
T(HT)(a) = T * Tj (a) = - z s g n a ^ T ( o - ) .
(•) Ff
a
e L (R) for a = 0 , 1 , 2 , . . . , r a .
2
TT (•)
Hence, we have
T(D (Hf))a
= -isgno-T(D f)(a) a
= -isgna(-ia) Tf(a).
a
6.14. C a r l e m a n transforms
S i m i l a r l y , we p u t
for z G C — R , w/iere t/ie symbols T and C denote the Fourier transformation and
the Cauchy transformation, respectively.
(it.
—Z
A p p l y i n g T h e o r e m 6.6.3 we get
It is k n o w n (see E x a m p l e 6.6.2) t h a t
1 T 1 ( T ) = f ff(i)e^ if > 0,
2TT¿ {--Z) [ ]
\-H(-t)e itz
if < 0.
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
118
F r o m this we o b t a i n
( C o F ) f ( ) - { ^ ^ z
f e l t Z d t i
^ >
f > 0
( )
l - J -oo
/
- J«W e ^ i
( )
i f ^ < 0 -
F i n a l l y we h a v e ( 6 . 1 4 . 1 ) for / G L (R).
-2/ 2
fact, we have
(Cof)((i.) f (.))(z)
k
0 = C((Ff ) )(z) 0
w
= ((CoT)fo)^(z) = ^Ffo(z)
T- f{z)
1
= (CoT- )f{z) 1
(6.14.2)
for feS' . 0 •
A s a c o r o l l a r y from T h e o r e m 5 . 7 . 1 , T h e o r e m 5 . 7 . 2 a n d T h e o r e m 6 . 1 1 . 1 we
obtain
for p G V 2.
L
= H ^ i
'f > 0
w
10 i f S z < 0.
Therefore
If 1 l
TH(p) — — lim - / p(x) dx = i- rip)-
K J
e-^o % J x + ie^ (- + ¿ 0 ) ^ K J v
REMARK 6 . 1 4 . 1 . If / G I? then
li (Tf(.
m + ie)-Tf(.-ie))=Tf
e—>0
in L.
2
6.15. THE PALEYA-WIENER TYPE THEOREMS 119
6.15. T h e P a l e y a - W i e n e r type theorems
CO
F(z)= I e f(t)dt,
izt
(6.15.1)
o
then F is a holomorphic function in I l +
= {z : *^sz > 0} and
L (—oo, 0) and
2
o
F(z) = ~ J e f(t)dt,
izt
(6.15.3)
— CO
— co<y<0
E
Conversely, if F is a holomorphic function in IT" and (6.15.4) holds then there
exists f G L (—oo,0) 2
suc/i t/iai (6.15.3) is true for z G II"".
D e n o t e b y i J ( I I ~ U l I ) the vector space of a l l h o l o m o r p h i c functions i n Ü-UII" ".
+ 1
A s a c o r o l l a r y we o b t a i n the following
F{z) = Tf{z)
for z G I I -
U I I / where Tf
+
is the Carleman transform of f.
F(z) = Cf(z)
for z G ( I I U I I ) , where Cf
- +
is the Cauchy transform of f.
CA(z) = ^ - A ' 1
v = z
° R
P u t F (z)
u := Cf (z).
v B y v i r t u e of T h e o r e m 6.15.3, F v fulfils (6.15.5). •
m j
U m
F
& = E d ^ c
^ z
) = E C(D»U)(Z).
T h i s means t h a t F = C A , where A = E H o 1 7
^ ? ^ L ( R ) . T h i s implies that
2
A is i n V' . L2 •
a slowly increasing function f iff F may be written in the form (6.15.6), where the
function F fulfils (6.15.5).
v
1 \ , x sinx
(see E x a m p l e 6.3.1) a n d
ÍÍ 1
V N i f 9f« > 0,
6.16. THE CAUCHY SEMIGROUP 121
Hence we have
smx , i f 3 z > 0,
x • dx = < . â~
2%
liri J
2iri x -- z e 1
if < 0.
2«
0
R v
(• + ¿0) ;
[0 i f 3 z < 0.
6.16. T h e C a u c h y s e m i g r o u p
\\u ((p)\\ 2
t L < \\gt\\ i I M U
L
2
= IMU -2
| - i ( - ^ l _ l)T(p(a)\
t e + H \T<p{a)\ < 2\a\ |^(a)|.
tends p o i n t w i s e t o — | a | as t —Y 0 . T h i s i m p l i e s t h a t +
Hr\M<p) - H>))-\(-)\r<p
as t —» 0 i n L (R). U s i n g the P l a n c h e r e l t h e o r e m we infer t h a t £ (i¿t(<p) — tp)
2 -1
AÍ \ 1 1
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
122
o
it we use the H e r m i t e functions h (see S e c t i o n 6.7). L e t S denote the vector space v
o
complete o r t h o n o r m a l s y s t e m i n L ( R ) , therefore the closure of S i n L ( R ) is the 2 2
Th = k i V27rh . k
k
k
For s i m p l i c i t y p u t x ~ r W - L e t x" =
X ** ''* i n
accordance w i t h Theo¬
v times
r e m 6.10.2 a n d (6.12.4) we have
HX V
*h ) k = {-\y\a\ i ^h (a). v k
k
h k + ^X^h k + |yx *h 2
k + •••+ ^ y x * h n
k + •• • (6.16.1)
S k
t = h k + -x*h k + -.. + —x n
* h k
TS k
nt = i V^h (a)
k
k ( l - ±\a\ + ••• + ( - l ) n
^ M n
) •
Note that
< C k e - ^ 2
e 2 t
^ ^ GL^R),
simplicity
e A t
h k := l i m V * h
^
T h e o r e m 6 . 1 1 . 2 we have
s 2 *<PV = -\(')Wv
W
In accordance w i t h T h e o r e m 6 . 6 . 2 , (¡5^ —^ <^ i n L 2
and — - > ^ i n L . One can
2
A f o r m a l s o l u t i o n of the C a u c h y p r o b l e m
= &xu(x,t), (6.17.1)
u(x,0) = / ( * ) , (6.17.2)
where x G R , ¿ > 0 a n d A
n
x = + • • • + ^ 3 - , c a n be c o n s t r u c t e d by q u a d r a -
tures. T h e s o l u t i o n of e q u a t i o n ( 6 . 1 7 . 1 ) , w h i c h satisfies ( 6 . 1 7 . 2 ) is u s u a l l y w r i t t e n
as follows
E { X t t ) i ( ^ ) - e x p ( ^ ) if*>0,
[0 ift<0
is a d i s t r i b u t i o n a l s o l u t i o n of the differential e q u a t i o n
A
* - § i ) E =
~> 6
(- -)6 17 4
be u n d e r s t o o d , w h e n a t e m p e r e d d i s t r i b u t i o n A is t a k e n i n place of the f u n c t i o n / ,
n a t u r a l l y arises. I n this sequel we e x p l a i n the above question.
W e start w i t h the following
0<i/<a
124 6. T E M P E R E D D I S T R I B U T I O N S A N D F O U R I E R T R A N S F O R M S
Hence we o b t a i n
£i\ai ro¿2\ J
_ , / \ fk\oL2-\-v\ ^lai — v>\
, h(x,*)= Y a i
) x ^ - f — - f ( - a ) a ^ ^ x -g(a).
n o m i a l . Therefore
dx^d^ X f { x
~ a )
= W { X
~ ' a a )
dx^d^ f { X
~ a )
-
It is easily seen t h a t
dx daa2 u v y K J
dy°
where y — x — a. T h e expression
is b o u n d e d i n R n
x R n
b y the a s s u m p t i o n . T h i s i m p l i e s t h a t the f u n c t i o n
is b o u n d e d i n R n
x R . T h u s , the p r o o f is
n
finished. •
W e s h a l l n o w show t h a t the f u n c t i o n
// A (E(x
a - a,t)) (A X + I ) tp(x,t)dtdx = 0 (6.17.7)
d i s t r i b u t i o n s F a n d A as follows
The integral
II E ( x - cr, t) ^ A + x ) <p(x, £) dt dx
6.17. THE CAUCHY PROBLEM FOR THE HEAT EQUATION 125
c a n be w r i t t e n i n t h e following f o r m
j j ^A -^)E(x-a,t)ip(x,t)dtdx.
dt
x
R+ R n
B y (6.17.4) we have
of (6.17.1) in ft.
<M y , s u p
<K .
da
At a v J At
M<mi |^|<m 2
iTGlB
d i s t r i b u t i o n s i m p l i e s the following e q u a l i t y
J A (E(x
a - cr, t))cp(x) dx = ACT I J(E(x - cr, i)ip(x) dx) j
^ l ^ ^ ' ' í }
*^ x / 3
f ^ ( a ; ) ( 6
- 1 7
- 1 0 )
u n i f o r m l y as t —> 0 +
in R n
for each a,/3 G N . It is easy t o check t h a t 7 1
= £ ; ( • , * ) O<l/<0
E ( )((rE(;t))*((-)^d <p).
p
l
a
6. TEMPERED DISTRIBUTIONS AND FOURIER TRANSFORMS
126
Hence, it follows t h a t
_ . f)\0\
{•)Pd"(E(-,t) * <p){a) ={~i) m
exp(-i|a| )^a^(a) 2
0O</3 v 7
O n e c a n observe t h a t
^ e x p ( - t H 2
) c ^ < 9 ^ ^ 0
as t -> 0+ i n L ( E ) , w h e n v > 0. O f course, T h e o r e m 6.3.1 is also true i f we p u t
1 n
T~x
i n the place of T. N o w , it is clear t h a t (6.17.10) holds. •
THEOREM 6.17.4. If A e V' , LP 1 < p < oo and u(x,t) = A(E(x - •,£)), then
u{-, t) converges to A in T>' as t Lv 0 .
+
O R T H O G O N A L E X P A N S I O N S O F D I S T R I B U T I O N S
THEOREM 7.1.1. ^ ^
Let T | ( _ , 2 / r ) and T | (
7 r + 2 l / 7 r 7 r + , i ) be the restrictions of T to the o p e n sets
7 0 + 2 7 R I ) 2 7 R + 2 L / 7 R
sin(z/ - f ~)x
Sy(x) =
and S (x)dx
u = 2TT. Suppose t h a t ip G D(—7r, 7r). W e have to show t h a t
lim / S (x)(p(x)
u dx = 0
1/-+00 J
— TT
sin(z/-f ^ ) x /* x cos f . /*
—(p(x) dx = / -r-ip(x) sinz/x -h / <p(x) cos z/x d x .
/ smf J smf i
128 7. ORTHOGONAL EXPANSIONS OF DISTRIBUTIONS
Since the f u n c t i o n / , f(x) = I/J(X) is continuous, therefore
lim / S {x)p(x)
v dx — 0.
v—ïoo J
— TT
w h e n p G V(—7r,7r) a n d p>(0) = 0 . I n the same m a n n e r we c a n see t h a t
2TT
sinfz/ + ^)x , s
lim / \ p(x)dx
x
2 >
i = 0
I/-+OO J
0
if p G £>(0, 2TT). F r o m this, b y T h e o r e m 2 . 3 . 2 , we o b t a i n ( 7 . 1 . 1 ) . T h u s , the p r o o f is
finished. •
( 7 . 1 . 1 ) is k n o w n as the P o i s s o n s u m m a t i o n f o r m u l a .
Y^(v -x) = 1
/ o r eac/i x G l .
u;(x)
It is easily seen t h a t X ^ e z ^(v — x) = 1 for each x G R . T h i s finishes the proof. •
PROOF. E q u a l i t y ( 7 . 1 . 1 ) c a n be w r i t t e n as follows
£ Ê ( I / ) = 2 * ^ ( 2 ™ ) (7.2.2)
vez vez
for p e S. R e p l a c i n g p by pe ^ lx
i n ( 7 . 2 . 2 ) , b y ( 6 . 9 . 4 ) we get
${x r^) J
= ^ Y l Vi^vy ™*. 2
(7.2.3)
vez vez
7.2. P E R I O D I C DISTRIBUTIONS 129
L e t ip be as i n L e m m a 7.2.1, t h e n
27r^^(27rz^e* ™ - 2 ( )
(7.2.4)
i^GZ
i=o
W e o n l y need t o show t h a t the series
Y, ^Txv){i2nvf-H^é ^\ 2
j = 0,..., k (7.2.5)
T
( ^ + n
u = 2 7 T
Y, ^ V
) T
(V ^ ) 2 }
. (7.2.6)
\vei J ' vez
Put
c = T (yj ™^
u
2
= TiP{e ^).i27r
|c„| < M | i / | m
(7.2.7)
i ^ " ( 2
^ i *
M
( i ¿lV)
+
fc+iJ
" fc
-
M X f c
îT(bp-
T h i s i m p l i e s t h a t the series X ^ e z ^ P^( ^ ) ( < 7riy 1 S
u n i f o r m l y convergent w i t h respect
to \i G N . Therefore
HH^X^ (V ™ ' ) 2 ( }
= J 2 T
(W ™ ) ^ ( 2 T T I / ) .
2 ()
(7.2.8)
Vi^Z / i^GZ
V E Z / i/ez V^ez /
7. ORTHOGONAL EXPANSIONS OP DISTRIBUTIONS
130
F r o m t h i s , b y (7.2.6)
T
(ív) = 2
^ E T
(^ 27ri/(,)
) <M 2 7 r z /
)-
vez
T h i s e q u a l i t y c a n be w r i t t e n as follows
vez
R e p l a c i n g —v b y v i n this e q u a l i t y we o b t a i n
T =Y c e v
i 2
^\ c = T(i;e- ^).
v
i27T
(7.2.10)
vez
F r o m (7.2.9) we infer t h a t c v does n o t d e p e n d o n ip. T h i s statement finishes t h e
proof. •
2
—l Í2TTVX
]T Í f(uMcü + v)e-* ™"düü= 2
f f(x )e~ ^ vx
dx.
THEOREM 7.2.2. If there exist constants M > 0 and m G N such that \c \ < u
J2 » ™ '
c ei2 { ]
(7.2.11)
vez
is convergent in S'. Its sum is 1-periodic distribution.
PROOF. L e t
Sv=Y c ^ \
Note that
J Svv = c
^( 2 7 r
M)
7.3. THE SPACES A AND A' 131
for p G S. T a k i n g i n t o account t h a t p is also i n S b y the a s s u m p t i o n we conclude
t h a t the series X ^ G Z c p{2irv) is convergent. T h i s means t h a t the series (7.2.11)
v
Therefore, t h e d i s t r i b u t i o n T , T = X ^ ç Z C i / ^ ™ ^ is a 1-periodic d i s t r i b u t i o n . T h i s
2
7.3. T h e spaces A a n d A!
c o n s t i t u t e a complete o r t h o n o r m a l s y s t e m i n L (R).
2
T h e function pv is a n eigen-
f u n c t i o n of t h e differential operator A/",
a n d (M p,p„) k
= {pM py)
k
for each k G N a n d v G Z (see [27]).
Set b y d e f i n i t i o n
IMIfc := | | A / * y > | | 2 . L
( ( ^ + i ) v ^ > = è ( * ) i M i ï
v=0 ^ '
([9]):
If a sequence (<£v), p G A, converges t o zero w i t h respect t o the n o r m | | | • | | |
v m
the n o r m | | | • | | | . n
7. ORTHOGONAL EXPANSIONS OF DISTRIBUTIONS
132
\\M\l=((Af 2
+ l) ^,^)
n
=<(Af + l) {<p -2 n
v Vll ),ip ) v + ((Af + 2
*>„>
<((AT + 1 ) " ( ^ -
2
^ - p > * ( ( A T + 1 ) " ^ , <p )i
M
2
v
+ ||(Ar + 2
l ) > M | | L 2 | | ^ | | L 2
HII^ - ^ I I U H ^ I I L + \W 2
+ lr^lMlvvlU'-
v—>oo v—^oo
It w o u l d c o n t r a d i c t the c o m p a t i b i l i t y of the n o r m s | | | • a n d || • | | 2 . L
T h i s c o n s i d e r a t i o n indicates us t h a t t h e c o m p l e t i o n Ak of A m a y b e r e g a r d e d
as a subspace of L (R). A f u n c t i o n ip e L (R) is i n Ak iff there exists a sequence
2 2
L (R)=A
2
0 DÁ! D . . . (7.3.3)
||M|| f c = l i m IH^III,.
v—>oo
A n a l o g o u s l y , the b i l i n e a r form (•, -)k : = ((A/" + l ) •, •) c a n be e x t e n d e d b y c o n t i n u i t y
2
from Ax A onto Ak x Ak b y t a k i n g
W e s h a l l n o w construct a n o r t h o n o r m a l s y s t e m i n A , A: = 1 , 2 , . . . . I n order k
to do this we p u t
Pvk = {v 2
+ l)' 1
Pu-
vez
is i n L (R).
2
T h e series X ^ e z i v ^ Pvk)kpvk m a y be regarded as the F o u r i e r series of
p under the o r t h o n o r m a l s y s t e m (p ). O f course, uk
y\(PiPvk)k\ 2
< HMUfc-
vez
Since is a H i l b e r t space w i t h respect to the n o r m ||| • \ \ \ , therefore there exists k
{p,Pvk)k = (v 2
+ l)*{p,Pv)- (7.3.8)
Hence we get ip = Y^vezi^^ P")P» Since the n o r m s ||| •
m
a n d || • \\ 2 are L
Because of Y,vez l ( ^ ¿ W / e | 2
< I I M I l L b y ( 7 . 3 . 8 ) we have
] T ( z / + l) \c \
2 k
v
2
< oo, c „ = (y>, ). Pl/ (7.3.9)
vez
Conversely, assume t h a t ( 7 . 3 . 9 ) is fulfilled, t h e n by the completeness of Ak we infer
t h a t the series Ylvez^ 2
+ c
vPvk converges to some p i n A k) therefore p is i n
A.
k
E ? S ï < M
. Cv = A(p ). v (7.3.10)
vez ^ )
^ =
X c
»kPvk> c uk = (^, pi,fc)fc (7.3.12)
and
2 =
_ ¡ll^lll/c
||L/.|||2 = \ » \ '
C k 2
(7.3.13)
vEZ
In v i e w of (7.3.8) we o b t a i n
A ( ^ ) = Çy^vkpvki^k = y^c^/c(^ 2
+ I ) » (p„,y>).
vez vez
P u t t i n g (p = Pu in the previous e q u a l i t y we get
A(p ) = (/i + l ) * c
Ai
2
M f c . (7.3.14)
F i n a l l y we have
A
(^) = *52MPV)(PV><P)> V € A - (7.3.15)
vez v ;
7.4. C a u c h y t r a n s f o r m s o f e l e m e n t s o f A!
P v W
v^(ii + |)" + 1
^ ( ¿ r h ) ) = ° -
• i i \ i (iz - \y
if $z > 0
27Ti{--z)J (iz+ \) v + 1
and
1 1
= 0 if < 0.
v
\2m(--z)
It is easily seen t h a t
(7.4.3)
1 1 1 0 0
(¿z -
(7.4.4)
and
iz 4- -
n +
9 z -> iu := - — \ G S i ( 0 )
1 0 0
— ^ A ^ K (7.4.7)
v
i/=0
and
1 00
7. ORTHOGONAL EXPANSIONS OF DISTRIBUTIONS
136
1 1
CA(z) := A
2-iri (• - z) á
7.5. T h e W i e n e r e x p a n s i o n of square i n t e g r a b l e d i s t r i b u t i o n s
THEOREM 7.5.1. A c V 2.
L
Note that
|P,WI = "¿6 2
+ ^) 2
- (7.5.1)
A n easy c o m p u t a t i o n shows t h a t
PÍ 1]
= - ( * ' + l)*Pi/+i + (2i/ + Vjipu - vipv-i. (7.5.2)
Y c pi u
x)
= -i + l)c p„ u +1 + i ] P ( 2 z / + \)c p v v - i vc p - -
v v X
and J2vez v c
» a r e
absolutely convergent. Hence, b y (7.5.1) <pW is i n L (R). 2
In
general, it follows b y i n d u c t i o n t h a t ipW G L ( R ) for each k G N . T h u s , the p r o o f2
is finished. •
o
Let A be i n V' L2 ( R ) . D e n o t e b y A the r e s t r i c t i o n of A t o the set A.
o
A = Y C
vPv
in A ,
1
where c v — A(p ).
v
Since
CA(x + iy) - CA(x - iy) = A(g (x - •)) y
ix x -{-y
2
/ \ K i t w 1 Aí , (i(x + iy)-\r
i(x,y) := A(g (x y - •)) = —¡== g A
^ ( i ( a ! + i y ) + ly i+
V— — oo v v
2
1^
1 f A , , (i(x-zy)-lr , 7 „ .
THEOREM 7.5.3. If A is in T>' , then the function given by (7.5.3) fulfils the
L2
I M I m < I M L + i for (f e E
and m = 0 , 1 , 2 . . . .
A sequence (<p ) is called convergent t o <p i n E i f for m G N , \\ip — <p\\ tends
v v m
to zero i n but
| A ( ^ ) | -> oo.
| A i ( V i ) l > 1-
140 APPENDIX. SEQUENTIAL COMPLETENESS OF SOME SPACES
|A(^)l>El ^i)l A + I/
- ( -) A 4
|AU<)|>X]I U^)I + ^ A
(A.5)
AU^) =E A
W + AU^)+ E A
W -
j=l j=v+l
T a k i n g i n t o account ( A . 3 ) a n d ( A . 5 ) we o b t a i n
v-1
\K(ip)\ > IAUOI E
j=l j=v+l
p r o o f of the t h e o r e m is finished. •
EXAMPLE A . l . L e t Q be a n o p e n set i n R a n d K C Q be a c o m p a c t
N
set.
D e n o t e by V(K) the set of a l l ip b e l o n g i n g to V(Q) such t h a t supp ip C K. Of
course, V(K) is a vector subspace of V(Vt). It is clear t h a t
2>(fi) = (J V{K).
Ken
I n accordance w i t h D e f i n i t i o n 1.1.1, V(K) is a Fréchet space a n d the convergence
i n V(Q) is o>convergence. Therefore V(il) is sequentially complete. I n p r a c t i c e ,
K is always the closure of some o p e n set.
m.l — IML+1,1
and
IM|m,2 < ll^llm+1,2
for (p G Ei a n d ip £ E , 2 respectively. M o r e o v e r , we assume t h a t E 2 is complete. If
the p a r t i a l linear m a p p i n g s (ip, •) a n d (•, ip) are continuous, t h e n we say t h a t the
b i l i n e a r f o r m (•, •) is separately continuous. W e are able to prove the following
|(^,^)| < M | | ^ | | , i | | ^ | |
m n | 2
such t h a t
)\>M\\
(pm,n,M IIm,l W^m^n.M ||n,2 •
Set m = n , M = n , t h e n we have
2
\(<p
n,n,n •> 1pn,n,n )| >
2 2 n
| | ^ n , n , n | | n , l | | ^n.n.n
2 2
||n,2-
F o r s i m p l i c i t y of n o t a t i o n we p u t
— 1 ^n,n,n 2
-7 1 ^n,n,n 2
:
= -TF Ñ) Wn = -TP?
:
n"
n\<Pn,n,n4 U ^n,n,n 2
142 APPENDIX. SEQUENTIAL COMPLETENESS OF SOME SPACES
we m a y assume t h a t
ll^i/llfc.i < ¿ 7 a n d
ll^i/IU.2 < ¿
for /c = 0 , 1 , . . . ,ZA
P u t ^ = 2 y? a n d V v = 2 " ^ . 1/
i/ T h e n the sequence ((p^^ip^)
converges t o ( 0 , 0 ) i n E\ x E . B u t 2
|(^,^)| >2 \ 2
i/ = 0 , l , . . . (A.6)
O f course, |(v?i, > 1- P u t (p[ — <pi a n d ip[ — ip\. B y the a s s u m p t i o n t h e
f u n c t i o n ((pi, •) is continuous o n E a n d ( A . 6 ) holds. M o r e o v e r , t h e ip converge t o
2 u
S u c h choice is possible because the functions (<¿/-, •) are continuous o n E 2 and the
ip u converge t o zero i n E . 2 T a k i n g i n t o account ( A . 6 ) we c a n choose ip' f r o m t h e v
sequence Lp so t h a t v
W^)\>\{v' ,<)\ v
j=l J=^+l
( i/ — 1 00 \
j=i ¿=«>+i /
Therefore | ^ ) | —» 0 0 as v —> 0 0 . B u t t h i s c o n t r a d i c t s t h e c o n t i n u i t y of (•, ip)
in E . x •
SUBJECT INDEX
of an integrable d i s t r i b u t i o n , 110
of V' , 81
LV
of c o n v o l u t i o n p r o d u c t of integrable
of T>LP , 77, 81
distributions, 111
c o n v o l u t i o n operator, 44
of H e r m i t e function, 107
— product of distributions i n V' , 83
LP
of tensor product of integrable d i s t r i -
w i t h regular supports at infin¬
butions, 111
ity, 57
Fréchet space, 139
of functions i n L , 82 p
to V' , 81 — i n 0 , 96
M
LP
— integrable, 75, 86 — i n B , 75
144 SUBJECT INDEX
— in C o ( O ) , 38 P a l e y a - W i e n e r t y p e theorems, 119
— i n C ( 0 ) , 6, 38
c
Parseval's theorem, 99, 104
— i n W 'P(fL),
Tn
19 Plancherel's theorem, 104, 121, 122
— i n W™' (Q), P
21 Poisson's integral, 87
— tempered, 112, 118 product of distributions, 96, 115
— W i e n e r ' s , 131, 134 — of the distributions, 10
fundamental solution, 59, 63, 65, 72, 74
regularization of a d i s t r i b u t i o n , 41
heat operator, 63, 74 — of a d i s t r i b u t i o n w i t h compact s u p p o r t ,
H e r m i t e ortogonal system, 107 72
— p o l y n o m i a l , 107 — of a function, 5, 17
H u b e r t transform, 116 — of an integrable d i s t r i b u t i o n , 78
h y p o e l l i p t i c operator, 74 restriction of a d i s t r i b u t i o n , 31
R i e m a n n - L e b e s g u e l e m m a , 103, 110
inequality H o l d e r ' s , 83, 88 Riesz's theorem, 39, 70, 82
— Hôrmander's, 66, 70 R i t z ' s theorem, 24
— M i n k o w s k i ' s , 3, 18, 90 R i t z - G a l e r k i n m e t h o d , 24
— Poincaré's, 68
— Y o u n g ' s , 5, 20, 82, 89, 113, 121 Schwartz kernel theorem, 49
infinitesimal operator, 121 — representation of an operator, 49
integration w i t h respect to a complex sequentially completeness, 139
measure, 39 sets regular at infinity, 56, 60
to product measure, 78 s m o o t h p a r t i t i o n of unity, 28
Sobolev i m b e d d i n g theorem, 81
Jordan's l e m m a , 106 — space, 19
support of a d i s t r i b u t i o n , 33
kernel of an operator, 49
— of c o n v o l u t i o n product of d i s t r i b u t i o n s ,
L - s o l v a b i l i t y , 70
2
58
Laplace operator, 63, 74 — of tensor product of d i s t r i b u t i o n s , 48
local representation of a d i s t r i b u t i o n , 38 — singular, 73
— Sobolev space, 16
tensor product of distributions, 45
Lusin's lemma, 7
of integrable d i s t r i b u t i o n s , 79
M a l g r a n g e - E h r e n p r e i s theorem, 72 of tempered d i s t r i b u t i o n s , 98
measure B o r e l ' s , 21, 39, 86
wave equation, 12, 60, 74
— D i r a c ' s , 2, 35, 36, 27, 42, 87, 93
weak derivative, 12, 19
— complex, 38
W i e n e r expansion, 136
M e y e r s - S e e r i n theorem, 29
— orthogonal system, 131
N e w t o n i a n p o t e n t i a l , 63
NOTES AND REFERENCES TO THE LITERATURE
Chapter 1
Lemma 1.4.l and Theorem 1.5.l are taken from R.A. Adams's book: Sobolev
Spaces ([l]). Example 1.6.2 is taken from S.G. Krein's book: Functional Analysis
([18]). Example 1.12.1 appears in J.T. Marti's book: Introduction to Sobolev
Spaces and Finite Element Solution of Elliptic Boundary Value Problems ([19]).
The contents of Section 1.13 were originally produced by the authors in [16].
Chapter 2
The contents of Sections 2.1, 2.3 and 2.4 are a modification of some of L. Hor
mander's book: The Analysis of Linear Partial Differential Operators 1 ([ll]). The
proof of Theorem 2.2.l appears here as in the paper: N. Meyers and J. Serrin,
H = W ([20]). Example 2.3.1 is originay due to V.C. Vladimirow in the book:
Generalized Functions in Mathematical Physics ([25]). The idea of applying the
representing theorem of linear continuous forms on Cartesian products of Banach
spaces to proving representation theorems on continuous linear forms in the theory
of distributions was earlier used in the books: J. Horwath, Topological Vector
Spaces and Distributions ([12]) and V.C. Vladimirow, Generalized Functions in
Mathematical Physics ([25]).
Chapter 3
Sections 3.1, 3.2, 3.3 and 3.4 are essentially an adaptation of some of L. Hor
mander book: The Analysis of Linear Partial Differential Operators 1 ([ll]). The
idea of the sets regular at infinity is originally due to L. Schwartz: Theorie des
Distributions ([24]).
Chapter 4
The contents of Sections 4.1 and 4.2 are inspired by C.H. Wilcox's article: The
Cauchy Problem for the Wave Equation with Distribution Data ([26]). The results
of Sections 4.4 and 4.5 are taken from an article of J.P. Rosay: A Very Elementary
Proof of the Malgrange-Ehrenpreis Theorem ([22]). The material in Section 4.6
is taken from G.B. Folland's books: Introduction to Partial Differential Equations
( [6]) and Partial Differential Equations ([7]).
Chapter 5
The spaces 1J� p appear in L. Schwartz's book: Theorie des Distributions ([24]).
The results in Sections 5.1, 5.2, 5.3, 5.4 and 5.5 concerning these spaces are pre
sented in another way than in [24], simply. The concept of the Cauchy transforma
tions was introduced by H. Bremermann for distributions belonging to £' and 0�
in the book: Distributions, Complex Variables and Fourier transforms ([3]). The
146 NOTES AND REFERENCES TO THE LITERATURE
Appendix
T h e p r o o f of T h e o r e m A . l is due to M . S . B r o d s k i a n d it is i n the book:
I . M . G e l ' f a n d a n d G . E . S h i l o v : G e n e r a l i z e d F u n c t i o n s , v o l u m e I ([8]).
BIBLIOGRAPHY
e», 1 Di-, 75
supp (p, 1 V' , Ll 76
V(Ü), 1 Z>LS, 7 7
V'(Q), 1 V ,81
LP
<5, 2 CA, 8 4
v <s v,
0 4 S, 9 5
$', 96
B (Q),
r 5 O M , 96
C (0),
C 6 J^"f, 98
J - 1
/ , 99
D A,
a
11 f, 1 0 0
WC (íí), 1 6 P
S , 112
0
U, 16 ftT, 1 1 6
W M
' ( 0 ) ,
P
19 T' /,1
117
^ ' (n), 2 i
0
m p
117
supp A , 33
S, 122
' C ( O ) , 38
0
A 131
C ( Q ) , 38
A^, ^fc, 1 3 2
C
42
A-k, 133
A * <p, 42
.A', 133
5 <g> T , 47
€', 145
sing supp A , 73
145
B, 75