This module provides a number of objects (mostly functions) useful for
dealing with Legendre series, including a Legendre
class that
encapsulates the usual arithmetic operations. (General information
on how this module represents and works with such polynomials is in the
docstring for its "parent" sub-package, numpy.polynomial
).
numpy.polynomial
Class | Legendre |
A Legendre series class. |
Function | leg2poly |
Convert a Legendre series to a polynomial. |
Function | legadd |
Add one Legendre series to another. |
Function | legcompanion |
Return the scaled companion matrix of c. |
Function | legder |
Differentiate a Legendre series. |
Function | legdiv |
Divide one Legendre series by another. |
Function | legfit |
Least squares fit of Legendre series to data. |
Function | legfromroots |
Generate a Legendre series with given roots. |
Function | leggauss |
Gauss-Legendre quadrature. |
Function | leggrid2d |
Evaluate a 2-D Legendre series on the Cartesian product of x and y. |
Function | leggrid3d |
Evaluate a 3-D Legendre series on the Cartesian product of x, y, and z. |
Function | legint |
Integrate a Legendre series. |
Function | legline |
Legendre series whose graph is a straight line. |
Function | legmul |
Multiply one Legendre series by another. |
Function | legmulx |
Multiply a Legendre series by x. |
Function | legpow |
Raise a Legendre series to a power. |
Function | legroots |
Compute the roots of a Legendre series. |
Function | legsub |
Subtract one Legendre series from another. |
Function | legval |
Evaluate a Legendre series at points x. |
Function | legval2d |
Evaluate a 2-D Legendre series at points (x, y). |
Function | legval3d |
Evaluate a 3-D Legendre series at points (x, y, z). |
Function | legvander |
Pseudo-Vandermonde matrix of given degree. |
Function | legvander2d |
Pseudo-Vandermonde matrix of given degrees. |
Function | legvander3d |
Pseudo-Vandermonde matrix of given degrees. |
Function | legweight |
Weight function of the Legendre polynomials. |
Function | poly2leg |
Convert a polynomial to a Legendre series. |
Variable | legdomain |
Undocumented |
Variable | legone |
Undocumented |
Variable | legx |
Undocumented |
Variable | legzero |
Undocumented |
Convert a Legendre series to a polynomial.
Convert an array representing the coefficients of a Legendre series, ordered from lowest degree to highest, to an array of the coefficients of the equivalent polynomial (relative to the "standard" basis) ordered from lowest to highest degree.
poly2leg
The easy way to do conversions between polynomial basis sets is to use the convert method of a class instance.
>>> from numpy import polynomial as P >>> c = P.Legendre(range(4)) >>> c Legendre([0., 1., 2., 3.], domain=[-1, 1], window=[-1, 1]) >>> p = c.convert(kind=P.Polynomial) >>> p Polynomial([-1. , -3.5, 3. , 7.5], domain=[-1., 1.], window=[-1., 1.]) >>> P.leg2poly(range(4)) array([-1. , -3.5, 3. , 7.5])
Add one Legendre series to another.
Returns the sum of two Legendre series c1
+ c2
. The arguments
are sequences of coefficients ordered from lowest order term to
highest, i.e., [1,2,3] represents the series P_0 + 2*P_1 + 3*P_2.
legsub, legmulx, legmul, legdiv, legpow
Unlike multiplication, division, etc., the sum of two Legendre series is a Legendre series (without having to "reproject" the result onto the basis set) so addition, just like that of "standard" polynomials, is simply "component-wise."
>>> from numpy.polynomial import legendre as L >>> c1 = (1,2,3) >>> c2 = (3,2,1) >>> L.legadd(c1,c2) array([4., 4., 4.])
Return the scaled companion matrix of c.
The basis polynomials are scaled so that the companion matrix is
symmetric when c
is an Legendre basis polynomial. This provides
better eigenvalue estimates than the unscaled case and for basis
polynomials the eigenvalues are guaranteed to be real if
numpy.linalg.eigvalsh
is used to obtain them.
Differentiate a Legendre series.
Returns the Legendre series coefficients c
differentiated m
times
along axis
. At each iteration the result is multiplied by scl
(the
scaling factor is for use in a linear change of variable). The argument
c
is an array of coefficients from low to high degree along each
axis, e.g., [1,2,3] represents the series 1*L_0 + 2*L_1 + 3*L_2
while [[1,2],[1,2]] represents 1*L_0(x)*L_0(y) + 1*L_1(x)*L_0(y) +
2*L_0(x)*L_1(y) + 2*L_1(x)*L_1(y) if axis=0 is x and axis=1 is
y.
scl
. The end result is
multiplication by scl**m. This is for use in a linear change of
variable. (Default: 1)Axis over which the derivative is taken. (Default: 0).
legint
In general, the result of differentiating a Legendre series does not resemble the same operation on a power series. Thus the result of this function may be "unintuitive," albeit correct; see Examples section below.
>>> from numpy.polynomial import legendre as L >>> c = (1,2,3,4) >>> L.legder(c) array([ 6., 9., 20.]) >>> L.legder(c, 3) array([60.]) >>> L.legder(c, scl=-1) array([ -6., -9., -20.]) >>> L.legder(c, 2,-1) array([ 9., 60.])
Divide one Legendre series by another.
Returns the quotient-with-remainder of two Legendre series
c1
/ c2
. The arguments are sequences of coefficients from lowest
order "term" to highest, e.g., [1,2,3] represents the series
P_0 + 2*P_1 + 3*P_2.
legadd, legsub, legmulx, legmul, legpow
In general, the (polynomial) division of one Legendre series by another results in quotient and remainder terms that are not in the Legendre polynomial basis set. Thus, to express these results as a Legendre series, it is necessary to "reproject" the results onto the Legendre basis set, which may produce "unintuitive" (but correct) results; see Examples section below.
>>> from numpy.polynomial import legendre as L >>> c1 = (1,2,3) >>> c2 = (3,2,1) >>> L.legdiv(c1,c2) # quotient "intuitive," remainder not (array([3.]), array([-8., -4.])) >>> c2 = (0,1,2,3) >>> L.legdiv(c2,c1) # neither "intuitive" (array([-0.07407407, 1.66666667]), array([-1.03703704, -2.51851852])) # may vary
Least squares fit of Legendre series to data.
Return the coefficients of a Legendre series of degree deg
that is the
least squares fit to the data values y
given at points x
. If y
is
1-D the returned coefficients will also be 1-D. If y
is 2-D multiple
fits are done, one for each column of y
, and the resulting
coefficients are stored in the corresponding columns of a 2-D return.
The fitted polynomial(s) are in the form
where n
is deg
.
deg
is a single integer
all terms up to and including the deg
'th term are included in the
fit. For NumPy versions >= 1.11.0 a list of integers specifying the
degrees of the terms to include may be used instead.M
,), optionalWeights. If not None, the weight w[i] applies to the unsquared residual y[i] - y_hat[i] at x[i]. Ideally the weights are chosen so that the errors of the products w[i]*y[i] all have the same variance. When using inverse-variance weighting, use w[i] = 1/sigma(y[i]). The default value is None.
y
was
2-D, the coefficients for the data in column k of y
are in
column k
. If deg
is specified as a list, coefficients for
terms not included in the fit are set equal to zero in the
returned coef
.These values are only returned if full == True
rcond
.For more details, see numpy.linalg.lstsq
.
The rank of the coefficient matrix in the least-squares fit is deficient. The warning is only raised if full == False. The warnings can be turned off by
>>> import warnings >>> warnings.simplefilter('ignore', np.RankWarning)
numpy.polynomial.polynomial.polyfit numpy.polynomial.chebyshev.chebfit numpy.polynomial.laguerre.lagfit numpy.polynomial.hermite.hermfit numpy.polynomial.hermite_e.hermefit legval : Evaluates a Legendre series. legvander : Vandermonde matrix of Legendre series. legweight : Legendre weight function (= 1). numpy.linalg.lstsq : Computes a least-squares fit from the matrix. scipy.interpolate.UnivariateSpline : Computes spline fits.
The solution is the coefficients of the Legendre series p
that
minimizes the sum of the weighted squared errors
where wj are the weights. This problem is solved by setting up as the (typically) overdetermined matrix equation
where V
is the weighted pseudo Vandermonde matrix of x
, c
are the
coefficients to be solved for, w
are the weights, and y
are the
observed values. This equation is then solved using the singular value
decomposition of V
.
If some of the singular values of V
are so small that they are
neglected, then a RankWarning
will be issued. This means that the
coefficient values may be poorly determined. Using a lower order fit
will usually get rid of the warning. The rcond
parameter can also be
set to a value smaller than its default, but the resulting fit may be
spurious and have large contributions from roundoff error.
Fits using Legendre series are usually better conditioned than fits using power series, but much can depend on the distribution of the sample points and the smoothness of the data. If the quality of the fit is inadequate splines may be a good alternative.
[1] | Wikipedia, "Curve fitting", https://en.wikipedia.org/wiki/Curve_fitting |
Generate a Legendre series with given roots.
The function returns the coefficients of the polynomial
in Legendre form, where the r_n
are the roots specified in roots
.
If a zero has multiplicity n, then it must appear in roots
n times.
For instance, if 2 is a root of multiplicity three and 3 is a root of
multiplicity 2, then roots
looks something like [2, 2, 2, 3, 3]. The
roots can appear in any order.
If the returned coefficients are c
, then
The coefficient of the last term is not generally 1 for monic polynomials in Legendre form.
out
is a
real array, if some of the roots are complex, then out
is complex
even if all the coefficients in the result are real (see Examples
below).numpy.polynomial.polynomial.polyfromroots numpy.polynomial.chebyshev.chebfromroots numpy.polynomial.laguerre.lagfromroots numpy.polynomial.hermite.hermfromroots numpy.polynomial.hermite_e.hermefromroots
>>> import numpy.polynomial.legendre as L >>> L.legfromroots((-1,0,1)) # x^3 - x relative to the standard basis array([ 0. , -0.4, 0. , 0.4]) >>> j = complex(0,1) >>> L.legfromroots((-j,j)) # x^2 + 1 relative to the standard basis array([ 1.33333333+0.j, 0.00000000+0.j, 0.66666667+0.j]) # may vary
Gauss-Legendre quadrature.
Computes the sample points and weights for Gauss-Legendre quadrature. These sample points and weights will correctly integrate polynomials of degree 2*deg − 1 or less over the interval [ − 1, 1] with the weight function f(x) = 1.
The results have only been tested up to degree 100, higher degrees may be problematic. The weights are determined by using the fact that
where c is a constant independent of k and xk is the k'th root of Ln, and then scaling the results to get the right value when integrating 1.
Evaluate a 2-D Legendre series on the Cartesian product of x and y.
This function returns the values:
where the points (a, b)
consist of all pairs formed by taking
a
from x
and b
from y
. The resulting points form a grid with
x
in the first dimension and y
in the second.
The parameters x
and y
are converted to arrays only if they are
tuples or a lists, otherwise they are treated as a scalars. In either
case, either x
and y
or their elements must support multiplication
and addition both with themselves and with the elements of c
.
If c
has fewer than two dimensions, ones are implicitly appended to
its shape to make it 2-D. The shape of the result will be c.shape[2:] +
x.shape + y.shape.
x
and y
. If x
or y
is a list or
tuple, it is first converted to an ndarray, otherwise it is left
unchanged and, if it isn't an ndarray, it is treated as a scalar.c[i,j]
. If c
has dimension
greater than two the remaining indices enumerate multiple sets of
coefficients.x
and y
.legval, legval2d, legval3d, leggrid3d
Evaluate a 3-D Legendre series on the Cartesian product of x, y, and z.
This function returns the values:
where the points (a, b, c)
consist of all triples formed by taking
a
from x
, b
from y
, and c
from z
. The resulting points form
a grid with x
in the first dimension, y
in the second, and z
in
the third.
The parameters x
, y
, and z
are converted to arrays only if they
are tuples or a lists, otherwise they are treated as a scalars. In
either case, either x
, y
, and z
or their elements must support
multiplication and addition both with themselves and with the elements
of c
.
If c
has fewer than three dimensions, ones are implicitly appended to
its shape to make it 3-D. The shape of the result will be c.shape[3:] +
x.shape + y.shape + z.shape.
x
, y
, and z
. If x
,`y`, or z
is a
list or tuple, it is first converted to an ndarray, otherwise it is
left unchanged and, if it isn't an ndarray, it is treated as a
scalar.c
has dimension
greater than two the remaining indices enumerate multiple sets of
coefficients.x
and y
.legval, legval2d, leggrid2d, legval3d
Integrate a Legendre series.
Returns the Legendre series coefficients c
integrated m
times from
lbnd
along axis
. At each iteration the resulting series is
multiplied by scl
and an integration constant, k
, is added.
The scaling factor is for use in a linear change of variable. ("Buyer
beware": note that, depending on what one is doing, one may want scl
to be the reciprocal of what one might expect; for more information,
see the Notes section below.) The argument c
is an array of
coefficients from low to high degree along each axis, e.g., [1,2,3]
represents the series L_0 + 2*L_1 + 3*L_2 while [[1,2],[1,2]]
represents 1*L_0(x)*L_0(y) + 1*L_1(x)*L_0(y) + 2*L_0(x)*L_1(y) +
2*L_1(x)*L_1(y) if axis=0 is x and axis=1 is y.
scl
before the integration constant is added. (Default: 1)Axis over which the integral is taken. (Default: 0).
legder
Note that the result of each integration is multiplied by scl
.
Why is this important to note? Say one is making a linear change of
variable u = ax + b in an integral relative to x
. Then
dx = du ⁄ a, so one will need to set scl
equal to
1 ⁄ a - perhaps not what one would have first thought.
Also note that, in general, the result of integrating a C-series needs to be "reprojected" onto the C-series basis set. Thus, typically, the result of this function is "unintuitive," albeit correct; see Examples section below.
>>> from numpy.polynomial import legendre as L >>> c = (1,2,3) >>> L.legint(c) array([ 0.33333333, 0.4 , 0.66666667, 0.6 ]) # may vary >>> L.legint(c, 3) array([ 1.66666667e-02, -1.78571429e-02, 4.76190476e-02, # may vary -1.73472348e-18, 1.90476190e-02, 9.52380952e-03]) >>> L.legint(c, k=3) array([ 3.33333333, 0.4 , 0.66666667, 0.6 ]) # may vary >>> L.legint(c, lbnd=-2) array([ 7.33333333, 0.4 , 0.66666667, 0.6 ]) # may vary >>> L.legint(c, scl=2) array([ 0.66666667, 0.8 , 1.33333333, 1.2 ]) # may vary
Legendre series whose graph is a straight line.
numpy.polynomial.polynomial.polyline numpy.polynomial.chebyshev.chebline numpy.polynomial.laguerre.lagline numpy.polynomial.hermite.hermline numpy.polynomial.hermite_e.hermeline
>>> import numpy.polynomial.legendre as L >>> L.legline(3,2) array([3, 2]) >>> L.legval(-3, L.legline(3,2)) # should be -3 -3.0
Multiply one Legendre series by another.
Returns the product of two Legendre series c1
* c2
. The arguments
are sequences of coefficients, from lowest order "term" to highest,
e.g., [1,2,3] represents the series P_0 + 2*P_1 + 3*P_2.
legadd, legsub, legmulx, legdiv, legpow
In general, the (polynomial) product of two C-series results in terms that are not in the Legendre polynomial basis set. Thus, to express the product as a Legendre series, it is necessary to "reproject" the product onto said basis set, which may produce "unintuitive" (but correct) results; see Examples section below.
>>> from numpy.polynomial import legendre as L >>> c1 = (1,2,3) >>> c2 = (3,2) >>> L.legmul(c1,c2) # multiplication requires "reprojection" array([ 4.33333333, 10.4 , 11.66666667, 3.6 ]) # may vary
Multiply a Legendre series by x.
Multiply the Legendre series c
by x, where x is the independent
variable.
legadd, legmul, legdiv, legpow
The multiplication uses the recursion relationship for Legendre polynomials in the form
>>> from numpy.polynomial import legendre as L >>> L.legmulx([1,2,3]) array([ 0.66666667, 2.2, 1.33333333, 1.8]) # may vary
Raise a Legendre series to a power.
Returns the Legendre series c
raised to the power pow
. The
argument c
is a sequence of coefficients ordered from low to high.
i.e., [1,2,3] is the series P_0 + 2*P_1 + 3*P_2.
legadd, legsub, legmulx, legmul, legdiv
Compute the roots of a Legendre series.
Return the roots (a.k.a. "zeros") of the polynomial
out
is also real, otherwise it is complex.numpy.polynomial.polynomial.polyroots numpy.polynomial.chebyshev.chebroots numpy.polynomial.laguerre.lagroots numpy.polynomial.hermite.hermroots numpy.polynomial.hermite_e.hermeroots
The root estimates are obtained as the eigenvalues of the companion matrix, Roots far from the origin of the complex plane may have large errors due to the numerical instability of the series for such values. Roots with multiplicity greater than 1 will also show larger errors as the value of the series near such points is relatively insensitive to errors in the roots. Isolated roots near the origin can be improved by a few iterations of Newton's method.
The Legendre series basis polynomials aren't powers of x so the results of this function may seem unintuitive.
>>> import numpy.polynomial.legendre as leg >>> leg.legroots((1, 2, 3, 4)) # 4L_3 + 3L_2 + 2L_1 + 1L_0, all real roots array([-0.85099543, -0.11407192, 0.51506735]) # may vary
Subtract one Legendre series from another.
Returns the difference of two Legendre series c1
- c2
. The
sequences of coefficients are from lowest order term to highest, i.e.,
[1,2,3] represents the series P_0 + 2*P_1 + 3*P_2.
legadd, legmulx, legmul, legdiv, legpow
Unlike multiplication, division, etc., the difference of two Legendre series is a Legendre series (without having to "reproject" the result onto the basis set) so subtraction, just like that of "standard" polynomials, is simply "component-wise."
>>> from numpy.polynomial import legendre as L >>> c1 = (1,2,3) >>> c2 = (3,2,1) >>> L.legsub(c1,c2) array([-2., 0., 2.]) >>> L.legsub(c2,c1) # -C.legsub(c1,c2) array([ 2., 0., -2.])
Evaluate a Legendre series at points x.
If c
is of length n + 1
, this function returns the value:
The parameter x
is converted to an array only if it is a tuple or a
list, otherwise it is treated as a scalar. In either case, either x
or its elements must support multiplication and addition both with
themselves and with the elements of c
.
If c
is a 1-D array, then p(x)
will have the same shape as x
. If
c
is multidimensional, then the shape of the result depends on the
value of tensor
. If tensor
is true the shape will be c.shape[1:] +
x.shape. If tensor
is false the shape will be c.shape[1:]. Note that
scalars have shape (,).
Trailing zeros in the coefficients will be used in the evaluation, so they should be avoided if efficiency is a concern.
x
is a list or tuple, it is converted to an ndarray, otherwise
it is left unchanged and treated as a scalar. In either case, x
or its elements must support addition and multiplication with
with themselves and with the elements of c
.c
is multidimensional the
remaining indices enumerate multiple polynomials. In the two
dimensional case the coefficients may be thought of as stored in
the columns of c
.If True, the shape of the coefficient array is extended with ones
on the right, one for each dimension of x
. Scalars have dimension 0
for this action. The result is that every column of coefficients in
c
is evaluated for every element of x
. If False, x
is broadcast
over the columns of c
for the evaluation. This keyword is useful
when c
is multidimensional. The default value is True.
legval2d, leggrid2d, legval3d, leggrid3d
The evaluation uses Clenshaw recursion, aka synthetic division.
Evaluate a 2-D Legendre series at points (x, y).
This function returns the values:
The parameters x
and y
are converted to arrays only if they are
tuples or a lists, otherwise they are treated as a scalars and they
must have the same shape after conversion. In either case, either x
and y
or their elements must support multiplication and addition both
with themselves and with the elements of c
.
If c
is a 1-D array a one is implicitly appended to its shape to make
it 2-D. The shape of the result will be c.shape[2:] + x.shape.
(x, y)
,
where x
and y
must have the same shape. If x
or y
is a list
or tuple, it is first converted to an ndarray, otherwise it is left
unchanged and if it isn't an ndarray it is treated as a scalar.c
has
dimension greater than two the remaining indices enumerate multiple
sets of coefficients.x
and y
.legval, leggrid2d, legval3d, leggrid3d
Evaluate a 3-D Legendre series at points (x, y, z).
This function returns the values:
The parameters x
, y
, and z
are converted to arrays only if
they are tuples or a lists, otherwise they are treated as a scalars and
they must have the same shape after conversion. In either case, either
x
, y
, and z
or their elements must support multiplication and
addition both with themselves and with the elements of c
.
If c
has fewer than 3 dimensions, ones are implicitly appended to its
shape to make it 3-D. The shape of the result will be c.shape[3:] +
x.shape.
(x, y, z)
, where x
, y
, and z
must have the same shape. If
any of x
, y
, or z
is a list or tuple, it is first converted
to an ndarray, otherwise it is left unchanged and if it isn't an
ndarray it is treated as a scalar.c
has dimension
greater than 3 the remaining indices enumerate multiple sets of
coefficients.x
, y
, and z
.legval, legval2d, leggrid2d, leggrid3d
Pseudo-Vandermonde matrix of given degree.
Returns the pseudo-Vandermonde matrix of degree deg
and sample points
x
. The pseudo-Vandermonde matrix is defined by
where 0 <= i <= deg
. The leading indices of V
index the elements of
x
and the last index is the degree of the Legendre polynomial.
If c
is a 1-D array of coefficients of length n + 1
and V
is the
array V = legvander(x, n), then np.dot(V, c) and
legval(x, c) are the same up to roundoff. This equivalence is
useful both for least squares fitting and for the evaluation of a large
number of Legendre series of the same degree and sample points.
x
is
scalar it is converted to a 1-D array.x
.Pseudo-Vandermonde matrix of given degrees.
Returns the pseudo-Vandermonde matrix of degrees deg
and sample
points (x, y)
. The pseudo-Vandermonde matrix is defined by
where 0 <= i <= deg[0]
and 0 <= j <= deg[1]
. The leading indices of
V
index the points (x, y)
and the last index encodes the degrees of
the Legendre polynomials.
If V = legvander2d(x, y, [xdeg, ydeg]), then the columns of V
correspond to the elements of a 2-D coefficient array c
of shape
(xdeg + 1, ydeg + 1) in the order
and np.dot(V, c.flat) and legval2d(x, y, c) will be the same up to roundoff. This equivalence is useful both for least squares fitting and for the evaluation of a large number of 2-D Legendre series of the same degrees and sample points.
x
and y
.legvander, legvander3d, legval2d, legval3d
Pseudo-Vandermonde matrix of given degrees.
Returns the pseudo-Vandermonde matrix of degrees deg
and sample
points (x, y, z)
. If l, m, n
are the given degrees in x, y, z
,
then The pseudo-Vandermonde matrix is defined by
where 0 <= i <= l
, 0 <= j <= m
, and 0 <= j <= n
. The leading
indices of V
index the points (x, y, z)
and the last index encodes
the degrees of the Legendre polynomials.
If V = legvander3d(x, y, z, [xdeg, ydeg, zdeg]), then the columns
of V
correspond to the elements of a 3-D coefficient array c
of
shape (xdeg + 1, ydeg + 1, zdeg + 1) in the order
and np.dot(V, c.flat) and legval3d(x, y, z, c) will be the same up to roundoff. This equivalence is useful both for least squares fitting and for the evaluation of a large number of 3-D Legendre series of the same degrees and sample points.
x
, y
, and z
.legvander, legvander3d, legval2d, legval3d
Weight function of the Legendre polynomials.
The weight function is 1 and the interval of integration is [ − 1, 1]. The Legendre polynomials are orthogonal, but not normalized, with respect to this weight function.
x
.Convert a polynomial to a Legendre series.
Convert an array representing the coefficients of a polynomial (relative to the "standard" basis) ordered from lowest degree to highest, to an array of the coefficients of the equivalent Legendre series, ordered from lowest to highest degree.
leg2poly
The easy way to do conversions between polynomial basis sets is to use the convert method of a class instance.
>>> from numpy import polynomial as P >>> p = P.Polynomial(np.arange(4)) >>> p Polynomial([0., 1., 2., 3.], domain=[-1, 1], window=[-1, 1]) >>> c = P.Legendre(P.legendre.poly2leg(p.coef)) >>> c Legendre([ 1. , 3.25, 1. , 0.75], domain=[-1, 1], window=[-1, 1]) # may vary