Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Using Mathematica to solve for Jacobi Identity

  1. Feb 3, 2016 #1
    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.

  2. jcsd
  3. Feb 3, 2016 #2


    Staff: Mentor

    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.
  4. Feb 3, 2016 #3
    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.
  5. Feb 3, 2016 #4


    Staff: Mentor

    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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Using Mathematica to solve for Jacobi Identity