2
$\begingroup$

I'm looking for a function counting all numbers, let's call them power semi-primes for the moment, of the form $a^nb^m\leq t$. $a,b$ are primes and might be equal.

Edit: $n$ and $m$ are fixed.

I think this is related to the standard semi-prime counting function $\pi_2(t)$, since all semi-primes $ab$ can be mapped to $a^nb^m$.

What I got so far, is the following: Since $\pi_1(t^{1/n})$ counts the $n$th power of primes below $t$, I conclude that, if $n=m$, $\pi_2(t^{1/n})$ counts the number of power semi-primes $(ab)^n$ less than $t$.

But what if $n\neq m$? How does the argument of $\pi_2(\cdot)$ look like in this case?

I tried $\pi_2(t^{1/\sqrt{(n+m)}})$, that to my own surprise worked well for a restricted set or primes ($a,b<10000$) and a few values of $t$(<1000), $n$ and $m$. Unfortunately, the exponent of $t$ doesn't match in the case $n=m$, since $1/n\neq 1/\sqrt{2n}$, so I assume that, this is nothing but mere accidential coincidence. Additional question: Can anyone disprove this?

  • 1
    Your numbers are numbers with 1 or 2 distinct prime factors. There are quite a few papers on the distribution of numbers with a specified number of prime factors. Here is one by Hildebrand and Tenenbaum that might help you: http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/10773067142012-02-08
  • 0
    It does if you need an exact count. It doesn't very much if you're just looking for an estimate. Almost all prime powers are prime.2012-02-08
  • 0
    Do you mean that $m$ and $n$ are fixed, or that you want to count over all possibilities for $m$ and $n$?2012-02-08
  • 0
    @GregMartin $m$ and $n$ are fixed.2012-02-09
  • 0
    @Charles They appear in a integral as $d(\pi_2(t))$. Can I use an estimate there?2012-02-09

2 Answers 2

3

Suppose without loss of generality that $m. Then we can write the number of integers of the form $p^m q^n$ ($p,q$ prime) less than $x$ as $$ \sum_{q\le x^{1/n}} \sum_{p<(x/q^n)^{1/m}} 1 = \sum_{q\le x^{1/n}} \pi\bigg( \Big( \frac x{q^n} \Big)^{1/m} \bigg) \approx \frac{x^{1/m}}{\log x^{1/m}} \sum_{q\le x^{1/n}} \frac1{q^{n/m}} \sim C_{n,m} \frac{x^{1/m}}{\log x} $$ for some constant $C_{n,m}$, since the last sum converges. In other words, integers of the form $p^m q^n$ are not that much more numerous than integers of the form $p^m 2^n$.

(The $\approx$ step above can be made rigorous by summing only over $q say, and dealing with the other integers in the sum by first summing over $p$ instead of over $q$.)

  • 0
    I think @Charles is discussing the case where $m$ and $n$ may vary.2012-02-10
  • 0
    I'm a bit puzzled: Does your answer hold also for $n=m$? It'll give $C_{n,n}\sim \log \log x$, which is fine for $n=1$, since $\pi_2(t)\sim \left( \frac{t}{\log t} \right) \log\log t$, but for other $n$, it doesn't look like, what I concluded (see above), it should look like: $\pi_2(t^{1/n})=\left( \frac{t^{1/n}}{\log t^{1/n}} \right) \log\log t^{1/n} \neq \left( \frac{t^{1/n}}{\log t} \right) \log\log t$, where the last one is using your expressions. I think I was wrong with my assumption. What do you think?2012-02-15
  • 0
    @draks: I think if you run my proof through when $m=n$, you do indeed get $\sim (t^{1/n}/\log t^{1/n})\log\log t$. (Note that $\log\log t \sim \log\log t^{1/n}$ for any fixed $n$.) That being said, though, your proof is already fine when $m=n$.2012-02-15
  • 0
    Two things: (i) Do you mean $\sum_{q\le x^{1/n}}$ after the first "="? (ii) I'd like to extend your answer to more prime powers. Is the following a correct start for 3 of them: $\displaystyle \sum_{q\le x^{1/n}}\sum_{p< (x/q^n)^{1/m}}\sum_{r< (x/(p^mq^n))^{1/o}} 1$?2012-04-28
  • 0
    @draks: (i) You're right (fixed it). It was actually true as written but only accidentally.... (ii) That looks right to me.2012-04-30
1

Count the prime powers up to t; this is pretty easy (list the primes up to t, then the primes up to $\sqrt t$ squared, then the prime up to $\sqrt[3]t$ cubed, etc.).

Now all you need is to count the numbers of the form $p^nq^m$ with $p prime and $m,n>0.$ Loop over the prime powers $p^n\le t/2$ (just like the above), and for each count the prime powers (with primes $q>p$) up to $\lfloor t/p^n\rfloor,$ just like the first step.

  • 0
    I mean $p^n\le t/2$. I handle the case $p=q$ in the first paragraph; in the second this is not allowed.2012-02-08