Are bump functions even within their compact support

calculuseven-and-odd-functionsreal-analysis

Assume that $V$ is a real vector space of smooth non-analytic functions with a compact support $[a, b]$ (i.e vector space of bump functions) and $f \in V$. I'm trying to show that:

$$I=\int_{b}^{a}{f(t)D{f(t)}} \, dt=0$$

where $D$ is the first order derivative operator and $[a, b]$ (which also is bounds of integral as noticed) represents the closed interval of compact support.

I've noticed that all bump functions I've seen are even within their compact interval. Therefore obviously:

$$f(-x)=f(x) \implies D(-f(x))=-D(f(x)) \implies I=0$$

Is this true for all bump functions? Concordantly, is $I \neq 0$ possible?

Example

Consider:

$$f(x)=\begin{cases} \textrm{exp}({\frac{-1}{(x-a)^2(x-b)^2}})\ \ x\in [a,b]\\
0\end{cases}$$

The function above is perhaps one of the most frequently occurring bump functions, satisfying all of its properties, including: smoothness, non-analytic property, "faster-than-polynomial" growth rate and compact support.

It can be easily verified that $f(-x)=f(x), \forall x \in [a, b]$; from which it can be deduced that $\int_{b}^{a}{f(x)D{f(x)}} \, dx=0$.

You can also see this on Desmos.

Question

Is it true that all bump functions need to be evenly constructed to satisfy all their properties? Can $f(t)Df(t)$ be odd if $f(t)$ is not even? Furthermore if both questions can be falsified by some $g \in V$, why would $I=0$ hold?

Note:

As you noticed in the previous paragraph, I'm assuming that $I=0$. This is due to the fact that the derivative operator $D$ is skew symmetric (i.e $D^T=-D$) with respect to the billinear form $\langle f, g \rangle = \int_{b}^a {f(t)g(t) \, dt}$ which implies that the condition $I=0$ must hold (source).

Best Answer

The right way to go is integration by parts: Since $f(a)=f(b)=0$ (see below), we have $$\int_a^b f(x)\cdot f'(x)\,\mathrm dx=f(b)^2-f(a)^2-\int_a^b f'(x)\cdot f(x)\,\mathrm dx=-\int_a^b f'(x)\cdot f(x)\,\mathrm dx.$$

We conclude that your integral is indeed $0$.

Now, "most" bump functions are not at all even. In fact, the set of bump functions is dense in the set of continuous functions with compact support by the Stone Weierstrass Theorem. So for any non-even continuous function with compact support, there are infinitely many non-even bump functions that look very similar to that continuous function.


EDIT: The support of $f$ is defined as the closure of the set of all points where $f(x)\neq 0$. Hence, for any $\varepsilon>0$, we have $f(a-\varepsilon)=f(b+\varepsilon)=0$. Since $f$ is continuous (as it is even infinitely differentiable), we have $f(a)=f(b)=0$.

Related Question