GegenbauerC[n,m,x]
ゲーゲンバウア(Gegenbauer)多項式
を与える.
GegenbauerC[n,x]
くりこみ形式
を与える.
GegenbauerC
GegenbauerC[n,m,x]
ゲーゲンバウア(Gegenbauer)多項式
を与える.
GegenbauerC[n,x]
くりこみ形式
を与える.
詳細
- 記号操作・数値操作の両方に適した数学関数である.
- 整数 n や m について明示的な多項式が与えられる.
は微分方程式
を満たす.- ゲーゲンバウアの多項式は,単位超球においての積分に対応する,重みの関数
とともに,
の区間において直交である. - 特別な引数の場合,GegenbauerCは,自動的に厳密値を計算する.
- GegenbauerCは任意の数値精度で評価できる.
- GegenbauerCは自動的にリストに縫い込まれる.
- GegenbauerC[n,0,x]は常に0である.
- GegenbauerC[n,m,z]は,複素 z 平面上,
〜
の範囲で不連続な分枝切断線を持つ. - GegenbauerCはIntervalオブジェクトおよびCenteredIntervalオブジェクトに使うことができる. »
例題
すべて開く すべて閉じる例 (7)
N[GegenbauerC[3, 1 / 2, 7]]GegenbauerC[10, 1, x]GegenbauerC[10, x]Plot[GegenbauerC[10, x], {x, -1, 1}]ComplexPlot3D[GegenbauerC[5, z], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]Series[GegenbauerC[5, x], {x, 0, 5}]Infinityにおける漸近展開:
Series[GegenbauerC[5, x], {x, ∞, 3}]//FullSimplifySeries[GegenbauerC[5, x], {x, -1, 3}]//FullSimplifyスコープ (44)
数値評価 (6)
GegenbauerC[5, 1 / 8, 7.]GegenbauerC[2, 0.5]N[GegenbauerC[1 / 6, 1 / 8, 7], 50]GegenbauerC[0.333333333333333333, 7, 1]N[GegenbauerC[2 / 7, 5 - I, 2]]GegenbauerC[2 / 49, 5, 1`100]//TimingGegenbauerC[89 / 49, 3, 5`1000];//TimingIntervalオブジェクトとCenteredIntervalオブジェクトを使って最悪の場合に保証される区間を計算する:
GegenbauerC[3 / 4, 4 / 5, Interval[{1.9, 2.1}]]GegenbauerC[3 / 4, 4 / 5, CenteredInterval[5, 1 / 100]]Aroundを使って平均的な場合の統計区間を計算することもできる:
GegenbauerC[1 / 2, Around[.9, 0.1]]GegenbauerC[3, {{2, 0}, {1 / 2, -2}}]MatrixFunctionを使って行列のGegenbauerC関数を計算することもできる:
MatrixFunction[GegenbauerC[3, #]&, {{2, 0}, {1 / 2, -2}}]特定の値 (8)
固定点におけるGegenbauerCの値:
Table[GegenbauerC[10, x ], {x, 1, 5}]GegenbauerC[{1 / 3, 1 / 2}, 1 / 6, 0]記号的な n のGegenbauerC:
GegenbauerC[n, 0]GegenbauerC[n, 1 / 2, x]GegenbauerC[n, 1, x]GegenbauerC[n, x]Table[GegenbauerC[n, m, x], {x, 0, 1}, {m, 0, 1}]GegenbauerC[1, 0]GegenbauerC[0, 1, 1]GegenbauerC[10,x ]の最初の正の最大値を求める:
xmax = x /. Solve[D[GegenbauerC[10, x ], x] == 0 && 0 < x < 5, x][[1]]Plot[GegenbauerC[10, x ], {x, -1, 1}, Epilog -> Style[Point[{xmax, GegenbauerC[10, xmax ]}], PointSize[Large], Red]]陪多項式GegenbauerC[7,x]を計算する:
GegenbauerC[7, x]半整数 n について陪多項式GegenbauerC[1/2,x]を計算する:
GegenbauerC[1 / 2, x]異なるタイプのGegenbauerCは異なる記号形式を与える:
Table[GegenbauerC[n, m, x], {n, 0, 3}, {m, 0, 1}]可視化 (4)
GegenbauerC関数をさまざまな次数でプロットする:
Plot[{GegenbauerC[1, x], GegenbauerC[2, x], GegenbauerC[3, x], GegenbauerC[4, x]}, {x, -.7, .7}]ComplexContourPlot[Re[GegenbauerC[3, 1, z]], {z, -3 - 3 I, 3 + 3 I}, IconizedObject[«PlotOptions»]]ComplexContourPlot[Im[GegenbauerC[3, 1, z]], {z, -3 - 3 I, 3 + 3 I}, IconizedObject[«PlotOptions»]]Plot3D[Re[GegenbauerC[n, 1, z]], {n, 0, 5}, {z, -1, 1}]第2種と第3種のGegenbauerC関数の分岐構造は異なる:
Plot3D[Im[GegenbauerC[2, x + I y]], {x, -1.5, 1.5}, {y, -0.5, 0.5}, Exclusions -> {{y == 0, Abs[x] > 1}}]Plot3D[Im[GegenbauerC[3, x + I y]], {x, -1.5, 1.5}, {y, -0.5, 0.5}, Exclusions -> {{y == 0, -1 < x < 1}}, PlotRange -> All]関数の特性 (14)
整数次数の GegenbauerCの定義域:
{FunctionDomain[GegenbauerC[1, z], z], FunctionDomain[GegenbauerC[2, z], z]}{FunctionDomain[GegenbauerC[1, z], z, Complexes], FunctionDomain[GegenbauerC[2, z], z, Complexes]}整数次数のGegenbauerCの値域:
{FunctionRange[GegenbauerC[1, x], x, y], FunctionRange[GegenbauerC[2, x], x, y]}{FunctionRange[GegenbauerC[1, z], z, y, Complexes], FunctionRange[GegenbauerC[2, z], z, y, Complexes]}GegenbauerC[1, -x] == -GegenbauerC[1, x]GegenbauerC[2, -x] == GegenbauerC[2, x]GegenbauerCは要素単位でリストに縫い込まれる:
GegenbauerC[{1, 2, 3}, m, x]GegenbauerCは鏡特性
を持つ:
{GegenbauerC[1, Conjugate[z]] == Conjugate[GegenbauerC[1, z]], GegenbauerC[2, Conjugate[z]] == Conjugate[GegenbauerC[2, z]]}FunctionAnalytic[GegenbauerC[n, x], x, Assumptions -> n∈ℤ && n ≠ 0]しかし,GegenbauerC関数は,一般に,非整数パラメータについては解析的ではない:
FunctionAnalytic[GegenbauerC[1 / 2, x], x]FunctionAnalytic[GegenbauerC[1 / 2, 1, x], x]FunctionMeromorphic[GegenbauerC[1 / 2, x], x]FunctionMeromorphic[GegenbauerC[1 / 2, 1, x], x]FunctionMonotonicity[GegenbauerC[2, x], x]FunctionInjective[GegenbauerC[2, x], x]Plot[{GegenbauerC[2, x], 2}, {x, -2, 2}]FunctionSurjective[GegenbauerC[2, x], x]Plot[{GegenbauerC[2, x], -2}, {x, -2, 2}]FunctionSign[GegenbauerC[2, x], x]FunctionSingularities[GegenbauerC[n, x], x]FunctionDiscontinuities[GegenbauerC[n, x], x]FunctionSingularities[GegenbauerC[n, m, x], x]FunctionDiscontinuities[GegenbauerC[n, m, x], x]FunctionConvexity[GegenbauerC[2, x], x]TraditionalFormによる表示:
GegenbauerC[n, λ, x]//TraditionalFormGegenbauerC[n, m]//HoldForm//TraditionalForm微分 (3)
D[GegenbauerC[n, m, x], x]D[GegenbauerC[n, x], x]Table[D[GegenbauerC[n, m, x], {x, k}], {k, 1, 3}]//FullSimplifyn=10かつ m=1/3のとき,x について高次導関数をプロットする:
Plot[Evaluate[% /. { n -> 10, m -> 1 / 3}], {x, -3, 3}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[GegenbauerC[n, m, x], {x, k}]// FullSimplify積分 (3)
Integrateを使って不定積分を計算する:
Integrate[GegenbauerC[n, m, x], x]FullSimplify[D[%, x]]Integrate[GegenbauerC[n, m, x], {x, 0, 4}]Integrate[Exp[x] GegenbauerC[2, x], x]//FullSimplifyIntegrate[ x GegenbauerC[1, x^2], {x, 0, 3}]//FullSimplify級数展開 (2)
Seriesを使ってテイラー(Taylor)展開を求める:
Series[GegenbauerC[n, x], {x, 0, 3}]terms = Normal@Table[Series[GegenbauerC[10, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{GegenbauerC[10, x], terms}, {x, -1, 1}]Series[GegenbauerC[n, x], {x, x0, 2}]// Normal//FullSimplify関数の恒等式と簡約 (4)
GegenbauerCはJacobiPの特殊ケースである:
GegenbauerC[n, m, x] == (Pochhammer[2m, n]/Pochhammer[m + 1 / 2, n]) JacobiP[n, m - 1 / 2, m - 1 / 2, x]//FullSimplifyGegenbauerCの恒等式を微分する:
D[GegenbauerC[n, m, x], x] == 2 m GegenbauerC[n - 1, m + 1, x]GeneratingFunction[GegenbauerC[n, m, x], n, t]GegenbauerC[n, m, x] == (2 (m + n + 1)x/2 m + n) GegenbauerC[n + 1, m, x] - ( n + 2/2 m + n) GegenbauerC[n + 2, m, x] //FullSimplifyGegenbauerC[n, m, x] == (2 (m + n - 1)x/n) GegenbauerC[n - 1, m, x] - (2 m + n - 2/n) GegenbauerC[n - 2, m, x] //FullSimplify一般化と拡張 (2)
GegenbauerCをベキ級数に適用する:
GegenbauerC[5, Sin[x] + O[x] ^ 4]GegenbauerCは実数値区間を扱うことができる:
GegenbauerC[4, Interval[{-1, 1}]]アプリケーション (3)
Δ = ((1/Sin[θ]^2)D[ Sin[θ]^2D[#, θ], θ] + (1/Sin[θ]^2Sin[χ])D[Sin[χ]D[#, χ], χ] + (1/Sin[θ]^2Sin[χ]^2)D[#, ϕ, ϕ])&;With[{f = GegenbauerC[ n, 1, Cos[θ]]}, FullSimplify[Δ[ f ] / f]]ψ[{n_, l_, m_}, p_] := (2^ll!/n^2)Sqrt[((n - l - 1)!/(n + l)!)]((p / n)^l/(p^2 + n^-2)^2 + l)GegenbauerC[n - l - 1, l + 1, (1 - n^2p^2/1 + n^2p^2)]Table[Plot[ψ[{4, l, 0}, p] ^ 2, {p, 0, 0.4}], {l, 0, 3}]n 点のGauss–Lobatto求積法では,極端な2つのノードの値が固定され,他の n-2個のノードは特定のゲーゲンバウア多項式の根から計算される.n 点Gauss–Lobatto求積法のノードと重みを比較する:
n = 10;
tmp = x /. NSolve[GegenbauerC[n - 2, 3 / 2, x], x];
lobattoNodes = Join[{N[-1]}, tmp, {N[1]}]w1 = x |-> (2/n(n - 1)GegenbauerC[n - 1, 1 / 2, x]^2);
lobattoWeights = ArrayPad[w1[tmp], 1, N[(2/n(n - 1))]]n 点Gauss–Lobatto求積法を使って積分を数値的に評価する:
fun[x_] := (1/1 / 100 + (x - 3 / 10)^2) + (1/1 / 25 + (x - 9 / 10)^2) - 6a = 1 / 2;b = 1;
est1 = ((b - a/2)lobattoWeights).Map[fun, Rescale[lobattoNodes, {-1, 1}, {a, b}]]Gauss–Lobatto求積法の結果をNIntegrateの結果と比較する:
est1 - NIntegrate[fun[x], {x, a, b}]特性と関係 (5)
FunctionExpandを使ってGegenbauerCを他の関数に展開する:
FunctionExpand[GegenbauerC[1 / 2, -1 / 2, x]]FunctionExpand[GegenbauerC[n, m, 1]]GegenbauerCはDifferenceRootとして表すことができる:
DifferenceRootReduce[GegenbauerC[k, z, y], k]DifferenceRootReduce[GegenbauerC[1, 2, k], k]GegenbauerCの級数展開における一般項:
SeriesCoefficient[GegenbauerC[a, x], {x, 0, n}]GegenbauerCの母関数:
GeneratingFunction[GegenbauerC[n, a, b], n, x]Integrateを使って関数の内積を定義する:
dot[f_, g_] := 2 / π Subsuperscript[∫, -1, 1]Conjugate[f]gSqrt[1 - x^2]ⅆxOrthogonalizeを使って正規直交基底を構築する:
Orthogonalize[{1, x, x ^ 2, x ^ 3, x ^ 4}, dot] // Expandこの内積はGegenbauerC多項式を生成する:
Table[GegenbauerC[n, 1, x], {n, 0, 4}]テクニカルノート
-
▪
- 多項式の直交系
関連するガイド
-
▪
- 特殊関数 ▪
- 分離可能な座標系の関数
履歴
1988 で導入 (1.0) | 2021 で更新 (13.0) ▪ 2022 (13.1)
テキスト
Wolfram Research (1988), GegenbauerC, Wolfram言語関数, https://reference.wolfram.com/language/ref/GegenbauerC.html (2022年に更新).
CMS
Wolfram Language. 1988. "GegenbauerC." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2022. https://reference.wolfram.com/language/ref/GegenbauerC.html.
APA
Wolfram Language. (1988). GegenbauerC. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/GegenbauerC.html
BibTeX
@misc{reference.wolfram_2026_gegenbauerc, author="Wolfram Research", title="{GegenbauerC}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/GegenbauerC.html}", note=[Accessed: 30-October-2026]}
BibLaTeX
@online{reference.wolfram_2026_gegenbauerc, organization={Wolfram Research}, title={GegenbauerC}, year={2022}, url={https://reference.wolfram.com/language/ref/GegenbauerC.html}, note=[Accessed: 30-October-2026]}