The name of the harmonic series derives from the concept of overtones or harmonics in music: the wavelengths of the overtones of a vibrating string are ,,, etc., of the string's fundamental wavelength.[1][2] Every term of the harmonic series after the first is the harmonic mean of the neighboring terms, so the terms form a harmonic progression; the phrases harmonic mean and harmonic progression likewise derive from music.[2]
Beyond music, harmonic sequences have also had a certain popularity with architects. This was so particularly in the Baroque period, when architects used them to establish the proportions of floor plans, of elevations, and to establish harmonic relationships between both interior and exterior architectural details of churches and palaces.[3]
The divergence of the harmonic series was first proven in 1350 by Nicole Oresme.[2][4] Oresme's work, and the contemporaneous work of Richard Swineshead on a different series, marked the first appearance of infinite series other than the geometric series in mathematics.[5] However, this achievement fell into obscurity.[6] Additional proofs were published in the 17th century by Pietro Mengoli[2][7] and by Jacob Bernoulli.[8][9][10] Bernoulli credited his brother Johann Bernoulli for finding the proof,[10] and it was later included in Johann Bernoulli's collected works.[11]
The partial sums of the harmonic series were named harmonic numbers, and given their usual notation , in 1968 by Donald Knuth.[12]
Definition and divergence
The harmonic series is the infinite series
in which the terms are all of the positive unit fractions. It is a divergent series: as more terms of the series are included in partial sums of the series, the values of these partial sums grow arbitrarily large, beyond any finite limit. Because it is a divergent series, it should be interpreted as a formal sum, an abstract mathematical expression combining the unit fractions, rather than as something that can be evaluated to a numeric value. There are many different proofs of the divergence of the harmonic series, surveyed in a 2006 paper by S. J. Kifowit and T. A. Stamps.[13]
Two of the best-known[1][13] are listed below.
Comparison test
One way to prove divergence is to compare the harmonic series with another divergent series, where each denominator is replaced with the next-largest power of two:
Grouping equal terms shows that the second series diverges (because every grouping of convergent series is only convergent):
Because each term of the harmonic series is greater than or equal to the corresponding term of the second series (and the terms are all positive), and since the second series diverges, it follows (by the comparison test) that the harmonic series diverges as well. The same argument proves more strongly that, for every positiveinteger,
This is the original proof given by Nicole Oresme in around 1350.[13] The Cauchy condensation test is a generalization of this argument.[14]
Integral test
It is possible to prove that the harmonic series diverges by comparing its sum with an improper integral. Specifically, consider the arrangement of rectangles shown in the figure to the right. Each rectangle is 1 unit wide and units high, so if the harmonic series converged then the total area of the rectangles would be the sum of the harmonic series. The curve stays entirely below the upper boundary of the rectangles, so the area under the curve (in the range of from one to infinity that is covered by rectangles) would be less than the area of the union of the rectangles. However, the area under the curve is given by a divergent improper integral,
Because this integral does not converge, the sum cannot converge either.[13]
In the figure to the right, shifting each rectangle to the left by 1 unit, would produce a sequence of rectangles whose boundary lies below the curve rather than above it.
This shows that the partial sums of the harmonic series differ from the integral by an amount that is bounded above and below by the unit area of the first rectangle:
Generalizing this argument, any infinite sum of values of a monotone decreasing positive function of (like the harmonic series) has partial sums that are within a bounded distance of the values of the corresponding integrals. Therefore, the sum converges if and only if the integral over the same range of the same function converges. When this equivalence is used to check the convergence of a sum by replacing it with an easier integral, it is known as the integral test for convergence.[15]
No harmonic numbers are integers except for .[17][18] One way to prove that is not an integer is to consider the highest power of two in the range from 1 to . If is the least common multiple of the numbers from 1 to , then
can be rewritten as a sum of fractions with equal denominators
in which only one of the numerators, , is odd and the rest are even, and (when ) is itself even. Therefore, the result is a fraction with an odd numerator and an even denominator, which cannot be an integer.[17] More generally, any sequence of consecutive integers has a unique member divisible by a greater power of two than all the other sequence members, from which it follows by the same argument that no two harmonic numbers differ by an integer.[18]
Another proof that the harmonic numbers are not integers observes that the denominator of must be divisible by
all prime numbers greater than and less than or equal to , and uses Bertrand's postulate to prove that this set of primes is non-empty. The same argument implies more strongly that, except for , , and , no harmonic number can have a terminating decimal representation.[17] It has been conjectured that every prime number divides the numerators of only a finite subset of the harmonic numbers, but this remains unproven.[19]
Interpolation
The digamma function is defined as the logarithmic derivative of the gamma function
Just as the gamma function provides a continuous interpolation of the factorials, the digamma function provides a continuous interpolation of the harmonic numbers, in the sense that .[20]
This equation can be used to extend the definition to harmonic numbers with rational indices.[21]
Applications
Many well-known mathematical problems have solutions involving the harmonic series and its partial sums.
The jeep problem or desert-crossing problem is included in a 9th-century problem collection by Alcuin, Propositiones ad Acuendos Juvenes (formulated in terms of camels rather than jeeps), but with an incorrect solution.[22] The problem asks how far into the desert a jeep can travel and return, starting from a base with loads of fuel, by carrying some of the fuel into the desert and leaving it in depots. The optimal solution involves placing depots spaced at distances from the starting point and each other, where is the range of distance that the jeep can travel with a single load of fuel. On each trip out and back from the base, the jeep places one more depot, refueling at the other depots along the way, and placing as much fuel as it can in the newly placed depot while still leaving enough for itself to return to the previous depots and the base. Therefore, the total distance reached on the th trip is
where is the th harmonic number. The divergence of the harmonic series implies that crossings of any length are possible with enough fuel.[23]
For instance, for Alcuin's version of the problem, : a camel can carry 30 measures of grain and can travel one leuca while eating a single measure, where a leuca is a unit of distance roughly equal to 2.3 kilometres (1.4 mi). The problem has : there are 90 measures of grain, enough to supply three trips. For the standard formulation of the desert-crossing problem, it would be possible for the camel to travel leucas and return, by placing a grain storage depot 5 leucas from the base on the first trip and 12.5 leucas from the base on the second trip. However, Alcuin instead asks a slightly different question, how much grain can be transported a distance of 30 leucas without a final return trip, and either strands some camels in the desert or fails to account for the amount of grain consumed by a camel on its return trips.[22]
In the block-stacking problem, one must place a pile of identical rectangular blocks, one per layer, so that they hang as far as possible over the edge of a table without falling. The top block can be placed with of its length extending beyond the next lower block. If it is placed in this way, the next block down needs to be placed with at most of its length extending beyond the next lower block, so that the center of mass of the top two block is supported and they do not topple. The third block needs to be placed with at most of its length extending beyond the next lower block, and so on. In this way, it is possible to place the blocks in such a way that they extend lengths beyond the table, where is the th harmonic number.[24][25] The divergence of the harmonic series implies that there is no limit on how far beyond the table the block stack can extend.[25] For stacks with one block per layer, no better solution is possible, but significantly more overhang can be achieved using stacks with more than one block per layer.[26]
In 1737, Leonhard Euler observed that, as a formal sum, the harmonic series is equal to an Euler product in which each term comes from a prime number: where denotes the set of prime numbers. The left equality comes from applying the distributive law to the product and recognizing the resulting terms as the prime factorizations of the terms in the harmonic series, and the right equality uses the standard formula for a geometric series. The product is divergent, just like the sum, but if it converged one could take logarithms and obtain
Here, each logarithm is replaced by its Taylor series, and the constant on the right is the evaluation of the convergent series of terms with exponent greater than one. It follows from these manipulations that the sum of reciprocals of primes, on the right hand of this equality, must diverge, for if it converged these steps could be reversed to show that the harmonic series also converges, which it does not. An immediate corollary is that there are infinitely many prime numbers, because a finite sum cannot diverge.[27] Although Euler's work is not considered adequately rigorous by the standards of modern mathematics, it can be made rigorous by taking more care with limits and error bounds.[28] Euler's conclusion that the partial sums of reciprocals of primes grow as a double logarithm of the number of terms has been confirmed by later mathematicians as one of Mertens' theorems,[29] and can be seen as a precursor to the prime number theorem.[28]
Another problem in number theory closely related to the harmonic series concerns the average number of divisors of the numbers in a range from 1 to , formalized as the average order of the divisor function,
The operation of rounding each term in the harmonic series to the next smaller integer multiple of causes this average to differ from the harmonic numbers by a small constant, and Peter Gustav Lejeune Dirichlet showed more precisely that the average number of divisors is (expressed in big O notation). Bounding the final error term more precisely remains an open problem, known as Dirichlet's divisor problem.[30]
Several common games or recreations involve repeating a random selection from a set of items until all possible choices have been selected; these include the collection of trading cards[31][32] and the completion of parkrun bingo, in which the goal is to obtain all 60 possible numbers of seconds in the times from a sequence of running events.[33] More serious applications of this problem include sampling all variations of a manufactured product for its quality control,[34] and the connectivity of random graphs.[35] In situations of this form, once there are items remaining to be collected out of a total of equally-likely items, the probability of collecting a new item in a single random choice is and the expected number of random choices needed until a new item is collected is . Summing over all values of from down to 1 shows that the total expected number of random choices needed to collect all items is , where is the th harmonic number.[36]
The quicksort algorithm for sorting a set of items can be analyzed using the harmonic numbers. The algorithm operates by choosing one item as a "pivot", comparing it to all the others, and recursively sorting the two subsets of items whose comparison places them before the pivot and after the pivot. In either its average-case complexity (with the assumption that all input permutations are equally likely) or in its expected time analysis of worst-case inputs with a random choice of pivot, all of the items are equally likely to be chosen as the pivot. For such cases, one can compute the probability that two items are ever compared with each other, throughout the recursion, as a function of the number of other items that separate them in the final sorted order. If items and are separated by other items, then the algorithm will make a comparison between and only when, as the recursion progresses, it picks or as a pivot before picking any of the other items between them. Because each of these items is equally likely to be chosen first, this happens with probability . The total expected number of comparisons, which controls the total running time of the algorithm, can then be calculated by summing these probabilities over all pairs, giving[37]
The divergence of the harmonic series corresponds in this application to the fact that, in the comparison model of sorting used for quicksort, it is not possible to sort in linear time.[38]
The depleted harmonic series where all of the terms in which the digit 9 appears anywhere in the denominator are removed can be shown to converge to the value 22.92067661926415034816....[44] In fact, when all the terms containing any particular string of digits (in any base) are removed, the series converges.[45]
References
^ abRice, Adrian (2011). "The harmonic series: A primer". In Jardine, Dick; Shell-Gellasch, Amy (eds.). Mathematical Time Capsules: Historical Modules for the Mathematics Classroom. MAA Notes. Vol. 77. Washington, DC: Mathematical Association of America. pp. 269–276. ISBN978-0-88385-984-1.
^Mengoli, Pietro (1650). "Praefatio [Preface]". Novae quadraturae arithmeticae, seu De additione fractionum [New arithmetic quadrature (i.e., integration), or On the addition of fractions] (in Latin). Bologna: Giacomo Monti.
Mengoli's proof is by contradiction: Let denote the sum of the series. Group the terms of the series in triplets: . Since for , , then , which is impossible for any finite . Therefore, the series diverges.
^Bernoulli, Jacob (1689). Propositiones arithmeticae de seriebus infinitis earumque summa finita [Arithmetical propositions about infinite series and their finite sums]. Basel: J. Conrad.
^Bernoulli, Johann (1742). "Corollary III of De seriebus varia". Opera Omnia. Lausanne & Basel: Marc-Michel Bousquet & Co. vol. 4, p. 8.
Johann Bernoulli's proof is also by contradiction. It uses a telescopic sum to represent each term as
Changing the order of summation in the corresponding double series gives, in modern notation
.
^ abKnuth, Donald E. (1968). "1.2.7 Harmonic numbers". The Art of Computer Programming, Volume I: Fundamental Algorithms (1st ed.). Addison-Wesley. pp. 73–78. Knuth writes, of the partial sums of the harmonic series "This sum does not occur very frequently in classical mathematics, and there is no standard notation for it; but in the analysis of algorithms it pops up nearly every time we turn around, and we will consistently use the symbol ... The letter stands for "harmonic", and we call a "harmonic number" because [the infinite series] is customarily called the harmonic series."
^Roy, Ranjan (December 2007). "Review of A Radical Approach to Real Analysis by David M. Bressoud". SIAM Review. 49 (4): 717–719. JSTOR20454048. One might point out that Cauchy's condensation test is merely the extension of Oresme's argument for the divergence of the harmonic series
^Gerke, Oke (April 2013). "How much is it going to cost me to complete a collection of football trading cards?". Teaching Statistics. 35 (2): 89–93. doi:10.1111/test.12005. S2CID119887116.
^Luko, Stephen N. (March 2009). "The "coupon collector's problem" and quality control". Quality Engineering. 21 (2): 168–181. doi:10.1080/08982110802642555. S2CID109194745.
^Isaac, Richard (1995). "8.4 The coupon collector's problem solved". The Pleasures of Probability. Undergraduate Texts in Mathematics. New York: Springer-Verlag. pp. 80–82. doi:10.1007/978-1-4612-0819-8. ISBN0-387-94415-X. MR1329545.
Black BoxAlbum studio karya Brown Eyed GirlsDirilis29 Juli 2013Direkam2013GenrePop, R&B, danceDurasi32:47BahasaKoreaLabelNega Network, LOEN EntertainmentProduserYoon Il-sangBrown Eyed Girls (co-producer)LANCE (co-producer)Kronologi Brown Eyed Girls Sixth Sense(2011)Sixth Sense2011 Black Box(2013) Basic (2015)String Module Error: Match not found2015 Singel dalam album Black Box 레시피Dirilis: 9 Juli 2013 Kill BillDirilis: 29 Juli 2013 Black Box adalah album studio kelima yang dirili...
Holm-Seppensen Stadt Buchholz in der Nordheide Koordinaten: 53° 17′ N, 9° 52′ O53.285939.87111Koordinaten: 53° 17′ 9″ N, 9° 52′ 16″ O Einwohner: 6903 (31. Mrz. 2020)Einwohnermeldeamt Eingemeindung: 1. Juli 1972 Eingemeindet nach: Buchholz in der Nordheide Postleitzahl: 21244 Vorwahl: 04187 Holm-Seppensen ist der einwohnerreichste Stadtteil der Stadt Buchholz in der Nordheide im Landkreis Harburg und liegt in der ...
Struktur aljabar → Teori grupTeori grup Gagasan dasar Subgrup Subgrup normal Grup hasil bagi darab langsung semi-darab langsung Homomorfisme grup kernel bayangan jumlah langsung karangan bunga sederhana hingga takhingga kontinu multiplikatif aditif siklik Abel dihedral nilpoten terselesaikan aksi Glosarium teori grup Daftar topik teori grup Grup hingga Klasifikasi grup sederhana hingga siklik bergantian tipe Lie sporadik Teorema Cauchy Teorema Lagrange Teorema Sylow Teorema Hall grup-p Grup...
For his cousin, see Alexander Vladimirovich Baryatinsky. In this name that follows Eastern Slavic naming conventions, the patronymic is Vladimirovich and the family name is Baryatinsky. His Serene HighnessPrince Alexander BaryatinskyBaryatinsky in Russian Hussar uniformViceroy of CaucasusIn office22 July 1856 – 18 December 1862Preceded byNikolay Muravyov-KarskySucceeded byGrigol Orbeliani Personal detailsBorn14 May [O.S. 2] 1815Ivanovo [ru], Kursk...
Dalam artikel ini, nama keluarganya adalah Thet Htar Thuzar. Thet Htar ThuzarInformasi pribadiNama lahirThet Htar ThuzarKebangsaanMyanmarLahir15 Maret 1999 (umur 24)Yangon, MyanmarTinggi158 cm (5 ft 2 in)Berat58 kg (128 pon)PeganganKananTunggal putriPeringkat tertinggi56 (24 Januari 2023)Peringkat saat ini57 (21 Februari 2023)Profil di BWF Thet Htar Thuzar (bahasa Burma: သက်ထားသူဇာ; lahir 15 Maret 1999) adalah pemain bulu tangkis...
Railway line in Queensland, Australia This article is about the railway line between Brisbane and Cairns. For the railway line between Brisbane and Maitland, see North Coast railway line, New South Wales. Map all coordinates in Category:North Coast railway line, Queensland using: OpenStreetMap Download coordinates as: KML GPX (all coordinates) GPX (primary coordinates) GPX (secondary coordinates) vteQueensland Rail North Coast Line Legend km 0,000 Tablelands line 1,680 Cairns 1,341 Townsv...
Уманський навчально-виховний комплекс «Загальноосвітня школа І-ІІІ ступенів №7-колегіум» Уманської міської ради Черкаської областіТип Школа-колегіумКраїна Україна 48°44′56″ пн. ш. 30°12′54″ сх. д. / 48.749111° пн. ш. 30.215194° сх. д. / 48.749111; 30.215194За
Selat SingapuraPeta Selat SingapuraJenis perairanSelatTerletak di negaraSingapuraIndonesiaMalaysiaPanjang maksimal114 km (71 mi)Kedalaman rata-rata22 m (72 ft) (minimal, dalam alur laut)[1]PermukimanSingapuraBatam Peta koordinat semua menggunakan: OpenStreetMap Unduh koordinat sebagai: KML The Singapore Strait, as seen from East Coast Park The Singapore Strait, dilihat dari Marina Bay Sands Selat Singapura, dilihat dari East Coast Park Selat Singapura adalah ...
Italian painter (1696–1770) Tiepolo redirects here. For the son of Giovanni Battista Tiepolo, see Giovanni Domenico Tiepolo. For other uses, see Tiepolo (disambiguation). Giovanni Battista TiepoloSelf-portrait (1750–1753), from the ceiling fresco in the Würzburg ResidenceBorn(1696-03-05)5 March 1696Venice, Venetian RepublicDied27 March 1770(1770-03-27) (aged 74)Madrid, SpainNationalityItalianOther namesGianbattista Tiepolo, Giambattista TiepoloKnown forPaintingMovementRoco...
Banco de Desenvolvimento do Espírito Santo Banco de Desenvolvimento do Espírito Santo Tipo Empresa pública Estadual Slogan O banco do desenvolvimento do Espírito Santo. Atividade Banco de desenvolvimento Fundação 20 de fevereiro de 1967 (56 anos) Sede Vitória, Espírito Santo, Brasil Proprietário(s) Governo do Estado do Espírito Santo Pessoas-chave Marcelo Barbosa Saintive(Diretor-presidente) Website oficial www.bandes.com.br O Banco de Desenvolvimento do Espírito Santo (Ba...
Japanese badminton player For the Japanese judoka, see Shiho Tanaka (judoka). Badminton playerShiho Tanaka田中志穗Sayaka Takahashi (left) and Tanaka (right) at Australia Open Super Series 2017Personal informationCountryJapanBorn (1992-09-05) 5 September 1992 (age 31)Kumamoto Prefecture, JapanResidenceAkita, Akita, JapanHeight1.60 m (5 ft 3 in)Weight58 kg (128 lb)Retired29 January 2021HandednessRightWomen's doublesHighest ranking4 (14 June 2018) Medal rec...
Control lever used in aircraft and video games Control stick redirects here. For the controller part used in most video game controllers, see Analog stick. For other uses, see Joystick (disambiguation). Possible elements of a video game joystick: 1. stick, 2. base, 3. trigger, 4. extra buttons, 5. autofire switch, 6. throttle, 7. hat switch (POV hat), 8. suction cups. A joystick, sometimes called a flight stick, is an input device consisting of a stick ...
Johann Wolfgang von GoetheSinh(1749-08-28)28 tháng 8 năm 1749Frankfurt am Main, Thánh chế La MãMất22 tháng 3 năm 1832(1832-03-22) (82 tuổi)Weimar, Lãnh địa Đại công tước Saxe-Weimar-EisenachNghề nghiệpNhà thơ, tiểu thuyết gia, nhà viết kịch, nhà triết học tự nhiên, nhà ngoại giaoQuốc tịchĐứcTrào lưuSturm und Drang; Chủ nghĩa cổ điển WeimarTác phẩm nổi bậte.g. Faust; The Sorrows of Young Werther; Wilhelm Me...
Dalzavod Dalzavod (Russian: Центр судоремонта Дальзавод) is a company based in Vladivostok, Russia. Dalzavod was established in 1887 to repair the ships of Russia's Pacific Fleet.[1] The largest defense facility in Vladivostok and one of the largest ship repair yards in Russia, Dalzavod has turned from repair of naval vessels to commercial vessel repair, small boat construction, vehicle repair, and other commercial ventures.[2] As of 2014. Dalzavod emp...
American and Canadian fur trader Robert StuartBorn(1785-02-19)February 19, 1785Strathyre, Perthshire, ScotlandDiedOctober 28, 1848(1848-10-28) (aged 63)Detroit, Michigan, U.S.Occupation(s)Fur trader, explorerSpouseEmma Elizabeth Sullivan Robert Stuart (February 19, 1785 – October 28, 1848) was a Scottish-born, Canadian and American fur trader, best known as a member of the first European-American party to cross South Pass during an overland expedition from Fort Astoria to Saint Louis i...
Mary Gonçalves Información personalNombre de nacimiento Nice Figueiredo RochaNacimiento 25 de octubre de 1927 (96 años)Santos (Brasil) Nacionalidad BrasileñaInformación profesionalOcupación Música, cantante, actrizGénero MPBChoroSamba-canciónBossa novaInstrumento Voz Tipo de voz Contralto [editar datos en Wikidata] Mary Gonçalves, nombre artístico de Nice Figueiredo Rocha, (Santos, 25 de octubre de 1927) es una actriz, y cantora brasileña.[1] En 1944, partici...
Vice AdmiralBimal Kumar VermaAVSM, ADCAllegiance IndiaService/branch Indian NavyYears of service1980 - 1 December 2019RankVice AdmiralCommands held Andaman and Nicobar Command INS Mysore INS Ranjit INS Magar INS Shardul Awards Ati Vishisht Seva Medal Spouse(s)Seema VermaRelationsNirmal Kumar Verma (brother) Vice Admiral Bimal Verma, AVSM, ADC is a retired Flag Officer in the Indian Navy. He served as the 13th Commander-in-Chief, Andaman and Nicobar Command from 29 February 2016...
Voce principale: Club Atlético de Madrid. Atlético MadridStagione 1994-1995Sport calcio Squadra Atlético Madrid Allenatore Francisco Maturana[1] Jorge D'Alessandro[2] Marcos Alonso Peña[3] Alfio Basile[4] Carlos Sánchez Aguiar[3] Presidente Jesús Gil Primera División14º posto Coppa del ReQuarti di finale Maggiori presenzeCampionato: Geli (36)Totale: Geli (44) Miglior marcatoreCampionato: Caminero, Kiko (9)Totale: Caminero (11) Maggior numer...
В Википедии есть статьи о других людях с именем Иоганн Адольф. Иоганн Адольф I Саксен-Вейсенфельскийнем. Johann Adolf I. von Sachsen-Weißenfels герцог Саксен-Вейсенфельский 4 июня 1680 — 24 мая 1697 Предшественник Август Саксен-Вейсенфельский Преемник Иоганн Георг Рождение 2 ноября 1649(1649...
David BlamiresFødtBradfordBeskjeftigelseJazzmusiker, jazzgitarist NasjonalitetCanada David Blamires er en vokalist og komponist og ble født i Bradford, England, men som flyttet til Toronto, Canada og er en av Canadas mest allsidige og ettertraktede musikere. Hans CV inkluderer prosjekter sammen med kjente musikere som Anne Murray, Triumph, Manteca og Pat Metheny. Blamires er aller mest kjent for hans musikalske arbeider med Pat Metheny Group i et tiår mellom 1987 og 1997 som skaffet h...