“Chebyshev function”的意思、由来-开放百科全书

词条

Chebyshev function

释义

Relationships
Asymptotics and bounds
The exact formula
Properties
Relation to primorials
Relation to the prime-counting function
The Riemann hypothesis
Smoothing function
Variational formulation
Notes
References
External links

In mathematics, the Chebyshev function is either of two related functions. The first Chebyshev function {{math|ϑ(x)}} or {{math|θ(x)}} is given by

with the sum extending over all prime numbers {{mvar|p}} that are less than or equal to {{mvar|x}}.

The second Chebyshev function {{math|ψ(x)}} is defined similarly, with the sum extending over all prime powers not exceeding {{mvar|x}}:

where {{mvar|Λ}} is the von Mangoldt function. The Chebyshev functions, especially the second one {{math|ψ(x)}}, are often used in proofs related to prime numbers, because it is typically simpler to work with them than with the prime-counting function, {{math|π(x)}} (See the exact formula, below.) Both Chebyshev functions are asymptotic to {{mvar|x}}, a statement equivalent to the prime number theorem.

Both functions are named in honour of Pafnuty Chebyshev.

Relationships

The second Chebyshev function can be seen to be related to the first by writing it as

where {{mvar|k}} is the unique integer such that {{math|p^k ≤ x}} and {{math|x < p^{k + 1}}}. The values of {{mvar|k}} are given in {{OEIS2C|id=A206722}}. A more direct relationship is given by

Note that this last sum has only a finite number of non-vanishing terms, as

The second Chebyshev function is the logarithm of the least common multiple of the integers from 1 to {{mvar|n}}.

Values of {{math|lcm(1,2,...,n)}} for the integer variable {{mvar|n}} is given at {{OEIS2C|id=A003418}}.

Asymptotics and bounds

The following bounds are known for the Chebyshev functions:{{ref|Dusart1999}}{{ref|Dusart2010}} (in these formulas {{math|p_k}} is the {{mvar|k}}th prime number {{math|p₁ {{=}} 2}}, {{math|p₂ {{=}} 3}}, etc.)

Furthermore, under the Riemann hypothesis,

for any {{math|ε > 0}}.

Upper bounds exist for both {{math|ϑ(x)}} and {{math|ψ(x)}} such that,^[1] {{ref|Dusart2010}}

for any {{math|x > 0}}.

An explanation of the constant 1.03883 is given at {{OEIS2C|id=A206431}}.

The exact formula

In 1895, Hans Carl Friedrich von Mangoldt proved{{ref|Dav104}} an explicit expression for {{math|ψ(x)}} as a sum over the nontrivial zeros of the Riemann zeta function:

(The numerical value of {{math|{{sfrac|ζ′(0)|ζ(0)}}}} is {{math|log(2π)}}.) Here {{mvar|ρ}} runs over the nontrivial zeros of the zeta function, and {{math|ψ₀}} is the same as {{mvar|ψ}}, except that at its jump discontinuities (the prime powers) it takes the value halfway between the values to the left and the right:

From the Taylor series for the logarithm, the last term in the explicit formula can be understood as a summation of {{math|{{sfrac|x^ω|ω}}}} over the trivial zeros of the zeta function, {{math|ω {{=}} −2, −4, −6, ...}}, i.e.

Similarly, the first term, {{math|x {{=}} {{sfrac|x¹|1}}}}, corresponds to the simple pole of the zeta function at 1. It being a pole rather than a zero accounts for the opposite sign of the term.

Properties

A theorem due to Erhard Schmidt states that, for some explicit positive constant {{mvar|K}}, there are infinitely many natural numbers {{mvar|x}} such that

and infinitely many natural numbers {{mvar|x}} such that

{{ref|Sch03}}{{ref|Hard16}}

In little-{{mvar|o}} notation, one may write the above as

Hardy and Littlewood{{ref|Hard16}} prove the stronger result, that

Relation to primorials

The first Chebyshev function is the logarithm of the primorial of {{mvar|x}}, denoted {{math|x#}}:

This proves that the primorial {{math|x#}} is asymptotically equal to {{math|e^{(1 + o(1))x}}}, where "{{mvar|o}}" is the little-{{mvar|o}} notation (see big {{mvar|O}} notation) and together with the prime number theorem establishes the asymptotic behavior of {{math|p_n#}}.

Relation to the prime-counting function

The Chebyshev function can be related to the prime-counting function as follows. Define

Then

The transition from {{mvar|Π}} to the prime-counting function, {{mvar|π}}, is made through the equation

Certainly {{math|π(x) ≤ x}}, so for the sake of approximation, this last relation can be recast in the form

The Riemann hypothesis

The Riemann hypothesis states that all nontrivial zeros of the zeta function have real part {{sfrac|1|2}}. In this case, {{math|{{abs|x^ρ}} {{=}} {{sqrt|x}}}}, and it can be shown that

By the above, this implies

Good evidence that the hypothesis could be true comes from the fact proposed by Alain Connes and others, that if we differentiate the von Mangoldt formula with respect to {{mvar|x}} we get {{math|x {{=}} e^u}}. Manipulating, we have the "Trace formula" for the exponential of the Hamiltonian operator satisfying

and

where the "trigonometric sum" can be considered to be the trace of the operator (statistical mechanics) {{math|e^iuĤ}}, which is only true if {{math|ρ {{=}} {{sfrac|1|2}} + iE(n)}}.

Using the semiclassical approach the potential of {{math|H {{=}} T + V}} satisfies:

with {{math|Z(u) → 0}} as {{math|u → ∞}}.

solution to this nonlinear integral equation can be obtained (among others) by

in order to obtain the inverse of the potential:

Smoothing function

The smoothing function is defined as

It can be shown that

Variational formulation

The Chebyshev function evaluated at {{math|x {{=}} e^t}} minimizes the functional

Notes

1. ^{{Cite journal | last = Rosser | first = J. Barkley | author-link1 = J. Barkley Rosser | last2 = Schoenfeld | first2 = Lowell | author-link2 = Lowell Schoenfeld | title = Approximate formulas for some functions of prime numbers. | journal = Illinois J. Math. | year = 1962 | volume = 6 | pages = 64–94. | url = http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ijm/1255631807}}

* {{note|Dusart2010}} Pierre Dusart, "Estimates of some functions over primes without R.H.". {{arxiv|1002.0442}}

{{note|Dusart1999}} Pierre Dusart, "Sharper bounds for {{mvar|ψ}}, {{mvar|θ}}, {{mvar|π}}, {{math|p_k}}", Rapport de recherche no. 1998-06, Université de Limoges. An abbreviated version appeared as "The {{math|k}}th prime is greater than {{math|k(ln k + ln ln k − 1)}} for {{math|k ≥ 2}}", Mathematics of Computation, Vol. 68, No. 225 (1999), pp. 411–415.
{{note|Sch03}}Erhard Schmidt, "Über die Anzahl der Primzahlen unter gegebener Grenze", Mathematische Annalen, 57 (1903), pp. 195–204.
{{note|Hard16}}G .H. Hardy and J. E. Littlewood, "Contributions to the Theory of the Riemann Zeta-Function and the Theory of the Distribution of Primes", Acta Mathematica, 41 (1916) pp. 119–196.
{{note|Dav104}}Davenport, Harold (2000). In [https://books.google.com/books?vid=ISBN0387950974&id=U91lsCaJJmsC&pg=PA104&lpg=PA104 Multiplicative Number Theory]. Springer. p. 104. {{isbn|0-387-95097-4}}. Google Book Search.

References

{{Apostol IANT}}

External links

{{mathworld|urlname=ChebyshevFunctions|title=Chebyshev functions}}
{{planetmathref|id=4020|title=Mangoldt summatory function}}
{{planetmathref|id=4573|title=Chebyshev functions}}
Riemann's Explicit Formula, with images and movies

1 : Arithmetic functions

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。