@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:-HKKTJN0R-G .

psr:-HKKTJN0R-G
  dc:modified "2024-10-18"^^xsd:date ;
  skos:definition """In mathematics, the <b>digamma function</b> is defined as the logarithmic derivative of the gamma 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 (z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\ln \\\\Gamma (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ψ<!-- ψ --></mi>         <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>ln</mi>         <mo>⁡<!-- ⁡ --></mo>         <mi mathvariant="normal">Γ<!-- Γ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mrow>               <msup>                 <mi mathvariant="normal">Γ<!-- Γ --></mi>                 <mo>′</mo>               </msup>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo stretchy="false">)</mo>             </mrow>             <mrow>               <mi mathvariant="normal">Γ<!-- Γ --></mi>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo stretchy="false">)</mo>             </mrow>           </mfrac>         </mrow>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi (z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\ln \\\\Gamma (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1ab26df3ac72a9a770d5b0c0f907bdaeca69dcfc" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.671ex; width:27.406ex; height:6.509ex;" alt="{\\\\displaystyle \\\\psi (z)={\\rac {\\\\mathrm {d} }{\\\\mathrm {d} z}}\\\\ln \\\\Gamma (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}"></span></dd></dl> It is the first of the polygamma functions. This function is strictly increasing and strictly concave on <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 (0,\\\\infty )}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mo stretchy="false">(</mo>         <mn>0</mn>         <mo>,</mo>         <mi mathvariant="normal">∞<!-- ∞ --></mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle (0,\\\\infty )}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/da17102e4ed0886686094ee531df040d2e86352a" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.329ex; height:2.843ex;" alt="{\\\\displaystyle (0,\\\\infty )}"></span>, and it asymptotically behaves as  <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 (z)\\\\sim \\\\ln {z}-{\\rac {1}{2z}},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ψ<!-- ψ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>∼<!-- ∼ --></mo>         <mi>ln</mi>         <mo>⁡<!-- ⁡ --></mo>         <mrow class="MJX-TeXAtom-ORD">           <mi>z</mi>         </mrow>         <mo>−<!-- − --></mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mn>1</mn>             <mrow>               <mn>2</mn>               <mi>z</mi>             </mrow>           </mfrac>         </mrow>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi (z)\\\\sim \\\\ln {z}-{\\rac {1}{2z}},}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/61558d5d09e00da1b7ac8029a81d9ab1a20e2191" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:17.498ex; height:5.176ex;" alt="{\\\\displaystyle \\\\psi (z)\\\\sim \\\\ln {z}-{\\rac {1}{2z}},}"></span></dd></dl> for large arguments (<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 |z|\\ightarrow \\\\infty }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>z</mi>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mo stretchy="false">→<!-- → --></mo>         <mi mathvariant="normal">∞<!-- ∞ --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle |z|\\ightarrow \\\\infty }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6322cfac5350fc6496b399cf4e8924ff5cd0aca3" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:8.32ex; height:2.843ex;" alt="{\\\\displaystyle |z|\\ightarrow \\\\infty }"></span>) in the sector <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 |\\\\arg z|<\\\\pi -\\\\varepsilon }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mi>arg</mi>         <mo>⁡<!-- ⁡ --></mo>         <mi>z</mi>         <mrow class="MJX-TeXAtom-ORD">           <mo stretchy="false">|</mo>         </mrow>         <mo>&lt;</mo>         <mi>π<!-- π --></mi>         <mo>−<!-- − --></mo>         <mi>ε<!-- ε --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle |\\\\arg z|&lt;\\\\pi -\\\\varepsilon }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1913e224a42c86e84c72c6a594ffd0306806c592" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:14.747ex; height:2.843ex;" alt="{\\\\displaystyle |\\\\arg z|<\\\\pi -\\\\varepsilon }"></span> with some infinitesimally small positive constant <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 \\\\varepsilon }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ε<!-- ε --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\varepsilon }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.083ex; height:1.676ex;" alt="{\\\\displaystyle \\\\varepsilon }"></span>. The digamma function is often denoted as <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 _{0}(x),\\\\psi ^{(0)}(x)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>0</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>x</mi>         <mo stretchy="false">)</mo>         <mo>,</mo>         <msup>           <mi>ψ<!-- ψ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mo stretchy="false">(</mo>             <mn>0</mn>             <mo stretchy="false">)</mo>           </mrow>         </msup>         <mo stretchy="false">(</mo>         <mi>x</mi>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi _{0}(x),\\\\psi ^{(0)}(x)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/483f9c5eb7473c4ea46bfaa4352c19d2880e32c1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.726ex; height:3.343ex;" alt="{\\\\displaystyle \\\\psi _{0}(x),\\\\psi ^{(0)}(x)}"></span> or <span class="texhtml">Ϝ</span> (the uppercase form of the archaic Greek consonant digamma meaning double-gamma). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Digamma_function">https://en.wikipedia.org/wiki/Digamma_function</a>)"""@en, """En mathématiques, la <b>fonction digamma</b> ou <b>fonction psi</b> est définie comme la dérivée logarithmique de la fonction gamma :  <center><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 (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ψ<!-- ψ --></mi>         <mo stretchy="false">(</mo>         <mi>z</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mrow>               <msup>                 <mi mathvariant="normal">Γ<!-- Γ --></mi>                 <mo>′</mo>               </msup>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo stretchy="false">)</mo>             </mrow>             <mrow>               <mi mathvariant="normal">Γ<!-- Γ --></mi>               <mo stretchy="false">(</mo>               <mi>z</mi>               <mo stretchy="false">)</mo>             </mrow>           </mfrac>         </mrow>         <mo>.</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\psi (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/57769cc028c4fd8fc040c01a0576800e00594fc1" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -2.671ex; width:14.027ex; height:6.509ex;" alt="{\\\\displaystyle \\\\psi (z)={\\rac {\\\\Gamma '(z)}{\\\\Gamma (z)}}.}"> </center>
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_digamma">https://fr.wikipedia.org/wiki/Fonction_digamma</a>)"""@fr ;
  skos:prefLabel "digamma function"@en, "fonction digamma"@fr ;
  a skos:Concept ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Fonction_digamma>, <https://en.wikipedia.org/wiki/Digamma_function> ;
  skos:inScheme psr: ;
  skos:broader psr:-QK86QW05-V .

