2D Problems Which are Easier to Solve in 3D - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T08:35:01Z http://mathoverflow.net/feeds/question/106705 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d 2D Problems Which are Easier to Solve in 3D bobuhito 2012-09-09T03:12:40Z 2013-04-27T04:18:20Z <p>It sometimes happens that 1D problems are easier to solve by somehow adding a dimension. For example, we convert linear differential equations for a real unknown to a complex unknown (to use complex exponentials), or we compute a power series' radius of convergence by thinking in the complex plane (or use complex analytic properties in path integrals), or we evaluate $\int^\infty_{-\infty} e^{-x^2}\ dx$ by squaring it...</p> <p>So, are any 2D problems easier to solve in even higher dimensions? I can't think of any.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106707#106707 Answer by rcompton for 2D Problems Which are Easier to Solve in 3D rcompton 2012-09-09T04:44:19Z 2012-09-09T04:55:23Z <p>This is essentially the idea behind level set methods (cf <a href="http://en.wikipedia.org/wiki/Level_set_method" rel="nofollow">http://en.wikipedia.org/wiki/Level_set_method</a> ).</p> <p>There are several situations where one needs to study the behavior of a dynamic surface with complicated topology. In fire simulation, one needs to track the motion of an air/fuel interface which is often not connected. In image segmentation, one needs to move the boundary between inner/outer regions until a steady state is reached. In fluid mechanics, breaking waves detach from the main body of water.</p> <p>Solving differential equations on surfaces with complicated topology is difficult numerically. It turns out that when one represents these surfaces as level sets of a higher dimensional function these connectivity problems disappear and higher quality simulations are possible.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106711#106711 Answer by Denis Serre for 2D Problems Which are Easier to Solve in 3D Denis Serre 2012-09-09T06:32:15Z 2012-09-09T06:32:15Z <p>Of course, there is one such problem! This is the Cauchy problem for the wave equation $$\frac{\partial^2u}{\partial t^2}=\Delta u,\qquad u(x,0)=f(x),\quad \frac{\partial u}{\partial t}(x,0)=g(x),$$ where $x\in{\mathbb R}^d$. To solve it, it is enough to know the case where $f\equiv0$.</p> <p>If $d=3$, this problem is solved by using spherical means. We obtain $$u(x,t)=tM_{t,x}[g],$$ where $M_{t,x}$ denotes the mean over the sphere of radius $t$ and center $x$.</p> <p>The two-dimensional case is way more complicated. The formula can only be found by considering that a $2$D-solution is a special case of a $3$D-solution. Then the solution involves a complicated integral over the disk $D(x;t)$ instead of the circle. This is why the Huyghens principle holds true in $3$ space dimensions but not in $2$ space dimensions.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106758#106758 Answer by Hiro Lee Tanaka for 2D Problems Which are Easier to Solve in 3D Hiro Lee Tanaka 2012-09-09T22:56:49Z 2012-09-10T15:59:22Z <p>There's a famous problem posed by Erdos that has an easy 3-D solution, but a very difficult 2-D solution. The problem is to prove the following: Given a decomposition of an n-cube into finitely many n-cubes $Q_1, ... Q_k$ ($k>1$), prove that there exist two distinct cubes $Q_i, Q_{i'}$, of equal size.</p> <p>The above statement is certainly true for $n=3$ (this is a simple exercise), but it is in fact untrue for $n=2$. I think this is known as the "Squared square" problem, and you can <a href="http://squaring.net/history_theory/sprague.html" rel="nofollow">read more about it here</a>. Below is the first counter-example, due to Sprague, to the problem.</p> <p>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<img src="http://squaring.net/history_theory/gfx/sprague.jpeg" alt="A squared square with no equal sub-squares"></p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106759#106759 Answer by John Wiltshire-Gordon for 2D Problems Which are Easier to Solve in 3D John Wiltshire-Gordon 2012-09-09T23:34:19Z 2012-09-10T14:25:07Z <p>A striking example:</p> <p>Consider arrangements of disks in the plane so that no two disks overlap (except on their boundaries) and their complement is a disjoint union of triangles (if we include a point at infinity). You can imagine trying to build a particular finite triangulated planar graph by placing different sized coins on the table.</p> <p>Here's the theorem: Any such graph may be obtained. Further, the representation is unique up to Möbius (and anti-Möbius) transformations of the plane.</p> <p>The proof of uniqueness is the striking bit. You think of the plane as the boundary of hyperbolic upper half space! Fill in each triangle of the original disks with a new disk tangent to them, and extend all the disks to half-balls. We view the surface of each ball as a plane in hyperbolic space, and consider the group of reflections across them. We then apply the Mostow rigidity theorem to the quotient manifold, and obtain the result.</p> <p>This observation is due to Thurston. See <a href="http://en.wikipedia.org/wiki/Circle_packing_theorem" rel="nofollow">http://en.wikipedia.org/wiki/Circle_packing_theorem</a></p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106774#106774 Answer by Michael Biro for 2D Problems Which are Easier to Solve in 3D Michael Biro 2012-09-10T03:50:22Z 2012-09-10T03:50:22Z <p>Voronoi diagrams in the plane can be described as the lower envelopes of wave-front surfaces in 3D. I'm not sure if this makes them 'easier', but it's a useful way of thinking about them.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106822#106822 Answer by Trevor Wilson for 2D Problems Which are Easier to Solve in 3D Trevor Wilson 2012-09-10T15:29:23Z 2012-09-10T15:29:23Z <p>Desargues' Theorem is a statement about triangles in the plane that is easier to prove using solid geometry.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106824#106824 Answer by Oliver Nash for 2D Problems Which are Easier to Solve in 3D Oliver Nash 2012-09-10T15:39:59Z 2012-09-10T15:39:59Z <p>A not-so-serious answer; hopefully what it lacks in depth it makes up for by being elementary.</p> <p>Suppose we forget Pythagoras's theorem and define a binary operation on positive reals by sending $(a, b)$ to the length of the hypotenuse of the right-angled triangle with side lengths $a, b$ forming the right angle.</p> <p>The associativity of this operation is trivial in three dimensions but not so in two.</p> <p>I came across this here: D. Bell, "Associative Binary Operations and the Pythagorean Theorem", The Mathematical Intelligencer, Vol. 33, No. 1 (2011), 92-95, DOI: 10.1007/s00283-010-9171-6 <a href="http://www.springerlink.com/content/r8t12847357j1ln7/" rel="nofollow">http://www.springerlink.com/content/r8t12847357j1ln7/</a></p> <p>Apparently it is also mentioned here: L. Berrone, "The Associativity of the Pythagorean Law", The American Mathematical Monthly, Vol. 116, No. 10, Dec., 2009 <a href="http://www.jstor.org/discover/10.2307/40391255?uid=3738232&amp;uid=2129&amp;uid=2&amp;uid=70&amp;uid=4&amp;sid=21101035566283" rel="nofollow">http://www.jstor.org/discover/10.2307/40391255?uid=3738232&amp;uid=2129&amp;uid=2&amp;uid=70&amp;uid=4&amp;sid=21101035566283</a></p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106831#106831 Answer by Felix Goldberg for 2D Problems Which are Easier to Solve in 3D Felix Goldberg 2012-09-10T16:53:54Z 2012-09-10T16:53:54Z <p>[Not exactly solving a problem, but explaining it] This <a href="http://www.youtube.com/watch?v=wO61D9x6lNY" rel="nofollow">excellent movie</a> uses a similar idea.</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106901#106901 Answer by Dror Bar-Natan for 2D Problems Which are Easier to Solve in 3D Dror Bar-Natan 2012-09-11T11:59:51Z 2012-09-11T11:59:51Z <p>Four cars drive in the Sahara desert (an infinite plane) at constant and generic velocities and directions. It is known that car A at some point in time meets car B (though let's pretend they drive through each other without crashing). The exact same thing is also known for the pairs AC, AD, BC, and BD. Is it also true for the pair CD?</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106908#106908 Answer by Dror Bar-Natan for 2D Problems Which are Easier to Solve in 3D Dror Bar-Natan 2012-09-11T13:05:59Z 2012-09-11T13:05:59Z <p>Can you cover a planar disk of diameter 100 with 99 rectangles (possibly intersecting) of size $100\times 1$?</p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/106918#106918 Answer by alef for 2D Problems Which are Easier to Solve in 3D alef 2012-09-11T14:52:04Z 2012-09-11T14:52:04Z <p>See: <a href="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&amp;id=pdf_1&amp;handle=euclid.aop/1176992821" rel="nofollow">http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&amp;id=pdf_1&amp;handle=euclid.aop/1176992821</a></p> http://mathoverflow.net/questions/106705/2d-problems-which-are-easier-to-solve-in-3d/128886#128886 Answer by Rodrigo A. Pérez for 2D Problems Which are Easier to Solve in 3D Rodrigo A. Pérez 2013-04-27T04:18:20Z 2013-04-27T04:18:20Z <p>Given two disjoint disks of different radii, find the intersection of their common external tangents. For lack of a better name, call this the h-center of the pair (h- for homothety?).</p> <p><b>Problem:</b> Given three mutually disjoint disks, the h-centers of the three pairs are colinear.</p> <blockquote> <p>The nicest solution involves adding one dimension and inflating the disks to balls (with centers in the original plane $\Pi$). The pairs of tangents become full-fledged cones with vertices in $\Pi$, and the proof is obtained by studying a plane tangent to all three balls. It is tangent to all three cones, so it contains their three vertices, but it also intersects $\Pi$ on a straight line :)</p> </blockquote>