1
$\begingroup$

given $f$ - a smooth function, $f\colon\mathbb{R}^2\to \mathbb{R}$.

I have a differential operator that takes $f$ to $\frac{\partial f}{\partial x}x$, but I am unsure what this is.

If, for example, the operator tooked $f$ to $\frac{\partial f}{\partial x}$ then I understand that this operator derives by $x$, $\frac{\partial f}{\partial x}x$ derives by $x$ and then what ?

Can someone please help with this ? (I'm confused...)

  • 0
    For example, if $f(x,y) = x^2+2xy$, then $\frac{\partial f}{\partial x} = 2x+2y$, and $\frac{\partial f}{\partial x}x = (2x+2y)x = 2x^2+2xy$.2012-04-23

1 Answers 1

2

Let $D$ be a (first order) differential operator (i.e. a derivation) and let $h$ be a function. (In your example $h$ is the function $x$ and $D$ is $\frac{\partial}{\partial x}$). I claim that there is a differential operator $hD$ given by $ f \mapsto hDf. $ (This means multiply $h$ by $Df$ pointwise.) For this claim to hold, we just need it to be true that the Leibniz (product) rule holds, i.e. $ hD(fg) = f(hD)g + g(hD)f. $ Since $D$ itself satisfies the Leibniz rule, this is true. (We also need the operator $hD$ to take sums to sums, which it does.)

Put less formally, to compute $x \frac{\partial}{\partial x}$ on a function $f$, take the partial with respect to $x$, then multiply what you get by $x$.

  • 0
    No, as something that eats a function and takes it to another function, it's well-defined without checking anything. But my assumption was that you were working with vector fields in coordinates on some manifold, in which case you want to see that this is a vector field and not any old operator on functions.2012-04-23