56
$\begingroup$

For the purposes of this question let a "physical intuition" be an intuition that is derived from your everyday experience of physical reality. Your intuitions about how the spin of a ball affects it's subsequent bounce would be considered physical intuitions.

Using physical intuitions to solve a math problem means that you are able to translate the math problem into a physical situation where you have physical intuitions, and are able to use these intuitions to solve the problem. One possible example of this is using your intuitions about fluid flow to solve problems concerning what happens in certain types of vector fields.

Besides being interesting in its own right, I hope that this list will give people an idea of how and when people can solve math problems in this way.

(In its essence, the question is about leveraging personal experience for solving math problems. Using physical intuitions to solve math problems is a special case.)


These two MO questions are relevant. The first is aimed at identifying when using physical intuitions goes wrong, while the second seems to be an epistemological question about how using physical intuition is unsatisfactory.

$\endgroup$
3
  • 2
    $\begingroup$ Another relevant question is about translating a physical argument into a mathematical one. $\endgroup$
    – Ramsay
    Nov 22, 2010 at 2:17
  • 1
    $\begingroup$ Here, the Kirchhoff's circuit laws are used to find a "squaring of the square". $\endgroup$
    – Watson
    Feb 7, 2017 at 22:33
  • $\begingroup$ Lehman's inequality can be proved by analyzing the resistance of simple electrical circuits $\endgroup$
    – Tadashi
    Aug 22, 2023 at 15:15

16 Answers 16

76
$\begingroup$

The first and second laws of thermodynamics allow you to recover the inequality between the arithmetic and the geometric means: Bring together n identical heat reservoirs with heat capacity $C$ and temperatures $T_1,\ldots,T_n$ and allow them to reach a final temperature $T$. The first law of thermodynamics tells you that $T$ is the arithmetic mean of the $T_i$. The second law of thermodynamics demands the non-negativity of the change in entropy, which is

$$ Cn \, log(T/G) $$

where $G$ is the geometric mean. It follows that $T > G$.

I believe this argument was first made by P.T. Landsberg (no relation!).

$\endgroup$
12
  • 52
    $\begingroup$ Warmest congratulations for this cool example. $\endgroup$ Nov 22, 2010 at 13:10
  • 5
    $\begingroup$ Does this argument basically say conversely that the first law of thermodynamics conversely boils down to the same kind of convexity as in the arithmetic-geometric mean? $\endgroup$
    – Phil Isett
    Sep 8, 2011 at 2:38
  • 4
    $\begingroup$ @GeorgesElencwajg: I see what you did there $\endgroup$
    – user45220
    Sep 29, 2015 at 18:37
  • 3
    $\begingroup$ @user45220: sorry, I'm afraid I don't understand your comment. $\endgroup$ Sep 29, 2015 at 19:10
  • 4
    $\begingroup$ @user45220 *icy what you did there. $\endgroup$ Aug 17, 2018 at 17:17
52
$\begingroup$

Here is a proof of Pick's area theorem $\mu(P)=i +{b\over2}-1$ "using physical intuition": Assume that at time 0 a unit of heat is concentrated at each lattice point. This heat will be distributed over the whole plane by heat conduction, and at time $\infty$ it is equally distributed on the plane with density 1. In particular, the amount of heat contained in $P$ will be $\mu(P)$. Where does this amount of heat come from? Consider a segment $e$ between two consecutive boundary lattice points. The midpoint $m$ of $e$ is a symmetry center of the lattice, so at each instant the heat flow is centrally symmetric with respect to $m$. This implies that the total heat flux across $e$ is 0. As a consequence, the final amount of heat within $P$ comes from the $i$ interior lattice points and from the $b$ boundary lattice points. To account for the latter, orient $\partial P$ so that the interior is to the left of $\partial P$. The amount of heat going from a boundary lattice point into the interior of $P$ is a half, minus the turning angle of $\partial P$ at that point, measured in units of $2\pi$. Since the sum of all turning angles for a simple polygon is known to be one full turn, we arrive at the stated formula.

$\endgroup$
6
  • 1
    $\begingroup$ Beautiful! How does one make this rigorous? Gauss-Bonnet? $\endgroup$ Nov 22, 2010 at 14:11
  • $\begingroup$ Dear @QiaochuYuan, have you found out how to make this rigorous? $\endgroup$
    – user60665
    Dec 25, 2014 at 16:39
  • 2
    $\begingroup$ @Dal: I made this up because a famous geometer had complained in a lecture that "there is no conceptual proof of this theorem". $\endgroup$ Dec 31, 2014 at 19:24
  • 3
    $\begingroup$ This proof was published in the note Blatter, C. Another proof of Pick's area theorem. Math. Mag., Mathematical Association of America (MAA), Washington, DC, 1997, 70, 200. It has bonus proof inside: Guenter M. Ziegler has remarked that one can replace the units of heat, e.g., by thin circular cylinders of unit volume and let these cylinders collectively melt. $\endgroup$ Jun 23, 2017 at 6:26
  • 1
    $\begingroup$ Link people.math.ethz.ch/~blatter/Pick.pdf $\endgroup$ Jun 23, 2017 at 6:54
27
$\begingroup$

Theorem: Every permutation in $S_n$ is a product of transpositions.

Proof: If I number cups from 1 to $n$ and set them down in a row on the table in a mixed-up order, even a child could put the cups back into their natural order by exchanging cups two at a time using the left hand and right hand. QED

I learned this example from Ryan Kinser.

$\endgroup$
3
  • 4
    $\begingroup$ If we affix long strings between the cups and the table, we can get a similar statement about braids. $\endgroup$
    – S. Carnahan
    Sep 14, 2014 at 0:15
  • 2
    $\begingroup$ TIL children are physical phenomena :) $\endgroup$
    – Wojowu
    Jun 22, 2017 at 20:10
  • 1
    $\begingroup$ Actually I didnt believe that (while knowing the result to be true), but thinking how one would do it (transpose the cup 1 with the one in position 1, then only work on the cups from 2 onwards, basicallyt doing induction) now I see it. $\endgroup$
    – lalala
    Nov 28, 2020 at 17:49
17
$\begingroup$

Polya's Induction and Analogy in Mathematics has a chapter on this, along with some great examples. It's not just physical intuition influencing mathematics; it's more a powerful synergy between physical and mathematical intuition. I'll summarize some of it:

  1. Suppose we have two points A and B on the same side of some line L in the plane. What's the shortest path from A to L and then to B? The solution is obvious once we reflect one of the points (and its segment of the path) across L. That solution seems tricky in the abstract, but it's very intuitive if we imagine a reflecting ray of light and think about looking at things in a mirror.

  2. Now suppose A and B are on different sides of L, and a particle moves from A to B, and its speed is different on the two sides of L. What's the shortest path (in time)? (This problem is to a refracting ray of light as the previous one is to a reflecting ray.) It turns out this can be solved by reducing it to a physical problem involving a system of weights and pulleys at equilibrium. I won't try to describe it here, but it might be fun to try to reinvent it.

  3. Now let's take a serious math problem: what plane path minimizes the time an object takes to move from point A (at rest) to point B, assuming constant gravity? (This is the famous "brachistochrone" problem.) By conservation of energy, the speed of the object at a point on the curve depends only on its height (defined relative to its starting point and with respect to the direction of gravity). Thus, we're led to consider light moving in a very particular heterogeneous refracting medium, where the index of refraction depends in a specific way on the height. To find the path taken by light, we simply apply the law of refraction to this medium to obtain a differential equation for the path, which we can then solve.

The interplay between mathematical and physical intuition is very interesting here. The first problem is mathematical, but in trying to solve it, it's natural to draw an analogy to optics. The second problem is suggested by optics, but we solve it by analogy with mechanics. The third problem is basically mechanical, but we solve it by analogy with optics, and we actually use the solution to the second problem!

$\endgroup$
3
  • 1
    $\begingroup$ I assign question one as a calculus problem with coordinates given for the two points. Of course, everyone tries to solve this using calculus, but the algebra of finding the zeros of the derivative of the length function is a little tricky. Then when someone asks me to solve the problem, I show them the conceptual solution. $\endgroup$ Nov 22, 2010 at 12:59
  • 2
    $\begingroup$ It's nearly trivial if you find the minimum of the square of the length rather than the length (they are related by a monotonic function, hence they have the same minima). $\endgroup$ Apr 1, 2011 at 11:19
  • 1
    $\begingroup$ For question 2, I think one may consider the problem of going from A to B at constant rate between two points on half-planes making an angle with each other in 3D (like switching from running horizontally to running up a hill at constant speed). Then project to another plane to get the answer to the changing speed problem. $\endgroup$
    – Ian Agol
    Feb 13, 2016 at 4:22
16
$\begingroup$

For electrical network intuition/applications to random walks see the beautiful little book of Doyle and Snell http://arxiv.org/abs/math/0001057

$\endgroup$
1
  • 2
    $\begingroup$ Nice example. More generally, the whole interplay between algebraic graph theory and electric networks. Say, you are given a tree-shaped electric network and the value of the current on each wire, and want to reconstruct the potential in each node. Of course, you can do so only up to a reference (ground) potential: This is equivalent to the fact that the range of the oriented incidence matrix of the graph has codimension $|V|-1$. $\endgroup$ Nov 15, 2013 at 9:32
15
$\begingroup$

A paradigmatic example is Riemann's original "proof" of his mapping theorem in complex analysis. He gave an heuristic argument using Dirichlet's principle which was motivated by electrostatics in the plane.

$\endgroup$
14
$\begingroup$

Mark Levi's book The Mathematical Mechanic is full of elementary and beautiful examples of this kind. Some examples are also given in this blog post by Yan Zhang.

A classic example is a "proof" that there exist non-constant meromorphic functions on a compact Riemann surface, which I think is due to Klein: see this MO question.

$\endgroup$
5
  • $\begingroup$ +1: You beat me to it -- I heard Mark Levi give a number of talks along those lines while I was at Penn State, and they always ranked among the more interesting talks I've attended. $\endgroup$ Nov 22, 2010 at 1:33
  • $\begingroup$ This is officially now one of my all time favorite books and not only am I inspired to write a similar and more advanced text someday,but to use this book and others of its ilk in my teaching! $\endgroup$ Nov 22, 2010 at 6:28
  • 1
    $\begingroup$ +1: You beat me too! (yet why giving +1 to whom beats you?) ;-) $\endgroup$ Nov 22, 2010 at 13:23
  • 1
    $\begingroup$ Some examples of M. Levi ingenuous thought can be found in SIAM News: For instance, The Cauchy-Schwarz Inequality and a Paradox/Puzzle and Lagrange Multiplier as Depth or Pressure. $\endgroup$
    – Tadashi
    May 29, 2020 at 22:27
  • $\begingroup$ "Some Applications Of Mechanics To Mathematics" by V. A. Uspenskii has many other interesting examples too. $\endgroup$
    – Tadashi
    Jan 17, 2022 at 0:04
8
$\begingroup$

Archimedes gave exact proofs as well as mechanically motivated explanations for results like the quadrature of the parabola or the volume of spheres.

$\endgroup$
3
  • $\begingroup$ Franz: Do you know any sources that detail this? $\endgroup$ Nov 22, 2010 at 20:25
  • $\begingroup$ I seem to remember that this is described in "Archimedes. What did he do besides cry eureka?" by Sh. Stein. $\endgroup$ Nov 23, 2010 at 6:53
  • $\begingroup$ Just for complementing this answer, the Archimedes' method cited by @FranzLemmermeyer has been recently applied to calculate the sum $$\sum _{i=1}^n(-1)^{i+1}i^p$$ in (1). The author of this paper also has another papers where physical reasoning are also used. (1): Treeby, David. "Applying Archimedes’s Method to Alternating Sums of Powers." The Mathematical Intelligencer (2018): 1-6. $\endgroup$
    – Tadashi
    Aug 31, 2018 at 14:45
6
$\begingroup$

The October 2015 issue of American Mathematical Monthly has an article by Tadashi Tokieda with the following title and abstract.

A viscosity proof of the Cauchy-Schwarz inequality

Abstract. The Cauchy–Schwarz inequality for positive quadratic forms has many proofs. This note gives a new derivation that looks unusual at first, but is natural in retrospect, interpreting the quadratic form as kinetic energy and the inequality as dissipation in a viscous flow.

Tokieda also has several articles applying physical intuition to mathematical problems, such as:

$\endgroup$
5
$\begingroup$

Read the following paper for some striking examples.

MR2587923 Atiyah, Michael; Dijkgraaf, Robbert; Hitchin, Nigel Geometry and physics. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 368 (2010), no. 1914, 913–926.

$\endgroup$
5
$\begingroup$

I like this one.

Problem: Take an arbitrary tetrahedron. Draw 3 lines through the middles of opposing edges. Draw 4 more lines through vertices and intersections of medians of opposing faces. Prove that all 7 lines intersect in one point.

Solution: Place equal weights in the tetrahedron's vertices. The intersection point of all 7 lines is the centre of mass. The 7 lines correspond to different ways of computing the centre of mass based on the elementary physics observation that if you consider a set of objects as a union of 2 subsets the common set of mass is going to lie on the line connecting the centers of mass of the 2 subsets.

$\endgroup$
1
  • 1
    $\begingroup$ Pardon me, but I wouldn't call this example a "physical analogy" : I would consider it as a purely mathematical property that comes from 2 different ways for computing a barycenter (=centre of mass) $\endgroup$ Aug 4, 2016 at 7:18
5
$\begingroup$

My favorite example: it's not too hard to show---see here for example---that if $U$ is a unitary matrix, then $\left|\operatorname{Per}(U)\right|\le1$, where Per denotes the matrix permanent function,

$\operatorname{Per}(U) = \sum_{\sigma \in S_n} \prod_{i=1}^n u_{i,\sigma(i)}$.

However, one can also give an immediate "physics proof" of the same inequality, as follows. Given any $n\times n$ unitary matrix $U$, one can set up a quantum optics experiment where $n$ identical photons are generated in separate input ports and pass through a network of beamsplitters; then the total amplitude for a single photon to appear in each of $n$ output ports, with no "bunching" of multiple photons in the same port, is equal to $\operatorname{Per(U)}$. (Intuitively, this is because photons are bosons, so you need to sum over all $n!$ possible ways that they could be permuted, with each permutation contributing an amplitude that's a product of the transition amplitudes for the photons considered individually.)

OK, but the probability of a measurement outcome is just the squared absolute value of its amplitude, and probabilities can never exceed $1$. Therefore $\left|\operatorname{Per}(U)\right|\le1$.

$\endgroup$
4
$\begingroup$

Let $X$ be a random variable taking on $n$ distinct values with probabilities $p_1,\dots,p_n$. The entropy of $X$ is defined by $H(X)=\sum p_i \log_2(1/p_i)$. An early theorem is that $H(X) \leq \log_2(n)$, and here's a physical proof. Place a point with mass $p_i$ at $(x_i,y_i)=(1/p_i,\log(1/p_i))$. The center of mass $$(\bar x,\bar y) = \frac{\sum (m_ix_i, m_iy_i)}{\sum m_i} = (n,H(X))$$ of the $n$ points must lie in the convex hull of the points (this is the physical intuition part). But since $y=\log(x)$ is concave, the convex hull is completely below (or on) the curve $y=\log(x)$. That is, $H(X) \leq \log_2(n)$.

$\endgroup$
2
$\begingroup$

I gave an answer based on surface tension (which I did not invent) to the napkin ring problem

$\endgroup$
1
$\begingroup$

Assume you want to prove a parabolic strict maximum principle, that is: Given an initial datum that attains everywhere a value $\ge 0$ but is not identically zero the solution of the corresponding linear heat equation is $>0$ everywhere and for all time $t>0$.

One possibility is the following: One shows that (because the semigroup that yields the solution is analytic) the above property is equivalent to irreducibility of the semigroup.

Now, irreducibility of the semigroup is (at least in my eyes) a very physical property of a diffusion process: It essentially says that you cannot expect particles to consistently hit a certain point and being reflected if that very point is not part of the boundary at all (say no potential-generated barriers).

(Indeed you can formalize this latter reasoning, but in my opinion even the introduction of the notion of irreducibility in the semigroup theory is perfectly justified by physical reasons.)

$\endgroup$
1
$\begingroup$

Let A, B, C be three points in the plane and assume that P minimizes the sum of the distances to A, B, C. One can proof that then the angles APB, BPC, CPA are all 120 deg. Physically we can imagine a table and three strings knoted together at P on the table and going through holes at A B C respectively. At each string a (unit) weight is attached. At equilibrium the potential energy and therfore the sum of the distances of the knot to A, B, C is minimal. On the other hand at the equilibrium the forces on the knot sum up to zero which is why the angles must be 120 degree.

$\endgroup$
1
  • 2
    $\begingroup$ You also can take a rubber loop passing through rings in points $APBPCPA$. $\endgroup$ Jun 23, 2017 at 6:34

Not the answer you're looking for? Browse other questions tagged or ask your own question.