DLMF:25.10.E2 (Q8365): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: phase / rank
 
Normal rank
Property / Symbols used: phase / qualifier
 
DLMF defining formula:

ph phase {\displaystyle{\displaystyle\operatorname{ph}}}

\phase
Property / Symbols used: phase / qualifier
 
xml-id: C1.S9.E7.m1adec

Revision as of 02:16, 22 December 2021

No description defined
Language Label Description Also known as
English
DLMF:25.10.E2
No description defined

    Statements

    ϑ ( t ) ph Γ ( 1 4 + 1 2 i t ) - 1 2 t ln π equal-by definition italic-ϑ 𝑡 phase Euler-Gamma 1 4 1 2 𝑖 𝑡 1 2 𝑡 𝜋 {\displaystyle{\displaystyle\vartheta(t)\equiv\operatorname{ph}\Gamma\left(% \tfrac{1}{4}+\tfrac{1}{2}it\right)-\tfrac{1}{2}t\ln\pi}}
    0 references
    Γ ( z ) Euler-Gamma 𝑧 {\displaystyle{\displaystyle\Gamma\left(\NVar{z}\right)}}
    C5.S2.E1.m2adec
    0 references
    π {\displaystyle{\displaystyle\pi}}
    C3.S12.E1.m2adec
    0 references
    z ¯ 𝑧 {\displaystyle{\displaystyle\overline{\NVar{z}}}}
    C1.S9.E11.m2adec
    0 references
    equal-by definition {\displaystyle{\displaystyle\equiv}}
    introduction.Sx4.p1.t1.r9.m2aadec
    0 references
    i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}
    C1.S9.E1.m2aadec
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2adec
    0 references
    ph phase {\displaystyle{\displaystyle\operatorname{ph}}}
    C1.S9.E7.m1adec
    0 references