2
$\begingroup$

I'm looking for ways to find continuous functions that approximate double summations of the form $S(n)=\sum _{j=1}^n \sum _{i=1}^n f(n-i j)$ for functions $f:\mathbb{R}\to \mathbb{R}$, and for large $n$. Take, for example,

$$f(n):=\sum _{j=1}^n \sum _{i=1}^n \frac{1}{(n-i j)^4+8}$$

Heuristically, the harmonic function $h(n)=H_{\sqrt{n}}-\sqrt{\gamma }$ (and its implied analytic continuation) would seem to be a pretty good approximation to $f$ (although of course, without upper and lower bounds, its value would be limited):

enter image description here

But this only a rough heuristic, and it could be wrong. I am not trying to prove this specifically. Rather:

How would I go about finding an approximation algebraically?

I tried using integrals to approximate $f$ but this led (via Mathematica) to an amazingly hairy expression with around $100$ terms. Presumably this is because the behaviour of the function is somewhat erratic, but the upshot is that it's not very useful.

So, how do I find something usable (ideally with bounds, but all help gratefully received)?

UPDATE:

I was wrong to dismiss the double integral so quickly - the expression may be hairy, but the result is better than I anticipated:

enter image description here

Which leads to an

UPDATED QUESTION:

  1. Is approximation by integration the best approach? I have looked into the Euler-MacLaurin summation formula, but the double-integration defeats me.

  2. If no, what approach should I use?

  3. If integration is the way to go, then given the double-integral approximation

$$\sum _{j=1}^n \sum _{i=1}^n \frac{1}{(n-i j)^4+8}\approx\int _1^n \int _1^n \frac{1}{(n-t u)^4+8} \mathrm dt \mathrm du$$

and the implied error term

$$\sum _{j=1}^n \sum _{i=1}^n \frac{1}{(n-i j)^4+8}=\int _1^n \int _1^n \frac{1}{(n-t u)^4+8} \mathrm dt \mathrm du + \epsilon_n$$

Then how do I go about finding the error term $\epsilon_n$ as a function of $n$?

(For those who want to see the full double integral expression, the Mathematica code is below.)

Integrate[Integrate[1/((n - t*u)^4 + 8), {t, 1, n}, 
   Assumptions -> Element[n, Reals] && n > 1 && Element[t, Reals] && t >= 1 && 
    Element[u, Reals] && u >= 1], {u, 1, n}, 
  Assumptions -> Element[n, Reals] && n > 1]
$\endgroup$
5
  • $\begingroup$ You can express the sum with Fubini, and put all the terms such that $ij=k$ together. Thus, it become a combinatory problem. I think that the chaotic behavior is linked to that. $\endgroup$
    – jvc
    Commented May 19, 2020 at 21:24
  • $\begingroup$ Hi @jvc. I'm afraid I'm not savvy enough to know how to do that... $\endgroup$ Commented May 20, 2020 at 10:27
  • $\begingroup$ Specifically, Fubini gives $\int _1^n \int _1^n \frac{1}{(n-i j)^4+8} \mathrm di \mathrm dj=\int _1^n \frac{1}{(n-i j)^4+8} \mathrm d(ij)$ - but how do I obtain the integral $\int \frac{1}{(n-i j)^4+8} \mathrm d(ij)$? $\endgroup$ Commented May 20, 2020 at 12:08
  • $\begingroup$ My idea was to write the sum as : $\sum_{k=0}^{n^2} Card\{ (i, j) | i j =k \} \frac1{(n-k)^4 +8}$. Now, it remains to control the cardinal $Card\{ (i, j) | i j =k \}$. I think it is not really easy. $\endgroup$
    – jvc
    Commented May 20, 2020 at 12:41
  • $\begingroup$ Hi @jvc. I'm sure It's not easy! But the bounty is sitting there... $\endgroup$ Commented May 20, 2020 at 12:46

1 Answer 1

0
+150
$\begingroup$

This is not an answer. It is more heuristics, to explain why $f(n)$ behaves like $\log(n)$. I hope it can be formalized.

First, by changing the order of summation :

$$f(n) = \sum_{k = 1}^{n^2} Card\{(i, j) | ij = k\}\frac1{(n - k)^4 +8}$$

where $(i,j)$ is ordered.

$Card\{(i, j) | ij = k\}$ is of order $d(k)$, the number of divisors of $k$. But : $$\frac1{N} \sum_{k=1}^{N} d(k) = \log(N) + O(1)$$ (https://en.wikipedia.org/wiki/Divisor_summatory_function)

It has to be formalized but, we may consider that, $d(k) \simeq \log(k)$. Thus, maybe we can prove that :

$$f(n) \simeq \sum_{k = 1}^{n^2} \frac{\log(k)}{(n - k)^4 +8}$$

This sum is of order $\log(n)$, by spliting $k < n; k = n; k > n$.

$\endgroup$
1
  • $\begingroup$ Hi @jvc. Thank you for this. As you say, It's not exactly a canonical answer, and I do understand its limitations. Still, I'd rather the points went to you than disappeared in a vacuum, so I'm marking this as answered, with thanks. $\endgroup$ Commented May 22, 2020 at 12:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .