html, body, form { margin: 0; padding: 0; width: 100%; } #calculate { position: relative; width: 177px; height: 110px; background: transparent url(/images/alphabox/embed_functions_inside.gif) no-repeat scroll 0 0; } #i { position: relative; left: 18px; top: 44px; width: 133px; border: 0 none; outline: 0; font-size: 11px; } #eq { width: 9px; height: 10px; background: transparent; position: absolute; top: 47px; right: 18px; cursor: pointer; }

 JacobiCN

 http://functions.wolfram.com/09.26.16.0046.01

 Input Form

 Sum[JacobiCN[z + (4 k EllipticK[m])/p, m] JacobiCN[z + (4 (k + Subscript[n, 1]) EllipticK[m])/p, m] JacobiCN[z + (4 (k + Subscript[n, 2]) EllipticK[m])/p, m], {k, 0, p - 1}]/Sum[JacobiCN[z + (4 k EllipticK[m])/p, m], {k, 0, p - 1}] == Sum[JacobiCN[(4 k EllipticK[m])/p, m] JacobiCN[(4 (k + Subscript[n, 1]) EllipticK[m])/p, m] JacobiCN[(4 (k + Subscript[n, 2]) EllipticK[m])/p, m], {k, 0, p - 1}]/ Sum[JacobiCN[(4 k EllipticK[m])/p, m], {k, 0, p - 1}] /; Element[(p - 1)/2, Integers] && p >= 3 && Element[Subscript[n, 1], Integers] && Element[Subscript[n, 2], Integers] && Inequality[1, LessEqual, Subscript[n, 1], Less, Subscript[n, 2], Less, p]

 Standard Form

 Cell[BoxData[RowBox[List[RowBox[List[RowBox[List[RowBox[List["(", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List[RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z", "+", FractionBox[RowBox[List["4", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"]]], ",", "m"]], "]"]], RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z", "+", FractionBox[RowBox[List["4", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n", "1"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"]]], ",", "m"]], "]"]], RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z", "+", FractionBox[RowBox[List["4", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n", "2"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"]]], ",", "m"]], "]"]]]]]], ")"]], "/", RowBox[List["(", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z", "+", FractionBox[RowBox[List["4", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"]]], ",", "m"]], "]"]]]], ")"]]]], "\[Equal]", RowBox[List[RowBox[List["(", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List[RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]], RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n", "1"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]], RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n", "2"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]]]]]], ")"]], "/", RowBox[List["(", RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]]]], ")"]]]]]], "/;", RowBox[List[RowBox[List[FractionBox[RowBox[List["p", "-", "1"]], "2"], "\[Element]", "Integers"]], "\[And]", RowBox[List["p", "\[GreaterEqual]", "3"]], "\[And]", RowBox[List[SubscriptBox["n", "1"], "\[Element]", "Integers"]], "\[And]", RowBox[List[SubscriptBox["n", "2"], "\[Element]", "Integers"]], "\[And]", RowBox[List["1", "\[LessEqual]", SubscriptBox["n", "1"], "<", SubscriptBox["n", "2"], "<", "p"]]]]]]]]

 MathML Form

 k = 0 p - 1 cn ( z + 4 k K ( m ) p m ) cn ( z + 4 K ( m ) ( k + n 1 ) p m ) cn ( z + 4 K ( m ) ( k + n 2 ) p m ) k = 0 p - 1 cn ( z + 4 k K ( m ) p m ) k = 0 p - 1 cn ( 4 k K ( m ) p m ) cn ( 4 ( k + n 1 ) K ( m ) p m ) cn ( 4 ( k + n 2 ) K ( m ) p m ) k = 0 p - 1 cn ( 4 k K ( m ) p m ) /; p - 1 2 + n 1 TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] n 2 TagBox["\[DoubleStruckCapitalZ]", Function[Integers]] 1 n 1 < n 2 < p Condition k 0 p -1 JacobiCN z 4 k EllipticK m p -1 m JacobiCN z 4 EllipticK m k Subscript n 1 p -1 m JacobiCN z 4 EllipticK m k Subscript n 2 p -1 m k 0 p -1 JacobiCN z 4 k EllipticK m p -1 m -1 k 0 p -1 JacobiCN 4 k EllipticK m p -1 m JacobiCN 4 k Subscript n 1 EllipticK m p -1 m JacobiCN 4 k Subscript n 2 EllipticK m p -1 m k 0 p -1 JacobiCN 4 k EllipticK m p -1 m -1 p -1 2 -1 SuperPlus Subscript n 1 Subscript n 2 Inequality 1 Subscript n 1 Subscript n 2 p [/itex]

 Rule Form

 Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", FractionBox[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p_", "-", "1"]]], RowBox[List[RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z_", "+", FractionBox[RowBox[List["4", " ", "k", " ", RowBox[List["EllipticK", "[", "m_", "]"]]]], "p_"]]], ",", "m_"]], "]"]], " ", RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z_", "+", FractionBox[RowBox[List["4", " ", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n_", "1"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m_", "]"]]]], "p_"]]], ",", "m_"]], "]"]], " ", RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z_", "+", FractionBox[RowBox[List["4", " ", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["n_", "2"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m_", "]"]]]], "p_"]]], ",", "m_"]], "]"]]]]]], RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p_", "-", "1"]]], RowBox[List["JacobiCN", "[", RowBox[List[RowBox[List["z_", "+", FractionBox[RowBox[List["4", " ", "k", " ", RowBox[List["EllipticK", "[", "m_", "]"]]]], "p_"]]], ",", "m_"]], "]"]]]]], "]"]], "\[RuleDelayed]", RowBox[List[FractionBox[RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List[RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", " ", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]], " ", RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", " ", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["nn", "1"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]], " ", RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", " ", RowBox[List["(", RowBox[List["k", "+", SubscriptBox["nn", "2"]]], ")"]], " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]]]]]], RowBox[List[UnderoverscriptBox["\[Sum]", RowBox[List["k", "=", "0"]], RowBox[List["p", "-", "1"]]], RowBox[List["JacobiCN", "[", RowBox[List[FractionBox[RowBox[List["4", " ", "k", " ", RowBox[List["EllipticK", "[", "m", "]"]]]], "p"], ",", "m"]], "]"]]]]], "/;", RowBox[List[RowBox[List[FractionBox[RowBox[List["p", "-", "1"]], "2"], "\[Element]", "Integers"]], "&&", RowBox[List["p", "\[GreaterEqual]", "3"]], "&&", RowBox[List[SubscriptBox["nn", "1"], "\[Element]", "Integers"]], "&&", RowBox[List[SubscriptBox["nn", "2"], "\[Element]", "Integers"]], "&&", RowBox[List["1", "\[LessEqual]", SubscriptBox["nn", "1"], "<", SubscriptBox["nn", "2"], "<", "p"]]]]]]]]]]

 References

 A. Khare, U. Sukhatme, "Cyclic Identities Involving Jacobi Elliptic Functions", math-ph/0201004, (2002) http://arXiv.org/abs/math-ph/0201004 A. Khare, U. Sukhatme, "Cyclic Identities Involving Jacobi Elliptic Functions", Journal of Mathematical Physics, v. 43, issue 7, pp. 3798-3806 (2002)

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

 2002-03-07