2
$\begingroup$

What would be the value of

$$\sum_{k=1}^{\sqrt{\frac{5}{2}}}\frac{1}{k}$$

Is it $H_{\sqrt{\frac{5}{2}}}$?

Using different definitions of harmonic numbers this question can be computed, but can I use the usual definition of harmonic numbers for any real numbers?

In other words is $$\sum_{k=1}^{n}\frac{1}{k}$$

A useful definition for any real $n$?

When I want to compute the value of $H_{\sqrt{\frac{5}{2}}}$ at Desmos I just define $\sum_{k=1}^{n}\frac{1}{k}$ and I don't put $\sqrt{\frac{5}{2}}$ directly at the upper limit, but I define $n=\sqrt{\frac{5}{2}}$ and the result is exactly what it should be, it seems using a simple substitution will give us the right answer, but generally are we allowed to use the regular definition of harmonic numbers when our $n$ is not necessarily a natural number?

$\endgroup$
  • $\begingroup$ I would define the $r$th harmonic number for a real number $r$ which is not a negative integer for example by $H_r = \gamma +\psi(r+1)$, where $\gamma$ is the Euler-Mascheroni constant and $\psi$ is the digamma function $\endgroup$ – Maximilian Janisch Feb 13 at 22:29
  • $\begingroup$ Things are even more complicated. Suppose you have a function of $f(n)$ in the domain of real $n$ for which $f(n) = H_n$ for positive integers $n$. Then $g(n) = f(n) + a \sin(\pi n)$ is another extension of $H_n$ to real $n$. Hence you need an additional condition to rule out $a\ne0$. $\endgroup$ – Dr. Wolfgang Hintze Feb 14 at 7:58
1
$\begingroup$

Indefinite Sum concept is the answer to your question.

In fact, if a function $f(x)$ is the (forward) difference of a function $F(x)$ $$ f(x) = \Delta _x F(x) = F(x + 1) - F(x) $$ then we say that $F(x)$ is the "antidifference" (or "indefinite sum") of $f(x)$ $$ F(x) = \Delta _x ^{\left( { - 1} \right)} f(x) = \sum\nolimits_x {f(x)} $$

If $ f(x)$ and $F(x)$ are defined over a real, or complex, domain for $x$ then we will have for example $$ \sum\limits_{k = 0}^n {f(x + k)} = \sum\limits_{k = 0}^n {\left( {F(x + 1) - F(x)} \right)} = F(x + n + 1) - F(x) $$

We write the above with a different symbol for the sum as $$ \sum\nolimits_{k = 0}^{\,n} {f(x + k)} = \sum\limits_{k = 0}^{n - 1} {f(x + k)} = F(x + n) - F(x) $$ which can also be written as $$ \sum\nolimits_{k = x}^{\,x + n} {f(k)} = F(x + n) - F(x) $$

The extension to $$ \sum\nolimits_{k = a}^{\,b} {f(k)} = F(b) - F(a) $$ for any real (or complex) $a,b$ inside the domain of definition of $f, F$ is quite natural.

Coming to the harmonic numbers, it is well known that the functional equation of the digamma function is $$ {1 \over x} = \Delta _x \,\psi (x) $$ and it is therefore "natural" to define $$ \bbox[lightyellow] { H_r = \sum\limits_{k = 1}^r {{1 \over k}} = \sum\nolimits_{k = 1}^{\,1 + r} {{1 \over k}} = \psi (1 + r) - \psi (1) = \psi (1 + r) + \gamma } \tag{1}$$ which substantiate M. Janisch's comment

Answering to W. Hintze's comment, please consider how the "indefinite sum" parallels the "indefinite integral - antiderivative" concept.
Similarly to $$ f(x) = {d \over {dx}}F(x)\quad \Leftrightarrow \quad F(x) = \int {f(x)dx} + c $$ we have that $$ f(x) = \Delta \,F(x)\quad \Leftrightarrow \quad F(x) = \sum\nolimits_x {f(x)} + \pi \left( x \right) $$ where now the family of antidifference functions differ by any function $\pi(x)$ , and not by a constant, which is periodic with period (or one of the periods) equal to $1$, as you rightly noticed.

So by "natural extension" I meant to say:
- an extension from integers to reals (and complex) field under the "indefinite sum" concept,
which provides a function $\mathbb C \to \mathbb C$ which fully interpolates $f(n)$;
- in the antidifference family to select the "simpliest / smoothiest" function, same as the Gamma function is selected among the functions satisfying $F(z+1)=zF(z)$ as the only one which is logarithmically convex, or which has the simplest Weierstrass representation, etc.

From the comments I could catch some skepticism as if my answer could just be an "extravagant" personal idea of mine.
That's absolutely not so, the definition in (1) is actually standardly accepted: refer to Wolfram Function Site, and in particular to this section or to the Wikipedia article.
I am just trying to enlight how we can assign a meaning to sums with bounds which are not integral and thus saying that $$ \bbox[lightyellow] { H_{\,1 + \sqrt {5/2} } = \sum\limits_{k = 1}^{\,1 + \sqrt {5/2} } {{1 \over k}} = \sum\nolimits_{k = 1}^{\,\,2 + \sqrt {5/2} } {{1 \over k}} = \psi (\,\,2 + \sqrt {5/2} ) - \psi (1) = 1.7068 \ldots } \tag{2}$$

$\endgroup$
  • $\begingroup$ I don't believe that the indefinite sum provides an answer to the question. If you believe it does, you should explain that in your answer. Just giving a link is not an adequate response. $\endgroup$ – Rob Arthan Feb 13 at 21:56
  • $\begingroup$ @RobArthan: your criticism is fully right and accepted: I expanded my answer $\endgroup$ – G Cab Feb 14 at 0:41
  • $\begingroup$ So finally can I use an irrational index for the lower or upper bound for the sum? $\endgroup$ – user715522 Feb 14 at 6:07
  • $\begingroup$ @ G Cab As to the question of what is a "natural" extension please see my comment to the OP. (and thanks for bringing indefinite sums to my attention). $\endgroup$ – Dr. Wolfgang Hintze Feb 14 at 8:03
  • $\begingroup$ @Dr.WolfgangHintze: well, the meaning of "natural extension" is .. quite natural, as much as the Gamma function is the natural extension of $(n-1)!$. That the "natural" one does not cover all the possible extensions that's absolutely true: I added some lines to make it clear which is the antidifference family of functions. $\endgroup$ – G Cab Feb 14 at 17:44
1
$\begingroup$

The $n$-th harmonic number $H_n=\sum_{k=1}^n\frac{1}{k}$ admits a nice representation as integral of a finite geometric series which can be generalised in a rather natural way. We have the following representation for $n$ a positive integer: \begin{align*} H_n=\sum_{k=1}^n\frac{1}{k}=\int_0^1\frac{1-t^n}{1-t}dt\tag{1} \end{align*}

The identity (1) is valid since we have \begin{align*} \int_0^1\frac{1-t^n}{1-t}dt&=\int_0^1\left(1+t+\cdots+t^{n-1}\right)\,dt\tag{2}\\ &=\left(t+\frac{1}{2}t^2+\cdots+\frac{1}{n}t^n\right)\bigg|_0^1\tag{3}\\ &=\left(1+\frac{1}{2}+\cdots+\frac{1}{n}\right)-\left(0\right)\tag{4}\\ &=H_n \end{align*}

Comment:

  • In (2) we apply the finite geometric series formula.

  • In (3) we do the integration.

  • In (4) we evaluate the expression at the upper and lower limit.

The representation (1) indicates a generalisation \begin{align*} H_\color{blue}{r}=\int_0^1\frac{1-t^\color{blue}{r}}{1-t}dt\tag{2} \end{align*} for real values $r$ in fact also for complex values.

Note:

  • The formula (2) can be found in the wiki page generalized harmonic numbers.

  • We have an interesting relationship with the Digamma function $\psi(r)$ which has an integral representation \begin{align*} \psi(r+1)=\int_0^1\frac{1-t^r}{1-t}\,dt-\gamma \end{align*} which is strongly related to (2). Here $\gamma$ is the Euler-Mascheroni constant.

  • If we stick at the sigma notation, we often find for real upper limit $r$ the meaning \begin{align*} \sum_{k=1}^r a_k=\sum_{k=1}^{\lfloor r\rfloor}a_k \end{align*} where $\lfloor .\rfloor$ is the floor function.

$\endgroup$
  • $\begingroup$ You are rigt : in the "traditional" sum notation writing $\sum\limits_{k = r}^s {a_{\,k} } $ actually means $\sum\limits_{k = \,\left\lceil r \right\rceil }^{\left\lfloor s \right\rfloor } {a_{\,k} } $. That's why we need to extend the meaning passing to the antidifference and using a slightly different symbol. $\endgroup$ – G Cab Feb 15 at 22:05
  • $\begingroup$ @GCab: I think the simpler approach via the integral representation already does the job to generalize $H_n$ appropriately. $\endgroup$ – Markus Scheuer Feb 15 at 22:11
  • $\begingroup$ Definitely yes, the integral representation does the job very nicely. But I understand the core of the post as being whether and what meaning to assign to a sum with non-integral bounds $\endgroup$ – G Cab Feb 15 at 22:24
  • $\begingroup$ @GCab: Yes, I know. :-) $\endgroup$ – Markus Scheuer Feb 15 at 22:25
0
$\begingroup$

Your question is "are we allowed to use the regular definition of harmonic numbers when our $n$ is not necessarily a natural number?" The answer is no, since the "regular definition" of a sum is $a_1 + a_2 + ... + a_n$. Here $n$ is the number of summands which can't be a non natural number.

But you can very well give a meaning to the result of a sum. And this result may accept non integers as input.

Take the simpler example of a "sum" $a(\pi) = \text{"}\sum_{k=1}^{\pi} k\text{"}$. This "sum" is not defined, as although the first three summands are 1, 2, and 3, the last 3.14...-th summand is not defined.

Hence the definition starts by calculating the sum up to an integer $n$, and afterwards insert the non integer value for $n$. Here this gives the arithmetic sum $a(n)= \frac{1}{2}n(n+1)$, and hence $a(\pi)= \frac{1}{2}\pi(\pi+1)$.

Now for the harmonic number there is no such simple closed expression for general $n$. But here comes a relation which is valid for natural $n$: $\sum_{k=1}^n \frac{1}{k} = \sum_{k=1}^n \int_0^1 x^{k-1}\,dx=\int_0^1 \sum_{k=1}^n x^{k-1}\,dx=\int_0^1 \frac{1-x^n}{1-x}\,dx$, and now the r.h.s. is valid for also for real $n$.

Your description of the problem gives a good illustration of this procedure. In making the usual definition of the harmonic number $\sum_{k=1}^n \frac{1}{k}$ in your CAS, the system understands that you mean the harmonic number function $H_n$ it has in its "belly", and this is valid for real numbers. If you then insert a value for $n$, be it integer or not, you get the result of this internal function.

$\endgroup$
  • $\begingroup$ please, let's avoid confusions, do not use the symbol $\sum\nolimits_{k = 1}^{\,\pi } k $ in your argumentation above since it is the symbol adopted (almost standardly) for the antidifference, and $$ \sum\nolimits_{k = 1}^{\,\pi } k = {{\pi \left( {\pi - 1} \right)} \over 2} $$ ! Use instead, $$ \sum\limits_{k = 1}^\pi k = \sum\nolimits_{k = 1}^{\,\pi + 1} k = {{\pi \left( {\pi + 1} \right)} \over 2} $$ And please have a look at the renowned and authoritative "concrete Mathematics" para. 2.6 $\endgroup$ – G Cab Feb 15 at 21:48
  • $\begingroup$ You might have noticed that I have put the expression in hyphens to avoid confusion. You are free to use any symbol you like, of course, but please avoid forcing others to use your conventions. $\endgroup$ – Dr. Wolfgang Hintze Feb 16 at 0:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy