Professional Documents
Culture Documents
Andras Vasy
Andras Vasy
ANDRAS VASY
Indeed, by the continuity of ψ, given ǫ′ > 0, there is δ ′ > 0 such that |x| < δ ′
implies |ψ(x) − ψ(x0 )| < ǫ′ . Then
Z Z
−n
|uj (ψ) − cδ0 (ψ)| = | δj φ(x/δj )ψ(x) dx − ψ(0) φ(x) dx|
Z Z
= | δj−n φ(x/δj )ψ(x) dx − δj−n φ(x/δj )ψ(0) dx|
Z
≤ δj−n φ(x/δj )|ψ(x) − ψ(x0 )| dx.
3
This proves our claim. This is a rather typical example, and it is not hard to show
that one can approximate any u ∈ D′ (Rn ) in the weak-* topology by uj which are
given by Cc∞ (Rn ) functions, i.e. Cc∞ (Rn ) is dense in D′ (Rn ).
We can now consider differentiation. The idea is that we already know what the
derivative of a C 1 function is, so we should express it as a distribution in such a
way that it obviously extends to the class of all distributions. Now, for f ∈ C 1 (Rn ),
the distribution associated to the function ∂j f satisfies
Z Z
ι∂j f (φ) = ∂j f φ dx = − f ∂j φ dx = −ιf (φ)
So now suppose that ψ ∈ Cc∞ (R). Let φ0 ∈ Cc∞ (R) be such that φ0 (0) 6= 0. We
choose α ∈ F such that ψ − αφ0 vanishes at 0, i.e. let α = φψ(0)
0 (0)
. Then by the
argument of the previous paragraph, u(ψ − αφ0 ) = 0. Thus,
u(ψ) = u((ψ − αφ0 ) + αφ0 ) = u(ψ − αφ0 ) + αu(φ0 )
u(φ0 ) u(φ0 )
= αu(φ0 ) = ψ(0) = cδ0 (ψ), c = .
φ0 (0) φ0 (0)
This finishes the proof.
If L is a linear partial differential operator, so L is of the form
X
L= aα D α ,
|α|≤m
So we say that u ∈ L∞
loc (Rx × [0, ∞)t ) is a weak solution of
ut + f (u)x = 0, u(x, 0) = v(x),
if for all φ ∈ Cc∞ (Rx × [0, ∞)t ),
Z Z
(u φt + f (u)φx ) dx dt + v(x) φ(x, 0) dx = 0.
Rx ×[0,∞)t Rx