@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-QK86QW05-V
  skos:prefLabel "polygamma function of order m"@en, "fonction polygamma d'ordre m"@fr ;
  a skos:Concept ;
  skos:narrower psr:-LXN5G5T8-F .

psr:-LXN5G5T8-F
  skos:definition """In mathematics, the <b>trigamma function</b>, denoted <span class="texhtml"><i>ψ</i><sub>1</sub>(<i>z</i>)</span> or <span class="texhtml"><i>ψ</i><sup>(1)</sup>(<i>z</i>)</span>, is the second of the polygamma functions, and is defined by  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d^{2}}{dz^{2}}}\\\\ln \\\\Gamma (z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <msup>               <mi>d</mi>               <mrow class="MJX-TeXAtom-ORD">                 <mn>2</mn>               </mrow>             </msup>             <mrow>               <mi>d</mi>               <msup>                 <mi>z</mi>                 <mrow class="MJX-TeXAtom-ORD">                   <mn>2</mn>                 </mrow>               </msup>             </mrow>           </mfrac>         </mrow>         <mi>ln</mi>         <mo>⁡<!-- ⁡ --></mo>         <mi mathvariant="normal">Γ<!-- Γ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d^{2}}{dz^{2}}}\\\\ln \\\\Gamma (z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1929b65abdc95b5ad554f8d9def6b06ea3e66c75" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.171ex; width:19.824ex; height:6.009ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d^{2}}{dz^{2}}}\\\\ln \\\\Gamma (z)}"></span>.</dd></dl> It follows from this definition that  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d}{dz}}\\\\psi (z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mi>d</mi>             <mrow>               <mi>d</mi>               <mi>z</mi>             </mrow>           </mfrac>         </mrow>         <mi>ψ<!-- ψ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d}{dz}}\\\\psi (z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d1df7b130b7aeee931a1f2356603561f4341486f" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.005ex; width:16.114ex; height:5.509ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {d}{dz}}\\\\psi (z)}"></span></dd></dl> where <span class="texhtml"><i>ψ</i>(<i>z</i>)</span> is the digamma function. It may also be defined as the sum of the series  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <munderover>           <mo>∑<!-- ∑ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>n</mi>             <mo>=</mo>             <mn>0</mn>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="normal">∞<!-- ∞ --></mi>           </mrow>         </munderover>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mn>1</mn>             <mrow>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo>+</mo>               <mi>n</mi>               <msup>                 <mo stretchy="false">)</mo>                 <mrow class="MJX-TeXAtom-ORD">                   <mn>2</mn>                 </mrow>               </msup>             </mrow>           </mfrac>         </mrow>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c775c33466542cb046f59c7221e3e82fba348422" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -3.005ex; width:21.975ex; height:6.843ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}"></span></dd></dl> making it a special case of the Hurwitz zeta function  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mi>ζ<!-- ζ --></mi>         <mo stretchy="false">(</mo>         <mn>2</mn>         <mo>,</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d8928dc8e9e8e5f50a0b1c8dcd13eaa78a715dc1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.399ex; height:2.843ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}"></span></dd></dl> Note that the last two formulas are valid when <span class="texhtml">1 − <i>z</i></span> is not a natural number.  
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Trigamma_function">https://en.wikipedia.org/wiki/Trigamma_function</a>)"""@en, """En mathématiques, la <b>fonction trigamma</b>, notée <span class="texhtml"><i>ψ</i><sub>1</sub>(<i>z</i>)</span> ou <span class="texhtml"><i>ψ</i><sup>(1)</sup>(<i>z</i>)</span>, est la deuxième des fonctions polygamma ; elle est définie par  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} ^{2}}{\\\\mathrm {d} z^{2}}}\\\\ln \\\\Gamma (z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <msup>               <mrow class="MJX-TeXAtom-ORD">                 <mi mathvariant="normal">d</mi>               </mrow>               <mrow class="MJX-TeXAtom-ORD">                 <mn>2</mn>               </mrow>             </msup>             <mrow>               <mrow class="MJX-TeXAtom-ORD">                 <mi mathvariant="normal">d</mi>               </mrow>               <msup>                 <mi>z</mi>                 <mrow class="MJX-TeXAtom-ORD">                   <mn>2</mn>                 </mrow>               </msup>             </mrow>           </mfrac>         </mrow>         <mi>ln</mi>         <mo>⁡<!-- ⁡ --></mo>         <mi mathvariant="normal">Γ<!-- Γ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} ^{2}}{\\\\mathrm {d} z^{2}}}\\\\ln \\\\Gamma (z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2089b55a3b3ce1dc267f845188de80165738f884" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.171ex; width:19.9ex; height:6.009ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} ^{2}}{\\\\mathrm {d} z^{2}}}\\\\ln \\\\Gamma (z)}"></span>.</dd></dl> Il résulte de cette définition que  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\psi (z)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mrow class="MJX-TeXAtom-ORD">               <mi mathvariant="normal">d</mi>             </mrow>             <mrow>               <mrow class="MJX-TeXAtom-ORD">                 <mi mathvariant="normal">d</mi>               </mrow>               <mi>z</mi>             </mrow>           </mfrac>         </mrow>         <mi>ψ<!-- ψ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\psi (z)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d3868cdb7f89836cf14b92fcfd5730c82a2c5d16" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.005ex; width:16.191ex; height:5.509ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\psi (z)}"></span></dd></dl> où <span class="texhtml"><i>ψ</i>(<i>z</i>)</span> est la fonction digamma. Elle peut également être définie comme somme de série :  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <munderover>           <mo>∑<!-- ∑ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>n</mi>             <mo>=</mo>             <mn>0</mn>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="normal">∞<!-- ∞ --></mi>           </mrow>         </munderover>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mn>1</mn>             <mrow>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo>+</mo>               <mi>n</mi>               <msup>                 <mo stretchy="false">)</mo>                 <mrow class="MJX-TeXAtom-ORD">                   <mn>2</mn>                 </mrow>               </msup>             </mrow>           </mfrac>         </mrow>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/c775c33466542cb046f59c7221e3e82fba348422" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -3.005ex; width:21.975ex; height:6.843ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)=\\\\sum _{n=0}^{\\\\infty }{\\rac {1}{(z+n)^{2}}},}"></span></dd></dl> ce qui en fait un cas particulier de fonction zêta de Hurwitz  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>1</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mi>ζ<!-- ζ --></mi>         <mo stretchy="false">(</mo>         <mn>2</mn>         <mo>,</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d8928dc8e9e8e5f50a0b1c8dcd13eaa78a715dc1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:15.399ex; height:2.843ex;" alt="{\\\\displaystyle \\\\psi _{1}(z)=\\\\zeta (2,z).}"></span></dd></dl> Il faut noter que les deux dernières formules sont valides lorsque <span class="texhtml">1 − <i>z</i></span> n'est pas un entier naturel. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_trigamma">https://fr.wikipedia.org/wiki/Fonction_trigamma</a>)"""@fr ;
  skos:prefLabel "trigamma function"@en, "fonction trigamma"@fr ;
  a skos:Concept ;
  dc:created "2023-08-16"^^xsd:date ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Fonction_trigamma>, <https://en.wikipedia.org/wiki/Trigamma_function> ;
  skos:inScheme psr: ;
  skos:broader psr:-QK86QW05-V ;
  dc:modified "2024-10-18"^^xsd:date .

