3.3 Pseudo-Differential Operators 69
Let Ω be an open subset of R
n
and m ∈ R.Apseudo-differential operator
of order m on Ω is a Fourier integral operator of the form
Au(x)=
Ω×R
n
e
i(x−y)·ξ
a(x, y, ξ)u(y) dydξ, u ∈ C
∞
0
(Ω), (3.4)
with some a(x, y, ξ) ∈ S
m
ρ,δ
(Ω ×Ω ×R
n
). In other words, a pseudo-differential
operator of order m is a Fourier integral operator associated with the phase
function ϕ(x, y, ξ)=(x −y) ·ξ and some amplitude a(x, y, ξ) ∈ S
m
ρ,δ
(Ω ×Ω ×
R
n
).
We let
L
m
ρ,δ
(Ω) = the set of all pseudo-differential operators of order m on Ω.
By applying Theorems 3.5 and 3.6 to our situation, we obtain the following
three assertions:
(1) A pseudo-differential operator A maps C
∞
0
(Ω) continuously into C
∞
(Ω)
and extends to a continuous linear operator A : E
(Ω) →D
(Ω).
(2) The distribution kernel K
A
(x, y) of a pseudo-differential operator A sat-
isfies the condition
sing supp K
A
⊂{(x, x):x ∈ Ω},
that is, the kernel K
A
is smooth off the diagonal {(x, x):x ∈ Ω} in Ω×Ω.
(3) sing supp Au ⊂ sing supp u, u ∈E
(Ω). In other words, Au is smooth
whenever u is. This property is referred to as the pseudo-local property.
We set
L
−∞
(Ω)=
m∈R
L
m
ρ,δ
(Ω).
The next theorem characterizes the class L
−∞
(Ω).
Theorem 3.8. The following three conditions are equivalent:
(i) A ∈ L
−∞
(Ω).
(ii) A is written in the form (3.4) with some a ∈ S
−∞
(Ω × Ω ×R
n
).
(iii) A is a regularizer, or equivalently, its distribution kernel K
A
(x, y) is in
the space C
∞
(Ω × Ω).
We recall that a continuous linear operator A : C
∞
0
(Ω) →D
(Ω)issaid
to be properly supported if the following two conditions are satisfied:
(a) For any compact subset K of Ω, there exists a compact subset K
of Ω
such that
supp v ⊂ K =⇒ supp Av ⊂ K
.
(b) For any compact subset K
of Ω, there exists a compact subset K ⊃ K
of Ω such that
supp v ∩ K = ∅ =⇒ supp Av ∩ K
= ∅.