@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:-NHFK3Q1R-H
  skos:prefLabel "fonction L"@fr, "L-function"@en ;
  a skos:Concept ;
  skos:narrower psr:-MB837NK3-F .

psr:-TV5S9R6P-C
  skos:prefLabel "théorie spectrale"@fr, "spectral theory"@en ;
  a skos:Concept ;
  skos:narrower psr:-MB837NK3-F .

psr:-MB837NK3-F
  skos:exactMatch <https://fr.wikipedia.org/wiki/Fonction_z%C3%AAta_de_Selberg>, <https://en.wikipedia.org/wiki/Selberg_zeta_function> ;
  skos:definition """Pour chaque surface hyperbolique de volume fini, on peut définir une <b>fonction zêta de Selberg</b>. C'est une fonction méromorphe d'une variable complexe. Elle est définie par le biais des géodésiques fermées sur la surface. Les zéros et les pôles de la fonction zêta de Selberg <i>Z</i>(<i>s</i>) admettent une description en fonction des données spectrales de la surface. Les zéros sont aux points suivants :  <ol><li>Pour chaque forme parabolique pour la valeur propre <i>s</i><sub>0</sub>(1 – <i>s</i><sub>0</sub>), il y a un zéro au point <i>s</i><sub>0</sub>. L'ordre du zéro est la dimension de l'espace propre correspondant (une forme parabolique est une fonction propre de l'opérateur de Laplace-Beltrami dont le développement de Fourier est sans terme constant) ;</li> <li>La fonction zêta a aussi un zéro en chaque pôle du déterminant de la matrice de <i><span class="lang-en" lang="en">scattering</span></i>, <i>ϕ</i>(<i>s</i>). L'ordre du zéro est égal à l'ordre du pôle correspondant.</li></ol> La fonction zêta a aussi des pôles en 1/2 – ℕ, et peut avoir des zéros ou des pôles en les points de –ℕ.  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Fonction_z%C3%AAta_de_Selberg">https://fr.wikipedia.org/wiki/Fonction_z%C3%AAta_de_Selberg</a>)"""@fr, """The <b>Selberg zeta-function</b> was introduced by Atle Selberg (1956). It is analogous to the famous Riemann 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 \\\\zeta (s)=\\\\prod _{p\\\\in \\\\mathbb {P} }{\\rac {1}{1-p^{-s}}}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>ζ<!-- ζ --></mi>         <mo stretchy="false">(</mo>         <mi>s</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <munder>           <mo>∏<!-- ∏ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>p</mi>             <mo>∈<!-- ∈ --></mo>             <mrow class="MJX-TeXAtom-ORD">               <mi mathvariant="double-struck">P</mi>             </mrow>           </mrow>         </munder>         <mrow class="MJX-TeXAtom-ORD">           <mfrac>             <mn>1</mn>             <mrow>               <mn>1</mn>               <mo>−<!-- − --></mo>               <msup>                 <mi>p</mi>                 <mrow class="MJX-TeXAtom-ORD">                   <mo>−<!-- − --></mo>                   <mi>s</mi>                 </mrow>               </msup>             </mrow>           </mfrac>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\zeta (s)=\\\\prod _{p\\\\in \\\\mathbb {P} }{\\rac {1}{1-p^{-s}}}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f3197c02a286c1b04654177bf231702957b8dd83" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -3.338ex; width:18.74ex; height:6.676ex;" alt=" \\\\zeta(s) = \\\\prod_{p\\\\in\\\\mathbb{P}} \\rac{1}{1-p^{-s}} "></span></dd></dl> where <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 \\\\mathbb {P} }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mrow class="MJX-TeXAtom-ORD">           <mi mathvariant="double-struck">P</mi>         </mrow>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {P} }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/1053af9e662ceaf56c4455f90e0f67273422eded" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.42ex; height:2.176ex;" alt=" \\\\mathbb{P} "></span> is the set of prime numbers. The Selberg zeta-function uses the lengths of simple closed geodesics instead of the prime numbers. If <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 \\\\Gamma }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi mathvariant="normal">Γ<!-- Γ --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\Gamma }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4cfde86a3f7ec967af9955d0988592f0693d2b19" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="\\\\Gamma "></span> is a subgroup of SL(2,<b>R</b>), the associated Selberg zeta function is defined as follows,  <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 \\\\zeta _{\\\\Gamma }(s)=\\\\prod _{p}(1-N(p)^{-s})^{-1},}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>ζ<!-- ζ --></mi>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="normal">Γ<!-- Γ --></mi>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>s</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <munder>           <mo>∏<!-- ∏ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>p</mi>           </mrow>         </munder>         <mo stretchy="false">(</mo>         <mn>1</mn>         <mo>−<!-- − --></mo>         <mi>N</mi>         <mo stretchy="false">(</mo>         <mi>p</mi>         <msup>           <mo stretchy="false">)</mo>           <mrow class="MJX-TeXAtom-ORD">             <mo>−<!-- − --></mo>             <mi>s</mi>           </mrow>         </msup>         <msup>           <mo stretchy="false">)</mo>           <mrow class="MJX-TeXAtom-ORD">             <mo>−<!-- − --></mo>             <mn>1</mn>           </mrow>         </msup>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\zeta _{\\\\Gamma }(s)=\\\\prod _{p}(1-N(p)^{-s})^{-1},}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/fa0d9245df19c99a2a1c9c0e28c924f5223cfc5a" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:27.362ex; height:5.676ex;" alt="\\\\zeta_\\\\Gamma(s)=\\\\prod_p(1-N(p)^{-s})^{-1},"></span></dd></dl> or  <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 Z_{\\\\Gamma }(s)=\\\\prod _{p}\\\\prod _{n=0}^{\\\\infty }(1-N(p)^{-s-n}),}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mi>Z</mi>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="normal">Γ<!-- Γ --></mi>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mi>s</mi>         <mo stretchy="false">)</mo>         <mo>=</mo>         <munder>           <mo>∏<!-- ∏ --></mo>           <mrow class="MJX-TeXAtom-ORD">             <mi>p</mi>           </mrow>         </munder>         <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>         <mo stretchy="false">(</mo>         <mn>1</mn>         <mo>−<!-- − --></mo>         <mi>N</mi>         <mo stretchy="false">(</mo>         <mi>p</mi>         <msup>           <mo stretchy="false">)</mo>           <mrow class="MJX-TeXAtom-ORD">             <mo>−<!-- − --></mo>             <mi>s</mi>             <mo>−<!-- − --></mo>             <mi>n</mi>           </mrow>         </msup>         <mo stretchy="false">)</mo>         <mo>,</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle Z_{\\\\Gamma }(s)=\\\\prod _{p}\\\\prod _{n=0}^{\\\\infty }(1-N(p)^{-s-n}),}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d4aa6cabc74d2d7dd4cc7efcc44f99021a1dbba2" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:31.336ex; height:7.009ex;" alt="Z_\\\\Gamma(s)=\\\\prod_p\\\\prod^\\\\infty_{n=0}(1-N(p)^{-s-n}),"></span></dd></dl> where <i>p</i> runs over conjugacy classes of prime geodesics (equivalently, conjugacy classes of primitive hyperbolic elements of <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 \\\\Gamma }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi mathvariant="normal">Γ<!-- Γ --></mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\Gamma }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4cfde86a3f7ec967af9955d0988592f0693d2b19" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;" alt="\\\\Gamma "></span>), and <i>N</i>(<i>p</i>) denotes the length of <i>p</i> (equivalently, the square of the bigger eigenvalue of <i>p</i>). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Selberg_zeta_function">https://en.wikipedia.org/wiki/Selberg_zeta_function</a>)"""@en ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:prefLabel "Selberg zeta function"@en, "fonction zêta de Selberg"@fr ;
  a skos:Concept ;
  skos:broader psr:-TV5S9R6P-C, psr:-NHFK3Q1R-H ;
  skos:inScheme psr: ;
  dc:created "2023-08-04"^^xsd:date .

psr: a skos:ConceptScheme .
