Question Number 26132 by abdo imad last updated on 21/Dec/17 | ||
$${let}\:{put}\:{S}_{{n}} \:=\sum_{{k}=\mathrm{1}} ^{{k}={n}} \:\frac{\left(−\mathrm{1}\right)^{{k}} }{{k}} \\ $$ $${find}\:{S}_{{n}\:} {in}\:{terms}\:{of}\:\:{H}_{{n}} \:{then}\:{lim}_{{n}−>\propto} \:{S}_{{n}} \\ $$ $${H}_{{n}} \:=\:\sum_{{k}=\mathrm{1}} ^{{k}={n}} \frac{\mathrm{1}}{{k}}\:\:\:\left(\:{harmonic}\:{serie}\right) \\ $$ | ||
Commented byabdo imad last updated on 23/Dec/17 | ||
$${S}_{{n}} \:\:=\:\sum_{\mathrm{1}\leqslant{k}\leqslant{n}_{{k}=\mathrm{2}{p}} } \:\:\:\frac{\left(−\mathrm{1}\right)^{{k}} }{{k}}\:\:+\:\:\:\sum_{\mathrm{1}\leqslant{k}\leqslant{n}_{{k}=\mathrm{2}{p}+\mathrm{1}} } \:\:\frac{\left(−\mathrm{1}\right)^{{k}} }{{k}} \\ $$ $$=\:\sum_{{p}=\mathrm{1}} ^{\left[\:\frac{{n}}{\mathrm{2}}\right]} \:\:\frac{\mathrm{1}}{\mathrm{2}{p}}\:\:−\:\sum_{{p}=\mathrm{0}} ^{\left[\:\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]} \:\:\frac{\mathrm{1}}{\mathrm{2}{p}+\mathrm{1}}\:\:{but}\:\:\sum_{{p}=\mathrm{1}} ^{\left[\frac{{n}}{\mathrm{2}}\right]} \:\:\frac{\mathrm{1}}{\mathrm{2}{p}}=\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{\left[\frac{{n}}{\mathrm{2}}\right]} \:\:{and} \\ $$ $$\sum_{{p}=\mathrm{0}} ^{\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]} \:\frac{\mathrm{1}}{\mathrm{2}{p}+\mathrm{1}}=\mathrm{1}+\:\frac{\mathrm{1}}{\mathrm{3}}\:\:+\frac{\mathrm{1}}{\mathrm{5}}\:+...+\:\:\frac{\mathrm{1}}{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \\ $$ $$=\mathrm{1}\:+\frac{\mathrm{1}}{\mathrm{2}}\:+\frac{\mathrm{1}}{\mathrm{3}}+\:\frac{\mathrm{1}}{\mathrm{4}}+...\:+\frac{\mathrm{1}}{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]}\:\:+\:\:\frac{\mathrm{1}}{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}}\:−\frac{\mathrm{1}}{\mathrm{2}}\:−\frac{\mathrm{1}}{\mathrm{4}}\:−...\frac{\mathrm{1}}{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]} \\ $$ $$=\:{H}_{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \:\:\:−\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]} \\ $$ $$ \\ $$ $$\Rightarrow\:{S}_{{n}} \:\:=\:\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{\left[\frac{{n}}{\mathrm{2}}\right]} \:\:+\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]} \:\:−\:{H}_{\mathrm{2}\left[\frac{{n}−\mathrm{1}}{\mathrm{2}}\right]+\mathrm{1}} \\ $$ $${we}\:{have}\:\:{S}_{\mathrm{2}{n}} =\:\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{{n}} \:+\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{{n}−\mathrm{1}} −\:{H}_{\mathrm{2}{n}−\mathrm{1}} \\ $$ $${but}\:\:{H}_{{n}} =\:{ln}\left({n}\right)\:+\gamma\:+{o}\left(\frac{\mathrm{1}}{{n}}\right) \\ $$ $${H}_{{n}−\mathrm{1}} =\:{ln}\left({n}−\mathrm{1}\right)+\gamma\:+{o}\left(\frac{\mathrm{1}}{{n}}\right) \\ $$ $${H}_{\mathrm{2}{n}−\mathrm{1}} \:={ln}\left(\mathrm{2}{n}−\mathrm{1}\right)\:+\gamma\:+{o}\left(\frac{\mathrm{1}}{{n}}\right) \\ $$ $$\Rightarrow\:\:{S}_{\mathrm{2}{n}} =\:{ln}\left(\:\sqrt{{n}\left({n}−\mathrm{1}\right)}\right)\:−{ln}\left(\mathrm{2}{n}−\mathrm{1}\right)\:+{o}\left(\frac{\mathrm{1}}{{n}}\right) \\ $$ $$={ln}\left(\frac{\sqrt{{n}\left({n}−\mathrm{1}\right)}}{\mathrm{2}{n}−\mathrm{1}}\:\right)\:+{o}\left(\:\frac{\:\mathrm{1}}{{n}}\right)\:\:\:\Rightarrow\:\:\:{lim}_{{n}−>\propto} \:\:{S}_{{n}} \:\:=−{ln}\left(\mathrm{2}\right) \\ $$ $${S}_{\mathrm{2}{n}+\mathrm{1}} =\frac{\mathrm{1}}{\mathrm{2}}\:\:{H}_{{n}} \:\:+\:\frac{\mathrm{1}}{\mathrm{2}}\:{H}_{{n}} \:\:−\:{H}_{\mathrm{2}{n}+\mathrm{1}} \:={H}_{{n}} \:\:−\:{H}_{\mathrm{2}{n}+\mathrm{1}} \\ $$ $$={ln}\left(\frac{{n}}{\mathrm{2}{n}+\mathrm{1}}\right)\:+{o}\left(\frac{\mathrm{1}}{{n}}\right)\:\:\:\Rightarrow\:\:{lim}_{{n}−>\propto} \:\:{S}_{\mathrm{2}{n}+\mathrm{1}} =−{ln}\left(\mathrm{2}\right) \\ $$ $${finally}\:\:{lim}_{{n}−>\propto} \:\:{S}_{{n}} \:=\:−{ln}\left(\mathrm{2}\right). \\ $$ | ||