Surprising and Useful Physical Intuition for Mathematical Objects - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T08:08:03Z http://mathoverflow.net/feeds/question/59840 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects Surprising and Useful Physical Intuition for Mathematical Objects Jon Bannon 2011-03-28T14:41:02Z 2011-06-28T21:04:59Z <p>I believe I.M. Gelfand said that when beginning to learn a new subject, one should learn it like a physicist.</p> <p>In this spirit, what are some helpful and surprising physical intuitions accompanying mathematical objects?</p> <p>I especially am interested in intuitions that suggest nice proofs...and helpful new ways of thinking. </p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59842#59842 Answer by Denis Serre for Surprising and Useful Physical Intuition for Mathematical Objects Denis Serre 2011-03-28T15:18:48Z 2011-03-28T15:18:48Z <p>The Hilbert method for linear elliptic boundary-value problems start from the physical intuition that a steady system in stable configuration minimizes its energy.</p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59844#59844 Answer by Denis Serre for Surprising and Useful Physical Intuition for Mathematical Objects Denis Serre 2011-03-28T15:23:33Z 2011-03-28T15:23:33Z <p>The previous one was so classical!. This one is much less. James Glimm succeeded to prove in 1967 the existence of a global-in-time solution of the Cauchy problem for hyperbolic systems of conservation laws in one space dimension. His proof is probabilistic. The key of the proof is the construction and estimate of the <em>potential of interaction</em>. It involves pairs of waves that are approaching each other. Clearly a physical intuition.</p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59846#59846 Answer by Stefan Waldmann for Surprising and Useful Physical Intuition for Mathematical Objects Stefan Waldmann 2011-03-28T15:23:59Z 2011-03-28T15:23:59Z <p>Well, there are of course many examples but perhaps the Dirac $\delta$-function is the most striking one. With quite some violence to the math of usual calculus, Dirac's idea turned out to be exremely useful: the "function" everywhere zero and very high at $0$ so that the integral is $1$. Applications are ranging from Fourier analysis, (linear) PDE, quantum mechanics, and many more. Now of course we know how to make things rigorous in the framework of Schwartz's test function and distribution theory. But the intuition is clearly from physics.</p> <p>Similar and also in this framework is the notion of oscillatory integrals...</p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59853#59853 Answer by José Figueroa-O'Farrill for Surprising and Useful Physical Intuition for Mathematical Objects José Figueroa-O'Farrill 2011-03-28T15:52:30Z 2011-03-28T15:52:30Z <blockquote> <p>Mr. McGuire: <em>Benjamin.</em></p> <p>Benjamin: <em>Mr. McGuire.</em></p> <p>Mr. McGuire: <em>Benjamin.</em></p> <p>Benjamin: <em>Mr. McGuire.</em></p> <p>Mr. McGuire: <em>I want to say two words to you.</em></p> <p>Benjamin: <em>Yes, sir.</em></p> <p>Mr. McGuire: <em>Are you listening?</em></p> <p>Benjamin: <em>Yes, I am.</em></p> <p>Mr. McGuire: <a href="http://www.scholarpedia.org/article/Path_integral" rel="nofollow"><em>Path integrals.</em></a></p> </blockquote> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59883#59883 Answer by Pieter Naaijkens for Surprising and Useful Physical Intuition for Mathematical Objects Pieter Naaijkens 2011-03-28T19:17:45Z 2011-03-28T19:17:45Z <p>My favourite example is that of braided fusion categories (a fusion category has finitely many equivalence classes of irreducible objects, but that is not essential here). This is basically the idea behind topological quantum computing. Without going into details, a nice interpretation of the equivalence classes of irreducible objects is as "particle types" or "charges". In a fusion category there is a monoidal operation $\otimes$, which can be interpreted as "composition of charges". Moreover, if $X$,$Y$ are two irreducible objects, the product $X \otimes Y$ can be decomposed into a direct sum $\bigoplus_i X_i$ of irreducible objects. This is called <em>fusion</em>, and can be interpreted as "fusing" particles. The irreducibles appearing in the decomposition are the particle types that can appear after fusing two particles.</p> <p>The braiding of the category describes what happens if we interchange two particles. If the braiding is in fact a symmetry, that is, we have a <em>symmetric</em> monoidal category, the situation reduces to the well-known Bose/Fermi statistics in physics. The existence of dual objects corresponds to anti-particles. In particular, there is a morphism from the tensor unit (the "vacuum") to $X \otimes \overline{X}$ for every object $X$, interpreted as creating a particle together with it's anti-particle form the vacuum. Note that charge is conserved!</p> <p>Pushing this analogy a bit further, one can interpret the "tangle diagrams" that are commonly used to describe morphisms in braided monoidal categories as the wordlines of particles. For example, a diagram with one input and two outputs can be interpreted as a particle splitting into two. Although this whole picture of worldlines should not be taken to literally, I find it a helpful when thinking about such diagrams.</p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59887#59887 Answer by Qiaochu Yuan for Surprising and Useful Physical Intuition for Mathematical Objects Qiaochu Yuan 2011-03-28T19:58:34Z 2011-03-28T19:58:34Z <p>There are several examples at the <a href="http://empslocal.ex.ac.uk/people/staff/mrwatkin//zeta/physics.htm" rel="nofollow">number theory and physics archive</a>. To get you started let me mention the <a href="http://empslocal.ex.ac.uk/people/staff/mrwatkin//zeta/physics2.htm#partition" rel="nofollow">statistical-mechanical interpretation of the Riemann zeta function</a> as the partition function of a system called the <a href="http://en.wikipedia.org/wiki/Primon_gas" rel="nofollow">primon gas</a> or Riemann gas. </p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59889#59889 Answer by Qiaochu Yuan for Surprising and Useful Physical Intuition for Mathematical Objects Qiaochu Yuan 2011-03-28T20:04:17Z 2011-03-28T20:04:17Z <p>Kirillov's <a href="http://en.wikipedia.org/wiki/Orbit_method" rel="nofollow">orbit method</a> in representation theory establishes a correspondence (which is not exact in general) between irreducible unitary representations of a Lie group $G$ and orbits of the action of $G$ on the dual of its Lie algebra $\mathfrak{g}^{\ast}$. The physical intuition behind the orbit method comes from the notion of quantizing a classical system: the rough idea, as I understand it, is that orbits of the action of $G$ on $\mathfrak{g}^{\ast}$ should be thought of as classical systems with $G$-symmetry, and the corresponding irreducible representations of $G$ should be thought of as the corresponding quantum systems. </p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59893#59893 Answer by Joseph O'Rourke for Surprising and Useful Physical Intuition for Mathematical Objects Joseph O'Rourke 2011-03-28T20:26:19Z 2011-03-28T20:26:19Z <p>I view the <a href="http://en.wikipedia.org/wiki/Gauss-Bonnet_theorem" rel="nofollow">Gauss-Bonnet theorem</a> for a surface without boundary via the physical analogy that if you push a dent into a maleable surface, or squeeze it, the surface must compensate by curving elsewhere to maintain $2 \pi \chi$. <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://3dideas.files.wordpress.com/2008/09/s.jpg?w=319&amp;h=200" alt="sphere blobs"></p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59899#59899 Answer by Ken for Surprising and Useful Physical Intuition for Mathematical Objects Ken 2011-03-28T22:30:37Z 2011-03-28T22:30:37Z <p>For beginners, Polya's Induction and Plausible Reasoning has some nice examples of physical reasoning. For example he has a chapter on a shortest path problem that is solved mechanically and optically. </p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/59990#59990 Answer by Alex R. for Surprising and Useful Physical Intuition for Mathematical Objects Alex R. 2011-03-29T17:11:00Z 2011-03-29T17:20:43Z <p>I remember from Folland's PDE book an anecdote about Green convincing himself of the existence of a Green's Function:</p> <p>Let $\Omega$ be a vacuum and $S$ a perfectly conducting shell grounded to zero potential. Place a negative charge at $x\in \Omega$. This induces a positive charge on the shell $S$. Indeed, the Green's Function $G(x,y)$ is the induced charge at a point $y$.</p> <p>I would also add that the physical interpretations of gradients, divergence and curl are indespensible for REMEMBERING the various theorems of Gauss, Stokes and Green. For example, the curl of a velocity field is twice the angular acceleration, a fact that facilitates the order of differences of partials in the curl operator. </p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/60023#60023 Answer by drvitek for Surprising and Useful Physical Intuition for Mathematical Objects drvitek 2011-03-29T22:59:57Z 2011-03-29T23:56:51Z <p>I don't know if you've heard of this before, but there is an extremely elegant physical proof of the existence and properties of the Fermat point. It even illustrates the degeneracy that starts to occur for largest angle at least $2\pi/3$.</p> <p>Consider your desired triangle as a flat, sturdy, sheet. Make very small notches at the vertices. Now take three ideal ropes and at one end of each fix identical balls. Join all three free ends. Place the rope-ball configuration on the top of the triangle, and slide each of the ropes through the notches. Let the balls hang off the triangle.</p> <p>Now, allow the system to assume its minimal potential energy. The intersection of the ropes will move to minimize the sum of the distances to the vertices, as potential energy is linear in height. So the intersection will move to the Fermat point.</p> <p>But here is the tricky part. As the intersection stabilizes, we know that the forces on it must be zero. The forces all have the same magnitude, so if they are all zero then they must have equal angles between them. So the lines from the Fermat point <em>X</em> to the vertices of triangle <em>ABC</em> satisfy $\angle AXB = \angle BXC = \angle CXA = 2\pi/3$.</p> <p>Of course, this suggests that in a suitably obtuse triangle the intersection will fall right through one of the notches, and indeed for angles greater than $2\pi/3$ the Fermat point is at the largest angle.</p> <p>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<img src="http://cs.smith.edu/~orourke/MathOverflow/FermatPoint.jpg" alt="FermatPoint"></p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/60024#60024 Answer by Jeff Strom for Surprising and Useful Physical Intuition for Mathematical Objects Jeff Strom 2011-03-30T00:21:15Z 2011-03-30T00:21:15Z <p>Archimedes figured out the area of a parabolic section by slicing it into pieces and moving the pieces to the other side of an imaginary lever and observing that they balance a certain triangle.</p> http://mathoverflow.net/questions/59840/surprising-and-useful-physical-intuition-for-mathematical-objects/69052#69052 Answer by Gyorgy Sereny for Surprising and Useful Physical Intuition for Mathematical Objects Gyorgy Sereny 2011-06-28T21:04:59Z 2011-06-28T21:04:59Z <p>I think, Elliott Sober gives a nice example (cf. Elliott Sober `Quine's Two Dogmas', Proceedings of the Aristotelian Society, Supplementary Volumes, Vol. 74 (2000), pp. 268-269):</p> <p>For logic and mathematics to be tested empirically, one logical or mathematical statement would have to be pitted against an alternative and a framework of shared background assumptions would have to be supplied that permits the two statements to make different predictions about observations. It is instructive to examine a case in the history of mathematics in which this actually happened. Plateau was a 19th century French mathematician who wanted to figure out what the surface of least area is that fills various closed curves. A simple example of the type of problem that Plateau had in mind is a curve that has the shape of an ellipse. An elliptical curve can be filled by the ellipse it contains; any other surface that fills the curve will bulge into a third dimension and so must have more surface area. Although the answer to Plateau's question is obvious for this example, the answers aren't at all obvious for more complicated three-dimensional curves. What Plateau did was to dip wires bent in different shapes into soapy water and observe the resulting soap bubbles that adhered to the frames when they were removed from the water (Courant, R. and Robbins, H., 1941, What is Mathematics?, New York: Oxford University Press). Given the physical assumption that soap bubbles take on the surface of least area in this experiment, different mathematical hypotheses ('the surface of least area for curve C is s1' versus 'the surface of least area for curve C is s2', for example) make different predictions. This example is interesting in the history of mathematics precisely because it is so atypical. No such test of '2 + 3 = 5' against alternative arithmetic hypotheses has ever been carried out, nor is it remotely clear what this would be like.</p>