{"id":72,"date":"2017-07-14T12:22:57","date_gmt":"2017-07-14T19:22:57","guid":{"rendered":"http:\/\/blogs.reed.edu\/projectproject\/?p=72"},"modified":"2017-07-14T15:00:27","modified_gmt":"2017-07-14T22:00:27","slug":"iterated-integrals","status":"publish","type":"post","link":"https:\/\/blogs.reed.edu\/projectproject\/2017\/07\/14\/iterated-integrals\/","title":{"rendered":"Iterated Integrals"},"content":{"rendered":"

What is a multiple integral? The notion itself is fairly intuitive: we stretch the notion from single variable calculus of “the area under a function’s graph” to higher dimensions, resulting in\u00a0the multidimensional analogue of area, volume (or hypervolume).\u00a0A multiple integral is essentially a way of quantifying the spatial “footprint” that a region or the graph of a function has.\u00a0It is computable by splitting the region into many smaller pieces, but there is some art to performing this dissection.<\/p>\n

<\/p>\n

Consider\u00a0a loaf of bread. \u00a0One slice of bread has all of the characteristics of bread; that is, we can get a reasonably good picture of the entire loaf from one individual slice. In order, however, to get the full picture we would have to place all the slices next to each other\u00a0so they re-create\u00a0the shape of the uncut\u00a0loaf. It would be much less representative and enlightening, not to mention\u00a0much more difficult to piece back together, if we cubed the bread. Likewise, we\u00a0could slice the bread longitudinally, but this would be more difficult to physically cut.<\/p>\n

The mathematical analogue to cubing the loaf of bread is the multivariable Riemann Sum. This method\u00a0partitions each axis and calculates the function’s value\u00a0on each resulting box. Slicing bread requires\u00a0more mathematical technology: Fubini’s Theorem. Fubini’s Theorem states,\u00a0when we have a ‘nice’ function, that the [latex]n[\/latex]-dimensional multiple integral of this function is the same as the [latex]n[\/latex]-fold iterated integral; futhermore, this theorem also states that we can use any order of integration, which is to say (in the [latex]2[\/latex]-dimensional case) that $$\\iint_{[a,b]\\times [c,d]}f = \\int_{x=a}^{b}\\int_{y=c}^{d}f(x,y)=\\int_{y=c}^{d}\\int_{x=a}^{b}f(x,y).$$<\/p>\n

Sometimes it is handy to change\u00a0order of integration to make an integral easier to compute — this is like cutting bread the standard way, not longitudinally. This commonly occurs when we try to compute the volume of a region [latex]R\\subseteq \\mathbb{R}^3[\/latex] with a triple integral via the formula $$\\mathrm{Vol}(R) = \\iiint_R 1.$$ For example, consider the region described by [latex]z+|y|\\leq|\\sin{x}|[\/latex]. \u00a0It looks like this (note: you can manipulate the visualization with your mouse):<\/p>\n

[canvasio3D width=”400″ height=”400″ border=”1″ borderCol=”#F6F6F6″ dropShadow=”4″ backCol=”#FFFFFF” backImg=”…” mouse=”on” rollMode=”off” rollSpeedH=”15″ rollSpeedV=”15″ objPath=”AbsSin<\/a>” objScale=”30″ objColor=”#f4b942″ lightSet=”1″ reflection=”off”\u00a0refVal=”5″ objShadow=”off” floor=”off” floorHeight=”42″ lightRotate=”off” Help=”off”] [\/canvasio3D]<\/p>\n

When cut\u00a0such that the cross sections are in the [latex]xy[\/latex]- or [latex]xz[\/latex]-planes we get respectively pointy ellipse-like shapes or parabolic shapes. But, when sliced such that the\u00a0cross sections are in the [latex]yz[\/latex]-plane, the entire shape becomes a union of triangles.<\/p>\n

Visual approaches to learning vector calculus help foster an intuitive understanding of the subject matter. While drawing shapes on a blackboard can be helpful for imagining a 3D shape or region, it can also be fiendishly difficult to\u00a0interpret the 2D projection of a 3D object.\u00a0Therefore physical sculptures of 3D solids are a useful pedagogical tool, not to mention aesthetically valuable. To construct a sculpture that demonstrates the qualities of iterated integrals I used a laser cutter to cut flat cross sectional slices of a 3D solid which I then constructed. The region described above with a graphic can be seen below displayed in this style of sculpture. \u00a0The two sculptures represent different choices of slicing direction, making it clear how some slices are simpler than others.<\/p>\n

\"\"\"\"<\/p>\n

The next example\u00a0is a shape defined by the following inequality: [latex] x^2+y^2\\leq z \\leq 4+\\sqrt{4-x^2-y^2}[\/latex], which is a union of a hemisphere and a parabaloid\u00a0— a shape that, when viewed from the [latex]xz[\/latex]- or [latex]yz[\/latex]-planes, is egg-like, but from the\u00a0[latex]xy[\/latex]-plane is a circle.<\/p>\n

\"\"<\/p>\n

Cardboard models display the different slicing choices\u00a0very nicely:<\/p>\n

\"\"\"\"<\/p>\n

The next shape is the solid that models the region under the graph of the function [latex]f(x,y)=6xy^2-2x^3-3y^4[\/latex]. This regions looks like this (use your mouse to manipulate the model):<\/p>\n

[canvasio3D width=”400″ height=”400″ border=”1″ dropShadow=”4″ backCol=”#FFFFFF” backImg=”…” mouse=”on” rollMode=”off” rollSpeedH=”15″ rollSpeedV=”15″ objPath=”MonkeySaddle3<\/a>” objScale=”25″ objColor=”#f4b942″ lightSet=”1″ reflection=”off”\u00a0refVal=”5″ objShadow=”off” floor=”off” floorHeight=”30″ lightRotate=”off” Help=”off”] [\/canvasio3D]<\/p>\n

This shape is referred to as a \u201cmonkey saddle.\u201d The name is a response to the classical \u201csaddle\u201d shape we get from a graph of [latex]z=x^2-y^2 [\/latex].<\/p>\n

To understand how an iterated integral computing [latex]\\iint_{[a,b]\\times [c,d]} f[\/latex] works,\u00a0let [latex]g(x)=\\int_{y=c}^{d}f(x,y)[\/latex]. Then we can partition the [latex][a,b][\/latex] subset of the [latex]x[\/latex]-axis and take a standard single variable Riemann Sum of the function\u00a0[latex]g(x)[\/latex] to approximate $$\\int_{x=a}^b\\int_{y=c}^d f(x,y) = \\int_{x=a}^b g(x).$$ This will look like the left-hand model. \u00a0The curves in the [latex]yz[\/latex]-plane will be smooth, as they have been integrated, but the partitions along the [latex]x[\/latex]-axis give the model the roughly sliced appearance. Specifically, for this model, the interval\u00a0[latex][a,b][\/latex]\u00a0was partitioned into 29 equal intervals, each of which is the width of a slice of cardboard. The other model, on the right, is an integral of the same function, with the order of integration swapped. That is, let\u00a0[latex]h(y)=\\int_{x=a}^{b}f(x,y)[\/latex], then\u00a0this model displays the Riemann Sum of this function, this time with the curves in the\u00a0[latex]xz[\/latex]-plane\u00a0being smooth.<\/p>\n

\"\"<\/p>\n

The method of construction for all of my cardboard\u00a0sculptures had 3 distinct phases: writing the mathematica code, exporting the mathematica file to software which prepared it for laser cutting, and finally the physical construction. Stay tuned for a blog post which dives into the details of this process!<\/p>\n","protected":false},"excerpt":{"rendered":"

What is a multiple integral? The notion itself is fairly intuitive: we stretch the notion from single variable calculus of “the area under a function’s graph” to higher dimensions, resulting in\u00a0the multidimensional analogue of area, volume (or hypervolume).\u00a0A multiple integral is essentially a way of quantifying the spatial “footprint” that a region or the graph … Continue reading “Iterated Integrals”<\/span><\/a><\/p>\n","protected":false},"author":1576,"featured_media":378,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[21,19,18,20],"class_list":["post-72","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-vector-calc","tag-fubinis-theorem","tag-iterated-integrals","tag-multiple-integrals","tag-riemann-sums"],"_links":{"self":[{"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/posts\/72","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/users\/1576"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/comments?post=72"}],"version-history":[{"count":87,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/posts\/72\/revisions"}],"predecessor-version":[{"id":394,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/posts\/72\/revisions\/394"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/media\/378"}],"wp:attachment":[{"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/media?parent=72"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/categories?post=72"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.reed.edu\/projectproject\/wp-json\/wp\/v2\/tags?post=72"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}