CarlsonRC[x,y]
gives the Carlson's elliptic integral
.
CarlsonRC
CarlsonRC[x,y]
gives the Carlson's elliptic integral
.
Details
- Mathematical function, suitable for both symbolic and numerical manipulation.
- For
and
,
. - CarlsonRC[x,y] has a branch cut discontinuity at
. - CarlsonRC[x,y] is real valued for
and
, and is interpreted as a Cauchy principal value integral for
. - For certain arguments, CarlsonRC automatically evaluates to exact values.
- FunctionExpand can convert CarlsonRC to an expression in terms of elementary functions, whenever applicable.
- CarlsonRC can be evaluated to arbitrary numerical precision.
- CarlsonRC automatically threads over lists.
- CarlsonRC can be used with Interval and CenteredInterval objects. »
Examples
open all close allBasic Examples (3)
CarlsonRC[4., 5.]Plot3D[CarlsonRC[x, y], {x, 0, 3}, {y, 0, 3}]CarlsonRC is related to the
special case of
for
:
Sin[ϕ]CarlsonRC[Cos[ϕ]^2, 1] /. ϕ -> 0.3EllipticF[0.3, 0]Scope (13)
Numerical Evaluation (6)
CarlsonRC[5, 4.]N[CarlsonRC[Sqrt[3], -2], 50]Precision of the output tracks the precision of the input:
CarlsonRC[3, 1.234567890123456789012345]CarlsonRC[3, 1.2345678901234567890123456789012345]Evaluate for complex arguments:
CarlsonRC[Exp[I Pi / 7.], Exp[I Pi / 3.]]Evaluate efficiently at high precision:
Timing[CarlsonRC[3, 5`500]]Timing[Precision[CarlsonRC[3, 5`100000]]]CarlsonRC threads elementwise over lists:
CarlsonRC[{1, 2, 3, 4, 5}, 3.]CarlsonRC can be used with Interval and CenteredInterval objects:
CarlsonRC[Interval[{1.23, 1.24}], Interval[{2.34, 2.35}]]CarlsonRC[CenteredInterval[3 / 2, 1 / 100], CenteredInterval[5 / 4, 1 / 100]]Specific Values (2)
Simple exact values are generated automatically:
CarlsonRC[7, 7]CarlsonRC[0, 4]CarlsonRC[-Pi, -Pi]CarlsonRC[x, 0]Use FunctionExpand to convert CarlsonRC to elementary functions:
CarlsonRC[4, 2]//FunctionExpandCarlsonRC[3 - 2I, 1 + 5I]//FunctionExpandDifferentiation and Integration (2)
Derivative of
with respect to
:
D[CarlsonRC[x, y], x]Derivative of
with respect to
:
D[CarlsonRC[x, y], y]Indefinite integral of
with respect to
:
Integrate[CarlsonRC[x, y], x]Indefinite integral of
with respect to
:
Integrate[CarlsonRC[x, y], y]Function Representations (1)
TraditionalForm formatting:
CarlsonRC[x, y]//TraditionalFormFunction Identities and Simplifications (2)
CarlsonRC satisfies the Euler–Poisson partial differential equation:
(x - y)Subscript[∂, xy]CarlsonRC[x, y] - Subscript[∂, x]CarlsonRC[x, y] + (1/2)Subscript[∂, y]CarlsonRC[x, y] == 0//FullSimplifyCarlsonRC satisfies Euler's homogeneity relation:
xSubscript[∂, x]CarlsonRC[x, y] + ySubscript[∂, y]CarlsonRC[x, y] == -(1/2)CarlsonRC[x, y]//FullSimplifyApplications (3)
Use CarlsonRC to provide upper and lower bounds for CarlsonRF[x,y,z]:
With[{x = 3, y = 7, z = 9},
CarlsonRC[x, (y + z/2)] ≤ CarlsonRF[x, y, z] ≤ CarlsonRC[x, Sqrt[y z]]]With[{x = 3, y = 7., z = 9},
{CarlsonRC[x, (y + z/2)], CarlsonRF[x, y, z], CarlsonRC[x, Sqrt[y z]]}]CarlsonRC is useful for compactly expressing the change of parameter relations for EllipticPi:
EllipticPi[n, ϕ, m] + EllipticPi[m / n, ϕ, m] == EllipticF[ϕ, m] + Csc[ϕ]CarlsonRC[(Csc[ϕ]^2 - 1)(Csc[ϕ]^2 - m), (Csc[ϕ]^2 - n)(Csc[ϕ]^2 - m / n)] /. {{n -> 1 / 3, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> 2, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> -1, ϕ -> Pi / 3, m -> 1 / 4.}}(m - n)EllipticPi[n, ϕ, m] + (m - (m - n/1 - n))EllipticPi[(m - n/1 - n), ϕ, m] == m EllipticF[ϕ, m] - n (m - n/1 - n)Cot[ϕ]CarlsonRC[Csc[ϕ]^2(Csc[ϕ]^2 - m), (Csc[ϕ]^2 - n)(Csc[ϕ]^2 - (m - n/1 - n))] /. {{n -> 1 / 3, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> 2, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> -1, ϕ -> Pi / 3, m -> 1 / 4.}}(1 - n)EllipticPi[n, ϕ, m] + (1 - (m (1 - n)/m - n))EllipticPi[(m (1 - n)/m - n), ϕ, m] == EllipticF[ϕ, m] + (1 - n - (m (1 - n)/m - n))Sqrt[Csc[ϕ]^2 - m]CarlsonRC[Cot[ϕ]^2 Csc[ϕ]^2, (Csc[ϕ]^2 - n)(Csc[ϕ]^2 - (m (1 - n)/m - n))] /. {{n -> 1 / 3, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> 2, ϕ -> Pi / 3, m -> 1 / 4.}, {n -> -1, ϕ -> Pi / 3, m -> 1 / 4.}}Use CarlsonRC to express the change of parameter relation for CarlsonRJ:
With[{q = x + ((y - x)(z - x)/p - x)},
(p - x)CarlsonRJ[x, y, z, p] + (q - x)CarlsonRJ[x, y, z, q] == 3CarlsonRF[x, y, z] - 3CarlsonRC[(y z/x), (p q/x)]] /. {{x -> 2, y -> 3, z -> 5, p -> 7.}, {x -> 2, y -> 3, z -> 5, p -> 1.}, {x -> 2, y -> 3, z -> 5, p -> -4.}}Properties & Relations (3)
For
,
can be expressed in terms of ArcCos:
With[{x = 4, y = 7}, CarlsonRC[x, y] == (1/Sqrt[y - x])ArcCos[Sqrt[(x/y)]]]N[%, 100]
is interpreted as a Cauchy principal value if
lies on the negative real axis:
CarlsonRC[3, -7`]{CarlsonRC[3, -7` + I $MachineEpsilon], CarlsonRC[3, -7` - I $MachineEpsilon]}Mean[%]Compare with the equivalent expression in terms of positive arguments:
{CarlsonRC[x, z], Sqrt[(x/x - z)]CarlsonRC[x - z, -z]} /. {x -> 3., z -> -7.}Use FunctionExpand to express CarlsonRC in terms of simpler functions:
CarlsonRC[4, 7]//FunctionExpandCarlsonRC[3, -7]//FunctionExpandRelated Guides
Text
Wolfram Research (2021), CarlsonRC, Wolfram Language function, https://reference.wolfram.com/language/ref/CarlsonRC.html (updated 2023).
CMS
Wolfram Language. 2021. "CarlsonRC." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2023. https://reference.wolfram.com/language/ref/CarlsonRC.html.
APA
Wolfram Language. (2021). CarlsonRC. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CarlsonRC.html
BibTeX
@misc{reference.wolfram_2026_carlsonrc, author="Wolfram Research", title="{CarlsonRC}", year="2023", howpublished="\url{https://reference.wolfram.com/language/ref/CarlsonRC.html}", note=[Accessed: 12-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_carlsonrc, organization={Wolfram Research}, title={CarlsonRC}, year={2023}, url={https://reference.wolfram.com/language/ref/CarlsonRC.html}, note=[Accessed: 12-June-2026]}