  
| 
 | 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   http://functions.wolfram.com/05.06.17.0021.01
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
 | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
    JacobiP[n, a, b, z] == Subscript[\[ScriptCapitalC], m][n, a, b, z] 
    JacobiP[n - m, a, b, z] + 
   (((a - m + n) (b - m + n) (2 + a + b - 2 m + 2 n))/
     ((-1 + m - n) (1 + a + b - m + n) (a + b - 2 m + 2 n))) 
    Subscript[\[ScriptCapitalC], m - 1][n, a, b, z] 
    JacobiP[n - m - 1, a, b, z] /; 
 Subscript[\[ScriptCapitalC], 0][n, a, b, z] == 1 && 
  Subscript[\[ScriptCapitalC], 1][n, a, b, z] == 
   ((-1 + a + b + 2 n) (a^2 - b^2 + z (-2 + a + b + 2 n) (a + b + 2 n)))/
    (2 n (a + b + n) (-2 + a + b + 2 n)) && 
  Subscript[\[ScriptCapitalC], m][n, a, b, z] == 
   (((1 + a + b - 2 m + 2 n) (a^2 - b^2 + z (a + b - 2 m + 2 n) 
         (2 + a + b - 2 m + 2 n)))/(2 (1 - m + n) (1 + a + b - m + n) 
       (a + b - 2 m + 2 n))) Subscript[\[ScriptCapitalC], m - 1][n, a, b, 
      z] + (((1 + a - m + n) (1 + b - m + n) (4 + a + b - 2 m + 2 n))/
      ((-2 + m - n) (2 + a + b - m + n) (2 + a + b - 2 m + 2 n))) 
     Subscript[\[ScriptCapitalC], m - 2][n, a, b, z] && 
  Element[m, Integers] && m > 0 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["JacobiP", "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", RowBox[List[RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "m"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], " ", RowBox[List["JacobiP", "[", RowBox[List[RowBox[List["n", "-", "m"]], ",", "a", ",", "b", ",", "z"]], "]"]]]], "+", RowBox[List[FractionBox[RowBox[List[RowBox[List["(", RowBox[List["a", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]], RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "1"]], "+", "m", "-", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]], RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "1"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "  ", RowBox[List["JacobiP", "[", RowBox[List[RowBox[List["n", "-", "m", "-", "1"]], ",", "a", ",", "b", ",", "z"]], "]"]]]]]]]], "/;", RowBox[List[RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "0"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", "1"]], "\[And]", RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "1"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", FractionBox[RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "1"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List[SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[List["z", " ", RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]], ")"]]]], RowBox[List["2", " ", "n", " ", RowBox[List["(", RowBox[List["a", "+", "b", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]]], " ", "\[And]", RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "m"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", RowBox[List[RowBox[List[FractionBox[RowBox[List[RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List[SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[List["z", " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]], ")"]]]], RowBox[List["2", " ", RowBox[List["(", RowBox[List["1", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]], RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "1"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]]]], "+", RowBox[List[FractionBox[RowBox[List[RowBox[List["(", RowBox[List["1", "+", "a", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["4", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]], RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "m", "-", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]], RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "2"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]]]]]]]], "\[And]", RowBox[List["Element", "[", RowBox[List["m", ",", "Integers"]], "]"]], "\[And]", RowBox[List["m", ">", "0"]]]]]]]] 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
 
  | 
   
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <mrow>  <msubsup>  <mi> P </mi>  <mi> n </mi>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mrow>  <mrow>  <mfrac>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> b </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mi> n </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <msubsup>  <mi> P </mi>  <mrow>  <mi> n </mi>  <mo> - </mo>  <mi> m </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  </mrow>  <mtext>   </mtext>  <mo> + </mo>  <mtext>   </mtext>  <mrow>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mi> m </mi>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <msubsup>  <mi> P </mi>  <mrow>  <mi> n </mi>  <mo> - </mo>  <mi> m </mi>  </mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  </mrow>  <mo> /; </mo>  <mrow>  <mrow>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mn> 0 </mn>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mn> 1 </mn>  </mrow>  <mo> ∧ </mo>  <mrow>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mn> 1 </mn>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mfrac>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <msup>  <mi> a </mi>  <mn> 2 </mn>  </msup>  <mo> - </mo>  <msup>  <mi> b </mi>  <mn> 2 </mn>  </msup>  <mo> + </mo>  <mrow>  <mi> z </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> - </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> + </mo>  <mi> n </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> - </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mfrac>  </mrow>  <mo> ∧ </mo>  <mrow>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mi> m </mi>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⩵ </mo>  <mrow>  <mrow>  <mfrac>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <msup>  <mi> a </mi>  <mn> 2 </mn>  </msup>  <mo> - </mo>  <msup>  <mi> b </mi>  <mn> 2 </mn>  </msup>  <mo> + </mo>  <mrow>  <mi> z </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mo> - </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mrow>  <mfrac>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> b </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> + </mo>  <mn> 4 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mi> n </mi>  <mo> - </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mi> m </mi>  <mo> + </mo>  <mi> n </mi>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> a </mi>  <mo> + </mo>  <mi> b </mi>  <mo> - </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> m </mi>  </mrow>  <mo> + </mo>  <mrow>  <mn> 2 </mn>  <mo> ⁢ </mo>  <mi> n </mi>  </mrow>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <msub>  <mi> 𝒞 </mi>  <mrow>  <mi> m </mi>  <mo> - </mo>  <mn> 2 </mn>  </mrow>  </msub>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> , </mo>  <mi> a </mi>  <mo> , </mo>  <mi> b </mi>  <mo> , </mo>  <mi> z </mi>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  </mrow>  <mo> ∧ </mo>  <mrow>  <mi> m </mi>  <mo> ∈ </mo>  <msup>  <mi> ℕ </mi>  <mo> + </mo>  </msup>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <ci> Condition </ci>  <apply>  <eq />  <apply>  <ci> JacobiP </ci>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <apply>  <plus />  <apply>  <times />  <apply>  <times />  <apply>  <plus />  <ci> a </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  </apply>  <apply>  <plus />  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> 2 </cn>  </apply>  <apply>  <power />  <apply>  <times />  <apply>  <plus />  <ci> m </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> -1 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  </apply>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <apply>  <plus />  <ci> m </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <apply>  <ci> JacobiP </ci>  <apply>  <plus />  <ci> n </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <cn type='integer'> -1 </cn>  </apply>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  </apply>  <apply>  <times />  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <ci> m </ci>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <apply>  <ci> JacobiP </ci>  <apply>  <plus />  <ci> n </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  </apply>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  </apply>  </apply>  </apply>  <apply>  <and />  <apply>  <eq />  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <cn type='integer'> 0 </cn>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <eq />  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <cn type='integer'> 1 </cn>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <apply>  <times />  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> -1 </cn>  </apply>  <apply>  <plus />  <apply>  <power />  <ci> a </ci>  <cn type='integer'> 2 </cn>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> b </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  <apply>  <times />  <ci> z </ci>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> -2 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  </apply>  </apply>  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <ci> n </ci>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> -2 </cn>  </apply>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  </apply>  <apply>  <eq />  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <ci> m </ci>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  <apply>  <plus />  <apply>  <times />  <apply>  <times />  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <apply>  <power />  <ci> a </ci>  <cn type='integer'> 2 </cn>  </apply>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <power />  <ci> b </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  <apply>  <times />  <ci> z </ci>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <apply>  <power />  <apply>  <times />  <cn type='integer'> 2 </cn>  <apply>  <plus />  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  </apply>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <apply>  <plus />  <ci> m </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  </apply>  <apply>  <times />  <apply>  <times />  <apply>  <plus />  <ci> a </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> 4 </cn>  </apply>  <apply>  <power />  <apply>  <times />  <apply>  <plus />  <ci> m </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> -2 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <ci> m </ci>  </apply>  <ci> n </ci>  <cn type='integer'> 2 </cn>  </apply>  <apply>  <plus />  <ci> a </ci>  <ci> b </ci>  <apply>  <times />  <cn type='integer'> -1 </cn>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='integer'> 2 </cn>  <ci> n </ci>  </apply>  <cn type='integer'> 2 </cn>  </apply>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <apply>  <apply>  <ci> Subscript </ci>  <ci> 𝒞 </ci>  <apply>  <plus />  <ci> m </ci>  <cn type='integer'> -2 </cn>  </apply>  </apply>  <ci> n </ci>  <ci> a </ci>  <ci> b </ci>  <ci> z </ci>  </apply>  </apply>  </apply>  </apply>  <apply>  <in />  <ci> m </ci>  <apply>  <ci> SuperPlus </ci>  <ci> ℕ </ci>  </apply>  </apply>  </apply>  </apply>  </annotation-xml>  </semantics>  </math> 
   
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 
  |   
  |  
  |  
  |   
  |  |  
  |   
  |  
  |  
  |   
  | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["JacobiP", "[", RowBox[List["n_", ",", "a_", ",", "b_", ",", "z_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "m"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], " ", RowBox[List["JacobiP", "[", RowBox[List[RowBox[List["n", "-", "m"]], ",", "a", ",", "b", ",", "z"]], "]"]]]], "+", FractionBox[RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["(", RowBox[List["a", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]], ")"]], " ", RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "1"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], " ", RowBox[List["JacobiP", "[", RowBox[List[RowBox[List["n", "-", "m", "-", "1"]], ",", "a", ",", "b", ",", "z"]], "]"]]]], RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "1"]], "+", "m", "-", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]]], "/;", RowBox[List[RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "0"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", "1"]], "&&", RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "1"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", FractionBox[RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "1"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List[SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[List["z", " ", RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]], ")"]]]], RowBox[List["2", " ", "n", " ", RowBox[List["(", RowBox[List["a", "+", "b", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "a", "+", "b", "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]]], "&&", RowBox[List[RowBox[List[SubscriptBox["\[ScriptCapitalC]", "m"], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]], "\[Equal]", RowBox[List[FractionBox[RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List[SuperscriptBox["a", "2"], "-", SuperscriptBox["b", "2"], "+", RowBox[List["z", " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]], ")"]]]], ")"]], " ", RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "1"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]]]], RowBox[List["2", " ", RowBox[List["(", RowBox[List["1", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]], "+", FractionBox[RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["(", RowBox[List["1", "+", "a", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["1", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["4", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]], ")"]], " ", RowBox[List[SubscriptBox["\[ScriptCapitalC]", RowBox[List["m", "-", "2"]]], "[", RowBox[List["n", ",", "a", ",", "b", ",", "z"]], "]"]]]], RowBox[List[RowBox[List["(", RowBox[List[RowBox[List["-", "2"]], "+", "m", "-", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", "m", "+", "n"]], ")"]], " ", RowBox[List["(", RowBox[List["2", "+", "a", "+", "b", "-", RowBox[List["2", " ", "m"]], "+", RowBox[List["2", " ", "n"]]]], ")"]]]]]]]]], "&&", RowBox[List["m", "\[Element]", "Integers"]], "&&", RowBox[List["m", ">", "0"]]]]]]]]]]  |  
  |  
  |   
  |  
  |  
  | 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Date Added to functions.wolfram.com (modification date)
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 | 
  | 
  
  
  
 |  
 
 |