Citat:
Ursprungligen postat av
General.Maximus.
Har försökt men kommer inte fram till någonting. Några tips?
Antag att u*φ = 0 för alla φ ∈ D(ℝ). Vi vill visa att <u, φ> = 0 för alla φ ∈ D(ℝ).
Tag φ ∈ D(ℝ) och för r ∈ ℝ definiera T_r φ genom T_r φ(x) = φ(r-x).
Det gäller då att φ(x) = T_r φ(r-x).
Vidare gäller att T_r φ ∈ D(ℝ) så enligt antagandet gäller u * T_r φ = 0.
Då är <u, φ> = <u(x), φ(x)> = <u(x), T_r φ(r-x)> = (u * T_r φ)(r) = 0.
Eftersom <u, φ> = 0 för alla φ ∈ D(ℝ) gäller per definition att u = 0.
Följdsats: Om u*φ = v*φ för alla φ ∈ D(ℝ) så gäller u = v.
Om u*φ = v*φ gäller pga linjäritet av faltning att (u-v)*φ = 0.
Tillämpning av föregående sats ger att u-v = 0, dvs u = v.