Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

We have $$P(fu)=\sum_{|\alpha|\le m}a_{\alpha}(x)\sum_{\beta+\gamma=\alpha}\frac{\alpha!}{\beta!\gamma!}\partial^{\beta}f\partial^{\gamma}u$$ The author claimed it is `obvious' we can put it into the form $$P(fu)=\sum_{\alpha\ge 0}\frac{\partial^{\alpha}f}{\alpha!}P^{\alpha}(u)=\sum_{\alpha\ge 0}\frac{\partial^{\alpha}u}{\alpha!}P^{\alpha}(f)$$

In here $P^{\alpha}$'s symbol is $\partial^{\alpha}_{\zeta} P(x,\chi)$.

I am wondering why this would work because in the most trivial case $P=a(x)\partial^{\alpha}$, we have $P(x,\zeta)=a(x)\zeta^{\alpha}$. Then $P^{\alpha}$'s symbol is $$\partial^{\alpha}_{\zeta} (a(x)\zeta^{\alpha})=\alpha!a(x)$$ In other words $P^{\alpha}(\phi)$ is just multiplication by $\alpha!a(x)$ to $\phi$ now. And applying this to $fu$above the result obviously does not match. So something elementary must involved or I made a computational mistake somewhere.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.