The Accidental Astrophysicists 97
An anonymous reader recommends a ScienceNews story that begins: "Dmitry Khavinson and Genevra Neumann didn't know anything about astrophysics. They were just doing mathematics, like they always do, following their curiosity. But five days after they posted one of their results on a preprint server, they got an email that said 'Congratulations! You've proven Sun Hong Rhie's astrophysics conjecture on gravitational lensing!'... Turns out that when gravity causes light rays to bend, it can make one star look like many. But until Khavinson and Nuemann's work, astrophysicists weren't sure just how many. Their proof in mathematics settled the question."
animation depicting gravitational lensing (Score:5, Informative)
Re:Perhaps I am missing something... (Score:3, Informative)
Re:Perhaps I am missing something... (Score:3, Informative)
Re:Can one of you mathematicians explain (Score:2, Informative)
Re:Can one of you mathematicians explain (Score:5, Informative)
Galaxies, on the other hand, are not point sources, which is why when we see gravitationally lensed galaxies they often look stretched out along arcs -- different points in the galaxy line up differently, and thus can look farther apart from each other than they would if we were seeing them without lensing.
Re:Perhaps I am missing something... (Score:4, Informative)
So the number you see doesn't have to be a multiple of 5 always, even for n>1.
Re:Further proof ... (Score:5, Informative)
The development of non-Euclidean Geometry argues against your point, rather than supporting it.
Non-Euclidean geometry arose out of pure mathematical attempts to correct a "flaw" in Euclidean geometry. Namely, that the parallel postulate was so big and complex that it didn't seem like a proper axiom, not like Euclid's other four axioms.
Lots of mathematicians had tried various ways to prove that the parallel postulate wasn't necessary, that it could be derived from the other four, and many flawed "proofs" were constructed. A few mathematicians, notably Saccheri, decided to take a less constructive route and try to disprove the necessity of the parallel postulate by contradiction.
The idea was: Replace the parallel postulate with something else that means the opposite, and then show that geometry breaks down, that logical contradictions can be shown. Saccheri thought he succeeded because he was able to prove some things that made no sense within the Euclidean framework.
Later mathematicians realized that, in fact, Saccheri had "failed" to find a contradictions, that his results resulted in a geometry that was weird and non-Euclidean, but perfectly consistent, and in fact made perfect sense if you applied it in the context of a hyperbolic surface. Under a different modification of the parallel postulate, you get a geometry that makes perfect sense on the surface of a sphere.
Later still, physicists picked up on these alternative geometries and began applying them to great benefit. Notably, Einstein's notion of spacetime as non-Euclidean.
It goes both ways, of course. Physics often motivates math, and pure math is often adopted and applied by physics. Neither would be as rich without the independent work of the other.
Re:Perhaps I am missing something... (Score:2, Informative)
There's no guarantee that you can see the 'straight through' image, because the object doing the lensing might be in the way.
And for n objects lensing, the effect is multiplicative.
What's so difficult about that?