Linear Differential Operator order

Click For Summary
SUMMARY

The discussion focuses on the non-commutativity of linear differential operators, specifically demonstrating that for the operators L = d/dx and M = d/dx + x, the relationship L(M(u)) ≠ M(L(u)) holds for all functions u. The participants clarify that linear differential operators with variable coefficients can exhibit non-commutative behavior, contrasting with those that have constant coefficients, which are commutative. This distinction is crucial for understanding the behavior of differential operators in various contexts.

PREREQUISITES
  • Understanding of linear differential operators
  • Familiarity with first-order differential equations
  • Knowledge of variable and constant coefficients in differential equations
  • Basic calculus, particularly differentiation
NEXT STEPS
  • Explore the properties of linear differential operators with variable coefficients
  • Study the implications of non-commutativity in differential equations
  • Learn about specific examples of non-commutative operators in applied mathematics
  • Investigate the role of differential operators in solving partial differential equations
USEFUL FOR

Mathematics students, educators, and researchers interested in differential equations, particularly those studying the properties and applications of linear differential operators.

tom_rylex
Messages
9
Reaction score
0
[Solved] Linear Differential Operator order

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:
Physics news on Phys.org
Linear differential operators with constant coefficients are commutative.

Try using linear differential operators with variable coefficients. That is, something like (d/dx+ 3x)y or (xd/dx)u
 
[Solved] Linear Differential Operator order

Thanks. I just needed a nudge to get in the right direction. Some parts of DiffEq have been a while for me. I set up the linear differential operators

[tex]L = \frac {d}{dx}[/tex]
[tex]M = \frac {d}{dx} + x[/tex]

to show that [tex]L(M(u)) \neq M(L(u))[/tex] for all u. I think you helped me become 2 points smarter (don't ask me the scale...).
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
2K