Using Mathematica to solve for Jacobi Identity

Hi everyone, I'm new to Physics Forums and to Mathematica, as well as Jacobi Identity.

In any case, I was wondering on how I may use Mathematica to solve various Quantum Mechanics related problems through commutators. Like if it's possible to find out what is the form of a particular commutator from the Jacobi Identity.

To be more specific, say I define [x_i, x_j] and [x_i,p_j] to be something, how do I use mathematica to find [p_i, p_j].

As well as the coding to supposedly find the uncertainty relation of 2 operators, suppose I define the commutator to be of a certain form/value.

In general, I'm simply not familiar with mathematica and I would like to make my life easier in doing these relevant calculations. Hope someone might be able to enlighten me on this aspect.

Thanks!
 

fresh_42

Mentor
Insights Author
2018 Award
11,809
8,293
I don't know how this is done in mathematica. I programmed the Jacobi-Identity once myself with what was at hand.
Anyway, you cannot derive ##[p_i,p_j]## from ##[x_i,x_j]## and ##[x_i,p_j]## by the Jacobi-Identity because there is no ##1## in a Lie algebra. You will only get expressions ##[x_i, [p_i,p_j]] = ...## and therefore only a result up to commuting parts. Why want you to do it? Usually you have a certain Lie algebra and its structure constants given.
 
I don't know how this is done in mathematica. I programmed the Jacobi-Identity once myself with what was at hand.
Anyway, you cannot derive ##[p_i,p_j]## from ##[x_i,x_j]## and ##[x_i,p_j]## by the Jacobi-Identity because there is no ##1## in a Lie algebra. You will only get expressions ##[x_i, [p_i,p_j]] = ...## and therefore only a result up to commuting parts. Why want you to do it? Usually you have a certain Lie algebra and its structure constants given.
yes, I do understand that. but essentially, given a particular form of [xi, xj] and [xi, pj] you can in directly proof a certain form of [pi, pj] that obeys the Jacobi Identity. At least as far as I know. I'm actually doing some a research on deformed quantum mechanics from the commutator relationship under a supervisor from my university (I'm an sophomore). So in the research, if we are to suggest a particular deformed [xi, xj] and assuming [pi, pj] to still be 0, I'll be able to get a form of [xi, pj] which obeys the Jacobi Identity. I realised if I were to solve it by hand it's gonna be quite a pain in the ass, so I was wondering if I'd be able to do it via Mathematica.
 

fresh_42

Mentor
Insights Author
2018 Award
11,809
8,293
Well, it is painful, I know. That's why I've made a program that at least wrote me the equations so I'was left with simply comparing the coefficients. Without additional assumptions I don't see short cuts. Sorry, for I'm no help with mathematica.
 

Related Threads for: Using Mathematica to solve for Jacobi Identity

  • Last Post
Replies
6
Views
358
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
6
Views
2K
Replies
5
Views
1K
Replies
3
Views
3K
Replies
3
Views
2K
  • Last Post
Replies
4
Views
2K

Hot Threads

Recent Insights

Top