MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Legendre functions can be of first and second kinds; $P$, $Q$.

They can have order $\mu$ and degree $\nu$; $P^\mu_\nu$ $Q^\mu_\nu$

But do they also have Types? Some of the numerical software I am using defines "types" for Legendre. In fact, most if not all seem to.

Mathematica defines "types" 2 and 3

And the MPmath software I am using(via Sagemath) does the same.

The types do not agree for non-integer orders $\mu$. Confusingly, there does not appear to be a type 1 in either source.

So my question is: What are these types? Are they just numerical conventions, or are they important mathematical subtleties which can affect the solutions to Legendre's differential equation? (I'm particularly worried about the behaviour of the exponent m/2 given in the formulae for irrational m on negative numbers.)

share|cite|improve this question

They differ in the choice of branch cuts. You can find an explanation here:

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.