One Step Forward, Two Steps Back: Biconvergence of Washed Harmonic Series ()
1. Introduction
Possibly the simplest and most beautiful infinite series to conceptualize, the harmonic series intertwines a world of raw mathematical fortitude with that of elegant musical theory. Holding its origins in ancient Greece, the harmonic series was first proven to diverge in the 14th Century by Parisian scholar Nicole Oresme [1,2]. In 1672 and 1689, respectively, Mengoli and Bernoulii provided additional unique proofs of the series’ divergence. With such a basic form, the harmonic series yields itself to various manipulations and interpretations. One of the more fascinating alterations to the harmonic series, presented by A. J. Kempner in 1914, included the idea of omitting terms with a nine in the denominator [3]. Although this may seem to be insignificant when speaking of an infinite sum, it actually produces a very interesting result— remarkably, the sum converges! More recently, number theorists and theoretical physicists have taken an interest in double, triple, and multiple harmonic series [4-7]. To build, for example, the double harmonic series, consider the positive integer lattice
; the series is then the sum of all terms of the form
taken over this lattice. Here we present our own manipulation—an altered version of this classic series as well. We won’t be omitting terms, but simply altering the way in which the series is summed—the “walk” of the series, if you will.
Our paper will be organized in the following fashion. Section 2 will introduce our modified walk; the way in which we wish to view our altered harmonic series. Section 3 expands upon our work and progresses to the general positive integer case. The general case for all real numbers is then discussed in Section 4 followed by an analysis of our work in Section 5. Further questions are then posed in Section 6. Although pivotal in musical theory, the harmonic series, we believe, is a cornerstone upon which new mathematics is built.
2. A Washed Harmonic Series
Let us consider the following series that involves the terms of the harmonic series, but with an interesting twist:
![](https://www.scirp.org/html/1-5300436\e1194f8e-0164-4739-8317-9b17f3c28fde.jpg)
Upon first notice of this harmonic-type series there are a few observations. The terms of this series have had their signs (±) adjusted so that the first term is added, the next 2 terms are subtracted, the next 4 terms are added, the next 8 terms are subtracted, and the next 16 terms are added. This process continues for this infinite series where we either add or subtract terms in segments of powers of 2.
In terms of “walking through a room” one can think of themselves as standing on the opposite side of a room and starting to walk towards the other side (where the door might be). After going slightly more than 83%
of the way to the other side, you decide to turn around and walk back towards your starting point. You travel a distance of almost 76% of the length of the room
. You again reverse directions and continue this process.
We will call this particular series the washed harmonic series of base 2. There are obviously some natural questions to be asked. As one traverses the room is there any point at which walking would cease; that is to say, does this series converge? If so, then what point does this walking cease and/or series converge to? Or would the one walking leave the confines of the room; in other words, does the series have partial sums below 0 or above 1? Perhaps none of these things would happen and instead one would forever walk between two fixed spots, in essence would this “biconverge”?
To establish a notion of biconvergence, from any series which has both positive and negative terms we can construct an alternating series that we call the “washed” series associated with the original (“washed” after the up and down motion of washing clothes prior to our modern day washing machines).
Definition 2.1. To construct the washed series for a series
![](https://www.scirp.org/html/1-5300436\13eb2abe-6cde-49e1-9a59-388b94a57ced.jpg)
we define
to be the sum of all of the first positive terms (that is,
where each
and
),
to be the negated sum of all of the next negative terms (that is,
where each
and
),
to be the sum of all of the next positive terms,
to be the negated sum of all of the next negative terms, and so on and so forth. The washed series associated to the original series is then
![](https://www.scirp.org/html/1-5300436\b01818f5-68b1-44fe-8755-28a5b96e4aca.jpg)
Definition 2.2. A (washed) alternating series given by
is said to biconverge if
![](https://www.scirp.org/html/1-5300436\2e37e1b6-b7e8-46bb-9fc7-d294f523dd4a.jpg)
Observe that a biconvergent series, as
goes to infinity, will oscillate between an upper partial sum and a lower partial sum. The limit of the upper partial sum will be called the upper convergent value and the limit of the lower partial sum will be called the lower convergent value. To answer some of the questions regarding the washed harmonic series with base 2, it helps to formulate this series in a concise way. Define the mapping
by
and notice that our series is
![](https://www.scirp.org/html/1-5300436\bba459b6-e315-47ff-8068-b30f6d380df1.jpg)
To note this explicitly, we see
![](https://www.scirp.org/html/1-5300436\9c1ef94a-306b-492f-a47f-0ba744b8c1f3.jpg)
can be expanded as
![](https://www.scirp.org/html/1-5300436\3cd5e306-0a66-40e9-a546-b6d018a72a48.jpg)
Proposition 2.1. We have
![](https://www.scirp.org/html/1-5300436\88aabcd7-1c95-4c84-8af8-13ed3182f072.jpg)
Proof: Since the function
is decreasing, we have the inequality
![](https://www.scirp.org/html/1-5300436\184b6999-3421-480b-a459-33a4b8bedd89.jpg)
for all
(since we only care about long-term behavior, the term
is irrelevant). Since
![](https://www.scirp.org/html/1-5300436\5795413c-4fde-4742-b88b-8a083c008b79.jpg)
and
![](https://www.scirp.org/html/1-5300436\5ec435b1-b091-45b8-ac64-9e8b16ecfd74.jpg)
we have that
![](https://www.scirp.org/html/1-5300436\8f65ab75-5f82-4050-b749-a8ef73d39775.jpg)
Apply the same argument to the integral on the righthand side of the inequality to see that
![](https://www.scirp.org/html/1-5300436\fe5d8967-8bb6-4157-a07e-d0d03b491376.jpg)
and apply the squeeze theorem to finish the proof.
This proposition shows that this series is indeed biconvergent; the person walking back and forth across the room will eventually be walking a distance of
(with respect the distance across the room being 1) in each step before changing directions. Perhaps the most natural question now is what are the two biconvergent values? That is, what is the upper convergent value, and what is the lower convergent value. To analyze this series further, let us introduce a definition.
Definition 2.3. For a series defined as
![](https://www.scirp.org/html/1-5300436\99270099-add4-4f1e-8cd7-5d48f4470b9a.jpg)
the term
will be called a washing of the series, while the term
will be called a complete washing of the series.
A list of values for the partial sum of the series after each washing can be found in Table 1. Observe the oscillating behavior in values as the number of washings increases.
3. The General Positive Integer Case
We now consider a more general case. In the above case, the washing sizes are powers of 2; consider what happens when the washing sizes are powers of an arbitrary integer
. That is, we again start with the first term of the harmonic series, then subtract the next
terms of the harmonic series, followed by adding the next
terms of the harmonic series, and so-on and so-forth.
Let us examine the denominators of the harmonic series elements we use in each washing. The
washing contains only the denominator of 1, and the
washing contains the denominators 1 + 1 through
(since we need
terms in the washing). The
washing starts with a denominator of
and ends with a denominator of
since this washing contains
terms. The next has, as expected, the denominators of
through
, and, in general, the
-washing starts with a denominator of
and ends with a denominator of
.
For a base of
, consider the function
Table 1. Partial sums of washings for base 2.
where the last equality follows from the usual partial sums of a geometric sum (when
) and it is understood that
is always equal to
in the case that
. Then we can express our washing as
![](https://www.scirp.org/html/1-5300436\8a11302a-56b7-4382-adf7-b524a5f23cb3.jpg)
and our general positive integer case series as
![](https://www.scirp.org/html/1-5300436\8bb0f46a-c662-4ab7-b676-052999adb23f.jpg)
Proposition 3.1. We have ![](https://www.scirp.org/html/1-5300436\270050a9-0907-4baf-a717-6c2508abe847.jpg)
Proof: The proof of this proposition mirrors the proof of Proposition 2.1 using the fact that
![](https://www.scirp.org/html/1-5300436\b72be5e0-6baf-43bc-89c2-15932426cdf6.jpg)
As in Section 2, we indeed obtain a biconvergent series for
. We remark that in the case of
, the number of terms in a washing is always 1 and the series we obtain is the alternating harmonic series which is well-known to converge to
. The limiting value of
is actually
which agrees with the definition of a series converging as opposed to biconverging.
4. The General Case
We now consider the behavior of this process with noninteger bases. First, of course, we need to define a notion of what it means to have a summation involving a non-integer number of terms at each step. We use the case when
as an example. First, we add together
terms of the harmonic series; this would amount to adding just the first term 1. Next we need to subtract
terms, meaning two whole terms, and then approximately 71.8% of the next term. That is, we subtract the
, the
, and about
. Continuingwe need to add the next
terms. First we take the remaining 28.2% of the
, leaving about 7.107 terms, so we add 7 whole terms, followed by 10.7% of another. Thus this time we add (approximately)
![](https://www.scirp.org/html/1-5300436\ed74707a-17ad-418f-acd3-9cca1393cf72.jpg)
and the process continues.
To formalize this process, denote by
and
the usual floor and ceiling functions. Define the following functions of
and
(where
is referred to as the base, restricted to
with
, and
will be called the washing number):
![](https://www.scirp.org/html/1-5300436\8940ec11-ac02-4f8f-9e27-339b93dac6ec.jpg)
![](https://www.scirp.org/html/1-5300436\68e727ca-674a-4c0e-99b6-70a377f54d1a.jpg)
![](https://www.scirp.org/html/1-5300436\87f94709-0f57-41f3-88b4-9b333aff6b50.jpg)
![](https://www.scirp.org/html/1-5300436\fb3a5db2-4899-491d-94a0-7455bb0ea64e.jpg)
![](https://www.scirp.org/html/1-5300436\fbb4fd6d-9bce-4afb-a5e4-991412193912.jpg)
A few remarks are in order. First, note that the definition of
depends on whether or not
is an integer. In the
case,
and
for all
; there are no fractional parts of the harmonic series terms to deal with. For this reason,
is adjusted in these cases to not leave out any harmonic series terms and have
agree with the washings of Section 3 so that we can define the abstraction of our series from Sections 2 and 3. Now when
, observe that
and
are the percentages of terms to use in our washing, so these values are between 0 and 1, inclusively. Also, since a term that is only partially added (or subtracted) needs to be completely subtracted (or added) in the next washing, we must have
. We now prove these statements.
Lemma 4.1. For all x and j, we have
and
.
Proof: By definition, when
, we have the identity
![](https://www.scirp.org/html/1-5300436\c474a435-7771-48df-8d6b-5044c7ee94a8.jpg)
Let
, so that
, noting then that we must have
. Similarly, let
, so that
![](https://www.scirp.org/html/1-5300436\93b9a283-116f-462d-ba61-2712651a2db5.jpg)
We then see that
as needed.
Lemma 4.2. For all
and all
, we have
.
Proof: From the definitions of
and
, we have
![](https://www.scirp.org/html/1-5300436\219b01b0-e75a-4013-b2f5-f9090c27b524.jpg)
which is equivalent to
![](https://www.scirp.org/html/1-5300436\aebafc3d-9e42-4f14-9ece-c006303fcb04.jpg)
Letting
, this last equality becomes
and the proof is complete by noting that
for any non-integer value of
.
The abstraction of the series in Sections 2 and 3 is given by
![](https://www.scirp.org/html/1-5300436\debe3555-3665-4a22-9b97-8997b49e0f84.jpg)
which we will call the washed harmonic series of base x. Let us define function
for the upper convergent value of
and function
for the lower convergent value of
. For
, denote
![](https://www.scirp.org/html/1-5300436\36452244-ed5b-46aa-a9cf-85cf94dfdea8.jpg)
and
![](https://www.scirp.org/html/1-5300436\d9b6e27f-101e-4100-b459-c43491e4e44a.jpg)
Also set
![](https://www.scirp.org/html/1-5300436\98f5abfa-b0a5-4ee8-a5bb-d616a2367042.jpg)
and similarly
![](https://www.scirp.org/html/1-5300436\346942c5-d7ff-4bb7-bb9f-cb1a140dcd9a.jpg)
We exhibit in Figure 1 the graphs of
and
(the top and bottom “curves” respectively) on the interval
. The approximations are obtained by using U9(x) and L8(x) on [1,2], U6(x) and L5(x) on
, and U4(x) and L3(x) on [3,4]; observe that more accurate pictures could be obtained by using many more washings close to 1.
As an interesting note, observe that when
, the value of
is very close to 0, and the value of
is very close to 1, giving a possible difference in biconvergent values of
. Let us formulate and prove the equivalent of Propositions 2.1 and 3.1 in this most general case.
Theorem 4.1. For all x ≥ 1, we have
;
Figure 1. Estimates of upper and lower convergence.
that is, the series biconverges.
Proof: We first consider the definition of
and look at each piece individually. We need not worry about the case when
to examine the limit as
. Thus, we have
![](https://www.scirp.org/html/1-5300436\953ceeaf-749b-43be-8ec9-32d15fa397ad.jpg)
For (1), from Lemma 4.1, we have
and dividing through by
produces
![](https://www.scirp.org/html/1-5300436\34f6cfcb-e4dc-49e9-9cda-14430e15818e.jpg)
Observe that as
, we note that
, thus
and we can conclude that
![](https://www.scirp.org/html/1-5300436\783e9e46-29f9-4b14-9b7d-45ae5388e55b.jpg)
The squeeze theorem then yields that the quantity of (1) goes to 0 as
. The same reasoning applies to (3) since
as well. Thus it suffices to consider (2) as the only contributing factor to the limit.
For (2), as with the proof of Proposition 2.1, we use an integral for a lower bound and upper bound on the term. For a fixed
, we have
(4.1)
and
(4.2)
where
is our variable of integration. The integral in (4.1) we can compute to be
(4.3)
Note that when
,
![](https://www.scirp.org/html/1-5300436\ae857b5b-a917-406e-9f01-bd4fc99900d2.jpg)
which is simply
![](https://www.scirp.org/html/1-5300436\cd7d69f5-8a8e-4297-8b0f-058d1e479be2.jpg)
so the inside numerator simplifies nicely. The denominator is simply
![](https://www.scirp.org/html/1-5300436\23fc488d-6d20-4482-8b1a-3fd165009b58.jpg)
When
, simply treat the lone j of the numerator and denominator as 0, or appeal to the remark about
for integer values and Proposition 3.1 for the desired result.
From definition given earlier for the general case of
, we can quickly observe that since
, we must have
. Thus we also have
![](https://www.scirp.org/html/1-5300436\dafa8aba-ae10-466d-81c5-9aa553265ba3.jpg)
or, adding the
from the numerator back and summing the geometric sum,
(4.4)
Similarly, for the denominator, we will have
(4.5)
In evaluating the limit on the right-hand side of (4.3), we desire to bound this limit by two others. We can find a lower bound for
![](https://www.scirp.org/html/1-5300436\adccd32d-4477-46a1-9326-804e00427ecd.jpg)
by making the numerator as small as possible, and the denominator as large as possible, and we can find an upper bound for it by making the numerator as large as possible and the denominator as small as possible. Using (4.4) and (4.5), we have
(4.6)
The quantity on the right-hand side of (4.6) can be rewritten as
![](https://www.scirp.org/html/1-5300436\7b56fbe4-c6d8-4f52-9c7b-e708a2e56775.jpg)
which goes to
as
. Examine the inside of the logarithm for the left-hand side of (4.6); its reciprocal can be written as
![](https://www.scirp.org/html/1-5300436\33bdd993-2cbd-45f3-a8fe-46da6775db53.jpg)
As
, this quantity goes to
; thus
![](https://www.scirp.org/html/1-5300436\64eb3591-1a2b-4129-8337-46136c49f98f.jpg)
as well. The squeeze theorem concludes that the limit in (4.3) is indeed
, so
![](https://www.scirp.org/html/1-5300436\f91b21b8-2b12-4e76-9d6e-caf58c07ca43.jpg)
By observing that the integral on the right-hand side of (4.2) can be computed in exactly the same way (adding a 1 to the numerator and denominator of the limit in (4.3) has no effect for the limit), we have
![](https://www.scirp.org/html/1-5300436\2b30dafd-b38d-4e1f-9671-1a0e16f86d0a.jpg)
and applying the squeeze theorem gives a limiting value of
to quantity (2) above. Combining (1), (2), and
(3) yields
, that is, biconvergence.
5. Analysis
We consider the behavior of our series under different bases as the base
goes to infinity. In Table 2, we give estimates (up to six decimal places) for the integral bases 1 through 10. Note that the case when
is again the alternating harmonic series and its upper and lower convergent value is
. The table includes the various values of
,
,
and
. Recall that
is always equal to
due to Theorem 4.1.
One observation that could be made from the approximate graphs of
and
given in Figure 1 is that both
and
appear unbounded as x goes to infinity. The table above seems to confirm this, but we will now prove the boundedness of
.
Theorem 5.1. The function
is bounded.
Proof: We prove that
is bounded above first, and proceed accordingly for the lower bound. Recall
and consider the following grouping:
![](https://www.scirp.org/html/1-5300436\7d0d9a5a-6b77-42eb-86b3-f9faf5a40ed8.jpg)
We use an integral estimate on the value of
for odd integers
. To maximize the quantity
, we wish to minimize ![](https://www.scirp.org/html/1-5300436\95035bdb-1281-409b-8c90-8fac25cecaf5.jpg)
Table 2. Upper and lower convergent estimates.
and maximize
. Consequently, for odd
, since
and
, we have that
, which equals
![](https://www.scirp.org/html/1-5300436\d8be0195-8b86-41e9-8cee-fdb4abe77f74.jpg)
is greater than or equal to
![](https://www.scirp.org/html/1-5300436\598a569d-35cd-4a61-aee7-52fad1bd5cb8.jpg)
Evaluating this integral and using the identity
yields
(5.1)
for integers
. Similarly, for even
, we have that
, which equals
![](https://www.scirp.org/html/1-5300436\c2abb4b3-fa91-43da-af09-5f352d727056.jpg)
is less than or equal to
.
This latter quantity is equivalent to
![](https://www.scirp.org/html/1-5300436\0d62a5fd-fc1a-4506-8af6-88847e82b284.jpg)
using the facts that
and that
and
. Evaluating, we have
(5.2)
for
Combining (5.1) and (5.2), we have, for
,
![](https://www.scirp.org/html/1-5300436\3818161e-3eb7-48a8-8b1f-842069683be9.jpg)
and, in particular, for
, we have
![](https://www.scirp.org/html/1-5300436\54767321-803d-43df-8219-57852042bc8d.jpg)
when
. Using the definition of
, when
, we have that
![](https://www.scirp.org/html/1-5300436\04034f2f-b1de-4242-98e9-14004d7eb1da.jpg)
which we can see is
![](https://www.scirp.org/html/1-5300436\7bc9ba64-ab89-42ca-b624-566feabf4fa2.jpg)
Since the quantity
![](https://www.scirp.org/html/1-5300436\9ca129d7-7c10-4845-ba1a-f3ebe32a4e27.jpg)
that appears on the right-hand side is bounded above by 0.25 on the interval
, we then have our over-estimate as
![](https://www.scirp.org/html/1-5300436\aaae477c-f5f5-4846-bfa4-eacc9a5a40b3.jpg)
which is bounded above on the interval
, so U(x) is bounded above, noting that on the interval
one can show that
is bounded above by direct computation.
In a very similar fashion, we can obtain a lower estimate by minimizing the quantity
. Integral estimates as above yield
![](https://www.scirp.org/html/1-5300436\b32a1617-d6e4-474f-814c-d5cda659ed13.jpg)
for
and
![](https://www.scirp.org/html/1-5300436\ce8cb94b-6226-4c93-94d6-b9ae3ce4fddd.jpg)
when
.
Similarly, U(x) is then shown to be bounded below by the same process as above, noting that ![](https://www.scirp.org/html/1-5300436\b81f5820-b279-4f0e-84f8-759a3078558c.jpg)
is bounded below by −1.2 and
is bounded below by −0.6 on the interval
. Use the geometric series as above for the other washings for the interval
and observe that direct computation yields boundedness on
.
As a corollary to Theorem 5.1, we have the following result regarding
.
Corollary 5.1. The function
is unbounded as
goes to infinity.
Proof: From Theorem 4.1 before, we know that
, or, by very quick rearrangement,
. Given that
is bounded above and below from Theorem 5.1 and
is unbounded as
goes to infinity,
must also be unbounded as
goes to infinity.
6. Further Questions
There are several natural questions that provide avenues for future work. First, with regards to Theorem 5.1, finding the least upper bound (and greatest lower bound) would be remarkable. Given the behavior of
, it seems natural that the lower bound should be when
(with a value of
). A more difficult question is regarding the upper bound; in the proof of Theorem 5.1, the right side of
![](https://www.scirp.org/html/1-5300436\8cff3526-9c61-43e9-b286-4dc864df16e8.jpg)
has a limiting value of
and as
goes to infinity, the terms afterwards in
do not contribute much. We might expect the upper bound to be
, but computational evidence suggests that
is never above 1.5, even for large values of
.
Another question of interest is that of determining a closed formula for
or
, or even whether or not one exists. Other natural avenues might examine the properties of
and
. Are these functions continuous, or perhaps continuous in a weaker sense? How fast does
grow, and how fast does
grow in the negative direction? The presence of the floor and ceiling functions in
and
suggest that
is not strictly increasing and, in fact, values of
can be chosen so that
actually decreases slightly on small intervals.
Last, but perhaps certainly not least, what sort of abstraction is there after our most general case? Can we make sense of a three-dimensional model of our “walk across a room”? What other patterns in the number of terms for a washing make sense and are not equivalent to our generalization? With the recent interest in the double, triple, and multiple harmonic series [4-7], how can we apply our methods to those types of series? Is there then a q-series analog or a q-series identity that is a direct result of our methods, similar to [8]?