Incomplete elliptic integral of the first kind: Series representations (formula 08.05.06.0047)

EllipticF

$Mathematica Notation$

Elliptic Integrals

EllipticF[z,m]

Series representations

Generalized power series

Expansions at z==3Pi/2+2Pi u/;u ∈ Z && m>1

http://functions.wolfram.com/08.05.06.0047.01

Input Form

EllipticF[z, m] \[Proportional] (-(1/Sqrt[m])) EllipticK[1/m] (I Sqrt[-(1/(z - Subscript[z, 0])^2)] (z - Subscript[z, 0]) + Sqrt[(z - Subscript[z, 0])^2]/(z - Subscript[z, 0])) + EllipticK[m] (2 Round[Re[Subscript[z, 0]]/Pi] - Sqrt[I/(z - Subscript[z, 0])] Sqrt[(-I) (z - Subscript[z, 0])] + I Sqrt[-(1/(z - Subscript[z, 0])^2)] (z - Subscript[z, 0]) + Sqrt[(z - Subscript[z, 0])^2]/(z - Subscript[z, 0])) + (z - Subscript[z, 0])/Sqrt[1 - m] - (m (z - Subscript[z, 0])^3)/ (6 (1 - m)^(3/2)) + \[Ellipsis] /; (z -> Subscript[z, 0]) && Subscript[z, 0] == (3 Pi)/2 + 2 Pi u && Element[u, Integers] && Element[m, Reals] && m > 1

Standard Form

Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["EllipticF", "[", RowBox[List["z", ",", "m"]], "]"]], "\[Proportional]", RowBox[List[RowBox[List[RowBox[List["-", FractionBox["1", SqrtBox["m"]]]], RowBox[List["EllipticK", "[", FractionBox["1", "m"], "]"]], RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", SqrtBox[RowBox[List["-", FractionBox["1", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]], "2"]]]]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]]]], "+", FractionBox[SqrtBox[SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]], "2"]], RowBox[List["z", "-", SubscriptBox["z", "0"]]]]]], ")"]]]], " ", "+", RowBox[List[RowBox[List["EllipticK", "[", "m", "]"]], RowBox[List["(", RowBox[List[RowBox[List["2", " ", RowBox[List["Round", "[", FractionBox[RowBox[List["Re", "[", SubscriptBox["z", "0"], "]"]], "\[Pi]"], "]"]]]], "-", RowBox[List[SqrtBox[FractionBox["\[ImaginaryI]", RowBox[List["z", "-", SubscriptBox["z", "0"]]]]], " ", SqrtBox[RowBox[List[RowBox[List["-", "\[ImaginaryI]"]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]]]]]]], "+", RowBox[List["\[ImaginaryI]", " ", SqrtBox[RowBox[List["-", FractionBox["1", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]], "2"]]]]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]]]], "+", FractionBox[SqrtBox[SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]], "2"]], RowBox[List["z", "-", SubscriptBox["z", "0"]]]]]], ")"]]]], "+", FractionBox[RowBox[List["z", "-", SubscriptBox["z", "0"]]], SqrtBox[RowBox[List["1", "-", "m"]]]], "-", FractionBox[RowBox[List["m", " ", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["z", "0"]]], ")"]], "3"]]], RowBox[List["6", " ", SuperscriptBox[RowBox[List["(", RowBox[List["1", "-", "m"]], ")"]], RowBox[List["3", "/", "2"]]]]]], "+", "\[Ellipsis]"]]]], "/;", RowBox[List[RowBox[List["(", RowBox[List["z", "\[Rule]", SubscriptBox["z", "0"]]], ")"]], "\[And]", RowBox[List[SubscriptBox["z", "0"], "\[Equal]", RowBox[List[FractionBox[RowBox[List["3", "\[Pi]"]], "2"], "+", RowBox[List["2", "\[Pi]", " ", "u"]]]]]], "\[And]", RowBox[List["u", "\[Element]", "Integers"]], "\[And]", RowBox[List["m", "\[Element]", "Reals"]], "\[And]", RowBox[List["m", ">", "1"]]]]]]]]

MathML Form

<math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'> <semantics> <mrow> <mrow> <mrow> <mi> F </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> z </mi> <mo> ❘ </mo> <mi> m </mi> </mrow> <mo> ) </mo> </mrow> <mo> ∝ </mo> <mtext> </mtext> <mrow> <mrow> <mrow> <mo> ( </mo> <mrow> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mrow> <mo> ⌊ </mo> <mfrac> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> <mo> ) </mo> </mrow> <mi> π </mi> </mfrac> <mo> ⌉ </mo> </mrow> </mrow> <mo> - </mo> <mrow> <msqrt> <mfrac> <mi> ⅈ </mi> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> </msqrt> <mo> ⁢ </mo> <msqrt> <mrow> <mrow> <mo> - </mo> <mi> ⅈ </mi> </mrow> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> </msqrt> </mrow> <mo> + </mo> <mfrac> <msqrt> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </msqrt> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> <mo> + </mo> <mrow> <mi> ⅈ </mi> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <msqrt> <mrow> <mo> - </mo> <mfrac> <mn> 1 </mn> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </mfrac> </mrow> </msqrt> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mi> K </mi> <mo> ⁡ </mo> <mo> ( </mo> <mi> m </mi> <mo> ) </mo> </mrow> </mrow> <mo> - </mo> <mrow> <mfrac> <mrow> <mn> 1 </mn> <mtext> </mtext> </mrow> <msqrt> <mi> m </mi> </msqrt> </mfrac> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mrow> <mi> ⅈ </mi> <mo> ⁢ </mo> <msqrt> <mrow> <mo> - </mo> <mfrac> <mn> 1 </mn> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </mfrac> </mrow> </msqrt> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mfrac> <msqrt> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </msqrt> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mi> K </mi> <mo> ⁡ </mo> <mo> ( </mo> <mfrac> <mn> 1 </mn> <mi> m </mi> </mfrac> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mfrac> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <msqrt> <mrow> <mn> 1 </mn> <mo> - </mo> <mi> m </mi> </mrow> </msqrt> </mfrac> <mo> - </mo> <mfrac> <mrow> <mi> m </mi> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 3 </mn> </msup> </mrow> <mrow> <mn> 6 </mn> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mn> 1 </mn> <mo> - </mo> <mi> m </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mn> 3 </mn> <mo> / </mo> <mn> 2 </mn> </mrow> </msup> </mrow> </mfrac> <mo> + </mo> <mo> … </mo> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <semantics> <mo> → </mo> <annotation encoding='Mathematica'> "\[Rule]" </annotation> </semantics> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> ∧ </mo> <mrow> <msub> <mi> z </mi> <mn> 0 </mn> </msub> <mo> ⩵ </mo> <mrow> <mfrac> <mrow> <mn> 3 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> <mn> 2 </mn> </mfrac> <mo> + </mo> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> <mo> ⁢ </mo> <mi> u </mi> </mrow> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> u </mi> <mo> ∈ </mo> <semantics> <mi> ℤ </mi> <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalZ]", Function[List[], Integers]] </annotation> </semantics> </mrow> <mo> ∧ </mo> <mrow> <mi> m </mi> <mo> ∈ </mo> <semantics> <mi> ℝ </mi> <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalR]", Function[List[], Reals]] </annotation> </semantics> </mrow> <mo> ∧ </mo> <mrow> <mi> m </mi> <mo> > </mo> <mn> 1 </mn> </mrow> </mrow> </mrow> <annotation-xml encoding='MathML-Content'> <mrow> <mrow> <mrow> <mi> F </mi> <mo> ⁡ </mo> <mo> ( </mo> <mrow> <mi> z </mi> <mo> ❘ </mo> <mi> m </mi> </mrow> <mo> ) </mo> </mrow> <mo> ∝ </mo> <mtext> </mtext> <mrow> <mrow> <mrow> <mo> ( </mo> <mrow> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mrow> <mo> ⌊ </mo> <mfrac> <mrow> <mi> Re </mi> <mo> ⁡ </mo> <mo> ( </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> <mo> ) </mo> </mrow> <mi> π </mi> </mfrac> <mo> ⌉ </mo> </mrow> </mrow> <mo> - </mo> <mrow> <msqrt> <mfrac> <mi> ⅈ </mi> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> </msqrt> <mo> ⁢ </mo> <msqrt> <mrow> <mrow> <mo> - </mo> <mi> ⅈ </mi> </mrow> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> </msqrt> </mrow> <mo> + </mo> <mfrac> <msqrt> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </msqrt> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> <mo> + </mo> <mrow> <mi> ⅈ </mi> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <msqrt> <mrow> <mo> - </mo> <mfrac> <mn> 1 </mn> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </mfrac> </mrow> </msqrt> </mrow> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mi> K </mi> <mo> ⁡ </mo> <mo> ( </mo> <mi> m </mi> <mo> ) </mo> </mrow> </mrow> <mo> - </mo> <mrow> <mfrac> <mrow> <mn> 1 </mn> <mtext> </mtext> </mrow> <msqrt> <mi> m </mi> </msqrt> </mfrac> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mrow> <mi> ⅈ </mi> <mo> ⁢ </mo> <msqrt> <mrow> <mo> - </mo> <mfrac> <mn> 1 </mn> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </mfrac> </mrow> </msqrt> <mo> ⁢ </mo> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mfrac> <msqrt> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 2 </mn> </msup> </msqrt> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> </mfrac> </mrow> <mo> ) </mo> </mrow> <mo> ⁢ </mo> <mrow> <mi> K </mi> <mo> ⁡ </mo> <mo> ( </mo> <mfrac> <mn> 1 </mn> <mi> m </mi> </mfrac> <mo> ) </mo> </mrow> </mrow> <mo> + </mo> <mfrac> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <msqrt> <mrow> <mn> 1 </mn> <mo> - </mo> <mi> m </mi> </mrow> </msqrt> </mfrac> <mo> - </mo> <mfrac> <mrow> <mi> m </mi> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <mo> - </mo> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mn> 3 </mn> </msup> </mrow> <mrow> <mn> 6 </mn> <mo> ⁢ </mo> <msup> <mrow> <mo> ( </mo> <mrow> <mn> 1 </mn> <mo> - </mo> <mi> m </mi> </mrow> <mo> ) </mo> </mrow> <mrow> <mn> 3 </mn> <mo> / </mo> <mn> 2 </mn> </mrow> </msup> </mrow> </mfrac> <mo> + </mo> <mo> … </mo> </mrow> </mrow> <mo> /; </mo> <mrow> <mrow> <mo> ( </mo> <mrow> <mi> z </mi> <semantics> <mo> → </mo> <annotation encoding='Mathematica'> "\[Rule]" </annotation> </semantics> <msub> <mi> z </mi> <mn> 0 </mn> </msub> </mrow> <mo> ) </mo> </mrow> <mo> ∧ </mo> <mrow> <msub> <mi> z </mi> <mn> 0 </mn> </msub> <mo> ⩵ </mo> <mrow> <mfrac> <mrow> <mn> 3 </mn> <mo> ⁢ </mo> <mi> π </mi> </mrow> <mn> 2 </mn> </mfrac> <mo> + </mo> <mrow> <mn> 2 </mn> <mo> ⁢ </mo> <mi> π </mi> <mo> ⁢ </mo> <mi> u </mi> </mrow> </mrow> </mrow> <mo> ∧ </mo> <mrow> <mi> u </mi> <mo> ∈ </mo> <semantics> <mi> ℤ </mi> <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalZ]", Function[List[], Integers]] </annotation> </semantics> </mrow> <mo> ∧ </mo> <mrow> <mi> m </mi> <mo> ∈ </mo> <semantics> <mi> ℝ </mi> <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalR]", Function[List[], Reals]] </annotation> </semantics> </mrow> <mo> ∧ </mo> <mrow> <mi> m </mi> <mo> > </mo> <mn> 1 </mn> </mrow> </mrow> </mrow> </annotation-xml> </semantics> </math>

Rule Form

Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["EllipticF", "[", RowBox[List["z_", ",", "m_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List["-", FractionBox[RowBox[List[RowBox[List["EllipticK", "[", FractionBox["1", "m"], "]"]], " ", RowBox[List["(", RowBox[List[RowBox[List["\[ImaginaryI]", " ", SqrtBox[RowBox[List["-", FractionBox["1", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]], "2"]]]]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]]]], "+", FractionBox[SqrtBox[SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]], "2"]], RowBox[List["z", "-", SubscriptBox["zz", "0"]]]]]], ")"]]]], SqrtBox["m"]]]], "+", RowBox[List[RowBox[List["EllipticK", "[", "m", "]"]], " ", RowBox[List["(", RowBox[List[RowBox[List["2", " ", RowBox[List["Round", "[", FractionBox[RowBox[List["Re", "[", SubscriptBox["zz", "0"], "]"]], "\[Pi]"], "]"]]]], "-", RowBox[List[SqrtBox[FractionBox["\[ImaginaryI]", RowBox[List["z", "-", SubscriptBox["zz", "0"]]]]], " ", SqrtBox[RowBox[List[RowBox[List["-", "\[ImaginaryI]"]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]]]]]]], "+", RowBox[List["\[ImaginaryI]", " ", SqrtBox[RowBox[List["-", FractionBox["1", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]], "2"]]]]], " ", RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]]]], "+", FractionBox[SqrtBox[SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]], "2"]], RowBox[List["z", "-", SubscriptBox["zz", "0"]]]]]], ")"]]]], "+", FractionBox[RowBox[List["z", "-", SubscriptBox["zz", "0"]]], SqrtBox[RowBox[List["1", "-", "m"]]]], "-", FractionBox[RowBox[List["m", " ", SuperscriptBox[RowBox[List["(", RowBox[List["z", "-", SubscriptBox["zz", "0"]]], ")"]], "3"]]], RowBox[List["6", " ", SuperscriptBox[RowBox[List["(", RowBox[List["1", "-", "m"]], ")"]], RowBox[List["3", "/", "2"]]]]]], "+", "\[Ellipsis]"]], "/;", RowBox[List[RowBox[List["(", RowBox[List["z", "\[Rule]", SubscriptBox["zz", "0"]]], ")"]], "&&", RowBox[List[SubscriptBox["zz", "0"], "\[Equal]", RowBox[List[FractionBox[RowBox[List["3", " ", "\[Pi]"]], "2"], "+", RowBox[List["2", " ", "\[Pi]", " ", "u"]]]]]], "&&", RowBox[List["u", "\[Element]", "Integers"]], "&&", RowBox[List["m", "\[Element]", "Reals"]], "&&", RowBox[List["m", ">", "1"]]]]]]]]]]

Date Added to functions.wolfram.com (modification date)

2007-05-02