On the definition of the associated Legendre polynomials

Yes, they have different definitions:

  • Maple

Legendre function in Maple

  • Mathematica

Legendre function in Mathematica

  • Wikipedia

$$P_\ell^m(x)=(-1)^m \left(1-x^2\right)^{m/2} \frac{\mathrm d^m}{\mathrm dx^m} P_\ell(x)$$

This difference produces different complex phases (different branches of the square root).


Something ybeltukov forgot to mention: LegendreP[] takes a third optional parameter corresponding to the "type" of Legendre function needed. There are three types, all agreeing within the unit disk, but having different branch cut structures outside it. By default, the type 1 function is computed: LegendreP[n, m, z] == LegendreP[n, m, 1, z].

In particular, Maple's choice of type corresponds to type 3 in Mathematica's convention. Thus:

Table[(-1)^n LegendreP[n, -1, 3, -3]/Sqrt[2], {n, 5}]
   {1, 3, 11, 45, 197}

P.S. Similar remarks hold for LegendreQ[].