1
$\begingroup$

$f,g \in L^1 (\Omega)$, $\Omega\subset\mathbb{R}^n$ is a Lipschitz-domain.

Prove that $$(\forall\phi\in C^{\infty}_{C}(\Omega))\Big(\int_{\Omega}^{}f*\phi=\int_{\Omega}^{}g*\phi\Big)\Rightarrow f=g $$

where $\phi\in C^\infty_C(\Omega) \Rightarrow f\in C^\infty(\Omega)$ and $ supp f \subset\Omega$ is compact.

I'm working on a project, and I'm stuck on this proof here,so if anyone could help me I would be most grateful

  • 2
    You should write out in words what exactly is the assumption and what you are trying to prove. Writing all in symbols only makes the formulas unreadable, especially when you're mixing up formal and informal notation. That, and you should say why you think it's true and what you have tried to do to show it.2012-10-19
  • 0
    @TTT, i wass thinking on this question and i think you have to change $\Omega$ by $\mathbb{R}^{n}$, because $f(x-y)$ is not well defined for all $x\in\Omega$.2012-10-20

1 Answers 1