Opened 2 months ago

Distinction between associated Legendre and Ferrers functions

Reported by: Owned by: gh-mjungmath major sage-9.4 misc jcwomack, slelievre, egourgoulhon N/A #25034

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:

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.