Name for a basic principle of calculus? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T16:12:03Zhttp://mathoverflow.net/feeds/question/42336http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculusName for a basic principle of calculus?Michael Hardy2010-10-15T22:37:09Z2011-04-21T21:57:12Z
<p><code>$$
[\text{size of boundary}] \times [\text{rate of motion of boundary}] = [\text{rate of change of size of bounded region}]
$$</code>
This differs from the fundamental theorem of calculus in that it does not mention antiderivatives and you can present it on the first day of a beginning calculus course, with concrete examples. It immediately appeals to the intuition of even relatively non-mathematically inclined students. I have a forthcoming paper on the use of this proposition in teaching.</p>
<p>My question is: Is there some standard name for this statement?</p>
<p>And does it appear in the literature somewhere other than in my paper?</p>
<p>Added in a later edit: Several answers say this is a special case of something else (just as I did above). But in each case the "something else" is far too abstruse to present on the first day of the freshman calculus course. So let's add a different question: What <em>should</em> this <em>simple</em> statement be called?</p>
http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42348#42348Answer by anon for Name for a basic principle of calculus?anon2010-10-16T00:27:36Z2010-10-16T00:27:36Z<p>I second the idea that this, or something like this, is a version of Green's theorem. (For a family of simple closed curves c_t, anyway, a precise statement would replace "size of boundary times rate of motion of boundary" with the integral of the normal component of the flow velocity (ie the vector you get by differentiating c_t with respect to t, holding the curve variable fixed) over c_t. And the simplest--- maybe only--- way I can think of to prove that is to use Green's theorem to write the area enclosed by c_t as a contour integral.)</p>
http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42354#42354Answer by Willie Wong for Name for a basic principle of calculus?Willie Wong2010-10-16T01:27:32Z2010-10-16T01:27:32Z<p>I believe what you wrote down is the differential form of the <strong>co-area formula</strong>. (Unfortunately, the version on Wikipedia is too "advanced" or "modern" so it is hard to see immediately that when you integrate both sides of your equation in time, you get precisely the co-area formula.)</p>
http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/42462#42462Answer by Will Jagy for Name for a basic principle of calculus?Will Jagy2010-10-17T06:16:11Z2010-10-17T18:52:02Z<p>Well, this is quite enjoyable. In $\mathbf R^3,$ as long as we are taking polyhedra or other figures that are strictly similar, with some parameter $w$ to which any length measurement of the figure keeps a constant ratio, it follows that the volume is some $V_1 w^3$ and the surface area is some $ S_1 w^2.$ Furthermore, some choice of length scale or units causes $3 V_1 = S_1$ and we get a pure derivative law such as the earlier examples I gave in comments. For several very symmetric figures, the "inradius" or radius of an inscribed sphere gives such a fortunate relationship. </p>
<p>I thought it might depend critically on symmetry, but perhaps not as much as I thought. For the square pyramid with the square base on the $xy$-plane and one of the triangular faces within the plane
$x + y + z = (1 + \sqrt 3 ) w,$ we get the center of the inscribed sphere at
$(0,0,w), $ the point of tangency on that triangle
$w(\frac{1}{\sqrt 3}, \; \frac{1}{\sqrt 3}, \; 1 + \frac{1}{\sqrt 3}), $
the length of any edge
$ w (1 + \sqrt 3 ) \sqrt 2,$ the volume $ V = \frac{2}{3} (1 + \sqrt 3 )^3 w^3, $ finally the surface area $S = 2 (1 + \sqrt 3 )^3 w^2.$ Notice that the inscribed sphere does touch the square at its center but the triangles elsewhere.</p>
<p>I will fiddle with this some more. As I mentioned, there is either a truncated cube or a truncated octahedron which possesses an inscribed sphere that is tangent to all the faces, the amount of truncation must be just right. Interesting to check.</p>
<p>EDIT: it always works, symmetry is not important, and it is utterly trivial but cute. Take an irregular polyhedron that is convex, and is such that every face is tangent to the same sphere of radius $r.$ For each face, find the similar face that would be tangent to a sphere of radius 1, call that of area $A_j,$ so that the actual area of the original face $j$ is $A_j r^2.$ Because we use the same $r$ for all faces, the surface area is
$$ S = \sum A_j r^2 = r^2 \sum A_j.$$ But the volume of a cone or pyramid is one third of the altitude times the area of the base, and the altitude is $r$ because of the tangency condition. So $$ V = \frac{1}{3} r^3 \sum A_j $$ and the derivative relationship holds.</p>
<p>Same for irregular polygons with all edges tangent to the same circle.</p>
<p>Who knew?</p>
<p>EDIT 2: To turn it around, the full set of polygons or polyhedra for which this recipe works comes from taking a finite set of distinct points on a circle or sphere, a sufficient condition for a closed bounded figure being that the set of points not be contained in any closed semicircle/hemisphere. For each point, take the tangent plane, and indeed the half space on the same side of that tangent as the sphere. The intersection of these half-spaces is the convex polygon/polyhedron. In the polyhedron case, it will not be obvious ahead of time how many sides each polygonal face will possess. Next, the example I called Archimedes' favorite cylinder can be thought of as a limit of regular $n$-sided prisms as $n$ increases.</p>
http://mathoverflow.net/questions/42336/name-for-a-basic-principle-of-calculus/62579#62579Answer by Michael Hardy for Name for a basic principle of calculus?Michael Hardy2011-04-21T21:57:12Z2011-04-21T21:57:12Z<p>Various answers say this is this-or-that standard proposition that could not possibly be presented on the first day of a first-year calculus course, whereas the proposition as I stated it fits easily into that context.</p>
<p>Therefore I have coined a name: the boundary rule.</p>