Uniformly convex space: Difference between revisions
en>Marcosaedro |
en>Numericana m Internal WP link for James A. Clarkson. |
||
Line 1: | Line 1: | ||
{{Expert-subject|Mathematics|date=February 2009}} | |||
{{no footnotes|date=August 2009}} | |||
The '''odd number theorem''' is a theorem in [[strong gravitational lensing]] which comes directly from [[differential topology]]. It says that the number of multiple images produced by a bounded transparent lens must be odd. | |||
In fact, the gravitational lensing is a mapping from image plane to source plane <math>M: (u,v) \mapsto (u',v')\,</math>. If we use direction cosines describing the bent light rays, we can write a vector field on <math>(u,v)\,</math> plane <math>V:(s,w)\,</math>. However, only in some specific directions <math>V_0:(s_0,w_0)\,</math>, will the bent light rays reach the observer, i.e., the images only form where <math> D=\delta V=0|_{(s_0,w_0)}</math>. Then we can directly apply the [[Poincaré–Hopf theorem]] <math>\chi=\sum \text{index}_D = \text{constant}\,</math>. The index of sources and sinks is +1, and that of saddle points is −1. So the [[Euler characteristic]] equals the difference between the number of positive indices <math>n_{+}\,</math> and the number of negative indices <math>n_{-}\,</math>. For the far field case, there is only one image, i.e., <math> \chi=n_{+}-n_{-}=1\,</math>. So the total number of images is <math> N=n_{+}+n_{-}=2n_{-}+1 \,</math>, i.e., odd. The strict proof needs Uhlenbeck’s [[Morse theory]] of [[null geodesic]]s. | |||
== References == | |||
{{reflist}} | |||
* Chwolson O., 1924. "Über eine mögliche Form fiktiver Doppelsterne", "Astronomische Nachrichten" 221, 329-330. | |||
* Burke W.L., 1981. "Multiple gravitational imaging by distributed masses", ''Astrophysical Journal'' '''244''', L1. | |||
* McKenzie R.H., 1985. "A gravitational lens produced an odd number of images", ''Journal of Mathematical Physics'' '''26''', 1592. | |||
* Kozameh C, Lamberti P. W., Reula O. Global aspects of light cone cuts. J. Math. Phys. 32, 3423-3426 (1991). | |||
* Lombardi M., An application of the topological degree to gravitational lenses. Modern Phys. Lett. A 13, 83-86 (1998). | |||
* Wambsganss J., 1998. "Gravtational lensing in astronomy" http://mathnet.preprints.org/EMIS/journals/LRG/Articles/lrr-1998-12/ | |||
* Schneider P., Ehlers J., Falco E. E. 1999. "Gravitational Lenses" Astronomy and Astrophysics Library. Springer | |||
* Giannoni F., Lombardi M, 1999. "Gravitational lenses: Odd or even images?" "Class. Quantum Grav." 16, 375-415. | |||
* Fritelli S., Newman E. T., 1999. "Exact universal gravitational lens equations" "Phys. Rev." D 59, 124001 | |||
* Perlick V., Gravitational lensing in asymptotically simple and empty spacetimes, Annalen der Physik 9, SI139-SI142 (2000) | |||
* Perlick V., Gravitational lensing from a geometric viewpoint, in B. Schmidt (ed.) "Einstein's field equations and their physical interpretations" Selected Essays in Honour of Jürgen Ehlers, Springer, Heidelberg (2000) pp. 373–425 | |||
* Perlick V., 2010. "Gravitational Lensing from a Spacetime Perspective" http://arxiv.org/abs/1010.3416 | |||
[[Category:Gravitational lensing]] | |||
[[Category:Physics theorems]] | |||
{{topology-stub}} | |||
{{astronomy-stub}} |
Revision as of 13:52, 12 January 2014
Template:Expert-subject Template:No footnotes
The odd number theorem is a theorem in strong gravitational lensing which comes directly from differential topology. It says that the number of multiple images produced by a bounded transparent lens must be odd.
In fact, the gravitational lensing is a mapping from image plane to source plane . If we use direction cosines describing the bent light rays, we can write a vector field on plane . However, only in some specific directions , will the bent light rays reach the observer, i.e., the images only form where . Then we can directly apply the Poincaré–Hopf theorem . The index of sources and sinks is +1, and that of saddle points is −1. So the Euler characteristic equals the difference between the number of positive indices and the number of negative indices . For the far field case, there is only one image, i.e., . So the total number of images is , i.e., odd. The strict proof needs Uhlenbeck’s Morse theory of null geodesics.
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- Chwolson O., 1924. "Über eine mögliche Form fiktiver Doppelsterne", "Astronomische Nachrichten" 221, 329-330.
- Burke W.L., 1981. "Multiple gravitational imaging by distributed masses", Astrophysical Journal 244, L1.
- McKenzie R.H., 1985. "A gravitational lens produced an odd number of images", Journal of Mathematical Physics 26, 1592.
- Kozameh C, Lamberti P. W., Reula O. Global aspects of light cone cuts. J. Math. Phys. 32, 3423-3426 (1991).
- Lombardi M., An application of the topological degree to gravitational lenses. Modern Phys. Lett. A 13, 83-86 (1998).
- Wambsganss J., 1998. "Gravtational lensing in astronomy" http://mathnet.preprints.org/EMIS/journals/LRG/Articles/lrr-1998-12/
- Schneider P., Ehlers J., Falco E. E. 1999. "Gravitational Lenses" Astronomy and Astrophysics Library. Springer
- Giannoni F., Lombardi M, 1999. "Gravitational lenses: Odd or even images?" "Class. Quantum Grav." 16, 375-415.
- Fritelli S., Newman E. T., 1999. "Exact universal gravitational lens equations" "Phys. Rev." D 59, 124001
- Perlick V., Gravitational lensing in asymptotically simple and empty spacetimes, Annalen der Physik 9, SI139-SI142 (2000)
- Perlick V., Gravitational lensing from a geometric viewpoint, in B. Schmidt (ed.) "Einstein's field equations and their physical interpretations" Selected Essays in Honour of Jürgen Ehlers, Springer, Heidelberg (2000) pp. 373–425
- Perlick V., 2010. "Gravitational Lensing from a Spacetime Perspective" http://arxiv.org/abs/1010.3416
Template:Topology-stub
26 yr old Radio Journalist Roman Crosser from Saint-Pascal, has many passions which include interior design, property developers housing in singapore singapore and rc model boats. Is a travel freak and these days made a vacation to Historic Centre of Ceský Krumlov.