Electron tomography: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
No edit summary
en>Wavelength
inserting 2 hyphens: —> "three-dimensional" and "Three-dimensional"—wikt:three-dimensional
Line 1: Line 1:
{{main|Grandi's series}}
Hello friend. Let  car warranty me [http://auto.howstuffworks.com/buying-selling/cg-extended-warranty-tips.htm introduce] myself. I am Ron but I don't like when people use my  extended auto [http://Www.kbb.com/extended-auto-warranty/ warranty] full title. Bookkeeping is how he supports his family members and his wage has been really satisfying. Some time in the past he chose to live in Kansas. The favorite  [http://www.uniqueindia.org/groups/the-hidden-tips-and-secrets-to-auto-repair/ extended auto warranty] pastime for him and his kids is to drive and now he is trying to earn money with  [http://www.team-i7.de/index.php?mod=users&action=view&id=8588 extended car warranty] auto warranty it.<br><br>Feel free to surf to my weblog ... [http://c-lug.com/Activity-Feed/My-Profile/UserId/249456 extended auto warranty]
 
==Parables==
{{further2|[[History of Grandi's series|Grandi]], [[Thomson's lamp|Mathematical series analogy]]}}
 
[[Guido Grandi]] illustrated the series with a parable involving two brothers who share a gem.
 
[[Thomson's lamp]] is a [[supertask]] in which a hypothetical lamp is turned on and off infinitely many times in a finite time span. One can think of turning the lamp on as adding 1 to its state, and turning it off as subtracting 1. Instead of asking the sum of the series, one asks the final state of the lamp.<ref>Rucker p.297</ref>
 
One of the best-known classic parables to which infinite series have been applied, [[Achilles and the tortoise]], can also be adapted to the case of Grandi's series.<ref>Saichev pp.&nbsp;255&ndash;259</ref>
 
==Numerical series==
The [[Cauchy product]] of Grandi's series with itself is [[1 − 2 + 3 − 4 + · · ·]].<ref>Hardy p.3</ref>
 
Several series resulting from the introduction of zeros into Grandi's series have interesting properties; for these see [[Summation of Grandi's series#Dilution]].
 
Grandi's series is just one example of a [[divergent geometric series]].
 
The rearranged series 1&nbsp;−&nbsp;1&nbsp;−&nbsp;1&nbsp;+&nbsp;1&nbsp;+&nbsp;1&nbsp;−&nbsp;1&nbsp;−&nbsp;1&nbsp;+&nbsp;·&nbsp;·&nbsp;· occurs in Euler's 1775 treatment of the [[pentagonal number theorem]] as the value of the [[Euler function]] at ''q''&nbsp;=&nbsp;1.
 
==Power series==
The power series most famously associated with Grandi's series is its [[ordinary generating function]],
 
:<math>f(x) = 1-x+x^2-x^3+\cdots = \frac{1}{1+x}.</math>
 
==Fourier series==
===Hyperbolic sine===
In his 1822 ''Théorie Analytique de la Chaleur'', [[Joseph Fourier]] obtains what we now call a [[Fourier sine series]] for a scaled version of the [[hyperbolic sine]] function,
 
:<math>f(x) = \frac{\pi}{2\sinh\pi} \sinh x.</math>
 
He finds that the general coefficient of sin ''nx'' in the series is
 
:<math>(-1)^{n-1}\left(\frac 1 n - \frac{1}{n^3} + \frac{1}{n^5} - \cdots\right) = (-1)^{n-1}\frac{n}{1+n^2}.</math>
 
For ''n''&nbsp;>&nbsp;1 the above series converges, while the coefficient of sin&nbsp;''x'' appears as 1&nbsp;−&nbsp;1&nbsp;+&nbsp;1&nbsp;−&nbsp;1&nbsp;+&nbsp;·&nbsp;·&nbsp;· and so is expected to be <sup>1</sup>⁄<sub>2</sub>. In fact, this is correct, as can be demonstrated by directly calculating the Fourier coefficient from an integral:
 
:<math>\frac 2 \pi \int_0^\pi f(x)\sin x \;dx = \frac{1}{2\sinh\pi}\left.(\cosh x \sin x - \sinh x \cos x)\right|_0^\pi = \frac 1 2.</math><ref>Bromwich p.&nbsp;320</ref>
 
===Dirac comb===
Grandi's series occurs more directly in another important series,
 
:<math>\cos x + \cos 2x + \cos 3x + \cdots = \sum_{k=1}^\infty\cos(kx).</math>
 
At ''x'' = π, the series reduces to −1&nbsp;+&nbsp;1&nbsp;−&nbsp;1&nbsp;+&nbsp;1&nbsp;−&nbsp;·&nbsp;·&nbsp;· and so one might expect it to meaningfully equal −<sup>1</sup>⁄<sub>2</sub>. In fact, Euler held that this series obeyed the formal relation Σ cos ''kx'' = −<sup>1</sup>⁄<sub>2</sub>, while d'Alembert rejected the relation, and Lagrange wondered if it could be defended by an extension of the geometric series similar to Euler's reasoning with Grandi's numerical series.<ref>Ferraro 2005 p.17</ref>
 
Euler's claim suggests that
 
:<math>1 +2\sum_{k=1}^\infty\cos(kx) = 0?</math>
 
for all ''x''. This series is divergent everywhere, while its Cesàro sum is indeed 0 for almost all ''x''. However, the series diverges to infinity at ''x'' = 2π''n'' in a significant way: it is the Fourier series of a [[Dirac comb]]. The ordinary, Cesàro, and Abel sums of this series involve limits of the [[Dirichlet kernel|Dirichlet]], [[Fejér kernel|Fejér]], and [[Poisson kernel]]s, respectively.<ref>Davis pp.&nbsp;153&ndash;159</ref>
 
==Dirichlet series==
{{main|Dirichlet eta function}}
Multiplying the terms of Grandi's series by 1/''n''<sup>''z''</sup> yields the [[Dirichlet series]]
:<math>\eta(z)=1-\frac{1}{2^z}+\frac{1}{3^z}-\frac{1}{4^z}+\cdots=\sum_{n=1}^\infty\frac{(-1)^{n-1}}{n^z},</math>
which converges only for complex numbers ''z'' with a positive real part. Grandi's series is recovered by letting ''z''&nbsp;=&nbsp;0.
 
Unlike the geometric series, the Dirichlet series for η is not useful for determining what 1 − 1 + 1 − 1 + · · · "should" be. Even on the right half-plane, η(''z'') is not given by any elementary expression, and there is no immediate evidence of its limit as ''z'' approaches 0.<ref>Knopp (p.458) makes this point to criticize Euler's use of analytical expressions to evaluate numerical series, saying "it ''need not'' at any rate be +<sup>1</sup>⁄<sub>2</sub>."</ref> On the other hand, if one uses stronger methods of summability, then the Dirichlet series for η defines a function on the whole complex plane — the [[Dirichlet eta function]] — and moreover, this function is [[analytic function|analytic]]. For ''z'' with real part >&nbsp;&minus;1 it suffices to use Cesàro summation, and so η(0)&nbsp;=&nbsp;<sup>1</sup>⁄<sub>2</sub> after all.
 
The function η is related to a more famous Dirichlet series and function:
:<math>\begin{array}{rcl}
\eta(z) & = &\displaystyle 1+\frac{1}{2^z}+\frac{1}{3^z}+\frac{1}{4^z}+\cdots - \frac{2}{2^z}\left(1+\frac{1}{2^z}+\cdots\right) \\[1em]
  & = & \displaystyle \left(1-\frac{2}{2^z}\right)\zeta(z),
\end{array}</math>
 
where ζ is the [[Riemann zeta function]]. Keeping Grandi's series in mind, this relation explains why ζ(0)&nbsp;=&nbsp;&minus;<sup>1</sup>⁄<sub>2</sub>; see also [[1 + 1 + 1 + 1 + · · ·]]. The relation also implies a much more important result. Since η(''z'') and  (1&nbsp;&minus;&nbsp;2<sup>1&minus;''z''</sup>) are both analytic on the entire plane and the latter function's only [[zero (complex analysis)|zero]] is a [[simple zero]] at ''z''&nbsp;=&nbsp;1, it follows that ζ(''z'') is [[meromorphic function|meromorphic]] with only a [[simple pole]] at ''z''&nbsp;=&nbsp;1.<ref>Knopp pp.&nbsp;491&ndash;492</ref>
 
==Euler characteristics==
Given a [[CW complex]] ''S'' containing one vertex, one edge, one face, and generally exactly one cell of every dimension, Euler's formula {{nowrap|''V'' − ''E'' + ''F'' − · · ·}} for the [[Euler characteristic]] of ''S'' returns {{nowrap|1 − 1 + 1 − · · ·}}. There are a few motivations for defining a generalized Euler characteristic for such a space that turns out to be 1/2.
 
One approach comes from [[combinatorial geometry]]. The open interval (0, 1) has an Euler characteristic of &minus;1, so its power set 2<sup>(0, 1)</sup> should have an Euler characteristic of 2<sup>&minus;1</sup> = 1/2. The appropriate power set to take is the "small power set" of finite subsets of the interval, which consists of the union of a point (the empty set), an open interval (the set of singetons), an open triangle, and so on. So the Euler characteristic of the small power set is {{nowrap|1 − 1 + 1 − · · ·}}. [[James Propp]] defines a regularized Euler measure for [[polyhedral set]]s that, in this example, replaces {{nowrap|1 − 1 + 1 − · · ·}} with {{nowrap|1 − ''t'' + ''t''<sup>2</sup> − · · ·}}, sums the series for |''t''| < 1, and analytically continues to ''t'' = 1, essentially finding the Abel sum of {{nowrap|1 − 1 + 1 − · · ·}}, which is 1/2. Generally, he finds χ(2<sup>''A''</sup>) = 2<sup>χ(''A'')</sup> for any polyhedral set ''A'', and the base of the exponent generalizes to other sets as well.<ref>Propp pp.&nbsp;7&ndash;8,&nbsp;12</ref>
 
[[Infinite-dimensional real projective space|Infinite-dimensional]] [[real projective space]] '''RP'''<sup>∞</sup> is another structure with one cell of every dimension and therefore an Euler characteristic of {{nowrap|1 − 1 + 1 − · · ·}}. This space can be described as the quotient of the [[infinite-dimensional sphere|infinite-dimensional]] [[sphere]] by identifying each pair of [[antipodal point]]s. Since the infinite-dimensional sphere is [[contractible]], its Euler characteristic is 1, and its 2-to-1 quotient should have an Euler characteristic of 1/2.<ref>{{cite arxiv |first=James |last=Propp |title=Euler measure as generalized cardinality |year=2002 |eprint=math.CO/0203289 |class=math.CO}}</ref>
 
This description of '''RP'''<sup>∞</sup> also makes it the [[classifying space]] of Z<sub>2</sub>, the [[cyclic group]] [[cyclic group of order 2|of order 2]]. Tom Leinster gives a definition of the Euler characteristic of any [[category (mathematics)|category]] which bypasses the classifying space and reduces to 1/|''G''| for any [[group (mathematics)|group]] when viewed as a one-object category. In this sense the Euler characteristic of Z<sub>2</sub> is itself <sup>1</sup>⁄<sub>2</sub>.<ref>{{cite journal |last=Leinster |first=Tom |title=The Euler characteristic of a category |year=2006 |publisher=[[arXiv]] |pages=21–49 |volume=13 |journal=Documenta Mathematica |arxiv=math/0610260}} {{cite web |last=Baez |first=John |title= This Week's Finds in Mathematical Physics (Week 244) |year=2006 |url=http://math.ucr.edu/home/baez/week244.html}}</ref>
 
== In physics ==
Grandi's series, and generalizations thereof, occur frequently in many branches of physics; most typically in the discussions of quantized [[fermion]] fields (for example, the [[chiral bag model]]), which have both positive and negative [[eigenvalue]]s; although similar series occur also for [[boson]]s, such as in the [[Casimir effect]].
 
The general series is discussed in greater detail in the article on [[spectral asymmetry]], whereas methods used to sum it are discussed in the articles on [[regularization (physics)|regularization]] and, in particular, the [[zeta function regulator]].
 
==In art==
[[Jliat]]'s 2000 musical single ''Still Life #7: The Grandi Series'' advertises itself as "conceptual art"; it consists of nearly an hour of silence.<ref>[http://www.splendidezine.com/reviews/may-7-01/aag.html Review by George Zahora]</ref>
 
==Notes==
{{Reflist|2}}
 
==References==
<div class="references-small">
*{{cite book |last=Bromwich |first=T.J. |year=1926 |origyear=1908 |edition=2e |title=An Introduction to the Theory of Infinite Series}}
*{{cite book |last=Davis |first=Harry F. |title=Fourier Series and Orthogonal Functions |date=May 1989 |publisher=Dover |isbn=0-486-65973-9}}
*{{cite journal |last=Ferraro |first=Giovanni |title=Convergence and formal manipulation in the theory of series from 1730 to 1815 |journal=Historia Mathematica |year=2005 |doi=10.1016/j.hm.2005.08.004 |volume=34 |pages=62}}
*{{cite book |last=Hardy |first=G.H. |authorlink=G. H. Hardy |title=Divergent Series |year=1949 |publisher=Clarendon Press |id={{LCC|QA295|.H29|1967}}}}
*{{cite book |last=Knopp |first=Konrad |authorlink=Konrad Knopp |title=Theory and Application of Infinite Series |year=1990 |origyear=1922 |publisher=Dover |isbn=0-486-66165-2}}
*{{cite journal |last=Propp |first=James |title=Exponentiation and Euler measure |journal=Algebra Universalis |volume=29 |issue=4 |date=October 2003 |pages=459–471 |doi=10.1007/s00012-003-1817-1 |arxiv=math.CO/0204009}}
*{{cite book |last=Rucker |first=Rudy |title=Infinity and the mind: the science and philosophy of the infinite |year=1995 |publisher=Princeton UP |isbn=0-691-00172-3}}
*{{cite book |author=Saichev, A.I., and W.A. Woyczyński |title=Distributions in the physical and engineering sciences, Volume 1 |publisher=Birkhaüser |year=1996 |isbn=0-8176-3924-1 | id={{LCC|QA324.W69|1996}}}}
</div>
 
[[Category:Divergent series|Grandi's series, Occurrences of]]

Revision as of 02:59, 22 February 2014

Hello friend. Let car warranty me introduce myself. I am Ron but I don't like when people use my extended auto warranty full title. Bookkeeping is how he supports his family members and his wage has been really satisfying. Some time in the past he chose to live in Kansas. The favorite extended auto warranty pastime for him and his kids is to drive and now he is trying to earn money with extended car warranty auto warranty it.

Feel free to surf to my weblog ... extended auto warranty