Giter Club home page Giter Club logo

Comments (3)

joansola avatar joansola commented on July 24, 2024

Hello Hauke,

I guess you checked the paper "Micro Lie theory...". There, the left Jacobian is I think well explained and justified. As per the exp map of SE(3), the appearance of this left Jacobian is purely coincidental as you say. In the paper I just introduce the matrix block V(theta), and say that it matches the left Jacobian exactly. I could have added that this is a coincidence. Indeed in SE(2) this does not apply at all.

I do not think this can be generalized in any sense. But I do believe that this or similar coincidences can appear in other groups, and would not be surprised to find it in Sim(3) for example.

from manif.

strasdat avatar strasdat commented on July 24, 2024

Hi Joan,

Thanks for getting back so quickly and confirming my understanding of the Left Jacobian here!

While reading about it, I have not used the concept of Left Jacobian myself much - though I do use the adjoint matrix quite a lot. Thanks, your paper describes nicely how the two concepts relate. I'm still digesting some of the details, but it seems the Left Jacobian is more general since it is with respect to a non-linear function f, while the adjoint is a merely linear mapping.

from manif.

joansola avatar joansola commented on July 24, 2024

Hi Hauke,

I just love this topic :-)

A quick explanation of the notion of Left Jacobian follows.

The thing is: the terminology may be quite confusing.

First, there is the notion of "left Jacobian". It applies to any function f():G->H from group G to group H, and it is defined as the derivative when the infinitesimals, both of x and of f(x), are considered around the origin or identity (therefore composed on the left):

df(x)/dx | left = lim_(dx->0) log(f(exp (dx) * x) * f^-1(x)) / dx

Then, when you apply the left Jacobian above to the exponential map, that is when f(x) = exp(x), and x is a tangent vector of a given group G, then you get what is called the "left Jacobian of G":

Jl = dexp(x)/dx | left = lim_(x->0) log (exp(x+dx) exp^-1(x)) / dx

So, the "left Jacobian of G" is the same as, or a shortcut for, "left Jacobian of the exponential map of G".

Likewise, you define right Jacobians, where the infinitesimals are defined locally to the group elements, that is on the right. Just for completeness:

df/dx | right = lim_(dx->0) log (f^-1(x) * f ( x * exp(dx) ) ) / dx

from manif.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.