0
$\begingroup$

I apologise if this is obvious or off-topic.

Let $n$ be large and fixed, $b>0,$ and $m \in [\log n,n),$ say. This sum seems to be hard to evaluate/upper bound analytically (in closed form). Approximating by integration is tricky. To use a $u-$substitution for teh quantity inside the square root, would mean that the estimated integral would have an extra logarithm which would mean the bound wouldn't be so great. Mathematica (via Wolfram Alpha) gives (after factoring out $\sqrt{n}$):

this

but the problem here is that the inverse hyperbolic tangent blows up if its argument is strictly bigger than 1.

It doesn't help that all my books, including Gradsteyn-Rhzik are at work, and so is my licenced copy of Mathematica--off limits due to COVID-19.

Any comments, suggestions appreciated. Maybe there is something obvious I haven't seen.

$\endgroup$

1 Answer 1

2
$\begingroup$

Assuming the $x$ in your title is the same as $k$, you want to upper-bound $$s:=\sum_{k=1}^m\sqrt{n/k+b}=\sqrt n\,\sum_{k=1}^m f(k),$$ where $$f(x):=\sqrt{1/x+c},\quad c:=b/n>0.$$ The function $f$ is strictly convex on $(0,\infty)$, whence $$s=\sqrt n\,\sum_{k=1}^m f(k) \\ <\sqrt n\,\int_{1/2}^{m+1/2}f(x)\,dx \\ =\sqrt n\,\Big( \frac{\sqrt{(2 m+1) (2 c m+c+2)}}2-\frac{\sqrt{c+2}}{2}\Big) \\ +\frac{\sqrt n}{2\sqrt{c}}\, \ln\frac{(2 m+1) \left(\sqrt{\frac{2}{2 c m+c}+1}+1\right)^2}{\left(\sqrt{\frac{c+2}{c}}+1\right)^2}.$$

$\endgroup$
2
  • $\begingroup$ Thank you! It looks like integration by parts for the last step? $\endgroup$
    – kodlu
    Commented Nov 3, 2020 at 6:32
  • 1
    $\begingroup$ @kodlu : I just used Mathematica to compute the integral (which took Mathematica a surprisingly long time to do that) and then simplified the result mostly by hand. However, the integral can be taken by the standard in such a case substitution $u=\sqrt{1/x+c}$, which reduces the integral to one of a rational function. $\endgroup$ Commented Nov 3, 2020 at 14:02

You must log in to answer this question.

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