Differential of a function in the inner product does not have an adjoint

adjoint-operatorsinner-productslinear algebra

Given two elements $f,g$ from the vector space $\mathbb{R}[x]$, we define the inner product to be $$\langle f,g \rangle = \int ^1 _0 fg \,\,dx.$$ If $Df$ is the derivative of $f$, prove that $D$ doesn't have an adjoint, i.e., there does not exist a $D^*$ such that $$\langle Df,g \rangle = \langle f, D^*g \rangle.$$

I'm not sure exactly how to begin. Does the bound $[0,1]$ play a part in the adjoint not existing? The only time I came across such an inner product is in the space of $L^2$ functions where we can define $$\langle f,g \rangle = \int f \bar{g}.$$

But even so, this is a linear algebra exercise so I don't think we can assume $f,g$ to be in $L^2(\mathbb{R})$. Any help with some direction would be appreciated.

Best Answer

Let's assume by contradiction that $D$ has an adjoint. In particular, if we set $u = D^{*}(1)$ then we must have the identity $$ f(1) - f(0) = \int_0^1 f'(x) \, dx = \left< Df, 1 \right> = \left< f, D^{*}(1) \right> = \left< f, u \right> $$ for all $f \in \mathbb{R}[x]$. Taking absolute value and using the Cauchy-Schwarz inequality, we get that $$ |f(1) - f(0)| \leq \| f \| \cdot \| u \| = \left( \int_0^1 f^2(x) \, dx \right)^{\frac{1}{2}} \|u\|. $$ Now by plugging $f(x) = x^n$ for $n > 0$, we get that $$ 1 \leq \frac{\|u\|}{\sqrt{2n+1}} $$ for all $n > 0$. This implies that $\sqrt{2n+1} \leq \| u \|$ for all $n > 0$ which is absurd.