Opened 2 months ago

Last modified 2 months ago

#31637 new enhancement

Distinction between associated Legendre and Ferrers functions

Reported by: gh-mjungmath Owned by:
Priority: major Milestone: sage-9.4
Component: misc Keywords:
Cc: jcwomack, slelievre, egourgoulhon Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #25034 Stopgaps:

Status badges

Description (last modified by gh-mjungmath)

As pointed out in #25034 and https://groups.google.com/g/sage-devel/c/IDtiGF6HB28/m/QWwnAeLJBAAJ there is currently a conflict of conventions.

The current implementation is in line with [1], but as mentioned above this source seems to be flawed and a distinction to Ferrers functions needs to be made (cf. [2] and [3]).

More precisely, we want to implement solutions of the ODE [4]. There are solutions on (-1,1) called "Ferrers functions" [2] and solutions on (1,oo) which can be extended to the complex plane without the slit (-oo,1] [3]. This distinction has not been made yet but yields to different formulas in different cases. The current formulas favor the Ferrers functions.

Here are a few references to consider:

Change History (9)

comment:1 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:2 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:3 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:4 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:5 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:6 Changed 2 months ago by gh-mjungmath

  • Description modified (diff)

comment:7 Changed 2 months ago by gh-mjungmath

I see three options here:

  1. We introduce a flag switching back and forth between Ferrers functions and Legendre functions (like it is done in Mathematica).
  2. We introduce an environment variable making that distinction (like in Maple).
  3. We separate Ferrers functions and Legendre functions completely; for example ferrers_func and gen_legendre_P.

I advocate the latter option since it leads to less confusion for the end-user (and developer).

Other than that, implementing connection formulas to Legendre (Ferrers) functions of second kind are also desirable.

comment:8 Changed 2 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

comment:9 Changed 2 months ago by gh-mjungmath

  • Dependencies set to #25034
Note: See TracTickets for help on using tickets.