Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
minus_twelve_._note [2017/07/02 22:57] nikolaj |
minus_twelve_._note [2019/09/09 22:45] nikolaj |
||
---|---|---|---|
Line 7: | Line 7: | ||
There are theories in math that give meaning to infinite sums, and the standard one, analysis (or, to some reach, calculus) has a million applications for practical applications, in particular physics and engineering. The picture above demonstrates the claim | There are theories in math that give meaning to infinite sums, and the standard one, analysis (or, to some reach, calculus) has a million applications for practical applications, in particular physics and engineering. The picture above demonstrates the claim | ||
- | $$1+\dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{4}+\dots = 2$$ | + | $$1+\dfrac{1}{2}+\dfrac{1}{4}+\dfrac{1}{8}+\dots = 2$$ |
which can be proven, in analysis. Here's another claim | which can be proven, in analysis. Here's another claim | ||
Line 44: | Line 44: | ||
Consider this little gimmick: The difference between the integral and the sum of a smooth function is given by a very particular sum that involves $\dfrac{1}{-12}$ at the second place. It starts as out as | Consider this little gimmick: The difference between the integral and the sum of a smooth function is given by a very particular sum that involves $\dfrac{1}{-12}$ at the second place. It starts as out as | ||
+ | |||
$$\int_a^b f(n)\,{\mathrm d}n = \sum_{n=a}^{b-1} f(n) + \left(\lim_{x\to b}-\lim_{x\to a}\right)\left(\dfrac{1}{2}-\dfrac{1}{12}\dfrac{d}{dx}+\dots\right)f(x)$$ | $$\int_a^b f(n)\,{\mathrm d}n = \sum_{n=a}^{b-1} f(n) + \left(\lim_{x\to b}-\lim_{x\to a}\right)\left(\dfrac{1}{2}-\dfrac{1}{12}\dfrac{d}{dx}+\dots\right)f(x)$$ | ||
+ | |||
+ | e.g. | ||
+ | |||
+ | $$\int _m^n f(x)~{\rm d}x=\sum _{i=m}^n f(i)-\frac 1 2 \left( f(m)+f(n) \right) -\frac 1{12}\left( f'(n)-f'(m)\right) + \frac 1{720}\left( f'''(n)-f'''(m)\right) + \cdots.$$ | ||
+ | |||
and if you want to see a full version, check out the 300 year old //Euler–Maclaurin formula//. The building blocks of many functions are monomials $f(n)=n^{k-1}$ and for those the formula is particularly simple, because most all high derivatives vanish. The formula then tells us that | and if you want to see a full version, check out the 300 year old //Euler–Maclaurin formula//. The building blocks of many functions are monomials $f(n)=n^{k-1}$ and for those the formula is particularly simple, because most all high derivatives vanish. The formula then tells us that | ||
$$\int_a^b n^{k-1}\,{\mathrm d}n=\frac{b^k}{k}-\frac{a^k}{k}$$ | $$\int_a^b n^{k-1}\,{\mathrm d}n=\frac{b^k}{k}-\frac{a^k}{k}$$ | ||
Line 50: | Line 56: | ||
So as an example, with $k=3,a=2,b=4$ you get the identity | So as an example, with $k=3,a=2,b=4$ you get the identity | ||
- | $$\frac{1}{3}(4^3-2^3)=(2^2+3^2)+\frac{1}{2}(4^2-2^2)-\frac{1}{12}\,2\,(4^1-2^1)$$ | + | $$\frac{1}{3}(4^3-2^3)=(2^2+(4-1)^2)+\frac{1}{2}(4^2-2^2)-\frac{1}{12}\,2\,(4^1-2^1)$$ |
and there are literally infinitely many identities involving $-\frac{1}{12}$ because of this formula. In case you're wondering, both sides of the equation above simplify to $\tfrac{56}{3}$. | and there are literally infinitely many identities involving $-\frac{1}{12}$ because of this formula. In case you're wondering, both sides of the equation above simplify to $\tfrac{56}{3}$. | ||
Line 62: | Line 68: | ||
We've seen this above, actually, in the special case of $z=-\frac{1}{2}$. Indeed, $\frac{1}{1-1/2}=\frac{1}{1/2}=2$ and the first formula in this post was | We've seen this above, actually, in the special case of $z=-\frac{1}{2}$. Indeed, $\frac{1}{1-1/2}=\frac{1}{1/2}=2$ and the first formula in this post was | ||
- | $$1+\dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{4}+\dots = 2$$ | + | $$1+\dfrac{1}{2}+\dfrac{1}{4}+\dfrac{1}{8}+\dots = 2$$ |
The smooth analogous to the sum with $z$ is | The smooth analogous to the sum with $z$ is |