WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

CarlsonRK[x,y]

Carlsonの楕円積分 TemplateBox[{x, y}, CarlsonRK]を与える．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
数値評価  
特定の値  
微分と積分  
関数表現  
関数の恒等式と簡約  
アプリケーション  
特性と関係  
おもしろい例題  
関連項目
関連するガイド
履歴
引用書式

CarlsonRK

CarlsonRK[x,y]

Carlsonの楕円積分 TemplateBox[{x, y}, CarlsonRK]を与える．

詳細

  • 記号操作・数値操作の両方に適した数学関数である．
  • 非負の引数について TemplateBox[{x, y}, CarlsonRK]=1/piint_0^inftyt^(-1/2)(t+x)^(-1/2)(t+y)^(-1/2)dt である．
  • CarlsonRK[x,y]は に不連続な分枝切断線を持つ．
  • 特別な引数の場合，CarlsonRKは自動的に厳密値を計算する．
  • CarlsonRKは任意の数値精度で評価できる．
  • CarlsonRKは自動的にリストに縫い込まれる．

例題

すべて開く すべて閉じる

例  (3)

数値的に評価する：

Wolfram Language code: CarlsonRK[2., 3.]

関数をプロットする：

Wolfram Language code: Plot3D[CarlsonRK[x, y], {x, 0, 3}, {y, 0, 3}]

CarlsonRKは第1種完全楕円積分EllipticKに関連している：

Wolfram Language code: π / 2 CarlsonRK[1, 1 - m] /. m -> 0.3
Wolfram Language code: EllipticK[m] /. m -> 0.3

スコープ  (12)

数値評価  (5)

数値的に評価する：

Wolfram Language code: CarlsonRK[1.0, Sqrt[2] - 1]

高精度で評価する：

Wolfram Language code: N[CarlsonRK[5, 7], 50]

出力精度は入力精度に従う：

Wolfram Language code: CarlsonRK[5, 7.67890123456789012345]
Wolfram Language code: CarlsonRK[5, 7.678901234567890123456789012345]

複素引数について評価する：

Wolfram Language code: CarlsonRK[1 + I, 1. - I]

高精度で効率的に評価する：

Wolfram Language code: Timing[CarlsonRK[11, 4`500]]
Wolfram Language code: Timing[Precision[CarlsonRK[11, 4`100000]]]

CarlsonRKは要素単位でリストに縫い込まれる：

Wolfram Language code: CarlsonRK[4, {1., 2., 3., 4., 5.}]

特定の値  (1)

単純な厳密値は自動的に生成される：

Wolfram Language code: CarlsonRK[x, x]
Wolfram Language code: CarlsonRK[x, 0]

微分と積分  (2)

についての導関数：

Wolfram Language code: D[CarlsonRK[x, y], x]

についての導関数：

Wolfram Language code: D[CarlsonRK[x, y], y]

についての不定積分：

Wolfram Language code: Integrate[CarlsonRK[x, y], x]

についての不定積分：

Wolfram Language code: Integrate[CarlsonRK[x, y], y]

関数表現  (1)

TraditionalFormによる表示：

Wolfram Language code: CarlsonRK[x, y]//TraditionalForm

関数の恒等式と簡約  (3)

CarlsonRKは，オイラー・ポアソン(Euler–Poisson)の偏微分方程式を満足する：

Wolfram Language code: (x - y)Subscript[∂, x⁣y]CarlsonRK[x, y] + (1/2) Subscript[∂, y]CarlsonRK[x, y] - (1/2)Subscript[∂, x]CarlsonRK[x, y] == 0//FunctionExpand//FullSimplify

CarlsonRKは，オイラーの同次関係を満足する：

Wolfram Language code: x Subscript[∂, x]CarlsonRK[x, y] + y Subscript[∂, y]CarlsonRK[x, y] == -(1/2) CarlsonRK[x, y]//FunctionExpand//FullSimplify

CarlsonRKが満足する偏微分方程式：

Wolfram Language code: Subscript[∂, x]CarlsonRK[x, y] + Subscript[∂, y]CarlsonRK[x, y] == -(1/2 x y)CarlsonRE[x, y]//FunctionExpand//FullSimplify

アプリケーション  (5)

Lemniscate of Bernoulli（ベルヌーイのレムニスケート）の弧の全長を求める：

Wolfram Language code: N[2π CarlsonRK[1, 2], 25]

ArcLengthの結果と比較する：

Wolfram Language code: ArcLength[{(Cos[t]/1 + Sin[t]^2), (Sin[t]Cos[t]/1 + Sin[t]^2)}, {t, 0, 2π}, WorkingPrecision -> 25]

Elliptic Singular Value（楕円の特異値）を評価する：

Wolfram Language code: N[{2π CarlsonRK[16, 8 + 3 Sqrt[7]], (Gamma[(1/7)]Gamma[(2/7)]Gamma[(4/7)]/47^(1/(4))π)}]

正規分布上のReciprocal Square Root of a Quadratic Form（二次形式の平方根の逆数）の期待値：

Wolfram Language code: MatrixForm[mat = HilbertMatrix[2]]
Wolfram Language code: NExpectation[(Sqrt[2]/Sqrt[{u, v}.mat.{u, v}]), {u, v}BinormalDistribution[0]]//Quiet

CarlsonRKによる閉じた形の結果と比較する：

Wolfram Language code: N[Gamma[(1/2)](CarlsonRK@@Eigenvalues[mat]), 25]

Circular Disk（円板）に対する立体角を可視化する：

Wolfram Language code: With[{L = 2, r0 = 2 / 5, rm = 1}, Graphics3D[{EdgeForm[], Polygon[PadRight[N@CirclePoints[rm, 24], {Automatic, 3}]], {Dashed, Line[{{r0, 0, 0}, {r0, 0, L}}]}, Sphere[{r0, 0, L}, rm / 20]}, Boxed -> False, ViewPoint -> {-2.4, -1.3, 2.}]]

立体角を評価する：

Wolfram Language code: With[{L = 2, r0 = 2 / 5, rm = 1}, N[2π Boole[r0 < rm] - (2π L rm/rm - r0)(CarlsonRK[L^2 + (rm - r0)^2, L^2 + (rm + r0)^2] - (r0(L^2 + (rm - r0)^2)/(rm^2 - r0^2)^2) CarlsonRM[(L^2 + (rm + r0)^2/(rm + r0)^2), (L^2 + (rm - r0)^2/(rm + r0)^2), (L^2 + (rm - r0)^2/(rm - r0)^2)]), 20]]

NIntegrate の結果と比較する：

Wolfram Language code: With[{L = 2, r0 = 2 / 5, rm = 1}, L NIntegrate[(r/(r^2 - 2r0 r Cos[θ] + r0^2 + L^2)^3 / 2), {r, 0, rm}, {θ, 0, 2π}]]

円筒と球の交点を可視化する：

Wolfram Language code: R = 1 / 6;r = 5 / 9;b = 5 / 11; cyl = Cylinder[{{0, 0, 0}, {0, 0, 2r}}, R]; ball = Ball[{b, 0, r}, r];
Wolfram Language code: Show@{ Graphics3D[{Opacity[1 / 2], cyl, ball}], Region[RegionIntersection[cyl, ball], PlotTheme -> "Web"]}

Cylinder-Ball Intersection（円筒と球の交点）の体積：

Wolfram Language code: N[(2π/9 )(2R(3 R (2 r^2 - R^2) - b (b^2 - 4 r^2 + 5 b R + 7 R^2) + (3 r^4/b - R))CarlsonRK[(b - r + R) (b + r + R), 4b R] + (b^2 - 4 r^2 + 7 R^2)CarlsonRE[(b - r + R) (b + r + R), 4b R] + 6b R r^4(b + r - R) (b + R) (b - r - R)CarlsonRM[(b - R)^2 (b - r + R) (b + r + R), 4 b R(b - R)^2, 4 b R r^2]), 20]

Volumeの結果と比較する：

Wolfram Language code: Volume[RegionIntersection[cyl, ball], WorkingPrecision -> 20]

特性と関係  (3)

CarlsonRKは，その引数を並べ替えても変わらない：

Wolfram Language code: CarlsonRK[x, y] == CarlsonRK[y, x]

CarlsonRKとCarlsonREはルジャンドルの関係式を満足する：

Wolfram Language code: CarlsonRE[y - x, y]CarlsonRK[x, y] + CarlsonRE[x, y]CarlsonRK[y - x, y] - y CarlsonRK[x, y]CarlsonRK[y - x, y] == (2/π) /. {{x -> 5`50, y -> 7`50}, {x -> 5`50, y -> 3`50}}

CarlsonRKはArithmeticGeometricMeanに関連している：

Wolfram Language code: FullSimplify[CarlsonRK[x^2, y^2] == (1/ArithmeticGeometricMean[x, y]), x > 0 && y > 0]

おもしろい例題  (1)

3D立方格子上のランダムウォークで原点に戻る確率：

Wolfram Language code: 1 - (6 + 2 Sqrt[3] + Sqrt[6]/18)CarlsonRK[1, 14 Sqrt[6] + 20 Sqrt[3] - 24 Sqrt[2] - 34]^-2 //N

1000回のランダムウォークモデルを実行して何回原点に帰ったかを数える：

Wolfram Language code: BlockRandom[SeedRandom[11];Count[Table[walkerPosition = {0, 0, 0};steps = 0;While[steps++;walkerPosition += {{1, 0, 0}, {-1, 0, 0}, {0, 1, 0}, {0, -1, 0}, {0, 0, 1}, {0, 0, -1}}[[Random[Integer, {1, 6}]]]; steps < 100 && walkerPosition =!= {0, 0, 0}];steps, {1000}], _ ? (LessThan[100])]]
Wolfram Research (2021), CarlsonRK, Wolfram言語関数， https://reference.wolfram.com/language/ref/CarlsonRK.html.

テキスト

Wolfram Research (2021), CarlsonRK, Wolfram言語関数， https://reference.wolfram.com/language/ref/CarlsonRK.html.

CMS

Wolfram Language. 2021. "CarlsonRK." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CarlsonRK.html.

APA

Wolfram Language. (2021). CarlsonRK. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CarlsonRK.html

BibTeX

@misc{reference.wolfram_2026_carlsonrk, author="Wolfram Research", title="{CarlsonRK}", year="2021", howpublished="\url{https://reference.wolfram.com/language/ref/CarlsonRK.html}", note=[Accessed: 14-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_carlsonrk, organization={Wolfram Research}, title={CarlsonRK}, year={2021}, url={https://reference.wolfram.com/language/ref/CarlsonRK.html}, note=[Accessed: 14-August-2026]}