Here A is the constant that appears in Lemma 8.3.

The main point of

the theorem is the existence of a fundamental solution, rather than the esti­
mate (1) which arises from the proof.

PROOF. Fix r > 0, and define

(2) ll t/111 = r
J Tn
da.(w) i l l{J(t + rw) l dm.(t).
Rn

In preparation for the main part of the proof, let us first show that
(3) if t/Ji -+ 0 in �(R ").

Note that l{J(t + w) = (e -w t/J) ' (t) if t E R " and w E (/;". Hence

(4) ll t/111 =
JTn
f da.(w) i I (e
Rn
- rw t/IY I dm • .

If tjJi -+ 0 in �(R"), all tjJi have their supports in some compact set K.
The functions e (w E T") are uniformly bounded on K. It follows
,w

from the Leibniz formula that

(5) II Da(e t/1)11 < C(K, ct) max II DPt/lj ll
- rw

p ,;, a
00 00 •

The right side of (5) tends to 0, for every a . Hence, given 8 > 0, there
exists j0 such that
(6) (j > j 0 w E T"),
'

where A= Df + · · · + v; is the Laplacian. By the Plancherel

theorem, (6) is the same as

(7) i I ( 1 + I t l 2)"l{Jit + rw) 1 2 dm.(t) < 82,

R•

from which it follows, by the Schwarz inequality and (2), that

li t/Ji ll < C8 for all j > j0 , where

(8) C2 = i ( 1 + l t l 2) - 2" dm.(t) <

R•
00 .

This proves (3).

Suppose now that ¢ E �(R ") and that
(9) t/1 = P(D) ¢ .
Then l(J = P$, $ and l{J are entire, hence tjJ determines ¢. In particular,
¢(0) is a linear functional of t/J, defined on the range of P(D). The crux