Understanding part of derivation of Chebychev's Theorem
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
I cannot understand this result from pages 17âÂÂ18 of Tenenbaum and Mendes's The Prime Numbers and Their Distribution on how the summation of $fracxlog(2)2^j+O(log(x))$ results in $2x log(2) + O(log(x)^2).$
What are the steps in the summation that give the result? Did they use a telescoping series?
It is given that $B_2(x)=log[2x]! - 2log[x]! = B(x)-2B(x/2)$, and from the text,
The lower estimate for $B_2 (x)$ is used inductively: we have
beginalign psi(x) & le B_2(x) + psi(x/2) le B_2(x) + B_2(x/2) + psi(x/4) \
& le cdots le sum_0 le j le k B_2(x/2^j) + psi(x/2^k+1). endalign
Here, $k$ is an arbitrary integer. Let us choose $$k = K(x) := [(log x)/ log 2],$$
so that $psi(x/2^k+1) = 0$. It follows that
beginalign psi(x) & le sum_0 le j le K(x) leftlbrace fracx log 22^j + O(log x)rightrbrace \
& le 2x log 2 + O((log x)^2).
endalign
number-theory elementary-number-theory prime-numbers analytic-number-theory prime-factorization
add a comment |Â
up vote
0
down vote
favorite
I cannot understand this result from pages 17âÂÂ18 of Tenenbaum and Mendes's The Prime Numbers and Their Distribution on how the summation of $fracxlog(2)2^j+O(log(x))$ results in $2x log(2) + O(log(x)^2).$
What are the steps in the summation that give the result? Did they use a telescoping series?
It is given that $B_2(x)=log[2x]! - 2log[x]! = B(x)-2B(x/2)$, and from the text,
The lower estimate for $B_2 (x)$ is used inductively: we have
beginalign psi(x) & le B_2(x) + psi(x/2) le B_2(x) + B_2(x/2) + psi(x/4) \
& le cdots le sum_0 le j le k B_2(x/2^j) + psi(x/2^k+1). endalign
Here, $k$ is an arbitrary integer. Let us choose $$k = K(x) := [(log x)/ log 2],$$
so that $psi(x/2^k+1) = 0$. It follows that
beginalign psi(x) & le sum_0 le j le K(x) leftlbrace fracx log 22^j + O(log x)rightrbrace \
& le 2x log 2 + O((log x)^2).
endalign
number-theory elementary-number-theory prime-numbers analytic-number-theory prime-factorization
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I cannot understand this result from pages 17âÂÂ18 of Tenenbaum and Mendes's The Prime Numbers and Their Distribution on how the summation of $fracxlog(2)2^j+O(log(x))$ results in $2x log(2) + O(log(x)^2).$
What are the steps in the summation that give the result? Did they use a telescoping series?
It is given that $B_2(x)=log[2x]! - 2log[x]! = B(x)-2B(x/2)$, and from the text,
The lower estimate for $B_2 (x)$ is used inductively: we have
beginalign psi(x) & le B_2(x) + psi(x/2) le B_2(x) + B_2(x/2) + psi(x/4) \
& le cdots le sum_0 le j le k B_2(x/2^j) + psi(x/2^k+1). endalign
Here, $k$ is an arbitrary integer. Let us choose $$k = K(x) := [(log x)/ log 2],$$
so that $psi(x/2^k+1) = 0$. It follows that
beginalign psi(x) & le sum_0 le j le K(x) leftlbrace fracx log 22^j + O(log x)rightrbrace \
& le 2x log 2 + O((log x)^2).
endalign
number-theory elementary-number-theory prime-numbers analytic-number-theory prime-factorization
I cannot understand this result from pages 17âÂÂ18 of Tenenbaum and Mendes's The Prime Numbers and Their Distribution on how the summation of $fracxlog(2)2^j+O(log(x))$ results in $2x log(2) + O(log(x)^2).$
What are the steps in the summation that give the result? Did they use a telescoping series?
It is given that $B_2(x)=log[2x]! - 2log[x]! = B(x)-2B(x/2)$, and from the text,
The lower estimate for $B_2 (x)$ is used inductively: we have
beginalign psi(x) & le B_2(x) + psi(x/2) le B_2(x) + B_2(x/2) + psi(x/4) \
& le cdots le sum_0 le j le k B_2(x/2^j) + psi(x/2^k+1). endalign
Here, $k$ is an arbitrary integer. Let us choose $$k = K(x) := [(log x)/ log 2],$$
so that $psi(x/2^k+1) = 0$. It follows that
beginalign psi(x) & le sum_0 le j le K(x) leftlbrace fracx log 22^j + O(log x)rightrbrace \
& le 2x log 2 + O((log x)^2).
endalign
number-theory elementary-number-theory prime-numbers analytic-number-theory prime-factorization
edited Aug 6 at 9:50
asked Aug 5 at 19:18
onepound
181115
181115
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
1
down vote
accepted
$$sum_jleft(xlog2over2^j+O(log x)right)=xlog2sum_j(1/2^j)+sum_jO(log x)le2xlog2+O(K(x)(log x))$$
$$=2xlog2+O((log x)^2)$$
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
$$sum_jleft(xlog2over2^j+O(log x)right)=xlog2sum_j(1/2^j)+sum_jO(log x)le2xlog2+O(K(x)(log x))$$
$$=2xlog2+O((log x)^2)$$
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
add a comment |Â
up vote
1
down vote
accepted
$$sum_jleft(xlog2over2^j+O(log x)right)=xlog2sum_j(1/2^j)+sum_jO(log x)le2xlog2+O(K(x)(log x))$$
$$=2xlog2+O((log x)^2)$$
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
$$sum_jleft(xlog2over2^j+O(log x)right)=xlog2sum_j(1/2^j)+sum_jO(log x)le2xlog2+O(K(x)(log x))$$
$$=2xlog2+O((log x)^2)$$
$$sum_jleft(xlog2over2^j+O(log x)right)=xlog2sum_j(1/2^j)+sum_jO(log x)le2xlog2+O(K(x)(log x))$$
$$=2xlog2+O((log x)^2)$$
answered Aug 6 at 10:04
Gerry Myerson
143k7145294
143k7145294
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
add a comment |Â
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
1
1
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
I see because $sum_j(1/2^j)=2$ and $log 2$ in asymptotic $((log x)/ log 2) log x$ can be ignored. Thanks.
â onepound
Aug 7 at 9:27
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2873294%2funderstanding-part-of-derivation-of-chebychevs-theorem%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password