| 
 | 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   http://functions.wolfram.com/06.15.06.0030.01
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
 | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
    PolyGamma[n, z] \[Proportional] ((-1)^(n - 1) n!)/(z + m)^(n + 1) + 
   Gamma[1 + n] HarmonicNumber[m, 1 + n] + PolyGamma[n, 1] + 
   (Gamma[2 + n] HarmonicNumber[m, 2 + n] + PolyGamma[1 + n, 1]) (z + m) + 
   (1/2) (Gamma[3 + n] HarmonicNumber[m, 3 + n] + PolyGamma[2 + n, 1]) 
    (z + m)^2 + O[(z + m)^3] /; Element[m, Integers] && m >= 0 && 
  Element[n, Integers] && n > 0 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Cell[BoxData[RowBox[List[RowBox[List[RowBox[List["PolyGamma", "[", RowBox[List["n", ",", "z"]], "]"]], "\[Proportional]", RowBox[List[FractionBox[RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List["-", "1"]], ")"]], RowBox[List["n", "-", "1"]]], " ", RowBox[List["n", "!"]]]], SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]], RowBox[List["n", "+", "1"]]]], "+", RowBox[List[RowBox[List["Gamma", "[", RowBox[List["1", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["1", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List["n", ",", "1"]], "]"]], "+", RowBox[List[RowBox[List["(", RowBox[List[RowBox[List[RowBox[List["Gamma", "[", RowBox[List["2", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["2", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List[RowBox[List["1", "+", "n"]], ",", "1"]], "]"]]]], ")"]], RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]]]], " ", "+", RowBox[List[FractionBox["1", "2"], "  ", RowBox[List["(", RowBox[List[RowBox[List[RowBox[List["Gamma", "[", RowBox[List["3", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["3", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List[RowBox[List["2", "+", "n"]], ",", "1"]], "]"]]]], ")"]], SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]], "2"]]], "+", RowBox[List["O", "[", SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]], "3"], "]"]]]]]], "/;", RowBox[List[RowBox[List["Element", "[", RowBox[List["m", ",", "Integers"]], "]"]], "\[And]", RowBox[List["m", "\[GreaterEqual]", "0"]], "\[And]", RowBox[List["Element", "[", RowBox[List["n", ",", "Integers"]], "]"]], "\[And]", RowBox[List["n", ">", "0"]]]]]]]] 
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
    
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
 
  | 
   
   <math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'>  <semantics>  <mrow>  <mrow>  <mrow>  <msup>  <semantics>  <mi> ψ </mi>  <annotation encoding='Mathematica'> TagBox["\[Psi]", PolyGamma] </annotation>  </semantics>  <mrow>  <mo> ( </mo>  <mi> n </mi>  <mo> ) </mo>  </mrow>  </msup>  <mo> ( </mo>  <mi> z </mi>  <mo> ) </mo>  </mrow>  <mo> ∝ </mo>  <mrow>  <mfrac>  <mrow>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mi> n </mi>  <mo> - </mo>  <mn> 1 </mn>  </mrow>  </msup>  <mo> ⁢ </mo>  <mrow>  <mi> n </mi>  <mo> ! </mo>  </mrow>  </mrow>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mi> z </mi>  <mo> + </mo>  <mi> m </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  </msup>  </mfrac>  <mo> + </mo>  <mrow>  <mi> Γ </mi>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <msubsup>  <semantics>  <mi> H </mi>  <annotation-xml encoding='MathML-Content'>  <ci> HarmonicNumber </ci>  </annotation-xml>  </semantics>  <mi> m </mi>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  </mrow>  <mo> + </mo>  <mrow>  <msup>  <semantics>  <mi> ψ </mi>  <annotation encoding='Mathematica'> TagBox["\[Psi]", PolyGamma] </annotation>  </semantics>  <mrow>  <mo> ( </mo>  <mi> n </mi>  <mo> ) </mo>  </mrow>  </msup>  <mo> ( </mo>  <mn> 1 </mn>  <mo> ) </mo>  </mrow>  <mo> + </mo>  <mrow>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mrow>  <mi> Γ </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <msubsup>  <semantics>  <mi> H </mi>  <annotation-xml encoding='MathML-Content'>  <ci> HarmonicNumber </ci>  </annotation-xml>  </semantics>  <mi> m </mi>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  </mrow>  <mo> + </mo>  <mrow>  <msup>  <semantics>  <mi> ψ </mi>  <annotation encoding='Mathematica'> TagBox["\[Psi]", PolyGamma] </annotation>  </semantics>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 1 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </msup>  <mo> ( </mo>  <mn> 1 </mn>  <mo> ) </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mi> z </mi>  <mo> + </mo>  <mi> m </mi>  </mrow>  <mo> ) </mo>  </mrow>  </mrow>  <mo> + </mo>  <mrow>  <mfrac>  <mn> 1 </mn>  <mn> 2 </mn>  </mfrac>  <mo> ⁢ </mo>  <mrow>  <mo> ( </mo>  <mrow>  <mrow>  <mrow>  <mi> Γ </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 3 </mn>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <msubsup>  <semantics>  <mi> H </mi>  <annotation-xml encoding='MathML-Content'>  <ci> HarmonicNumber </ci>  </annotation-xml>  </semantics>  <mi> m </mi>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 3 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </msubsup>  </mrow>  <mo> + </mo>  <mrow>  <msup>  <semantics>  <mi> ψ </mi>  <annotation encoding='Mathematica'> TagBox["\[Psi]", PolyGamma] </annotation>  </semantics>  <mrow>  <mo> ( </mo>  <mrow>  <mi> n </mi>  <mo> + </mo>  <mn> 2 </mn>  </mrow>  <mo> ) </mo>  </mrow>  </msup>  <mo> ( </mo>  <mn> 1 </mn>  <mo> ) </mo>  </mrow>  </mrow>  <mo> ) </mo>  </mrow>  <mo> ⁢ </mo>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mi> z </mi>  <mo> + </mo>  <mi> m </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mn> 2 </mn>  </msup>  </mrow>  <mo> + </mo>  <mrow>  <mi> O </mi>  <mo> ⁡ </mo>  <mo> ( </mo>  <msup>  <mrow>  <mo> ( </mo>  <mrow>  <mi> z </mi>  <mo> + </mo>  <mi> m </mi>  </mrow>  <mo> ) </mo>  </mrow>  <mn> 3 </mn>  </msup>  <mo> ) </mo>  </mrow>  </mrow>  </mrow>  <mo> /; </mo>  <mrow>  <mrow>  <mi> m </mi>  <mo> ∈ </mo>  <mi> ℕ </mi>  </mrow>  <mo> ∧ </mo>  <mrow>  <mi> n </mi>  <mo> ∈ </mo>  <msup>  <mi> ℕ </mi>  <mo> + </mo>  </msup>  </mrow>  </mrow>  </mrow>  <annotation-xml encoding='MathML-Content'>  <apply>  <ci> Condition </ci>  <apply>  <ci> Proportional </ci>  <apply>  <ci> PolyGamma </ci>  <ci> n </ci>  <ci> z </ci>  </apply>  <apply>  <plus />  <apply>  <times />  <apply>  <power />  <cn type='integer'> -1 </cn>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <apply>  <factorial />  <ci> n </ci>  </apply>  <apply>  <power />  <apply>  <power />  <apply>  <plus />  <ci> z </ci>  <ci> m </ci>  </apply>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  </apply>  <cn type='integer'> -1 </cn>  </apply>  </apply>  <apply>  <times />  <ci> Γ </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <ci> HarmonicNumber </ci>  <ci> m </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  </apply>  </apply>  <apply>  <ci> PolyGamma </ci>  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <apply>  <times />  <apply>  <plus />  <apply>  <times />  <apply>  <ci> Gamma </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  <apply>  <ci> HarmonicNumber </ci>  <ci> m </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 2 </cn>  </apply>  </apply>  </apply>  <apply>  <ci> PolyGamma </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 1 </cn>  </apply>  <cn type='integer'> 1 </cn>  </apply>  </apply>  <apply>  <plus />  <ci> z </ci>  <ci> m </ci>  </apply>  </apply>  <apply>  <times />  <cn type='rational'> 1 <sep /> 2 </cn>  <apply>  <plus />  <apply>  <times />  <apply>  <ci> Gamma </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 3 </cn>  </apply>  </apply>  <apply>  <ci> HarmonicNumber </ci>  <ci> m </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 3 </cn>  </apply>  </apply>  </apply>  <apply>  <ci> PolyGamma </ci>  <apply>  <plus />  <ci> n </ci>  <cn type='integer'> 2 </cn>  </apply>  <cn type='integer'> 1 </cn>  </apply>  </apply>  <apply>  <power />  <apply>  <plus />  <ci> z </ci>  <ci> m </ci>  </apply>  <cn type='integer'> 2 </cn>  </apply>  </apply>  <apply>  <ci> O </ci>  <apply>  <power />  <apply>  <plus />  <ci> z </ci>  <ci> m </ci>  </apply>  <cn type='integer'> 3 </cn>  </apply>  </apply>  </apply>  </apply>  <apply>  <and />  <apply>  <in />  <ci> m </ci>  <ci> ℕ </ci>  </apply>  <apply>  <in />  <ci> n </ci>  <apply>  <ci> SuperPlus </ci>  <ci> ℕ </ci>  </apply>  </apply>  </apply>  </apply>  </annotation-xml>  </semantics>  </math> 
   
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 
  |   
  |  
  |  
  |   
  |  |  
  |   
  |  
  |  
  |   
  | Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List["PolyGamma", "[", RowBox[List["n_", ",", "z_"]], "]"]], "]"]], "\[RuleDelayed]", RowBox[List[RowBox[List[FractionBox[RowBox[List[SuperscriptBox[RowBox[List["(", RowBox[List["-", "1"]], ")"]], RowBox[List["n", "-", "1"]]], " ", RowBox[List["n", "!"]]]], SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]], RowBox[List["n", "+", "1"]]]], "+", RowBox[List[RowBox[List["Gamma", "[", RowBox[List["1", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["1", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List["n", ",", "1"]], "]"]], "+", RowBox[List[RowBox[List["(", RowBox[List[RowBox[List[RowBox[List["Gamma", "[", RowBox[List["2", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["2", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List[RowBox[List["1", "+", "n"]], ",", "1"]], "]"]]]], ")"]], " ", RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]]]], "+", RowBox[List[FractionBox["1", "2"], " ", RowBox[List["(", RowBox[List[RowBox[List[RowBox[List["Gamma", "[", RowBox[List["3", "+", "n"]], "]"]], " ", RowBox[List["HarmonicNumber", "[", RowBox[List["m", ",", RowBox[List["3", "+", "n"]]]], "]"]]]], "+", RowBox[List["PolyGamma", "[", RowBox[List[RowBox[List["2", "+", "n"]], ",", "1"]], "]"]]]], ")"]], " ", SuperscriptBox[RowBox[List["(", RowBox[List["z", "+", "m"]], ")"]], "2"]]], "+", SuperscriptBox[RowBox[List["O", "[", RowBox[List["z", "+", "m"]], "]"]], "3"]]], "/;", RowBox[List[RowBox[List["m", "\[Element]", "Integers"]], "&&", RowBox[List["m", "\[GreaterEqual]", "0"]], "&&", RowBox[List["n", "\[Element]", "Integers"]], "&&", RowBox[List["n", ">", "0"]]]]]]]]]]  |  
  |  
  |   
  |  
  |  
  | 
  
  
 |  
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  | 
   Date Added to functions.wolfram.com (modification date)
   |   
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
  
  | 
 
  
  | 
  
  | 
 
  
  | 
  
  | 
  
  | 
 
 | 
  |