Interesting Applications of the Classical Stokes Theorem? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T15:48:57Z http://mathoverflow.net/feeds/question/83965 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem Interesting Applications of the Classical Stokes Theorem? Jonah Sinick 2011-12-20T20:58:49Z 2011-12-23T09:03:54Z <p>When students learn multivariable calculus they're typically barraged with a collection of examples of the type "given surface X with boundary curve Y, evaluate the line integral of a vector field Y by evaluating the surface integral of the curl of the vector field over the surface X" or vice versa. The trouble is that the vector fields, curves and surfaces are pretty much arbitrary except for being chosen so that one or both of the integrals are computationally tractable.</p> <p>One more interesting application of the classical Stokes theorem is that it allows one to interpret the curl of a vector field as a measure of swirling about an axis. But aside from that I'm unable to recall any other applications which are especially surprising, deep or interesting. </p> <p>I would like use Stokes theorem show my multivariable calculus students something that they enjoyable. Any suggestions?</p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83966#83966 Answer by Toby Bartels for Interesting Applications of the Classical Stokes Theorem? Toby Bartels 2011-12-20T21:30:11Z 2011-12-20T21:50:57Z <p>In the theory of electromagnetism, the classical Stokes Theorem moves between the differential and integral forms of two of Maxwell's four equations; see <a href="https://en.wikipedia.org/wiki/Stokes%27_theorem#In_electromagnetism" rel="nofollow">https://en.wikipedia.org/wiki/Stokes%27_theorem#In_electromagnetism</a> for discussion. Note that the integral forms may be directly interpreted using classical physical intuition, while the differential forms give us differential equations that we might solve, so it is important that we can switch between them.</p> <p>ETA: I think that Wikipedia's discussion is a little vague, although possibly appropriate in that context. So here is more detail, looking at Faraday's Law. In terms of physically observable quantities, the law states that the rate of change of the magnetic flux through a stationary surface is proportional to the electromotive force around the boundary of the surface. The magnetic flux is the surface integral of the magnetic field $\vec H$, and the EMF is the line integral of the electric field $\vec E$, so we have $$\oint _ { \partial S } \vec E \cdot \mathrm d \vec r = - \frac { \mathrm d } { \mathrm d t } \iint _ S \vec H \cdot \mathrm d ^ 2 \vec A$$ using standard units and sign conventions. Applying the classical Stokes Theorem on the left and using that $S$ is stationary on the right, this becomes $$\iint _ S ( \nabla \times \vec E ) \cdot \mathrm d ^ 2 \vec A = - \iint _ S \frac { \partial \vec H } { \partial t } \cdot \mathrm d ^ 2 \vec A \text ;$$ since this holds for arbitrarily small surfaces, we conclude that $$\nabla \times \vec E = - \frac { \partial \vec H } { \partial t } \text ,$$ a differential equation. (The argument in reverse is even easier, since you don't have to worry about arbitrarily small surfaces.)</p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83968#83968 Answer by Joseph O'Rourke for Interesting Applications of the Classical Stokes Theorem? Joseph O'Rourke 2011-12-20T21:49:26Z 2011-12-20T21:49:26Z <p>If you don't mind specializing Stokes theorem to Green's theorem, then one of the most practical applications is computation of the area of a region by integrating around its contour. I am old enough to have used a <a href="http://en.wikipedia.org/wiki/Planimeter" rel="nofollow">planimeter</a>, a delightful physical embodiment of Green's theorem: <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <img src="http://upload.wikimedia.org/wikipedia/commons/thumb/5/58/Polarplanimeter_01.JPG/250px-Polarplanimeter_01.JPG" alt="Planimeter"><br /> One can also derive an (otherwise non-obvious) formula for the area of a planar polygon via Green's theorem: $A = \frac{1}{2} \sum_{i=0}^{n-1} x_i y_{i+1} - x_{i+1} y_i$.</p> <p>Sorry&mdash;no swirling vector fields in these examples!</p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83973#83973 Answer by Igor Rivin for Interesting Applications of the Classical Stokes Theorem? Igor Rivin 2011-12-20T22:51:50Z 2011-12-20T22:51:50Z <p>One could argue that complex function theory (the fact that analytic functions integrate to zero around contours) is an application, and a nice one.</p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83983#83983 Answer by orbifold for Interesting Applications of the Classical Stokes Theorem? orbifold 2011-12-21T01:17:05Z 2011-12-21T10:11:11Z <p>A nice application in fluid mechanics is <a href="http://en.wikipedia.org/wiki/Kelvin%27s_circulation_theorem" rel="nofollow">Kelvin's circulation theorem</a>. You could also discuss how it fails to hold, if there are obstacles in the fluid flow. In the same spirit stokes theorem is applied in the canonical formalism of classical mechanics to find the poincare-cartan integral invariants. </p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83984#83984 Answer by J.C. Ottem for Interesting Applications of the Classical Stokes Theorem? J.C. Ottem 2011-12-21T01:22:08Z 2011-12-21T01:22:08Z <p>The <a href="http://www.math.duke.edu/~wka/math204/fixed.pdf" rel="nofollow">proof of Brower's fixed point theorem</a> using Stokes' theorem is a nice application I think.</p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/83988#83988 Answer by Nilima Nigam for Interesting Applications of the Classical Stokes Theorem? Nilima Nigam 2011-12-21T03:52:33Z 2011-12-21T03:52:33Z <p>A student may also learn about the content from Stokes theorem from instances where it <em>failed</em> to hold as expected. For example, one has to exercise care when trying to use the theorem on domains with holes. Turn this around: the failure of Stokes to hold <em>as expected</em> tells you about the cohomology of the domain. I think it is possible via concrete examples to illustrate this point in a multivariate calculus class without using the more technical phraseology. </p> <p>A similar discussion occured at <a href="http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu" rel="nofollow">http://mathoverflow.net/questions/57025/down-to-earth-uses-of-de-rham-cohomology-to-convince-a-wide-audience-of-its-usefu</a></p> <p>For a non-standard application of the failure of the Stokes theorem, there's the odd case of the Purcell Swimmer: <a href="http://iopscience.iop.org/1367-2630/10/6/063016/fulltext/" rel="nofollow">http://iopscience.iop.org/1367-2630/10/6/063016/fulltext/</a> Rendering this accessible to a multivariable calculus class may take some work, depending on your students. </p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/84002#84002 Answer by Buschi Sergio for Interesting Applications of the Classical Stokes Theorem? Buschi Sergio 2011-12-21T13:03:09Z 2011-12-22T20:46:11Z <p>I find interesting that divergence theorem (that is a corollary of the general Stokes theorem on differentiable varieties) in a vectorial form (one integral for any cathesian cohordinate) give a proof of the Archimedes' principle of buoyancy on the fluid .</p> <p>given a body immersed on a (incompressible) fluid let $S$ its surface and for each point $p\in S$ let $\overrightarrow{n}:=(n_x(p), n_y(p), n_z(p))$ the normal versor to $S$ in $p$. then the total force on the body is the (vector) integral $\int_S\mu\cdot (L-z(p))\cdot -\overrightarrow{n}\cdot dS=$</p> <p>$-(\int_S\mu\cdot (l-z(p))\cdot n_x(p) \cdot dS, \int_S\mu\cdot (l-z(p))\cdot n_x(p) \cdot dS, \int_S\mu\cdot (l-z(p))\cdot n_z(p) \cdot dS) =$</p> <p>$-\mu\cdot(\int_S\ (l-z(p))\cdot \overrightarrow{i} \circ \overrightarrow{n}\circ dS, \int_S (l-z(p))\cdot \overrightarrow{j} \circ \overrightarrow{n}\circ dS, \int_S (l-z(p))\cdot \overrightarrow{k} \circ \overrightarrow{n}\circ dS)$</p> <p>(where $l$ is the fluid level, and $\mu$ its density, $\overrightarrow{i}, \overrightarrow{j}, \overrightarrow{k}$ the usual cartesian versors).</p> <p>then from the divergence theorem (on each of the three components) and from $\nabla\circ((l-z)\overrightarrow{i})=\partial/\partial x (l-z)=0,\ \nabla\circ((l-z)\overrightarrow{j})=\partial/\partial y (l-z)=0$ $\nabla\circ((l-z)\overrightarrow{k})=\partial/\partial z (l-z)=-1$</p> <p>follow that: $\int_S\mu\cdot (L-z(p))\cdot -\overrightarrow{n}\cdot dS= \mu\cdot \int_VdV\cdot \overrightarrow{k} =\mu |V|\cdot \overrightarrow{k}$ (where $V$ in the volume space (internal) bounded by $S$ and $|V|$ its measure. </p> http://mathoverflow.net/questions/83965/interesting-applications-of-the-classical-stokes-theorem/84104#84104 Answer by yael fregier for Interesting Applications of the Classical Stokes Theorem? yael fregier 2011-12-22T17:53:48Z 2011-12-23T09:03:54Z <p>You can tell your students that a clever use of Stokes theorem can give you a Fields medal. Indeed, the proof that the formality map given by M. Kontsevich is a $L_\infty$-morphism, is nothing else than Stokes theorem. A detailed account of this can be found in <code>Deformation quantization of Poisson manifolds. Lett. Math. Phys. 66 (2003), no. 3, 157–216</code> or with more details in <code>Déformation, quantification, théorie de Lie, 123–164, Panor. Synthèses, 20, Soc. Math. France, Paris, 2005</code> which is in English, contrary to its title.</p>