- #1
tom_rylex
- 13
- 0
[Solved] Linear Differential Operator order
I'm misunderstanding something basic about how this works:
Give examples of linear differential operators [tex] L [/tex] and [tex] M [/tex] for which it is not true that [tex] L(M(u)) = M(L(u)) [/tex] for all u.
Since it's arbitrary, I made two first order differential functions of two variables:
[tex] \overline{x} = {x,y} [/tex]
[tex] u=u(x,y) [/tex]
[tex] L(u) = a(\overline{x})u + b_1(\overline{x})u_x + b_2(\overline{x})u_y [/tex]
[tex] M(u) = c(\overline{x})u + d_1(\overline{x})u_x + d_2(\overline{x})u_y [/tex]
Where a,b,c, and d are coefficients.
When I expand [tex] L(M(u)) [/tex], it seems to look like [tex] M(L(u)) [/tex]:
[tex] L(M(u)) = a(\overline{x})c(\overline{x})u+a(\overline{x})d_1(\overline{x})u_x +a(\overline{x})d_2(\overline{x})u_y + b_1(\overline{x})c(\overline{x})u_x+b_2(\overline{x})c(\overline{x})u_y [/tex]
[tex] M(L(u)) = c(\overline{x})a(\overline{x})u+c(\overline{x})b_1(\overline{x})u_x +c(\overline{x})b_2(\overline{x})u_y + d_1(\overline{x})a(\overline{x})u_x+d_2(\overline{x})a(\overline{x})u_y [/tex]
I'm stuck, since it seems that all roads lead back to a commutative relationship.
Homework Statement
I'm misunderstanding something basic about how this works:
Give examples of linear differential operators [tex] L [/tex] and [tex] M [/tex] for which it is not true that [tex] L(M(u)) = M(L(u)) [/tex] for all u.
Homework Equations
Since it's arbitrary, I made two first order differential functions of two variables:
[tex] \overline{x} = {x,y} [/tex]
[tex] u=u(x,y) [/tex]
[tex] L(u) = a(\overline{x})u + b_1(\overline{x})u_x + b_2(\overline{x})u_y [/tex]
[tex] M(u) = c(\overline{x})u + d_1(\overline{x})u_x + d_2(\overline{x})u_y [/tex]
Where a,b,c, and d are coefficients.
The Attempt at a Solution
When I expand [tex] L(M(u)) [/tex], it seems to look like [tex] M(L(u)) [/tex]:
[tex] L(M(u)) = a(\overline{x})c(\overline{x})u+a(\overline{x})d_1(\overline{x})u_x +a(\overline{x})d_2(\overline{x})u_y + b_1(\overline{x})c(\overline{x})u_x+b_2(\overline{x})c(\overline{x})u_y [/tex]
[tex] M(L(u)) = c(\overline{x})a(\overline{x})u+c(\overline{x})b_1(\overline{x})u_x +c(\overline{x})b_2(\overline{x})u_y + d_1(\overline{x})a(\overline{x})u_x+d_2(\overline{x})a(\overline{x})u_y [/tex]
I'm stuck, since it seems that all roads lead back to a commutative relationship.
Last edited: