A function with compact support

94 Views Asked by At

Suppose that $\phi$ is a test function on $\mathbb{R}$. Since $\phi$ has compact support, there exists $R>0$ such that $\operatorname{supp} \phi\subseteq [-R,R]$.

The way I understand from this is that $\phi(x)=0$ for all $x\notin [-R,R]$. But what about the endpoints, i.e. $\phi(\pm R)?$

2

There are 2 best solutions below

0
On

Assume $\phi$ is unequal to $0$ at the endpoints of the interval. W/o loss of generality, we pick $R$ for investigation. Since $\phi$ is a test function it is smooth, therefore it is also continuous. Hence, there exists a small neighborhood around $R$ where $\phi>0$ holds. This, however, contradicts that $supp(\phi)$ is a subset of the interval $[-R,R]$.

0
On

Since $\phi$ is continuous we have $\lim_{x\to R} \phi(x) = \phi(R)$ and since $\lim_{x\to R} \phi(x)$ exists we have $\lim_{x\to R} \phi(x) = \lim_{x\to R+} \phi(x).$ Thus, $$ \phi(R) = \lim_{x\to R} \phi(x) = \lim_{x\to R+} \phi(x) = \lim_{x\to R+} 0 = 0. $$

Likewise, we get for $\phi(-R) = 0.$