最終更新日時(UTC):
が更新

履歴 編集

function
<cmath>

std::legendre(C++17)

namespace std {
float legendref(unsigned l, float x);
double legendre(unsigned l, double x);
long double legendrel(unsigned l, long double x);
}

概要

ルジャンドル多項式 (Legendre polynomials) を求める。

戻り値

引数 l, x のルジャンドル多項式 $$ P_l(x) = \frac{1}{2^l l!} \frac{\mathrm{d}^l}{\mathrm{d}x^l} (x^2 - 1)^l \quad \text{for } |x| \le 1 $$ を返す。

備考

l >= 128 の場合、この関数の呼び出しの効果は実装定義である。

#include <cmath>
#include <iostream>

void p(unsigned n) {
  for (double x : {-1., 0., 1.})
    std::cout << "legendre(" << n << ", " << x << ") = " << std::legendre(n, x) << "\n";
  std::cout << "\n";
}

int main() {
  p(0); // P0(x) = 1
  p(1); // P1(x) = x
  p(2); // P2(x) = (3x^2 - 1) / 2
  p(3); // P3(x) = (5x^3 - 3x) / 2
}

出力例

legendre(0, -1) = 1
legendre(0, 0) = 1
legendre(0, 1) = 1

legendre(1, -1) = -1
legendre(1, 0) = 0
legendre(1, 1) = 1

legendre(2, -1) = 1
legendre(2, 0) = -0.5
legendre(2, 1) = 1

legendre(3, -1) = -1
legendre(3, 0) = 0
legendre(3, 1) = 1

バージョン

言語

  • C++17

処理系

関連項目

参照

実装例

閉形式

$$ P_l(x) = \frac{1}{2^l l!} \sum_{j=0}^{\lfloor l/2 \rfloor} (-1)^j \frac{l! (2l-2j)!}{j! (l-j)! (l-2j)!} x^{l-2j} $$

漸化式

$$ P_l(x) = \frac{(2l-1) xP_{l-1}(x) - (l-1) P_{l-2}(x)}{l}; P_0(x) = 1, P_1(x) = x $$